Fan Token Reissue Receipt Lens

This lens checks that a replacement fan-token batch cannot become clean public, lawful, sponsor, access, recap, feed-ranking, or route-loadout proof without a reissue receipt.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_fan_token_batch_visible: true
  prior_token_state_visible: true
  reissue_claim_visible: true
  replacement_token_or_explicit_absence_visible: true
  represented_and_excluded_fans_visible: true
  beneficiary_of_clean_reissue_visible: true
  harmed_reader_or_claimant_visible_or_explicit_absence: true
  future_reader_consumes_reissue_state: true
  player_can_certify_reissue_split_recall_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_token_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens fails if entry is driven by fixed turn, fixed day/week, raw token count, dashboard state, lens health, or a replacement with no future reader.

Checks

1. Docket Preserves Source Batch, Fan Scope, And Future Effect

fan_token_reissue_docket:
  source_fan_token_docket_or_batch: required
  prior_token_state: required
  reissue_claim: required
  replacement_token_or_absence: required
  reissue_authority_or_absence: required
  represented_fans: required
  excluded_or_missing_fans: required
  beneficiary_of_clean_reissue: required
  harmed_reader_or_claimant: required
  proof_or_absence: required
  selected_reissue_posture: required
  reissue_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required

2. Review Branches Diverge

Required branch families:

• certify_scoped_reissue;
• split_reissue_by_holder;
• publish_counterreceipt_window;
• attach_origin_proof;
• quarantine_replacement_batch;
• convert_to_refund_or_access_only;
• false_fan_token_reissue_default;
• future_effect_any.

3. Default Mutates Future Play

false_fan_token_reissue_default:
  false_clean_reissue: true
  source_token_batch_or_absence: required
  hidden_or_invalid_reissue_scope: required
  capturing_reader: required
  harmed_or_excluded_fans: required
  reissue_state_after: required
  future_reader_effect: required
  counter_deltas_min: 3
  durable_mutation: true

4. Runtime Rollup Status Is Explicit

This is a direct-wiki contract bound to an evaluator entry. Runtime source objects and durable replay can be added later if the fan-token reissue lane becomes executable in the game-content rollup.