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

# latex-macros-stage2

The groupant beside latex/src/macros.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/macros.rs`](https://github.com/ElamurAI/mova-free/blob/main/latex/src/macros.rs)
- **source SHA-256:** `4253c16fd5f46f05…`
- **covers:** match_pattern walks pattern. Literal tokens must match next input (skip spaces unless literal Space). Param consumes a normal argument when followed by no literals, otherwise collect_until scans through whole groups until the delimiter suffix appears at depth0. Exactly one outer group is stripped from the captured argument. (bytes 8481–12754)
- **part of:** [latex-macros](https://md.groupants.elamur.ai/free/en/mova/latex/src/macros.rs.groupant/)
- **repository folder:** [`latex/src/macros.rs.groupant/stage2.groupant`](https://github.com/ElamurAI/mova-free/tree/main/latex/src/macros.rs.groupant/stage2.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 | [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) |
| `delimiter_suffix` | delimiter_suffix | partial source derived model | [delimiter_suffix](#delimiter-suffix) |
| `outer_group_quotient` | outer_group_quotient | partial source derived model | [outer_group_quotient](#outer-group-quotient) |

## Model text


### descriptant

#### latex-macros-stage2

match_pattern walks pattern. Literal tokens must match next input (skip spaces unless literal Space). Param consumes a normal argument when followed by no literals, otherwise collect_until scans through whole groups until the delimiter suffix appears at depth0. Exactly one outer group is stripped from the captured argument.

Epoch 2026-10-31: replaced stage topic lists with concrete transitions, exclusions and compatible antecedents. Four meaningful typed views replace the previous six-view bookkeeping catalog. Shared syntax and source byte bounds are unchanged.

### approximant

#### Scoped forward relation

match_pattern walks pattern. Literal tokens must match next input (skip spaces unless literal Space). Param consumes a normal argument when followed by no literals, otherwise collect_until scans through whole groups until the delimiter suffix appears at depth0. Exactly one outer group is stripped from the captured argument.

This is an exact source-derived partial model, not an executable approximate replacement.

### invariant

#### Scoped invariants

A delimiter nested inside braces cannot terminate capture. Mismatch returns None without rewinding consumed literals. collect_until restores End but not an unmatched depth-zero Close.

At depth0 and out ending with delimiter D, remove |D| tokens then return; comparison uses token kinds, ignoring token positions. First qualifying occurrence wins.

single_group requires first Open and its matching Close at the final token. {a}{b} retains both groups, while {a,b} loses only its outer braces.

### composition

#### Scoped interaction

Parser expansion uses returned arguments for #k substitution. Pattern success consumes delimiters as syntax; they are absent from argument payloads unless explicitly in the macro body.

The manifest binds this stage to the unchanged parent syntax projection and exact source byte range. Parent cost remains an upper accounting context; no independent whole-file invocation or execution count is assigned to this fragment.

### models

### behavior_complement

A delimiter nested inside braces cannot terminate capture. Mismatch returns None without rewinding consumed literals. collect_until restores End but not an unmatched depth-zero Close.

### reverse_reconstruction

Captured a,b can arise from unbraced a,b followed by delimiter or from {a,b} followed by delimiter; outer-brace provenance is erased. Failed matching leaves many compatible consumed prefixes. Pattern plus returned args alone cannot reconstruct skipped spaces.

### delimiter_suffix

At depth0 and out ending with delimiter D, remove |D| tokens then return; comparison uses token kinds, ignoring token positions. First qualifying occurrence wins.

### outer_group_quotient

single_group requires first Open and its matching Close at the final token. {a}{b} retains both groups, while {a,b} loses only its outer braces.

### tests

#### Evidence — 2026-10-31

macros::tests::scans_definitions; macros::tests::delimited_def

Selected library filters ast:: lex:: macros:: parse:: print:: table:: and integration gate excluding document_extraction_with_preamble_macros and random_token_soup_never_panics_and_roundtrips. Direct rustc --test latex/build.rs exercises private helpers. All selected tests twice debug/release with identical sorted names. Four compiled mutants at build/AST/parser/printer boundaries fail assertions then exact restoration passes. These do not individually cover every source. Build-main failure effects, allocation failures and universal roundtrip are unproved. Strict Clippy reports existing lints. No corpus/live VMM/API/GPU/full-school/held-out tests.