Elamur Groupantsqagen-main-tests
The groupant beside qagen/src/main.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 source model | forward |
| ast | partial | ../syntax.json |
| composition | partial source model | composition |
| cost | partial source model | cost |
| descriptant | partial source model | epoch-memory |
| invariant | partial source model | invariant |
| tests | partial source model | checks |
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 |
|---|---|---|---|
qagen-main-tests-behavior-complement | behavior_complement | partial source model | behavior-complement |
qagen-main-tests-reverse-reconstruction | reverse_reconstruction | partial source model | reverse-reconstruction |
qagen-main-tests-missing-witness | missing_witness | partial source model | missing-witness |
qagen-main-tests-compatibility-witness | compatibility_witness | partial source model | compatibility-witness |
qagen-main-tests-whitelist-witness | whitelist_witness | partial source model | whitelist-witness |
qagen-main-tests-mutation-evidence | mutation_evidence | partial source model | mutation-evidence |
Model text
forward
Pure helper fixtures test missing-value detection, last-wins duplicate compatibility and allowed/rejected flags across command variants.
invariant
No CLI dispatch, filesystem reads, model loading, teacher or database calls occur in these tests.
behavior-complement
These tests do not establish all positional arities or typed numeric limits, nor behavior of external CLI effects.
reverse-reconstruction
Equal helper results constrain tested argument sequences only. Failure of unknown-key tests points to whitelist acceptance but not uniquely a production cause.
cost
Constant short argument vectors and ordered maps.
composition
Production opts/validate_options are called directly; mutations alter real conditionals and are required to fail named assertions.
missing-witness
--jobs --max-calls 1 must error; old parser consumed --max-calls as jobs value.
compatibility-witness
dir --jobs 2 --jobs 3 retains dir and jobs=3.
whitelist-witness
Four rejected command/key pairs and four allowed pairs exercise per-command distinctions.
mutation-evidence
Removing following-option detection or disabling whitelist rejection fails named tests.
checks
Synthetic embedded Rust tests, 1024 independent coverage cases, preflight sentinel artifacts, callback trace and compiled branch/arithmetic controls; debug and release twice, model-loading test explicitly skipped. See parent evidence.md for observed outcomes, not proof.
epoch-memory
Prospective model was saved before repair on 2026-10-30. Old source failed four library witnesses and one CLI witness. The tie control initially survived because [2,1,2] selects 2 for both first and last ties; the corrected [2,1] witness distinguishes them. Preserve this observation: duplicate-endpoint fixtures can hide tie regressions.
references
Original project implementation and rule v2: docs/context.md, qagen/src/gate.rs and qagen/src/run.rs. Model conventions: docs/groupants.md, docs/mathematical-modeling.md and docs/mathematical-modeling.md. No external solution code copied.
limitations
Finite local tests and partial syntax projections, no semantic AST or universal proof. Allocation failure and callback panic are outside successful-return model; filesystem races and write failures can interrupt publication. No live model/teacher/database/corpus used. No useful certified numeric surrogate is attached to these categorical/effectful interfaces; no invented error budget, substitution or speed claim.
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/qagen/src/main.rs.groupant/tests.groupant/