Elamur Groupantsmlab-tests-vm-state-gate
The groupant beside mlab/tests/vm.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 |
| cost | symbolic source derived | invariant |
| 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 |
parse_fixture | parse_fixture | partial source derived model | parse_fixture |
runtime_fixture | runtime_fixture | partial source derived model | runtime_fixture |
warning_fixture | warning_fixture | partial source derived model | warning_fixture |
gate_fixture | gate_fixture | partial source derived model | gate_fixture |
Model text
descriptant
mlab-tests-vm-state-gate
Parse barrier/runtime partial state and synthetic gate fail-fast checks.
Epoch 2026-10-31
Half-open source bytes [10511,12157); bound by parent source hash and scoped byte hash. Model covers only this fragment; parent composition explains joins.
approximant
Scoped forward relation
Two execution modes retain x7 on parser error, x9 on runtime error; drain output; ordinary warnings off still permits gate warning. Faulty gate stops after first scalar addition.
Domain and gap
Source-generated states within resource limits. Categorical relation has no executable percent surrogate.
invariant
Scoped invariant
Incomplete RHS after x8 leaves preexisting x7.
Cost
Two engine modes and two tiny gate scenarios; one fault mismatch prevents second scenario execution. No loops in fixtures.
models
Scoped typed relations
behavior_complement
Parser-failure oracle excludes x8; runtime-failure oracle excludes x10; gate-warning oracle excludes silence when ordinary warnings are disabled; faulty gate excludes total2.
reverse_reconstruction
Assertion pass constrains captured bytes and x only, not every frame/FS effect.
parse_fixture
Incomplete RHS after x8 leaves preexisting x7.
runtime_fixture
Missing function after x9 stops before x10.
warning_fixture
gate_warnings increments and checked warning remains visible.
gate_fixture
Clean total/same 2/2; faulty 1/0 with first-line5/6.
tests
Evidence scope
Parent selected tests: wave30_bounded_state_and_fallback, wave30_parse_runtime_and_output_state, wave30_synthetic_gate_fail_fast, vm_workspace_is_visible_after_run. This fragment shares parent syntax and finite checks; no separate test count or complete fragment coverage claim. Assertion-control association and unexecuted paths are in parent tests.md and source-test-map.json.
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/mlab/tests/vm.rs.groupant/state-gate.groupant/