The factorization ledger audits 504 papers (2024–2026) on integer-factoring claims spanning quantum (Shor / Regev), classical (NFS / GNFS), and learning-style (LLM-aided / Schnorr-style / SVP-reduction) approaches. The harness consists of 13 bills (closure mechanisms a frontier factoring claim must pay), six meta-costs (disqualifying conditions), and three escape gates (G1 methodology, G2 negative-result, G3 theoretical-construction).
Three bills are predicted ★ empty: Bill 6 (R0.5 exact-point construction with non-vacuous F(m₁,m₂)=kN), Bill 7 (cross-Frobenius order), and Bill 8 (cross-Frobenius linear complexity — cousin to QA Bill 8 and Lattice Crypto Bill 16). Across the 504-paper batch, Bills 6 and 7 receive zero triggers and Bill 8 receives one marginal candidate with zero clean frontier-gate crossings. The strongest empty-space anchor is the Schnorr-2021 + Schnorr-style 2024 cluster, which pays Bills 1–6 but fails Bill 7 on Bill 12 (parameter-regime extrapolation) and Bill 4 (no public RSA-768+ handle).
The deepest cross-ledger finding is the self-validation tautology — the same metric that defines success also validates success — which is now confirmed across all 7 ledgers as a domain-invariant pattern. This document is the v1.16 locked preprint of the bills definition; v1.16 corresponds to the IACR ePrint submission queue.