agent: builder model: opus max_turns: 40 budget_usd: 8 —
yaml reads hexadecimal digits with the built-in hex_digit (#1002 is built)Score: removes a workaround in packages/yaml. #1002 is fixed on develop by 705a5db2 (winnow-grammar 4f8e6691, Part II §10.8): hex_digit is one scalar of 0-9a-fA-F, built like digit, with its fixed-width fast path. packages/yaml/src/main.nika still matches a hex digit with its own rule, rule Hex -> i64 = x:any if(is_hex(x)) -> { hex_value(x) }. It is used by Hex2/Hex4/Hex8 (the \x, \u and \U escapes) and by % Hex Hex in UriChar/TagChar. This change touches only packages/yaml (no version raise, no CHANGELOG.md).
Read docs/builder-facts.md. Run git log -1 705a5db2 and read tests/compiler/tests/grammar_hex_digit_is_one_hex_digit.nika. It shows what the built-in gives a label (a scalar; over Bytes, a byte).
Hex matches h:hex_digit instead of x:any if(is_hex(x)). Its value stays hex_value(h), or a hex_digit{2}/{4}/{8} form if that reads better and keeps the escape tests’ output byte for byte. UriChar/TagChar take hex_digit hex_digit.is_hex if the grammar no longer uses it. Its other use near line 1086 (number reading) stays as it is, unless it is the same check and the change is plainly correct.target/fast/nikaia test --project packages/yaml, every test output unchanged), cargo clippy --all-targets -- -D warnings is not needed (no Rust changed), and scripts/pre-push-check.sh.If hex_digit does not do what Part II §10.8 says, or the escape tests change, stop: Result: blocked, with Found: and a probe.
Report to /home/user/Nikaia/docs/briefs/yaml/y19-1002-hex-digit.md.report.md.
docs/builder-facts.md first. develop in the main checkout; git status at start: other agents’ uncommitted files are not yours, never touch or stage them.git add <files> only; commit after each step. Do not push: the driver runs the suite on your commit and pushes it (CLAUDE.md, Builders commit, the driver tests and pushes).cargo fmt, cargo clippy --all-targets -- -D warnings, scripts/pre-push-check.sh, and the gate of .claude/agents/builder.md (#852).CHANGELOG.md, badges; no new NK code. New tests in Nikaia only; never the full suite. No foreground sleep, no polling; scripts in files.std or the toolchain lacks stops the work: no code around it unless an ADR or Part I-III refuses it (name it). Else Result: blocked, Found: gap + probe, Needs: architect decision (CLAUDE.md, A missing form stops the work).NIKAIA_CACHE_LIMIT=2G; at most two clones with target/ in the machine; delete your own clone’s target/ and target/release/nikaia-scratch at the end; report GB freed.Pushed: line is local <sha> of your last commit. A report without a Pushed: line, or with a placeholder left in (TC, DISK), is not done and cuts the batch (k3a1 2026-10-29: Result: done, nothing committed).NIKAIA_CACHE_LIMIT=2G target/fast/nikaia test --project packages/yaml green, and cargo test --profile fast -p nikaia --test it -- fmt::every_nika_file (it formats every .nika under packages/). For a change only under packages/yaml/ this is the gate the line above asks for; a change under crates/ runs the gate of .claude/agents/builder.md (#852) as well. target/fast/nikaia is built by the session hook; if it is missing, cargo build --profile fast -p nikaia once.Changelog: none, unless the brief changes crates/.Files not to touch: anything outside packages/yaml/ and the brief’s own report, unless the brief names it; never docs/briefs/batch.txt or a brief of another lane.
max_turns: commit and push every finished step, then report Result: partial with what is left under Needs:. Uncommitted work at the end is lost work (y4 ran out at 110)./home/user/Nikaia/docs/briefs/yaml/y19-1002-hex-digit.md.report.md)Fields of docs/architect.md, Briefs and reports: Result: done|noop|partial|blocked (the bare word alone on that line: Result: done, never a summary after it, which cuts the batch, b869a 2026-10-27; Owner: is a question for the owner or none, never a role), Files, Commit, Body (optional, one paragraph for the commit message), Fixes, Pushed, Tests, Gate (green|red), Deviation, Found, Needs, Changelog, Owner, Disk freed, and for a move Rs2nika: (the kept N of M lines of rs2nika --score, then the three costliest hand edits; none for a task that moves no Rust, none (redesign) for a brief with Shape: redesign and no Convert: line). none where nothing, and then the bare word: Deviation: none (a note) cuts the batch (batch.nika compares exactly); a note goes into the commit message. Found: is only for a defect outside your change (it cuts the batch); a process event such as another session resetting or rewriting your files is no Found:, it goes under Needs: (m3a 2026-10-28); a converter draft that came out wrong is no Found:, it is one of the costliest edits under Rs2nika:, which the converter lane reads (e12-4b 2026-10-27); how you solved your own step goes into the commit message. Deviation: is only a step of the brief built otherwise than written or not built (a choice the brief left to you, such as keep what X needs and say so, is no deviation: it goes into the commit message; nor is building two steps in one commit when every step is built, e12-3a 2026-10-27, nor a step another commit on develop already built, shown by your test failing with that commit’s change reverted, b889 2026-10-27: name the commit in Body:, nor a test’s expected .stdout/.stderr taken from what the program really prints where the brief’s sketch of it was short or wrong, b934 2026-10-29: say so in Body:, nor a lowering that follows the ADR governing it where the brief’s expected lowering contradicts that ADR, b933 2026-10-29: name the ADR in Body:, nor a lowering other than the brief’s where rustc cannot take the brief’s, b1029 2026-10-31: say why in Body:, nor re-keying an allow-list entry (KNOWN) whose hash changed for the same program and the same reason, b-fixforward-sweep2 2026-10-28: say so in Body:, nor an existing test’s expected .stdout/.stderr updated because your change rightly changes the message it prints, b1012b 2026-10-31: name the test in Body:); how you verified (e.g. a test not run against the unfixed compiler) goes under Tests:. A noop says why under Tests: (what was probed), not under Deviation:. Final answer, one line: done <sha>, report <path> (or BLOCKED: ... / PUSH REJECTED ...).
Attribution: Co-Authored-By: Claude Opus 5.5 noreply@anthropic.com Claude-Session: https://claude.ai/code/session_01UVxJDveRM5qKZKyCqq6Y24