Elamur Groupantsworld-tests3
The groupant beside world/src/tests3.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 |
scope_isolation | scope_isolation | partial source derived model | scope_isolation |
claim_projection | claim_projection | partial source derived model | claim_projection |
temporal_coordinates | temporal_coordinates | partial source derived model | temporal_coordinates |
strict_grammar | strict_grammar | partial source derived model | strict_grammar |
Parts
Model text
descriptant
world-tests3
world3 parses all lines, creates n synthetic anchored sentences with time phrase and applies sequentially. Selected tests require strict grammar, claim isolation of canonical registries/events, separate dream location with Scope error for parent effect, and Before/During/Contains/Overlap/Unknown plus endpoint closure. Saved merchant and prompt examples excluded. Projection equation πcanonical(W+claim)=πcanonical(W) on the six checked registries and event count. Dream fixture requires at_root(C1)=L1 while at_dream(C1)=L2; temporal closure has E3<E1<E2 but neither E6<E2 nor E2<E6.
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
world3 parses all lines, creates n synthetic anchored sentences with time phrase and applies sequentially. Selected tests require strict grammar, claim isolation of canonical registries/events, separate dream location with Scope error for parent effect, and Before/During/Contains/Overlap/Unknown plus endpoint closure. Saved merchant and prompt examples excluded. Projection equation πcanonical(W+claim)=πcanonical(W) on the six checked registries and event count. Dream fixture requires at_root(C1)=L1 while at_dream(C1)=L2; temporal closure has E3<E1<E2 but neither E6<E2 nor E2<E6.
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
Anchors one-based within n; claim comparison excludes K deliberately. Temporal unknown is not missing event. gate_of demands valid syntax then exact error category.
Cost
Finite command counts plus delegated World/closure work; canonical comparisons scale with selected entity counts; no live parser/teacher.
composition
Composition
Scoped children: claim, time. world3 parses all lines, creates n synthetic anchored sentences with time phrase and applies sequentially. Selected tests require strict grammar, claim isolation of canonical registries/events, separate dream location with Scope error for parent effect, and Before/During/Contains/Overlap/Unknown plus endpoint closure. Saved merchant and prompt examples excluded. Projection equation πcanonical(W+claim)=πcanonical(W) on the six checked registries and event count. Dream fixture requires at_root(C1)=L1 while at_dream(C1)=L2; temporal closure has E3<E1<E2 but neither E6<E2 nor E2<E6. 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 claim changing observed canonical entities/events, dream movement changing canonical C1 location, dream event causing parent move, and inventing E6/E2 order solely from common predecessor E1. Temporal relation need not be total.
reverse_reconstruction
Same canonical world admits differing claim histories; Before admits multiple endpoint assignments/graphs and no unique duration. Canonical L1 admits separate dream locations consistent with guards.
scope_isolation
E2 dream outside root main list; dream C1=L2 and canonical C1=L1.
claim_projection
Compares L/O/C/R/P/B snapshots/state counts and event count, not K.
temporal_coordinates
Before transitive; During dual Contains; Same maps Overlap; no numerical duration.
strict_grammar
Missing frame fields, invalid claim/branch, conflicting placements and malformed know/reveal reject before apply.
tests
Bounded checks
Named checks associated with this source (not every fragment branch):
- tests3::v3_format_is_strict
- tests3::claim_does_not_change_canonical_world
- tests3::dream_frame_does_not_change_canonical_world
- tests3::time_is_a_partial_order
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:
- Four synthetic tests only; no stored corpus/prompt replay
- Not arbitrary frame/time proof; executable percent approximant 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/src/tests3.rs.groupant/