Cue Sheet Overwrite Afteruse Receipt Lens
This lens checks that an emergency cue-sheet overwrite cannot later be spent as clean authority for choreography timing, archive edit custody, sponsor-camera blocking, or performer blame unless the game preserves the original cue row, overwrite author or explicit absence, stage-manager authority, displaced performer or caller, requested afteruse, proof bridge, selected posture, after-state, and future route effect.
Entry Oracle
entry_state:
trigger_kind: state_pressure
source_cue_row_visible: true
overwrite_author_visible_or_explicit_absence: true
stage_manager_authority_visible_or_explicit_absence: true
displaced_performer_or_caller_visible_or_explicit_absence: true
requested_afteruse_visible: true
proof_bridge_or_explicit_absence_visible: true
future_reader_consumes_cue_state: true
player_can_certify_restrict_bridge_split_quarantine_or_default: true
no_fixed_turn_trigger: true
no_fixed_day_or_week_trigger: true
no_raw_cue_count_trigger: true
no_dashboard_or_lens_health_trigger: trueThe lens fails if entry is driven by fixed time, raw cue totals, dashboard health, or an overwritten cue row with no future reader trying to consume it.
Checks
1. Docket Preserves Cue Sheet Custody And Afteruse
cue_sheet_overwrite_docket:
source_cue_row: required
overwrite_author_or_absence: required
stage_manager_authority_or_absence: required
displaced_performer_or_caller: required
requested_afteruse: required
future_reader_or_route: required
proof_bridge_or_explicit_absence: required
selected_cue_posture: required
cue_afteruse_state_after: required
future_reader_or_route_effect: required
counter_deltas: required2. Review Branches Diverge
Required branch families:
certify_cue_sheet_scope;restrict_cue_sheet_reader;attach_stage_manager_witness_bridge;split_blocking_archive_edit_access;quarantine_cue_afteruse;false_cue_sheet_overwrite_default;future_effect_any.
3. Default Mutates Future Play
false_cue_sheet_overwrite_default:
false_clean_cue_overwrite: true
source_cue_row_or_absence: required
hidden_or_overbroad_cue_scope: required
capturing_reader_or_route: required
displaced_performer_or_caller: required
cue_afteruse_state_after: required
future_reader_effect: required
counter_deltas_min: 3
durable_mutation: trueProgress Metric
Satisfied when the sibling TypeScript binding, focused card/rite/event content, and a lens-scoped durable replay show one selected branch changing named counters and future route state without treating the cue-sheet overwrite as universal blocking or archive-edit consent.