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

# world-family

The groupant beside world/src/family.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/family.rs`](https://github.com/ElamurAI/mova-free/blob/main/world/src/family.rs)
- **source SHA-256:** `1adc6d432b9de7ea…`
- **repository folder:** [`world/src/family.rs.groupant`](https://github.com/ElamurAI/mova-free/tree/main/world/src/family.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 | [approximant](#approximant) |
| **ast** | partial | `syntax.json` |
| **composition** | partial | [composition](#composition) |
| **cost** | partial | [cost](#cost) |
| **descriptant** | present | [descriptant](#descriptant) |
| **invariant** | partial | [invariant](#invariant) |
| **tests** | executed bounded checks | [tests](#tests) |

## 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 |
|---|---|---|---|
| `behavior_complement` | behavior_complement | partial source derived model | [behavior_complement](#behavior-complement) |
| `reverse_reconstruction` | reverse_reconstruction | partial source derived model | [reverse_reconstruction](#reverse-reconstruction) |
| `world_family_invariants` | world_family_invariants | partial source derived model | [world_family_invariants](#world-family-invariants) |
| `world_family_resource_cost` | world_family_resource_cost | partial source derived model | [world_family_resource_cost](#world-family-resource-cost) |
| `world_family_representation_join` | world_family_representation_join | partial source derived model | [world_family_representation_join](#world-family-representation-join) |
| `world_family_domain_partition` | world_family_domain_partition | partial source derived model | [world_family_domain_partition](#world-family-domain-partition) |

## Parts

- [world-family-scoped-rules](https://md.groupants.elamur.ai/free/en/mova/world/src/family.rs.groupant/scoped-rules.groupant/)
- [world-family-pool-codec](https://md.groupants.elamur.ai/free/en/mova/world/src/family.rs.groupant/pool-codec.groupant/)

## Model text


### descriptant

#### world-family

serve removes/binds socket, rejects reserved names, logs input then indirect/live commands before training motion gate. explore pools changes sorted gd+gh descending/description, promotes requested then hints, picks<=3 distinct label pairs with same scope/source. Gold admission p<.1,gh>0; big p<.01,gh>=0. Rule child guard own LAS gain>=.02, other loss<=.05, own/origin drift<=.01, other/origin<=.05; big/knob separate branches.

##### Modeling epoch 2026-10-31

Prospective source/branch/cost hypotheses were saved externally before source edits. This partial source-derived model retains observed boundaries rather than claiming complete verification. No live channel, exploration, pool/negative-file persistence or state transition evidence; no surrogate.

### approximant

#### Forward relation

serve removes/binds socket, rejects reserved names, logs input then indirect/live commands before training motion gate. explore pools changes sorted gd+gh descending/description, promotes requested then hints, picks<=3 distinct label pairs with same scope/source. Gold admission p<.1,gh>0; big p<.01,gh>=0. Rule child guard own LAS gain>=.02, other loss<=.05, own/origin drift<=.01, other/origin<=.05; big/knob separate branches.

Domain: Actual tests only pure scoped adapters/codecs/name fence. No serve/message/train/state/corpus/teacher effects.

No executable percent surrogate: these categorical/effect observations lack a useful approximation metric. Future supported caps1/2/5/10% need a defined domain/metric and real reference evidence; no error or speed bound is claimed.

### invariant

Helper ordering deterministic; stop observed at step boundaries, not cancel active teacher. Mutex fields individual, pool read-modify-write not atomic across server/training. Unknown scope defaults domain, unknown valid opcode parses Remove.

Cost component: [cost.md](https://md.groupants.elamur.ai/free/en/mova/world/src/family.rs.groupant/#cost).

### cost

Scoped operations O(R*A) equality/cloning; pool O(P log P), picks<=3. Training entails repeated parser/guard/teacher work and writes, no bounded latency. Message throttle1second/member; arithmetic score/counter overflow unproved.

### composition

induce Change serialized with separate scope field; family enforces stronger significance than explore_all. big cached samples, know English brain rules, worldbook brain projection all join state updates; these have different loss/effect boundaries.

### models

### behavior_complement

D_real(sc) excludes nongeneral rules; D_tale admits all. Add cannot duplicate equal Rule in another scope or promote it. Replace cannot alter stored scope. Filename fence only tales-odd* or *-test stems; not a content-independence guarantee. Hot write precedes transition/guard; ignored rollback/write errors exclude transaction/durability guarantees.

### reverse_reconstruction

Remove preimage includes arbitrary removed-rule multiplicity/positions/scopes. Replace preserves scopes/positions but each new occurrence may originate from old or preexisting new. Chat outputs admit different suppressed repeat comments and truncated history. Applied pool status alone cannot reconstruct complete guard evidence/state.

### world_family_invariants

Helper ordering deterministic; stop observed at step boundaries, not cancel active teacher. Mutex fields individual, pool read-modify-write not atomic across server/training. Unknown scope defaults domain, unknown valid opcode parses Remove.

### world_family_resource_cost

Scoped operations O(R*A) equality/cloning; pool O(P log P), picks<=3. Training entails repeated parser/guard/teacher work and writes, no bounded latency. Message throttle1second/member; arithmetic score/counter overflow unproved.

### world_family_representation_join

induce Change serialized with separate scope field; family enforces stronger significance than explore_all. big cached samples, know English brain rules, worldbook brain projection all join state updates; these have different loss/effect boundaries.

### world_family_domain_partition

Actual tests only pure scoped adapters/codecs/name fence. No serve/message/train/state/corpus/teacher effects.

### tests

#### Finite actual-code evidence — 2026-10-31

Names: ["family::wave29_worldlearn::scoped_change_preserves_position_and_domain", "family::wave29_worldlearn::split_fence_and_label_pair_direction"]

Selected CPU command: CARGO_BUILD_JOBS=2 CARGO_TARGET_DIR=ISOLATED_TARGET cargo test --offline --locked -p world --lib --example retention_probe [--release] wave29_worldlearn -- --test-threads=1

15 selected cases passed twice debug and twice release with identical sorted names/outcomes, exits0. control-family: compiled source mutation failed with exit101; source restored byte-for-byte and15positive tests passed. No live teacher, corpus, state activation, GPU, or full-school run. Temporary synthetic files use unique process-id paths and are removed after passing tests.

No live channel, exploration, pool/negative-file persistence or state transition evidence; no surrogate.

Source SHA256: 1adc6d432b9de7eab360e1f4a64a10a2c846203a07aa7e6716c087f65cf1b873. Syntax generated independently twice and compared; lexical only, no semantic proof or CUDA compilation. Strict whole-crate Clippy was not repeated merely to reproduce existing dependency/source lints; Cargo warnings retained in receipts.