Elamur Groupantsonto-wdalign-support-decision
The groupant beside onto/src/wdalign.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 |
category_count | category_count | partial source derived model | category_count |
generic_gate | generic_gate | partial source derived model | generic_gate |
stable_ties | stable_ties | partial source derived model | stable_ties |
decision_cost | decision_cost | partial source derived model | decision_cost |
Model text
descriptant
onto-wdalign-support-decision
A(s,q)={(sa,qa,ds,dq):sa proper OEWN ancestor ds<=10,desc(sa)<=limit,qa proper WD ancestor dq<=20,(sa,qa) candidate}. Pick first minimum ds+dq. If A empty Unsupported; else n(mask)<min_src Single; else per-s rank K=(no_direct,no_gloss,ds+dq,Reverse(wiki),q); first Accepted, rest Also.
Epoch 2026-10-31: source byte range [10610,13805) with source and range hashes, sharing parent lexical AST. Partial source-derived scope, no semantic proof.
approximant
Scoped forward relation
A(s,q)={(sa,qa,ds,dq):sa proper OEWN ancestor ds<=10,desc(sa)<=limit,qa proper WD ancestor dq<=20,(sa,qa) candidate}. Pick first minimum ds+dq. If A empty Unsupported; else n(mask)<min_src Single; else per-s rank K=(no_direct,no_gloss,ds+dq,Reverse(wiki),q); first Accepted, rest Also.
Scope bytes [10610,13805) 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
Popularity alone cannot accept without A. ILI and WN are one category. Support anchor need not recursively be Accepted.
Cost
O(C log C) ordering plus cached OEWN searches and per-Q WD folk walks; support cross-product cost sum over ancestor-anchor candidate intersections. O(C+cached ancestors) state; input graphs already allocated.
composition
Scope contribution
A(s,q)={(sa,qa,ds,dq):sa proper OEWN ancestor ds<=10,desc(sa)<=limit,qa proper WD ancestor dq<=20,(sa,qa) candidate}. Pick first minimum ds+dq. If A empty Unsupported; else n(mask)<min_src Single; else per-s rank K=(no_direct,no_gloss,ds+dq,Reverse(wiki),q); first Accepted, rest Also.
This fragment contributes only support-decision. 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
Popularity alone cannot accept without A. ILI and WN are one category. Support anchor need not recursively be Accepted.
reverse_reconstruction
Winner antecedents are candidate lists with A nonempty, enough categories, and minimal K within synset. Equal-depth support alternatives and extra losing candidates remain compatible.
category_count
n=1[label]+1[lex]+1[ili or wn]; mask6 counts1.
generic_gate
desc==limit accepted; proper ancestor excludes self.
stable_ties
Support first minimum; candidate final Q resolves distinct-Q ties.
decision_cost
OEWN cache per synset, WD per Q; caller graph/rank consistency required, no IO in decide.
tests
Evidence boundary
All16 source masks join to wdwalk strings, P31 hierarchy join and seeded shuffle executed. Full gather/decide/run/gold/database/report paths 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/wdalign.rs.groupant/support-decision.groupant/