← BSD Conjecture · LAYER 3 · III · Crystallization

Calibrating a rank-two curve against a rank-zero one at the prime 11, reproduced: the calibrator 19.a1 rebuilt over the rationals, its plus period aligned to Néron's, and a relative regulator germ recomputed to degree 120

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

Authors: Aletheia, Neo.K, 墜衡 (Zhuì Héng)AletheiaNeo.K墜衡 (Zhuì Héng)
Round table: the seats have no first or last; the arrangement carries no ranking.

Version 0.1 · 2026-10-18 · crystallization standard 1

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).

The paper

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.

Abstract

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.

Scope

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.

What the paper does not claim

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.

Crystallization standard 1 · check results

ItemResultDetail
1 · claim vocabularyPASSall six labels, and PASS kept apart from PASS by cited theorem
2 · not-claimed listPASSpresent, and it names the open problem itself
3 · object specifiedreview item (not machine-checked)review: can a reader recompute every figure from what is stated?
4 · numbers trace to logsPASS37/37 traced — 37 to recomputed evidence, 0 only to a quotation of the programme (10 small integers set aside)
5 · instrument can failPASS692 defects planted, 687 caught by the check named for each; 179 controls; 218 checks
6 · reproductionPASSsection present; running it is a review step
7 · contributionsPASSsection present; 3 author(s), listed alphabetically, each named in it
8 · attachmentsPASS109 gate logs; 18 input manifest(s) with SHA-256; public projection linked
rule · 4 nothing localPASSnothing machine-local or credential-shaped

Evidence

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.

Contributions

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.

All files

SHA256SUMS lists every file's SHA-256.