# 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.