"book-pflow-xyz/chapters/appendix-d-glossary.md" . . "The five shapes an implementation of one model can take — *interpreter* (a generic engine reads the document), *lambda* (the net as a pure step function), *generated* (source emitted from the document), *contract* (on-chain), *proof* (the program checks its claims over every reachable marking before it prints anything; in Lean the check is a theorem the kernel accepts at compile time) — all held to one golden trace (*The Proof Form*; `pflow-polyglot/FORMS.md`)."@en . . "Polyglot forms"@en .