Elamur Groupantstranslation-meta-rules-apply
The groupant beside tools/translate/src/rules.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 | approximant |
| ast | partial | ../syntax.json |
| cost | symbolic source derived | invariant |
| descriptant | present | descriptant |
| invariant | partial | invariant |
| tests | bounded native receipts | 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 |
root_preservation | root_preservation | partial source derived model | root_preservation |
unmatched_identity | unmatched_identity | partial source derived model | unmatched_identity |
field_locality | field_locality | partial source derived model | field_locality |
cycle_exclusion | cycle_exclusion | partial source derived model | cycle_exclusion |
Model text
descriptant
Description and epoch memory
Concept and tag replace matching fields. Drop computes gone, climbs head links while gone, then projects kept sequence with prefix-count coordinates.
Prospective epoch 2026-10-31
Models predicted metadata loss, bounded coordinate transport and deterministic tie selection before test changes. Production bytes are preserved; only five inline synthetic tests were appended across the group.
Observation epoch 2026-10-31
Selected named native tests are bound in tests.md; raw receipts are external under $MOVA_DATA/runs/octopus-wave32-tr_meta-2026-10-31. Syntax is generated twice and byte-compared. This is partial syntax without macro expansion or semantic resolution.
Gaps
No real annotator/model loads, corpus translation, teacher calls, GPU, full training/evaluation, or language-accuracy claim. No executable percentage surrogate is supplied: an appropriate reference metric/domain is not established. Supported future caps are1/2/5/10 percent only. Residual reconstruction is conditional on retained diagnostics and is not persistent learning.
approximant
Forward relation
Concept and tag replace matching fields. Drop computes gone, climbs head links while gone, then projects kept sequence with prefix-count coordinates.
invariant
Invariant and cost
Domain and preservation
Finite acyclic in-range dependency forest; empty input admitted.
Cost
O(nĀ²) worst dropped chains; O(n) masks/coordinate vectors/output beyond cloned strings.
Counters and allocation arithmetic must remain representable. String/map costs include compared bytes; finite evidence is not a throughput estimate.
models
Typed models
Subject: exact source hash in manifest; observation is one call or the stated finite training pass. All models are partial source-derived relations, not universal proof. Domain and resource assumptions are in invariant.md. The baseline exclusion is an inner source-derived claim on that domain; reverse is a compatible-antecedent relation. Specialized relations hold fixed the parameters and tables unless stated otherwise. Evidence uses the named checks in tests.md; individual assertions cover only finite parts, other branches remain prospective.
behavior_complement
Drop cannot retain a token whose concept equals selected concept; Concept never removes positions.
reverse_reconstruction
Fixed Drop output permits arbitrary deleted concept nodes inserted on compatible ancestor paths. Concept(target) may have originated as source or preexisting target.
root_preservation
Root0 remains0 through all variants.
unmatched_identity
No matching token means clone-equal output.
field_locality
Tag changes only exact concept+old-tag matches.
cycle_exclusion
Unlike bounded FwTable climb, a cycle entirely dropped may not terminate; acyclicity required.
tests
Checks and evidence
- rules::tests::drop_reattaches_and_a_rule_that_fixes_gains
Exact cargo commands use package translate, binary translate, --offline --locked and -- --exact --test-threads=1. External native-commands.json lists every name; debug and release run twice, numerical status and named outcomes retained. Some tests target other portions of the file; this fragment has source reasoning plus only the overlapping assertions.
Compiled controls mutate production decision expressions and restore exact original bytes; see external mutations.json and restoration receipt. No assertion-only mutation is counted. The evidence summary is authoritative for completed receipts. Scoped source reasoning and finite tests do not establish total branch coverage.
This page in Markdown ā https://md.groupants.elamur.ai/free/en/mova/tools/translate/src/rules.rs.groupant/apply.groupant/