Elamur Groupantsroundtrip-tests
The groupant beside tools/roundtrip/src/tests.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 | model.md |
| ast | partial | syntax.json |
| composition | partial | Composition |
| cost | partial | invariant-and-cost |
| descriptant | present | descriptant |
| invariant | partial | invariant-and-cost |
| tests | 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 |
fixture_boundary | fixture_boundary | partial source derived model | fixture_boundary |
residual_witness | residual_witness | partial source derived model | residual_witness |
counterfactual_flags | counterfactual_flags | partial source derived model | counterfactual_flags |
test_scope | test_scope | partial source derived model | test_scope |
Parts
Model text
descriptant
roundtrip-tests
2026-10-31 prospective epoch retained externally before edits.
Synthetic fixtures call production locals/emit/projective, frame read/realize/encode/apply and world encode/decode/refer. Three tests call model() and therefore are explicitly excluded; selected tests use constructed words/frames only.
No annotator/model loading, live corpus, full suite, teacher, GPU or persistent-learning evidence. No executable percentage surrogate: categorical codecs/effects need a useful metric before future caps 1/2/5/10%.
Exact recovery with residual is a diagnostic codec observation. It is not evidence of normal generative equivalence, semantic understanding or persistent learning. Production source is preserved; only isolated tests are appended where needed.
approximant
Forward relation
Synthetic fixtures call production locals/emit/projective, frame read/realize/encode/apply and world encode/decode/refer. Three tests call model() and therefore are explicitly excluded; selected tests use constructed words/frames only.
Domain: bounded synthetic values, valid source-specific coordinates, nonoverflowing counts, available allocation; fixed environment controls. Relations are source-derived partial models with finite checks, not universal proofs.
Composition
Source children delimit real function scopes, sharing syntax. Real pipeline joins R4 frame reconstruction to Realizer then R3 tree script and R2 token decode; report consumes aggregated tally. Independent path/CLI branches are not fictitious codec callers.
catalog
behavior_complement
Subject: roundtrip-tests, source hash 7d1dbfa26a29fb87a9562f16de3dfbe0542e87b7db28ef675a358a9471f3153c; transition observation.
Synthetic fixture passes do not establish corpus quality, complete branch coverage or persistent learning. Model-dependent tests are not treated as passing skips in this batch.
Domain: bounded synthetic values, valid source-specific coordinates, nonoverflowing counts, available allocation; fixed environment controls. Relations are source-derived partial models with finite checks, not universal proofs.
Evidence: external wave32 rt_core receipt includes native-commands.json, exact named outcomes twice debug/twice release, raw status/log files, compiled production controls with byte restoration and paired syntax. Only named synthetic helpers execute; model_path/export and live CLI paths have representation/source evidence.
Status: partial source-derived model.
reverse_reconstruction
Subject: roundtrip-tests, source hash 7d1dbfa26a29fb87a9562f16de3dfbe0542e87b7db28ef675a358a9471f3153c; transition observation.
A passing assertion trace is compatible with many implementations that agree on these fixtures; it cannot reconstruct universal semantics or identify unique model parameters. Mutant rejection narrows only the exercised behavior fiber.
Domain: bounded synthetic values, valid source-specific coordinates, nonoverflowing counts, available allocation; fixed environment controls. Relations are source-derived partial models with finite checks, not universal proofs.
Evidence: external wave32 rt_core receipt includes native-commands.json, exact named outcomes twice debug/twice release, raw status/log files, compiled production controls with byte restoration and paired syntax. Only named synthetic helpers execute; model_path/export and live CLI paths have representation/source evidence.
Status: partial source-derived model.
fixture_boundary
Subject: roundtrip-tests, source hash 7d1dbfa26a29fb87a9562f16de3dfbe0542e87b7db28ef675a358a9471f3153c; transition observation.
Constructed Word arrays test frame reader without Annotator; model-dependent exact_chain_and_negative_controls, block_units_and_damage and site_pages_rebuild_their_trees_and_tables are excluded.
Domain: bounded synthetic values, valid source-specific coordinates, nonoverflowing counts, available allocation; fixed environment controls. Relations are source-derived partial models with finite checks, not universal proofs.
Evidence: external wave32 rt_core receipt includes native-commands.json, exact named outcomes twice debug/twice release, raw status/log files, compiled production controls with byte restoration and paired syntax. Only named synthetic helpers execute; model_path/export and live CLI paths have representation/source evidence.
Status: partial source-derived model.
residual_witness
Subject: roundtrip-tests, source hash 7d1dbfa26a29fb87a9562f16de3dfbe0542e87b7db28ef675a358a9471f3153c; transition observation.
tree_script and world reconstruction tests compare full structures then remove inserts/patches/toggles and require inequality; this checks residual dependence, not normal-mode equivalence.
Domain: bounded synthetic values, valid source-specific coordinates, nonoverflowing counts, available allocation; fixed environment controls. Relations are source-derived partial models with finite checks, not universal proofs.
Evidence: external wave32 rt_core receipt includes native-commands.json, exact named outcomes twice debug/twice release, raw status/log files, compiled production controls with byte restoration and paired syntax. Only named synthetic helpers execute; model_path/export and live CLI paths have representation/source evidence.
Status: partial source-derived model.
counterfactual_flags
Subject: roundtrip-tests, source hash 7d1dbfa26a29fb87a9562f16de3dfbe0542e87b7db28ef675a358a9471f3153c; transition observation.
Realizer with_off toggles function/link/punctuation/shared-subject behavior; expected differences are explicit source controls rather than trained-quality scores.
Domain: bounded synthetic values, valid source-specific coordinates, nonoverflowing counts, available allocation; fixed environment controls. Relations are source-derived partial models with finite checks, not universal proofs.
Evidence: external wave32 rt_core receipt includes native-commands.json, exact named outcomes twice debug/twice release, raw status/log files, compiled production controls with byte restoration and paired syntax. Only named synthetic helpers execute; model_path/export and live CLI paths have representation/source evidence.
Status: partial source-derived model.
test_scope
Subject: roundtrip-tests, source hash 7d1dbfa26a29fb87a9562f16de3dfbe0542e87b7db28ef675a358a9471f3153c; transition observation.
Existing the_copier_gives_every_literal_back belongs to sibling volume codec and is not selected by this worker; no full package suite executes.
Domain: bounded synthetic values, valid source-specific coordinates, nonoverflowing counts, available allocation; fixed environment controls. Relations are source-derived partial models with finite checks, not universal proofs.
Evidence: external wave32 rt_core receipt includes native-commands.json, exact named outcomes twice debug/twice release, raw status/log files, compiled production controls with byte restoration and paired syntax. Only named synthetic helpers execute; model_path/export and live CLI paths have representation/source evidence.
Status: partial source-derived model.
tests
Native evidence
tests::orders_and_projectivitytests::tree_script_gives_the_tree_back_and_a_damaged_one_does_nottests::world_gives_the_frames_back_and_a_damaged_residual_does_nottests::realizer_does_not_repeat_a_shared_subjecttests::realizer_says_the_content_the_frames_keeptests::realizer_says_the_function_words_the_frames_keeptests::realizer_hangs_clauses_where_the_links_saytests::realizer_punctuates_by_clause_structuretests::tam_is_read_and_realizedtests::pronouns_by_saliencetests::the_tam_verb_group_keeps_the_frames_contenttests::verbless_roots_are_fragmentstests::the_rest_of_a_clause_and_a_phrase_is_kept
17 exact named checks total (16 library, one CLI helper), each twice debug and twice release, numeric exits zero and sorted outcomes identical. Native metadata and raw receipts are in the external wave32 rt_core run directory. No optional model tests execute. lib.rs has compile/representation evidence only.
Four compiled production controls alter class precedence, Block grouping, world boundary XOR and frame lemma patching. Each fails its named runtime assertion (exit101), restores exact source SHA256 and passes restored check (exit0). No assertion-only mutants, survivors or bug repairs. These controls do not establish complete coverage.
Two fresh syntax projections agree for each of nine sources. Production bytes are preserved as exact base prefixes. Format only appended test modules before final native receipts. CLI spec helper errors precede any reader; actual model-loading pipeline is excluded.
invariant-and-cost
Invariant and cost
Synthetic fixture passes do not establish corpus quality, complete branch coverage or persistent learning. Model-dependent tests are not treated as passing skips in this batch.
A passing assertion trace is compatible with many implementations that agree on these fixtures; it cannot reconstruct universal semantics or identify unique model parameters. Mutant rejection narrows only the exercised behavior fiber.
Finite fixture work bounded by fixed words/frames plus called helper costs. Compilation includes all tests but only exact named safe tests execute; model() and its filesystem/model-load effects remain excluded.
Domain: bounded synthetic values, valid source-specific coordinates, nonoverflowing counts, available allocation; fixed environment controls. Relations are source-derived partial models with finite checks, not universal proofs.
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/tools/roundtrip/src/tests.rs.groupant/