Function check_counter_record 

pub fn check_counter_record(
    writers: usize,
    id: RecordId,
    delta: &GCounterDelta,
) -> Result<(), Refused>

Checked counter boundary for existing, unfenced replica adapters. This does not grant fencing: it checks the record author’s coordinate before admission.