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

# prag-frames-md-hebrew

The groupant beside prag/src/frames_md.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:** [`prag/src/frames_md.rs`](https://github.com/ElamurAI/mova-free/blob/main/prag/src/frames_md.rs)
- **source SHA-256:** `023ca98fa461e9d1…`
- **covers:** Hebrew tolerant columns and participant identity joins (bytes 8102–11734)
- **part of:** [prag-frames-md](https://md.groupants.elamur.ai/free/en/mova/prag/src/frames_md.rs.groupant/)
- **repository folder:** [`prag/src/frames_md.rs.groupant/hebrew.groupant`](https://github.com/ElamurAI/mova-free/tree/main/prag/src/frames_md.rs.groupant/hebrew.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** | bounded native and inspected | `../model.md#evidence` |

## 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 |
|---|---|---|---|
| `prag-frames-md-hebrew-behavior-complement` | behavior_complement | partial source model | [behavior-complement](#behavior-complement) |
| `prag-frames-md-hebrew-reverse-reconstruction` | reverse_reconstruction | partial source model | [reverse-reconstruction](#reverse-reconstruction) |
| `prag-frames-md-hebrew-mid-collision` | identity_projection | partial source model | [mid-collision](#mid-collision) |
| `prag-frames-md-hebrew-field-transport` | column_projection | partial source model | [field-transport](#field-transport) |

## Model text


Subject: prag/src/frames_md.rs SHA-256 023ca98fa461e9d1545915abd8071ecb542cc61999bbf5a054b712e5edf9b5e3. All entries share this exact revision. Status: partial source-derived relations, finite native evidence for pure seams, source inspection for effects. Domain: finite supplied inputs under the stated resource/arithmetic premises. Exclusions are inner source-derived families, not a complete behavioral complement. Reverse relations retain compatible antecedents but no complete inverse solver is implemented.

### forward

hwords skips comments/fences, short rows, range/decimal IDs and unparsable integer IDs. Keep columns 0,1,2,6,5,9; malformed head becomes zero. kv uses first exact key=. bare deletes U+0591..U+05AF. MId map strips leading nondigits, last duplicate wins. Semicolon Frame parts inherit current role; unresolved IDs skip. Negation joins integer head to verb.id for four exact lemmas.

### behavior-complement

Universe: supplied text/words and proposed projections. Exclude accepted range/decimal IDs, preserving deleted cantillation, resolving an absent MId, or a row with empty Frame. First-key/last-MId collision policies exclude their opposites.

### reverse-reconstruction

hwords loses ignored columns and rejected lines; invalid and explicit zero heads coincide. bare loses accent positions. Rendering loses MId prefixes and shadowed duplicates. Full original verse reconstruction is ambiguous.

### invariant

Accepted row order and field indices persist despite extra columns. Current role persists after an unresolved ID. Unique MIds and valid dependency trees are not enforced.

### cost

O(B+W log W+VW+P log W+output). Multiple roles may render one word repeatedly.

### mid-collision

For normalized key 2, a later record shadows earlier old for all participant references. References themselves are not prefix-normalized. Exact-row native fixture checks later new and inherited A0.

### field-transport

Observe six HWord fields; extra/ignored columns remain arbitrary in reverse. Invalid head maps to zero whereas invalid id drops the row. Synthetic CoNLL-U checks feats/misc transport without parser execution.

### composition

Integer dependency-head keys drive negation while normalized MId strings drive roles. hwords and hebrew_table are separate public APIs joined by inspected site callers.

### epoch-memory

Wave14 first modeling epoch, 2026-10-30: preserves rendering and tuning selection semantics. Two public pure tuning seams are now actual production-path calls. Six rendering tests and four tuning tests record field loss, tolerance/duplicate behavior, strict selection thresholds and domain limits. No bug repair or speed claim. Existing semantics retained include newline passthrough, first key/last MId collision, zip truncation and unchecked score arithmetic. Evidence is finite; no parser, teacher, filesystem corpus, journal-backed tune, optimizer training or GPU execution.

### limitations

Partial syntax binds source bytes; macro bodies remain opaque and semantic AST is absent. Native/structural checks are not universal proofs or full-system coverage. No approximation error budget or automatic substitution is claimed. File evidence distinguishes executed pure paths and inspected effects.