---
title: "pragmatic-observation — Mova code model"
description: "Mova code model of models/pragmatic-observation.groupant: components with their labels, obernants and the model text."
url: "https://groupants.elamur.ai/free/en/mova/models/pragmatic-observation.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/models/pragmatic-observation.groupant/>

# pragmatic-observation

The groupant beside models/pragmatic-observation.groupant 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_group
- **status:** partial source bound model
- **bound sources:** 25
- **repository folder:** [`models/pragmatic-observation.groupant`](https://github.com/ElamurAI/mova-free/tree/main/models/pragmatic-observation.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** | not materialized |  |
| **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 executed evidence | [evidence](#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 |
|---|---|---|---|
| `pragmatic-observation-behavior-complement` | behavior_complement | partial source model | [behavior-complement](#behavior-complement) |
| `pragmatic-observation-reverse-reconstruction` | reverse_reconstruction | partial source model | [reverse-reconstruction](#reverse-reconstruction) |
| `pragmatic-observation-frame-role-hit-identity` | annotation_frame_projection | partial source model | [frame-role-hit-identity](#frame-role-hit-identity) |
| `pragmatic-observation-expression-report-identity` | lexical_surface_transport | partial source model | [expression-report-identity](#expression-report-identity) |
| `pragmatic-observation-agreement-row-policy` | label_identity_policy | partial source model | [agreement-row-policy](#agreement-row-policy) |
| `pragmatic-observation-document-context-order` | chronological_state_projection | partial source model | [document-context-order](#document-context-order) |
| `pragmatic-observation-irony-cue-ancestry` | incongruity_gate_relation | partial source model | [irony-cue-ancestry](#irony-cue-ancestry) |
| `pragmatic-observation-spread-plurality-tie` | frequency_selection_relation | partial source model | [spread-plurality-tie](#spread-plurality-tie) |
| `pragmatic-observation-wave13-field-transport` | closed_class_transport | partial source model | [pragmatic-observation-wave13-field-transport](#pragmatic-observation-wave13-field-transport) |
| `pragmatic-observation-wave13-dictionary-transport` | dictionary_snapshot_equivalence | partial source model | [pragmatic-observation-wave13-dictionary-transport](#pragmatic-observation-wave13-dictionary-transport) |
| `pragmatic-observation-wave13-source-context` | source_document_predecessor | partial source model | [pragmatic-observation-wave13-source-context](#pragmatic-observation-wave13-source-context) |
| `pragmatic-observation-wave13-schedule-context` | prefix_available_feedback | partial source model | [pragmatic-observation-wave13-schedule-context](#pragmatic-observation-wave13-schedule-context) |
| `pragmatic-observation-wave13-canonical-gain` | deterministic_histogram_reduction | partial source model | [pragmatic-observation-wave13-canonical-gain](#pragmatic-observation-wave13-canonical-gain) |
| `pragmatic-observation-wave13-valid-inference-ancestry` | bounded_dependency_evidence | partial source model | [pragmatic-observation-wave13-valid-inference-ancestry](#pragmatic-observation-wave13-valid-inference-ancestry) |
| `pragmatic-observation-wave14-item-classification` | source_batch_class_identity | partial source model | [pragmatic-observation-wave14-item-classification](#pragmatic-observation-wave14-item-classification) |
| `pragmatic-observation-wave14-closed-metrics` | present_class_metric_boundary | partial source model | [pragmatic-observation-wave14-closed-metrics](#pragmatic-observation-wave14-closed-metrics) |
| `pragmatic-observation-wave14-frame-rendering` | frame_and_macula_identity | partial source model | [pragmatic-observation-wave14-frame-rendering](#pragmatic-observation-wave14-frame-rendering) |
| `pragmatic-observation-wave15-converted-local-lex` | converted_lexicon_argument_transport | partial source model | [pragmatic-observation-wave15-converted-local-lex](#pragmatic-observation-wave15-converted-local-lex) |
| `pragmatic-observation-wave15-active-passive` | voice_argument_coordinate_transport | partial source model | [pragmatic-observation-wave15-active-passive](#pragmatic-observation-wave15-active-passive) |
| `pragmatic-observation-wave15-sentence-head` | sentence_qualified_head_action_transport | partial source model | [pragmatic-observation-wave15-sentence-head](#pragmatic-observation-wave15-sentence-head) |
| `pragmatic-observation-wave15-deletion-map` | survivor_frame_reference_transport | partial source model | [pragmatic-observation-wave15-deletion-map](#pragmatic-observation-wave15-deletion-map) |
| `pragmatic-observation-wave15-participle-append` | sentence_token_site_append | partial source model | [pragmatic-observation-wave15-participle-append](#pragmatic-observation-wave15-participle-append) |
| `pragmatic-observation-wave15-oblique-slot` | oblique_role_candidate_transport | partial source model | [pragmatic-observation-wave15-oblique-slot](#pragmatic-observation-wave15-oblique-slot) |
| `pragmatic-observation-wave15-extract-rule-codec` | supplied_frame_rule_serialization_transport | partial source model | [pragmatic-observation-wave15-extract-rule-codec](#pragmatic-observation-wave15-extract-rule-codec) |
| `pragmatic-observation-wave16-notation-occurrences` | alignment_multiset_transport | partial source model | [pragmatic-observation-wave16-notation-occurrences](#pragmatic-observation-wave16-notation-occurrences) |
| `pragmatic-observation-wave16-numbered-rows` | annotation_position_class_transport | partial source model | [pragmatic-observation-wave16-numbered-rows](#pragmatic-observation-wave16-numbered-rows) |
| `pragmatic-observation-wave16-batch-context` | source_safe_prompt_coordinates | partial source model | [pragmatic-observation-wave16-batch-context](#pragmatic-observation-wave16-batch-context) |
| `pragmatic-observation-wave17-accounted-label-coordinates` | attempted_label_coordinate_transport | partial source model | [pragmatic-observation-wave17-accounted-label-coordinates](#pragmatic-observation-wave17-accounted-label-coordinates) |
| `pragmatic-observation-wave17-partial-label-accounting` | attempted_acceptance_separation | partial source model | [pragmatic-observation-wave17-partial-label-accounting](#pragmatic-observation-wave17-partial-label-accounting) |
| `pragmatic-observation-wave17-decode-before-ledger` | failure_effect_exclusion | partial source model | [pragmatic-observation-wave17-decode-before-ledger](#pragmatic-observation-wave17-decode-before-ledger) |

## Model text


### model

## Pragmatic observation

### forward

A tagged family of agreement policy, frame invariant, role/context projection, lexical interpretation and irony observations. Five source leaves share supplied annotations, lexical snapshots, row IDs and policy configuration where actual APIs join; this ownership parent is not a mandatory sequential pipeline.

### invariant

Maintain original row/document/token coordinates and anchor alignment, voice-sensitive agreement precedence, diagnostic negative controls, cue-only irony exclusion and deterministic occurrence plurality ties. Diagnostic flags and lexical interpretations are hypotheses, not semantic truth.

### cost

Pay only reached child scans, map operations and text rendering. Chronological grouping and sorting, role extraction, frame analysis and lexical lookups have distinct costs; shared work must not be charged twice. No measured speed gain or general approximation guarantee.

### composition

Owned children are prag agree, invariants, lens, roles and irony. Actual frame construction depends on frames/Ctx, en annotations and global lexical knowledge outside this parent. Expression readings also join world domains across lexical-semantics. These external dependencies are explicit; registering this parent does not cover the entire frame/expression implementation, parser acquisition or full pragmatic pipeline. Same sentence identity and annotation order constrain joins.

### epoch-memory

2026-10-30 initial parent. Source review distinguishes occurrence plurality from majority truth, cue kinds from cue occurrences, and partial supplied-input transport from live context understanding. Twelve-source integration extends school/answer/state coverage independently of this parent.

### checks

Focused prag leaf tests and world/tests/groupant_wave12.rs supplied-input joins are the intended checks. The 27 focused pragmatic tests and ten root joins pass twice per profile; evidence.md binds their scoped execution. Child partial syntax is not a composed semantic AST.

### wave13-extension

Forward domain adds symbolic features, classifiers, closed fields, supplied-input inference and seven native test joins. Preserve dictionary, class, source and schedule identities. Costs remain branch-specific; eval.rs and data.rs are explicitly unregistered caller dependencies. Existing annotation/frame/role/irony/lexical models remain in force.

Behavior complement: The tagged universe additionally includes valid aligned symbolic rows, built/reindexed slot dictionaries, closed field classes, supplied unique schedules and supplied dependency graphs. Exclude changed known IDs after dictionary reindex, changed in-range field transport, future/unvisited predecessor feedback, cross-Src predecessor edges, nondeterministic canonical gain reductions on a fixed target, and presupposition/manner evidence obtained by dereferencing an invalid or reflexive direct head. A traversal leaving the supplied index domain before reaching the selected clause head supplies no subtree membership evidence. These are conditional source-derived exclusions; arbitrary malformed classifier state, long floating histories and semantic correctness remain unknown.

Reverse reconstruction: For class tuples and context observations retain every compatible dictionary, full-width row, fitted state, class alphabet and supplied schedule, composing only on identical slot and row identities. UNSEEN retains all unrecorded spellings; missing-prefix fallback does not reconstruct earlier acts. For gain observations retain compatible integer histograms under canonical target arithmetic; inference outputs retain compatible valid dependency paths and prior-token histories, without recovering unique text, discarded tokens or learning history. eval/data caller dependencies remain explicit and unregistered.

Four transport/context views are copied from the exact harness catalog; canonical gain and valid ancestry are source/leaf scopes, not executed CLI joins. Bounded evidence is recorded in wave13-evidence.md.

### wave14-extension

Wave14 registers data/eval/frames_md and adds supplied Item transport, closed metrics and frame/Macula rendering observations. No live corpus or parser is invoked.

Complement: For supplied Item, class and rendering transitions exclude source/batch/predecessor identity changes, wrong constant-field transport, unequal-length or invalid-class metric success and missing supplied frame/Macula participants. CRLF alone must not change the bounded Hebrew table. Tuning is modeled in school-support.

Reverse: Retain all compatible supplied Items, dictionaries, schedules, fitted states, label sequences and dependency/annotation graphs with the same observed identities. Labels and metrics lose text and training history; Markdown loses unrendered fields and line endings. Multiple antecedents remain.

Reached API costs only. Bounded native evidence is recorded in wave14-evidence.md; prior evidence retained.

### wave15-extension

Shared coordinates are Read frame i, Read.pred[i]=(sentence s, zero-based predicate token p), Tree.w[p] with one-based UD heads, participant slot k, and local Lex indices (class,fclass,frame). Conversion output TSV feeds that same local Lex; global Match accessors do not resolve local indices. Rule edits preserve sentence-qualified lookup; deletion maps retained frame references through one survivor map; rendering and schema views preserve selected roles/acts. The seven tagged fixtures are separate joins, not a general parser pipeline. Universe U consists of the seven tagged supplied-input fixtures and candidate observations at their declared APIs. R requires local Lex class/frame (1,1,0), ordered Agent/Theme/Recipient roles and score 8; active/passive subject roles Agent/Theme and scores 4/8; sentence-1 Bob copied at frame 3; survivor frame map 0->0,3->1 with unchanged predicate token pairs; only sentence-0 participle added; only oblique slot 5 resolved; and accepted/proposed role transfers with exact Frame JSON preservation. U minus R excludes swapped lexical roles, global-Lex index substitution, Alice copied across sentences, dangling deleted frame indices, altered token coordinates, adding the wrong sentence token, changing recipient while resolving an oblique, rejected/off rule execution and changed non-target Frame fields. This is a source-derived assertion relation, not a proven complement for all Rust paths; malformed domains and unexecuted branches remain unknown. Reverse composition retains compatible supplied XML/table, clause, frame/tree and rule states sharing these coordinates; discarded frames, unmatched words and original XML layout are not recovered. Cost is reached conversion, matching, rule/remap and rendering work; no whole-system bound follows.

Complement: Universe U consists of the seven tagged supplied-input fixtures and candidate observations at their declared APIs. R requires local Lex class/frame (1,1,0), ordered Agent/Theme/Recipient roles and score 8; active/passive subject roles Agent/Theme and scores 4/8; sentence-1 Bob copied at frame 3; survivor frame map 0->0,3->1 with unchanged predicate token pairs; only sentence-0 participle added; only oblique slot 5 resolved; and accepted/proposed role transfers with exact Frame JSON preservation. U minus R excludes swapped lexical roles, global-Lex index substitution, Alice copied across sentences, dangling deleted frame indices, altered token coordinates, adding the wrong sentence token, changing recipient while resolving an oblique, rejected/off rule execution and changed non-target Frame fields. This is a source-derived assertion relation, not a proven complement for all Rust paths; malformed domains and unexecuted branches remain unknown.

Reverse: For each tagged output y retain all supplied antecedents x satisfying its stated relation and shared coordinates. Match indices require the exact retained local Lex; roles/scores do not recover XML formatting, unused classes, examples, filler identity or animacy. Head copying and kind changes lose overwritten values. Deletion loses removed frames and incoming references while retaining survivor predicate coordinates. Added participle frames do not recover a complete tree; pronoun resolution leaves multiple compatible prior discourse lists. Full Frame JSON recovers that Frame on the lawful serialization domain, not the originating tree. Patient/recipient transfer is uniquely reversible only with occupied source, empty destination and all other state retained. Parent reverse composition existentially retains shared intermediate Lex/Read snapshots, never arbitrary independently chosen coordinates.

Reached API costs only. Bounded native evidence is recorded in wave15-evidence.md; prior evidence retained.

### wave16-extension

Wave16 registers fbench and silver and three supplied scoring, annotation-position/class and source-safe prompt joins.

Complement: Universe: supplied Frame notation/permutation, numbered silver rows and Item batches/prompts paired with observed counts/labels/text. Exclude unremapped links, true positives exceeding system/gold occurrence counts, exchanged one-based row/class identities, partial duplicate-identifier acceptance, and context suppression across source collisions or overflowing paragraph transitions. These separate tagged transitions invoke no external teacher/parser.

Reverse: Retain compatible Frames, notation, rows, Items and batches sharing observed coordinates. Notation omits frame detail; counts cannot recover source text; accepted labels discard row order/junk spelling; identical prompts cannot recover all metadata. Reverse composition retains the frame permutation, one-based Item position, act alphabet and ordered batch references; many antecedents remain.

Reached API costs only. Bounded native evidence is recorded in wave16-evidence.md; prior evidence retained.

### wave17-extension

Wave17 adds the prag CLI/library boundary and pure reply accounting, plus three supplied event/accounting/label joins.

Complement: Universe: supplied event traces, caller metadata, isolated ledger and numbered label rows over an ordered Item batch. Exclude accounting after decode failure, exchanged source/row labels, accepted labels for missing or duplicated rows, and treating attempted sentence count as accepted labels. A valid suffix cannot recover an earlier rejected trace. No process/crash/concurrency or teacher guarantee is modeled.

Reverse: Retain all traces, metadata, rows and Item lists sharing the observed reply, accounting and labels. Row k plus the same batch recovers Item k-1; ledger cardinality alone cannot recover accepted rows or text. Full, partial and duplicate answers can share usage and attempted counts. Unchanged ledger bytes admit multiple failure histories; event decoding and label parsing lose spellings and discarded events.

Reached API costs only. Bounded native evidence is recorded in wave17-evidence.md; prior evidence retained.

### catalog

## pragmatic-observation scoped views

These partial relations bind the manifest source revision or transitive bindings. Each view's supplied-input domain, observation and operator are stated below. Stable dependencies and successful bounded execution are premises. Executed evidence is recorded in evidence.md; source-derived models and finite fixtures are not general proofs. Reverse relations retain compatible antecedents and do not recover unique histories.

### behavior-complement

Type: behavior_complement.

Universe: tagged supplied annotation/text, aligned frame/anchor, lexical snapshot and label-policy calls. Exclude changed row/token/document identity, violated character-voice precedence, cross-document context carry, changed original expression surfaces, cue-only neutral irony and a noncanonical plurality tie winner. These conditional constraints describe implemented policies, not semantic truth; external frame acquisition and unexecuted cases remain unknown.


Wave13 extension: The tagged universe additionally includes valid aligned symbolic rows, built/reindexed slot dictionaries, closed field classes, supplied unique schedules and supplied dependency graphs. Exclude changed known IDs after dictionary reindex, changed in-range field transport, future/unvisited predecessor feedback, cross-Src predecessor edges, nondeterministic canonical gain reductions on a fixed target, and presupposition/manner evidence obtained by dereferencing an invalid or reflexive direct head. A traversal leaving the supplied index domain before reaching the selected clause head supplies no subtree membership evidence. These are conditional source-derived exclusions; arbitrary malformed classifier state, long floating histories and semantic correctness remain unknown.


Wave14 extension: For supplied Item, class and rendering transitions exclude source/batch/predecessor identity changes, wrong constant-field transport, unequal-length or invalid-class metric success and missing supplied frame/Macula participants. CRLF alone must not change the bounded Hebrew table. Tuning is modeled in school-support.


Wave15 extension: Universe U consists of the seven tagged supplied-input fixtures and candidate observations at their declared APIs. R requires local Lex class/frame (1,1,0), ordered Agent/Theme/Recipient roles and score 8; active/passive subject roles Agent/Theme and scores 4/8; sentence-1 Bob copied at frame 3; survivor frame map 0->0,3->1 with unchanged predicate token pairs; only sentence-0 participle added; only oblique slot 5 resolved; and accepted/proposed role transfers with exact Frame JSON preservation. U minus R excludes swapped lexical roles, global-Lex index substitution, Alice copied across sentences, dangling deleted frame indices, altered token coordinates, adding the wrong sentence token, changing recipient while resolving an oblique, rejected/off rule execution and changed non-target Frame fields. This is a source-derived assertion relation, not a proven complement for all Rust paths; malformed domains and unexecuted branches remain unknown.


Wave16 extension: Universe: supplied Frame notation/permutation, numbered silver rows and Item batches/prompts paired with observed counts/labels/text. Exclude unremapped links, true positives exceeding system/gold occurrence counts, exchanged one-based row/class identities, partial duplicate-identifier acceptance, and context suppression across source collisions or overflowing paragraph transitions. These separate tagged transitions invoke no external teacher/parser.


Wave17 extension: Universe: supplied event traces, caller metadata, isolated ledger and numbered label rows over an ordered Item batch. Exclude accounting after decode failure, exchanged source/row labels, accepted labels for missing or duplicated rows, and treating attempted sentence count as accepted labels. A valid suffix cannot recover an earlier rejected trace. No process/crash/concurrency or teacher guarantee is modeled.

### reverse-reconstruction

Type: reverse_reconstruction.

For observed labels, role triples, context summaries, lexical means, invariant hits or irony candidates, retain every compatible supplied annotation/text, frame/anchor sequence, lexical snapshot and policy value. Compose only through identical sentence/document/token coordinates and shared intermediate frames. Summaries discard source order/details; empty hits does not recover frames or establish correctness. No unique input reconstruction or full pragmatic inverse is claimed.


Wave13 extension: For class tuples and context observations retain every compatible dictionary, full-width row, fitted state, class alphabet and supplied schedule, composing only on identical slot and row identities. UNSEEN retains all unrecorded spellings; missing-prefix fallback does not reconstruct earlier acts. For gain observations retain compatible integer histograms under canonical target arithmetic; inference outputs retain compatible valid dependency paths and prior-token histories, without recovering unique text, discarded tokens or learning history. eval/data caller dependencies remain explicit and unregistered.


Wave14 extension: Retain all compatible supplied Items, dictionaries, schedules, fitted states, label sequences and dependency/annotation graphs with the same observed identities. Labels and metrics lose text and training history; Markdown loses unrendered fields and line endings. Multiple antecedents remain.


Wave15 extension: For each tagged output y retain all supplied antecedents x satisfying its stated relation and shared coordinates. Match indices require the exact retained local Lex; roles/scores do not recover XML formatting, unused classes, examples, filler identity or animacy. Head copying and kind changes lose overwritten values. Deletion loses removed frames and incoming references while retaining survivor predicate coordinates. Added participle frames do not recover a complete tree; pronoun resolution leaves multiple compatible prior discourse lists. Full Frame JSON recovers that Frame on the lawful serialization domain, not the originating tree. Patient/recipient transfer is uniquely reversible only with occupied source, empty destination and all other state retained. Parent reverse composition existentially retains shared intermediate Lex/Read snapshots, never arbitrary independently chosen coordinates.


Wave16 extension: Retain compatible Frames, notation, rows, Items and batches sharing observed coordinates. Notation omits frame detail; counts cannot recover source text; accepted labels discard row order/junk spelling; identical prompts cannot recover all metadata. Reverse composition retains the frame permutation, one-based Item position, act alphabet and ordered batch references; many antecedents remain.


Wave17 extension: Retain all traces, metadata, rows and Item lists sharing the observed reply, accounting and labels. Row k plus the same batch recovers Item k-1; ledger cardinality alone cannot recover accepted rows or text. Full, partial and duplicate answers can share usage and attempted counts. Unchanged ledger bytes admit multiple failure histories; event decoding and label parsing lose spellings and discarded events.

### frame-role-hit-identity

Type: annotation_frame_projection.

Two supplied subject-carry-object annotations produce frames and role triples at original one-based token positions. Valid frames have no invariant hits; patient replaced by agent produces the named row-one identity hit. Fixed lexical knowledge and anchors remain dependencies, not truth proofs.

### expression-report-identity

Type: lexical_surface_transport.

Three casing variants of take place yield nonempty lexical readings. Original surfaces survive lens means and domains_with report projection with the same snapshot. This checks a real cross-subtree call, not lexical truth or general domain-classification accuracy.

### agreement-row-policy

Type: label_identity_policy.

Two imperative tree blocks join label rows by sentence ID. Ordinary voice changes to imperative/request; character voice retains declarative/assert. Output reparses with identities intact; CRLF and LF observations agree. External witnesses and optional policy settings remain inputs.

### document-context-order

Type: chronological_state_projection.

Three sentences in two documents are deliberately out of input order. Roles and pre-sentence context restore row order after chronological reading; document starts have no recent events and the second sentence sees its own prior actor. Input permutation preserves the ID-keyed context map. Equal ordering keys remain a separate tie assumption.

### irony-cue-ancestry

Type: incongruity_gate_relation.

Source scope prag/src/irony.rs: irony requires explicit or implicit incongruity before pragmatic cue kinds contribute to a candidate; repeated cue occurrences do not multiply a kind. Explicit and implicit weights are 2 and 3, and the candidate threshold is 2. Following an out-of-range dependency head supplies no ancestry evidence; bounded traversal terminates cycles. These constraints govern supplied Word annotations and raw text, not real speaker intent. Holding annotations fixed while adding laughter or punctuation can raise an existing candidate score but cannot make cue-only neutral text ironic. Equal score/pair observations admit many annotations and raw texts; retain unknown context and lexicon assumptions. Native leaf evidence and source inspection are distinct from root join evidence.

### spread-plurality-tie

Type: frequency_selection_relation.

Source scope prag/src/invariants.rs: Spread groups accepted VerbNet occurrences by exact verb and nonempty signature, selects the class with maximal occurrence count and resolves ties to the smaller class ID. This is plurality, not a strict-majority guarantee. The output omits winning occurrences, retains losing sentence IDs and original one-based frame rows, and orders groups/classes by BTree keys. Duplicate additions count again. counts reports populated groups and multi-class groups, not sentence accuracy. A class-tie intervention switching to the larger ID changes the losing set and is rejected by finite leaf controls. Empty hits admits any single-class-per-group corpus and cannot reconstruct winners, source frames or actual semantic correctness.

### pragmatic-observation-wave13-field-transport

Type: closed_class_transport.

For each field f with ordered class list C_f, predict class c then set gives get_f(set_f(l,c))=c for 0<=c<|C_f| while other fields remain. Our native fixture parses q/request/1/0/neg/character/- into literal [1,3,1,0,1,1], trains four identical supplied rows for each of three classifier kinds through fit_set and predicts all six fields through predict_seq, then checks the tuple and canonical TSV. This is real tiny classifier transport, not held-out learning accuracy. Shape, alignment and class bounds remain caller premises.

Source-derived partial relation. Wave13 bounded integration evidence is recorded in wave13-evidence.md; prior evidence is retained separately.

### pragmatic-observation-wave13-dictionary-transport

Type: dictionary_snapshot_equivalence.

For a built dictionary D whose slot values are unique, let J be JSON values-only persistence and rebuild the skipped index by reindex. Then E_D(r)=E_reindex(J(D))(r); reserved acts and start remain known, while unseen spelling remains UNSEEN. Tiny independent fits on both snapshots preserve observed class, confidence bits and explanations. Actual encode mapping is checked, but agreement between fits is a transport observation rather than an independent prediction oracle. IDs from different insertion-order dictionaries are not interchangeable; arbitrary malformed serialized dictionaries are excluded.

Source-derived partial relation. Wave13 bounded integration evidence is recorded in wave13-evidence.md; prior evidence is retained separately.

### pragmatic-observation-wave13-source-context

Type: source_document_predecessor.

For non-Tatoeba item i with ord>1, prev_of chooses the last supplied index with identical Src and doc and ord_i-1, if any. Duplicate coordinates remain last-wins; paragraph changes do not break this document relation. Composition with predict_seq uses the same index-to-row mapping. The seven-item mixed Tale/Gum/Tatoeba fixture asserts exact predecessor indices and resultant observed acts. Such source-scoped identity does not make corpus partitions semantically independent.

Source-derived partial relation. Wave13 bounded integration evidence is recorded in wave13-evidence.md; prior evidence is retained separately.

### pragmatic-observation-wave13-schedule-context

Type: prefix_available_feedback.

For unique schedule pi, let O_t be already produced predictions. Row pi_t gets Act(O_t[p]).name only when p=prev[pi_t] is in O_t; otherwise it gets start. This overrides the supplied row's prev feature without mutating the row. A test observer exposes only this actual eval adapter: forward chain gives Ask/Request/Thank, reverse gives three Ask, suffix gives Ask/Request. It is not a learned classifier. No internal chronological sort, gold label access or future-context inference is asserted.

Source-derived partial relation. Wave13 bounded integration evidence is recorded in wave13-evidence.md; prior evidence is retained separately.

### pragmatic-observation-wave13-canonical-gain

Type: deterministic_histogram_reduction.

Source scope prag/src/model.rs gain_ratio: aligned rows and valid classes form integer category histograms; BTreeMap visits category IDs in ascending order before floating conditional entropy and split-information reductions. Fixed histograms and target arithmetic therefore keep reduction order; constant slots return zero and two balanced perfectly separating categories return one. Relabeling categories may reorder floating sums; arbitrary malformed dimensions, overflowing counters and cross-platform bit equality are excluded. Equal gain leaves row order, keys and many histograms ambiguous. Leaf evidence covers canonical arithmetic; this parent does not claim an executed training CLI or general task accuracy.

Source-derived partial relation. Wave13 bounded integration evidence is recorded in wave13-evidence.md; prior evidence is retained separately.

### pragmatic-observation-wave13-valid-inference-ancestry

Type: bounded_dependency_evidence.

Source scope prag/src/infer.rs: direct presupposition predicate heads must be present and nonreflexive; manner conjunct heads must be in-range, nonzero and nonreflexive before event comparison. Factive subtree membership traverses at most the supplied token count, stops on invalid ancestry and does not accept disconnected cycles. A node reaching the selected clause head is a member; no global tree-validity guarantee is asserted. Presupposition licensing retains only predicate matches within the last 50 prior tokens and loses speaker/entity identity. Compatible outputs admit many supplied graphs/history tokens. Source and leaf evidence are distinct from executed parser or CLI evidence.

Source-derived partial relation. Wave13 bounded integration evidence is recorded in wave13-evidence.md; prior evidence is retained separately.

### pragmatic-observation-wave14-item-classification

Type: source_batch_class_identity.

make_items selects s1,s2,tatoeba:a,tatoeba:b with batches 0,0,1,2 and context only on the first selected tale sentence. JSON roundtrip preserves Item fields; prev_of gives [None,Some(0),None,None], preserving source-qualified predecessor identity. Built slot dictionary and constant-label IgTree fit/predict preserve all six class coordinates and Act scores=(1,1). Exclude changed keys, source leakage and coordinate substitution. Labels admit many texts and fitted histories; this tiny fit tests transport rather than held-out accuracy.

Source-derived partial relation. Wave14 bounded integration evidence is recorded in wave14-evidence.md; prior evidence is retained separately.

### pragmatic-observation-wave14-closed-metrics

Type: present_class_metric_boundary.

Gold [Request,Assert] and prediction [Request,Request] yield accuracy 1/2 and macro F1 1/3 over present classes. Unequal lengths and class IDs at the class count panic. Empty vectors with zero classes yield (0,0). Exclude zip truncation and silently ignored invalid classes. Equal metrics retain row permutation and confusion-matrix ambiguity. Cost is row/class bookkeeping; no semantic label accuracy follows.

Source-derived partial relation. Wave14 bounded integration evidence is recorded in wave14-evidence.md; prior evidence is retained separately.

### pragmatic-observation-wave14-frame-rendering

Type: frame_and_macula_identity.

The supplied Ada/carries/box tree yields one frame with agent id ada and patient id box. Markdown contains carry/Ada/box in one event row; roles preserves (1,2,agent); empty input states no event. Exclude exchanged participants and duplicated rows. Selected lexical/role observations lose other graph/state details and retain many antecedents. Only supplied Word trees are used; no parser acquisition.

For two supplied annotation rows, hwords retains participant head 1 and MId identity referenced by Frame=A0:2. Hebrew output includes v/did work, x/worker and finite/qal. LF-to-CRLF conversion leaves the table equal. Exclude missing referenced participants and newline-dependent labels. The table loses line endings, unused columns and gloss punctuation. This fixture does not establish external corpus coverage.

Source-derived partial relation. Wave14 bounded integration evidence is recorded in wave14-evidence.md; prior evidence is retained separately.

### pragmatic-observation-wave15-converted-local-lex

Type: converted_lexicon_argument_transport.

Two XML classes (distractor first), two members and one frame convert to counts (2,2,1). Loading the exact TSV into local Lex and matching give yields (class,fclass,frame)=(1,1,0), subj Agent, objs [Theme], pps [Recipient], score 8, for stable false/true; absent verb yields None. Index the local Lex, never global Match accessors. Exclude class 0 provenance or swapped object/preposition roles. Reverse admits XML layout, examples and unused-table ambiguity. Cost is supplied conversion/indexing plus candidate ancestor-frame/argument traversal.

Source-derived partial relation. Wave15 bounded integration evidence is recorded in wave15-evidence.md; prior evidence is retained separately.

### pragmatic-observation-wave15-active-passive

Type: voice_argument_coordinate_transport.

For supplied throw Agent V Theme with unknown animacy, empty frequencies/restrictions, active subj=Agent, objs=[Theme], by=None, score=4; passive subj=Theme, by=Agent, objs=[], score=8. Passive subject occupies an internal object position but must not create an output object entry. Exclude subject Agent in the passive. Role observations retain filler identity/animacy and clause ambiguity. Cost is candidate shape and argument traversal.

Source-derived partial relation. Wave15 bounded integration evidence is recorded in wave15-evidence.md; prior evidence is retained separately.

### pragmatic-observation-wave15-sentence-head

Type: sentence_qualified_head_action_transport.

Two supplied trees reuse token indices 1 and 2; Read.pred pairs [(0,1),(0,2),(1,1),(1,2)] bind four frames. AgentFromHead on frame 3 copies Bob from sentence 1, leaves frame 1 empty and original Read unchanged. KindSay(Ask) renders speech: ask and schema labels retain ask. Exclude Alice copied from sentence 0. Reverse retains overwritten agent/kind ambiguity and rendering loses tree details. Cost includes Read clone, ordered predicate map, bounded head traversal and output.

Source-derived partial relation. Wave15 bounded integration evidence is recorded in wave15-evidence.md; prior evidence is retained separately.

### pragmatic-observation-wave15-deletion-map

Type: survivor_frame_reference_transport.

Delete frame indices {1,2} from four: old 0/3 become 0/1. pred remains [(0,2),(1,4)], roots=[0], asked why->1; first frame quote=[1], cause=None, next=1, link parent=1. show(10) is Event _ say | says→#11 next→#11. Exclude stale frame references and renumbered token coordinates. Reverse retains arbitrary deleted frame content and vanished references. Cost scans frame/reference collections with ordered deletion-set membership and one dense remap.

Source-derived partial relation. Wave15 bounded integration evidence is recorded in wave15-evidence.md; prior evidence is retained separately.

### pragmatic-observation-wave15-participle-append

Type: sentence_token_site_append.

Supplied broken cup and painted wall trees expose sites Token(0,0),Token(1,0). AddNounPatient at (0,0) appends break with patient cup, no agent, and pred (0,0); sites become Frame(0),Token(1,0). Markdown contains break/cup and excludes wall. Exclude sentence-coordinate substitution or reoffering represented token (0,0). Reverse admits omitted tree/noun detail. Cost includes token/site scan, Read clone, predicate lookup and one append.

Source-derived partial relation. Wave15 bounded integration evidence is recorded in wave15-evidence.md; prior evidence is retained separately.

### pragmatic-observation-wave15-oblique-slot

Type: oblique_role_candidate_transport.

Role indices 0..3 are agent/patient/recipient/place; 4+k selects oblique k. Recipient her at 2 and second oblique with her at 5 expose separate sites. Resolve(Before) at 5 changes only that oblique to alice, retains pron her and preposition with, and repeating returns None. Trace is Event _ walk to=she(«her») near=tree with=alice(«her»). Exclude recipient or first-oblique changes. Reverse admits multiple compatible discourse lists and overwritten entity fields. Cost includes clone, map construction, candidate scan and rendering.

Source-derived partial relation. Wave15 bounded integration evidence is recorded in wave15-evidence.md; prior evidence is retained separately.

### pragmatic-observation-wave15-extract-rule-codec

Type: supplied_frame_rule_serialization_transport.

Supplied Ada carries box Word tree extracts one frame agent ada/patient box. Explicit accepted patient-to-to moves box to recipient; proposed to-to-patient restores exact original Frame; rejected drop is excluded and off selects none. Selected Action codes parse identically and Frame JSON roundtrips exactly, retaining provenance/TAM and predicate (0,1). Exclude changed agent, rule-status leakage or field loss. Transfer inverse is unique only with occupied source/empty destination and retained other state; JSON cannot reconstruct original Tree. Cost includes supplied-tree extraction, rule text/site/feature traversal and JSON bytes. Extraction may read built-in lexicon/configuration; no live parser or environment mutation occurs.

Source-derived partial relation. Wave15 bounded integration evidence is recorded in wave15-evidence.md; prior evidence is retained separately.

### pragmatic-observation-wave16-notation-occurrences

Type: alignment_multiset_transport.

Actual Frame.show output parses to scorer GFrames. A two-frame speech/event fixture is permuted with its frame links remapped. Literal role counts stay 9/9/9 and per-link counts 1/1/1. Adding duplicate system quote links contributes predictions without creating more correct occurrences than exist in gold (multiset intersection). Complement excludes dangling/unremapped links and tp>min(sys,gold). Reverse retains all frame detail omitted by notation; correct scores do not uniquely recover source text. Cost includes output bytes, O(G*S log(G*S)) greedy alignment and role/link accounting; no global optimum alignment claim.

Source-derived partial relation. Wave16 bounded integration evidence is recorded in wave16-evidence.md; prior evidence is retained separately.

### pragmatic-observation-wave16-numbered-rows

Type: annotation_position_class_transport.

Supplied Items and numbered silver rows compose through exact 1-based batch positions. Out-of-order rows resolve to their original Items; schema TSV transport preserves act classes; metric scores compare the same closed act alphabet. Missing rows remain partial rejection, duplicate rows reject entire batch. Complement excludes position/label substitution and partial acceptance after duplicate identifiers. Reverse loses original row ordering, junk spelling and raw label formatting. Costs follow prompt/row bytes plus ordered key maps and class counts; no model call occurs.

Source-derived partial relation. Wave16 bounded integration evidence is recorded in wave16-evidence.md; prior evidence is retained separately.

### pragmatic-observation-wave16-batch-context

Type: source_safe_prompt_coordinates.

Batches preserve input order within each ascending batch ID. Prompt context suppression requires same source and document and checked consecutive paragraph arithmetic; cross-source collisions or MAX->MIN wrapping do not suppress context. Complement excludes dropped context for those disallowed transitions. Reverse cannot recover source metadata from identical prompt text. Cost is ordered batching and emitted prompt/context bytes; no end-to-end throughput measurement.

Source-derived partial relation. Wave16 bounded integration evidence is recorded in wave16-evidence.md; prior evidence is retained separately.

### pragmatic-observation-wave17-accounted-label-coordinates

Type: attempted_label_coordinate_transport.

Decoded usage (13 input,5 output,7 cache-read,0 cache-write) and caller (batch9,attempted2,0.25secs) survive interpret/append/read. Reversed TSV arrival order retains row1 Tale/Narrate and row2 Tatoeba/Assert through the same Item references. Exclude arrival-order indexing and reversed source mapping. Compatible source content remains unconstrained beyond the retained keys, source policy and supplied rows.

Source-derived partial relation. Wave17 bounded integration evidence is recorded in wave17-evidence.md; prior evidence is retained separately.

### pragmatic-observation-wave17-partial-label-accounting

Type: attempted_acceptance_separation.

Three attempted Items yield accepted row1 and row3, missing row2, and one accounting record with sentences3. A separate duplicate-row reply rejects all labels but still records one successfully decoded attempted call. Ledger data does not establish label coverage; accepted labels cannot reconstruct absent text. Costs are event/row parsing, one append and ledger read.

Source-derived partial relation. Wave17 bounded integration evidence is recorded in wave17-evidence.md; prior evidence is retained separately.

### pragmatic-observation-wave17-decode-before-ledger

Type: failure_effect_exclusion.

The supplied adapter evaluates decode_events with ? before interpret/append/gate. A prior valid ledger is byte-identical after failed suffix, failed prefix with valid suffix, repeated successful trace, or error prefix with valid suffix. Failure histories have nonunique unchanged-ledger preimages. This sequential adapter property is not atomicity, process execution, durability or concurrency evidence.

Source-derived partial relation. Wave17 bounded integration evidence is recorded in wave17-evidence.md; prior evidence is retained separately.

### evidence

#### Executed supplied-input evidence, 2026-10-30

The integrated world slice passes 244 native tests twice in debug and twice in release with identical sorted names/results: 194 selected regressions, 38 new source tests, two existing lesson tests and ten new API joins. The separate pragmatic slice passes 27 tests twice per profile: fifteen new source tests and twelve existing regressions. These are focused suites. Existing unrelated compiler warnings remain. PRAG_AGREE_ALL and PRAG_OFF are cleared for root runs; no external parser/teacher, books, live course, held-out data or GPU run occurs.

Eleven compiled production mutants fail named source assertions. The root changes fallback question row zero to row two: it compiles and fails state_answers_preserve_fallback_and_control_denominators at the provenance assertion. Exact source is restored before positive repeats. Syntax and structural reports repeat identically; twelve changed sources are registered. Stale-binding/wrong-child controls reject and restore. Whole-repository require-all remains red for 454 genuinely missing sources.

Codecs preserve supplied tables and accumulator activation; this does not establish filesystem durability or fresh-process learning. Extreme duplicate actor votes clip once to i64 after i128 summation. Learning/world updates still require representable intermediates. No universal semantic proof, new approximation bound or school speed gain follows. Fixture scopes and reverse ambiguity are in model.md and catalog.md. Root receipt set: octopus-wave12-integration-2026-10-30. SHA-256 receipts:

- world-check.log: 12800654b9a5997f9bb9b65669a264ea41d7aa148fbab423ca11d7bd1fb43d73

- prag-check.log: 328a03d6bb4c16897628c9b141e82c176b91ef79958b628e8f5dc34cf047afee

- adapter-control.log: b8d80295e11528c0c79e245630dce4785d039af059686e6a4284f0de61acdcfd

- adapter-mutant.log: e75c9ea6351bfd55bcd91dd6a332a9a0ef0eb72f6b5877b6e14d8842df191d6b

- native-groupant_wave12-debug-1-normalized.txt: fd431f9d6b55826cef715de956e76a77177f8a733ed0ec91da24b4ca4062eb6b

- native-groupant_wave12-release-2-normalized.txt: fd431f9d6b55826cef715de956e76a77177f8a733ed0ec91da24b4ca4062eb6b

- join-syntax-1.json: 3bcb9332a30db62d4b5992c925c37b233ab7b88f8acb0f5c8abf69ad8dff7be6

- groupants-final-1.json: bdd5cd88b42ab9daf29cd2819fd51903f82d7ce58400f6177ae4c1e44985fe6c

- structural-controls.log: a50d4387189f34044579c0d068475201acf1f6e7ee8e3297c0db6909f3180975

### wave13-evidence

#### Wave13 bounded evidence — 2026-10-30

75 focused native checks pass twice in debug and twice in release with identical sorted names/results: 58 pragmatic unit checks (23 new source tests, eight existing owner tests and 27 previous pragmatic regressions), seven new pragmatic joins and ten previous world joins. These are selected tests, not full suites or corpus exams.

Four owner production mutations fail named assertions (kNN distance shell, schema word boundary, feature question flag, inference history window). The root wrong-schedule adapter also compiles and fails predecessor_schedule_and_subset_have_explicit_start_fallback; exact bytes are restored before positive runs. Owner sidecars preserve original red witnesses and receipts.

The harness source SHA-256 is 9991d8a61afc40be64d7828b5411d1cc55d8d49b750db50fe55f85f2c15d51d4. Two independently generated partial syntax artifacts are byte-identical, SHA-256 98747dbfda921f29f82ef34ac78048f70113407ec6c1b9218161df6c749ede2c. Partial syntax is not semantic AST.

External run bundle: $MOVA_DATA/runs/octopus-wave13-integration-2026-10-30. native-evidence-hashes.json SHA-256 5579f525ae5ec216d5ce51ebfc4f90ef1ad24910aca965984222c6c74c5a0337 binds raw native logs and normalized outputs; all-normalized.txt SHA-256 dc4afe9f976b96a8b612728d912982074166dab5f1fd3ea0c51912e6994e3328; adapter-mutant.log SHA-256 ede47849bfecb4f417b084e1397e25bdfd74ae1ba546d8c850618f9eb44f33f2. Structural controls summary SHA-256 a50d4387189f34044579c0d068475201acf1f6e7ee8e3297c0db6909f3180975 records stale-binding and wrong-child rejection with exact restoration.

Field and metric assertions use literal independent values. Dictionary repetition is transport equivalence, not independent semantic accuracy. The context Observer is a test classifier; separate tiny real fits exercise the actual classifier path. eval/data remain unregistered source dependencies, malformed classifier/TSV states remain domain restrictions, and no live parser/teacher/GPU/corpus/full-school run or speed/accuracy gain is claimed.

### wave14-evidence

#### Wave14 bounded integration evidence, 2026-10-30

464 algorithm tests (416 unit, 47 external, one doc) and 101 selected Mova checks pass twice in debug and twice in release with identical normalized named outcomes. Mova checks comprise the previous 75 and 26 reached checks: eval 4, data 6, frames_md 7, tune 4 and five new joins. These selected Mova checks do not represent the complete Mova suite.

Ten new algorithm production mutations and eight false-oracle mutations fail named assertions in owner receipts. Four Mova production mutations fail named assertions. Both root adapters compile and fail their intended named assertions: zeta_product_inverts_to_or_convolution (wrong inverse stage) and batched_items_keep_source_identity_through_classification (wrong source window). Exact source bytes are restored before positive runs. Compilation failures do not count as semantic rejection.

Strict all-target algorithms Clippy and algorithms formatting pass. Historical world/prag warnings remain. No benchmark, throughput, GPU, teacher/parser acquisition, full-school run, held-out accuracy, persistent adoption or general proof is claimed. Tiny supplied-input fitting exercises actual classifier calls. Tuning validation participates in candidate choice and is not an untouched final test.

Raw receipts: $MOVA_DATA/runs/octopus-wave14-integration-2026-10-30. native-evidence-hashes.json SHA-256 d95a91417adeb7f8e755d26f900b6508ea17759291407f33153917a42396280f; algorithm-adapter-mutant.log d2279a28cc474377b1d9321e15d4c779b0af8507f81ac39e83338bc9084a02a2; mova-adapter-mutant.log 60567fa4d984ac58834be268cdb221a37caf30bd5d07e9a3d6a2d89c16fdac87; mova-all-normalized.txt fb492ea8097fd74fe50cdceb5d61cb49efc74baa6cb152f7699e546dcbb3ac20; structural-controls/summary.json a50d4387189f34044579c0d068475201acf1f6e7ee8e3297c0db6909f3180975. The structural controls reject stale parent-source bindings and wrong child identities, restoring exact bytes. Source syntax remains partial, with opaque macros and no semantic AST.

### wave15-evidence

#### Wave15 bounded integration evidence, 2026-10-30

139 selected native Mova checks pass twice in debug and twice in release with identical normalized named outcomes: 101 prior focused checks, 31 new unit checks (frames 8, rules 10, vn 6, vnconv 7) and seven new pragmatic joins. This is a selected suite, not the full repository suite; the ninety algorithms are unchanged and are not remeasured.

Four owner production mutations fail named assertions and their exact source bytes are restored. The root adapter changes only frame 3's predicate sentence from 1 to 0; it compiles and fails sentence_token_pairs_select_head_agent_and_render_schema_act (Alice rather than Bob), then exact source bytes are restored before positives. Compilation failures are not semantic rejection.

Witnessed repairs exclude unresolved right-hand heads from entity identity; reject invalid direct rule sites; terminate lexical parent chains before invalid/repeated indices; and avoid Unicode byte-boundary panic in malformed WordNet pointers. Pointer parsing retains the existing tolerant zero fallback: source zero can match any source word and target zero can select the first target word. Malformed pointers can still produce nominal rows; this is not validated WordNet input.

Pure production-path seams expose supplied lexicon tables/matching, VerbNet XML conversion and rule selection. Global VN recording behavior is preserved under fixed process configuration; concurrent environment changes are outside equivalence. Supplied Match coordinates index their own Lex, not global Match accessors. Extraction and rule features may consult compiled lexical resources/configuration. No live parser/teacher/corpus acquisition, filesystem conversion, GPU, whole-school, persistent adoption, general proof or speed/accuracy gain is claimed.

Raw receipts: $MOVA_DATA/runs/octopus-wave15-integration-2026-10-30. native-evidence-hashes.json SHA-256 e62ef10e112b72d8cee51b62fc00d2b7182df368d9027a6dde8adc632d9608b3; all-normalized.txt ca00fc492f129d1b182df72826d3e547ba460d387fba9a9421805a4376f431dd; adapter-mutant.log 120c1c9e87c5351c8ff16aeefb4e400e3dbb00ae94b28ba0acf1b07125f53442; structural-controls/summary.json a50d4387189f34044579c0d068475201acf1f6e7ee8e3297c0db6909f3180975. Two structural controls reject stale parent-source bindings and wrong child identities, restoring exact bytes. Partial syntax has opaque macros and no semantic AST.

### wave16-evidence

#### Wave16 bounded integration evidence, 2026-10-30

The complete 100-algorithm crate passes 504 checks (448 unit, 55 external composition, one doctest) twice in debug and twice in release. The 155 selected Mova checks also pass twice in each profile, with identical normalized named outcomes: 139 previous focused checks, 11 new unit checks, two existing fbench/silver tests and three new integration joins. This is a selected Mova suite, not full-system validation.

Ten new algorithm implementation mutants and two Mova production mutants fail named assertions in owner receipts, with exact restoration before positive runs. Root additionally compiles two adapter controls: wrong forest weight/cardinality correction and swapped one-based silver-row identity. Both fail their named assertions, then exact source bytes are restored. Compilation failure is not counted as semantic rejection.

Mova fixes bound duplicate-link credit by gold occurrences (multiset intersection) and retain context unless adjacent paragraphs share source/document identity and checked consecutive paragraph numbers. Old-code witnesses cover duplicate overcredit, cross-source suppression and overflow. Three root joins exercise notation/alignment/counts, row/item/class transport and batch/prompt coordinates. Unique-link semantics and public APIs remain unchanged.

Independent read-only review found no additional concrete defect. Coverage limits: graph/tree cap+1 checks do not establish maximum-size successful throughput; Li Chao scans an independent line envelope but shares widened arithmetic and value/ID ordering; the connectivity cap fixture does not stress worst-case interval storage. A 64-vertex clique representation cap does not make exponential search cheap.

Raw receipts: $MOVA_DATA/runs/octopus-wave16-integration-2026-10-30. native-evidence-hashes.json SHA-256 f93920d688e961ce9dd02be865389cbe54db3093416464e379c650f16578841d; algorithm-normalized.txt 1335d34b718e04458dac54697f8822eb8f02b0f408dbb547852dfaa2d60a7164; mova-normalized.txt f0ca49c0b0f12e5febe6e41657b4d098e8918171918f8ae53bd96868ac5f9328; structural-controls/summary.json a50d4387189f34044579c0d068475201acf1f6e7ee8e3297c0db6909f3180975. Structural controls reject a stale parent source hash and a wrong child identity, then restore exact bytes. Owned partial syntax projections repeat identically; macro bodies remain opaque. Owner receipts remain adjacent to sources; formatting-only followups retain original owner native hashes, while root repeats bind final bytes.

The ten new implementations are exact within their declared domains; no new approximate Rust surrogate or Lean proof is asserted. No live parser/teacher/corpus acquisition, GPU, whole-school throughput or persistent-learning adoption was executed. No general semantic proof or training-speed gain follows from these checks.

### wave17-evidence

#### Wave17 bounded integration evidence, 2026-10-30

212 selected Mova checks pass twice in debug and twice in release, with identical normalized named outcomes: 155 prior focused checks, 33 new source-unit checks, 17 additional existing synthetic QA checks and seven new joins (three pragmatic, four question-generation). Root qagen library runs explicitly skip lemma::tests::doubt_with_en_model. The 100-algorithm library and its prior evidence are unchanged and are not remeasured in this epoch.

Seven existing sources gain models, with 21 nested fragments and 81 typed views; the two harnesses add 11 views, the new question-generation group adds six, and existing parents add five. Final inventory: 329/762 Rust sources, 433 pending (350 public,83 closed), 659 nodes,16 groups,314 fragments,3676 views,1109 type labels,319 partial syntax projections. Filename coverage in prag is complete; semantic coverage is scoped. Six qagen sources remain in the backlog.

Witnessed repairs: exact u128 Hamilton quotient/remainders remove the >2^53 weight-order error and usize sum overflow; checked prompt adjacency prevents i64 wrap/panic; QA anchors reject empty list components and paragraph labels permit at most one P/p prefix; accounting refuses nonfinite fields before opening and propagates non-NotFound I/O errors; run reports identify Codex transport. No broad option-compatibility change or transport rename was made.

Owner evidence records eight old-code failure witnesses and 14 compiled production mutants, followed by exact restoration and positive runs. Two root compiled adapter controls additionally fail named assertions: reversed Item/label identity and a wrong sentence-source mapping. Compiler errors are not counted as mutation rejection. Stale group bindings and wrong child identities are structurally rejected and restored exactly.

Independent source review found no further production counterexample within declared domains and refined costs: quota initialization/cap scanning remains at zero rounds; string comparisons/cloning and general JSON-object lookup work are explicit. The small quota oracle covers 45,056 tuples; this finite evidence is not a Lean proof or complete input verification. Native code and syntactic projections remain separate from models.

A gate worker also invoked a broader 26-test legacy run containing an optional local-model test; captured evidence does not establish whether that model branch ran or returned early. It is documented separately and excluded from the root 212-check receipt. Root checks use supplied fixtures and isolated temporary files, with no live teacher, parser model, corpus/database acquisition, GPU, whole-school or adoption workflow. No speed gain or new approximation-error budget is claimed.

Raw receipts: $MOVA_DATA/runs/octopus-wave17-integration-2026-10-30. native-evidence-hashes.json SHA-256 2aee840e096dcaf3d558e55c95b86f6a6623506aa620351c1e9d009ba29e94e5; mova-normalized.txt e7d315a6d937998d03e2cdc2555ba4fd96137ef61ef873104329ca632b697274; structural-controls/summary.json a50d4387189f34044579c0d068475201acf1f6e7ee8e3297c0db6909f3180975. Focused formatting passes. Cargo Clippy completes with warnings; this is not a warning-free strict-lint claim. Macro bodies remain opaque in partial syntax. External child dependencies are not inferred to have complete models from these joins.