The second edition: the vessel compiled, and the repository as a checked instrument - #18

Merged

MaxFreedomPollard merged 9 commits into

mainfrom

Sep 6, 2026

Commits on Sep 5, 2026

Pin the environment and make every number and vector figure reproduce byte for byte, on macOS and Linux
MaxFreedomPollard
committed
9e0bdd5
Compile the instance onto the measured vessel: Way B, the collar pass, the exact law at 64 sites, and the timing closure
MaxFreedomPollard
committed
5814bc8
The repository as an instrument: reproduce.py, the tests, the byte identity gate in CI, the Dockerfile, the manifest, the glossary, the changelog
MaxFreedomPollard
committed
436bec8
Report the adjoint check as the bound it satisfies, so it reads the same on every platform
MaxFreedomPollard
committed
2b69c17
Dockerfile: say how to run the image under emulation on an Apple silicon Mac
MaxFreedomPollard
committed
99c5e70

Commits on Sep 6, 2026