Elamur Groupantsgparse-cli-score
The groupant beside gparse/src/main.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 | partial 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 |
zip_boundary | zip_boundary | partial source derived model | zip_boundary |
empty_metric | empty_metric | partial source derived model | empty_metric |
joint_label | joint_label | partial source derived model | joint_label |
tag_metric | tag_metric | partial source derived model | tag_metric |
Model text
descriptant
Source-bound description
score zips inputs and predictions, counts head, joint head/relation and independent tags then returns percentages.
Epoch 2026-10-31
Prospective model was recorded before edits. Added tests use bounded synthetic fixtures; production algorithms unchanged. Coverage is partial, not proof. No trained corpus, live teacher or throughput experiment was executed.
approximant
Forward approximant
score zips inputs and predictions, counts head, joint head/relation and independent tags then returns percentages.
Domain: valid source-specific dimensions and resources stated in invariant; no automatic production substitution. Numerical observations are finite checks, not an end-to-end relative bound. Executable Rust surrogate: unsupported gap; existing exact tests are not surrogates. Future metric-specific caps may be 1/2/5/10%, never above 10%.
invariant
Invariant and cost
n=0 returns four zeros; wrong head always gives LAS zero for that token.
Cost
O(zipped token pairs), O(1) counters.
Allocation, finite arithmetic, platform dimensions and external failures are not universally certified.
models
Typed model catalog
behavior_complement
Correct relation with wrong head cannot increment LAS.
reverse_reconstruction
A tuple of aggregate scores allows permutations and unmatched suffixes; n counts only paired tokens.
zip_boundary
Unmatched sentence/token suffixes never increment n.
empty_metric
Denominator max(n,1) gives all-zero metrics at n=0.
joint_label
LAS increments only inside correct-head branch.
tag_metric
XPOS and UPOS comparisons independent of head/relation.
tests
Checks and limits
Selected parent checks relevant to this fragment (not exhaustive): wave30::score_zip_and_plan_failure_precedence; train/eval/annotate external effects remain unexecuted
Selected commands run twice debug and twice release; exact receipts and source-to-test mapping retained in wave30 gparse external run directory. Tests do not certify allocation failure, all NaN/overflow inputs, trained-model accuracy or corpus timing. Compiled mutants cover selected boundaries; per-source coverage is recorded in the external map, not presumed.
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/gparse/src/main.rs.groupant/score.groupant/