Elamur Groupantsworld-main
The groupant beside world/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 |
| 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 |
startup_effect_order | startup_effect_order | partial source derived model | startup_effect_order |
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-main
Startup extracts first complete --state pair, activates requested or stable state, sets MOVA_PROCESSING_STATE, then dispatches on first remaining argument. Folder helpers precede selected reads; load variants parse commands then run selected world executor.
Epoch 2026-10-31: source-derived partial model; prospective hypotheses retained in external receipt. Only private dir_at and usage runtime tests; no startup/state activation, corpus, training or dispatch execution.
approximant
Startup extracts first complete --state pair, activates requested or stable state, sets MOVA_PROCESSING_STATE, then dispatches on first remaining argument. Folder helpers precede selected reads; load variants parse commands then run selected world executor.
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
Unknown command reaches usage only after state activation; missing folder in dir_at returns error, supplied empty folder stays empty. Main is not effect-free even for usage.
Cost: Argument scans O(A) per option; corpus/teacher/model and report costs delegated to selected command. No uniform bounded runtime.
composition
State activation and environment mutation precede command validation; malformed direct-index commands may panic.
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. Only private dir_at and usage runtime tests; no startup/state activation, corpus, training or dispatch execution.
models
behavior_complement
main does not validate unknown or missing commands before state activation: those effects occur first. dir_at excludes success for a missing argument but accepts an empty supplied path. Loaders cannot execute commands before obtaining Text and reading the command file successfully. No blanket no-I/O claim applies to usage or prompt commands.
reverse_reconstruction
A given folder result admits every argument vector with that value at the selected index; errors admit vectors too short. A report cannot recover ignored options, defaults or rejected command text.
startup_effect_order
State activation and environment mutation precede command validation; malformed direct-index commands may panic.
failure_precedence
Unknown command reaches usage only after state activation; missing folder in dir_at returns error, supplied empty folder stays empty. Main is not effect-free even for usage.
resource_domain
Argument scans O(A) per option; corpus/teacher/model and report costs delegated to selected command. No uniform bounded runtime.
effect_boundary
Only private dir_at and usage runtime tests; no startup/state activation, corpus, training or dispatch execution.
tests
Bounded evidence — 2026-10-31
Private helper execution; startup excluded
Names: ["wave28_dialogue::folder_argument_missing_and_empty"]
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. Only the named source behaviors are exercised.
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/main.rs.groupant/