📐qagen-schema

The groupant beside qagen/src/schema.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

Components

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.

Parts

• qagen-schema-alphabet
• qagen-schema-version

Model text

model

qagen-schema

forward

Normalize with trim and Unicode lowercase, then search literal seven QType or two ExIm names; Rule admits only byte 1 or 2. Domain: all supplied UTF-8 strings and u8 values; observation: Option enum, canonical name or numeric version. Exact scoped formula, not a performance surrogate.

invariant

ALL order is stable; canonical names are unique; parse(name(t))=Some(t); Rule::of(r.num())=Some(r).

behavior-complement

Noncanonical normalized spellings, internal whitespace changes, abbreviations and version bytes outside {1,2} cannot produce accepted values. Universe: supplied finite UTF-8 strings/Para sequences and candidate observable results. These are scoped source-derived exclusions, not merely negative test outcomes.

reverse-reconstruction

For accepted t, all s with lowercase(trim(s))=name(t) are compatible; rejected output collects every other string. Canonical name and version number uniquely recover their enum inside these closed alphabets. Operator is the set-valued fiber F^-1(y) = {x in domain | F(x)=y}; no implemented complete inverse solver or unique recovery claim.

specialization

Normalization quotient identifies case and surrounding whitespace but preserves internal spaces; round trips alone cannot catch a consistently renamed alphabet, hence independent literals.

cost

For input byte length B, normalization and lookup cost O(B) time and O(B) allocation; enum/name/version operations cost O(1). Fixed alphabet sizes seven and two.

composition

Schema version selects a fixed rules prefix; renderer appends batch-local paragraph and sentence coordinates. Context uses original document identity and paragraph number only for immediate-predecessor adjacency. Child scopes share source identity; inverses must share the same Rule and Para sequence rather than combining unrelated marginal fibers.

checks

Six new wave17_models tests (two schema, four prompt), including 256 rule bytes and 98 successor cases. See root evidence.md for compiled controls and repeated build-profile outcomes.

epoch-memory

2026-10-30 prospective review: unchecked predecessor addition could overflow; cross-document comparison already correct. A synthetic MAX to MIN witness panicked before repair. checked_add preserves ordinary adjacency and keeps context at the overflow boundary. Schema literal mapping had no witnessed defect. No API changes.

limitations

Partial source models, with literal and finite observations; no analytical approximation error or speed claim. Syntax projection is partial, macro bodies opaque. Input text is rendered verbatim, including delimiter-like content; grammar-injective recovery requires trusted delimiter-free fields. Teacher, parser, corpus, database and data acquisition were not executed.

evidence

Wave17 schema evidence

2026-10-30. Source SHA-256: 03e113198711324f029d8e9e4d9fc899416e3144ea856240b9d962775c78c2fe.

Six named wave17_models tests pass identically in two debug and two release runs: two schema and four prompt. The controls helper compared all six normalized named outcomes across all four final runs. No teacher, parser, corpus, database or data acquisition was run. Existing warnings in en and prag remain outside this change.

The original prompt fails maximum_predecessor_retains_context by integer overflow. Five compiled production mutations fail their intended assertions: schema canonical character name to person; version 2 to V1; prompt document equality to true; sentence coordinate k+1 to k+2; V2 rule dispatch to V1. Exact source bytes were restored before the final passing checks.

The alphabet oracle uses independently written literal names, the rule oracle covers all 256 bytes, and the context oracle covers 98 combinations using widened i128 arithmetic. The prompt golden body tests local coordinates and an omitted-metadata fiber. Finite evidence is not an exhaustive proof over arbitrary text.

Raw run: $MOVA_DATA/runs/octopus-wave17-prompts-2026-10-30. Syntax projections generated twice per source and compared byte-identically; macro bodies remain opaque.

External scaffold structural inventory reports both owned leaves available_partial with no diagnostics. Its three global diagnostics concern only the unchanged root group: new scaffold child and two transitive source bindings require integration refresh. This worker did not modify the global registry or parent groups.

This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/qagen/src/schema.rs.groupant/