agent: builder model: opus max_turns: 70 budget_usd: 15 —

Brief: probe the id readers, and NodeId carries a span until numbered (#903, ADR-383)

Score: self-hosting lane (docs/priorities.md): the grammar rows of the parser/mod.rs slice plan (docs/selfhosting-plan.md, Large files) wait on #903 and #557; the owner decided the question on 2026-10-28 (ADR-383).

Facts

To build

  1. Step 1 of #903 (probe): every reader of an id beyond equality and FIRST_BUILT; one that depends on the old order is fixed first, its own commit. If none, say so under Tests: (what was probed).
  2. Step 2 of #903: NodeId::parsed() and setting the span once (innermost first); D3 equality and Debug unchanged. Report size_of::<Expr>() before and after in Body:. Commit node_id: a parsed id carries its span until numbered (#903); no Fixes.

Stop and report if

A reader depends on the old id order in a way that changes output and cannot be fixed in one commit; size_of::<Expr>() grows by more than 8 bytes (report before/after, Owner: asks whether to go on); an error in another agent’s file.

Read docs/builder-facts.md.

Rules (CLAUDE.md; this block is pasted into every brief, also a fix-forward)

Attribution: Co-Authored-By: Claude Opus 5.5 noreply@anthropic.com Claude-Session: https://claude.ai/code/session_01GFeMqxRbtUMiGVyDMxsvEq

This site is open source. Improve this page.