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: trueThe 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: false2. 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: trueProgress 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.