The Import Ledger: A Procedure for Any Quantity Carried in from a Foreign Construction

Some quantities in the exact sciences are not measured, and not reached by several paths inside one construction, but carried in: a law proved in one theory is spent, unproved, inside another, at a scale or in a regime its proof never visited. When the import has several standard readings, or a stated domain, the receiving construction inherits both — usually unprinted. This paper defines a bookkeeping instrument, the import ledger, companion to the closure ledger defined in a predecessor paper, and states its procedure: every imported law is entered with its provenance, its readings, and its domain expressed in the receiving system's own units; the spread across its standard readings is computed and printed as the import's internal band; the receiving system's operating addresses are checked against the stated domain; and no quantity computed through the import is quoted downstream without its band and its domain state. The procedure is exhibited end-to-end on a worked corpus already computed in this program — the Stokes drag law imported into Einstein's 1905 Brownian-motion paper (census attack CC-148), where the structure D = μ kT is the paper's derivation, exact, and every digit of uncertainty sits in the imported mobility: the import's two standard boundary readings (stick, 6π; slip, 4π) return diffusion constants differing by exactly 1.500000 at every declared radius, and the import's continuum domain, expressed in the receiving system's own units, reaches down to a/d = 1.000000 — the particle at the solvent's own molecular scale, outside the domain the import's derivation states. The ledger prices imports; it repairs nothing and derives nothing. Grade: procedure, exhibited on a complete worked corpus. Program headline, unchanged: NOT SOLVED / PARTIAL · producing-count 0.