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: true

Entry 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: false

2. 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: true

4. Runtime Rollup Evidence

A lens-scoped gameplay session must export replay evidence for the prop-table tape label afteruse review with seed/session provenance.