---
title: "world-md — Mova code model"
description: "Mova code model of world/src/md.rs: components with their labels, obernants and the model text."
url: "https://groupants.elamur.ai/free/en/mova/world/src/md.rs.groupant/"
---
Elamur: [Mova](https://md.mova.elamur.ai/free/en/) · [Dictionary](https://md.dictionary.elamur.ai/free/en/) · [Research](https://md.research.elamur.ai/free/en/) · **Groupants**

This page as HTML: <https://groupants.elamur.ai/free/en/mova/world/src/md.rs.groupant/>

# world-md

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

- **kind:** groupant
- **status:** partial source bound model
- **source:** [`world/src/md.rs`](https://github.com/ElamurAI/mova-free/blob/main/world/src/md.rs)
- **source SHA-256:** `24ac2701cc2d8fb9…`
- **repository folder:** [`world/src/md.rs.groupant`](https://github.com/ElamurAI/mova-free/tree/main/world/src/md.rs.groupant)
- **repository commit:** `48f2e6f74146`

> **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](#forward) |
| **ast** | partial | `syntax.json` |
| **composition** | partial source model | [composition](#composition) |
| **cost** | partial source model | [cost](#cost) |
| **descriptant** | partial source model | [epoch-memory](#epoch-memory) |
| **invariant** | partial source model | [invariant](#invariant) |
| **tests** | partial source model | [checks](#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-behavior-complement` | behavior_complement | partial source model | [behavior-complement](#behavior-complement) |
| `world-md-reverse-reconstruction` | reverse_reconstruction | partial source model | [reverse-reconstruction](#reverse-reconstruction) |
| `world-md-cell-fiber` | reverse_reconstruction | partial source model | [cell-fiber](#cell-fiber) |
| `world-md-escape-boundary` | encoding_relation | partial source model | [escape-boundary](#escape-boundary) |
| `world-md-snapshot-loss` | information_loss | partial source model | [snapshot-loss](#snapshot-loss) |
| `world-md-fallback-law` | constraint_relation | partial source model | [fallback-law](#fallback-law) |
| `world-md-story-root-coupling` | composition_relation | partial source model | [story-root-coupling](#story-root-coupling) |
| `world-md-diagnostic-projection` | encoding_relation | partial source model | [diagnostic-projection](#diagnostic-projection) |

## Parts

- [world-md-cells](https://md.groupants.elamur.ai/free/en/mova/world/src/md.rs.groupant/cells.groupant/)
- [world-md-world-report](https://md.groupants.elamur.ai/free/en/mova/world/src/md.rs.groupant/world-report.groupant/)
- [world-md-story-report](https://md.groupants.elamur.ai/free/en/mova/world/src/md.rs.groupant/story-report.groupant/)

## Model text


### model

## world-md

Human Markdown projections of immutable world snapshots and narration metadata.

### forward

For fixed Run and FormatErr inputs, world_md appends text, cursor, location/object/character/relation registries, optional intention/belief registries, events, working memory and gate diagnostics in source order. story_md falls back exactly to world_md without Story; otherwise it prepends narration views and appends the complete root report. cell maps pipe to backslash-pipe and LF to space. snap_str omits Type/Class and renders unknown Gender/Age for characters.

### 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.

### cell-fiber

Type: reverse_reconstruction. For strings a\na and a a, cell yields the same a a. General preimage chooses LF or space for each output space, respecting pipe escaping and original backslashes. 259 strings over six scalars through length three supply bounded correspondence. 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.

### escape-boundary

Type: encoding_relation. cell replaces every pipe and LF, retaining all other Unicode scalars. This is a table-cell convention, not a CommonMark encoder. Raw labels/time can bypass it. Independent scalar oracle and non-idempotence witness cover the helper only. 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.

### snapshot-loss

Type: information_loss. snap_str hides Type/Class and resolves IDs through World labels/place chains; report equality cannot recover IDs, histories or hidden fields uniquely. Unknown base fields are displayed only for characters. This is source-derived, not universally tested. 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.

### fallback-law

Type: constraint_relation. Without Story, story_md(r,e,n)=world_md(r,e,n) byte for byte. Native empty-world fixture checks this equality and report diagnostics. 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.

### story-root-coupling

Type: composition_relation. With Story, the result ends with world_md on the same Run/errors/line count. Frame counts and qa3 responses use that same world, not independent worlds. Empty v3 fixture checks suffix and eight section positions. 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.

### diagnostic-projection

Type: encoding_relation. Format errors contribute their count plus raw/no/msg; they are displayed without executing commands. No causal claim that lines_total equals accepted plus rejected is enforced here; supplied counters are printed. 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

Fragments share exact source state; helper output feeds rendering/features/rules in source order. Compose relations by existential intermediate state, preserving shared identities and caller options. Do not take independent products of projected fibers or add overlapping costs. Inline tests are additional root scope.

### 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(S*C); history/snapshot/context and qa3 costs are external terms, not assumed constant. Story scans event metadata per frame O(F*V), 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.

### evidence

#### md correspondence evidence

2026-10-30, first epoch. Production behavior is unchanged; only native tests were appended.
Source binding and partial syntax are in manifest.json and syntax.json. Fragment
ranges bind named function envelopes; gaps and cross-fragment calls are described
in their models. This is not semantic AST analysis or general verification.

##### Repeated profiles

Command: `cargo test -p world --lib wave8_models -- --test-threads=1`,
and the same command with `--release`. Two successful debug runs and two
release runs each passed nine tests (four md and five tabular). Normalizing
to ordered test identities and results yielded identical bytes in all four:
SHA-256 `7c21f5bccd10b254d87e87ac68a2a048ccb9841f27afb70034f84fd6539bf404`.
Durations and compiler warnings were excluded; no speed claim follows.

Relative external run names: `octopus-wave8-formats-2026-10-30/debug1-restored.log`,
`debug2.log`, `release1.log`, `release2.log` and corresponding
`.normalized` files. Raw logs are outside the repository.

##### Finite domains

Markdown: 259 unique strings over six scalars through length three, independent
scalar expansion oracle, exact two-element newline/space fiber, and a
non-idempotence witness. Empty v2/no-Story and v3 reports check fallback,
diagnostics and eight ordered sections/root suffix. These do not exercise
nonempty registry/state/history rendering or arbitrary qa3 behavior.

CSV: 343 quoted three-field records over seven LF-free fields roundtrip through
an independently defined encoder. Four encodings/unbalanced quote forms share
one parsed result; multiline helper acceptance is explicitly distinct from
physical-line file reading. Feature checks cover 12/13/20 distinct finite
numeric values, categorical unknown loss, raw age override, a three-person
family graph and nine ternary known-outcome assignments. A twenty-row decision
list witness checks tie priority, one-rule cap, default and first-match behavior.
These tests do not evaluate corpus quality, IO, full CV or external models.

##### Compiled controls

One compiled test binary contained two production mutations: cell LF replacement
space to underscore, and quartile comparison greater-than to greater-or-equal.
Named assertions `md::wave8_models::cell_bounded_oracle_and_loss_fibers` and
`tabular::wave8_models::numeric_quartiles_and_category_threshold` failed;
the remaining seven tests passed. Both sources were restored before any result
assertion; a subsequent native run passed all nine.
Raw `mutants.log` SHA-256:
`7f4658d1349eba594b5d73f11d047f592ef8941cec1f52143e75cd83284b71e3`.

##### Source and structural checks

Two independently generated syntax projections per file matched byte-for-byte.
This file's syntax SHA-256:
`d4088d3c894f971b4335258cac57a0ec8d2645d0f033bff750a408c5aad18174`.
An external copy of the complete registry with these two entries found no
diagnostics in either file tree. Its only three diagnostics were the expected
root child-list mismatch and two missing transitive root source bindings.
Ancestor/registry integration belongs to the parent task; global validity is
not claimed here. A minimal registry was unsuitable because validation scans
other existing sidecars; that failed setup was replaced with the full copy.

##### Epoch correction and limits

The first debug run passed eight tests and failed the fallback fixture:
World::new initializes Story even in v2. The fixture now explicitly removes
Story; production behavior was correct and unchanged. The model conditions
fallback on Story absence, not v2 mode. Preserve that distinction in parent wiring.

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.
No live teacher, parser loading, GPU, training data or network operation was used.
Mathematical views are source-derived hypotheses supported by these finite
observations; no executable percentage-error surrogate is justified.