agent: builder model: opus max_turns: 80 budget_usd: 15 effort: medium —
Score: self-hosting lane, goal of the day 90 %. As much as you can of crates/nikaia/src/comptime_run.rs (1054 lines) moves into comptime_tree.nika, comptime_driver.nika, comptime_bundle.nika (or a new comptime_run.nika with a row in scripts/self_hosting.py).
Facts: Where things live, Traps already met, Moving Rust into Nikaia, Commands
impl tree::ComptimeComputeHost for ComputeHost (:339-559, 220 lines: what of its methods’ bodies is logic, not a Rust handle, moves behind narrower host calls), impl ComptimeBundleHost for BundleHost (:793-884), waited, driven, artifacts_in, compute, emit_unit, sub_program, lowered_units, with_driver.target/fast/nikaia run scripts/where.nika -- NAME and -- --outline FILE. Move the logic, keep in Rust only what must touch Rust-only types (the Parsed/Checked handles, anyhow, process spawning) as thin host methods or forwards with unchanged signatures, so no caller changes. Shape: faithful (same output, same order, same texts). Write a probe of a few lines with target/fast/nikaia run before each non-obvious form.Found: the gap with the probe and Needs: supervisor decision; never write around it. A compiler defect you can fix in one small commit with a tests/compiler test, fix; else stop that piece and report it.lower-std, only the lowered/*.rs of your own .nika files and lowered.rs lines for your new files are yours; never stage another agent’s file. If lower-std fails in a file that is not yours, wait a few minutes and run it again; after three tries report Found:.Part: #125. Self-hosting share before and after in Body: (python3 scripts/self_hosting.py | tail -n 1, measuring only).docs/briefs/* but your report, the uncommitted files git status shows at start, sysroot.rs, modules.rs, contracts/keeps.rs, contracts/sync.rs, text_tiers*, bounds_report*, describe*.cargo test -p nikaia --lib comptime, cargo test -p nikaia --test it -- comptime self_hosting:: (anchored grep -E '^test result:|FAILED|panicked'), and the tests/compiler tests whose names hold comptime with target/fast/nikaia test.docs/builder-facts.md first. develop in the main checkout; other agents’ uncommitted files are not yours: never touch or stage them.target/fast/nikaia run scripts/commit.nika -- REPORT (it adds exactly the report’s Files:); the driver pushes.cargo build --profile fast -p nikaia, lower-std and its fixpoint when a tools/*.nika changed, cargo fmt, cargo clippy --all-targets -- -D warnings, scripts/pre-push-check.sh, the tests the brief names and the ones your change touches.CHANGELOG.md, badges and NK codes are the supervisor’s. New tests in Nikaia only.std or the toolchain lacks stops the work, unless an ADR or Part I-III refuses it (name it): Result: blocked, Found: the gap with a probe, Needs: supervisor decision.NIKAIA_CACHE_LIMIT=2G; at the end delete your own clone’s target/ and target/release/nikaia-scratch.Result: partial with what you ruled out, the probe, and the suspected file and function./home/user/Nikaia/docs/briefs/m1-comptime-run.md.report.md)Fields of docs/supervisor.md, Briefs and reports: Result, Files, Commit, Body (optional), Fixes, Pushed, Tests, Gate, Deviation, Found, Needs, Changelog, Owner (a question for the owner), Disk freed, and last Attribution: with your commit trailer lines below it.
Result:, Gate: (green or red <check>), Deviation:, Found: and the other fields with nothing to say hold the bare word: done, none. Anything after it reads as content.Deviation: only for a step of the brief built otherwise than written, or not built. Found: only for a defect outside your change. Everything else (your choices, how you solved the step, why a test’s expected output changed) goes into Body:; how you verified goes into Tests:.done <sha>, report <path> (or BLOCKED: ... / PUSH REJECTED ...).