Release status — publication 1.8.0 / Python 1.6.0
The finite trace-checker and typed JSON codec are formalized on the existing
proof-field semantics. Fresh evidence is recorded under formal_1.8.0; prior
records remain separately versioned. The monograph has 47 result groups, 25
numbered vector figures, and six worked visual studies.
Remaining boundaries: source-name/index semantic refinement, text parsing/IO, arbitrary Python correctness, constructive complete-producer refinement, derivation-valued transports, selected wider manuscript formalizations, independent review, empirical study design, and an author-selected license.
See PROGRESS_LEDGER_v1.8.0.md, FINALIZATION_REPORT.md, and the machine-readable
verification records. No timeout or rejected certificate is labeled a proof of
infeasibility. No inherited run is relabeled as new.