Mova code models
The groupants that sit beside Mova's Rust code: one page per groupant, with its labels, obernants and model text.
Every Rust file of Mova has a groupant beside it, and groups of files have groupants of their interactions. Each keeps one Markdown file of blocks โ descriptant, forward model, invariants, cost, composition, tests, evidence, obernants โ and a manifest that binds it to the exact source bytes. These pages render them from the open repository.
Implementation material. These models describe Mova's own code at one revision. They are not the global library of reviewed general expositions, and hash checks show only that a model is bound to the code it names, not that it is right.
Parts of the repository
2013 groupants from repository commit 807a7d98096a.
This page in Markdown โ https://md.groupants.elamur.ai/free/en/mova/