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

# world-fbench-loading

The groupant beside world/src/fbench.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:** [`world/src/fbench.rs`](https://github.com/ElamurAI/mova-free/blob/main/world/src/fbench.rs)
- **source SHA-256:** `cc89a6255dc4c886…`
- **covers:** Items skip the first line, skip exactly empty lines, parse five tab-separated metadata cells and keep the remaining text verbatim. Gold skips short rows, parses ID/index, inserts ID before frame validity, stably sorts frames by numeric index. (bytes 3999–5697)
- **part of:** [world-fbench](https://md.groupants.elamur.ai/free/en/mova/world/src/fbench.rs.groupant/)
- **repository folder:** [`world/src/fbench.rs.groupant/loading.groupant`](https://github.com/ElamurAI/mova-free/tree/main/world/src/fbench.rs.groupant/loading.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 |
|---|---|---|---|
| `world-fbench-loading-behavior-complement` | behavior_complement | partial source model | [behavior-complement](#behavior-complement) |
| `world-fbench-loading-reverse-reconstruction` | reverse_reconstruction | partial source model | [reverse-reconstruction](#reverse-reconstruction) |
| `world-fbench-loading-coupling` | constraint_relation | partial source model | [coupling](#coupling) |
| `world-fbench-loading-observation-fiber` | information_loss | partial source model | [observation-fiber](#observation-fiber) |

## Model text


### forward

Items skip the first line, skip exactly empty lines, parse five tab-separated metadata cells and keep the remaining text verbatim. Gold skips short rows, parses ID/index, inserts ID before frame validity, stably sorts frames by numeric index.

### invariant

Invalid numeric metadata returns Err. Item order and duplicate IDs survive. Duplicate gold indices preserve input order; an unreadable frame can leave an empty gold entry. Header names and split vocabulary are not validated.

### cost

O(B + sum g_i log g_i) time for bytes B and frames g_i per ID; O(B+G) allocated data.

### composition

load_items reads lines.tsv then parse_items; load_gold maps missing file to empty map and otherwise parse_gold. IDs join items to gold; no file version/digest or uniqueness check protects this join.

### epoch-memory

2026-10-30 wave11. Synthetic old-code witnesses failed before narrow repairs: frame display lost attrs/cond; marker spelling priority selected an earlier answer; unchecked arithmetic panicked; dotted page answer 57 was mistaken for an item. Current tests preserve these counterexamples. No optimization, percentage-error surrogate or general correctness claim.

### checks

cargo test -p world --lib fbench::wave11_models -- --test-threads=1. See file-root evidence.md for repeated debug/release identities and compiled mutants. Syntax is a source-bound partial projection; macro bodies are opaque.

### behavior-complement

Subject/revision: manifest source hash and this scope. Universe: bounded supplied inputs and terminating observations under fixed dependencies and successful allocation. Inner absent-behavior model excludes any transition violating: Invalid numeric metadata returns Err. Item order and duplicate IDs survive. Duplicate gold indices preserve input order; an unreadable frame can leave an empty gold entry. Header names and split vocabulary are not validated. External effects and unmodeled malformed states are unknown, not excluded. Finite tests support only named fixtures.

### reverse-reconstruction

Subject/revision: manifest source hash. Domain: the scoped forward input/output relation, fixed dependencies and successful allocation. Operator is the full compatible preimage: Successful output admits arbitrary first-line headers, ignored gold short rows and unreadable frame text. Item duplicate identities are not recoverable after later map overwrite; error strings do not uniquely identify malformed input. This is a partial source model, not an implemented complete inverse search; no unique causal explanation is inferred.

### coupling

Subject/revision: manifest source hash. Constraint relation on shared identities/intermediate states: load_items reads lines.tsv then parse_items; load_gold maps missing file to empty map and otherwise parse_gold. IDs join items to gold; no file version/digest or uniqueness check protects this join. Source inspection and actual finite joins are distinguished.

### observation-fiber

Subject/revision: manifest source hash. Information-loss relation holds inputs in the same fiber when their declared observation agrees: Empty gold map differs from an empty frame vector at a present ID: selection uses contains_key, so the latter is eligible. This is a documented legacy boundary, not valid annotation certification. Finite correspondence only; unrestricted soundness/completeness is not established.