Manuscript XV-F-patch@1 · XV-F-patch.tex · section · 6d6ef16d
The post-patch manifest
Assembled ledger, debugging, and the revised F0 verdict › The post-patch manifest · lines 2239–2252
This ledger is intentionally finer than the proposed nine-row affirmative ledger. Several original proposed rows mixed a local definition with a global completion or a generic formula with a frozen coefficient. Those distinctions cannot be suppressed in a proof-ready version.
In particular, the entry “D0.3–D0.4 defines for the chart-function case” must not be read as a determination of the full common kernel. The entry “D0.17 formulas displayed” must not be read as recovery of every specified graph parameter. The entry “species named” must not be read as identification of a value/test duality.