The Restoration Ledger: A Procedure for Any Model That Replaces Its System

Some founding constructions do not approximate their system; they replace it — a model is laid down whose exclusions delete the real system's most obvious features, a finding is derived inside the model, and the finding is then read back onto the system. This paper defines a bookkeeping instrument, the restoration ledger, fourth in the ledger series after the closure, import, and constant ledgers, and states its procedure: every such model is entered with its postulates, its exclusions itemized one by one, and for each exclusion a restoration test — the excluded structure restored alone, at a declared strength, and the model's own diagnostic re-returned — with the motion printed; an exclusion whose restoration is another model's whole mechanism is entered as a cross-entry carrying that address's state. The procedure is exhibited end-to-end on a worked corpus already computed in this program — Anderson's 1958 random lattice (census attack CC-149) — where the first exclusion (uncorrelated disorder) stands evaluated by its restoration: the model's band-centre diagnostic moves by a factor of 2.660256 at fixed disorder strength when the excluded correlation is restored; and the second exclusion (deleted interactions) stands OPEN as a cross-entry to the rival address CC-147, where the restored structure is an entire competing mechanism. The entry therefore stands partially evaluated, and prints its own incompleteness as its headline state. The ledger evaluates model postulates; it derives none and repairs none. Grade: procedure, exhibited on a complete worked corpus. Program headline, unchanged: NOT SOLVED / PARTIAL · producing-count 0.