RH-W-01: Weil Route Test Function Space Fixed

Fixes the test function space, Mellin normalization, zero summation method, and sign conventions of the Weil explicit formula route, splitting the single RH-W-01 into eight independently relayable sub-GAPs (A through H).

IN_PROGRESS — Self-stated nature from the files in the package: "Definition and scope lock-in document; not a proof of RH, nor does it propose new positivity theorems", reproduced here as-is.

Connections

Regarding its relationship with other packages, I try to use the words from its own documents, not my interpretation.

Belongs toResearch Starting Point v0.2 · GAP-ification

Next PackageRH-W-01-D/E/F/G: Double Vanishing Moments, Correlation Closure, and Mellin–Fourier Interface

Batch 011 / 20

"If different AIs, papers, or programs swap Mellin/Fourier conventions, signs, conjugations, convolutions, zero summation orders, or test function spaces without declaration, subsequent derivations might be studying entirely different quadratic forms, even if every line appears reasonable." — Excerpt from the opening of the main document in this package, explaining why this node exists.

Sub-GAP Ledger

Sourced from RH-W-01_subgaps.csv within the package; the status, obligations, and failed witnesses are recorded by the package itself, not judgments added by me after the fact.

Reproduce

Registry checker (verifying whether subgaps.json and candidate_schema.json are consistent):

python validate_w01.py

Main Document

Weil explicit formula B0 baseline, Mellin transform conventions, von Mangoldt function, special functions required for the Weil criterion, and the complete definitions of the eight sub-GAPs (A–H).

Verification Output

Sourced from VALIDATION.txt within the package, the original output of the registry checker, reproduced line by line.

Loading...

Files

Download Complete Package (10.6 KB)

sha256 999d164155d7c6fdfeebd5c8e02c3d49d283da995df8321bf0a6c66a74eda83a