Proof Receipt Expiry Appeal Hearing

Playable hearing for an expired proof receipt before a route spends it.

Slots: docket, source receipt row, receipt holder, appeal deadline, proof carrier or absence, affected future reader, requested route use, expiry state, accepted cost or absence, selected appeal posture, and future route effect.

Branch families: certify_limited_receipt, escrow_receipt_carrier, reopen_appeal_window, convert_to_route_debt, quarantine_expired_receipt, and expired_proof_default. Each branch moves at least three named counters and records a future route effect.