#324 B4: forced non-zero-delta restore verifier — prove the bitmap is complete (Axis B / ADR 0025 D2)

open
Opened by atgreen

Part of #318 (epic). Axis B, ADR 0025 D2. THE correctness gate. Depends on B2+B3.

Goal

Restore the raw-region image at a deliberately non-zero base delta and pass the full suite. This proves the relocation bitmap (B3) is complete — a delta-0 test cannot, because no word actually needs relocating so missing bits never bite (ADR 0025's stated trap).

Approach

Acceptance gate

Forced non-zero-delta restore passes the FULL suite incl. (asdf:load-system "alexandria"). Any crash/miscompare = a missing bitmap bit; fix the ledger, not the symptom. This gate must be green before B6 deletes anything.

Comments (0)

No comments yet.