← BSD Conjecture · LAYER 3 · III · Crystallization
A reproduction note on a cross-curve period calibration built by a separate local verification session: every modular symbol, measure, series and cup pairing of it recomputed with independent code, and the archimedean alignment of its plus period, which it left undone, supplied
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).
7ac661159a59aaeb…9cba9eb18822a1c2…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 at the rank-two curve 389.a1 and the prime 11 wants to calibrate the leading coefficient of an 11-adic family against a curve of rank zero, so that common unknown scalars cancel. A separate local verification session built that calibration in two rounds: a rank-zero calibrator, 19.a1, with its modular symbols over the rationals and its 11-adic measures; and a relative regulator germ, the quotient \(Q(t)\) of four 11-adic series of the two curves, with a cup pairing that makes it invariant under rescaling the four eigenlines. This note reproduces both with independently written code. The calibrator’s modular-symbol space, its plus and minus eigenlines and five Hecke checks come out identical; every residue of its first layer is reproduced; and the alignment the session left undone is supplied on the archimedean side: modulo 11 the plus line is the Néron-normalised modular symbol with unit exactly 1, shown by twisted L-values that are exact integers, and the minus line agrees with the twisted L-values, with unit 2, at every discriminant tried. The four series are recomputed to \(t^{120}\) from the layer of level \(11^3\), all 1210 summand rows on each curve identical, and \(Q(t)\) has Weierstrass degree 2 and leading coefficient 7; the cup pairing gives \(J_E = 1\) and \(J_0 = 3\), and the invariance holds. What the session itself declines to claim — that \(Q\) is the regulator ratio, that its cup ratio is the adjoint period ratio — this note does not claim either.
The paper covers the second layer's RUN-080 and RUN-081: a cross-curve period calibration built by a separate local verification session, recomputed throughout with independent code — the rank-zero calibrator 19.a1 with its modular symbols over the rationals, its plus and minus eigenlines, five Hecke checks and every residue of its first layer; the four 11-adic series of 389.a1 and 19.a1, the relative regulator germ Q(t) (Weierstrass degree 2, leading coefficient 7), and the Farey cup pairing (J_E = 1, J_0 = 3) with its invariance under rescaling the four eigenlines. It also supplies the archimedean alignment the session left undone: modulo 11 the plus line is the Néron-normalised modular symbol with unit exactly 1, and the minus line agrees with the twisted L-values with unit 2. The calibration itself is the session's, credited outside the byline; this is a reproduction note and claims no new mathematics. Whether Q is the regulator ratio, the minus period's scale against the imaginary period, and the Kato, Coleman and adjoint alignments are not established (UNMEASURED). The Birch-Swinnerton-Dyer conjecture itself is OPEN.
Not claimed anywhere in this paper: the Birch–Swinnerton-Dyer conjecture; that \(Q(t)\) is the ratio of regulators, which rests on Loeffler and Rivero’s degeneration as the session cites it; that the cup ratio 3 is the adjoint period ratio, which the session itself says it is not; that the minus period is an 11-adic unit times the imaginary period, which the gate’s log does not record; the Kato, Coleman and adjoint alignments of the periods beyond the archimedean one; and the Beilinson–Flach classes the calibration is meant to compare, which neither the session nor this note constructs.
| 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 | 37/37 traced — 37 to recomputed evidence, 0 only to a quotation of the programme (10 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 — is a standing author of the programme, by Neo.K’s decision, and wrote with Neo.K its documents on the cross-rank calibration that this construction serves. The calibration itself is not hers.
Neo.K set the programme’s target at \((389.\mathrm a1, 11)\) and the arrangement in which a separate session builds and this line verifies.
墜衡 (Zhuì Héng) — the independent verification line; model: Claude, Opus series — recomputed every object of the calibration with independent code, supplied the archimedean alignment of its plus period, built and drilled the gates, and wrote this note.
Input from outside the byline. The calibration — the choice of 19.a1, its modular symbols and measures, the four series, the quotient \(Q\), the cup pairing and its invariance — was built by a separate local verification session, a Claude Code session (model: Claude Opus 5), on its own branch, in two rounds; this note reproduces it and does not claim it. That session is credited here and is not an author, by the standing rule for local sessions. The theorems it cites are their authors’.
Priority, stated plainly. Nothing here is claimed as new mathematics. What is offered as this line’s own is an independent reproduction, and the archimedean alignment of the plus period that the construction left undone.
SHA256SUMS lists every file's SHA-256.
7ac661159a59aaeb…9cba9eb18822a1c2…