Proof Wall Rotation Receipt

Proof Wall Rotation Receipt prevents a prior proof-wall pin from becoming clean current proof after the wall has rotated.

Proof Wall Pinning Custody owns the initial visibility choice. This mechanism owns the later receipt when that visible pin is moved behind a new pin, retired, unpinned, rebuilt, split, or quarantined and a future reader tries to consume the old wall state.

Entry Conditions

entry_conditions:
  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_response_available: 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

Valid rotation reasons include reader change, lawful annex, public counterline, sponsor replacement, archive seal, artist-boundary refusal, route-asset split, recovery-only downgrade, proof bridge arrival, and explicit absence.

Core Objects

Rotation States

rotation_states:
  - current_pin_certified
  - old_pin_receipt_bound
  - old_new_split
  - wall_rebuild_required
  - omitted_pin_notice_required
  - rotation_quarantined
  - false_current_wall
  - recovery_only

Branch Contract

Certify Current Pin

The current wall is accepted for a named reader, while the prior pin becomes history-only.

  • Relief: current proof can be consumed inside scope.
  • Cost: prior pin scar, addendum, or omitted-reader pressure remains visible.
  • Future: accepted-with-current-pin, current-only, or costlier.

Attach Rotation Receipt

The old pin remains citeable only with a receipt that names why it moved.

  • Relief: historical continuity is preserved.
  • Cost: proof bridge, carrier burden, or reader addendum remains.
  • Future: receipt-bound, bridge-required, or addendum-required.

Split Old And New Readers

Old and new pins are assigned to incompatible readers.

  • Relief: no reader overwrites another.
  • Cost: split upkeep, ambiguity, and later reconciliation pressure rise.
  • Future: public-only, lawful-only, sponsor-only, split-required, or route-costlier.

Rebuild Wall From Sources

The wall is rebuilt before either pin can file as current proof.

  • Relief: stale rotation cannot dominate.
  • Cost: delay, archive debt, proof burden, or handler burden rises.
  • Future: wall-rebuild-required, costlier, or contradiction-pending.

Publish Omitted Pin Notice

The harmed reader is told what was rotated away.

  • Relief: hidden harm becomes legible.
  • Cost: public distrust, inspection heat, sponsor pressure, or route delay rises.
  • Future: notice-required, public-addendum-due, or accepted-with-challenge.

Quarantine Rotation Claim

The claimed rotation is blocked from current-wall consumption.

  • Relief: false-current proof is blocked.
  • Cost: current route loses shortcut.
  • Future: blocked, quarantined, or recovery-only.

False Rotation Default

A reader files the old pin as current proof.

  • Relief: immediate desk pressure may fall.
  • Cost: hidden reader or authority scar hardens.
  • Future: False Proof Wall Rotation Default sets false-current, hostile, blocked, costlier, or recovery-only state.

Counter Contract

Every constructive branch must mutate at least:

counter_contract:
  wall_state_min: 1
  prior_pin_state_min: 1
  reader_state_min: 1
  relief_min: 1
  cost_min: 1
  future_route_effect_min: 1

Recommended surfaces include proof_wall_integrity, pin_rotation_legibility, prior_pin_scar, current_pin_authority, harmed_reader_visibility, public_receipt_distrust, archive_debt, contract_capture, inspection_heat, route_asset_pressure, broadcast_reality_drift, and future_recovery_cost.

Non-Goals

  • Not a proof inventory.
  • Not the original pinning decision.
  • Not a proof-board snapshot.
  • Not valid if the old pin can be reused as current proof without reader scope, proof bridge, and future effect.