Elamur Groupantsonto-wsd-prior-file-projection
The groupant beside onto/src/wsd.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 |
collision | collision | partial source derived model | collision |
read_boundary | read_boundary | partial source derived model | read_boundary |
columns | columns | partial source derived model | columns |
load_cost | load_cost | partial source derived model | load_cost |
Model text
descriptant
onto-wsd-prior-file-projection
Missing path→empty. ReadUTF8; skip starts#; >=4 tabfields: share[f1]=parse(f2).unwrap_or(0); neighbors.entry(f0).or_insert(f3).
Epoch 2026-10-31: source byte range [6027,6581) with source and range hashes, sharing parent lexical AST. Partial source-derived scope, no semantic proof.
approximant
Scoped forward relation
Missing path→empty. ReadUTF8; skip starts#; >=4 tabfields: share[f1]=parse(f2).unwrap_or(0); neighbors.entry(f0).or_insert(f3).
Scope bytes [6027,6581) 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
Second neighbor cannot overwrite first; later share must replace earlier. NaN/inf/negative not excluded. Leading-space# not comment.
Cost
O(file bytes) read and retained maps; HashMap expected constant insertion, collision histories lost. File/UTF8 errors propagate.
composition
Scope contribution
Missing path→empty. ReadUTF8; skip starts#; >=4 tabfields: share[f1]=parse(f2).unwrap_or(0); neighbors.entry(f0).or_insert(f3).
This fragment contributes only prior-file-projection. 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
Second neighbor cannot overwrite first; later share must replace earlier. NaN/inf/negative not excluded. Leading-space# not comment.
reverse_reconstruction
All sequences whose last assignment per synset and first assignment per word match observations, plus ignored comments/short rows. History not unique.
collision
word,s1,.3,first then word,s1,bad,second→share0,neighborfirst.
read_boundary
Absent succeeds; present unreadable/invalidUTF8 fails; global swallow outside scope.
columns
Fourth retained, later discarded, fields not trimmed.
load_cost
O(file bytes) and maps, no corpus/tar/model effects.
tests
Evidence boundary
stem/content, tiny missing/duplicate/malformed Prior, empty IDF executed. choose/signature/WUP/corpus/global prior paths unexecuted; no live prior read.
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/wsd.rs.groupant/prior-file-projection.groupant/