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

# execution-mode-parser

The groupant beside world/src/exec.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/exec.rs`](https://github.com/ElamurAI/mova-free/blob/main/world/src/exec.rs)
- **source SHA-256:** `180f88005a4cd385…`
- **covers:** Latch requested mode; acquire annotator and execute either CPU map or GPU cached load/gather/predict/check/complete/scatter. (bytes 2029–6328)
- **part of:** [execution-dispatch](https://md.groupants.elamur.ai/free/en/mova/world/src/exec.rs.groupant/)
- **repository folder:** [`world/src/exec.rs.groupant/parser.groupant`](https://github.com/ElamurAI/mova-free/tree/main/world/src/exec.rs.groupant/parser.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** | not materialized |  |
| **composition** | partial | [Composition](#composition) |
| **cost** | partial | [Cost](#cost) |
| **descriptant** | present | `model.md` |
| **invariant** | partial | [Invariant](#invariant) |
| **tests** | coverage recorded | [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) |
| `empty-scatter` | projection_fiber | partial source derived model | [empty-scatter](#empty-scatter) |
| `load-failure-memory` | sticky_failure | partial source derived model | [load-failure-memory](#load-failure-memory) |

## Model text


### descriptant

## execution-mode-parser

### Forward

Latch requested mode; acquire annotator and execute either CPU map or GPU cached load/gather/predict/check/complete/scatter.

### Invariant

Successful GPU result preserves sentence count under shape guards, but labels and normalization are lossy; CPU/GPU accuracy agreement is unmeasured.

### Cost

CPU pays parse and scheduling work; GPU stores cloned nonempty tokens, predictions and completion results, proportional to reached token count plus cached model.

### Composition

Ordered-worker relation supplies tokenization and completion order. Model load and mode have independent OnceLocks. Parent holds exact/approximate backend distinction.

### Epoch memory

2026-10-29: first source-bound instance. Source SHA-256 180f88005a4cd3852f649059e420951c1fe9ad4a699c9d175358169f25e43b4d; bytes [2029,6328). Production source is unchanged. Ranges are snapshot anchors, not proof of coverage. AST gap: no projection is materialized; macro expansion, type inference, semantic dependency analysis and generated proof remain absent. Catalog oracles are prospective unless explicitly recorded as executed. Counts are viewpoints, not correctness evidence.

### catalog

## execution-mode-parser: typed catalog

Epoch: 2026-10-29. Subject: exec.rs, SHA-256 180f88005a4cd3852f649059e420951c1fe9ad4a699c9d175358169f25e43b4d, bytes [2029,6328). Every entry is a partial source-derived specification within its stated observation domain. Fixed dependencies and successful ordinary allocation are assumptions. Transition horizon is one invocation unless a history is explicitly named. Unsampled behavior remains unknown; no semantic proof is claimed. Checks below are prospective unless evidence.md records execution.

### nonbehavior

Type: behavior_complement. Domain, observation and operator: U is build/environment/backend-shape to tagged outcome pairs. R applies mode selection and the selected pipeline. U minus R contains CPU-only GPU success and GPU success with mismatched sentence/token dimensions; accuracy is unrestricted.

Approximation: source-derived conditional specification; behavioral complements are candidate inner bounds of absence under the explicit assumptions. Reverse relations retain every compatible antecedent in the stated domain and do not imply unique recovery. Specialized observations omit unmentioned state and do not establish full semantic correspondence.

Falsifiable check: Configuration matrix and prediction stubs.

### antecedents

Type: reverse_reconstruction. Domain, observation and operator: Observed cached Cpu permits missing, invalid-Unicode or cpu first lookup and arbitrary later edits. Gpu requires feature plus initial gpu. Output alone cannot recover the environment history.

Approximation: source-derived conditional specification; behavioral complements are candidate inner bounds of absence under the explicit assumptions. Reverse relations retain every compatible antecedent in the stated domain and do not imply unique recovery. Specialized observations omit unmentioned state and do not establish full semantic correspondence.

Falsifiable check: Isolated environment-history probes.

### empty-scatter

Type: projection_fiber. Domain, observation and operator: I is the ordered nonempty-token position list; gather x[I], complete predictions and scatter into n empty vectors. Empty outputs do not uniquely imply empty tokenization because completion may also be empty.

Approximation: source-derived conditional specification; behavioral complements are candidate inner bounds of absence under the explicit assumptions. Reverse relations retain every compatible antecedent in the stated domain and do not imply unique recovery. Specialized observations omit unmentioned state and do not establish full semantic correspondence.

Falsifiable check: Two empty and two nonempty positions with stub completion.

### load-failure-memory

Type: sticky_failure. Domain, observation and operator: OnceLock P stores first load Result; after successful annotator lookup, all later model-path edits preserve a cached load error. This failure fiber does not include attempts blocked earlier by annotator failure.

Approximation: source-derived conditional specification; behavioral complements are candidate inner bounds of absence under the explicit assumptions. Reverse relations retain every compatible antecedent in the stated domain and do not imply unique recovery. Specialized observations omit unmentioned state and do not establish full semantic correspondence.

Falsifiable check: Loader-call counter with changed path.


### tests

#### Checks

Existing focused check: cargo test -p world --lib exec::tests -- --nocapture. Named tests: batches_preserve_order_and_cardinality (101 mapped values and empty input); worker_panics_are_errors_instead_of_partial_results (four panicking jobs). The file-root evidence.md records actual execution. Mode caching, exit behavior, mixed worker outcomes, GPU shape guards and GPU/CPU agreement remain untested here.

No training, live service or GPU execution; no speedup or broad semantic correctness claim.