Elamur Groupantsjobs-main
The groupant beside tools/jobs/src/main.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 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 |
option_cast | option_cast | partial source derived model | option_cast |
sampling_gap | sampling_gap | partial source derived model | sampling_gap |
termination_order | termination_order | partial source derived model | termination_order |
logging_failure | logging_failure | partial source derived model | logging_failure |
Parts
Model text
descriptant
jobs-main
Epoch 2026-10-31
Prospective inspection identified this relation before additions: CLI log reads default-empty log; run splits options at first --, selects name/defaults, spawns command and samples process tree until exit or limit. RSS overflow takes precedence over elapsed time; reverse-tree TERM then 5s wait and KILL ends overrun. Append estimate/actual record then exit child code.
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
CLI log reads default-empty log; run splits options at first --, selects name/defaults, spawns command and samples process tree until exit or limit. RSS overflow takes precedence over elapsed time; reverse-tree TERM then 5s wait and KILL ends overrun. Append estimate/actual record then exit child code.
Composition
cycle invokes jobs run around drafts with explicit limits, but jobs process accounting is an external effect, not proven by cycle helper tests. Scoped option model feeds monitor limits.
catalog
Typed observations: jobs-main
Subject: tools/jobs/src/main.rs, SHA-256 ddb2e9ecf8ef78a1d13ce00030932ef2703746e56c52f29c33fc428366f20a29. 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
Invalid first numeric flag does not fall through to later duplicate. RSS excess selects memory reason even if time also exceeds; already-exited child is handled before next sample.
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
Log record admits many process trees between samples, rounded CPU/wall values and missed peaks; original command argument boundaries are lost in cmd.join(space). Cannot reconstruct exact workload or enforce peak from report.
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.
option_cast
mem_gb*1048576 cast to u64 saturates negative/NaN to zero and large values to max; secs remains f64, so NaN elapsed comparison never exceeds. Source model, not resource validation.
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.
sampling_gap
try_wait precedes usage; short child can return with zero peak/cpu. Tree may change between /proc reads and duplicate PIDs are not deduplicated.
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.
termination_order
Each fresh tree enumerated reverse for TERM then after five seconds KILL; discovered descendants can differ. Return -9 for limit regardless of actual child code.
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.
logging_failure
Append open/write errors occur after workload completion/termination and prevent intended process::exit; no mkdir or structured JSON serializer guarantees valid output for all float estimates.
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
wave33_tests::flag_first_occurrence_and_nonfinite exercises actual pure flag. Monitor, signals, CLI workload and logging remain source-derived; no real heavy job launched.
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
flag parses first occurrence only, admits nonfinite/negative f64. Empty command after -- indexes cmd[0] and can panic. /proc sampling is best effort, not complete accounting; assumed 100 ticks/second. Log parent directory is not created.
Each sample reads task-child/status/stat files across enumerated process tree, O(processes+proc bytes); one-second polling, five-second kill delay, unbounded workload cost. No universal resource guarantee.
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/jobs/src/main.rs.groupant/