Elamur Groupantsonto-wdlex-lexeme-emission
The groupant beside onto/src/wdlex.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 | partial | Cost |
| descriptant | present | descriptant |
| invariant | partial | model.md |
| tests | executed 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 |
trim_gate | trim_gate | partial source derived model | trim_gate |
row_ownership | row_ownership | partial source derived model | row_ownership |
counter_semantics | counter_semantics | partial source derived model | counter_semantics |
resources | resources | partial source derived model | resources |
Model text
descriptant
onto-wdlex-lexeme-emission
Trim trailing CR/comma/space/LF; if first!={ return unchanged. Deserialize→bad++ on error; typ gate; L-id gate. Emit header then lemmas/items/forms/senses. valid F/S subids emit using enclosing lid; header counts raw arrays, counters count accepted paths.
Epoch 2026-10-31: source byte range [6723,9757) with source and range hashes, sharing parent lexical AST. Partial source-derived scope, no semantic proof.
approximant
Scoped forward relation
Trim trailing CR/comma/space/LF; if first!={ return unchanged. Deserialize→bad++ on error; typ gate; L-id gate. Emit header then lemmas/items/forms/senses. valid F/S subids emit using enclosing lid; header counts raw arrays, counters count accepted paths.
Scope bytes [6723,9757) only. Preconditions and exceptions in this scope's catalog; no claims for parent orchestration.
Executable approximant gap: no useful percentage metric established for these categorical/effectful observations. No surrogate or production substitution. Future caps 1/2/5/10% require a metric/domain and evidence; no numerical error bound follows here.
invariant
Scoped observations
Wrong subid letter excludes row. No atomic emission or parent-prefix validation: previous rows survive IO error and L99-F2 under L7 emits7,2.
Cost
O(line bytes+emitted rows) parsing and compression; one parsed line plus eight zstd buffers, output error does not roll back.
composition
Scope contribution
Trim trailing CR/comma/space/LF; if first!={ return unchanged. Deserialize→bad++ on error; typ gate; L-id gate. Emit header then lemmas/items/forms/senses. valid F/S subids emit using enclosing lid; header counts raw arrays, counters count accepted paths.
This fragment contributes only lexeme-emission. Parent owns input acquisition, surrounding dispatch and downstream joins. Complement and compatible antecedents are scoped in models.md rather than copied parent statements.
models
behavior_complement
Wrong subid letter excludes row. No atomic emission or parent-prefix validation: previous rows survive IO error and L99-F2 under L7 emits7,2.
reverse_reconstruction
Same rows permit ignored fields/claims, control bytes collapsed by Tsv, foreign L prefixes with same F/S number. Header counts constrain array lengths but not rejected contents.
trim_gate
[ ignored without bad++; malformed object bad++ with <=10 examples.
row_ownership
ParentL7 nestedL99-F2 yields lid7,fno2.
counter_semantics
forms valid IDs, form_reps representations, header raw forms.
resources
One line plus eight zstd buffers; no rollback.
tests
Evidence boundary
lexeme_rows actual parser/emitter tiny zstd and ids executed; subprocess/dump extract and senses_en unexecuted.
Parent tests.md names actual selected tests; this scope does not claim all its branches executed. The compiled control listed in parent receipt applies only to the named mutated boundary.
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/onto/src/wdlex.rs.groupant/lexeme-emission.groupant/