--- title: "Mova code models — groupants beside Mova's Rust code" description: "2027 groupants of the Mova repository: models of what its Rust code does and never does, invariants, costs and checks." url: "https://groupants.elamur.ai/free/en/mova/" --- Elamur: [Mova](https://md.mova.elamur.ai/free/en/) · [Dictionary](https://md.dictionary.elamur.ai/free/en/) · [Research](https://md.research.elamur.ai/free/en/) · **Groupants** This page as HTML: # 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 | part | groupants | |---|---| | [algorithms](https://md.groupants.elamur.ai/free/en/mova/algorithms/) | 423 | | [annot](https://md.groupants.elamur.ai/free/en/mova/annot/) | 30 | | [coref](https://md.groupants.elamur.ai/free/en/mova/coref/) | 38 | | [en](https://md.groupants.elamur.ai/free/en/mova/en/) | 71 | | [global](https://md.groupants.elamur.ai/free/en/mova/global/) | 9 | | [gparse](https://md.groupants.elamur.ai/free/en/mova/gparse/) | 33 | | [kg](https://md.groupants.elamur.ai/free/en/mova/kg/) | 17 | | [latex](https://md.groupants.elamur.ai/free/en/mova/latex/) | 50 | | [layers](https://md.groupants.elamur.ai/free/en/mova/layers/) | 3 | | [math](https://md.groupants.elamur.ai/free/en/mova/math/) | 88 | | [mlab](https://md.groupants.elamur.ai/free/en/mova/mlab/) | 103 | | [models](https://md.groupants.elamur.ai/free/en/mova/models/) | 89 | | [onto](https://md.groupants.elamur.ai/free/en/mova/onto/) | 64 | | [prag](https://md.groupants.elamur.ai/free/en/mova/prag/) | 105 | | [qagen](https://md.groupants.elamur.ai/free/en/mova/qagen/) | 44 | | [teacher](https://md.groupants.elamur.ai/free/en/mova/teacher/) | 2 | | [tools/agent-mova](https://md.groupants.elamur.ai/free/en/mova/tools/agent-mova/) | 3 | | [tools/agent-runner](https://md.groupants.elamur.ai/free/en/mova/tools/agent-runner/) | 2 | | [tools/approx](https://md.groupants.elamur.ai/free/en/mova/tools/approx/) | 3 | | [tools/bench](https://md.groupants.elamur.ai/free/en/mova/tools/bench/) | 2 | | [tools/correspondence](https://md.groupants.elamur.ai/free/en/mova/tools/correspondence/) | 5 | | [tools/crab](https://md.groupants.elamur.ai/free/en/mova/tools/crab/) | 14 | | [tools/cycle](https://md.groupants.elamur.ai/free/en/mova/tools/cycle/) | 11 | | [tools/db](https://md.groupants.elamur.ai/free/en/mova/tools/db/) | 21 | | [tools/eel](https://md.groupants.elamur.ai/free/en/mova/tools/eel/) | 3 | | [tools/enrich](https://md.groupants.elamur.ai/free/en/mova/tools/enrich/) | 12 | | [tools/fish](https://md.groupants.elamur.ai/free/en/mova/tools/fish/) | 7 | | [tools/fish-batch](https://md.groupants.elamur.ai/free/en/mova/tools/fish-batch/) | 2 | | [tools/fish-pages](https://md.groupants.elamur.ai/free/en/mova/tools/fish-pages/) | 5 | | [tools/fish-priority](https://md.groupants.elamur.ai/free/en/mova/tools/fish-priority/) | 1 | | [tools/fish-swarm](https://md.groupants.elamur.ai/free/en/mova/tools/fish-swarm/) | 3 | | [tools/fish-terminal](https://md.groupants.elamur.ai/free/en/mova/tools/fish-terminal/) | 3 | | [tools/gutenberg](https://md.groupants.elamur.ai/free/en/mova/tools/gutenberg/) | 2 | | [tools/hard-case-list](https://md.groupants.elamur.ai/free/en/mova/tools/hard-case-list/) | 1 | | [tools/hard-cases](https://md.groupants.elamur.ai/free/en/mova/tools/hard-cases/) | 10 | | [tools/hbo](https://md.groupants.elamur.ai/free/en/mova/tools/hbo/) | 14 | | [tools/jobs](https://md.groupants.elamur.ai/free/en/mova/tools/jobs/) | 2 | | [tools/kaggle](https://md.groupants.elamur.ai/free/en/mova/tools/kaggle/) | 2 | | [tools/langseg](https://md.groupants.elamur.ai/free/en/mova/tools/langseg/) | 11 | | [tools/macula](https://md.groupants.elamur.ai/free/en/mova/tools/macula/) | 9 | | [tools/mathlib](https://md.groupants.elamur.ai/free/en/mova/tools/mathlib/) | 16 | | [tools/modelcheck](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/) | 28 | | [tools/module-overlay](https://md.groupants.elamur.ai/free/en/mova/tools/module-overlay/) | 4 | | [tools/modules](https://md.groupants.elamur.ai/free/en/mova/tools/modules/) | 4 | | [tools/nautilus](https://md.groupants.elamur.ai/free/en/mova/tools/nautilus/) | 12 | | [tools/ocrfix](https://md.groupants.elamur.ai/free/en/mova/tools/ocrfix/) | 2 | | [tools/octopus](https://md.groupants.elamur.ai/free/en/mova/tools/octopus/) | 9 | | [tools/parsecmp](https://md.groupants.elamur.ai/free/en/mova/tools/parsecmp/) | 2 | | [tools/roundtrip](https://md.groupants.elamur.ai/free/en/mova/tools/roundtrip/) | 63 | | [tools/school-sents](https://md.groupants.elamur.ai/free/en/mova/tools/school-sents/) | 2 | | [tools/seaspider](https://md.groupants.elamur.ai/free/en/mova/tools/seaspider/) | 15 | | [tools/sources](https://md.groupants.elamur.ai/free/en/mova/tools/sources/) | 8 | | [tools/terminal](https://md.groupants.elamur.ai/free/en/mova/tools/terminal/) | 3 | | [tools/topic-corpus](https://md.groupants.elamur.ai/free/en/mova/tools/topic-corpus/) | 14 | | [tools/translate](https://md.groupants.elamur.ai/free/en/mova/tools/translate/) | 35 | | [tools/treeagree](https://md.groupants.elamur.ai/free/en/mova/tools/treeagree/) | 8 | | [tools/treebanks](https://md.groupants.elamur.ai/free/en/mova/tools/treebanks/) | 10 | | [tools/turtle](https://md.groupants.elamur.ai/free/en/mova/tools/turtle/) | 9 | | [tools/twin](https://md.groupants.elamur.ai/free/en/mova/tools/twin/) | 10 | | [tools/value](https://md.groupants.elamur.ai/free/en/mova/tools/value/) | 3 | | [tools/whale](https://md.groupants.elamur.ai/free/en/mova/tools/whale/) | 29 | | [tools/wikt-count](https://md.groupants.elamur.ai/free/en/mova/tools/wikt-count/) | 2 | | [tools/wikt-extract](https://md.groupants.elamur.ai/free/en/mova/tools/wikt-extract/) | 3 | | [tools/wikt-idioms](https://md.groupants.elamur.ai/free/en/mova/tools/wikt-idioms/) | 2 | | [tools/wikt-page](https://md.groupants.elamur.ai/free/en/mova/tools/wikt-page/) | 2 | | [vfs](https://md.groupants.elamur.ai/free/en/mova/vfs/) | 17 | | [wasi-host](https://md.groupants.elamur.ai/free/en/mova/wasi-host/) | 16 | | [world](https://md.groupants.elamur.ai/free/en/mova/world/) | 361 | | [yom-hadin](https://md.groupants.elamur.ai/free/en/mova/yom-hadin/) | 21 | 2027 groupants from repository commit `c411f48710a4`.