Elamur Groupantsworld-lib
The groupant beside world/src/lib.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 |
| descriptant | present | descriptant |
| invariant | partial | invariant |
| tests | compile only | 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 |
visibility_surface | visibility_surface | partial source derived model | visibility_surface |
failure_precedence | failure_precedence | partial source derived model | failure_precedence |
resource_domain | resource_domain | partial source derived model | resource_domain |
effect_boundary | effect_boundary | partial source derived model | effect_boundary |
Parts
Model text
descriptant
world-lib
Module declarations expose world dialogue, nerves, ideas and VMM; induce_gpu exists only under gpu and test modules only under cfg(test).
Epoch 2026-10-31: source-derived partial model; prospective hypotheses retained in external receipt. Module representation only; no fabricated runtime test or mutant.
approximant
Module declarations expose world dialogue, nerves, ideas and VMM; induce_gpu exists only under gpu and test modules only under cfg(test).
Exact categorical/effect semantics: no useful executable percent surrogate supplied. Future admissible caps 1/2/5/10% require defined metric/domain; no error bound claimed.
invariant
Compilation maps module names to sibling sources; this file performs no runtime dispatch.
Cost: O(number of module declarations) syntax; transitive compile/link costs delegated.
composition
Public modules expose APIs but do not call them; parsecache is private.
lib exposes modules; main activates state and dispatches. ideas uses nerves::norm and talk::now, store::write_atomic; talk uses babi splitting/prag Act. VMM uses lang::parse_all and world executor summaries before teacher continuation. These adapters preserve different coordinates (line number versus sentence anchor); splice acceptance does not establish execution validity. Module representation only; no fabricated runtime test or mutant.
models
behavior_complement
The module surface excludes private parsecache from public exports and excludes induce_gpu unless feature gpu is enabled. Library declarations alone do not execute dialogue, persistence or teacher calls; trailing cfg(test) declarations appear only in test builds.
reverse_reconstruction
Compatible builds share the same enabled feature set and resolved sibling modules; binary behavior cannot recover which unused exports were linked.
visibility_surface
Public modules expose APIs but do not call them; parsecache is private.
failure_precedence
Compilation maps module names to sibling sources; this file performs no runtime dispatch.
resource_domain
O(number of module declarations) syntax; transitive compile/link costs delegated.
effect_boundary
Module representation only; no fabricated runtime test or mutant.
tests
Bounded evidence — 2026-10-31
Compile/visibility only
Names: []
Command: CARGO_BUILD_JOBS=2 CARGO_TARGET_DIR=ISOLATED_TARGET MOVA_HOT_ROOT=FRESH_TEMP_DIRECTORY cargo test -p world --lib --bin world [--release] wave28_dialogue -- --test-threads=1
The fresh temporary directory basename must start with wave28-dialogue-. Never point this fixture at a real hot root. The binary test calls private helpers; it never invokes main or state activation.
Nine selected cases passed twice debug and twice release with identical sorted named outcomes. This source contributes compile/visibility evidence only; no runtime case is attributed to declarations.
Control: none; no runtime mutation claim. All four source mutants compiled and failed with exit 101; each was restored byte-for-byte and nine positive cases passed again. lib and main have no runtime mutant claim.
Six parent syntax projections were independently generated twice and compared. Child fragments reference parent syntax with exact byte ranges and hashes. Strict whole-world Clippy remains subject to existing warnings in untouched code. No live teacher, corpus, DB, model, GPU or school execution. No semantic proof or executable percent surrogate follows.
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/world/src/lib.rs.groupant/