Prompt-Desk Stamp Afteruse Receipt Lens
This lens checks that a prompt-desk stamp pulled from a marked script cannot later be spent as clean continuity authority, rehearsal consent, or archive release proof after the prompt book page, deputy stage manager, or cut notice has changed.
Entry Oracle
entry_state:
trigger_kind: state_pressure
source_stamp_row_visible: true
marked_script_page_or_explicit_absence_visible: true
original_prompt_deputy_or_explicit_absence_visible: true
cut_notice_version_visible: true
requested_afteruse_visible: true
future_reader_consumes_stamp_state: true
page_or_deputy_change_or_explicit_absence_visible: true
proof_bridge_or_explicit_absence_visible: true
harmed_performer_or_crew_visible_or_explicit_absence: 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_stamp_count_trigger: true
no_dashboard_or_lens_health_trigger: trueThe lens fails if entry is driven by fixed turn, day/week cadence, raw stamp count, dashboard state, lens health, or a stamp row no future route is trying to consume.
Checks
1. Docket Separates Stamp Possession From Current Authority
prompt_desk_stamp_docket:
source_stamp_row: required
marked_script_page_or_absence: required
original_prompt_deputy_or_absence: required
cut_notice_version: required
requested_afteruse: required
future_reader_or_route: required
page_or_deputy_change_or_absence: required
proof_bridge_or_absence: required
harmed_performer_or_crew: required
selected_stamp_posture: required
stamp_afteruse_state_after: required
future_reader_or_route_effect: required
counter_deltas: required2. Review Branches Diverge
Required branch families:
certify_stamp_scope;restrict_stamp_reader;attach_prompt_bridge;reopen_harmed_performer;split_continuity_from_consent_custody;quarantine_stamp_afteruse;false_stamp_default;future_effect_any.
3. Default Mutates Future Play
false_prompt_desk_stamp_default:
false_clean_stamp: true
source_stamp_row_or_absence: required
hidden_or_stale_prompt_basis: required
capturing_reader_or_route: required
harmed_performer_or_crew: required
stamp_afteruse_state_after: required
future_reader_effect: required
counter_deltas_min: 3
durable_mutation: true