Elamur Groupantslatex-test-vmm-latex
The groupant beside latex/tests/vmm_latex.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 |
| composition | partial | composition |
| 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.
| id | type | label | where |
|---|---|---|---|
behavior_complement | behavior_complement | partial source derived model | behavior_complement |
reverse_reconstruction | reverse_reconstruction | partial source derived model | reverse_reconstruction |
newline | newline | partial source derived model | newline |
skip | skip | partial source derived model | skip |
float | float | partial source derived model | float |
frozen | frozen | partial source derived model | frozen |
Parts
Model text
descriptant
latex-test-vmm-latex
case dispatches same/diff/err/ok/count/macro/value as Option<Result>; feature-disabled value skips. run filters comments/blanks, unchecked indexes tab columns, counts before skip and aggregates ordered reds. Frozen hash/100-case and DATA-control excluded; synthetic added tests call private real helpers.
Epoch 2026-10-31: complete sources read before tests/model edits. Partial source-bound modeling; no production optimization or speed claim. Nested fragments share the parent lexical syntax. Caller/callee contracts outside owned files remain delegated.
approximant
Forward relation
case dispatches same/diff/err/ok/count/macro/value as Option<Result>; feature-disabled value skips. run filters comments/blanks, unchecked indexes tab columns, counts before skip and aggregates ordered reds. Frozen hash/100-case and DATA-control excluded; synthetic added tests call private real helpers.
Domain and executable surrogate gap
Bounded UTF-8 inputs and synthetic local files; supported parser-produced trees and representable arithmetic. Arbitrary public constructors are not certified total. Exact categorical semantics lack a useful percentage surrogate; no executable approximant attachment. Future numerical profiles require an explicit metric, zero case, source/evidence binding and supported 1/2/5/10% cap. Failure/effect differences cannot count as numerical error.
invariant
Invariant
Well-formed rows red.len<=ran<=n and reds input-ordered. Value tolerance=1e-11 for ~ else1e-12 times max(abs(want),1). NaN comparison fails; no finite guard.
Cost
Linear rows plus delegated case work; newline rewrite char/string allocation. sha256 effects excluded.
Allocation failure, stack exhaustion and unchecked counter overflow have no additional certificate. No timing claim or global error bound.
composition
Composition
case dispatches same/diff/err/ok/count/macro/value as Option<Result>; feature-disabled value skips. run filters comments/blanks, unchecked indexes tab columns, counts before skip and aggregates ordered reds. Frozen hash/100-case and DATA-control excluded; synthetic added tests call private real helpers.
Well-formed rows red.len<=ran<=n and reds input-ordered. Value tolerance=1e-11 for ~ else1e-12 times max(abs(want),1). NaN comparison fails; no finite guard.
Parser, printer, AST equality, Macros, Rat and evaluator dependencies retain their own contracts. Structural roundtrip is not arithmetic definedness or numeric truth. Exact lexical binding does not prove caller/callee semantics.
models
behavior_complement
ok Unknown rejects before gate; missing macro formula error; disabled value skips not passes. Short TSV panics. No teacher/API call in source. sha256 subprocess/tempfile route remains unexecuted.
reverse_reconstruction
Red tuple constrains ID/kind/reason but admits many formulas; counts allow arbitrary passing/skipped rows. same verdict corresponds Node equivalence classes. Synthetic pass cannot validate frozen DATA.
newline
Backslash-n only converted if next not ASCII letter; protects newcommand/norm/neq.
skip
value None increments n not ran.
float
Ratio expectation division follows f64 incl zero denom.
frozen
DATA include_str compiled but frozen classification and DATA mutation excluded.
tests
Selected evidence
cargo test -p latex --features math --test vmm_latex wave28
Two debug/two release executions retained matching sorted named outcomes. External wave28 latexbridge receipts retain numeric exits, compiled assertion controls, restoration, feature checks and source-test map. This scope is not exhaustive branch coverage; parent tests may only exercise some child transitions. Frozen VMM DATA/classification/hash subprocess, live corpus, teacher/API, training/GPU excluded. Reexport/feature compilation is separate from runtime semantics.
Recorded outcome, 2026-10-31
Selected source tests: 2. See evidence.json for exact names, source/log hashes and paired debug/release receipts. Control prefix: control-vmm; when present compile=0, assertion-failure=101, restored-positive=0. Seven distinct controls total across this subsystem; bridge implementation shares its integration-test control. No independent runtime control for reexports. Strict Clippy returned 101 on 14 pre-existing library lints in unchanged code.
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/latex/tests/vmm_latex.rs.groupant/