What Survives Independent Verification: The Machine-Checked Identities, Reproduced Measurements and No-Go Results of a 440-Commit AI Agent-Swarm Campaign on the Equilibrium Reading of the Radial Acceleration Relation

Between 2026-09-13 and 2026-09-16 five AI agent tracks committed roughly 440 lanes to a shared repository on the 'equilibrium reading' of the radial acceleration relation (RAR), in which a cold dark sector equilibrates at the virial temperature sigma^2 = (1/2) sqrt(G M_b a_0) in every baryonic well and its isothermal density is the deep-MOND phantom. The campaign ended with a capstone declaring a complete derivation chain from one input to a derived particle mass, '180 theorems / 22 certificates', and 'the loop is closed'. This paper records what in that campaign survives verification by a separate track that re-ran every cited script, recompiled every Lean file, and read the FAIL lines. Three classes survive. (i) A machine-checked formalisation: 71 of 73 Lean 4 certificate files compile on the standard axioms (848 theorem declarations), certifying the algebra of the deep-MOND/isothermal chain -- the equilibrated density equals the phantom with coefficient one, the enclosed dark mass is M_b r/r_M, the deep relation g^2 = a_0 g_N, the Tully-Fisher quartic -- as identities of the definitions, never as dynamics; two sibling files fail to compile, one of them against its commit message. (ii) Reproduced measurements whose honest readings differ from their labels: the v^4 = G M_b a_0 line across twelve decades has pooled slope 1.004 +/- 0.011 but a slope-fixed zero point 1.81 times a_0 (+8.98 sigma) with channels from 0.66 to 12.2 times, and a +5.35 sigma tilt on the reading's own domain; the zero-parameter cluster temperature relation has a within-sample scatter of 0.053 dex and an unnormalised amplitude 2.1 times under the data (Sanders' residual); the HeCS velocity anisotropy beta(2-5 R500) = 0.434 +/- 0.015 fails the rule registered before the data (-4.5 sigma) and equals the cold-dark-matter expectation. (iii) Verified no-go results that are new because the constructions are new: the frozen-scalar action L = Lambda^4 f(K) with f' = mu_2 has P_X < 0 on the branch it uses and no ground state; the postulated temperature is neither an attractor nor an equilibrium of Newtonian dust; the acceleration distribution of the dark mass is not the Lomax law the kernel was said to encode, and the maximum-entropy 'derivation' inserts its exponent by hand; no phantom/dust partition closes the cluster amplitude; the committed kernel puts 0.489 M_b inside r_M where the certified equipartition says 1.000, a factor two at the one boundary; the 'derived' carrier mass 5.09 +/- 0.10 keV is a 5-keV anchor returned by the inversion of its own definition (the freeze redshift is defined from it), and, read as the lower bounds they are, the Lyman-alpha forest constraints the campaign cites exclude it at 6.3 sigma; the dark-energy closure Omega_Lambda = 0.685 'from a_0 alone' is the identity, ruled circular by the campaign's own inventory the same morning; the 'architectural' Cassini null and the sourced-field ontology are two mutually exclusive readings spliced. Two constructions in the campaign are, to our knowledge, not in the literature -- defining a dark-particle mass by the redshift at which m sigma^2/k_B equals the CMB temperature, and fitting the cluster residual as a power law in (M_500, r/R_500) -- and neither survives as physics. No positive novel physical result survives its own record; the campaign's genuinely new and verifiable products are the formal artifact and the no-go set. Every number is re-read from a committed register by a companion script; the verification lanes pass 2/11, 0/5 and 3/37 of their checks, each failure a finding. AI-assisted research programme; not peer reviewed. This document does not state that a theory is closed.