Elamur Groupantsworld-md-world-report
The groupant beside world/src/md.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-md-world-report-behavior-complement | behavior_complement | partial source model | behavior-complement |
world-md-world-report-reverse-reconstruction | reverse_reconstruction | partial source model | reverse-reconstruction |
world-md-world-report-world-report-coupling | constraint_relation | partial source model | world-report-coupling |
Model text
world_md
forward
world_md sequences text, cursor, registries, events, memory and gates from one shared Run; optional registry blocks depend on entity presence.
behavior-complement
Universe U consists of input/output pairs for the scoped deterministic observations with fixed dependency state and successful allocation. N={(x,y) in U | y != F(x)} is the exact complement of the stated model. Correspondence with Rust is a source-derived hypothesis, supported only on named finite tests; unknown IO/dependency outcomes are not declared impossible.
reverse-reconstruction
B(y)={x in D | F(x)=y}, retaining all compatible state/input antecedents. x belongs to B(F(x)); unique recovery requires injectivity, which the lossy projections lack. Bounded fibers are complete only within their enumerated input domain.
world-report-coupling
Type: constraint_relation. Counters are caller-supplied observations; report rendering neither validates nor executes command lines. Domain is the named function scope at this source binding. Status: partial source-derived relation; native evidence only where explicitly named, otherwise a falsifiable prediction.
invariant
Rendering borrows Run without mutation. Section order and fallback are deterministic conditional on ordered dependency observations. cell output has no LF; no universal Markdown sanitization or roundtrip invariant holds.
composition
world_md sequences text, cursor, registries, events, memory and gates from one shared Run; optional registry blocks depend on entity presence. Counters are caller-supplied observations; report rendering neither validates nor executes command lines.
cost
Let B be emitted bytes, S sentences, C cursor entries, E entities, H states/history entries. Base output allocation O(B); cursor lookup O(SC); history/snapshot/context and qa3 costs are external terms, not assumed constant. Story scans event metadata per frame O(FV), then calls qa3 and root renderer. Memory includes intermediate strings and output; no IO occurs in this file.
checks
cargo test -p world --lib wave8_models -- --test-threads=1. File-specific filters md::wave8_models and tabular::wave8_models. Tests use native pure functions and synthetic World/Text records, never an annotator or teacher. Evidence and negative controls are in root evidence.md.
epoch-memory
2026-10-30 first epoch. Prediction: independent bounded encoding/projection observations agree exactly in debug and release, while a compiled production mutation fails the named oracle. Existing lossy behavior is retained explicitly. No numerical surrogate is attached: categorical encoding/report fidelity lacks a justified approximate metric.
limitations
Labels, title, time and diagnostic code spans are not uniformly escaped. cell leaves CR/backticks/backslashes intact and is not idempotent. Sentence count casts to u16; large documents are outside tested domain. Dependency semantics and nonempty complex story graphs remain untested.
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/world/src/md.rs.groupant/world-report.groupant/