Elamur Groupantstranslation-meta-heb_enc-encode
The groupant beside tools/translate/src/heb_enc.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 |
output_order | output_order | partial source derived model | output_order |
head_transport | head_transport | partial source derived model | head_transport |
cycle_bound | cycle_bound | partial source derived model | cycle_bound |
default_empty | default_empty | partial source derived model | default_empty |
Model text
descriptant
Description and epoch memory
Emit nonempty signatures in meta order. idx maps emitting meta positions to word indices. For each emitter climb head chain until first emitter/root/guard, suppress self-head.
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
Emit nonempty signatures in meta order. idx maps emitting meta positions to word indices. For each emitter climb head chain until first emitter/root/guard, suppress self-head.
invariant
Invariant and cost
Domain and preservation
Valid generated signatures; heads0..m and finite vectors. No source morphology or model loading occurs.
Cost
O(m²) bounded head visits plus emits and signature parsing; O(m+output bytes) memory.
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
Empty emitted signatures produce no HW. An emitting self-head maps to root0.
reverse_reconstruction
For fixed encoder, output preimage includes all suppressed meta tokens and compatible ancestor chains whose first emitting ancestor matches output head.
output_order
Surviving emitters retain meta position order.
head_transport
1-based meta head resolves via idx[h-1] then output index+1.
cycle_bound
Guard stops nonemitting cycles; invalid coordinates may panic, not guaranteed root.
default_empty
Default encoder tables empty; get-based lookup yields no words for valid meta input.
tests
Checks and evidence
- heb_enc::tests::hebrew_from_the_meta_world_and_back
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/heb_enc.rs.groupant/encode.groupant/