"book-pflow-xyz/chapters/appendix-d-glossary.md" . . "The Metamodel working discipline. The model is declared once as data; analysis, the running application, proofs and, in this ecosystem's own deployment tooling, the infrastructure that serves it are computed from that document. Nothing downstream is hand-written to agree with the model, so nothing downstream can disagree with it (Chapter 21; *The Model Is the App*)."@en . . "Declare, then derive"@en . "21"^^ .