Storyteller Wiki

Flytower Sandbag Knot Afteruse Receipt Lens

2 min read

Flytower Sandbag Knot Afteruse Receipt Lens

This lens checks that a prior flytower-sandbag knot tag cannot be consumed later as universal clean flyrail authority after the window bay, fly-map version, fly operator, caller, scene, or displaced crew has changed.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_flytower_sandbag_knot_visible: true
  knot_inventory_id_or_absence_visible: true
  original_window_bay_visible: true
  original_fly_operator_visible: true
  original_fly_map_version_visible: true
  requested_afteruse_scene_visible: true
  afteruse_caller_visible: true
  current_fly_map_version_or_absence_visible: true
  current_fly_operator_or_absence_visible: true
  displaced_crew_or_crew_visible_or_absence: true
  proof_bridge_or_absence_visible: true
  player_can_certify_attach_split_checksum_notice_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_dashboard_or_lens_health_trigger: true

Checks

1. Docket Separates Prior Knot From Current Fly Authority

flytower_sandbag_knot_afteruse_docket:
  flyrailRouteRows: required
  source_knot_tag: required
  knot_inventory_id_or_absence: required
  original_window_bay: required
  original_fly_operator: required
  original_fly_map_version: required
  requested_afteruse_scene: required
  afteruse_caller: required
  current_fly_map_version_or_absence: required
  current_fly_operator_or_absence: required
  displaced_crew_or_crew: required
  proof_bridge_or_absence: required
  selected_afteruse_posture: required
  future_route_effect: required

2. Review Branches Diverge

Required branch families:

  • certify_current_fly_operator;
  • attach_flytower_sandbag_knot_afteruse_receipt;
  • split_original_and_later_fly_readers;
  • require_editor_checksum_before_reuse;
  • publish_crew_notice;
  • quarantine_knot_afteruse_claim;
  • false_clean_knot_default;
  • future_effect_any.

3. False-Clean Default Mutates Future Play

false_clean_knot_default:
  stale_knot_claim: true
  state_before_resolution: false_clean_pending
  terminal_state_exactly_one:
    - false_clean_flyrail_route
    - checksum_required_before_reuse
    - recovery_only
  future_gate_effect_exactly_one:
    - flytower_sandbag_knot_afteruse_route_costlier
    - flytower_sandbag_knot_editor_checksum_required
    - flytower_sandbag_knot_afteruse_recovery_only
  counter_deltas_min: 3
  durable_mutation: true

Evidence Shape

Playable satisfaction is now backed by focused game content, the runtime test lens/storyteller-flytower-sandbag-knot-afteruse.runtime.test.ts, and the lens-scoped durable session lens-storyteller-lens-flytower-sandbag-knot-afteruse-receipt-v1-20260720t0856z-runtime-v1 exported to lens/replays/storyteller-lens-flytower-sandbag-knot-afteruse-receipt-v1.replay.json with seed 20260720.

The runtime proof exercises all seven review branches, verifies the false-clean default arms the follow-up event, and checks that each default resolution clears pending flags while leaving exactly one durable terminal state and one matching future route effect.

Graph View

Backlinks