RH-W-03: Compact Support Separation, Negative Witness Existence, and Dual-Core Architecture

Connections

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

"¬RH ⟹ ∃g∈C_c^∞(0,∞), Q_full(g)<0... 'Whether off-axis zeros can be seen by compactly supported smooth test functions' is not a new unsolved GAP; this is an existence conclusion already provided by the Weil–Bombieri–Yoshida type criteria. What is truly unfinished is... the existence theorem must be transformed into a finite-dimensional, computable, and strictly verifiable negative eigenvalue certificate." — Excerpt from Section 0 of the main document in this package.

External Dependency

The existence conclusion of this package is not self-derived, but directly cites published literature. Listed as-is.

• Masatoshi Suzuki, Aspects of the screw function corresponding to the Riemann zeta function, arXiv:2206.03682
• Masatoshi Suzuki, On the Hilbert space derived from the Weil distribution, arXiv:2301.00421
• Masatoshi Suzuki, Weil's quadratic form via the screw function, arXiv:2606.09096

GAP Ledger

From RH-W-03_subgaps_v0.1.csv in the package; the status and next steps are all recorded by the package itself, not my retrospective judgments.

Reproduce

python validate_registry.py

python rh_w03_toy_certificate.py

01 · Compact Support Separation and Dual-Kernel Architecture

Main Document — Dual-core architecture of full core and endpoint-zero core, complete endpoint correction formula, additive coordinates and Weil quadratic form, engineering version of the compact support separation theorem, and the three-layer distinction between existence and constructibility.

02 · Finite Support Spectral Scan Specification

Specification document for the next round (W-04) — scan targets, matrix interfaces, one-sided certificate logic, and rigorous negative eigenvalue certificate format.

Verification Output

Sourced from TOY_VALIDATION.txt (synthetic model, not RH numerical evidence) and REGISTRY_VALIDATION.txt within the package, reproduced line by line.

Loading...

Loading...

Files

sha256 5301490c00e0c18f3b206e56a6519aced4ee467d4bcabd9157e5b2ad9c13b327