Memorial Air Chain Afteruse Receipt Lens

This lens checks that a completed memorial air chain row cannot later be spent as clean universal proof unless the afteruse scope, reader, harmed or omitted reader, proof bridge, scar, and future effect remain visible.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_chain_row_visible: true
  source_memorial_air_proof_or_explicit_absence_visible: true
  source_witness_or_holder_or_explicit_absence_visible: true
  source_chain_posture_visible: true
  requested_afteruse_visible: true
  future_reader_consumes_air_chain_state: true
  harmed_or_omitted_reader_visible_or_explicit_absence: true
  player_can_certify_restrict_bridge_unwind_reissue_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_memorial_air_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens fails if entry is driven by fixed turn, fixed day/week, raw memorial-air count, dashboard state, or lens-health state.

Checks

1. Docket Preserves Chain Row, Reader, And Afteruse

memorial_air_chain_afteruse_docket:
  source_chain_row: required
  source_memorial_air_proof_or_absence: required
  source_witness_or_holder_or_absence: required
  source_chain_posture: required
  requested_afteruse: required
  future_reader_or_route: required
  harmed_or_omitted_reader: required
  proof_bridge_or_explicit_absence: required
  selected_afteruse_posture: required
  memorial_air_afteruse_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required

2. Review Branches Diverge

Required branch families:

• certify_chain_scope;
• restrict_afteruse_reader;
• attach_witness_or_archive_bridge;
• unwind_sponsor_or_editor_capture;
• reissue_memorial_air_receipt;
• quarantine_air_chain_afteruse;
• false_memorial_air_afteruse_default;
• future_effect_any.

3. Default Mutates Future Play

false_memorial_air_chain_afteruse_default:
  false_clean_memorial_air_afteruse: true
  source_chain_row_or_absence: required
  hidden_or_overbroad_air_chain_scope: required
  capturing_reader_or_route: required
  harmed_or_omitted_reader: required
  memorial_air_afteruse_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 memorial air chain afteruse becomes executable in the game-content rollup.