📐translation-flow-many-clustering

The groupant beside tools/translate/src/many.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.

Model text

descriptant

translation-flow-many-clustering

Start singleton clusters; repeatedly select first strict-min average cross-member distance by vector-index scan, append right to left and remove right. square_order concatenates tradition groups and symmetrizes available cross-cost directions, fallback1e9.

Epoch 2026-10-31

Prospective predictions saved before edits in the external wave32 tr_flow receipts. Original production bytes preserved; only appended synthetic test modules added. Selected actual helpers exercised; five compiled behavior controls rejected with exact byte restoration and positive reruns. Source syntax projection is partial, not expanded semantic Rust. Diagnostic reconstruction with residual is not semantic understanding or persistent learning.

Finite symmetric distance and representable sums, unique indices; output permutation. Asymmetric callback outside UPGMA interpretation; NaNs not admitted for nearest-distance claim.

approximant

Forward relation

Start singleton clusters; repeatedly select first strict-min average cross-member distance by vector-index scan, append right to left and remove right. square_order concatenates tradition groups and symmetrizes available cross-cost directions, fallback1e9.

Scope: source-derived conditional transition model at the manifest SHA. Finite symmetric distance and representable sums, unique indices; output permutation. Asymmetric callback outside UPGMA interpretation; NaNs not admitted for nearest-distance claim.

composition

Composition

Scoped children are projections of this file, not independent executables. Main population filtering feeds aggregation; order/text helpers feed measure's exact decoder; many's agreement and storage read the same MTok with intentionally different punctuation treatment, streaming accounting consumes reader costs, clustering consumes normalized PairM. Uncovered branches remain source-derived; finite helper checks do not establish orchestration wiring.

catalog

Typed models

All entries bind the source SHA and optional byte range in manifest.json. Observation is one admitted helper call or the explicitly described orchestration trace. Relations are partial source-derived models, not universal proofs. Finite test names and unexecuted effects are in tests.md.

behavior_complement

A tie cannot replace current best; clustering cannot move items across tradition groups in square_order.

Domain and held-fixed assumptions: the invariant/forward documents for this exact scope. Status: partial source-derived relation; complement is a conditional inner exclusion, reverse retains ambiguity, other types specify the named projection/intervention. Oracle: relevant named synthetic tests when listed; otherwise source inspection only.

reverse_reconstruction

Order determines only a fiber of distance matrices satisfying selected comparisons; merge heights/tree not retained. Input item order affects ties, so output does not uniquely recover numeric distances.

Domain and held-fixed assumptions: the invariant/forward documents for this exact scope. Status: partial source-derived relation; complement is a conditional inner exclusion, reverse retains ambiguity, other types specify the named projection/intervention. Oracle: relevant named synthetic tests when listed; otherwise source inspection only.

tie_index

Strict s<best keeps first encountered pair, ties resolve cluster vector order rather than numeric item label.

Domain and held-fixed assumptions: the invariant/forward documents for this exact scope. Status: partial source-derived relation; complement is a conditional inner exclusion, reverse retains ambiguity, other types specify the named projection/intervention. Oracle: relevant named synthetic tests when listed; otherwise source inspection only.

direction_fallback

Two directions average; one present uses it unchanged; neither uses1e9. This is display distance, not measured missing cross cost.

Domain and held-fixed assumptions: the invariant/forward documents for this exact scope. Status: partial source-derived relation; complement is a conditional inner exclusion, reverse retains ambiguity, other types specify the named projection/intervention. Oracle: relevant named synthetic tests when listed; otherwise source inspection only.

empty_singleton

Empty returns empty; one item returns itself without invoking distance.

Domain and held-fixed assumptions: the invariant/forward documents for this exact scope. Status: partial source-derived relation; complement is a conditional inner exclusion, reverse retains ambiguity, other types specify the named projection/intervention. Oracle: relevant named synthetic tests when listed; otherwise source inspection only.

tradition_partition

Four fixed names order groups; unknown edition labels classified Protestant by fallback, not inferred from measured content.

Domain and held-fixed assumptions: the invariant/forward documents for this exact scope. Status: partial source-derived relation; complement is a conditional inner exclusion, reverse retains ambiguity, other types specify the named projection/intervention. Oracle: relevant named synthetic tests when listed; otherwise source inspection only.

tests

Evidence and gaps

Native checks

• many::tests::clustering_puts_near_ones_together
• many::tests::agreement_and_its_control
• many::tests::a_block_meta_world_is_stored_once
• many::tests::versification_drops_a_shifted_chapter
• many::wave32::empty_ties_and_accounting

These selected names ran twice debug and twice release with exact filtering and one test thread; raw logs and numeric status files are in the external octopus-wave32-tr_flow-2026-10-31 receipt directory. All test bodies inspected before selection. Inline cases use only synthetic in-memory records; the existing blocks filesystem test was not selected. Tests listed at file level do not execute every function or this entire scoped fragment.

Controls

Five compiled source-behavior mutants: main gate counter suppressed; many strict chapter comparison relaxed; measure noncanonical-gap recording disabled; pages Meta filter reversed; blocks literal-change predicate reversed. All failed the corresponding assertion and passed after original bytes/hash restoration. Zero assertion-only mutants; zero surviving exploratory mutants.

Limitations

CLI argument/effect paths, live corpus/model/annotation/training, full Run::verse, page filesystem and reports remain source-derived only. Source syntax projections generated twice and byte-compared. No corpus-quality, persistent-learning, throughput or universal semantic coverage claim.

invariant-and-cost

Domain, invariant and cost

Invariant

Finite symmetric distance and representable sums, unique indices; output permutation. Asymmetric callback outside UPGMA interpretation; NaNs not admitted for nearest-distance claim.

Cost

At most O(n³) distance evaluations, O(n) member storage plus cluster vector moves; each callback itself may perform pair-map lookups/string clones.

Integer additions/casts require representability; finite floating inputs where comparisons are modeled. These symbolic costs are not measurements of corpus throughput. No useful cheaper executable percentage surrogate established; future supported caps only 1/2/5/10%.

This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/tools/translate/src/many.rs.groupant/clustering.groupant/