Will-Call Envelope Afteruse Receipt Lens
This lens checks that a will-call envelope can prove one risky pickup row was open, but cannot later be spent as blanket identity waiver, sponsor guest-list permission, archive blocking authority, audience guest access certification, or broadcast reenactment proof unless the game preserves which box office clerk saw it, what pickup row it marked, who later tries to reuse it, the harmed claimant, the proof bridge, selected posture, after-state, future route effect, and counter movement.
Entry Oracle
entry_state:
trigger_kind: state_pressure
source_envelope_row_visible: true
pickup_clerk_visible_or_explicit_absence: true
claim_code_context_visible: true
cited_seat_block_visible: true
requested_afteruse_visible: true
future_reader_consumes_envelope_state: true
displaced_patron_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_marker_count_trigger: true
no_dashboard_or_lens_health_trigger: trueThe lens fails if entry is driven by fixed time, raw marker counts, dashboard health, or an anonymous will-call envelope with no named future route trying to consume it.
Checks
1. Docket Preserves Will-Call Envelope Custody And Afteruse
will_call_envelope_docket:
source_envelope_row: required
pickup_clerk_or_absence: required
claim_code_context: required
cited_seat_block: required
requested_afteruse: required
future_reader_or_route: required
displaced_patron_or_absence: required
proof_bridge_or_explicit_absence: required
selected_envelope_posture: required
envelope_afteruse_state_after: required
future_reader_or_route_effect: required
counter_deltas: required2. Review Branches Diverge
Required branch families:
certify_envelope_scope;restrict_envelope_reader;attach_pickup_bridge;reopen_displaced_patron_claim;split_ticket_from_sponsor_comp;quarantine_envelope_afteruse;false_envelope_default;future_effect_any.
3. Default Mutates Future Play
false_envelope_default:
false_clean_envelope: true
source_envelope_row_or_absence: required
hidden_or_overbroad_claim_code_context: required
cited_seat_block: required
capturing_reader_or_route: required
displaced_patron_or_absence: required
envelope_afteruse_state_after: required
future_reader_effect: recovery_only
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 will-call envelope as universal identity waiver, sponsor permission, guest access certification, archive custody, route-asset consent, or broadcast reenactment proof.
Replay Evidence
latest_replay:
session_id: lens-storyteller-lens-will-call-envelope-afteruse-receipt-v1-20260716t0802z-certify-scope
seed: will-call-envelope-afteruse-20260716
replay_path: lens/replays/will-call-envelope-afteruse-receipt.certify-scope.replay.json
selected_rite: storyteller.rite.will_call_envelope_afteruse_review.v1
selected_branch: certify_envelope_scope
required_flags:
- will_call_envelope.branch.certify_envelope_scope
- future_route.envelope_named_scope_required
required_counter_mutations:
willCallEnvelopeProgress: ">= 2"
futureRouteCost: ">= 1"