Elamur Groupantstranslation-meta-hebrew
The groupant beside tools/translate/src/hebrew.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 |
| composition | partial | composition |
| 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 |
strong_priority | strong_priority | partial source derived model | strong_priority |
ownership_fill | ownership_fill | partial source derived model | ownership_fill |
grammar_precedence | grammar_precedence | partial source derived model | grammar_precedence |
metadata_loss | metadata_loss | partial source derived model | metadata_loss |
Parts
Model text
descriptant
Description and epoch memory
Read sorted CoNLL files into verse tokens/offset heads/groups, optional negation OR. Train five IBM iterations with gloss prior then override by matching Strong centers; fill ownership gaps, count chunks in3 contexts. read optionally applies grammar/idioms, emits spans and remaps chunk heads.
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
Read sorted CoNLL files into verse tokens/offset heads/groups, optional negation OR. Train five IBM iterations with gloss prior then override by matching Strong centers; fill ownership gaps, count chunks in3 contexts. read optionally applies grammar/idioms, emits spans and remaps chunk heads.
invariant
Invariant and cost
Domain and preservation
Heads within0..n, chunk internal indices valid; counts representable. Initialized Reader from train, not empty Default for chunk fallback. Real file/corpus paths unexecuted. Chunk delimiters restrict serialized concepts.
Cost
IBM costs delegated to ibm; ownership/chunk extraction O(nm+m²), BTree counts. Grammar kids O(n²), each subtree scan up toO(n² log n), repeated across verbs O(n³ log n). read head climbs O(nm) conservatively.
Counters and allocation arithmetic must remain representable. String/map costs include compared bytes; finite evidence is not a throughput estimate.
composition
Local composition
The child isolates the translation-meta-hebrew-chunk_codec relation inside this source. Its observation is a projection of the complete file relation described in approximant.md; costs overlap and must not be added twice. The remaining code supplies context/table inputs and consumes outputs. External joins: meta MTok feeds profile, Hebrew encoder, fwt and rules; meta LCS feeds logic and alignment-based training; Strong labels optionally override IBM ownership. No runtime chain between all children is asserted.
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
Unseen initialized chunks use gloss; unknown gloss cannot create evidence of semantic accuracy. World excludes nonVERB events and roles outside A0/A1/A2.
reverse_reconstruction
Meta output admits multiple Hebrew forms, glosses, Strong values and nonemitting owners. Given chunk signatures, owner array and token metadata, emitted structure is reconstructible but original verse spelling is not.
strong_priority
Matching Strong alignment replaces IBM; nearest normalized center then smallest index resolves tie.
ownership_fill
Unaligned tokens follow previous owner, leading gap follows first owner; all NULL remains None.
grammar_precedence
Possessive overrides idiom overrides learned chunk; inserts avoid immediately repeated of/the.
metadata_loss
Reader output retains source span but loses xpos, feats, gloss, mid and frames.
tests
Checks and evidence
- hebrew::wave32::gloss_chunks_and_owned_alignment
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.
Recorded 2026-10-31 result
This source contributes 1 exact named checks to the 18-check group. Every name passes twice in debug and twice in release, with identical sorted outcomes. A compiled production mutation in hebrew.rs was rejected by its selected runtime assertion; its original and restored SHA-256 match. All 18 checks pass again after all nine restorations. There were nine rejected production mutations, zero assertion-only mutations and zero surviving controls in this batch. Nine source projections matched byte-for-byte across two generations. No original production bytes changed.
The augmented-registry check has no owned source or fragment diagnostic. Only root-owned inference-core/mova child/source bindings await integration. A first isolated-registry experiment was unsuitable because the checker inspects unrelated existing sidecars; those failures are retained separately and are not counted as semantic controls.
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/tools/translate/src/hebrew.rs.groupant/