Commit Graph

263 Commits

Author SHA1 Message Date
Brummel 4a9673259c iter gc.1: per-iter journal 2026-05-11 19:48:31 +02:00
Brummel f6d4ba3c58 iter gc.1: retire Spec-23, roadmap forward-pointer to re-brainstorm 2026-05-11 19:47:37 +02:00
Brummel 606a2ebe6d plan: gc.1 — grounding-check agent + brainstorm Step 7.5 wiring 2026-05-11 19:42:39 +02:00
Brummel 86acc86e2e spec: remove brainstorm-grounding-check draft (superseded by final spec) 2026-05-11 19:35:53 +02:00
Brummel 640e06fc60 spec: brainstorm grounding-check agent — close spec-defect loophole 2026-05-11 19:34:32 +02:00
Brummel d96d8c5cc2 draft: brainstorm grounding-check agent — discussion input for fresh brainstorm
Discussion-draft, not an approved spec. Captures today's findings:
- Repeated BLOCKEDs on iter 23.4 family were a spec-defect signal,
  not a plan-defect signal.
- Today's spec-verification (brainstorm Step 7 + 8) is purely
  linguistic — no code-grounded check of load-bearing assumptions.
- Spec-23's 'work the same way as 22b.3' half-sentence was the
  exact load-bearing assumption that broke. Three preps spent
  patching what should have been caught pre-approval.

Proposes a new agent that, with fresh context between brainstorm
Step 6 and Step 7, extracts load-bearing assumptions from the spec
draft and searches for an existing green fixture ratifying each.
Default on miss: spec discarded, blocked idea moved to roadmap with
'depends on: <missing prerequisite>'.

Eight open design questions left for the next session's brainstorm
to answer.
2026-05-11 19:12:09 +02:00
Brummel 17b1d9957e iter cadence.5-fix: journal — commit-range + fix-count consistency 2026-05-11 14:13:39 +02:00
Brummel bd36751634 iter cadence.5: per-iter journal + INDEX 2026-05-11 14:10:48 +02:00
Brummel 7505af04a1 iter cadence.4-fix: address quality-review importants + German-loanword sweep (English-only in-tree) 2026-05-11 14:07:44 +02:00
Brummel 34238388a1 spec+plan: audit/fieldtest/docwriter cadence restructure 2026-05-11 13:52:41 +02:00
Brummel 0ee5af9ef1 spec: au.1 audit-orchestrator agent 2026-05-11 13:27:30 +02:00
Brummel 5c3bd9ab24 or.2: orchestrator-agent design correction — no nested subagent dispatch
Claude Code categorically forbids subagents from spawning other
subagents (code.claude.com/docs/en/sub-agents and the Agent SDK
subagents page). The `or.1` architecture (and `pr.1` that ran on
top of it) presumed a named-exception for `ailang-implement-
orchestrator` to dispatch implementer / spec-reviewer / quality-
reviewer / tester per task. That exception never existed at the
platform level; the `Agent` tool was silently dropped from the
orchestrator-agent's tool set at dispatch time.

Architecture revised, doc-only:

- Per-task phases (implementer → spec-compliance check → quality
  check) now run as sequential role-switches in the orchestrator-
  agent's own context, not as nested subagents.
- The four role-files (implementer / spec-reviewer / quality-
  reviewer / tester) become phase reference files the
  orchestrator-agent consults at role-switch boundaries.
- Boss-context offload preserved; fresh-per-phase context given
  up (the property that drove or.1's nested-dispatch design is
  not buildable in Claude Code).

Files touched:
- skills/implement/agents/ailang-implement-orchestrator.md
  (frontmatter, Iron Law, Phase 2/3 rewrite, rationalisations,
  red flags)
- skills/implement/SKILL.md (frontmatter, Iron Law, sub-status
  vocabulary note, cross-references)
- skills/README.md (Conventions: no more named exception; agent
  roster: role-files recast as phase references)
