---
title: "world-md-cells — 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/cells.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/cells.groupant/>

# world-md-cells

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_fragment
- **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…`
- **covers:** cell, mentions, ids, delta_str and snap_str (bytes 361–2331)
- **part of:** [world-md](https://md.groupants.elamur.ai/free/en/mova/world/src/md.rs.groupant/)
- **repository folder:** [`world/src/md.rs.groupant/cells.groupant`](https://github.com/ElamurAI/mova-free/tree/main/world/src/md.rs.groupant/cells.groupant)
- **repository commit:** `855da7bd4a7b`

> **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-cells-behavior-complement` | behavior_complement | partial source model | [behavior-complement](#behavior-complement) |
| `world-md-cells-reverse-reconstruction` | reverse_reconstruction | partial source model | [reverse-reconstruction](#reverse-reconstruction) |
| `world-md-cells-cells-coupling` | constraint_relation | partial source model | [cells-coupling](#cells-coupling) |

## Model text


cell, mentions, ids, delta_str and snap_str

### forward

String and snapshot helpers project IDs/state to display strings; cell normalizes LF and escapes pipe, mentions/ids use em dash for emptiness.

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

### cells-coupling

Type: constraint_relation. Lossy helper fibers include newline/space and omitted Type/Class; dependency label collisions enlarge fibers. 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

String and snapshot helpers project IDs/state to display strings; cell normalizes LF and escapes pipe, mentions/ids use em dash for emptiness. Lossy helper fibers include newline/space and omitted Type/Class; dependency label collisions enlarge fibers.

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