Prop Table Label Afteruse Receipt Lens
This lens checks that a prop table label kept from a rehearsal handoff cannot later be spent as clean chain-of-custody, sponsor delivery consent, route asset ownership, or memorial custody unless the game preserves the source label row, prop runner or explicit absence, handoff context, cited prop scope, requested afteruse, harmed claimant, proof bridge, selected posture, after-state, and future route effect.
Entry Oracle
entry_state:
trigger_kind: state_pressure
source_label_row_visible: true
prop_runner_visible_or_explicit_absence: true
handoff_context_visible: true
cited_prop_scope_visible: true
requested_afteruse_visible: true
harmed_claimant_visible_or_explicit_absence: true
proof_bridge_or_explicit_absence_visible: true
future_reader_consumes_label_state: true
player_can_certify_restrict_bridge_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: trueThe lens fails if entry is driven by fixed time, raw label inventory, dashboard health, or a prop table label row with no future reader trying to consume it.
Checks
1. Docket Preserves Prop Table Label Custody And Afteruse
prop_table_label_docket:
source_label_row: required
prop_runner_or_absence: required
handoff_context: required
cited_prop_scope: required
requested_afteruse: required
future_reader_or_route: required
harmed_claimant_or_absence: required
proof_bridge_or_explicit_absence: required
selected_label_posture: required
label_afteruse_state_after: required
future_reader_or_route_effect: required
counter_deltas: required
universal_clean_label: false2. Review Branches Diverge
Required branch families:
certify_label_scope;restrict_label_reader;attach_prop_runner_bridge;reopen_harmed_label_claimant;split_handoff_from_ownership_authority;quarantine_label_afteruse;false_label_default;future_effect_any.
3. Default Mutates Future Play
false_prop_table_label_default:
false_clean_label: true
source_label_row_or_absence: required
hidden_or_overbroad_prop_scope: required
capturing_reader_or_route: required
harmed_claimant_or_absence: required
label_afteruse_state_after: falsely_clean
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 prop table label as universal chain-of-custody or ownership consent.