Elamur Groupantsworld-school-bench
The groupant beside world/tests/school_bench.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 | model.md |
| tests | bounded checks partial scope | 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 |
cadence_claim | cadence_claim | partial source derived model | cadence_claim |
publication_claim | publication_claim | partial source derived model | publication_claim |
command_isolation | command_isolation | partial source derived model | command_isolation |
zero_round | zero_round | partial source derived model | zero_round |
Parts
Model text
descriptant
world-school-bench
Scratch creates temp root; command sets cpu, hot/bench roots, missing model and removes state/prag flags. Legacy plan requests rounds1/5/20 and validates tiers/counts; failed-probe asserts preserved published sentinel and absent cadence/running markers plus round0 rejection. New helper test checks env, no args/no bench root and cleanup without any process.
Modeling epoch — 2026-10-31
Read full assigned source before editing; prospective predictions retained in external wave29 receipts. Stored/live/parser-dependent test paths are excluded from execution. Evidence is limited to named bounded fixtures; registration is partial modeling. Production behavior unchanged; only inline synthetic tests added to four assigned sources.
approximant
Forward relation
Scratch creates temp root; command sets cpu, hot/bench roots, missing model and removes state/prag flags. Legacy plan requests rounds1/5/20 and validates tiers/counts; failed-probe asserts preserved published sentinel and absent cadence/running markers plus round0 rejection. New helper test checks env, no args/no bench root and cleanup without any process.
Domain and resource limits
Finite valid structures and allocation-success executions under the branch conditions in models.md; integer overflow is outside measured fixtures. Exact categorical relations have no supplied percent surrogate. Macro expansion, arbitrary model quality and external effects are not inferred from syntax.
invariant
Invariant
New test never creates bench root/loads school; temp sentinel removed at scope exit. Legacy expected313 tests/112 exams specific to course, not general schema.
Cost
Fixed command/temp operations only; actual planner/probe costs unmeasured; no benchmark timing.
composition
Composition
Scoped children: scratch. Scratch creates temp root; command sets cpu, hot/bench roots, missing model and removes state/prag flags. Legacy plan requests rounds1/5/20 and validates tiers/counts; failed-probe asserts preserved published sentinel and absent cadence/running markers plus round0 rejection. New helper test checks env, no args/no bench root and cleanup without any process. Other functions and test additions are modeled only at this parent. bAbI Story and command World have different representations: command-language fixtures do not certify the UD parser adapter. StepGame lexical/load helpers connect directly to tests03; CLI helpers construct a separate world process but this wave does not spawn it. No composition-wide percent accuracy follows.
models
behavior_complement
Exclude configured bench/hot paths differing from Scratch derivations or explicit retained state/prag flags. Legacy assertions exclude failed-probe publication/cadence changes but were not executed. Cleanup may fail silently.
reverse_reconstruction
Full plan tier/count does not recover course identities; preserved publication after failure admits many failure stages. Helper env reconstructs path derivations but not external command outcome.
cadence_claim
Legacy round1/5/20 quick/medium/full unexecuted.
publication_claim
Legacy unchanged reference and absent markers not crash-atomicity proof.
command_isolation
CPU explicit; bench/hot share temp parent; missing.bin absent.
zero_round
Legacy only checks failed status for round0, no precedence/diagnostic.
tests
Bounded checks
Named checks associated with this source (not every fragment branch):
- wave29_bench_command_isolation_and_cleanup_without_spawn
17 unique named tests in total passed twice debug and twice release; sorted named outcomes equal across all four runs. Four compiled controls cover bAbI identity, StepGame tie ordering, parser-command state removal and bench-command CPU selection; each exits101 at a runtime assertion, exact source restored then positive exit0. Other sources have finite adversarial fixtures but no separately compiled mutant.
CLI integration coverage is command construction and temporary cleanup only; legacy school/model/cadence paths are not executed. No speed benchmark, GPU, live teacher, datasets or held-out replay.
Limits:
- Only command/temp helper executed; no plan/cadence/publication runtime claim
- No corpus/model/full-school; executable percent surrogate unsupported
External receipt root: $MOVA_DATA/runs/octopus-wave29-worldeval-2026-10-31.
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/world/tests/school_bench.rs.groupant/