Elamur Groupantsworld-qa
The groupant beside world/src/qa.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 source model | forward |
| ast | partial | syntax.json |
| composition | partial source model | composition |
| cost | partial source model | cost |
| descriptant | partial source model | epoch-memory |
| invariant | partial source model | invariant |
| tests | partial source model | checks |
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 |
|---|---|---|---|
world-qa-behavior-complement | behavior_complement | partial source model | behavior-complement |
world-qa-reverse-reconstruction | reverse_reconstruction | partial source model | reverse-reconstruction |
world-qa-projection-boundary | observation_constraint | partial source model | projection-boundary |
Parts
Model text
model
world-qa
forward
Pure supplied-world query projection, ordered fallback, expectation scoring and report accounting. Scope combines child constraints through shared Answer text/from_state, IDs and immutable World.
invariant
Query output is heuristic projection from supplied state, not independently established truth. Report assessment does not train, mutate or demonstrate retained knowledge. Preserve unavailable-state and explicit control semantics.
cost
Sum query, scorer and rendering costs; avoid counting shared world storage twice. No timing, speedup, approximation error or general proof claimed.
composition
Public joins: World::apply on constructed Cmd/Line values -> answer -> verdict; read_questions -> answers_md on supplied frozen expectations. No neural parser, teacher, corpus, CLI persistence or courses executed.
behavior-complement
Domain/universe: terminating calls on consistent supplied worlds and well-formed observations in this scope. Inner absent-behavior relation excludes transitions violating the invariant above. This is a source-derived partial exclusion; unknown paths and malformed world states remain outside it. It is not a complement of merely sampled tests.
reverse-reconstruction
All compatible worlds, queries and expectation rows satisfying child constraints remain antecedents. Projection and aggregated scores lose identity and provenance; no unique inverse.
projection-boundary
Public joins: World::apply on constructed Cmd/Line values -> answer -> verdict; read_questions -> answers_md on supplied frozen expectations. No neural parser, teacher, corpus, CLI persistence or courses executed.
All three typed entries bind the manifest revision and scope. Operators are invariant exclusion, output preimage and observation constraint respectively; status is partial source modeling with finite native evidence. Reverse relations preserve all described ambiguity; no complete solver or universal inverse is provided.
checks
cargo test -p world --lib qa::wave12_models -- --test-threads=1. See the file evidence.md for actual repeated profiles and compiled controls. Partial syntax projection leaves macro bodies opaque; no semantic AST proof.
epoch-memory
2026-10-30: prospective constant-cost guards and tie comparison predicted rejection without changing valid selection or signatures. Four old-code witnesses failed: empty holder success, malformed interval broadening, empty sort panic and invented earlier narration for a tie. Narrow repairs retain ordinary substring scoring and existing historical explanation behavior. Future epistemic explanations and metadata consistency remain explicit limitations. No optimization or general percentage guarantee is inferred.
evidence
Native evidence, 2026-10-30
Source SHA-256: 1ce10a355698f5cc3c37ca7f8d1dacbacf8b74264c9c7c38a563aed1e4f678a5.
Eight native tests (four per source) pass twice in debug and twice in release; normalized named identities/results match across all four runs. Independent oracle cases: 160 ordered-string pairs, 375 anchor/range pairs and six valid event intervals. Four old-code witnesses fail before repair. qa mutant disables the holder cardinality guard and fails holder_requires_a_time_and_fallback_remains_available. qa3 mutant invents earlier telling at equal coordinates and fails same_telling_coordinate_does_not_invent_an_earlier_event. Both production mutants compiled, failed named runtime assertions and were restored byte-for-byte; restored focused cases and the entire eight-test slice pass.
Tests use only supplied immutable worlds, constructed commands and frozen questions. Actual joins run World::apply -> answer -> verdict and read_questions -> answers_md. No live parser/teacher/course, knowledge persistence, performance or full-world suite claim. Existing dependency warnings remain. New test modules are rustfmt formatted; no broad legacy formatting. Partial syntax is byte-identical across two runs and leaves macro bodies opaque.
Raw evidence is external under the wave12 QA run label; SHA-256 bindings:
- old.log: e9bcab70bf9a6d6e9cf05c2226e15a1b6f7e063479332451a446aec10f6ad05e
- final-debug1.log: e6ac0b47f787fe252aced96dc5b3967d3b0babf1622038f5f7d7864b4dc8525a
- final-debug2.log: 9f866c330caffb50ac33fb80bc82f935fed00e288a39eb063411bf4550b14cfd
- final-release1.log: af80d738a1b4b8be163ebc326725cd52ac272711a5cd9a96d1ff8b4227f8626d
- final-release2.log: c4d656881e2c9cb8ab7c8f0eb67231a5be843ae9c085d90d599924e43e7272e1
- normalized.txt: 4e31951e57710818244fda36135d1a8ededc01fba071294bb3def0ac677f070e
- mutant-qa.log: e32247718c790a16bfcdf3980d2cf1c8e54917dbcb4945bd725b3d4f125d72cb
- mutant-qa3.log: 1f4c285c47f7a240b8e94709d456903ac8ecc61f3a421b87c726cbcf2fd9265f
- restored-all.log: 672eced088e9f31d0fb3b3e9e4cd38f634ad3630d21e0a261fc1c8e8702adfa0
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/world/src/qa.rs.groupant/