Storyteller Wiki

Coat-Check Claim Tag Afteruse Receipt Lens / 衣帽间取物牌后用回执 Lens

1 min read

Coat-Check Claim Tag Afteruse Receipt Lens

This lens checks that a coat-check claim tag created for temporary property custody cannot later be spent as performer identity proof, audience consent, archive release authority, sponsor loss waiver, or memorial-object ownership.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_claim_tag_visible: true
  checked_item_or_explicit_absence_visible: true
  holder_chain_visible: true
  custody_scope_visible: true
  requested_afteruse_visible: true
  future_reader_consumes_claim_tag_state: true
  harmed_claimant_visible_or_explicit_absence: 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_tag_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens fails if entry is driven by a fixed turn/day, a raw tag count, dashboard health, or a claim-tag row with no future reader and no harmed/explicitly absent claimant.

Checks

1. Docket Preserves Claim-Tag Custody And Afteruse State

coat_check_claim_tag_docket:
  source_claim_tag: required
  checked_item_or_absence: required
  holder_chain: required
  custody_scope: required
  requested_afteruse: required
  future_reader_or_route: required
  harmed_claimant_or_absence: required
  proof_bridge_or_explicit_absence: required
  selected_claim_tag_posture: required
  claim_tag_afteruse_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required

2. Review Branches Diverge

Required branch families:

  • certify_claim_tag_scope;
  • restrict_claim_tag_reader;
  • attach_coatroom_bridge;
  • reopen_harmed_property_claimant;
  • split_property_custody_from_identity_consent;
  • quarantine_claim_tag_afteruse;
  • false_claim_tag_default;
  • future_effect_any.

3. Default Mutates Future Play

false_coat_check_claim_tag_default:
  false_clean_claim_tag: true
  source_claim_tag_or_absence: required
  hidden_or_overbroad_custody_scope: required
  capturing_reader_or_route: required
  harmed_claimant_or_absence: required
  claim_tag_afteruse_state_after: required
  future_reader_effect: required
  counter_deltas_min: 3
  durable_mutation: true

4. Runtime Evidence

A lens-scoped durable replay must show the review selected a scoped claim-tag branch and moved named counters without treating the tag as universal proof.

Graph View