Elamur Groupantscycle-build
The groupant beside tools/cycle/build.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 |
assignment_grammar | assignment_grammar | partial source derived model | assignment_grammar |
first_match_empty | first_match_empty | partial source derived model | first_match_empty |
compile_runtime_join | compile_runtime_join | partial source derived model | compile_runtime_join |
dependency_rebuild | dependency_rebuild | partial source derived model | dependency_rebuild |
Model text
descriptant
cycle-build
Epoch 2026-10-31
Prospective inspection identified this relation before additions: Read manifest-relative peta/paths.env if possible; first line whose trim starts MOVA_BIG= supplies trimmed value. Unreadable/non-UTF8/missing or no match yields empty. Emit rerun-if-changed then rustc-env.
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
Read manifest-relative peta/paths.env if possible; first line whose trim starts MOVA_BIG= supplies trimmed value. Unreadable/non-UTF8/missing or no match yields empty. Emit rerun-if-changed then rustc-env.
Composition
Emitted MOVA_BIG_DEFAULT feeds cycle::mova_big; nonempty runtime MOVA_BIG overrides.
catalog
Typed observations: cycle-build
Subject: tools/cycle/build.rs, SHA-256 af87b7fab6de8ec5c6462cb87e320d2a6555a191dd16f5eba3639594be74c2c6. 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
Later assignment cannot replace first recognized line. Missing file does not fail helper, but emits empty default.
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
Default v admits all files whose first recognized value trims to v. Empty also admits missing/unreadable/non-UTF8/no-match files; no unique recovery.
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.
assignment_grammar
Trim then exact MOVA_BIG= prefix. export syntax is excluded; quotes, comments and embedded equals remain literal value.
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.
first_match_empty
MOVA_BIG= before MOVA_BIG=x produces empty. Explicit empty and no recognized assignment merge observationally.
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.
compile_runtime_join
Compiled default is consulted only for missing/empty runtime MOVA_BIG; empty compiled default makes cycle exit 2.
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.
dependency_rebuild
rerun-if-changed names exactly the file read; dependency declaration does not validate its contents.
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
Representation: paired syntax and source inspection. Cargo cycle compilation exercises build integration without executing cycle entry.
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.
evidence
Wave33 evidence — 2026-10-31
Across this nine-source slice, 14 exact native names passed twice in debug and twice in release (56 runs); sorted target-qualified outcomes agree. Six compiled behavior controls fail named assertions and exact restored bytes pass again. One exploratory parser-count control failed by unwrap panic; it was restored and replaced by a form-column assertion control. No assertion-only control is counted.
Nine syntax projections were generated twice and byte compared. Production source prefixes match the base exactly; four files append only formatted cfg(test) blocks. Local groupants validation reports valid=true, zero diagnostics. Counts: nine source roots, ten scoped children, 114 typed views.
See tests.md for this source's precise executed or representation-only coverage. Native evidence does not apply to ignored live teacher or lesson execution. No teacher/API, model/corpus, learning or benchmark CLI was run. Receipts retain numeric statuses, exact names, log/source hashes, original backups, unique mutation replacements and restoration assertions. The external bundle is named octopus-wave33-cycle-2026-10-31.
invariant-and-cost
Invariant and cost
First assignment wins even empty; shell export and quotes are not interpreted.
O(file bytes) scan/read and O(value bytes) allocation; build I/O only.
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/build.rs.groupant/