Commit Graph

  • bff647eaa7 WhatsNew: iter 23.4 — eq/ord prelude work back on track Brummel 2026-05-12 00:00:46 +02:00
  • a1692a4859 iter 23.4: mono-pass unification — class methods + polymorphic free fns in one fixpoint Brummel 2026-05-11 23:59:45 +02:00
  • fab1685336 plan: iter 23.4 mono-pass unification — 11 tasks, no per-task commits Brummel 2026-05-11 23:14:23 +02:00
  • 51da9fab53 iter disc.1: boss-only commits + main-as-quarantine (no branches in implement) Brummel 2026-05-11 22:44:43 +02:00
  • 841d65d88c spec: 23 — correct prep-commit reachability against main Brummel 2026-05-11 22:04:49 +02:00
  • f7ca26c5b4 iter 23.4-prep: INDEX entry Brummel 2026-05-11 14:58:30 +02:00
  • 3c99f15538 iter 23.4-prep: orchestrator stats Brummel 2026-05-11 14:57:40 +02:00
  • ab4463ff19 iter 23.4-prep: per-iter journal Brummel 2026-05-11 14:57:26 +02:00
  • 923dd8c02f iter 23.4-prep.2: check — bare-name fall-through to implicit-imported free fns Brummel 2026-05-11 14:56:27 +02:00
  • 0caaced7e8 iter 23.4-prep.1: linearity — register Def::Class method types in globals Brummel 2026-05-11 14:54:49 +02:00
  • c3e8044361 plan: iter 23.4-prep — checker prerequisites for prelude free fns Brummel 2026-05-11 14:50:47 +02:00
  • 4bbcb947a3 plan: drop 23.4 — design assumption broke at branch verification Brummel 2026-05-11 22:01:31 +02:00
  • ea0285b85f plan: 23.4 — mono-pass unification + prep2/prep3 rollback Brummel 2026-05-11 21:42:14 +02:00
  • 18b49e1d31 spec: 23 — fix fixture name (poly_box_proj → poly_rec_capture) Brummel 2026-05-11 21:38:16 +02:00
  • 408fef9239 journal: gc.1 — append cadence-flow notes 3+4 from first real grounding-check run Brummel 2026-05-11 21:32:38 +02:00
  • d3317358ce spec: 23 (revised) — Eq/Ord prelude on unified mono pass Brummel 2026-05-11 21:27:31 +02:00
  • fc4df2bc7c WhatsNew: 2026-05-11 spec grounding-check Brummel 2026-05-11 19:51:19 +02:00
  • 6b55171ba8 iter gc.1: journal — append cadence-flow notes for skillsystem postmortem Brummel 2026-05-11 19:50:32 +02:00
  • 954d15c709 iter gc.1: append INDEX entry Brummel 2026-05-11 19:49:55 +02:00
  • 8df7a416dc iter gc.1: orchestrator stats Brummel 2026-05-11 19:48:44 +02:00
  • 4a9673259c iter gc.1: per-iter journal Brummel 2026-05-11 19:48:31 +02:00
  • f6d4ba3c58 iter gc.1: retire Spec-23, roadmap forward-pointer to re-brainstorm Brummel 2026-05-11 19:47:37 +02:00
  • eea935e828 iter gc.1: symlink .claude/agents/brainstorm -> skills/brainstorm/agents Brummel 2026-05-11 19:46:56 +02:00
  • a52bcc76e8 iter gc.1: skills README — roster + symlink for ailang-grounding-check Brummel 2026-05-11 19:46:34 +02:00
  • afd3bbcc40 iter gc.1: brainstorm SKILL — insert Step 7.5 (grounding-check hard-gate) Brummel 2026-05-11 19:46:00 +02:00
  • 594b76ad9c iter gc.1: agent — ailang-grounding-check definition Brummel 2026-05-11 19:45:01 +02:00
  • 606a2ebe6d plan: gc.1 — grounding-check agent + brainstorm Step 7.5 wiring Brummel 2026-05-11 19:42:39 +02:00
  • 86acc86e2e spec: remove brainstorm-grounding-check draft (superseded by final spec) Brummel 2026-05-11 19:35:53 +02:00
  • 640e06fc60 spec: brainstorm grounding-check agent — close spec-defect loophole Brummel 2026-05-11 19:34:32 +02:00
  • a97433655a skills/implement: reorder Step 3 — switch to main BEFORE Boss edits Brummel 2026-05-11 19:15:10 +02:00
  • d96d8c5cc2 draft: brainstorm grounding-check agent — discussion input for fresh brainstorm Brummel 2026-05-11 19:12:09 +02:00
  • 16252648d4 iter cadence.tidy: docwriter agent self-ref — drop stale audit/Step-3 reference Brummel 2026-05-11 14:14:29 +02:00
  • 17b1d9957e iter cadence.5-fix: journal — commit-range + fix-count consistency Brummel 2026-05-11 14:13:39 +02:00
  • bd36751634 iter cadence.5: per-iter journal + INDEX Brummel 2026-05-11 14:10:48 +02:00
  • 7505af04a1 iter cadence.4-fix: address quality-review importants + German-loanword sweep (English-only in-tree) Brummel 2026-05-11 14:07:44 +02:00
  • 85919e6015 iter cadence.4-fix: drop stale audit-dispatches-docwriter parenthetical (README Conventions) Brummel 2026-05-11 14:03:35 +02:00
  • 3450a3e6ec iter cadence.4: skills/README — three-bucket cadence taxonomy Brummel 2026-05-11 14:02:49 +02:00
  • d04dfa6617 iter cadence.3-fix: address quality-review minors (frontmatter desc + cross-ref path) Brummel 2026-05-11 14:01:01 +02:00
  • 4b0344830e iter cadence.3: skills/fieldtest — Boss-dispatched framing + ordering note Brummel 2026-05-11 13:58:53 +02:00
  • 51e1ae0fa4 iter cadence.2: skills/audit — drop docwriter step (now own skill) Brummel 2026-05-11 13:56:51 +02:00
  • e351969295 iter cadence.1: skills/docwriter — new Boss-dispatched skill (split from audit) Brummel 2026-05-11 13:54:34 +02:00
  • 34238388a1 spec+plan: audit/fieldtest/docwriter cadence restructure Brummel 2026-05-11 13:52:41 +02:00
  • 0ee5af9ef1 spec: au.1 audit-orchestrator agent Brummel 2026-05-11 13:27:30 +02:00
  • 5c3bd9ab24 or.2: orchestrator-agent design correction — no nested subagent dispatch Brummel 2026-05-11 13:01:38 +02:00
  • bd801b979c whatsnew: 2026-05-11 plan-writing offload + first-run debrief Brummel 2026-05-11 12:45:15 +02:00
  • 88a5b1f336 roadmap: P1 — Agent tool wiring for orchestrator-agent (blocks or.1 design goal) Brummel 2026-05-11 12:44:39 +02:00
  • d2865f8a04 fix: orchestrator-agent branches from local main, not origin/main Brummel 2026-05-11 12:43:56 +02:00
  • 908a15c3ce journal: pr.1 audit close (clean) — 0 bench regressions, architect clean Brummel 2026-05-11 12:42:37 +02:00
  • a33d76c67b iter pr.1: INDEX entry for plan-recon subagent Brummel 2026-05-11 12:40:03 +02:00
  • 5c17ef2efc iter pr.1: Boss-side known-debt addendum (iron law + agent-tool-wiring) Brummel 2026-05-11 12:40:03 +02:00
  • b3e25f8b32 iter pr.1: orchestrator stats Brummel 2026-05-11 12:36:22 +02:00
  • 11fcd0a20e iter pr.1: per-iter journal Brummel 2026-05-11 12:36:05 +02:00
  • f06911d269 iter pr.1.5: roster + discovery entries for ailang-plan-recon Brummel 2026-05-11 12:35:21 +02:00
  • 94cd1b68ef iter pr.1.4: brainstorm allows ad-hoc plan-recon dispatch Brummel 2026-05-11 12:34:47 +02:00
  • 0f785369ba iter pr.1.3: planner Step 2 dispatches ailang-plan-recon Brummel 2026-05-11 12:34:13 +02:00
  • d5f312c0a7 iter pr.1.2: symlink .claude/agents/planner Brummel 2026-05-11 12:33:43 +02:00
  • a929adf315 iter pr.1.1: new agent ailang-plan-recon Brummel 2026-05-11 12:33:23 +02:00
  • 14ac4ae7c3 plan: pr.1 plan-recon subagent Brummel 2026-05-11 12:27:04 +02:00
  • 94d8016da1 fieldtest close: canonical-type-names — route findings + roadmap update Brummel 2026-05-11 12:17:21 +02:00
  • 45dca692dd fieldtest: canonical-type-names — 5 examples, 9 findings Brummel 2026-05-11 12:14:15 +02:00
  • c680c91f5b spec: plan-recon subagent for planner Brummel 2026-05-11 12:12:17 +02:00
  • 5f4a75eb60 whatsnew: 2026-05-11 implement cycle no longer eats your context Brummel 2026-05-11 12:04:04 +02:00
  • 207970098f journal: or.1 audit close (clean after tidy) — 0 bench regressions, 4-file drift sweep Brummel 2026-05-11 12:03:28 +02:00
  • c252b1aa28 iter or.1.tidy: audit-driven sweep of stale JOURNAL.md references in live docs Brummel 2026-05-11 12:03:01 +02:00
  • e46bc540eb iter or.1: INDEX entry for orchestrator-refactor Brummel 2026-05-11 11:57:15 +02:00
  • 8a05340b0b iter or.1: per-iter journal Brummel 2026-05-11 11:56:56 +02:00
  • 92e39bbc25 iter or.1.7: document ailang-implement-orchestrator as named exception Brummel 2026-05-11 11:54:58 +02:00
  • e3651c34be iter or.1.6-fix2: SKILL.md description drift + self-contained exception ref Brummel 2026-05-11 11:52:56 +02:00
  • 3b80046560 iter or.1.6-fix: correct git rebase syntax + README cross-ref wording Brummel 2026-05-11 11:50:24 +02:00
  • f4a4389d78 iter or.1.6: rewrite skills/implement/SKILL.md to delegate to orchestrator-agent Brummel 2026-05-11 11:47:05 +02:00
  • 72367e27a8 iter or.1.5: new agent ailang-implement-orchestrator Brummel 2026-05-11 11:33:44 +02:00
  • 1b78896bcc iter or.1.4: carrier switch task_text -> task_text_path Brummel 2026-05-11 11:30:32 +02:00
  • 3361851b66 iter or.1.3-fix: address quality-review minors (architect / audit phrasing) Brummel 2026-05-11 11:28:00 +02:00
  • 4017e514f7 iter or.1.3: repoint skill + agent reading lists to docs/journals/ Brummel 2026-05-11 11:24:58 +02:00
  • c069087573 iter or.1.2-fix: address quality-review minor + nit Brummel 2026-05-11 11:20:14 +02:00
  • 7496b00fc3 iter or.1.2: repoint top-level docs to docs/journals/ + journal-archive.md Brummel 2026-05-11 11:17:09 +02:00
  • 6268d08f40 iter or.1.1: migrate JOURNAL.md to journal-archive.md + docs/journals/ Brummel 2026-05-11 11:14:08 +02:00
  • 1891030253 plan: orchestrator-refactor (or.1) — 7 tasks toward Boss-context offload + per-iter journals + branch isolation Brummel 2026-05-11 11:12:14 +02:00
  • 61ed6d47c8 skill: rename plan to planner Brummel 2026-05-11 11:05:36 +02:00
  • adcea02e85 spec: implement-orchestrator-agent Brummel 2026-05-11 10:56:24 +02:00
  • 0e6079d335 audit: canonical-type-names milestone close (clean) + ratify post-23.3.3 compile baseline Brummel 2026-05-11 10:27:19 +02:00
  • ef4eff3f8b roadmap: ct.4 follow-ups (P2 check_in_workspace overlay narrow, P3 IR-shape test + lookup_ctor_in_pattern) Brummel 2026-05-11 10:13:13 +02:00
  • 72ec572c3d journal: ct.4 canonical-type-names milestone close Brummel 2026-05-11 10:12:27 +02:00
  • ba48349052 iter ct.4.4: compare_primitives_smoke E2E fixture (closes iter 23.3 Task 4) Brummel 2026-05-11 10:09:48 +02:00
  • b651b1e8fc iter ct.4.3-tidy: drop dated prefixes from new prose comments Brummel 2026-05-11 10:01:29 +02:00
  • 06bc5f017c iter ct.4.3: prose qualifier-trim-on-print + ordering_match snapshot Brummel 2026-05-11 09:58:22 +02:00
  • 1d039b782e iter ct.4.2: pin canonical-form hashes for migrated fixtures + unmigrated sanity Brummel 2026-05-11 09:51:19 +02:00
  • 61ad3e3b46 iter ct.4.1: DESIGN.md Decision 2 — canonical Type::Con name scoping rule Brummel 2026-05-11 09:47:42 +02:00
  • 4845f913b6 plan: ct.4 milestone close Brummel 2026-05-11 09:46:11 +02:00
  • 4530548bb3 journal: ct.3 codegen + mono cleanup Brummel 2026-05-11 09:40:26 +02:00
  • 666c78468f iter ct.3.3: retire obsolete ambiguous-type paragraph in migrate-canonical-types docstring Brummel 2026-05-11 09:39:47 +02:00
  • 91498016b2 iter ct.3.2: mono overlay narrowed to env.types only; rename to apply_per_module_types_overlay Brummel 2026-05-11 09:37:07 +02:00
  • 05d0cce5c7 iter ct.3.1-tidy: drop dated comment prefix Brummel 2026-05-11 09:34:17 +02:00
  • a8a58cc41e iter ct.3.1: codegen lookup_ctor_by_type direct lookup; delete imports-fallback Brummel 2026-05-11 09:31:48 +02:00
  • d4927b2297 plan: ct.3 codegen + mono cleanup Brummel 2026-05-11 09:29:21 +02:00
  • 22de0314cf journal: ct.2 typechecker cleanup Brummel 2026-05-11 09:25:13 +02:00
  • 97bb5e71fd iter ct.2.3: Term::Ctor synth direct lookup; delete imports-fallback + dead AmbiguousType Brummel 2026-05-11 09:21:36 +02:00
  • edb694fdce iter ct.2.2-doctidy: refresh stale doc-comments on UnknownCtorInPattern and mono_xmod_ctor_pattern Brummel 2026-05-11 09:16:20 +02:00
  • 0044467425 iter ct.2.2-tidy: remove unused Bag fixture from cross_module_ws helper Brummel 2026-05-11 09:14:17 +02:00
  • 0ca5b3d567 iter ct.2.2-followup: delete dead AmbiguousCtor variant + refresh stale comment + fold redundant re-match Brummel 2026-05-11 09:13:12 +02:00