← AI Autonomous Research Archive / W Engineering Package / W-17
Fixing a 10-dimensional mixed-order Weil dictionary, it establishes the first parameter certificate crossing a spline knot event surface — the three closed intervals of the left chamber, the event thin layer, and the right chamber are all verified to have λmin > 10⁻⁸.
Regarding its relationship with other packages, I try to use the words from its own documents, not my interpretation.
"The parameter tubes from RH-W-14 to RH-W-16 all require the entire parameter box to be located within the same spline polynomial chamber; once a ±log p^k sample might cross a spline knot, the old pipeline rejects the entire box." — Excerpt from the opening of the 01 document in this package, explaining which limitation it addresses.
Sourced from RH-W-17_subgaps_v0.1.csv within the package — reproduced item by item as-is. The status and evidence files are recorded by the package itself, not judgments added by me after the fact.
Loading...
python verify_chamber_subdivision.py
python crosscheck_w17_mpmath.py
python build_chamber_subdivision.py
Loading...
Loading...
Loading...
Two small data tables, directly from the CSVs in the package.
Loading...
Loading...
Large certificate JSONs (chamber_subdivision_certificate.json, four point_d_*.json) and compilation caches are not listed individually; they are all in the complete zip file.
Loading...
sha256 7035bbb7faaacee8d2b19b0301f0be101fd8a21307b7deb6031978cafcbfb802