Elamur Groupantsonto-eval-answer-scoring
The groupant beside onto/src/eval.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 |
literal_partition | literal_partition | partial source derived model | literal_partition |
ascii_equivalence | ascii_equivalence | partial source derived model | ascii_equivalence |
fallback_priority | fallback_priority | partial source derived model | fallback_priority |
pure_cost | pure_cost | partial source derived model | pure_cost |
Model text
descriptant
onto-eval-answer-scoring
S(a,g)=Correct if g∈{yes,no,undetermined} and code(a)=g; otherwise Unknown iff verdict Unknown else Wrong. For g=unknown, Correct iff Unknown else Wrong. For frame g: Correct iff ∃v∈values:v≈ASCII g, else Unknown iff Unknown else Wrong.
Epoch 2026-10-31: source byte range [1878,2692) with source and range hashes, sharing parent lexical AST. Partial source-derived scope, no semantic proof.
approximant
Scoped forward relation
S(a,g)=Correct if g∈{yes,no,undetermined} and code(a)=g; otherwise Unknown iff verdict Unknown else Wrong. For g=unknown, Correct iff Unknown else Wrong. For frame g: Correct iff ∃v∈values:v≈ASCII g, else Unknown iff Unknown else Wrong.
Scope bytes [1878,2692) 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
Frame match excludes Unknown/Wrong status even if verdict Unknown. Gold unknown never yields status Unknown.
Cost
O(sum of compared value bytes), constant auxiliary state; no IO or mutation.
composition
Scope contribution
S(a,g)=Correct if g∈{yes,no,undetermined} and code(a)=g; otherwise Unknown iff verdict Unknown else Wrong. For g=unknown, Correct iff Unknown else Wrong. For frame g: Correct iff ∃v∈values:v≈ASCII g, else Unknown iff Unknown else Wrong.
This fragment contributes only answer-scoring. 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
Frame match excludes Unknown/Wrong status even if verdict Unknown. Gold unknown never yields status Unknown.
reverse_reconstruction
S^-1(Correct,unknown)={a|verdict(a)=Unknown}. S^-1(Correct,frame g)={a|∃v≈ASCII g}; extra values/order/lines unconstrained.
literal_partition
Four verdict strings reserved, not treated as frames.
ascii_equivalence
Commerce/commerce collapse; no Unicode normalization.
fallback_priority
Frame membership precedes Unknown fallback.
pure_cost
Linear compared bytes, no IO/mutation.
tests
Evidence boundary
Scoring, tally, empty majority and tiny hash/UTF8 failure ordering executed. Query execution, graph shuffle/leak/unknown controls/report effects unexecuted; no frozen benchmark set 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/eval.rs.groupant/answer-scoring.groupant/