agent: builder model: opus max_turns: 80 budget_usd: 15 effort: medium —
let x = call().field, #1183 and #1191 (bug lane)Score: self-hosting. Both defects are in crates/nikaia-std/src/tools/check_core_stmt.nika. Another builder (#557 step 4b, parser/mod.rs, tools/tree_build.nika, tools/grammar_types.nika) works in the shared checkout at the same time. Leave its files alone, and do not rebuild target/fast/nikaia from the dirty tree. Build your changes on a private git archive HEAD copy (/tmp/claude-0/-home-user-Nikaia/b7e2d91b-1a15-5371-a36e-8c201aeab2d2/scratchpad/b1166/flip3.sh shows how) with the shared target dir, and delete the copy after. Disk is short: check df first and keep at least 3 GB free.
docs/briefs/b1183.md.report.md, Result: partial). The fix and its test are in /tmp/claude-0/-home-user-Nikaia/b7e2d91b-1a15-5371-a36e-8c201aeab2d2/scratchpad/b1183/keep/: fix.patch (check_core_stmt_a_lent_struct also counts state.parts_beside structs), the test tests/an_element_read_past_a_jump_is_a_view_of_a_struct_declared_beside.nika/.stdout and its package files under src/.emit_sums.nika:97 (NK2106: let members = contract.fails_with moves out of a view). That tools code relied on the defect. It and any further refusals the fixed lower-std names are fixed in the tools code by reading through the view or cloning where the value must be owned; no workaround in the checker.let x = call().field lowers to &call().field (a borrow of a temporary). The issue holds the probe and the To build list.h.n after let h = pkg::f(b) ?? return with -> ref Held?, is a third defect: file it as a GitHub issue with the probe (label ready), do not fix it here.fix.patch, fix the tools refusals it exposes, lower-std fixpoint, add the test. Commit checker: an element read past a jump of a struct declared beside is a view with Fixes #1183.tests/compiler/tests/. Commit with Fixes #1191.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/b1191.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 ...).