- docs/journals/INDEX.md (or.2 entry appended)
- docs/journals/2026-05-11-iter-or.2.md (new — full rationale)
- docs/roadmap.md (P1 tool-wiring item removed; resolved as
  categorically-not-fixable)
- docs/WhatsNew.md (user-facing correction entry appended)

No code changes; no bench impact; CLAUDE.md untouched (no stale
references to fix there).
2026-05-11 13:01:38 +02:00
Brummel bd801b979c whatsnew: 2026-05-11 plan-writing offload + first-run debrief 2026-05-11 12:45:15 +02:00
Brummel 88a5b1f336 roadmap: P1 — Agent tool wiring for orchestrator-agent (blocks or.1 design goal) 2026-05-11 12:44:39 +02:00
Brummel 908a15c3ce journal: pr.1 audit close (clean) — 0 bench regressions, architect clean 2026-05-11 12:42:37 +02:00
Brummel a33d76c67b iter pr.1: INDEX entry for plan-recon subagent 2026-05-11 12:40:03 +02:00
Brummel 5c17ef2efc iter pr.1: Boss-side known-debt addendum (iron law + agent-tool-wiring) 2026-05-11 12:40:03 +02:00
Brummel 11fcd0a20e iter pr.1: per-iter journal 2026-05-11 12:36:05 +02:00
Brummel 14ac4ae7c3 plan: pr.1 plan-recon subagent 2026-05-11 12:27:04 +02:00
Brummel 94d8016da1 fieldtest close: canonical-type-names — route findings + roadmap update
Per-iter journal entry for the fieldtest run plus INDEX pointer.
Roadmap absorbs four actionable findings as P2/P3 todos (split the
merged BadCrossModuleTypeRef diagnostic, workspace subdir search,
`ail check` on `.ailx` extension, `.ailx` counterpart for the
canonical happy-path JSON exhibit). The two carry-on items
(`(import prelude)` doc-gap, the working ones) stay as notes in the
fieldtest spec only. P0 Floats milestone removed — closed
2026-05-10 and no longer load-bearing context.

