---
title: "roundtrip-block-hebrew-ordered-jobs — Mova code model"
description: "Mova code model of tools/roundtrip/src/blocks/heb.rs: components with their labels, obernants and the model text."
url: "https://groupants.elamur.ai/free/en/mova/tools/roundtrip/src/blocks/heb.rs.groupant/ordered-jobs.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/tools/roundtrip/src/blocks/heb.rs.groupant/ordered-jobs.groupant/>

# roundtrip-block-hebrew-ordered-jobs

The groupant beside tools/roundtrip/src/blocks/heb.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:** [`tools/roundtrip/src/blocks/heb.rs`](https://github.com/ElamurAI/mova-free/blob/main/tools/roundtrip/src/blocks/heb.rs)
- **source SHA-256:** `5f4eb0e21c8dfbfe…`
- **covers:** par wraps par_each and collects its ordered Result vector. Atomic fetch_add assigns each in-range index once; f is caught individually; join happens before unwrap of every slot. (bytes 4998–6489)
- **part of:** [roundtrip-block-hebrew](https://md.groupants.elamur.ai/free/en/mova/tools/roundtrip/src/blocks/heb.rs.groupant/)
- **repository folder:** [`tools/roundtrip/src/blocks/heb.rs.groupant/ordered-jobs.groupant`](https://github.com/ElamurAI/mova-free/tree/main/tools/roundtrip/src/blocks/heb.rs.groupant/ordered-jobs.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` |
| **cost** | symbolic source derived | [invariant-and-cost](#invariant-and-cost) |
| **descriptant** | present | [descriptant](#descriptant) |
| **invariant** | partial | [invariant-and-cost](#invariant-and-cost) |
| **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) |
| `slot_identity` | slot_identity | partial source derived model | [slot_identity](#slot-identity) |
| `panic_payload` | panic_payload | partial source derived model | [panic_payload](#panic-payload) |
| `join_before_error` | join_before_error | partial source derived model | [join_before_error](#join-before-error) |
| `thread_floor` | thread_floor | partial source derived model | [thread_floor](#thread-floor) |

## Model text


### descriptant

#### Description and epoch memory

par wraps par_each and collects its ordered Result vector. Atomic fetch_add assigns each in-range index once; f is caught individually; join happens before unwrap of every slot.

##### Epoch 2026-10-31

Prospective model retained externally before edits. Existing production bytes preserved; only bounded inline tests appended to six owned files. Models distinguish byte reconstruction with residual from semantic understanding and persistent learning. Finite tests and compiled mutants support selected boundaries only. Source inspection identified noninjective projections and explicit admissibility restrictions; no bug repair or performance claim.

Combiner input is this source snapshot, syntax projection, models, costs and retained receipts. Proposed next epoch: target the stated unexecuted branches with bounded witnesses before expanding any claim. AST remains partial, macros opaque; no name resolution or proof.

### approximant

#### Forward relation

par wraps par_each and collects its ordered Result vector. Atomic fetch_add assigns each in-range index once; f is caught individually; join happens before unwrap of every slot.

Domain: Valid Text indices; finite jobs and thread count with successful thread creation; usize/u64 counters representable. Job closure may panic but process-aborting panics, allocation or poisoned-lock failures are outside catch guarantee.

No executable percentage surrogate is supplied: these categorical codec/effect observations have no justified lossy metric. Future caps are 1/2/5/10% only after defining metric, zero behavior and differential reference.

### catalog

## Source-bound typed models

Each section is a partial source-derived relation on the bound snapshot and declared domain; finite checks are falsification evidence, not a universal proof. Observation horizon is one call unless history is explicitly named.

### behavior_complement

No successful slot i contains another job's result on the admitted non-aborting domain; f errors do not short-circuit scheduling.

Domain and held state: Valid Text indices; finite jobs and thread count with successful thread creation; usize/u64 counters representable. Job closure may panic but process-aborting panics, allocation or poisoned-lock failures are outside catch guarantee.

Status: partial source-derived model. Oracle: the named scoped tests in tests.md; unexercised branches remain inspection hypotheses.

### reverse_reconstruction

Each result at i constrains f(i,jobs[i]); many schedules and panic payloads map to the same result. Empty output fixes only jobs.len=0.

Domain and held state: Valid Text indices; finite jobs and thread count with successful thread creation; usize/u64 counters representable. Job closure may panic but process-aborting panics, allocation or poisoned-lock failures are outside catch guarantee.

Status: partial source-derived model. Oracle: the named scoped tests in tests.md; unexercised branches remain inspection hypotheses.

### slot_identity

Atomic claim and out[i] assignment preserve input position.

Domain and held state: Valid Text indices; finite jobs and thread count with successful thread creation; usize/u64 counters representable. Job closure may panic but process-aborting panics, allocation or poisoned-lock failures are outside catch guarantee.

Status: partial source-derived model. Oracle: the named scoped tests in tests.md; unexercised branches remain inspection hypotheses.

### panic_payload

Only String and str payload contents survive; other payloads become empty panic message.

Domain and held state: Valid Text indices; finite jobs and thread count with successful thread creation; usize/u64 counters representable. Job closure may panic but process-aborting panics, allocation or poisoned-lock failures are outside catch guarantee.

Status: partial source-derived model. Oracle: the named scoped tests in tests.md; unexercised branches remain inspection hypotheses.

### join_before_error

par returns first error in index order only after every worker joins.

Domain and held state: Valid Text indices; finite jobs and thread count with successful thread creation; usize/u64 counters representable. Job closure may panic but process-aborting panics, allocation or poisoned-lock failures are outside catch guarantee.

Status: partial source-derived model. Oracle: the named scoped tests in tests.md; unexercised branches remain inspection hypotheses.

### thread_floor

threads=0 creates one worker; zero jobs still creates workers and produces empty vector.

Domain and held state: Valid Text indices; finite jobs and thread count with successful thread creation; usize/u64 counters representable. Job closure may panic but process-aborting panics, allocation or poisoned-lock failures are outside catch guarantee.

Status: partial source-derived model. Oracle: the named scoped tests in tests.md; unexercised branches remain inspection hypotheses.


### tests

#### Actual checks

- `blocks::heb::wave32::ordered_jobs_and_panics`

The listed parent/source tests exercise only their named mechanisms; other model statements are source inspection. Sixteen selected actual roundtrip library tests passed twice debug and twice release (64 exact-name executions), with identical sorted test outcomes. Eight compiled production-behavior mutants, one per source, failed assertions; exact originals were restored and the selected check passed. No assertion-only mutants or surviving compiled mutants. An initial mutation selector was ambiguous and stopped before writing that source; corrected selector retained separately.

Raw logs, numeric statuses, original/restored hashes, prospective.md, native-commands.json and syntax pairs: `$MOVA_DATA/runs/octopus-wave32-rt_blocks-2026-10-31`. No live model/corpus/site/learning workflow or full pipeline was executed.

### invariant-and-cost

#### Invariants and cost

No successful slot i contains another job's result on the admitted non-aborting domain; f errors do not short-circuit scheduling.

Each result at i constrains f(i,jobs[i]); many schedules and panic payloads map to the same result. Empty output fixes only jobs.len=0.

##### Cost

J result slots and max(T,1) threads; O(J+T) framework work plus closure costs.

Integer additions/products and allocation sizes must fit native types. Floating costs require finite values; no throughput or all-input guarantee follows from synthetic tests.