Trapdoor Chalk Mark Afteruse Receipt Lens
This lens checks that a chalk mark placed around a trapdoor during a rehearsal hazard call cannot later be spent as universal performer consent, sponsor safety clearance, stage-access authority, archive reenactment approval, or liability discharge.
Entry Oracle
entry_state:
trigger_kind: state_pressure
source_chalk_mark_visible: true
trapdoor_panel_visible: true
rehearsal_hazard_context_visible: true
cited_safety_scope_visible: true
requested_afteruse_visible: true
future_reader_consumes_chalk_state: true
harmed_performer_visible_or_explicit_absence: true
proof_bridge_or_explicit_absence_visible: true
player_can_certify_restrict_attach_reopen_split_quarantine_or_default: true
no_fixed_turn_trigger: true
no_fixed_day_or_week_trigger: true
no_raw_chalk_count_trigger: true
no_dashboard_or_lens_health_trigger: trueThe lens fails if entry is driven by a fixed turn/day, raw chalk-mark count, dashboard health, or a mark with no future reader and no harmed/explicitly absent performer.
Checks
1. Docket Preserves Trapdoor Chalk Custody And Afteruse State
trapdoor_chalk_docket:
source_chalk_mark: required
trapdoor_panel_or_absence: required
rehearsal_hazard_context: required
cited_safety_scope: required
requested_afteruse: required
future_reader_or_route: required
harmed_performer_or_absence: required
proof_bridge_or_explicit_absence: required
selected_chalk_posture: required
chalk_afteruse_state_after: required
future_reader_or_route_effect: required
counter_deltas: required2. Review Branches Diverge
Required branch families:
certify_chalk_scope;restrict_chalk_reader;attach_trapdoor_bridge;reopen_harmed_performer_claimant;split_hazard_notice_from_consent_custody;quarantine_chalk_afteruse;false_chalk_default;future_effect_any.
3. Default Mutates Future Play
false_trapdoor_chalk_default:
false_clean_chalk: true
source_chalk_mark_or_absence: required
hidden_or_overbroad_safety_scope: required
capturing_reader_or_route: required
harmed_performer_or_absence: required
chalk_afteruse_state_after: required
future_reader_effect: required
counter_deltas_min: 3
durable_mutation: true4. Runtime Evidence
A lens-scoped durable replay/session must preserve this lens id, seed, and session provenance, and runtime tests must execute scoped and false-default chalk branches with named counter movement. Current proof target:
- session:
lens-storyteller-lens-trapdoor-chalk-mark-afteruse-receipt-v1-20260715t0708aedt-runtime-certify - seed:
202607150708 - replay:
lens/replays/trapdoor-chalk-mark-afteruse-receipt.runtime-certify.replay.json - runtime spec:
lens/storyteller-trapdoor-chalk-mark-afteruse.runtime.test.ts