No bug findings, so no debug dispatch. canonical-type-names is fully
shipped.
2026-05-11 12:17:21 +02:00
Brummel 45dca692dd fieldtest: canonical-type-names — 5 examples, 9 findings 2026-05-11 12:14:15 +02:00
Brummel c680c91f5b spec: plan-recon subagent for planner 2026-05-11 12:12:17 +02:00
Brummel 5f4a75eb60 whatsnew: 2026-05-11 implement cycle no longer eats your context 2026-05-11 12:04:04 +02:00
Brummel 207970098f journal: or.1 audit close (clean after tidy) — 0 bench regressions, 4-file drift sweep 2026-05-11 12:03:28 +02:00
Brummel c252b1aa28 iter or.1.tidy: audit-driven sweep of stale JOURNAL.md references in live docs 2026-05-11 12:03:01 +02:00
Brummel e46bc540eb iter or.1: INDEX entry for orchestrator-refactor 2026-05-11 11:57:15 +02:00
Brummel 8a05340b0b iter or.1: per-iter journal 2026-05-11 11:56:56 +02:00
Brummel c069087573 iter or.1.2-fix: address quality-review minor + nit 2026-05-11 11:20:14 +02:00
Brummel 7496b00fc3 iter or.1.2: repoint top-level docs to docs/journals/ + journal-archive.md 2026-05-11 11:17:09 +02:00
Brummel 6268d08f40 iter or.1.1: migrate JOURNAL.md to journal-archive.md + docs/journals/ 2026-05-11 11:14:08 +02:00
Brummel 1891030253 plan: orchestrator-refactor (or.1) — 7 tasks toward Boss-context offload + per-iter journals + branch isolation 2026-05-11 11:12:14 +02:00
Brummel 61ed6d47c8 skill: rename plan to planner
Anthropic now reserves /plan as a UI command, so the Skill tool refuses to
dispatch it. Rename the project's plan skill to planner, update the symlink
under .claude/skills/, and adjust references in CLAUDE.md, DESIGN.md,
skills/README.md, and the cross-references between brainstorm / implement /
audit / fieldtest / fieldtester. Plan files themselves (docs/plans/*.md)
keep their name — only the skill ID changes.
2026-05-11 11:05:36 +02:00
Brummel adcea02e85 spec: implement-orchestrator-agent
Three coupled changes to /implement:
- Boss-context offload via single subagent dispatch (target ~100x reduction)
- Iter isolation via branches (eliminates parallel-implementer conflicts)
- Per-iter journals under docs/journals/ replacing the JOURNAL.md monolith

JOURNAL.md becomes docs/journal-archive.md at acceptance time. Workers
stay at Opus 4.7; saving comes from token-volume relocation only.
2026-05-11 10:56:24 +02:00
Brummel 0e6079d335 audit: canonical-type-names milestone close (clean) + ratify post-23.3.3 compile baseline 2026-05-11 10:27:19 +02:00
Brummel ef4eff3f8b roadmap: ct.4 follow-ups (P2 check_in_workspace overlay narrow, P3 IR-shape test + lookup_ctor_in_pattern) 2026-05-11 10:13:13 +02:00
Brummel 72ec572c3d journal: ct.4 canonical-type-names milestone close 2026-05-11 10:12:27 +02:00
Brummel 61ad3e3b46 iter ct.4.1: DESIGN.md Decision 2 — canonical Type::Con name scoping rule 2026-05-11 09:47:42 +02:00
Brummel 4845f913b6 plan: ct.4 milestone close 2026-05-11 09:46:11 +02:00
Brummel 4530548bb3 journal: ct.3 codegen + mono cleanup 2026-05-11 09:40:26 +02:00
Brummel d4927b2297 plan: ct.3 codegen + mono cleanup 2026-05-11 09:29:21 +02:00
Brummel 22de0314cf journal: ct.2 typechecker cleanup 2026-05-11 09:25:13 +02:00
Brummel f482a6317f process: switch WhatsNew.md and Notify text to English
Reversal of the language decision from 6d94fa5. Texts that get
committed to the repo permanently should follow the same English-
only rule as everything else; the Notify push stays 1:1 with the
WhatsNew entry, so both are English now.

The "only file intentionally not in English" carve-out in CLAUDE.md
is removed.
2026-05-11 09:06:47 +02:00
Brummel 6d94fa5826 process: user-facing WhatsNew.md changelog + done-state notify protocol
Done-state notifications now produce two synchronised outputs sharing
one text: an entry appended to docs/WhatsNew.md and the same string
sent via notify.sh. The text is written in German for the user-as-
reader who did not watch the session — no technical internals, no
iteration codes, lead with the change-in-the-project.

WhatsNew.md is the only file in the repo intentionally not in English;
the exception is documented in CLAUDE.md (Roles of docs/...) so a
future reader does not "correct" it back. Bounce-back notifications
stay Notify-only.
2026-05-11 09:01:04 +02:00
Brummel e9aae3e9fb plan: ct.2 typechecker cleanup 2026-05-11 08:55:48 +02:00
Brummel a951c725be roadmap: ct.1 follow-ups (CLI diag surface, dead KindMismatch, type_def_module re-key) 2026-05-11 01:52:33 +02:00
Brummel 4ed9096c87 journal: ct.1 canonical type names — validator + migration 2026-05-11 01:52:02 +02:00
Brummel 7ee4300ae2 plan: ct.1 canonical type names — validator + migration 2026-05-11 00:53:07 +02:00
Brummel 949785c3aa spec: canonical type names — step-7 cleanup (header, migration disambig, drop stale history note) 2026-05-11 00:39:42 +02:00
Brummel 8068be27a1 roadmap: P2 milestone — module-qualified class names + type-driven method dispatch 2026-05-11 00:36:15 +02:00
Brummel 33932cb6e6 spec: canonical type names — name MethodNameCollision as the workaround it is 2026-05-11 00:33:57 +02:00