Elamur Groupantsmlab-tests-suite-synthetic-suite
The groupant beside mlab/tests/suite.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 | invariant |
| 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 |
header_projection | header_projection | partial source derived model | header_projection |
code_trim | code_trim | partial source derived model | code_trim |
isolation | isolation | partial source derived model | isolation |
line_coordinates | line_coordinates | partial source derived model | line_coordinates |
Model text
descriptant
mlab-tests-suite-synthetic-suite
Synthetic parser normalization, fresh interpreter and comparator edge tests.
Epoch 2026-10-31
Half-open source bytes [11368,12668); bound by parent source hash and scoped byte hash. Model covers only this fragment; parent composition explains joins.
approximant
Scoped forward relation
Parse two small scenarios, run each mode with counted memory FS factory, assert all pass and calls4; inspect empty/prefix/extra/missing/earliest line checks.
Domain and gap
Source-generated states within resource limits. Categorical relation has no executable percent surrogate.
invariant
Scoped invariant
Fourth header field ignored and absent category becomes empty.
Cost
Two tiny scenarios per mode, four filesystem factory calls; finite fixed comparator cases.
models
Scoped typed relations
behavior_complement
Factory-count oracle excludes fewer/more than four calls; second-scenario output excludes leaked x; comparator oracle excludes treating a second LF as absent.
reverse_reconstruction
Four calls imply count, not identity of arbitrary filesystem implementations; green comparator fixtures do not exhaust strings.
header_projection
Fourth header field ignored and absent category becomes empty.
code_trim
Trailing whitespace-only code line removed.
isolation
x assigned in first scenario absent in second.
line_coordinates
Mismatch reports1-based line and <end> sentinel.
tests
Evidence scope
Parent selected tests: sha256_self_check, parse_error_runs_nothing, wave30_synthetic_suite_boundaries. This fragment shares parent syntax and finite checks; no separate test count or complete fragment coverage claim. Assertion-control association and unexecuted paths are in parent tests.md and source-test-map.json.
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/mlab/tests/suite.rs.groupant/synthetic-suite.groupant/