Source map and archival boundaries

STATUS: RIEMANN HYPOTHESIS OPEN

The Japanese and English editorial pages are paired guides by @ykbballer91 to a Japanese, AI-assisted research record. The archive preserves the argument and its historical scope. It is not a collection of peer-reviewed papers. Internal agents sometimes checked the same statement independently; that is an internal review process, not independent external validation.

Selective publication through L7 — 2026-10-09

The new research update is a selected editorial summary based on fixed-version research manuscripts, constructions, integrations and internal audits. L0–L7 research originals remain privately preserved. Complete new proofs, full internal audits, instructions, conversations, definition DAGs and internal validation outputs are not published. This summary is not the full evidence for third-party reproduction of every claim.

The public state record contains publishable summaries and references to the update. The detailed manuscript-to-paragraph correspondence is privately retained. Existing manifests, source links and hashes below concern historically published material; complete new manuscripts have not been added to that evidence set.

Cycles 6–17 public addition — 2026-10-08

The update through Cycle 17 is an edited summary and auxiliary argument grounded in each cycle's original research, integration, state and independent internal audits. The historical state and source hashes record selected read-only inputs. Private bundles, prompts, diagnostics, third-party PDFs and internal agent logs are not redistributed. Earlier evidence, article bodies and exported hashes remain unchanged.

CORE-S public addition — 2026-10-07

The CORE-S finite lemma is a derived consequence of CCM's known matrix and commutator structure. The public state record separates its finite scope from the open cofinal conditions. Private research directories, diagnostic caches and internal audit logs are not distributed; the update provides the primary-source link and a short public proof. Existing evidence and hashes are unchanged.

Import and review — 2026-10-05

The joint-transfer summary records a conditional implication checked against primary sources. A new state record and review record have been added. Existing evidence and hashes are preserved; the private handoff bundle and third-party PDFs are not redistributed.

What is canonical here

The Phase 1 inventory identified 17 tracks. This publication adds separately dated Priority 1 cyclicity and Priority 2 finite-head updates. There are 378 selected source files: the 359-file historical selection, five cyclicity files, and fourteen finite-head files. The source manifest is the complete file-level authority. It records the original relative source identifier, public destination, original hash and exported hash. Publication headers, removal of private paths and repaired links can change an exported hash without changing the mathematical claim.

The table identifies the main argument, its scoped audit and its state. A state file is evidence of what was recorded at that point; it is not a new proof or a promise that every linked experiment has just been rerun. Detailed completion and validation links are on each track page.

Track	Edited account	Main source	Internal audit	State
01	Initial Weil program: finite positivity and its limits	Report	Audit 1 · Audit 2 · Audit 3 · Audit 4	State
02	Arithmetic generators and boundary conditions	Report	Audit	State
03	The missing Frobenius mechanism	Report	Audit	State
04	Arithmetic polarization and intersection pairings	Report	Audit	State
05	Continuous scale flow and prime return maps	Report	Audit	State
06	One-prime return and a faithful Banach completion	Report	Audit	State
07	Dyadic arithmetic reduction	Report	Audit	State
08	Prime complexes and parity pairing	Report	Audit	State
09	Prime-logarithm phases: the arithmetic comma track	Report	Audit	State
10	Weighted prime halfspaces	Report	Audit	State
11	The global remainder beyond local asymptotic orders	Report	Audit	State
12	Strategy reset: arithmetic estimates and closure	Report	Audit	State
13	Arithmetic restoring force	Report	Audit	State
14	Local-to-global zero confinement	Report	Audit	State
15	A common variational parent?	Report	Audit	State
16	Rates, history and finite-cutoff splitting	Report	Audit	State
17	Hierarchical selection in fixed derivative families	Report	Audit	State
18	Cyclicity of the even derivative family	Report	Audit	State
19	Finite even Fourier heads	Report	Audit	State

Historical records that must not be merged silently

The initial handoff covers cycles 1–23. Its date does not timestamp every cycle. The historical proof_state.json was subsequently updated through Phase III; its top-level summary does not include all later independent tracks.
The old main dependency graph is preserved as a checkpoint. Later auxiliary theorems were not automatically promoted into a proof of RH or silently inserted into that graph.
Historical README, PDF and release-manifest versions describe earlier scopes. They are not the current overview. The timeline and dated track pages explain later work.
The Phase 1 inventory recorded 29 Git commits. Untracked working-tree additions and source-file report dates are distinguished from those commits. No individual research timestamp or author identity is inferred from an import.
The five older release versions are 01, 02, 03, 04 and 06. Their ZIP/TAR pairs duplicate payloads; there is no invented version 05. The public archive uses selected copies once, rather than republishing duplicate bundles or operating-system metadata.
The cyclicity update adds its main proof, two supporting notes, state and audit. Private preservation/validation manifests were not added as public mathematical evidence.
The later finite-head update adds fourteen scoped reports, code/results and audit/state artifacts. Its private preservation manifest is excluded; publication checks do not reclassify diagnostics as certified results.

Theorem stacks and dependencies worth reading together

Historical dependency graph: Read at its stated checkpoint; an edge or criterion does not prove its hypothesis.
Local-to-global theorem stack: Separates conditional real-zero ground statements from known proxy convergence and missing G*.
Common variational dictionary: Fixes the metric, pullback energy and excess-to-gap obligation.
Higher-order selection: Fixed finite derivative order, with its asymptotic and remainder hypotheses.
Fourier resolution: Explains the support-boundary scale and sufficient resolution condition.
Prime rank-one audit: Differentiated event versus finite update, with positivity limitations.
Sonin filtration audit: An exact transform dictionary is distinguished from an unproved selector correspondence.
Cyclicity sources and proof: Exponential moments, the correct moment criterion and ordinary even L² density.

What is included and excluded

Original project reports and audits are under archive/; selected state records are under data/source-records/; code, recorded results and small formal sources are under artifacts/. The manifest resolves every selected identifier to one canonical public copy. Preserved source prose may point to an omitted file; the export marks that omission rather than manufacturing a destination.

Third-party PDFs, HTML/TeX caches, ancillary software, downloaded page images, local runtimes, package caches, raw private instructions and old Git objects are not bundled. Papers are cited through external links. Their copyrights and software licenses remain with their owners. Bibliographic status and the exact statement used are documented in References; project licensing does not relicense those works.

Publication checks cover curation, payloads, links and stated scope. They do not constitute a new execution of every certificate or a full independent proof audit. See Reproducibility.