Elamur Groupantsmova-serve-lib
The groupant beside tools/mova-serve/src/lib.rs in the Mova repository: what the code computes, what it never does, how to go back from its outputs, its invariants, cost and checks.
Facts
Implementation material. A Mova code model describes this code at one source revision: partial models, finite checks and their stated scope. It is not a reviewed general exposition, and its labels are shown as written, never raised.
Components
| component | label | where |
|---|---|---|
| Approximant | partial | Approximant |
| Ast | partial | syntax.json |
| Cost | symbolic source derived | Cost |
| Descriptant | present | Descriptant |
| Invariant | partial | Invariant |
| Tests | executed bounded checks | Tests |
Obernants
The typed relations around the forward model: the behaviour complement (what the code never does), the reverse reconstruction (every input compatible with an output) and specialised views.
| relation | type | label | where |
|---|---|---|---|
| Behavior complement | behavior complement | partial source derived model | Behavior complement |
| Reverse reconstruction | reverse reconstruction | partial source derived model | Reverse reconstruction |
| Model presence | model presence | partial source derived model | Model presence |
Model text
Descriptant
The crate root of the parse service: declares the modules auth, cache, engine, html, mcp, quota, ratelimit, server, store, svg and text.
Approximant
lib = {auth, cache, engine, html, mcp, quota, ratelimit, server, store, svg, text}; no code of its own.
Invariant
Every module is declared once; nothing runs at load.
Cost
None at run time.
Behavior complement
No logic, no I/O, no state.
Reverse reconstruction
The module list recovers the crate's file set (one file per module).
Model presence
Each declared module has its own groupant beside its file.
Tests
Compiled by every test of the crate (cargo test -p mova-serve, 40 tests, 2026-11-06).
Provenance
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/tools/mova-serve/src/lib.rs.groupant/