Mezzanine Fire-Door Wedge Afteruse Receipt Mechanics

The fire-door wedge is an afteruse receipt object: it carries a source mark, drawer or explicit absence, hazard scope, claimed afteruse, future route reader, harmed claimant usher Rian Sol, 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 wedge risk. The default branch deliberately mutates future play into recovery-only handling.

The executable surface is mezzanine-fire-door-wedge-afteruse-receipt.lens, backed by mezzanine-fire-door-wedge-docket, mezzanine-fire-door-wedge-afteruse-review, and false-mezzanine-fire-door-wedge-default.