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 ribbon2. 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: true3. 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: false4. 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: trueBoth 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: false8. 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.