Scenic Weigh Ticket Afteruse Receipt Lens / 布景称重票后用回执 Lens

Scenic Weigh Ticket Afteruse Receipt Lens

This lens checks that a certified scenic weigh ticket retained from one payload measurement cannot later be spent as blanket rigging clearance, sponsor rerig consent, crew-replacement authority, or cue archive ownership. The implementation must preserve the source row, scale operator or explicit absence, weighed payload and scale session, measurement 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_weigh_ticket_row_visible: true
  scale_operator_visible_or_explicit_absence: true
  weighed_payload_and_scale_session_visible: true
  measurement_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_ticket_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_ticket_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

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

Checks

1. Docket Preserves Measurement Scope And Afteruse

scenic_weigh_ticket_docket:
  source_weigh_ticket_row: required
  scale_operator_or_absence: required
  weighed_payload_and_scale_session: required
  measurement_scope: required
  requested_afteruse: required
  future_reader_or_route: required
  harmed_rigging_crew_or_absence: required
  proof_bridge_or_explicit_absence: required
  selected_ticket_posture: required
  ticket_afteruse_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required
  blanket_rigging_clearance: false

2. Review Branches Diverge

Required branch families:

• certify_measured_payload;
• restrict_ticket_reader;
• attach_scale_operator_bridge;
• reopen_harmed_rigging_crew;
• split_weight_from_rigging_clearance;
• quarantine_ticket_afteruse;
• false_weigh_ticket_default;
• future_effect_any.

3. Default Mutates Future Play

false_scenic_weigh_ticket_default:
  false_clean_weigh_ticket: true
  source_weigh_ticket_row_or_absence: required
  hidden_or_overbroad_measurement_scope: required
  capturing_reader_or_route: required
  harmed_rigging_crew_or_absence: required
  ticket_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 measured payload as blanket rigging clearance.