Green Room Tea Urn Tag Afteruse Receipt Lens
This lens checks that a prior green room tea urn tag cannot be consumed later as universal hospitality, fan-oxygen, or artist-safety authority after the urn batch, signer, reheating route, guest list, or allergy witness has changed.
Entry Oracle
entry_state:
trigger_kind: state_pressure
source_green_room_tea_urn_tag_visible: true
urn_inventory_id_or_absence_visible: true
original_service_span_visible: true
original_steward_visible: true
original_batch_sheet_version_visible: true
requested_afteruse_service_visible: true
afteruse_caller_visible: true
current_batch_sheet_version_or_absence_visible: true
current_steward_or_absence_visible: true
displaced_guest_or_allergy_witness_visible_or_absence: true
proof_bridge_or_absence_visible: true
player_can_certify_attach_split_checksum_notice_quarantine_or_default: true
no_fixed_turn_trigger: true
no_dashboard_or_lens_health_trigger: trueChecks
1. Docket Separates Prior Green Room Tea Urn Tag From Current Service Authority
green_room_tea_urn_tag_afteruse_docket:
serviceRows: required
source_urn_tag: required
urn_inventory_id_or_absence: required
original_service_span: required
original_steward: required
original_batch_sheet_version: required
requested_afteruse_service: required
afteruse_caller: required
current_batch_sheet_version_or_absence: required
current_steward_or_absence: required
displaced_guest_or_allergy_witness: required
proof_bridge_or_absence: required
selected_afteruse_posture: required
future_route_effect: required2. Review Branches Diverge
Required branch families:
certify_current_steward;attach_green_room_tea_urn_tag_afteruse_receipt;split_original_and_later_green_room_readers;require_editor_checksum_before_reuse;publish_allergy_witness_notice;quarantine_urn_tag_afteruse_claim;false_clean_urn_default;future_effect_any.
3. False-Clean Default Mutates Future Play
false_clean_urn_default:
stale_urn_claim: true
state_before_resolution: false_clean_pending
terminal_state_exactly_one:
- false_clean_hospitality_route
- allergy_notice_required
- recovery_only
future_gate_effect_exactly_one:
- green_room_tea_urn_tag_afteruse_route_costlier
- green_room_tea_urn_tag_editor_checksum_required
- green_room_tea_urn_tag_afteruse_recovery_only
counter_deltas_min: 3
durable_mutation: trueEvidence Shape
Playable satisfaction is backed by focused game content, the runtime test lens/storyteller-green-room-tea-urn-tag-afteruse.runtime.test.ts, and the lens-scoped durable session exported to lens/replays/storyteller-lens-green-room-tea-urn-tag-afteruse-receipt-v1.replay.json with seed 20260721.
The runtime proof exercises all seven review branches, verifies the false-clean default arms the follow-up event, and checks that each default resolution clears pending flags while leaving exactly one durable terminal state and one matching future route effect.