--- title: "tools/modelcheck — Mova code models" description: "The 28 code-associated groupants of tools/modelcheck in the Mova repository. Each binds a piece of Rust to its models, labels and checks." url: "https://groupants.elamur.ai/free/en/mova/tools/modelcheck/" --- 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: # tools/modelcheck The groupants that sit beside the Rust code of tools/modelcheck in the Mova repository. 28 groupants of `tools/modelcheck`, in repository order. Each page shows the node's components with their labels, its obernants and its model text. | groupant | source or scope | label | |---|---|---| | [modelcheck-consolidate](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/consolidate.rs.groupant/) | `tools/modelcheck/src/consolidate.rs` | partial source derived | | [modelcheck-library](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/lib.rs.groupant/) | `tools/modelcheck/src/lib.rs` | partial descriptive instance | | [modelcheck-library-component-validation](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/lib.rs.groupant/component-validation.groupant/) | `tools/modelcheck/src/lib.rs` | partial | | [modelcheck-library-evidence-digest](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/lib.rs.groupant/component-validation.groupant/evidence-digest.groupant/) | `tools/modelcheck/src/lib.rs` | partial | | [modelcheck-library-discovery-changes](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/lib.rs.groupant/discovery-changes.groupant/) | `tools/modelcheck/src/lib.rs` | partial | | [modelcheck-library-fragment-validation](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/lib.rs.groupant/fragment-validation.groupant/) | `tools/modelcheck/src/lib.rs` | partial | | [modelcheck-library-child-admission](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/lib.rs.groupant/fragment-validation.groupant/child-admission.groupant/) | `tools/modelcheck/src/lib.rs` | partial | | [modelcheck-library-syntax-envelope](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/lib.rs.groupant/fragment-validation.groupant/syntax-envelope.groupant/) | `tools/modelcheck/src/lib.rs` | partial | | [modelcheck-library-group-source-bindings](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/lib.rs.groupant/group-source-bindings.groupant/) | `tools/modelcheck/src/lib.rs` | partial | | [modelcheck-library-source-ast-dispatch](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/lib.rs.groupant/group-source-bindings.groupant/source-ast-dispatch.groupant/) | `tools/modelcheck/src/lib.rs` | partial | | [modelcheck-library-inventory-assembly](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/lib.rs.groupant/inventory-assembly.groupant/) | `tools/modelcheck/src/lib.rs` | partial | | [modelcheck-library-output-table](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/lib.rs.groupant/output-table.groupant/) | `tools/modelcheck/src/lib.rs` | partial | | [modelcheck-library-registry-tree](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/lib.rs.groupant/registry-tree.groupant/) | `tools/modelcheck/src/lib.rs` | partial | | [modelcheck-cli](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/main.rs.groupant/) | `tools/modelcheck/src/main.rs` | partial descriptive instance | | [modelcheck-cli-dispatch-output](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/main.rs.groupant/dispatch-output.groupant/) | `tools/modelcheck/src/main.rs` | partial | | [modelcheck-cli-external-library](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/main.rs.groupant/external-library.groupant/) | `tools/modelcheck/src/main.rs` | partial | | [modelcheck-publication](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/publication.rs.groupant/) | `tools/modelcheck/src/publication.rs` | partial source derived model | | [modelcheck-sections](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/sections.rs.groupant/) | `tools/modelcheck/src/sections.rs` | partial source derived | | [modelcheck-library-section-fences](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/sections.rs.groupant/section-fences.groupant/) | `tools/modelcheck/src/sections.rs` | partial | | [modelcheck-syntax](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/syntax.rs.groupant/) | `tools/modelcheck/src/syntax.rs` | partial descriptive instance | | [modelcheck-syntax-admission-parsing](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/syntax.rs.groupant/admission-parsing.groupant/) | `tools/modelcheck/src/syntax.rs` | partial | | [modelcheck-syntax-artifact-integrity](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/syntax.rs.groupant/artifact-integrity.groupant/) | `tools/modelcheck/src/syntax.rs` | partial | | [modelcheck-syntax-artifact-header](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/syntax.rs.groupant/artifact-integrity.groupant/artifact-header.groupant/) | `tools/modelcheck/src/syntax.rs` | partial | | [modelcheck-syntax-node-coordinates](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/syntax.rs.groupant/artifact-integrity.groupant/node-coordinates.groupant/) | `tools/modelcheck/src/syntax.rs` | partial | | [modelcheck-syntax-parent-containment](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/syntax.rs.groupant/artifact-integrity.groupant/parent-containment.groupant/) | `tools/modelcheck/src/syntax.rs` | partial | | [modelcheck-syntax-source-reread](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/syntax.rs.groupant/artifact-integrity.groupant/source-reread.groupant/) | `tools/modelcheck/src/syntax.rs` | partial | | [modelcheck-syntax-coordinates-traversal](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/syntax.rs.groupant/coordinates-traversal.groupant/) | `tools/modelcheck/src/syntax.rs` | partial | | [modelcheck-syntax-decode-memo](https://md.groupants.elamur.ai/free/en/mova/tools/modelcheck/src/syntax.rs.groupant/decode-memo.groupant/) | `tools/modelcheck/src/syntax.rs` | partial |