Manuscript XVI-O1-ST@5 · XVI-O1-ST-v5.tex · listing · dd45e0d1
Listing: Listing
Supplied v4 transcript · lines 2736–2754
XVI-O1-ST-v4: SYNTHETIC/PRINTED-DATA REGRESSION ONLY
Python: 3.10.21 (main, Sep 19 2026, 01:08:03) [GCC 12.2.0]
Platform: Linux-6.12.8+-x86_64-with-glibc2.36
SymPy: 1.14.0
Source SHA256: e9f661c8f3eb1dc75b580eb756174f4ff5711f172230ae369b17dbf5a2fbb106
No inherited loop engine, matrix, or archive is evaluated.
PASS_SYNTHETIC: rank / affine repair
PASS_SYNTHETIC: fields / genuine modular rank
PASS_SYNTHETIC: quotient / primitive enlargement
PASS_SYNTHETIC: free complex / polynomial family
FAIL_SYNTHETIC: printed coefficient tables CheckFailure corrected D01 phase
PASS_SYNTHETIC: bounded report witnesses
PASS_SYNTHETIC: complete instrument / reference
PASS_SYNTHETIC: direct grading / sign parity
PASS_SYNTHETIC: finite propagator regression
Evaluated predicates, including expected rejections: 1397
SYNTHETIC SUITE FAILED: 1 case(s)