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

# corpus-events-publication

The groupant beside world/src/events.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 derived instance
- **source:** [`world/src/events.rs`](https://github.com/ElamurAI/mova-free/blob/main/world/src/events.rs)
- **source SHA-256:** `3a58733b8be1a9bb…`
- **covers:** BookStats, book_stats, top, book_json, run and indexed show.
- **part of:** [corpus-events](https://md.groupants.elamur.ai/free/en/mova/world/src/events.rs.groupant/)
- **repository folder:** [`world/src/events.rs.groupant/publication.groupant`](https://github.com/ElamurAI/mova-free/tree/main/world/src/events.rs.groupant/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 | [Forward](#forward) |
| **ast** | partial | `../syntax.json` |
| **cost** | partial | [Cost](#cost) |
| **descriptant** | present | `model.md` |
| **invariant** | partial | [Invariant](#invariant) |
| **tests** | bounded native checks | `../model.md#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 |
|---|---|---|---|
| `nonbehavior` | behavior_complement | partial source derived model | [nonbehavior](#nonbehavior) |
| `antecedents` | reverse_reconstruction | partial source derived model | [antecedents](#antecedents) |
| `support-count` | document_frequency | partial source derived model | [support-count](#support-count) |
| `tail-fiber` | truncation_relation | partial source derived model | [tail-fiber](#tail-fiber) |
| `partial-write` | failure_trace | partial source derived model | [partial-write](#partial-write) |
| `indexed-display` | lookup_relation | partial source derived model | [indexed-display](#indexed-display) |

## Model text


### descriptant

## corpus-events-publication

BookStats, book_stats, top, book_json, run and indexed show.

### Forward

Count events and original sentence postings; summarize roles and symmetric interactions; pool successful books under mutexes then sort final rows after joining.

### Invariant

First-match selection and sentence indices preserve source order. Count ties have canonical key order. Arithmetic assumes no integer overflow; IEEE NaN is filtered only by the source comparison. Counts retain role multiplicity, not unique entities.

### Cost

O(B log D+D log D), output/posting storage O(B); excludes parser and IO.

### Composition

Declared child relations compose through the same body, token arrays, maps and ranked records. Reverse composition existentially retains these intermediate values; complements cannot simply be unioned. Shared work is counted once. Parser and filesystem state remain latent dependencies.

### Epoch memory

2026-10-30 prospective prediction: native fixtures match marker reversal, first-role masking, Unicode byte admission, role multiplicity and degenerate NaN behavior. These are characterized, not policy changes. Only private register helpers were extracted; event production logic is unchanged. No executable approximation/error-cap claim is made.

### Gaps

Syntax is source-bound and partial: macro expansion, names/types, cfg evaluation and external modules absent. No live IO/parser/corpus/teacher/GPU run. Filesystem traces, thread scheduling, tokenizer/annotator/repair and external sentence splitting beyond bounded fixtures remain unverified dependencies. Models do not certify complete logical semantics.

### catalog

## corpus-events-publication typed models

Subject: source hash in manifest, epoch 2026-10-30. Scope: BookStats, book_stats, top, book_json, run and indexed show.. Domain: terminating Rust calls without integer overflow, narrowed below. Models are partial source-derived relations, not proofs. Complement is an inner bound in the stated input/output universe. Reconstruction retains all compatible antecedents, not a unique inverse. Oracle status is explicit below; tests.md records executed coverage.

### nonbehavior

Type: behavior_complement.

U=(BookStats,JSON). Excludes events_total not sum counts, empty actor keys and incorrect tie ordering. Oracle native aggregation.

### antecedents

Type: reverse_reconstruction.

JSON admits maps matching capped top-30 actor/interactions and top-60 rendered events plus sentence/total values. Tail, sentence allocation and show-string collisions remain ambiguous. Oracle proposed truncated-tail changes.

### support-count

Type: document_frequency.

Per-book map increments event documents once; cells first collapse multiple events sharing cell. Bound is successful input instances, not unique stems. Oracle proposed map composition.

### tail-fiber

Type: truncation_relation.

Given top-k L, omitted keys must rank after L by (-count,key); n=0 yields empty. Oracle native tie/truncation; zero cap proposed.

### partial-write

Type: failure_trace.

Per-book failed writes can coexist with successful totals; final write Err can follow earlier successful publications. Files do not uniquely reconstruct completion trace. Oracle source-only.

### indexed-display

Type: lookup_relation.

show uses precisely sentences(book_body(read_utf8)); indices repeated or out of bounds preserve order, missing maps '?'. Read failure propagates. Oracle source-only; no filesystem exercise.