Proof Receipt Expiry Appeal Lens

This lens observes whether an expired proof receipt is treated as a scoped appeal surface before a future route can spend it as settled proof.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_receipt_row_present: true
  receipt_holder_visible: true
  appeal_deadline_visible: true
  proof_carrier_or_absence_visible: true
  affected_future_reader_visible: true
  requested_route_use_visible: true
  expiry_state_visible: true
  player_can_certify_escrow_reopen_debt_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_receipt_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

Bound Packet

• Proof Receipt Expiry Appeal;
• Proof Receipt Expiry Appeal;
• Proof Receipt Expiry Docket;
• Proof Receipt Expiry Appeal Hearing;
• Expired Proof Clean Route Default;
• executable sibling proof-receipt-expiry-appeal.lens.ts;
• evaluator registration storyteller.lens.proof_receipt_expiry_appeal.v1.

Checks

1. The docket separates source receipt, holder, deadline, proof carrier/absence, affected reader, requested route use, expiry state, accepted cost, and future route effect.
2. The hearing exposes certify, escrow, reopen, debt, quarantine, and default branch families with costs and future effects.
3. The default event records false-clean route proof, hidden or expired proof, affected reader, at least three counter deltas, and durable mutation.
4. Durable replay evidence uses a lens-scoped session and selects certify_limited_receipt on storyteller.rite.proof_receipt_expiry_appeal_hearing.v1.