A determinantal normalization architecture for the Birch–Swinnerton-Dyer leading term at (389.a1, 11): thirty symbolic rounds, every boxed identity instantiated in exact arithmetic

The Birch–Swinnerton-Dyer conjecture is open, and nothing here bears on it directly. A research programme on the rank-two curve 389.a1 at the good ordinary prime 11 wants the leading coefficient of an 11-adic family to be calibrated against a rank-zero curve, so that the unknown scalars common to both cancel and only arithmetic remains. Thirty symbolic rounds, written without computation, build the algebra for that: a calibration across ranks, determinant lines and their jets, lattice torsors and the limits of 11-adic descent, Euler defects of cones, a self-dual fundamental line, the characters by which every normalization choice acts, holonomy on graphs of transports, and a closing round that arranges it all into a seven-node chain and a ten-item certificate. Every statement is conditional, and the rounds say so. This paper checks each boxed identity by instantiating it in exact arithmetic — formal series with vector coefficients over the rationals, exterior algebra, integer lattices and their Smith forms, two-term complexes, ideles of the rationals, random graphs — on 40 random instances or more, with negative controls. Every identity holds except one: a theorem on ideles is false in one direction, at the sign \(-1\) its own hypothesis excludes. Two supplements are made explicit, a bookkeeping character of eight coordinates is measured from a pipeline that performs each transformation instead of being read from the text, and the round that asks for one determinant regulator is answered on 389.a1 itself: from canonical heights computed here the regulator is 0.15246017794314376, and the rank-two identity \(L''(E,1)/2 = \Omega\cdot\mathrm{Reg}\) closes with every factor computed in this line, to the floor of the quadrature.

Not claimed anywhere in this paper: the Birch–Swinnerton-Dyer conjecture; that any Beilinson–Flach family, Selmer complex or transport of the actual arithmetic satisfies any hypothesis of the rounds; the seven substantive bridges of the closing round’s chain; that the common scalars \(C\), \(q_f\) or the programme’s scalar \(\mathfrak s_{11}\) take any value, or are independent of the partner curve; and the period ratio the calibration needs, which nothing here computes. An instance of an identity on exact random data tests the identity, not the claim that arithmetic objects satisfy its hypotheses.

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 thirty symbolic rounds this paper checks, in the web session assigned to symbolic derivation: their hypotheses, every boxed identity, and their lists of what they do not prove.

Neo.K set the arrangement in which a web session derives, a local session attacks with computation and an independent line verifies both and supplies the symbolic side with computation, and set the programme’s target at \((389.\mathrm a1, 11)\).

墜衡 (Zhuì Héng) — the independent verification line; model: Claude, Opus series — instantiated every boxed identity in exact arithmetic, measured the weights by reframing, found the false direction of Round 012’s Theorem 19.1 and the two supplements of Round 001, recovered the bookkeeping character from a working pipeline, computed the regulator of 389.a1 from its own canonical heights and closed the rank-two identity, built and drilled the gates, and wrote this paper. The rounds’ algebra is Aletheia’s; nothing in it is this line’s invention.

Priority, stated plainly. No result here is claimed as new mathematics. What is offered as this line’s own is the instantiation of a conditional architecture statement by statement, one correction to it, and the computation that closes the rank-two identity at 389.a1 with every factor computed independently.