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

# world-school-persistence-publication

The groupant beside world/src/school.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/school.rs`](https://github.com/ElamurAI/mova-free/blob/main/world/src/school.rs)
- **source SHA-256:** `06aaec6f562c2acc…`
- **covers:** Scratch stamp hashes student.tsv and verbs.tsv. Proposal checks selected elementary lessons and writes verdict/stamp. Graduation checks those strings, exports school.tsv, saves state and publishes brain/trigger text. Prune removes matched current/acc keys together. HTML and CLI route filesystem-facing behavior; these entry points remain opaque. (bytes 158586–184072)
- **part of:** [world-school](https://md.groupants.elamur.ai/free/en/mova/world/src/school.rs.groupant/)
- **repository folder:** [`world/src/school.rs.groupant/persistence-publication.groupant`](https://github.com/ElamurAI/mova-free/tree/main/world/src/school.rs.groupant/persistence-publication.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-school-persistence-publication-behavior-complement` | behavior_complement | partial source model | [behavior-complement](#behavior-complement) |
| `world-school-persistence-publication-reverse-reconstruction` | reverse_reconstruction | partial source model | [reverse-reconstruction](#reverse-reconstruction) |
| `world-school-persistence-publication-coupling` | constraint_relation | partial source model | [coupling](#coupling) |
| `world-school-persistence-publication-observation-fiber` | information_loss | partial source model | [observation-fiber](#observation-fiber) |

## Model text


### forward

Scratch stamp hashes student.tsv and verbs.tsv. Proposal checks selected elementary lessons and writes verdict/stamp. Graduation checks those strings, exports school.tsv, saves state and publishes brain/trigger text. Prune removes matched current/acc keys together. HTML and CLI route filesystem-facing behavior; these entry points remain opaque.

### invariant

Graduation checks current scratch hash/text, not cryptographic provenance. as_state_file exports w and table verb effects, omitting acc and Actors votes, so full retained prediction is not certified. Site/CLI metadata and I/O have no native fixture coverage.

### cost

Proposal includes testing; graduation includes state/brain/trigger I/O. Avoid double-counting codec costs. HTML formatting scales with loaded bytes plus directory sorting; crash consistency and latency unmeasured.

### composition

Student save writes scratch current/acc rows via to_tsv; graduation separately projects as_state_file then state::save_with_letter. These are distinct persistence contracts. Parent codec joins validate supplied TSV only. No proposal/reset/prune/site/filesystem action was invoked.

### epoch-memory

2026-10-30 initial school source-bound epoch. Prospective model: keep O(1) arithmetic/partition cost, widen aggregation scalars, and expose actual codecs without filesystem effects. Old native witnesses found unchecked operation, score, marginal vote, partition and duplicate-vote arithmetic; legacy serialization synthesized zero accumulators. Review found that dropping explicit zero accumulators also changed the prediction table. Both activation directions now have named tests. No speedup, approximate-error profile or general semantic proof is claimed. Unchecked update/world arithmetic retains representability premises.

### checks

cargo test -p world --lib school::wave12_models -- --test-threads=1. Root evidence.md binds exact source/evidence hashes, repeated debug/release outcomes and a compiled production mutation. Named fixture domains appear in composition. Syntax is a source-bound partial projection; macros remain opaque. No semantic AST or live school execution.

### behavior-complement

Subject/revision: manifest hash and byte scope. Universe: supplied finite inputs, fixed dependencies, successful allocation and the explicit arithmetic premises of this scope. Inner absent-behavior relation: Source-derived conditional rule: missing pass substring or mismatched current stamp returns error before graduation publication. Under prune, matching feature/pair keys cannot remain in either map. Secure approval and atomic multi-file publication are not established. These are source-derived constraints with finite named witnesses where indicated; external behavior remains unknown.

### reverse-reconstruction

Subject/revision: manifest hash. Operator: compatible preimage/converse, holding dependencies and admissibility fixed. A published current-weight file admits many accumulated states and actor vote maps. FNV stamps admit collisions, while summaries and escaped display lose raw history. Thus publication cannot reconstruct prior averaged predictions or authentic review events. Partial relational description, not a complete inverse search or a unique causal history.

### coupling

Subject/revision: manifest hash. Constraint relation on stage identities and ordered intermediate states: Student save writes scratch current/acc rows via to_tsv; graduation separately projects as_state_file then state::save_with_letter. These are distinct persistence contracts. Parent codec joins validate supplied TSV only. No proposal/reset/prune/site/filesystem action was invoked. Supplied native joins and source inspection are distinct evidence.

### observation-fiber

Subject/revision: manifest hash. Domain: scoped inputs with the declared observation. The information-loss relation equates inputs whose observation agrees: Same w with different acc yields one graduation export despite potentially different answers. This longstanding gap remains explicit instead of being labeled fresh-process retention verification. Finite tests do not establish unrestricted completeness.