Prop-Room Checkout Tag Afteruse Receipt Lens

This lens checks that an old prop-room checkout tag cannot be consumed as clean current authority after the prop, scene, handler, or chain of custody changes.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_checkout_tag_visible: true
  original_scene_visible: true
  original_prop_handler_visible_or_explicit_absence: true
  handwritten_tag_visible: true
  requested_afteruse_visible: true
  changed_prop_or_scene_visible: true
  harmed_performer_visible: true
  future_route_consumes_tag_state: true
  player_can_certify_attach_split_reopen_notice_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_prop_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

Checks

• The docket separates the source tag, original scene, checkout text, requested afteruse, changed prop/scene, proof bridge, harmed performer, after-state, future effect, and counters.
• The review exposes certify_tag_scope, attach_prop_handler_bridge, split_prop_custody_from_broadcast_consent, reopen_harmed_double, publish_prop_change_notice, quarantine_tag_afteruse, false_tag_default, and future_effect_any.
• The false default records stale tag authority, harmed performer, recovery-only future route effect, at least three counter deltas, and durable mutation.
• The replay evidence must come from a lens-scoped durable save and assign real prop-room cards, not virtual slots.