Function audit_checkpoint_admission 

pub fn audit_checkpoint_admission(
    signature_valid: bool,
    head_matches: bool,
    expected_seq: u64,
    checkpoint_seq_high: u64,
) -> AuditCheckpointAdmission

Bind a verified checkpoint to the exact nonempty chain position and head.