Ticket Taker Handstamp Afteruse Receipt Mechanic

This mechanic adds one focused admission-afteruse review. The ticket-taker handstamp docket enters as a state-pressure object, not a fixed-turn trigger or raw inventory count.

Runtime evidence must show:

• the docket card names the source handstamp, gate, ink band, ticket taker or explicit absence, challenged patron, requested afteruse, and future reader;
• the review rite has divergent branches for certify_stamp_scope, bind_gate_log, reopen_challenged_patron, split_admission_from_custody, quarantine_handstamp_afteruse, and false_clean_handstamp_default;
• each branch moves named counters and future route flags;
• false clean default is a durable mutation, not a silent success;
• lens-scoped durable replay provenance records the chosen branch.