Orchestra Pit Chalk Arrow Afteruse Receipt Mechanics

The chalk arrow is an afteruse receipt object: it carries a source mark, drawer or explicit absence, hazard scope, claimed afteruse, future route reader, harmed claimant, proof bridge, selected posture, after-state, future reader effect, and counter deltas.

It must not become a universal proof token. A clean branch only certifies the original emergency crossing scope. Riskier branches can raise public proof pressure, claimant pressure, future route cost, or false-clean chalk risk. The default branch deliberately mutates future play into recovery-only handling.

The executable surface is orchestra-pit-chalk-arrow-afteruse-receipt.lens, backed by orchestra-pit-chalk-arrow-docket, orchestra-pit-chalk-arrow-afteruse-review, and false-orchestra-pit-chalk-arrow-default.