Declined Offer Afteruse Receipt

Declined Offer Afteruse Receipt makes an old declined-offer receipt reusable only through named afteruse scope.

The mechanism exists when a preserved declined offer is still true but a later reader wants to spend it in another context. A rejected sponsor offer does not prove sponsor consent. A published fan countercredit does not satisfy a lawful annex. A voided archive lien does not clear a route asset. A management report cannot treat offer declined as universal waiver unless the source offer set, receipt status, reason, harmed offeror, selected posture, and future effect remain visible.

Entry Contract

declined_offer_afteruse_receipt:
  trigger_kind: state_pressure
  source_offer_set_visible: true
  selected_offer_visible: true
  declined_offer_receipt_visible: true
  declined_offer_status_visible: true
  decline_reason_or_explicit_absence_visible: true
  requested_afteruse_visible: true
  future_reader_consumes_declined_offer_state: true
  returning_or_harmed_offerer_visible_or_explicit_absence: true
  proof_bridge_visible_or_explicit_absence: true
  player_can_certify_restrict_bridge_reopen_split_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_offer_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

Afteruse States

declined_offer_afteruse_states:
  - unspent_decline_receipt
  - afteruse_requested
  - decline_scope_certified
  - reader_restricted
  - bridge_attached
  - declined_offerer_reopened
  - split_afteruse_required
  - afteruse_quarantined
  - false_clean_afteruse
  - captured_by_reader
  - hostile_offerer
  - recovery_only

The implementation fails if a declined offer state collapses into a generic offer refused, waiver clean, desk accepted, schedule clear, management approved, or ending ready flag.

Branch Contract

Every non-default branch must record:

declined_offer_afteruse_resolution:
  source_offer_set: <offer set row id or explicit_absence>
  selected_offer: <selected offer id or explicit_absence>
  declined_offer_receipt: <declined receipt id or explicit_absence>
  declined_offer_status: acknowledged | deferred | countercredited | published | voided_with_reason | ignored | afterbid_armed | counteroffer_pending | recovery_only | equivalent
  decline_reason_or_absence: selected_better_relief | insufficient_proof | unacceptable_control | schedule_collision | sponsor_capture_risk | public_harm | archive_lien_risk | explicit_absence | equivalent
  requested_afteruse: sponsor_package | schedule_clearance | public_recap | archive_release | lawful_annex | management_report | route_asset_clearance | broadcast_reality_claim | ending_gate | recovery_lane | equivalent
  future_reader_or_route: sponsor_reader | schedule_reader | public_reader | archive_reader | lawful_reader | management_reader | route_asset_reader | broadcast_reality | ending | recovery_lane | equivalent
  harmed_or_returning_offerer: sponsor_offeror | schedule_claimant | fan_public | archive_reader | lawful_reader | management_desk | route_asset_holder | claimant | explicit_absence
  proof_bridge_or_explicit_absence: counterbid_receipt | public_notice | lawful_annex | archive_addendum | schedule_note | management_qualification | split_reader_notice | explicit_absence
  selected_afteruse_posture: certify_decline_scope | restrict_declined_offer_afteruse_reader | attach_counterbid_or_notice_bridge | reopen_declined_offerer | split_declined_offer_afteruse | quarantine_declined_offer_afteruse
  declined_offer_afteruse_state_after: <state>
  relief_any: []
  cost_any: []
  future_effect_any: []

Failure Cases

The mechanism must fail if:

• a declined sponsor offer is cited as sponsor acceptance with no afteruse row;
• a schedule desk treats a rejected slot claim as clean clearance;
• a public fan countercredit is used as lawful annex proof;
• a voided archive lien is treated as proof the archive has no remaining claim;
• a ignored or afterbid-armed offer unlocks an ending gate;
• a future route effect changes only notification text, mood, or a generic branch counter.

Default Contract

The default is False Declined Offer Afteruse Default. It must record false-clean declined-offer afteruse, source offer set or explicit absence, hidden or overbroad decline scope, capturing reader, harmed or returning offeror, after-state, future reader effect, at least three counter deltas, and durable mutation.