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

# number-reading

The groupant beside world/src/numbers.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/numbers.rs`](https://github.com/ElamurAI/mova-free/blob/main/world/src/numbers.rs)
- **source SHA-256:** `41e5c848b76cd85b…`
- **covers:** Accumulate cur/total according to accepted kinds; ordinal terminates and scale flushes max(cur,1)*v. (bytes 6800–9778)
- **part of:** [number-normalization](https://md.groupants.elamur.ai/free/en/mova/world/src/numbers.rs.groupant/)
- **repository folder:** [`world/src/numbers.rs.groupant/reading.groupant`](https://github.com/ElamurAI/mova-free/tree/main/world/src/numbers.rs.groupant/reading.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` |
| **composition** | partial | [Composition](#composition) |
| **cost** | symbolic unmeasured | [Cost](#cost) |
| **descriptant** | present | `model.md` |
| **invariant** | partial | [Invariant](#invariant) |
| **tests** | bounded evidence | [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 |
|---|---|---|---|
| `nonbehavior` | behavior_complement | partial source derived model | [nonbehavior](#nonbehavior) |
| `antecedents` | reverse_reconstruction | partial source derived model | [antecedents](#antecedents) |
| `scale-accumulator` | state_transition | partial source derived model | [scale-accumulator](#scale-accumulator) |
| `and-bridge` | reachability_precondition | partial source derived model | [and-bridge](#and-bridge) |

## Model text


### descriptant

## number-reading

### Forward

Accumulate cur/total according to accepted kinds; ordinal terminates and scale flushes max(cur,1)*v.

### Invariant

Some word parse has used>0; nonoverflowing arithmetic assumed, no descending-scale guarantee.

### Cost

O(k*V) lookups for consumed k tokens with fixed V.

### Composition

Digit/word readers are alternative branches; caller lowercases and separately applies fraction/context guards.

### Epoch memory

2026-10-29: source-derived initial model, source hash 41e5c848b76cd85ba99f84746d76099707d968957fb1b8774e8a35def2b23ec6. Scope envelope [6800,9778) is anchored to selected partial syntax nodes, not semantic proof or full coverage. Runtime source unchanged. AST omits macros expansion, name resolution, inferred types and cfg evaluation. Generated dictionary/global tables are fixed dependencies not bound by this file hash. Catalog false-formula controls and boundary observations refine claims without modifying production.

### catalog

## number-reading typed models

Epoch 2026-10-29; subject numbers.rs, SHA-256 41e5c848b76cd85ba99f84746d76099707d968957fb1b8774e8a35def2b23ec6. Domain is the bounded calls/traces stated below; observation horizon is one invocation unless explicitly a trace. Fixed compiled global/dictionary tables, successful allocation, unpoisoned locks and nonoverflowing arithmetic are assumptions. Every relation is a partial source-derived specification; Rust correspondence beyond recorded checks remains open. Behavior complements target U minus R and restrictions are candidate inner bounds, not proven complements. Reverse relations preserve all compatible antecedents. Hash traversal is an explicit hidden input for values.

### nonbehavior

Type: behavior_complement. Domain, observation and operator: U=tagged bounded word-token or digit requests x typed results; R=reader transition. Candidate U minus R includes successful zero-token consumption and digit success with arbitrary alphabetic suffix.

Evidence/falsification: Existing and probe digit fixtures. See root evidence.md for executed cases; proposed checks remain unexecuted. Status: partial source-derived model with bounded evidence only.

### antecedents

Type: reverse_reconstruction. Domain, observation and operator: Value fibers include a hundred/one hundred, comma digit aliases and four ordinal suffix spellings independent of number. API tag and used count constrain but do not uniquify antecedents.

Evidence/falsification: Probe selected aliases. See root evidence.md for executed cases; proposed checks remain unexecuted. Status: partial source-derived model with bounded evidence only.

### scale-accumulator

Type: state_transition. Domain, observation and operator: Scale sets total'=total+max(cur,1)*v,cur'=0; hundred sets cur'=max(cur,1)*100. Kind fits can admit unconventional scale ordering; not full English grammar.

Evidence/falsification: Generated short kind traces proposed. See root evidence.md for executed cases; proposed checks remain unexecuted. Status: partial source-derived model with bounded evidence only.

### and-bridge

Type: reachability_precondition. Domain, observation and operator: and skips only after Hundred/Scale before Unit/Teen/Tens. a starts only before hundred/thousand/million/dozen, excluding billion. Neither bridge alone updates used.

Evidence/falsification: Existing hundred-and-five; a-billion oracle proposed. See root evidence.md for executed cases; proposed checks remain unexecuted. Status: partial source-derived model with bounded evidence only.


### tests

#### Checks

Root evidence.md records direct real-source Rust tests and bounded probes, including false-formula rejection. Catalog checks marked proposed remain unexecuted. Syntax/manifest validation checks identity and structure only. No GPU, live teacher, full application run or general proof.