--- title: "roundtrip-class — Mova code model" description: "Mova code model of tools/roundtrip/src/class.rs: components with their labels, obernants and the model text." url: "https://groupants.elamur.ai/free/en/mova/tools/roundtrip/src/class.rs.groupant/" --- Elamur: [Mova](https://md.mova.elamur.ai/free/en/) · [Dictionary](https://md.dictionary.elamur.ai/free/en/) · [Research](https://md.research.elamur.ai/free/en/) · **Groupants** This page as HTML: # roundtrip-class The groupant beside tools/roundtrip/src/class.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 - **kind:** groupant - **status:** partial source bound model - **source:** [`tools/roundtrip/src/class.rs`](https://github.com/ElamurAI/mova-free/blob/main/tools/roundtrip/src/class.rs) - **source SHA-256:** `1b8466551077c2f4…` - **repository folder:** [`tools/roundtrip/src/class.rs.groupant`](https://github.com/ElamurAI/mova-free/tree/main/tools/roundtrip/src/class.rs.groupant) - **repository commit:** `855da7bd4a7b` > **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](#composition) | | **cost** | partial | [invariant-and-cost](#invariant-and-cost) | | **descriptant** | present | [descriptant](#descriptant) | | **invariant** | partial | [invariant-and-cost](#invariant-and-cost) | | **tests** | bounded checks | [tests](#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](#behavior-complement) | | `reverse_reconstruction` | reverse_reconstruction | partial source derived model | [reverse_reconstruction](#reverse-reconstruction) | | `precedence_partition` | precedence_partition | partial source derived model | [precedence_partition](#precedence-partition) | | `unicode_cost` | unicode_cost | partial source derived model | [unicode_cost](#unicode-cost) | | `position_domain` | position_domain | partial source derived model | [position_domain](#position-domain) | | `lexicon_state` | lexicon_state | partial source derived model | [lexicon_state](#lexicon-state) | ## Parts - [roundtrip-class-classify](https://md.groupants.elamur.ai/free/en/mova/tools/roundtrip/src/class.rs.groupant/classify.groupant/) - [roundtrip-class-coding](https://md.groupants.elamur.ai/free/en/mova/tools/roundtrip/src/class.rs.groupant/coding.groupant/) ## Model text ### descriptant #### roundtrip-class 2026-10-31 prospective epoch retained externally before edits. of_word selects first true predicate: punctuation, lowercased NEG membership, numeric/QUANT, modal/auxiliary, function tag/relation, else Dropped. of_tag_change uses verb pair then same-properness noun pair then coarse equality. Literal bits sum 8 times UTF-8 widths except Hebrew scalars count one. 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 of_word selects first true predicate: punctuation, lowercased NEG membership, numeric/QUANT, modal/auxiliary, function tag/relation, else Dropped. of_tag_change uses verb pair then same-properness noun pair then coarse equality. Literal bits sum 8 times UTF-8 widths except Hebrew scalars count one. 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-class, source hash 1b8466551077c2f42748e0d08084307cc8bbaff3f62fbe2597eced4b75221f36; transition observation. On admitted inputs, punctuation cannot yield Neg even for lemma not; no output class is sampled randomly. Costs do not compress or persist text. 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-class, source hash 1b8466551077c2f42748e0d08084307cc8bbaff3f62fbe2597eced4b75221f36; transition observation. For observed class c, compatible (tag,rel,lemma) are the predicate c intersected with failures of all earlier predicates. Countless lemmas share a class; costs also identify fibers, not unique strings. 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. ### precedence_partition Subject: roundtrip-class, source hash 1b8466551077c2f42748e0d08084307cc8bbaff3f62fbe2597eced4b75221f36; transition observation. Tag CD with lemma NOT belongs to Neg unless punctuation; MD with numeric relation is Quantity. Test precedence_and_bits exercises conflicting predicates. 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. ### unicode_cost Subject: roundtrip-class, source hash 1b8466551077c2f42748e0d08084307cc8bbaff3f62fbe2597eced4b75221f36; transition observation. lit_bits(empty)=0 and lit_bits(Hebrew+a+emoji)=48; this differs from UTF-8 storage bytes and is a declared diagnostic coding convention. 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. ### position_domain Subject: roundtrip-class, source hash 1b8466551077c2f42748e0d08084307cc8bbaff3f62fbe2597eced4b75221f36; transition observation. pos_bits(n)=log2(n+1) on nonoverflowing n; n=0 costs zero. usize::MAX is outside modeled domain, with debug/release overflow divergence. 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. ### lexicon_state Subject: roundtrip-class, source hash 1b8466551077c2f42748e0d08084307cc8bbaff3f62fbe2597eced4b75221f36; transition observation. Known English lemma costs17; Hebrew present in initialized nonempty HEB_LEMMAS costs log2(size), else literal. This global one-time vocabulary is external state, not learning by this call. 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 - `class::wave32::precedence_and_bits` 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 On admitted inputs, punctuation cannot yield Neg even for lemma not; no output class is sampled randomly. Costs do not compress or persist text. For observed class c, compatible (tag,rel,lemma) are the predicate c intersected with failures of all earlier predicates. Countless lemmas share a class; costs also identify fibers, not unique strings. of_word O(B) lowercase plus fixed-list comparisons. lit_bits O(B); perm_bits O(k), O(1) extra state. pos_bits requires n