Elamur Groupantsqagen-fix-tests
The groupant beside qagen/src/fix.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-fix-tests-behavior-complement | behavior_complement | partial source model | behavior-complement |
qagen-fix-tests-reverse-reconstruction | reverse_reconstruction | partial source model | reverse-reconstruction |
qagen-fix-tests-sentinel-oracle | sentinel_oracle | partial source model | sentinel-oracle |
qagen-fix-tests-fault-oracle | fault_oracle | partial source model | fault-oracle |
qagen-fix-tests-alignment-oracle | alignment_oracle | partial source model | alignment-oracle |
qagen-fix-tests-mutation-evidence | mutation_evidence | partial source model | mutation-evidence |
Model text
forward
Synthetic paragraphs/items test numbering, gating, TSV, Unicode labels, strict raw errors, four sentinels, alignment and successful collection.
invariant
NoLemmas panics on accidental annotation in explicit-only tests; fixtures use scratch directories and finite data.
behavior-complement
Tests do not exercise live teacher or filesystem crash consistency; a pass does not prove every permissive gate behavior.
reverse-reconstruction
A sentinel failure localizes mutation-before-error but does not uniquely identify its cause. Same pass outcome admits many untested implementations.
cost
Bounded local files, constant paragraphs/items, no corpus-scale work.
composition
Negative controls compile production branches, observe named failing tests, restore exact source and rerun positives.
sentinel-oracle
Four artifacts start with sentinel bytes; malformed calls requires Err and all bytes unchanged.
fault-oracle
Unix self-symlink forces metadata ELOOP without permissions assumptions.
alignment-oracle
Successful explicit collection maps item i to original pilot k and correct sent_id; invalid key/batch/anchors rejected.
mutation-evidence
Unicode slicing, lossy raw, premature write and skipped batch check mutants reach test failures.
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/fix.rs.groupant/tests.groupant/