agent: builder model: opus max_turns: 80 budget_usd: 15 effort: medium —
Issues #1194 and #1195, both found by the #1193 move (docs/briefs/b1193.md.report.md, Found:). Read each issue’s probe and To build. The shared binary target/fast/nikaia may come from a private copy: set NIKAIA_SYSROOT=/home/user/Nikaia/crates on every call of it. Disk is at about 5G free: no second target/; delete any private copy after use.
tools/*.nika (the check_*.nika and lower*.nika files under crates/nikaia-std/src/tools/); #1194’s issue names the suspect functions. Fix in Nikaia, never in a lowered .rs by hand; lower-std writes those.describe.nika’s describe_crate_root may be written back as m.get(key)?.path if that reads plainer; not required.lower-std, only the lowered/*.rs of the .nika files you changed are yours; never stage another agent’s hunk (git apply --cached).Fixes #N with its test. A defect you cannot root-cause in about 30 turns: stop that issue, Result: partial.docs/briefs/* but your report, the uncommitted files git status shows at start, sysroot.rs, modules.rs, contracts/keeps.rs, contracts/sync.rs, keeps.nika, assets/badges/*.m.get(k)?.field on a map of structs lowers to a move out of a reference. Test: a tests/compiler/tests/ program over both settings (the probe must run through the lowering: put it where the issue says, or prove it with a tools/*.nika use and lower-std).fs::Path parameter fails rustc. Same kind of test.
Tests for both: the new programs, cargo test --profile fast -p nikaia --test it -- describ fs_ path lower, the lower-std --no-cache fixpoint.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/b1194.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 ...).