📐onto-wdwalk-anchors-and-distribution

The groupant beside onto/src/wdwalk.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

Components

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.

Model text

descriptant

onto-wdwalk-anchors-and-distribution

Main=first accepted(.9) else argmin(-n_src,d,q) among n_src>=2(.7) else same among single(.6). Optional taxon argmin(rankpref,d,q) non-unsupported if main not/reaches taxon. Dist: n=|v|>0, mean=Σv/n, sd=sqrt(Σ(v-mean)^2/(n-1)) iff n>=2, extrema over v∪bounds.

Epoch 2026-10-31: source byte range [17842,20036) with source and range hashes, sharing parent lexical AST. Partial source-derived scope, no semantic proof.

approximant

Scoped forward relation

Main=first accepted(.9) else argmin(-n_src,d,q) among n_src>=2(.7) else same among single(.6). Optional taxon argmin(rankpref,d,q) non-unsupported if main not/reaches taxon. Dist: n=|v|>0, mean=Σv/n, sd=sqrt(Σ(v-mean)^2/(n-1)) iff n>=2, extrema over v∪bounds.

Scope bytes [17842,20036) 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

Later accepted cannot replace first. Bounds excluded from mean/sd/n. Unsupported can be main>=2sources, cannot be added taxon.

Cost

Anchor scans O(R), taxon predicate costs delegated to callbacks; distribution O(values+bounds), sig bounded formatting decimals. Floating sums may overflow or accept NaN.

composition

Scope contribution

Main=first accepted(.9) else argmin(-n_src,d,q) among n_src>=2(.7) else same among single(.6). Optional taxon argmin(rankpref,d,q) non-unsupported if main not/reaches taxon. Dist: n=|v|>0, mean=Σv/n, sd=sqrt(Σ(v-mean)^2/(n-1)) iff n>=2, extrema over v∪bounds.

This fragment contributes only anchors-and-distribution. 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

Later accepted cannot replace first. Bounds excluded from mean/sd/n. Unsupported can be main>=2sources, cannot be added taxon.

reverse_reconstruction

q/.9 admits row sequences with first accepted q; suffix arbitrary. Dist fiber consists ordered value/bound lists whose actual f64 reductions satisfy n,moments,extrema. Arbitrary value permutation is not invariant: [1e16,-1e16,1] sums to1 but [1e16,1,-1e16] sums to0. Extra non-extreme finite bounds preserve statistics in this scope.

priority

Strict accepted beats shorter two-source.

taxon_preference

Genus→species→family→other→missing then d,q.

sample_variance

Singleton unknown sd, not0;100,200 mean150 sd√5000.

numeric_domain

No finite validation; sig clamps decimals0..9, not universally3 significant digits.

tests

Evidence boundary

Three existing synthetic folk/path/anchor/unit/distribution tests executed. read_core/full walker/real controls/file candidates 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/wdwalk.rs.groupant/anchors-and-distribution.groupant/