agent: builder model: opus max_turns: 80 budget_usd: 15 effort: medium —
Score: self-hosting lane, goal of the day 90 %. crates/nikaia/src/contracts/mod.rs (927 lines): infer_package_noted (:369-523), impl LedgerOps for Ledger (:179-610, the logic of its methods), computed_literal, evaluate_defaults into the contracts_*.nika / ledger*.nika files that hold their neighbours (find them with ls crates/nikaia-std/src/tools/ | grep -iE 'contract|ledger').
Facts: Where things live, Traps already met, Moving Rust into Nikaia, Commands
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 contracts, cargo test -p nikaia --test it -- contracts self_hosting:: (anchored grep).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/m5-contracts-ledger.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 ...).