---
title: "world-fbench-measurement — 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/measurement.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/measurement.groupant/>

# world-fbench-measurement

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:** Select in item order by split equality or all and gold key membership. Delegate alignment/counts to prag, aggregate ten role counts, rank worst by F1 then ID, display canonical frame fields including attrs and conditional links. (bytes 18346–25667)
- **part of:** [world-fbench](https://md.groupants.elamur.ai/free/en/mova/world/src/fbench.rs.groupant/)
- **repository folder:** [`world/src/fbench.rs.groupant/measurement.groupant`](https://github.com/ElamurAI/mova-free/tree/main/world/src/fbench.rs.groupant/measurement.groupant)
- **repository commit:** `48f2e6f74146`

> **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-measurement-behavior-complement` | behavior_complement | partial source model | [behavior-complement](#behavior-complement) |
| `world-fbench-measurement-reverse-reconstruction` | reverse_reconstruction | partial source model | [reverse-reconstruction](#reverse-reconstruction) |
| `world-fbench-measurement-coupling` | constraint_relation | partial source model | [coupling](#coupling) |
| `world-fbench-measurement-observation-fiber` | information_loss | partial source model | [observation-fiber](#observation-fiber) |

## Model text


### forward

Select in item order by split equality or all and gold key membership. Delegate alignment/counts to prag, aggregate ten role counts, rank worst by F1 then ID, display canonical frame fields including attrs and conditional links.

### invariant

No selected row lacks a gold key. Uniqueness of IDs, valid system output and finite score are caller premises; arbitrary stale course coordinates may panic earlier. show_g is a diagnostic canonicalizer, not a universal serializer for arbitrary public GFrame values.

### cost

Selection O(I log G); aggregation O(I times delegated score cost). Worst sorting O(I log I), diagnostic lookup O(I W). Formatting scales with displayed bytes.

### composition

The actual fixture uses loaded gold ID 7 with a matching predicted frame, observing (tp,sys,gold)=(3,3,3) and empty prediction (0,0,3). Reports call show_g only for gold diagnostics; scoring remains delegated and unchanged.

### 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: No selected row lacks a gold key. Uniqueness of IDs, valid system output and finite score are caller premises; arbitrary stale course coordinates may panic earlier. show_g is a diagnostic canonicalizer, not a universal serializer for arbitrary public GFrame values. 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: For selected IDs retain every input item/gold collection satisfying membership and order. For scores retain all role-count antecedents and alignments. On parsed canonical test frames, reparse(display(frame)) recovers the frame; input spelling remains ambiguous. 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: The actual fixture uses loaded gold ID 7 with a matching predicted frame, observing (tp,sys,gold)=(3,3,3) and empty prediction (0,0,3). Reports call show_g only for gold diagnostics; scoring remains delegated and unchanged. 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: Parsed frame roundtrip preserves supported roles, links, negation, attrs and cond in the finite fixture. Arbitrary oblique keys colliding with reserved keys and malformed entity strings remain outside that domain. Finite correspondence only; unrestricted soundness/completeness is not established.