Counterweight Load Sheet Afteruse Receipt Lens

This lens checks that a signed counterweight load sheet retained from one balanced line-set configuration cannot later be spent as universal rigging clearance, sponsor rerig consent, crew-replacement authority, or cue archive ownership. The implementation must preserve the source row, rail operator or explicit absence, line set and payload, calculated balance scope, requested afteruse, harmed rigging crew, proof bridge, selected posture, after-state, and future route effect.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_load_sheet_row_visible: true
  rail_operator_visible_or_explicit_absence: true
  line_set_and_payload_visible: true
  calculated_balance_scope_visible: true
  requested_afteruse_visible: true
  harmed_rigging_crew_visible_or_explicit_absence: true
  proof_bridge_or_explicit_absence_visible: true
  future_reader_consumes_sheet_state: true
  player_can_certify_restrict_bridge_reopen_split_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_sheet_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens fails if entry is driven by fixed time, raw sheet inventory, dashboard health, or a load sheet with no named future reader trying to consume it.

Checks

1. Docket Preserves Load Configuration And Afteruse

counterweight_load_sheet_docket:
  source_load_sheet_row: required
  rail_operator_or_absence: required
  line_set_and_payload: required
  calculated_balance_scope: required
  requested_afteruse: required
  future_reader_or_route: required
  harmed_rigging_crew_or_absence: required
  proof_bridge_or_explicit_absence: required
  selected_sheet_posture: required
  sheet_afteruse_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required
  universal_rigging_clearance: false

2. Review Branches Diverge

Required branch families:

  • certify_load_configuration;
  • restrict_sheet_reader;
  • attach_weigh_ticket_bridge;
  • reopen_harmed_rigging_crew;
  • split_balance_from_rerig_authority;
  • quarantine_sheet_afteruse;
  • false_load_sheet_default;
  • future_effect_any.

3. Default Mutates Future Play

false_counterweight_load_sheet_default:
  false_clean_load_sheet: true
  source_load_sheet_row_or_absence: required
  hidden_or_overbroad_payload_scope: required
  capturing_reader_or_route: required
  harmed_rigging_crew_or_absence: required
  sheet_afteruse_state_after: falsely_clean
  future_reader_effect: recovery_only
  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 the certification branch changing named counters and future route state without treating one balanced load sheet as universal rigging clearance.