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: true

The 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: required

2. 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: true

4. 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