Storyteller Wiki

Fly-Rail Lock Pin Afteruse Receipt Lens / 飞杆锁销后用回执 Lens

2 min read

Fly-Rail Lock Pin Afteruse Receipt Lens

This lens checks that a fly-rail lock pin recovered after an emergency scene shift cannot later be spent as clean fly-system authority, sponsor safety consent, route asset ownership, or memorial custody unless the game preserves the pin row, stagehand sighting or explicit absence, rail position context, cited load scope, requested afteruse, harmed claimant, proof bridge, selected posture, after-state, and future route effect.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_pin_row_visible: true
  stagehand_sighting_visible_or_explicit_absence: true
  rail_position_context_visible: true
  cited_load_scope_visible: true
  requested_afteruse_visible: true
  harmed_claimant_visible_or_explicit_absence: true
  proof_bridge_or_explicit_absence_visible: true
  future_reader_consumes_pin_state: true
  player_can_certify_bind_reopen_split_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_pin_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens fails if entry is driven by fixed time, raw pin inventory, dashboard health, or a fly-rail lock-pin row with no future reader trying to consume it.

Checks

1. Docket Preserves Fly-Rail Lock Pin Custody And Afteruse

fly_rail_lock_pin_docket:
  source_pin_row: required
  stagehand_sighting_or_absence: required
  rail_position_context: required
  cited_load_scope: required
  requested_afteruse: required
  future_reader_or_route: required
  harmed_claimant_or_absence: required
  proof_bridge_or_explicit_absence: required
  selected_pin_posture: required
  pin_afteruse_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required
  universal_fly_authority: false

2. Review Branches Diverge

Required branch families:

  • certify_load_scope;
  • bind_stagehand_sighting;
  • reopen_harmed_claimant;
  • split_lock_from_ownership;
  • quarantine_pin_afteruse;
  • false_fly_lock_default;
  • future_effect_any.

3. Default Mutates Future Play

false_fly_lock_authority_default:
  false_clean_lock: true
  source_pin_row_or_absence: required
  hidden_or_overbroad_load_scope: required
  capturing_reader_or_route: required
  harmed_claimant_or_absence: required
  pin_afteruse_state_after: falsely_clean
  future_reader_effect: required
  counter_deltas_min: 3
  durable_mutation: true

Progress 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 fly-rail lock pin as universal fly-system authority, ownership consent, or clean safety proof.

Evaluator Compatibility Oracle

entry_state_legacy_contract:
  trigger_kind: state_pressure
  source_lock_pin_number_visible: true
  rail_operator_visible_or_explicit_absence: true
  line_set_and_scene_visible: true
  cited_rigging_scope_visible: true
  requested_afteruse_visible: true
  harmed_fly_crew_visible_or_explicit_absence: true
  proof_bridge_or_explicit_absence_visible: true
  future_reader_consumes_pin_state: true
  no_fixed_turn_trigger: true
  no_dashboard_or_lens_health_trigger: true

Graph View