Elamur Groupantscycle-db-vote
The groupant beside tools/cycle/src/db.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 | approximant |
| ast | partial | ../syntax.json |
| cost | partial | invariant-and-cost |
| descriptant | present | descriptant |
| invariant | partial | invariant-and-cost |
| tests | bounded or representation | 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 |
source_weight | source_weight | partial source derived model | source_weight |
positional_alignment | positional_alignment | partial source derived model | positional_alignment |
score_tuple | score_tuple | partial source derived model | score_tuple |
fallback_count | fallback_count | partial source derived model | fallback_count |
Model text
descriptant
cycle-db-vote
Epoch 2026-10-31
Prospective inspection identified this relation before additions: Weight sources; retain ten-column rows; strongest newest base; positional head/relation votes; validate heads or restore base.
The production implementation is unchanged; only selected inline tests are appended. Source-bound syntax is generated twice and compared. Native checks exercise bounded helpers; entry orchestration, teacher calls, models and corpora remain source-derived. Partial syntax is not semantic proof. Preserve failure prefixes and ambiguity when refining this model.
approximant
Forward relation
Check promotion lock and reviewed policy; retain ordinary source weights and ten-column rows; strongest newest base, positional head/relation votes, validate heads or restore base. Apply complete selected tree after voting before current rename; reject voted text drift.
Composition
This fragment isolates the stated helper relation; parent composition retains surrounding effects and failures.
catalog
Typed observations: cycle-db-vote
Subject: tools/cycle/src/db.rs, SHA-256 34f08db359c4d620f91bb9b5a586653ff948019524e4b21ff1b21f37c413c5b9. Domain: bounded source inputs, declared filesystem/environment state and normal allocations. Each view is a partial source-derived relation, not a universal proof. Observation is one helper call or the explicitly described trace. Checks are in tests.md; unexecuted effects remain gaps.
behavior_complement
Multiple roots, bad/self heads or detached cycles cannot pass tree_ok. Fallback is unchecked, so invalid output globally remains possible.
Scope: the bound source interval and stated assumptions. Evidence: source inspection plus the checks explicitly named in tests.md; no finite check establishes all inputs.
reverse_reconstruction
Identical selected pairs admit many histograms/base tags. Output cannot identify voting versus fallback path.
Scope: the bound source interval and stated assumptions. Evidence: source inspection plus the checks explicitly named in tests.md; no finite check establishes all inputs.
source_weight
-opus precedes -sonnet precedes starts_with(round); bare opus weighs 1. Naming is not authenticated provenance.
Scope: the bound source interval and stated assumptions. Evidence: source inspection plus the checks explicitly named in tests.md; no finite check establishes all inputs.
positional_alignment
Equal ten-column row count suffices despite differing forms. Multiword/empty nodes also enter words if ten columns.
Scope: the bound source interval and stated assumptions. Evidence: source inspection plus the checks explicitly named in tests.md; no finite check establishes all inputs.
score_tuple
Weights sum; time/order maxima independent. Equal score chooses lexically largest pair.
Scope: the bound source interval and stated assumptions. Evidence: source inspection plus the checks explicitly named in tests.md; no finite check establishes all inputs.
fallback_count
multi increments before validation; moved only accepted changed pairs. Fallback can increase multi without moved.
Scope: the bound source interval and stated assumptions. Evidence: source inspection plus the checks explicitly named in tests.md; no finite check establishes all inputs.
tests
Checks and limits
db::wave33_tests::voting_boundaries_and_snapshot_drafts covers weights and trees, not full agree aggregation.
Exact native outcomes and command metadata are retained in the external wave33 cycle receipt bundle. Selected names run twice in debug and release; syntax is independently regenerated twice. Compiled mutations and source restoration receipts distinguish behavior changes from assertion-only controls. These claims are finalized in evidence.md. No live teacher, real model/corpus, benchmark CLI or lesson-learning CLI is run.
invariant-and-cost
Invariant and cost
Outside reviewed IDs, unequal-length versions do not vote, forms/IDs are not alignment keys, and tags/comments come from strongest. For reviewed IDs the final full-tree overlay restores selected tags/comments/heads after voting.
O(V W log V+W²), finite u32 sums assumed; overflow panics debug or wraps release.
No executable percentage surrogate is claimed: effects, categorical acceptance and report text have no justified approximate metric here. Future profiles require a useful metric, zero case, reference and evidence at caps 1/2/5/10%.
This page in Markdown → https://md.groupants.elamur.ai/free/en/mova/tools/cycle/src/db.rs.groupant/vote.groupant/