Storyteller Wiki

Lost-Property Claim Tag Afteruse Receipt Lens / 失物招领签后用回执 Lens

2 min read

Lost-Property Claim Tag Afteruse Receipt Lens

This lens checks that a numbered lost-property claim tag used to return one prop after a crowd push cannot later be spent as universal performer consent, archive custody, sponsor settlement, audience memory clearance, accessibility compliance, or route-blocking authority.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_claim_tag_visible: true
  property_clerk_visible_or_explicit_absence: true
  return_context_visible: true
  cited_return_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_claim_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 claim-tag count, dashboard health, or a return row with no future reader or harmed/explicitly absent claimant.

Checks

1. Docket Preserves Claim Tag Custody And Afteruse State

lost_property_claim_tag_docket:
  source_claim_tag: required
  property_clerk_or_absence: required
  return_context: required
  cited_return_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_tag_reader;
  • attach_property_clerk_bridge;
  • reopen_wrongful_owner_claimant;
  • split_return_from_consent_custody;
  • quarantine_tag_afteruse;
  • false_claim_tag_default;
  • future_effect_any.

3. Default Mutates Future Play

false_lost_property_claim_tag_default:
  false_clean_claim_tag: true
  source_claim_tag_or_absence: required
  hidden_or_overbroad_return_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/session must preserve this lens id, seed, and session provenance, and runtime tests must execute scoped and false-default claim-tag branches with named counter movement. Current proof:

  • session: lens-storyteller-lens-lost-property-claim-tag-afteruse-receipt-v1-20260715t1014aedt-runtime-certify
  • seed: 202607151014
  • replay: lens/replays/lost-property-claim-tag-afteruse-receipt.runtime-certify.replay.json
  • runtime spec: lens/storyteller-lost-property-claim-tag-afteruse.runtime.test.ts

Graph View