Elamur Groupantsprag-frames-clauses
The groupant beside prag/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
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 |
| ast | partial | ../syntax.json |
| composition | partial source model | composition |
| cost | partial source model | cost |
| descriptant | partial source model | epoch-memory |
| invariant | partial source model | 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-clauses-behavior-complement | behavior_complement | partial source model | behavior-complement |
prag-frames-clauses-reverse-reconstruction | reverse_reconstruction | partial source model | reverse-reconstruction |
prag-frames-clauses-anchor-transport | coordinate_projection | partial source model | anchor-transport |
Model text
Subject: prag/src/frames.rs SHA-256 bfbc2f7905d878080a7e7dd30ae7f1bfe8f07313c3a4cf8f0254be29e72a4b88. Partial source model, finite native evidence. Fixed configuration and admitted finite resource domains; source-derived inner exclusions and ambiguous preimages, no inverse solver.
forward
frames_of_tree delegates with no forced pronoun map. Predicate tokens in word order seed frames; subsequent passes resolve control/shared roles, clause relations, cause/next/quote and condition/factuality. The simple subject-verb domain yields one Event with the supplied verb and no questions/aliases.
behavior-complement
Universe: default-config supplied simple subject-verb trees and candidate frame vectors. Exclude a frame count other than one, an agent id different from subject lemma, or a predicate anchor other than the verb token. More complex clauses remain outside this exclusion bound.
reverse-reconstruction
One observed Event admits multiple lexical surface forms and tense encodings when TAM is omitted. Frame graphs alone do not recover all UD words, function words or antecedent salience.
invariant
Predicate indices and frame ranks are separate. Clause graph referents are local until read_with offsets them.
cost
Multiple predicate/word passes plus recursive entity construction and lexicon costs; rough O(P*W plus entity/lexicon work), not a measured bound.
anchor-transport
In native dog/bark tree predicate token 1 maps to frame 0 and subject token 0 maps to Agent. Context anchors remain last-sentence observations and are not read to decide frame semantics.
composition
Dependency helpers and signature resources participate in complex clauses. Existing factuality tests are not claimed as new wave15 execution; all branches are not covered.
epoch-memory
Wave15, 2026-10-30. Prospective repair: reject unresolved right heads in identity with a constant six-item guard, preserving coordination membership and its nontransitivity. Old production failed unresolved_identity_is_symmetric_even_in_coordination; repaired code passes. Compiled guard-removal control fails the same named assertion and exact bytes are restored. Eight focused tests pass twice debug and twice release. No speed, full semantic coverage or universal proof claim.
limitations
Partial syntax is not expanded semantic AST. No live parser, teacher, whole corpus, GPU or environment mutation. Acyclic input trees and fixed configuration/resource premises matter; malformed recursive ancestry, counter overflow, complete TAM/lexicon/quotation/repair semantics and all active-rule effects remain open. No executable approximant/error budget is claimed.
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/prag/src/frames.rs.groupant/clauses.groupant/