Elamur Groupantsonto-wdvmm-answer-projection
The groupant beside onto/src/wdvmm.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 |
id_coordinate | id_coordinate | partial source derived model | id_coordinate |
verdict_quotient | verdict_quotient | partial source derived model | verdict_quotient |
reason_loss | reason_loss | partial source derived model | reason_loss |
pure_cost | pure_cost | partial source derived model | pure_cost |
Model text
descriptant
onto-wdvmm-answer-projection
v=vec(None,n). For each trimmed-tab row with>=2 fields, i=parse(strip_all_leading#(f0)); if1<=i<=n and lowercase(f1)∈{yes,no,refine}, v[i-1]=(verdict,f2_or_empty).
Epoch 2026-10-31: source byte range [3682,4357) with source and range hashes, sharing parent lexical AST. Partial source-derived scope, no semantic proof.
approximant
Scoped forward relation
v=vec(None,n). For each trimmed-tab row with>=2 fields, i=parse(strip_all_leading#(f0)); if1<=i<=n and lowercase(f1)∈{yes,no,refine}, v[i-1]=(verdict,f2_or_empty).
Scope bytes [3682,4357) 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
n=0 excludes populated slots. Invalid verdict/ID excludes overwrite. Later valid duplicate excludes retaining earlier differing answer.
Cost
O(answer bytes+n) time and vector allocation; usize n may exhaust memory; no effect beyond allocation.
composition
Scope contribution
v=vec(None,n). For each trimmed-tab row with>=2 fields, i=parse(strip_all_leading#(f0)); if1<=i<=n and lowercase(f1)∈{yes,no,refine}, v[i-1]=(verdict,f2_or_empty).
This fragment contributes only answer-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
n=0 excludes populated slots. Invalid verdict/ID excludes overwrite. Later valid duplicate excludes retaining earlier differing answer.
reverse_reconstruction
For each Some(v,why), final accepted occurrence must normalize to v and trimmed third field why; arbitrary earlier/rejected rows. None means no accepted occurrence.
id_coordinate
External1→internal0, repeated# accepted.
verdict_quotient
YES/yes/Yes collapse; unknown ignored.
reason_loss
Third field only; missing empty, fourth discarded.
pure_cost
O(bytes+n), no filesystem/teacher effect.
tests
Evidence boundary
Parser overwrite, malformed spent records and early over-cap before cwd creation plus parse_answer executed. No teacher/model/environment-success/log effect run.
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/wdvmm.rs.groupant/answer-projection.groupant/