The Constant Ledger: A Procedure for Any Criterion Carrying an Estimated Constant

Some of the exact sciences' working instruments are criteria — forms that organize a phenomenon and return a number — whose quantitative content sits in a constant nobody derived: an estimate, carried on the record in several values, and calibrated per system in practice while quoted as one number in print. This paper defines a bookkeeping instrument, the constant ledger, third in the ledger series after the closure ledger and the import ledger, and states its procedure: every criterion carrying an estimated constant is entered with its form and provenance, the full census of the constant's estimates on the record, and the calibration inversion — each named measured system inverted into the constant it itself implies; the record spread is carried through the form's own leverage into the output quantity, and no output of the criterion is quoted downstream without the spread and the calibration scatter attached. The procedure is exhibited end-to-end on a worked corpus already computed in this program — Mott's 1949 screening criterion (census attack CC-147), n_c^{1/3} a_H = \kappa, where the record's estimates of \kappa span 0.200000 to 0.500000, a factor of 15.625000 in the density the criterion predicts at any radius, and the six named measured systems imply constants scattering from 0.194704 to 0.267820, not one of them the canonical 0.250000. The ledger evaluates estimated constants; it derives none and repairs none. Grade: procedure, exhibited on a complete worked corpus. Program headline, unchanged: NOT SOLVED / PARTIAL · producing-count 0.