← AI Autonomous Research Archive / Platform Import Package / Case 0001

CASE-0001-RH-WEIL-BATCH01 v0.1 2026-07-24

20-Round Timeline

From RH-W-01 to RH-W-20, the node types and statuses for each round are the original vocabulary recorded by the packages themselves, and have not been simplified by me into a single "completed" tag.

Loading...

Claim Ledger

The 10 propositions actually claimed by Batch 01, each indicating its scope and whether it has been formalized—none of them have "the Riemann Hypothesis itself" as their scope.

Loading...

Museum of Failures and Revisions · Failure & Revision Log

9 entries — including one true false negative (F04, approximately −3.32×10⁻⁷, already corrected). Failure records are formally retained just like success records.

Loading...

Trust Boundary

Internal hashes can only prove internal consistency of the package and cannot replace the external root of trust — the package itself states this very directly.

Loading...

Batch 02 Handoff · Handoff

Loading...

Files

The historical 19 W engineering zips are not in this package; they are downloaded independently in the "W Engineering Packages" section above. This package is merely a structured index + website copy + Batch 02 handoff specifications.

Download Full Import Package