Elamur Groupantsonto-main
The groupant beside onto/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 |
| composition | partial | composition |
| cost | partial | cost |
| descriptant | present | descriptant |
| invariant | partial | invariant |
| 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 |
option_projection | option_projection | partial source derived model | option_projection |
startup_order | startup_order | partial source derived model | startup_order |
dispatch_effects | dispatch_effects | partial source derived model | dispatch_effects |
environment_transport | environment_transport | partial source derived model | environment_transport |
Parts
Model text
descriptant
onto-main
Dispatch routes queries/build/evaluation/bridge/HS/Wikidata/teacher operations. load_kb checked snapshot→layers→relations→defaults→core check; gate off permits warning. opt first key successor; wd_cfg reads langs only if present. Paths from env/defaults.
Modeling epoch 2026-10-31
Prospective model saved before edits; nine existing sources read fully. Added bounded inline tests; store reader overflow repaired only after compiled old-code failing witness. No live corpus, teacher, model or database effects executed. Source syntax generated twice identically; partial lexical projection only.
approximant
Forward relation
Dispatch routes queries/build/evaluation/bridge/HS/Wikidata/teacher operations. load_kb checked snapshot→layers→relations→defaults→core check; gate off permits warning. opt first key successor; wd_cfg reads langs only if present. Paths from env/defaults.
Equations
opt(args,k)=args[min{i:args_i=k}+1] when index exists; load_kb=core_gate∘defaults∘relations∘layers∘snapshot_load, with early Result failure and prefix loader effects.
Domain
No generic dry run/transaction. Subcommands may mkdir/load before arg validation. Only pure option/config helpers executed.
Categorical behavior and effect boundaries have no validated percentage surrogate. Executable Rust approximant unsupported; 1/2/5/10% future caps require a useful metric first.
invariant
Invariant and domain
No generic dry run/transaction. Subcommands may mkdir/load before arg validation. Only pure option/config helpers executed.
Limits
Finite synthetic fixtures are not semantic proof. Public invalid indices, allocation failures, huge counters, environment races and live effects outside explicit checks remain unverified.
cost
Cost approximation
opt O(A), config O(file bytes); startup load/seed/core costs; other command effects delegated, no whole-run bound.
Symbolic costs only; no timing or throughput claim.
composition
Composition
opt(args,k)=args[min{i:args_i=k}+1] when index exists; load_kb=core_gate∘defaults∘relations∘layers∘snapshot_load, with early Result failure and prefix loader effects.
Graph builder→store shape check→Kb; Kb→query→bridge/describe/pron. hs Parsed→hsmap preference/scoring/gates. Core SynMap last-duplicate vs Graph first-duplicate requires unique synset keys for interchangeable lookup. Syntax children below share parent projection; exact byte ranges bind original source semantics.
-
options: opt(args,k)=args[first_position(k)+1] if present; wd_cfg optionally reads langs
-
startup: Result composition snapshot→layers→relations→defaults→core gate
models
behavior_complement
Absent/dangling first key excludes Some(opt); later duplicate cannot override. Snapshot error excludes later seed load. Bad command errors do not uniformly mean no prior effects.
reverse_reconstruction
Opt value preimage includes arbitrary args with same first-key successor. Kb loses startup paths/env; reports lose original args/timing.
option_projection
Flag-like successor accepted; no --key=value parsing; numeric parsing per command.
startup_order
snapshot→layers→relations→defaults→core; prefix mutations local to failing startup.
dispatch_effects
hs mkdir/load precedes mode validation; wd-align mkdir before parse; writes sequential.
environment_transport
ONTO_SNAPSHOT/RUNS/WD_RUNS/MOVA_DATA choose resources; added tests do not mutate env.
tests
Actual-code checks
wave29_tests::option_first_and_dangling
Evidence 2026-10-31
Each selected test passed twice debug and twice release after exact mutation restoration (15 named suite checks; all four sorted outcome sets equal, exits0). Compiled source control: negative-main.log (compiled source mutation assertion failure101). Controls compile successfully and fail an assertion with exit101. Store control is the original unsafe length addition before repair.
Only pure opt/wd_cfg; full dispatcher and startup effects unexecuted
Whole CLI, live teacher/corpus/model/prior loading, filesystem failure/durability and huge inputs were not executed. No exact wrapper is advertised as a percentage surrogate. Added test blocks rustfmt-formatted independently; unrelated source formatting preserved. Strict broad Clippy not repeated: existing dependency/source warnings are outside this work.
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/onto/src/main.rs.groupant/