Inspect the exact
evidence.
Independent review depends on access to the original bytes, together with their verification procedures. Both frozen archives are complete in the research workspace. Public release hosting is the remaining access step.
Available now — AI safety review release.
The AI safety theorem-and-evidence package has a separate public GitHub Release. GitHub currently reports its ZIP asset as uploaded, size 4,272,825 bytes, SHA-256 c2cd8db71f7116a90d6ba0d0ddfaf6a08b6d710328c0c7d463fa1d1af5f74618. Its 116-entry peer-review collection covers September oversight manuscripts, SourceBound implementation material, finite checks and reviewer instructions. This release is distinct from the two larger frozen research archives below.
GitHub's public release metadata establishes asset publication and supplies the digest. Independent downloading and rehashing of the public asset are still separate checks; no external peer-review endorsement is claimed.
Two immutable archive files.
| Archive | Bytes | Contents |
|---|---|---|
NIGHTFALL_GitHub_Release_2026-10-27.zip77665ced561a9ae1d882baffdc5417188166049c27267afd6cb7b408ec9559cb | 20,981,017 | 214 ZIP entries; original research manuscripts, exact checkers, logs and nested certificates |
NIGHTFALL_Expanded_Research_2026-10-28.zipfca5dba595475783e3482d72d5e4888e76b91c38052a0589577f0fde578b8275 | 22,753,993 | 226 ZIP entries; original release plus the September–October research supplement |
Each hexadecimal string is the complete SHA-256 of the named original archive. Both CRC-integrity tests passed again on October 28. These hashes refer to the archives themselves, distinct from hashes of individual mathematical witnesses.
Desktop publishing checklist.
- Download the unchanged original files from the research chat to the same folder on your desktop.
- Open GitHub’s new-release page. Choose the tag
nightfall-research-2026-10-28; name the release NIGHTFALL — Frozen reproducibility collection. - Attach both ZIP files as release assets. Use the prepared release description, which clearly distinguishes internally reproduced finite witnesses, conditional source deductions and conjectural manuscripts. External referee acceptance remains pending.
- Publish, confirm anonymous access, download both assets anew, and compare their actual SHA-256s with the two strings above.
- Post the public release link in issue #5. The website’s evidence links can then be changed from pending to publicly accessible.
shasum -a 256 NIGHTFALL_GitHub_Release_2026-10-27.zip
shasum -a 256 NIGHTFALL_Expanded_Research_2026-10-28.zip
unzip -t NIGHTFALL_GitHub_Release_2026-10-27.zip
unzip -t NIGHTFALL_Expanded_Research_2026-10-28.zip
Get-FileHash .\NIGHTFALL_GitHub_Release_2026-10-27.zip -Algorithm SHA256
Get-FileHash .\NIGHTFALL_Expanded_Research_2026-10-28.zip -Algorithm SHA256
A successful hash comparison authenticates archive identity. Mathematical validation additionally requires running the project-specific checker, checking its analytic assumptions, and distinguishing local arithmetic replay from independent expert approval.
Agent verification 01 — independently reproduced.
A newly authored GNU MP integer-convolution verifier examined every signed grid shift of the frozen 131,072-cell overlap witness. It recovered the exact upper bound, discovered the second-highest grid value with a positive exact separation, and established a sufficient integer-height stability radius for the unique maximizing shift. A separate exact-rational geometry control passed 1,720 small cases; the accompanying elementary proof bridges grid shifts to all real translations. This is internal agent-executed reproducibility, distinct from formal-kernel proof checking and external specialist peer review.
What a referee receives.
The master archive contains research/nightfall/AUDIT.md, SHA256SUMS.txt, project checkers, finite witness files, and replay logs. Read the independent-review protocol before reporting a pass. A separate unresolved task, issue #6, seeks the exact input behind the accepted Arena leaderboard result.