Elamur Groupantsprag-frames-md-english
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
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-md-english-behavior-complement | behavior_complement | partial source model | behavior-complement |
prag-frames-md-english-reverse-reconstruction | reverse_reconstruction | partial source model | reverse-reconstruction |
prag-frames-md-english-time-partition | routing_relation | partial source model | time-partition |
prag-frames-md-english-row-coordinate | coordinate_projection | partial source model | row-coordinate |
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
Skip Bare; Fact empty/be uses link.name; Say adds speech-act label. Negation and condition/irrealis/quote flags annotate verb. Route place TIME_NOUNS to when, otherwise goal() to other or ordinary place. Obliques prefer temporal classification before Goal/Result. Append NPs, words and attrs, then role provenance.
behavior-complement
Universe: frame slices and proposed ten-column rows. Exclude a Bare row, an unsaid note for an empty role, a TIME_NOUNS place in where, or retaining when: prefix in the when cell. These describe general branch constraints, not merely test examples.
reverse-reconstruction
A row constrains only displayed projections. Source/causal/quote/marker/dependency links remain unconstrained. A time string can originate in place, oblique, word or attr routes, so its antecedent role is ambiguous.
invariant
Row order and original indices persist. In when, place precedes obliques, NPs, words and attrs. No visible frame yields the no-event note.
cost
O(F+recursive phrase copying+output+sum oblique_count*how_role_count plus goal lookups). No throughput claim.
time-partition
TIME_NOUNS membership routes a place to time regardless of case; obliques also accept TIME_PREPS. These lexical predicates are not a proof of temporal meaning. Native fixture transports in night, after meal, today.
row-coordinate
Visible labels are original i+1, not visible rank. A leading Bare then Event yields row 2; missing coordinates reconstruct arbitrary compatible Bare frames.
composition
Text helpers join Frame::goal, How::show and Tam::show. Native supplied Frame tests cover selected branches. External frame reader/parser is not run.
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.
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/prag/src/frames_md.rs.groupant/english.groupant/