STRUCTURAL CERTIFICATE CHECKER -- ALL SIX PROOF SETS
Date: 2026-08-23 (Asia/Shanghai)

(3,3), proof p=5 plus complete (m,t)=(9,2) replay p=7
CERTIFICATE SET VERIFIED: 168 required full-rank block(s), deterministic fingerprints present.
EXIT_CODE=0

(3,4), proof p=5 plus replay p=7
CERTIFICATE SET VERIFIED: 1 required full-rank block(s), deterministic fingerprints present.
EXIT_CODE=0

(2,6), proof p=7 plus replay p=11
CERTIFICATE SET VERIFIED: 8 required full-rank block(s), deterministic fingerprints present.
EXIT_CODE=0

(2,5), proof p=5 plus replay p=7, including the added (8,3) case
CERTIFICATE SET VERIFIED: 36 required full-rank block(s), deterministic fingerprints present.
EXIT_CODE=0

(1,8), proof p=5 plus replay p=11
CERTIFICATE SET VERIFIED: 48 required full-rank block(s), deterministic fingerprints present.
EXIT_CODE=0

(1,9), proof p=5 plus replay p=11
CERTIFICATE SET VERIFIED: 18 required full-rank block(s), deterministic fingerprints present.
EXIT_CODE=0

Every command used bin/verify_finite_vanishing_certificates.exe from this
release and the release-relative files named in the individual CHECK reports.
The checker source shares no polynomial or elimination code with the matrix
generator.  It verifies coverage and recorded metadata; it does not
reconstruct a matrix or replay a maximal minor.  Independent rank
reproduction requires rebuilding and rerunning the exact generator.

FINAL STATUS: PASS
