BUILD AND TOOLCHAIN AUDIT -- FACTOR-THREE / SMT-57 RELEASE
Date: 2026-08-23 (Asia/Shanghai)

Compiler
--------
clang version 22.1.8
LLVM project revision: ca7933e47d3a3451d81e72ac174dcb5aa28b59d1
Target: x86_64-w64-windows-gnu
Thread model: posix
Distribution: LLVM-MinGW 20260616 UCRT
Language mode: C++17

Frozen source SHA-256
--------------------
CC7A1825ADCC2226C882F78F3F239DD3C026EF25C9D32E0F1F8CC2BAF27766D0  source/two_components_finite_vanishing_O3.cpp
629BBBF94E27A5BB5B318D8DCA07A6A0E946C936C22003E4ABE6CBDDD94E5295  source/verify_finite_vanishing_certificates.cpp
F63B15D9F86839474FB18E7B1F4C168595AE9D6CC0E56C141AD9681DC445B648  source/O3_identity_checker.cpp

Warning-clean build commands
----------------------------
clang++.exe -std=c++17 -O3 -DNDEBUG -pthread -static -Wall -Wextra -Wpedantic -Wconversion -Wshadow -Wsign-conversion source/two_components_finite_vanishing_O3.cpp -o bin/two_components_finite_vanishing_O3.exe

clang++.exe -std=c++17 -O2 -static -Wall -Wextra -Wpedantic -Wconversion -Wshadow -Wsign-conversion source/verify_finite_vanishing_certificates.cpp -o bin/verify_finite_vanishing_certificates.exe

clang++.exe -std=c++17 -O2 -DNDEBUG -static -Wall -Wextra -Wpedantic -Wconversion -Wshadow -Wsign-conversion source/O3_identity_checker.cpp -o bin/O3_identity_checker.exe

Each compiler invocation returned exit code 0 and emitted no diagnostic.

Frozen binary SHA-256 and size
-----------------------------
23CD4C43235207E0733BDECDB3B1A48448D510AA08FAEF637333F9477859D03F  1,635,328  bin/two_components_finite_vanishing_O3.exe
763DD899CC5542DD2601597902297DEFFFC1E52ABBAC3374CB0F8988398E98AD  1,474,048  bin/verify_finite_vanishing_certificates.exe
F2A95CB0F2E12BB1C2352BAC6BABA3A4C7EB95ACC841BEBC86B750C23C8262F2  1,473,024  bin/O3_identity_checker.exe

Validation
----------
The archived generator passed its complete self-test at primes 5, 7, and 11.
The identity supplement passed all three tangency identities and all three
curvature-commutator tests. The independent checker accepted all six proof
sets, together with every available complete replay:

  degrees   proof prime   replay prime(s)   required blocks
  (3,3)          5               7                168
  (3,4)          5               7                  1
  (2,6)          7              11                  8
  (2,5)          5               7                 36
  (1,8)          5              11                 48
  (1,9)          5              11                 18

For (2,5), the added (m,t)=(8,3) proof and replay each contain six
full-rank blocks and 15,849 columns. The deficient (2,6), p=5 record was
checked separately as a diagnostic and is not a proof input.

Final status: PASS
