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

# latex-tomath-emission

The groupant beside latex/src/tomath.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:** [`latex/src/tomath.rs`](https://github.com/ElamurAI/mova-free/blob/main/latex/src/tomath.rs)
- **source SHA-256:** `794488f6ec9ddcdf…`
- **covers:** from_expr emits with role-specific wrapping and unary function arity checks. fold_literals recurses and folds integer Div(p,q) when p>=0, q>1, Rat construction succeeds and the normalized numerator equals p; Div(0,2) therefore folds to zero despite reducibility. roundtrip runs all stages then folded equality. (bytes 17925–23885)
- **part of:** [latex-tomath](https://md.groupants.elamur.ai/free/en/mova/latex/src/tomath.rs.groupant/)
- **repository folder:** [`latex/src/tomath.rs.groupant/emission.groupant`](https://github.com/ElamurAI/mova-free/tree/main/latex/src/tomath.rs.groupant/emission.groupant)
- **repository commit:** `48f2e6f74146`

> **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) |
| **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) |
| `wrapping` | wrapping | partial source derived model | [wrapping](#wrapping) |
| `fold` | fold | partial source derived model | [fold](#fold) |
| `arity` | arity | partial source derived model | [arity](#arity) |
| `composition` | composition | partial source derived model | [composition (models)](#composition-models) |

## Model text


### descriptant

#### latex-tomath-emission

from_expr emits with role-specific wrapping and unary function arity checks. fold_literals recurses and folds integer Div(p,q) when p>=0, q>1, Rat construction succeeds and the normalized numerator equals p; Div(0,2) therefore folds to zero despite reducibility. roundtrip runs all stages then folded equality.

Epoch 2026-10-31: complete sources read before tests/model edits. Partial source-bound modeling; no production optimization or speed claim. Nested fragments share the parent lexical syntax. Caller/callee contracts outside owned files remain delegated.

### approximant

#### Forward relation

from_expr emits with role-specific wrapping and unary function arity checks. fold_literals recurses and folds integer Div(p,q) when p>=0, q>1, Rat construction succeeds and the normalized numerator equals p; Div(0,2) therefore folds to zero despite reducibility. roundtrip runs all stages then folded equality.

#### Domain and executable surrogate gap

Bounded UTF-8 inputs and synthetic local files; supported parser-produced trees and representable arithmetic. Arbitrary public constructors are not certified total. Exact categorical semantics lack a useful percentage surrogate; no executable approximant attachment. Future numerical profiles require an explicit metric, zero case, source/evidence binding and supported 1/2/5/10% cap. Failure/effect differences cannot count as numerical error.

### invariant

#### Invariant

For the scoped transition bytes [17925,23885): from_expr emits with role-specific wrapping and unary function arity checks. fold_literals recurses and folds integer Div(p,q) when p>=0, q>1, Rat construction succeeds and the normalized numerator equals p; Div(0,2) therefore folds to zero despite reducibility. roundtrip runs all stages then folded equality. Unsupported arity/function/construct errors rather than fallback. Structural true does not establish arithmetic definedness. Empty Add/Mul outside inverse domain.

#### Cost

Recursive Expr output/folding plus print/parse/inverse; proportional emitted structure except delegated parser/arithmetic.

Allocation failure, stack exhaustion and unchecked counter overflow have no additional certificate. No timing claim or global error bound.

### composition

#### Composition

from_expr emits with role-specific wrapping and unary function arity checks. fold_literals recurses and folds integer Div(p,q) when p>=0, q>1, Rat construction succeeds and the normalized numerator equals p; Div(0,2) therefore folds to zero despite reducibility. roundtrip runs all stages then folded equality.

For the scoped transition bytes [17925,23885): from_expr emits with role-specific wrapping and unary function arity checks. fold_literals recurses and folds integer Div(p,q) when p>=0, q>1, Rat construction succeeds and the normalized numerator equals p; Div(0,2) therefore folds to zero despite reducibility. roundtrip runs all stages then folded equality. Unsupported arity/function/construct errors rather than fallback. Structural true does not establish arithmetic definedness. Empty Add/Mul outside inverse domain.

Parser, printer, AST equality, Macros, Rat and evaluator dependencies retain their own contracts. Structural roundtrip is not arithmetic definedness or numeric truth. Exact lexical binding does not prove caller/callee semantics.

### models

### behavior_complement

Unsupported arity/function/construct errors rather than fallback. Structural true does not establish arithmetic definedness. Empty Add/Mul outside inverse domain.

### reverse_reconstruction

Presentation chosen, original source unrecoverable; folded Rat/Div joins some representations. Unsupported Expr has no successful image.

### wrapping

Sub wraps additive/negative RHS; Mul additive/negative/nested-mul; Pow nonbare bases.

### fold

p>=0 integer q>1 and numerator unchanged; reducible2/4 stays Div.

### arity

Zero/multi args reject before function support.

### composition (models)

True iff folded back equals folded input after fallible stages; not numerical equality.


### tests

#### Selected evidence

cargo test -p latex --features math --test bridge

Two debug/two release executions retained matching sorted named outcomes. External wave28 latexbridge receipts retain numeric exits, compiled assertion controls, restoration, feature checks and source-test map. This scope is not exhaustive branch coverage; parent tests may only exercise some child transitions. Frozen VMM DATA/classification/hash subprocess, live corpus, teacher/API, training/GPU excluded. Reexport/feature compilation is separate from runtime semantics.