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