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

# corpus-register-counting

The groupant beside world/src/register.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/register.rs`](https://github.com/ElamurAI/mova-free/blob/main/world/src/register.rs)
- **source SHA-256:** `3e3f7b17b9e68917…`
- **covers:** counts and count_body, with events::book_body dependency.
- **part of:** [corpus-register](https://md.groupants.elamur.ai/free/en/mova/world/src/register.rs.groupant/)
- **repository folder:** [`world/src/register.rs.groupant/counting.groupant`](https://github.com/ElamurAI/mova-free/tree/main/world/src/register.rs.groupant/counting.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) |
| `byte-length` | admission_partition | partial source derived model | [byte-length](#byte-length) |
| `additivity` | conservation_relation | partial source derived model | [additivity](#additivity) |
| `read-skip` | failure_projection | partial source derived model | [read-skip](#read-skip) |

## Model text


### descriptant

## corpus-register-counting

counts and count_body, with events::book_body dependency.

### Forward

Fold readable bodies into additive lowercase histograms and totals. Alphabetic token boundaries precede byte-length admission.

### Invariant

For count_body, the total increment equals the sum of histogram increments without overflow. counts starts from zero, so returned total equals sum counts. Each increment represents one original alphabetic run with UTF-8 byte length > 1, keyed by its Unicode lowercase result. Admission precedes lowercase; combining characters may appear afterward. Token order is discarded.

### Cost

O(bytes+tokens log V), storage O(V+largest file).

### Composition

This fragment has no children. counts reads each path, applies events::book_body and accumulates count_body deltas. Failed reads add nothing. The root passes maps/totals to ranking; this fragment computes no z score or row order.

### Epoch memory

2026-10-30. Native exact histograms confirm ASCII singleton exclusion, multibyte-letter admission and lowercase expansion. A second fixture checks marker stripping and separate-body addition. Review removed inherited event-role and ranking invariants. No executable approximation/error-cap claim.

### Gaps

Syntax is source-bound and partial: macro expansion, names/types, cfg evaluation and external modules absent. Native fixtures exercise pure helpers and body slicing. Filesystem errors, invalid UTF-8 reads, formatted nonfinite rates and overflow remain unexecuted; large-count behavior has one targeted witness, not exhaustive coverage. No parser/annotator, sentence-splitting, live corpus, teacher or GPU execution is involved.

### catalog

## corpus-register-counting typed models

Subject: source hash in manifest, epoch 2026-10-30. Scope: counts and count_body, with events::book_body dependency.. 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=(body,delta,total). Excludes digit-bearing admitted token and total unequal to sum deltas. Oracle native Unicode/count fixture.

### antecedents

Type: reverse_reconstruction.

Histogram admits all token sequences whose lowercase classes have exact multiplicities, plus discarded singleton ASCII and separators that do not merge tokens. Oracle proposed permutations.

### byte-length

Type: admission_partition.

Single multibyte alphabetic scalars pass; ASCII singleton letters fail. Lowercase expansion happens after test. Oracle é/É/İ/A fixture.

### additivity

Type: conservation_relation.

Separate bodies A then B give delta(A)+delta(B). Byte concatenation needs separator or a token can merge. Oracle native two-body fold.

### read-skip

Type: failure_projection.

Unreadable/non-UTF-8 path contributes zero, indistinguishable from empty body in count output. Attempted/read book counts unrecoverable. Oracle source-only.