Ticket Printer Ribbon Residual Ledger Lens / 票机色带残像账本 Lens

This lens observes a spent thermal ribbon whose ordered negative image contradicts a cleaned database or sponsor recap. It fails if the packet is merely another will-call, ticket-stub, comp-stamp, or receipt-ribbon authority lane: the residue proves historical print order only, and the playable conflict is recovery versus destructive loss, adjacent-patron exposure, source anonymity, and reader scope.

1. Distinct seam boundary

distinct_from_existing_lanes:
  receipt_printer_ribbon_priority: allocates scarce authenticated printing capacity
  will_call_envelope_afteruse: limits what one pickup object proves
  ticket_stub_afteruse: limits what one admission stub proves
  box_office_comp_stamp_afteruse: limits what one relief stamp proves
  ticket_printer_residual_ledger: recovers ordered negative-image data from a spent ribbon

2. Entry oracle

entry_state:
  trigger_kind: state_pressure
  spent_ribbon_roll_visible: true
  residual_print_sequence_recoverable: true
  canonical_record_conflict_visible: true
  voided_or_reissued_ticket_row_visible: true
  protected_subject_or_route_visible_or_explicit_absence: true
  recovery_method_visible: true
  custodian_visible_or_explicit_absence: true
  future_reader_requests_recovery: true
  future_route_consumes_residue_state: true
  player_can_seal_extract_notify_publish_embargo_redact_or_suppress: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_ribbon_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

3. Docket shape

ticket_printer_ribbon_residual_ledger:
  source_ribbon_roll: required
  residual_print_sequence: required
  canonical_record_conflict: required
  voided_or_reissued_ticket_row: required
  protected_subject_or_route: required
  recovery_method: required
  custodian_or_explicit_absence: required
  future_reader_or_route: required
  selected_residue_posture: required
  residue_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required
  proves_historical_print_sequence_only: true
  grants_current_ticket_authority: false
  grants_identity_consent: false

4. Runtime reachability

The runtime packet provides eight starter cards and an exact eight-slot rite. It must set enforceExactSlotAccepts, enforceConditions, requiresAssignedCardsInHand, requiresSelectedOption, and enforceSelectedOptionRequirements to true. The focused test rejects a wrong exact card, catalog-only card absent from hand, missing entry card, and missing option. Virtual slots are not evidence.

5. Branch divergence

  • seal_residue_for_inspector inspector_extract_required;
  • extract_named_voided_row named_row_only;
  • notify_exposed_patrons patron_notice_receipts_required;
  • publish_displacement_sequence public_displacement_proof_only;
  • archive_under_embargo embargo_key_required;
  • redact_after_certified_digest certified_digest_only;
  • suppress_residual_sequence suppressed_default_pending.

Each branch emits a unique residue state, future effect, relief, cost, and at least three counter deltas. Named-row extraction, full publication, and certified redaction change residueIntegrity; notice, publication, and suppression change exposure or safety.

6. Suppressed-residue default

suppressed_ticket_printer_ribbon_residue:
  trigger_condition: ribbon_residue.default_pending
  source_ribbon_roll_or_absence: required
  hidden_sequence: required
  protected_subject_or_route: required
  capturing_reader_or_route: required
  residue_state_after: suppressed_default
  outcomes: [recover_damaged_segment, admit_sequence_destroyed]
  future_reader_effect: [recovery_scan_required, source_counterclaim_required]
  counter_deltas_min: 3
  durable_mutation: true

Both event outcomes must be reachable from the suppression branch, execute through event options, and close after resolution.

7. Authority boundary

authority_boundary:
  proves_historical_print_sequence_only: true
  grants_current_seat_access: false
  grants_sponsor_comp_authority: false
  grants_patron_identity_consent: false
  grants_archive_ownership: false
  grants_memorial_authority: false
  grants_universal_broadcast_permission: false

8. Durable evidence

The lens requires the focused runtime suite, a normal-hand durable session with all eight exact cards, and lens/replays/ticket-printer-ribbon-afteruse-receipt.certify-scope.replay.json selecting option 0. The replay must emit ribbon_residue.state.inspector_sealed and future_route.inspector_extract_required.