Prop Table Tape Label Afteruse Receipt Lens
This lens checks that a prop-table tape label cannot later be spent as clean prop custody, performer consent, sponsor authenticity proof, safety clearance, or route-asset custody after the prop, table row, handler, show bible version, or harmed performer has changed.
Entry Oracle
entry_state:
trigger_kind: state_pressure
source_tape_label_row_visible: true
prop_or_explicit_absence_visible: true
handler_or_explicit_absence_visible: true
show_bible_version_visible: true
cited_prop_scope_visible: true
requested_afteruse_visible: true
afteruse_reader_visible: true
harmed_performer_or_stagehand_visible_or_explicit_absence: true
future_reader_consumes_tape_label_state: 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_label_count_trigger: true
no_dashboard_or_lens_health_trigger: trueEntry is invalid if it is driven by fixed turn, fixed day/week, raw label count, dashboard state, lens health, or a past tape label with no future reader trying to consume it.
Checks
1. Docket Separates Source Label From Current Authority
prop_table_tape_label_docket:
source_tape_label_row: required
prop_or_absence: required
handler_or_absence: required
show_bible_version: required
cited_prop_scope: required
requested_afteruse: required
future_reader_or_route: required
harmed_performer_or_stagehand: required
proof_bridge_or_explicit_absence: required
selected_tape_label_posture: required
tape_label_afteruse_state_after: required
future_reader_or_route_effect: required
counter_deltas: required
universal_clean_tape_label: false2. Review Branches Diverge
Required branch families: certify_tape_label_scope, restrict_tape_label_reader, attach_prop_master_bridge, reopen_harmed_stagehand, split_prop_label_from_consent_custody, quarantine_tape_label_afteruse, false_tape_label_default, future_effect_any. Each branch must expose relief, cost, and future route effects.
3. Default Mutates Future Play
false_prop_table_tape_label_default:
false_clean_tape_label: true
source_tape_label_row_or_absence: required
hidden_or_overbroad_prop_scope: required
capturing_reader_or_route: required
harmed_performer_or_stagehand: required
tape_label_afteruse_state_after: false_clean_default
future_reader_effect: recovery_only
counter_deltas_min: 3
durable_mutation: true4. Runtime Rollup Evidence
A lens-scoped gameplay session must export replay evidence for the prop-table tape label afteruse review with seed/session provenance.