Brummel/AILang
1
0
Fork 0
Code Issues 29 Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 59e86b3805 test: red for monomorphise_workspace unknown type on user ADT Brummel 2026-05-09 22:41:18 +02:00
  • f3c94e554c plan: 22c user-class e2e fixture Brummel 2026-05-09 22:37:26 +02:00
  • 2102dadb3d spec: 22 — drop Prelude-for-primitives, tighten 22c to existing vocabulary Brummel 2026-05-09 22:34:30 +02:00
  • 692899867b iter 22b.4a: journal entry Brummel 2026-05-09 22:30:17 +02:00
  • 0709e319ab iter 22b.4a.6: spec + DESIGN amendments — 22b.4 split, terminology fix, '__' separator, forall-constraints gap Brummel 2026-05-09 22:28:17 +02:00
  • 9584d1dada iter 22b.4a.5: retire round-trip skip-list for class/instance fixtures Brummel 2026-05-09 22:25:32 +02:00
  • 2a2e6b9817 iter 22b.4a.4.5: form-a printer+parser arms for Type::Forall constraints Brummel 2026-05-09 22:23:10 +02:00
  • 5852833241 plan: 22b.4a fix — ail render has no --form flag Brummel 2026-05-09 22:19:32 +02:00
  • 9784fe95fe iter 22b.4a.4: form-a printer arm for InstanceDef Brummel 2026-05-09 22:14:59 +02:00
  • 0456393b85 iter 22b.4a.3.fix: drop unused InstanceMethod import + indent stub + dedup test imports Brummel 2026-05-09 22:13:23 +02:00
  • dd9614cae9 iter 22b.4a.3: form-a printer arm for ClassDef Brummel 2026-05-09 22:10:35 +02:00
  • da1746229d iter 22b.4a.2: form-a parser arm for InstanceDef Brummel 2026-05-09 22:05:49 +02:00
  • a1b4cd0063 iter 22b.4a.1.fix: drop test comments narrating plan deviations Brummel 2026-05-09 22:03:27 +02:00
  • eb06f3bfcc plan: 22b.4a fix — int literals are bare tokens, not (lit (int N)) Brummel 2026-05-09 22:00:55 +02:00
  • fefaa03c76 iter 22b.4a.1: form-a parser arm for ClassDef Brummel 2026-05-09 21:59:29 +02:00
  • fdf0de5de7 plan: 22b.4a form-a parser+printer arms for ClassDef/InstanceDef Brummel 2026-05-09 21:55:25 +02:00
  • eef5197f75 iter 22b.3: JOURNAL — monomorphisation pass shipped, e2e gate green Brummel 2026-05-09 21:37:51 +02:00
  • 090f082215 iter 22b.3.tester: e2e for coherence, default-keyword, cross-module mono Brummel 2026-05-09 21:36:15 +02:00
  • b59820b737 iter 22b.3.7: synthetic fixture — class+instance compiles, runs, prints 5 Brummel 2026-05-09 21:28:41 +02:00
  • 7f260b82ad iter 22b.3.6: fix — quality-review (shadow-aware walker, cross-mod test, Option-typed targets, const helper) Brummel 2026-05-09 21:21:33 +02:00
  • d1b590ceab iter 22b.3.6: call-site rewrite — same/cross module qualified names Brummel 2026-05-09 21:07:58 +02:00
  • e8018d48b6 iter 22b.3.5: fix — quality-review (chained-call test, hoist class_index, drop noise comments) Brummel 2026-05-09 20:59:43 +02:00
  • dd87b36e00 iter 22b.3.5: workspace fixpoint loop — dedup + synth-append Brummel 2026-05-09 20:52:07 +02:00
  • d2954010ea iter 22b.3.4: fix — quality-review (zero-arg test, drop what-comments + param-name pin) Brummel 2026-05-09 20:45:56 +02:00
  • d6084a71fb iter 22b.3.4: synthesise_mono_fn — instance body + class default fallback Brummel 2026-05-09 20:41:45 +02:00
  • 9f86c072dc iter 22b.3.3: fix — revert dead pub(crate), reuse build_module_types, drop defensive unwrap Brummel 2026-05-09 20:36:52 +02:00
  • 89311ee20b iter 22b.3.3: collect_mono_targets — synth-replay residual gathering Brummel 2026-05-09 20:31:12 +02:00
  • c77fd1b85e iter 22b.3.2: fix — drop speculative Float (plan-text overreach) Brummel 2026-05-09 20:25:51 +02:00
  • 028227587b iter 22b.3.2: mono_symbol — primitive surface forms + hash for compound Brummel 2026-05-09 20:21:24 +02:00
  • 108115f7dd iter 22b.3.1: fix — quality-review (doc reframe + class-present test) Brummel 2026-05-09 20:18:20 +02:00
  • 209074ee5d iter 22b.3.1: mono pass skeleton — identity for class-free workspaces Brummel 2026-05-09 20:12:36 +02:00
  • f7791e6cbd plan: 22b.3 monomorphisation pass Brummel 2026-05-09 20:08:01 +02:00
  • b1ae865e9d iter 22b.2: typecheck arms — 8 diagnostics shipped + skill-system post-mortem Brummel 2026-05-09 19:21:38 +02:00
  • 73965a6cbd iter 22b.2.e2e: cross-module class resolution + multi-fn aggregation Brummel 2026-05-09 19:19:44 +02:00
  • 47bec74b26 iter 22b.2.10: fix — positive green-path test, drop dead let _ = ws Brummel 2026-05-09 19:13:32 +02:00
  • 3600e82ec2 iter 22b.2.10: no-instance per-fn diagnostic Brummel 2026-05-09 19:07:46 +02:00
  • b741a8ba05 iter 22b.2.9: fix — superclass-walk tests, simplify class_superclasses map shape Brummel 2026-05-09 18:59:15 +02:00
  • 7cff741632 iter 22b.2.9: missing-constraint per-fn diagnostic Brummel 2026-05-09 18:51:39 +02:00
  • afa06a3f3d iter 22b.2.8: fix — fold double-match, IndexMap parity, broader contract test Brummel 2026-05-09 18:37:49 +02:00
  • 17605a3327 iter 22b.2.8: register class methods in module globals Brummel 2026-05-09 18:33:01 +02:00
  • 6869bd5d0c iter 22b.2.7: fix — cycle termination guard, hoist type_repr Brummel 2026-05-09 18:23:52 +02:00
  • ae7281ac41 iter 22b.2.7: fix — use examples_dir() helper in superclass-instance test Brummel 2026-05-09 18:20:18 +02:00
  • a546c5851c iter 22b.2.7: missing-superclass-instance diagnostic Brummel 2026-05-09 18:18:12 +02:00
  • b252f837af iter 22b.2.6: fix — structural Origin enum, fn-fn collision delegation, test path helper Brummel 2026-05-09 18:13:49 +02:00
  • a9aa248910 iter 22b.2.6: method-name-collision diagnostic Brummel 2026-05-09 18:07:52 +02:00
  • 1f6d2322c3 iter 22b.2.5: fix — move OverridingNonExistentMethod after UnboundConstraintTypeVar Brummel 2026-05-09 18:01:51 +02:00
  • 634bd5eca3 iter 22b.2.5: overriding-non-existent-method diagnostic Brummel 2026-05-09 17:59:10 +02:00
  • 257b47625d iter 22b.2.4: constraint-references-unbound-type-var diagnostic Brummel 2026-05-09 17:54:20 +02:00
  • 4b84e781d4 iter 22b.2.3: invalid-superclass-param class-schema diagnostic Brummel 2026-05-09 17:50:29 +02:00
  • 928deb9d74 iter 22b.2.2: kind-mismatch class-schema diagnostic Brummel 2026-05-09 17:45:27 +02:00
  • 04bde14a9e iter 22b.2.1: fix — revert PartialEq semantic change, drop unused derives Brummel 2026-05-09 17:38:20 +02:00
  • b636b883a3 iter 22b.2.1: add Constraint struct, Type::Forall.constraints Brummel 2026-05-09 17:34:39 +02:00
  • e1d748d64e refactor: agents adopt skill-system methodology, add named reviewers Brummel 2026-05-09 17:16:24 +02:00
  • 7045b2f4d2 plan: 22b.2 typecheck arms Brummel 2026-05-09 16:46:29 +02:00
  • 71dea8eab6 spec: 22 milestone — typeclasses retrospective Brummel 2026-05-09 16:27:50 +02:00
  • 9b97a862f6 refactor: drop superpowers references in SKILL.md, add .claude/skills/ discovery Brummel 2026-05-09 16:00:22 +02:00
  • ad6e4119a0 refactor: drop agents/ stub, move roster to skills/README.md Brummel 2026-05-09 15:54:21 +02:00
  • a5bfb76c7b iter 22c.live: skill system shipped, JOURNAL entry Brummel 2026-05-09 14:25:30 +02:00
  • 0bbeceea46 docs: agents/README.md — rewritten as roster of skill-bound agents Brummel 2026-05-09 14:24:41 +02:00
  • 3330a74afc refactor: split CLAUDE.md — discipline detail to skills, pointers stay Brummel 2026-05-09 14:24:02 +02:00
  • 326e4dbe87 infra: .claude/agents/ symlinks for subagent-type discovery Brummel 2026-05-09 14:22:10 +02:00
  • 9015905d9f refactor: agent migration — agents move next to dirigierende skill Brummel 2026-05-09 14:21:33 +02:00
  • f19ba9608c feat: skill brainstorm — milestone spec generator with hard-gate Brummel 2026-05-09 14:21:16 +02:00
  • 42e5d9b570 feat: skill plan — spec to executable plan with no-placeholders rule Brummel 2026-05-09 14:21:14 +02:00
  • 3f02dc5d1d feat: skill implement — plan execution with two-stage review Brummel 2026-05-09 14:21:12 +02:00
  • 495aefab3b feat: skill audit — milestone-tidy with bench-regression discipline Brummel 2026-05-09 14:21:10 +02:00
  • d8405bba17 feat: skill debug — RED-first bug diagnoser with Iron Law Brummel 2026-05-09 14:21:02 +02:00
  • b0b44c144b plan: skill system build-out — 11 tasks, spec→plan→implement→migrate→audit Brummel 2026-05-09 14:15:07 +02:00
  • be88e0fc14 spec: skill system — rename family/iter, add core-rules section, docwriter to audit Brummel 2026-05-09 14:10:32 +02:00
  • 3615751e42 spec: skill system — formalise the existing iter workflow Brummel 2026-05-09 13:59:10 +02:00
  • 24a5c8b884 tidy: drop docs/superpowers/ — writing-plans skill experiment artifact Brummel 2026-05-09 13:13:31 +02:00
  • 4abb195fc8 iter 22b.1.4: JOURNAL entry — 22b.1 closed, 22b.2 next Brummel 2026-05-09 12:42:23 +02:00
  • 057784934a iter 22b.1.3: registry coherence-check fixtures + tests Brummel 2026-05-09 12:40:06 +02:00
  • eb4db9dafc iter 22b.1.2: workspace registry skeleton + coherence checks Brummel 2026-05-09 12:37:00 +02:00
  • f25d7b6cd6 iter 22b.1.1: ClassDef/InstanceDef AST + downstream match arms Brummel 2026-05-09 12:31:23 +02:00
  • 522500a6f6 plan: 22b.1 typeclass schema floor + registry (writing-plans skill experiment) Brummel 2026-05-09 12:24:48 +02:00
  • f6cb900082 design: 22a — Decision 11 typeclasses (Haskell-lite, monomorphised, coherent) Brummel 2026-05-09 12:16:48 +02:00
  • 30e9b117cb Add code layout table to CLAUDE.md Brummel 2026-05-09 11:41:32 +02:00
  • 338a4cd3fe docs: codify feature-acceptance criterion (LLM-author utility) Brummel 2026-05-09 10:59:28 +02:00
  • aea3758742 tidy: 21'g — resolve drift after 21'-arc close Brummel 2026-05-09 01:40:36 +02:00
  • 75f7fda788 bench: 21'f — explicit-mode pair, full alloc+dec vs malloc+free Brummel 2026-05-09 01:21:15 +02:00
  • c897d2eef0 bench: 21'e — cross-language reference, AILang/C ratios Brummel 2026-05-09 01:15:37 +02:00
  • 5a4a6de031 bench: 21'd — pure-compute fixtures + harness hardening Brummel 2026-05-09 01:11:26 +02:00
  • 416d763b73 bench: 21'c — compile-time regression bench (check.py + compile_check.py) Brummel 2026-05-09 00:59:00 +02:00
  • 07bff24527 bench: 21'b — closure-pair + HOF/poly fixtures, 47-metric baseline Brummel 2026-05-09 00:55:57 +02:00
  • 2e40699cb1 discipline: bench/check.py as co-equal tidy-iter gate Brummel 2026-05-09 00:49:51 +02:00
  • a1b0ad5723 bench: regression harness — baseline.json + check.py Brummel 2026-05-09 00:36:06 +02:00
  • 7e5c95f6c6 runtime: half-retirement of Boehm — flip CLI default to --alloc=rc Brummel 2026-05-09 00:14:56 +02:00
  • c79f7e2f00 design: 20-family tidy-iter — refresh Data model + ecosystem inventory Brummel 2026-05-08 23:47:48 +02:00
  • 72626fa94f ail: embed Form-A spec in merge-prose prompt (iter 20f) Brummel 2026-05-08 23:31:27 +02:00
  • 8375eb81ed prose: split reuse-as keyword + inline single-use lets (iter 20b polish) Brummel 2026-05-08 23:03:10 +02:00
  • bfe49084de design: ratify 19a-arc in DESIGN.md (tidy) Brummel 2026-05-08 19:41:43 +02:00
  • 50b68267fe check: mode-strict-because suppression (iter 19b) Brummel 2026-05-08 19:36:04 +02:00
  • 9f3f10ce6e check: precise sub-binder analysis for over-strict-mode (iter 19a.1) Brummel 2026-05-08 19:19:31 +02:00
  • b9e942b99d prose: doc-wrap widow control for 1-word orphans Brummel 2026-05-08 19:18:37 +02:00
  • 2852326dd3 design: ratify form (B) prose projection (iter 20e tidy) Brummel 2026-05-08 18:27:34 +02:00
  • 9c09dfbc8d ail: merge-prose subcommand + PROSE_ROUNDTRIP.md (iter 20d) Brummel 2026-05-08 18:22:46 +02:00
  • 9cf0e3e81c prose: infix + paren elision + doc-wrap + nested-match (iter 20b) Brummel 2026-05-08 18:13:43 +02:00
  • a9d57c5c81 prose: human-readable projection renderer (iter 20a) Brummel 2026-05-08 18:06:16 +02:00
  • d8e80cb9c5 journal: pin human-readable prose surface (family 20) Brummel 2026-05-08 17:57:52 +02:00