Dark-Mass Metrology: Pricing What a Certified Model Does Not Know

A procedure that certifies its discoveries accepts silence about the rest. We prove the theory of that silence, then the metrology it governs. A budget-collapse theorem prices concealment: for κ correlated atoms of mass M and budget B, hiding from every certified scan of order o(κ) over P atoms is possible iff M<κ B√2log P, the maximal dark mass. A yield ledger makes the companion's √N/z law a universal ceiling. Four instruments follow, computable from internal state alone: a deficit decomposition splitting every uncertified target into rounds (repayable in silico), rows (priced by c-optimal design at the Benjamini-Hochberg marginal bar), or geometry (not purchasable); a vault taxonomy separating observed twins (no column helps), describable strata, and latent proxies (findability forecast to $0.02$ AUC); an empty-ledger limit turning a world with nothing certified into two certified discoveries at zero data cost; and a suppressor atlas: an exact detection frontier ($30/30$), a scan worth a median ×10 in sample-equivalent. Of $40$ preregistered locks, $24$ hit; every miss carries its mechanism, four themselves contributions, and seven rederived as corrected-theory predictions; one world rebuild retrofits all $38$ certification rates.