---
title: "onto-wdalign-support-decision — Mova code model"
description: "Mova code model of onto/src/wdalign.rs: components with their labels, obernants and the model text."
url: "https://groupants.elamur.ai/free/en/mova/onto/src/wdalign.rs.groupant/support-decision.groupant/"
---
Elamur: [Mova](https://md.mova.elamur.ai/free/en/) · [Dictionary](https://md.dictionary.elamur.ai/free/en/) · [Research](https://md.research.elamur.ai/free/en/) · **Groupants**

This page as HTML: <https://groupants.elamur.ai/free/en/mova/onto/src/wdalign.rs.groupant/support-decision.groupant/>

# onto-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

- **kind:** groupant_fragment
- **status:** partial source bound model
- **source:** [`onto/src/wdalign.rs`](https://github.com/ElamurAI/mova-free/blob/main/onto/src/wdalign.rs)
- **source SHA-256:** `74e040a730e3215e…`
- **covers:** 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. (bytes 10610–13805)
- **part of:** [onto-wdalign](https://md.groupants.elamur.ai/free/en/mova/onto/src/wdalign.rs.groupant/)
- **repository folder:** [`onto/src/wdalign.rs.groupant/support-decision.groupant`](https://github.com/ElamurAI/mova-free/tree/main/onto/src/wdalign.rs.groupant/support-decision.groupant)
- **repository commit:** `855da7bd4a7b`

> **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](#approximant) |
| **ast** | partial | `../syntax.json` |
| **composition** | partial | [composition](#composition) |
| **cost** | partial | [Cost](#cost) |
| **descriptant** | present | [descriptant](#descriptant) |
| **invariant** | partial | `model.md` |
| **tests** | executed bounded checks | [tests](#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](#behavior-complement) |
| `reverse_reconstruction` | reverse_reconstruction | partial source derived model | [reverse_reconstruction](#reverse-reconstruction) |
| `category_count` | category_count | partial source derived model | [category_count](#category-count) |
| `generic_gate` | generic_gate | partial source derived model | [generic_gate](#generic-gate) |
| `stable_ties` | stable_ties | partial source derived model | [stable_ties](#stable-ties) |
| `decision_cost` | decision_cost | partial source derived model | [decision_cost](#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.