"book-pflow-xyz/chapters/appendix-d-glossary.md" . . "as a failure mode"@en . "A model expressed as *code in a host language* that constructs a net — Rust macros, Python calls, Solidity structs. Five such ports of an early version of this work claimed to encode the same thing and could not prove it, because the specification existed only as five programs. The fix was to make the model a document (Chapter 21; book `ROADMAP.md` §Lineage)."@en . . "Internal DSL"@en . "21"^^ .