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

# qagen-report-gather

The groupant beside qagen/src/report.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:** [`qagen/src/report.rs`](https://github.com/ElamurAI/mova-free/blob/main/qagen/src/report.rs)
- **source SHA-256:** `4abf85ffbd32f228…`
- **covers:** Gather ascending batches through strict retry-first lookup and gate; normalize rejection kind and compute lexical support/percentages. (bytes 905–2966)
- **part of:** [qagen-report](https://md.groupants.elamur.ai/free/en/mova/qagen/src/report.rs.groupant/)
- **repository folder:** [`qagen/src/report.rs.groupant/gather.groupant`](https://github.com/ElamurAI/mova-free/tree/main/qagen/src/report.rs.groupant/gather.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 source model | [forward](#forward) |
| **ast** | partial | `../syntax.json` |
| **composition** | partial source model | [composition](#composition) |
| **cost** | partial source model | [cost](#cost) |
| **descriptant** | partial source model | [epoch-memory](#epoch-memory) |
| **invariant** | partial source model | [invariant](#invariant) |
| **tests** | partial source model | [checks](#checks) |

## 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 |
|---|---|---|---|
| `qagen-report-gather-complement` | behavior_complement | partial source model | [behavior-complement](#behavior-complement) |
| `qagen-report-gather-reverse` | reverse_reconstruction | partial source model | [reverse-reconstruction](#reverse-reconstruction) |
| `qagen-report-gather-normalization` | normalization | partial source model | [normalization](#normalization) |
| `qagen-report-gather-support` | support | partial source model | [support](#support) |
| `qagen-report-gather-missing-batch` | missing_batch | partial source model | [missing-batch](#missing-batch) |
| `qagen-report-gather-coordinates` | coordinates | partial source model | [coordinates](#coordinates) |

## Model text


### forward
Gather ascending batches through strict retry-first lookup and gate; normalize rejection kind and compute lexical support/percentages.

### invariant
Missing batches retained separately; gate-valid pair coordinates map to the same paragraph list. Empty support answer and percentage denominator return zero.

### behavior-complement
Universe: finite supplied values and filesystem observations, return values, errors and writes in this scope. No semantic answer guarantee or anchor repair. Public support requires valid anchors; direct invalid Pair can panic.

### reverse-reconstruction
F^-1(y) contains all compatible inputs and initial states yielding y. kind collapses digit runs/quoted interiors; support collapses words to a ratio. Gather omits raw formatting while retaining gated rejections. No complete inverse solver or unique recovery claim.

### cost
O(P log B + raw/gate costs); support builds anchor-word HashSet and scans answer tokens; kind O(reason bytes).

### composition
Strict lookup errors stop gather before substitution; gate supplies valid coordinates; support operates on token sequence versus anchor-word set.

### normalization
ASCII digit runs ->#; quoted contents ->ellipsis, with unmatched quote governed by boolean state.

### support
Repeated answer words count separately; anchor pool is a set.

### missing-batch
Missing final path records batch ID and continues; read/metadata errors abort.

### coordinates
its[x.p-1] and p.sents[k-1] depend on gate invariants, not independent bounds checks.

### checks
Finite synthetic Rust tests in owned sources; broad offline qagen lib suite twice per profile, explicitly skipping lemma::tests::doubt_with_en_model. Compiled production mutations reach named assertion failures. Exact outcomes and hashes are in the file groupant evidence.md.

### epoch-memory
2026-10-30 prospective model saved before repairs. Old-code witnesses demonstrated token overflow, JSON null from float overflow, premature report replacement, and masked metadata errors. Ordinary output keys, finite negative history and legacy Option lookup semantics are preserved. Scheduler was not redesigned.

### limitations
Partial source models and finite observations, not proof of all concurrent/filesystem states. Syntax projection is partial; macros opaque. Allocation failure, races and crashes may prevent completion. No live teacher/model/corpus/database was used. No useful certified metric for a numerical surrogate of these error-sensitive operations was identified; executable approximant is absent, with no invented error budget or speed claim.