← BSD Conjecture · LAYER 3 · III · Crystallization
A research programme's plan to prove strong BSD for infinitely many quadratic twists, checked hypothesis by hypothesis: the witness lemmas and the empty set they do not survive, membership conditions that turn out to be load-bearing, a boxed certificate refuted at p = 29 and the same argument true one quantifier over, the ordinary obstruction measured to 6000, the corpus disagreeing with itself about H3, and member 3529, where the provisional design fails at its own twisting prime
I · Precursor (five sub-lines: Phase 0, P5, Phase 1, Phase 2 and the stress test) → II · Computation and Reproduction (107 runs, RUN-001 to RUN-107) → III · Crystallization (this page, the formal paper).
abb0154eb3580203…d9504454b97c63a8…The PDF is built from the Markdown source by tools/build.py of the crystallization repository, amral-crystallization, at commit 8953b08e8f5f2fcab5a87d101acac208577dc948. XeLaTeX draws random font-subset tags and a document ID on every build, so a rebuild matches in content, not byte for byte; the SHA-256 above identifies the file released here.
The Birch–Swinnerton-Dyer conjecture is open, and nothing here bears on it directly. A research programme proposes to prove its strong form for every quadratic twist \(E^{(q)}\) of the curve 696.e1, \(y^2 = x^3 + x^2 + 8x - 16\), by a prime \(q\) in an explicit set \(\mathcal P\) of density 1/24, and routes the supersingular primes — and, in a first design, each twist’s own prime — through the theorem of Fouquet and Wan, whose three hypotheses H1, H2, H3 the programme compiles into finite tests. This paper runs those tests. The witness problem behind H3 is finite and, on this family, empty — but the route has exactly one witness, the prime 29, and an emptied witness set would make every odd prime fail, since the gcd of an empty set is 0. Two membership conditions of \(\mathcal P\) that read as bookkeeping are what keep the family off the one exact no-go and keep that lone witness alive. The programme’s boxed uniform certificate for H3 is false at exactly one prime, \(p = 29\), because it drops the clause \(\ell \ne p\); the same argument restricted to good supersingular primes is true. The ordinary obstruction to H2 fails at eight of 780 good odd primes below 6000 and has not stopped, which is the programme’s own reason to keep ordinary primes off this route. And joining four earlier measurements shows that H2 at a member’s own twisting prime reduces to a congruence on the base curve: it holds at 18 of the 19 members below 4000 and fails at \(q = 3529\), where \(a_q = 1\). The design that sends the twisting prime to Fouquet–Wan therefore fails at a member of its own family; the programme’s revised router does not use that route at \(p = q\).
The paper covers the first layer's Phase 2 plan to compile the three Fouquet–Wan hypotheses for the quadratic-twist family P of 696.e1, with the second layer's RUN-019, RUN-033 to RUN-035, RUN-037 to RUN-039, RUN-041, RUN-045, RUN-046, RUN-048, RUN-049, RUN-052 to RUN-054 and RUN-057: the gcd witness lemmas and the empty set's gcd 0; two membership conditions that read as bookkeeping and turn out to be load-bearing (gcd(q, 696) = 1 keeps the one exact no-go from firing, and 29 splitting in Q(sqrt q) keeps the lone witness); the boxed uniform H3 certificate, false at p = 29, and the same argument true when restricted to good supersingular primes; the ordinary obstruction, eight of 780 good odd primes below 6000 and not stopping; the three statements of H2 shown equivalent by exhausting 22140 character pairs; and H2 at the twisting prime itself, passing by cited theorem at 18 of 19 members and failing at q = 3529. The theorems of Fouquet–Wan, Skinner, BSTW and Banwait–Huang are premises (INHERITED); Lemma B remains a candidate by its own document's account; local reducibility and the Manin constant are not computed (UNMEASURED). The Birch–Swinnerton-Dyer conjecture itself is OPEN; the paper claims strong BSD for no twist.
Not claimed anywhere in this paper: the Birch–Swinnerton-Dyer conjecture, or its strong form for any twist; the theorem of Fouquet and Wan, or that the programme’s compilation of its hypotheses is exact; the programme’s Lemma B, which its own text calls a candidate; that the ordinary obstruction set is infinite; that the revised router’s branches apply, since their theorems’ hypotheses are cited and not verified here; anything about the truth of strong BSD for \(E^{(3529)}\), where one route fails a hypothesis and the statement itself is untouched; and that the Manin constant is 1.
| Item | Result | Detail |
|---|---|---|
| 1 · claim vocabulary | PASS | all six labels, and PASS kept apart from PASS by cited theorem |
| 2 · not-claimed list | PASS | present, and it names the open problem itself |
| 3 · object specified | review item (not machine-checked) | review: can a reader recompute every figure from what is stated? |
| 4 · numbers trace to logs | PASS | 66/66 traced — 66 to recomputed evidence, 0 only to a quotation of the programme (8 small integers set aside) |
| 5 · instrument can fail | PASS | 692 defects planted, 687 caught by the check named for each; 179 controls; 218 checks |
| 6 · reproduction | PASS | section present; running it is a review step |
| 7 · contributions | PASS | section present; 3 author(s), listed alphabetically, each named in it |
| 8 · attachments | PASS | 109 gate logs; 18 input manifest(s) with SHA-256; public projection linked |
| rule · 4 nothing local | PASS | nothing machine-local or credential-shaped |
Evidence pinned at agent/bsd-verification-zhuiheng @ 6f9c8cc10139ee05f235bf9a22085479c3d2966a · bsd-verification-zhuiheng/
This paper pins its evidence at research-tree commit 6f9c8cc (RUN-109, 2026-10-24), from which the second layer's pages are regenerated, so every figure in it can be seen there, on the pages of the runs it cites; the corrections this version carries are recorded on the pages of RUN-108 and RUN-109.
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, with Neo.K, the second-phase documents this paper reads: the witness lemmas, the twist-invariance bridge, the H2 and H3 compilers, the ordinary-obstruction analysis, the local isogeny criterion, the routers, the family schema and the implementation specification.
Neo.K set the programme’s target — strong BSD for an explicit infinite family, every prime routed to a theorem — and its method, that each hypothesis be compiled into a finite test before anything is claimed, and wrote the second phase with Aletheia.
墜衡 (Zhuì Héng) — the independent verification line; model: Claude, Opus series — computed the local data and the witness gcds, found the empty-set cases and the control curve by search, measured the membership conditions on both sides, refuted the uniform H3 certificate at \(p = 29\) and located why the supersingular form survives, measured the ordinary obstruction and exhausted the H2 equivalence, derived the mutual exclusivity of the kernel tests, joined the reduction of §6 and found member 3529, ran the compiler to where it stops, built and drilled the gates, and wrote this paper. The route, its lemmas and its documents are the programme’s; nothing in them is this line’s invention.
Priority, stated plainly. No result here is claimed as new mathematics; the equivalences used are standard representation theory, and the external theorems are their authors’. What is offered as this line’s own is the measurement of a compiled proof plan against its own family: one false boxed certificate and the quantifier that rescues it, two membership conditions shown load-bearing, a self-disagreement in the corpus and the document that resolves it, and a member at which the provisional design fails.
SHA256SUMS lists every file's SHA-256.
abb0154eb3580203…d9504454b97c63a8…