Function entry_pin_forces_verify 

pub fn entry_pin_forces_verify(
    min_post_think_emitted: u32,
    pin_tokens: u32,
) -> bool

2026-09-25: Whether the spec-entry pin overrides a Serial gate decision for this step. min_post_think_emitted is the minimum over the active batch, so one entering sequence pins the whole (already spec-eligible) batch. pin_tokens is the run’s entry_pin_tokens_from_env value.