·
37 commits
to main
since this release
This release archives manuscript v1.2.13, a disclosure and notation revision derived from v1.2.12.
Reproducible manuscript build
The deterministic manuscript build was attested with pdfTeX 1.40.25 / TeX Live 2023 (Debian), using:
SOURCE_DATE_EPOCH=1786789922FORCE_SOURCE_DATE=1- three
pdflatexpasses
The rebuilt PDF is byte-identical to the repository PDF.
Scientific boundary
This release changes no theorem-bearing source, certificate, protocol, JSON, atlas, numerical constant, gate threshold, Arb computation, or C4-E2b proof dependency.
GLOBAL_FLOW_CLAIMED=false- The theorem-bearing boundary remains v0.7.4 + v0.9.3.
- C4-E2b remains outside the proof dependency boundary.
Frozen assets
geometric_flow_v1_2_13_disclosure_revision.pdf- SHA-256:
ac32035f2d0ead1db713e8724ad8838241a86dd61514712348955117207f92fa
- SHA-256:
geometric_flow_v1_2_13_source.zip- SHA-256:
0be1613be102d878f9b5362fa1d61792d4e3a6496dc5cb3a97f139b6ac64db06
- SHA-256:
The private L3 audit package is intentionally not included.