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

# frame-adapter-diagnostics

The groupant beside world/src/frames.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/frames.rs`](https://github.com/ElamurAI/mova-free/blob/main/world/src/frames.rs)
- **source SHA-256:** `86c42a1bd562ae24…`
- **covers:** Function envelope: vnfreq, nominal_check, main_args (bytes 4541–12518)
- **part of:** [frame-adapter](https://md.groupants.elamur.ai/free/en/mova/world/src/frames.rs.groupant/)
- **repository folder:** [`world/src/frames.rs.groupant/diagnostics.groupant`](https://github.com/ElamurAI/mova-free/tree/main/world/src/frames.rs.groupant/diagnostics.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** | partial | `../syntax.json` |
| **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) |
| `record-error` | residual_state | partial source derived model | [record-error](#record-error) |
| `nomlex-first` | priority_fiber | partial source derived model | [nomlex-first](#nomlex-first) |

## Model text


### descriptant

## frame-adapter-diagnostics

Revision 2026-10-29; SHA-256 86c42a1bd562ae24c760a7cbfc3b9b2bab20845da9d7945f3d80f091b8ed44b0.

### Forward

Diagnostic dispatch and recording expose file/reader errors and nontransactional side effects.

### Invariant

Query methods borrow immutable worlds; the frame reader mutates caller-owned discourse. Reverse models preserve compatible hidden inputs, never assume unique recovery. Ordering and failure assumptions in catalogs are part of the contract.

### Cost

For F facts,T tokens,N frames,V distinct verbs/classes: sum parser/reader dependency costs dominates. Aggregation O((T+N) log V), sorting O(V log V), storage O(V+current discourse/read). vnfreq output O(rows+bytes). No parser complexity or speedup claim.

### Composition

Selected source functions only; parent composes shared identity and dependencies. These are not independent pipeline stages or a complete partition.

### AST gap

Source-bound syn-2 partial syntax is present. Macro expansion, name resolution, type inference, cfg evaluation, external-module loading and semantic AST remain absent. Child envelopes may overlap and need not cover the file.

### Epoch memory

2026-10-29: source-derived first epoch. Historical snapshots do not freeze current labels; direct read_with callers bypass the adapter. Recording errors can retain global state. Preserve these observations when strengthening models. Runtime source is unchanged.

### catalog

## Typed models: frame-adapter-diagnostics

Subject: ../../frames.rs; SHA-256 86c42a1bd562ae24c760a7cbfc3b9b2bab20845da9d7945f3d80f091b8ed44b0. Revision 2026-10-29.
Observations are single terminating calls unless a recording trace is named. Preconditions: finite well-formed inputs, stable dependencies, no allocation failure or integer overflow.

### nonbehavior

Type: behavior_complement. Operator/domain/observation: U=(args,env,files,courses,recorder,return,effects); R executes dispatch/diagnostics. Inner U minus R includes successful nominal_check after missing external file and unsupported text selecting a named diagnostic.

Approximation: source-derived conditional relation; unknown behavior outside its declared domain remains unknown. Assumptions: shared preconditions above and descriptant dependency boundaries. Evidence: inspected source and callers; tests.md distinguishes executed checks. Falsifiable oracle: construct admissible inputs, execute the named operation and compare this predicate; contrary output refutes it.

### antecedents

Type: reverse_reconstruction. Operator/domain/observation: vnfreq summary admits all recorder maps/read traces with matching verb,row,clause totals and course/header strings; summary does not determine table rows.

Approximation: source-derived conditional relation; unknown behavior outside its declared domain remains unknown. Assumptions: shared preconditions above and descriptant dependency boundaries. Evidence: inspected source and callers; tests.md distinguishes executed checks. Falsifiable oracle: construct admissible inputs, execute the named operation and compare this predicate; contrary output refutes it.

### record-error

Type: residual_state. Operator/domain/observation: After record_start, course/read Err precedes record_take and leaves RECORD true. A write Err after record_take leaves recording off and counts drained. No rollback or atomic file replacement.

Approximation: source-derived conditional relation; unknown behavior outside its declared domain remains unknown. Assumptions: shared preconditions above and descriptant dependency boundaries. Evidence: inspected source and callers; tests.md distinguishes executed checks. Falsifiable oracle: construct admissible inputs, execute the named operation and compare this predicate; contrary output refutes it.

### nomlex-first

Type: priority_fiber. Operator/domain/observation: or_insert retains first qualifying noun row, so later duplicates cannot alter it. same_t excludes verb-disagreement pairs even if transitivity flags match.

Approximation: source-derived conditional relation; unknown behavior outside its declared domain remains unknown. Assumptions: shared preconditions above and descriptant dependency boundaries. Evidence: inspected source and callers; tests.md distinguishes executed checks. Falsifiable oracle: construct admissible inputs, execute the named operation and compare this predicate; contrary output refutes it.


### tests

#### Checks

File-root evidence.md records structural checks and a bounded source-extraction Rust probe of attention and coverage arithmetic only. Other catalog oracles are prospective. world/src/tests.rs contains existing history and state-query tests. No complete course, teacher, GPU or neural-parser run is claimed. Parser artifacts, pragmatic reader, lexical tables, external NOMLEX and course loading remain dependency gaps.