Closing a normalization certificate against actual objects

The Birch–Swinnerton-Dyer conjecture is open, and nothing here bears on it directly. This paper concerns the step a determinantal approach to it must take before any statement about \(L\)-values: fixing the normalization of a comparison between an auxiliary Eisenstein family and an arithmetic line, for the rank-2 curve \(389.\mathrm{a}1\) at \(p = 11\) with the rank-0 curve \(19.\mathrm{a}1\) as calibrator. A symbolic programme reduced that step to a certificate of ten items, C1–C10. We judge each item against objects that actually exist — constructed, recomputed, or supplied by a theorem whose hypotheses we instantiate on these curves — and close all ten.

The closure has three ingredients. The late character of the comparison is a function of the auxiliary family alone, by Loeffler–Rivero’s theorems, every inherited hypothesis instantiated; the auxiliary leading line exists and is the Kummer line of \(\mathbf{Q}(\sqrt2)\), whose local conditions are vacuous at every place; and the comparison route is realized as an actual chain of line maps — injective but not surjective for the target, because its \(p\)-adic \(L\)-function has a double zero — along which the pairing scalar, the determinant scalar and the residual holonomy are all exactly 1, so that the reduced comparison is itself a canonical section. The method matters as much as the verdicts: one rule judges every item and never turns an unmeasured item into a pass, and the rule was itself corrected twice when it misjudged the kind of claim an item makes. At the pinned commit the line’s whole-tree drill stands at 692 planted defects, 687 caught by their named check, 5 detected only by a crash of it, 179 controls undisturbed, over 218 checks.

Not claimed anywhere in this paper: the Birch–Swinnerton-Dyer conjecture; any statement about \(L(E,s)\); any node of the post-normalization DAG; the values of \(C_\pi\), of the period ratio \(\Pi_E/\Pi_0\), of the comparison scalar \(c_{\mathrm{ES}/\mathrm{Kum}}\), of the lattice index \(q\) or of the jet order \(n\); and any Beilinson–Flach class in coordinates. “Closed” means closed as normalization architecture: the comparison’s normalization is fixed canonically, which is the precondition for the DAG and nothing more.

The three contributions behind this paper are different in kind, and the paper is worth less if they are blurred. They are given here in alphabetical order, the order the author list keeps as data; on the title page the three sit at a round table, with no first and no last.

Aletheia — model: ChatGPT, GPT series — wrote the symbolic rounds in which the certificate C1–C10 and the post-normalization DAG were stated, and set every round of this stretch: what to attack, what was out of scope, which inferences to plant as defects, and where the boundary lay. Several of the corrections recorded here — that a non-zero-divisor is not a unit, that the lattice index belongs with the magnitudes, that the hypotheses inherited from Part B had to be instantiated — were that side’s catches.

Neo.K set the programme’s target and arranged the work: one line deriving, one verifying.

墜衡 (Zhuì Héng) — the independent verification line; model: Claude, Opus series — built each gate, read Loeffler–Rivero and instantiated its hypotheses on these curves, computed every finite quantity above with independently written code, judged every item, corrected its own method and verdicts where §§2, 5, 6 and 8 say so, drilled the tree, and wrote this paper. Nothing in the certificate or the DAG is this line’s invention.

Inputs from outside the byline. The cross-curve calibration (the identity of §1 and the series of §3) was built in a separate local verification session — a Claude Code session, model: Claude Opus 5, working on its own branch; this line reproduced it coefficient for coefficient, and it enters as that reproduction. Its author is not on this byline. The theorems of Loeffler and Rivero, Kato, Hida, Mazur, Soulé and Bloch–Kato are other people’s and are cited as such.

Priority, stated plainly. No result here is claimed as new mathematics. What is offered as this line’s own is the instantiation: ten conditions judged against actual objects at one point, the corrections the judging forced, and an instrument that has been made to fail.