Proof Wall Rotation Receipt Lens

This lens checks that a prior proof-wall pin cannot be consumed as current clean proof after the wall has rotated, replaced, unpinned, retired, rebuilt, split, or been quarantined.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_proof_wall_row_visible: true
  prior_visible_pin_visible: true
  current_pin_or_explicit_absence_visible: true
  rotation_reason_visible: true
  rotation_authority_or_explicit_absence_visible: true
  future_reader_consumes_rotation_state: true
  harmed_or_excluded_reader_visible_or_explicit_absence: true
  player_can_certify_attach_split_rebuild_notice_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_pin_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

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

Checks

1. Docket Separates Prior Pin From Current Wall

proof_wall_rotation_docket:
  source_proof_wall_row: required
  prior_visible_pin: required
  current_pin_or_absence: required
  rotation_reason: required
  rotation_authority_or_absence: required
  proof_bridge_or_absence: required
  requested_future_use: required
  future_reader: required
  harmed_or_excluded_reader: required
  selected_rotation_posture: required
  wall_state_after: required
  prior_pin_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required

2. Review Branches Diverge

Required branch families:

• certify_current_pin;
• attach_rotation_receipt;
• split_old_and_new_readers;
• rebuild_wall_from_sources;
• publish_omitted_pin_notice;
• quarantine_rotation_claim;
• false_proof_wall_rotation_default;
• future_effect_any.

3. Default Mutates Future Play

false_proof_wall_rotation_default:
  false_clean_rotation_claim: true
  source_wall_row_or_absence: required
  prior_pin_hidden_or_overread: required
  capturing_reader: required
  harmed_or_excluded_reader: required
  rotation_state_after: required
  prior_pin_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 proof-wall rotation becomes executable in the game-content rollup.