Skip to content

Update C21 upper bound to 0.172422 - #180

Open
Dank1995 wants to merge 3 commits into
teorth:mainfrom
Dank1995:patch-1
Open

Update C21 upper bound to 0.172422#180
Dank1995 wants to merge 3 commits into
teorth:mainfrom
Dank1995:patch-1

Conversation

@Dank1995

@Dank1995 Dank1995 commented Sep 7, 2026

Copy link
Copy Markdown

This PR records the claimed unconditional upper bound C21 < 0.172422.

Current paper, theorem certificate, and full replay bundle (v1.1):
https://zenodo.org/records/22658444

The result is not yet independently verified, so I am submitting it with the repository's unverified (*) status.

@Dank1995

Dank1995 commented Sep 8, 2026

Copy link
Copy Markdown
Author

Updated the public Zenodo record to v1.1:

https://zenodo.org/records/22658444

The claimed endpoint remains Λ < 0.172422.

Version 1.1 closes proof-provenance and reproducibility items identified during pre-release audit, including the certified B7 moment and separator Taylor-tail enclosures, restoration of the Polymath15 Eq. (20) exp(0.02y) factor in the separator error replay, explicit Proposition 6.6 reciprocal-γ provenance, and the complete 32-output direct-transition replay with interval-binding verification.

The frozen computational certificate remains byte-identical, SHA-256:

66763bb36cf35efa0cb810f145eb3a5240f2c5adfb9b3cd86d81ca0e97e866a4

The final v1.1 submission ZIP has SHA-256:

63cc29bd7cd998f736c13632712851f179c528c69c51bed2862551606651c176

I would particularly welcome scrutiny of FW-5.17, the moving separator, and the Section 5 transport.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant