roundtrip-pipeline

The groupant beside tools/roundtrip/src/pipeline.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	`model.md`
ast	partial	`syntax.json`
composition	partial	Composition
cost	partial	invariant-and-cost
descriptant	present	descriptant
invariant	partial	invariant-and-cost
tests	bounded checks	tests

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
`behavior_complement`	behavior_complement	partial source derived model	behavior_complement
`reverse_reconstruction`	reverse_reconstruction	partial source derived model	reverse_reconstruction
`context_partition`	context_partition	partial source derived model	context_partition
`damage_precedence`	damage_precedence	partial source derived model	damage_precedence
`head_repair`	head_repair	partial source derived model	head_repair
`failure_gate`	failure_gate	partial source derived model	failure_gate

Parts

Model text

descriptant

roundtrip-pipeline

2026-10-31 prospective epoch retained externally before edits.

groups partitions sentence indices by Unit. run segments and annotates, reads frames with context groups, realizes/world-encodes with world groups, then exact decodes R4->R3->R2->R1; normal mode independently compares starts. damage edits first eligible residual; drop_class maps surviving heads past removed ancestors.

No annotator/model loading, live corpus, full suite, teacher, GPU or persistent-learning evidence. No executable percentage surrogate: categorical codecs/effects need a useful metric before future caps 1/2/5/10%.

Exact recovery with residual is a diagnostic codec observation. It is not evidence of normal generative equivalence, semantic understanding or persistent learning. Production source is preserved; only isolated tests are appended where needed.

approximant

Forward relation

Domain: bounded synthetic values, valid source-specific coordinates, nonoverflowing counts, available allocation; fixed environment controls. Relations are source-derived partial models with finite checks, not universal proofs.

Composition

Source children delimit real function scopes, sharing syntax. Real pipeline joins R4 frame reconstruction to Realizer then R3 tree script and R2 token decode; report consumes aggregated tally. Independent path/CLI branches are not fictitious codec callers.

catalog

behavior_complement

Subject: roundtrip-pipeline, source hash 88be3b618dd828411c1e6633432af60ba9fa905429b55cff88fbc31b5ae721da; transition observation.

Exact_ok requires final text equality and no earlier frames/tree/token mismatch; a tree mismatch is not decoded further. Normal text scores do not establish exact recovery, semantic understanding or retained knowledge.

Evidence: external wave32 rt_core receipt includes native-commands.json, exact named outcomes twice debug/twice release, raw status/log files, compiled production controls with byte restoration and paired syntax. Only named synthetic helpers execute; model_path/export and live CLI paths have representation/source evidence.