Comped Ticket Oxygen Surcharge Receipt Lens

This lens checks that a free/comped audience ticket cannot be reused as clean universal goodwill when the oxygen surcharge is being pushed onto a later reader or route.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_comp_row_visible: true
  surcharge_carrier_or_explicit_absence_visible: true
  benefiting_reader_visible: true
  burdened_future_reader_visible: true
  requested_clean_use_visible: true
  future_reader_consumes_comp_state: true
  proof_bridge_or_explicit_absence_visible: true
  player_can_certify_split_escrow_convert_quarantine_scar_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

Checks

1. The docket preserves the source comp row, surcharge carrier, benefiting reader, burdened future reader, requested clean use, proof bridge, selected posture, after-state, future effect, and counter deltas.
2. The review exposes certify, split, escrow, convert, quarantine, scoped scar, and false-clean default branches.
3. The default mutates future play by recording a false-clean comp claim, hidden surcharge, burdened reader, future effect, at least three counters, and durable mutation.
4. A lens-scoped durable replay resolves the review and serves the surcharge receipt.

Observable Surfaces

• Comped Ticket Oxygen Surcharge Receipt supplies the future-reader storyline and state-triggered entry.
• Comped Ticket Oxygen Surcharge Receipt Mechanic defines comp/surcharge after-states and invalid triggers.
• Comped Ticket Oxygen Surcharge Docket separates source comp row, surcharge carrier, benefiting reader, burdened future reader, requested use, bridge, posture, after-state, future effect, and counters.
• Comped Ticket Oxygen Surcharge Review provides certification, liability split, escrow, route debt conversion, quarantine, scoped scar, default, and future-effect branches.
• False-Clean Comp Surcharge Default records durable surcharge mutation when clean comp goodwill is accepted without proof.

Branch Coverage

Branch	Must prove	Must not collapse into
certify_narrow_comp	served surcharge receipt and narrow comp reader	universal sponsor goodwill
split_sponsor_fan_liability	sponsor credit and fan oxygen burden diverge	one clean settlement row
escrow_surcharge_carrier	carrier remains held until harmed reader is named	hidden private ledger
convert_to_route_debt	surcharge becomes visible route/caption/access debt	free route access
quarantine_comp_claim	clean comp reuse is blocked	silent sponsor renewal
accept_scoped_scar	one reader proceeds with public scar	clean public consent
false_clean_comp_default	hidden surcharge and burdened reader mutate future play	harmless comp flavor text

Failure Signs

The lens fails if the packet records only free ticket, sponsor paid, fan satisfied, or route opened; if the burdened future reader is absent without an explicit absence field; if the surcharge carrier disappears after certification; or if a comp ticket becomes clean proof for all sponsor, public, lawful, archive, fan, management, route-asset, broadcast-reality, recovery, and ending readers at once.