Elamur Groupantsroundtrip-report
The groupant beside tools/roundtrip/src/report.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 |
zero_denominator | zero_denominator | partial source derived model | zero_denominator |
equal_set_weight | equal_set_weight | partial source derived model | equal_set_weight |
rank_ties | rank_ties | partial source derived model | rank_ties |
format_loss | format_loss | partial source derived model | format_loss |
Parts
Model text
descriptant
roundtrip-report
2026-10-31 prospective epoch retained externally before edits.
set renders ordered class/layer tables, normal rows and class counts; per(x,0)=0. ranked averages per-sentence costs with equal set weight, omits Meta proposals and sorts descending total_cmp then key. TSV serializes raw aggregates without escaping names.
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
set renders ordered class/layer tables, normal rows and class counts; per(x,0)=0. ranked averages per-sentence costs with equal set weight, omits Meta proposals and sorts descending total_cmp then key. TSV serializes raw aggregates without escaping names.
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-report, source hash ad92d6e8baee2f83f1fb90c2fcb7ca638e9312a525c7e3c37857525dd9584899; transition observation.
Zero sentence denominator never produces division NaN through per. Names/examples are not full Markdown/TSV escaped; output is diagnostic formatting, not schema-safe arbitrary-text serialization or evidence of learning.
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-report, source hash ad92d6e8baee2f83f1fb90c2fcb7ca638e9312a525c7e3c37857525dd9584899; transition observation.
Rendered one-decimal bits and four-decimal chrF admit rounding intervals of raw tallies; per-sentence averages lose set sizes. TSV rows omit empty cells and cannot uniquely recover original volumes or complete tally state.
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.
zero_denominator
Subject: roundtrip-report, source hash ad92d6e8baee2f83f1fb90c2fcb7ca638e9312a525c7e3c37857525dd9584899; transition observation.
per ignores numerator when n=0 and returns positive0; normal token denominator uses max(1), so malformed nonzero items with zero tokens remain visible.
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.
equal_set_weight
Subject: roundtrip-report, source hash ad92d6e8baee2f83f1fb90c2fcb7ca638e9312a525c7e3c37857525dd9584899; transition observation.
Each set contributes per(bits,sents)/max(set_count,1); absent cell contributes zero implicitly. This is not corpus sentence-weighted averaging.
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.
rank_ties
Subject: roundtrip-report, source hash ad92d6e8baee2f83f1fb90c2fcb7ca638e9312a525c7e3c37857525dd9584899; transition observation.
Descending total_cmp cost then ordered (Layer,Class) defines ties, including signed zero/NaN supplied externally; finite fixtures do not guarantee nonfinite semantic suitability.
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.
format_loss
Subject: roundtrip-report, source hash ad92d6e8baee2f83f1fb90c2fcb7ca638e9312a525c7e3c37857525dd9584899; transition observation.
TSV bits round to1 decimal, chrF to4; examples replace backticks, while set names/tabs/newlines remain unescaped.
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
report::wave32::zero_normalization_and_rows
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
Zero sentence denominator never produces division NaN through per. Names/examples are not full Markdown/TSV escaped; output is diagnostic formatting, not schema-safe arbitrary-text serialization or evidence of learning.
Rendered one-decimal bits and four-decimal chrF admit rounding intervals of raw tallies; per-sentence averages lose set sizes. TSV rows omit empty cells and cannot uniquely recover original volumes or complete tally state.
For C cells and output B bytes, set scans fixed classes/layers plus C; ranked collects O(C) rows and sorts O(C log C), examples sorts each kind map. Output storage O(B); numeric f64 formatting retains rounding/nonfinite behavior from supplied tallies.
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/report.rs.groupant/