---
title: "world-mind — Mova code model"
description: "Mova code model of world/src/mind.rs: components with their labels, obernants and the model text."
url: "https://groupants.elamur.ai/free/en/mova/world/src/mind.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/mind.rs.groupant/>

# world-mind

The groupant beside world/src/mind.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/mind.rs`](https://github.com/ElamurAI/mova-free/blob/main/world/src/mind.rs)
- **source SHA-256:** `d83c8c3b03e9b7c2…`
- **repository folder:** [`world/src/mind.rs.groupant`](https://github.com/ElamurAI/mova-free/tree/main/world/src/mind.rs.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-mind-behavior-complement` | behavior_complement | partial source model | [behavior-complement](#behavior-complement) |
| `world-mind-reverse-reconstruction` | reverse_reconstruction | partial source model | [reverse-reconstruction](#reverse-reconstruction) |
| `world-mind-coupling` | constraint_relation | partial source model | [coupling](#coupling) |

## Parts

- [world-mind-line-projection](https://md.groupants.elamur.ai/free/en/mova/world/src/mind.rs.groupant/line-projection.groupant/)
- [world-mind-reply-state-io](https://md.groupants.elamur.ai/free/en/mova/world/src/mind.rs.groupant/reply-state-io.groupant/)

## Model text


### model

## world-mind

### forward

Define P(text) by trimming lines, dropping empty lines and lines beginning '#', removing repeated '- ' prefixes, then concatenating babi::split_sentences outputs in line order. For tell let P=[s1,...,sk], S0=S and D contain actual returned read(Si-1,si)=(Si,ri). Fold Ok(None) into a success count; append (si,reason) for Ok(Some(reason)) or Err(error), with errors converted by Display. T(S,text,D)=(Sk,ok,gaps); no rollback is added.

For reply let q=trim(line). If q ends in '?', ask(S,q): Ok((a,w)) with a!='?' renders `a. Because: w`; sentinel a='?' renders `I do not know: w`; error renders `I do not know: e`. Otherwise T supplies the outcome: no gaps renders `Understood (k sentence[s]).`, singular exactly when k=1; gaps render `I do not understand: ` followed by ordered `«sentence» — reason` entries joined with `; `. Tags and D are model witnesses, not runtime String fields.

Nonempty Story paths are conditional source inspection. Native checks execute P and empty-projection tell/reply with seeded identity and state-lines observations.

### invariant

P retains segment order. Returned tell has ok+|gaps|=|P| and exact sentence/reason pairings. P=[] invokes no read, so T=(S,0,[]) and a nonquestion reply is exactly `Understood (0 sentences).`. Nonempty final state follows dependency transitions, including any effects on error/gap outcomes. Text output establishes neither truth nor durable state.

### cost

For B input bytes and k projected sentences, O(B+output bytes) projection/formatting plus k opaque read costs or one ask cost. Projection/gap/output storage is O(B+output bytes), excluding dependency state. Parser cost and I/O waiting are unmeasured.

### composition

Source callers: main dispatches probe/serve/say; family preserves each Member Story, sets identity before tell, broadcasts statements and ignores tell gaps; worldbook::perceive uses ok+gaps.len as projected sentence count then separately classifies gaps as knowledge. Native public join: set_me -> tell/reply on zero projected sentences -> unchanged Story::state_lines and preserved identity (same name accepted, different name rejected). Nonempty Story read/ask remains opaque; no parser has been invoked for these checks.

### epoch-memory

2026-10-30: initial source-bound review. Prospective cost model predicts no asymptotic change: selection helper extraction preserves sorting and cloning; list repair replaces one scalar division with checked division. Old zero-limit native witness divides by zero. Final implementation returns a nonzero stride and take(0) produces no rows. Mind production behavior is unchanged. No surrogate, speed or full-system correctness claim.

Follow-up modeling epoch: source-specific tagged transition exclusions and ambiguous preimages replace generic root statements. Source bytes and native evidence are unchanged.

### checks

cargo test -p world --lib mind::wave12_models -- --test-threads=1. File evidence.md binds repeated native profiles and compiled production controls. Partial syntax leaves macros opaque; source-bound syntax is not semantic AST verification.

### behavior-complement

Domain and observation scope: Tagged project(text), tell(S,text,D), reply(S,line,D), with finite text and actual returned Story dependency trace D at a fixed revision. Socket/probe effects lie outside this relational slice.

U consists of the tagged scoped inputs, actual dependency witnesses and arbitrary candidate outputs/states. R is given by the forward equations; U minus R is the scoped complement conditional on D matching the real dependency. Relative to the full module this is an inner absent-behavior slice, with socket/probe and unreturned calls excluded.

Excluded candidates include contributions from filtered blank/heading lines, reordered retained segments, a tell count/gap pairing inconsistent with the returned read trace, state changes or nonzero counts/gaps for P=[], an ask branch on a nonquestion or tell branch on a trailing '?', and reply counts/singular suffix/gap order differing from the formatting equations. Read errors are gaps, not counted successes. This imposes no additional state semantics on opaque nonempty Story calls.

49 projection pairs, heading-order fixtures and three seeded empty-projection cases exercise selected exclusions. Nonempty read/ask/error/question behavior remains source-inspected.

### reverse-reconstruction

For tagged y retain every (operation,input,S,D) with the same tag and R(input,S,D,y). A projected vector admits all texts with exactly that P, including arbitrary discarded headings/blank lines and compatible whitespace/bullet variants. A tell result (S',ok,gaps) retains all segment vectors and compatible read traces ending at S', containing exactly ok successful outcomes and exactly the observed ordered sentence/reason pairs. Successful sentences and intermediate states remain ambiguous; P=[] requires S'=S and (0,[]).

Reply fibers preserve the input's exact trailing-question predicate and corresponding ask-result or tell-fold equation, including sentinel handling and formatting. A runtime String lacks the model tag: reconstructing from only text takes the union over compatible branches/results, never infers a unique branch merely from English phrasing. Identity/state-lines are partial state observations. No complete solver or recovery of hidden Story facts is claimed.

### coupling

Source callers: main dispatches probe/serve/say; family preserves each Member Story, sets identity before tell, broadcasts statements and ignores tell gaps; worldbook::perceive uses ok+gaps.len as projected sentence count then separately classifies gaps as knowledge. Native public join: set_me -> tell/reply on zero projected sentences -> unchanged Story::state_lines and preserved identity (same name accepted, different name rejected). Nonempty Story read/ask remains opaque; no parser has been invoked for these checks.

Typed entries bind the manifest source revision, this section's domain/operator/observation, and the named finite checks. Status is partial source-derived model. No complete reconstruction search, universal proof or factual-truth guarantee is claimed.

### evidence

#### Native evidence, 2026-10-30

Final source SHA-256: `d83c8c3b03e9b7c29f29db9c67dcd15b7c1c5d2a413ef6bb93958cbaf4b78936`.

Six selected native tests (three per source) pass twice in debug and twice in release with identical normalized test names/results. Command: `cargo test -p world --lib [--release] wave12_models -- --test-threads=1`. This is not the full world suite. Existing unrelated compiler warnings remain; no whole-world Clippy claim.

Mind checks include 49 pairwise literal segmentation fixtures, heading/bullet order and three zero-projection public tell/reply inputs preserving supplied identity and state-lines observations. Principles checks include eight polarity templates with provenance/frequency/count information-loss probes, 40 subset/limit selections preserving first duplicate source, and 400 list-stride cases including zero limits.

Old-code witness `principles::wave12_models::zero_list_limit_has_no_division` panics on division by zero after extracting the unchanged arithmetic. The repair uses checked division and preserves positive-limit sampling. Zero-limit CLI loading remains opaque; no speedup is inferred.

Compiled production controls: removing mind's heading filter fails `mind::wave12_models::line_projection_finite_oracle`; reversing principles' key comparison fails `principles::wave12_models::pending_finite_subset_order_and_stable_provenance`. Each fails an equality assertion, not compilation; exact source bytes are restored and the named test passes.

Repeated syntax projections and structural reports are byte-identical. External full-base registry scaffold validates both file trees with no diagnostics; its absent scaffold sidecar is intentional. Changed-source registration covers both owned sources. Root owns integrated ancestry. New test modules were rustfmt-formatted independently; broad legacy formatting was avoided; diff whitespace passes.

Raw logs are retained under `$MOVA_DATA/runs/octopus-wave12-mind-2026-10-30/`. Log hashes:

- `final-debug1.log`: `0cbbbb8401fe96d544a442052b3d0d7a3be5c7d05db8f8ae2604194cadf7d761`
- `final-debug2.log`: `b98e07739321432f58c9695f232147a9b35750ea77689065b2107e529b935274`
- `final-release1.log`: `69449e455ac0ec346457ada540373ec07bb4f1c70955fd83a2c666d5238e0f82`
- `final-release2.log`: `813d1bb163cad9572f2cc16631529e0b5a03c7427b761d6c1c6fdb733c532bec`
- `old-witness.log`: `0318bb3c85d5788d176dd55f2d292d0eb60c331693ed1d6bbc62303643ba3836`
- `mutant-mind.log`: `20c9d2b3f65a6d968a2566e699417c51fbb58c59edee36d4be826a4cebc024a8`
- `mutant-principles.log`: `12b3036aa3279cd09150154c73f091547ee500f29ab59944a75d3b73cd81bf25`
- `restored-mind.log`: `9b6644eda28d38931969b429528e99ed9d08205c86aa37420d09996f549fd9e1`
- `restored-principles.log`: `4fbb1d8076541c63a8909a56c92db63a7b266f479cd9630089f6eb5cf7d27653`
- `final-groupants1.json`: `7217ce6f629c6b4acc6cd89f0452593a8eae084f0274c88720c42d070335b150`
- `changed.json`: `d9456b7ed39861a4ff996507c17d6f43dc38f58387a418a72c61f5b075cdb0ac`

No parser, teacher, socket, live course or durable-state operation was executed. Public pure joins are supplied Fact to statement, and Story set_me plus empty tell/reply plus state_lines. Private pending_with tests use supplied checked keys; they do not validate checked-file reads. Family/worldbook call sites are inspected only. Teacher T is a judgment rather than an independent truth oracle; key/prose projection loses frequency, count and provenance. Unescaped pipe-key collisions and multi-file partial commits remain explicit limitations.