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

Commit Graph

  • 9332d1e155 plan: form-a.1 T7 expanded to handle 5 raw-JSON-inspect tests Brummel 2026-05-13 11:13:33 +02:00
  • 77b28ad64d iter form-a.1 (Tasks 1-5): additive phase + relocation Brummel 2026-05-13 11:12:48 +02:00
  • 1a065b37f1 plan: form-a.1 — big-bang migration + milestone close, 12 tasks Brummel 2026-05-13 10:35:43 +02:00
  • 9fcda8bd0f spec: amend §C4 carve-outs — prelude.ail.json as compile-time-embed exception Brummel 2026-05-13 10:29:48 +02:00
  • aabcadca5f iter form-a.0: prelude pilot — examples/prelude.ail rendered Brummel 2026-05-13 09:59:30 +02:00
  • 4c2a3c5d08 plan: form-a.0 — prelude pilot, 2 tasks Brummel 2026-05-13 09:55:51 +02:00
  • e864c85840 spec: form-a-default-authoring milestone — roadmap entry + draft spec Brummel 2026-05-13 09:52:04 +02:00
  • 319b73c281 WhatsNew: Show + print milestone close Brummel 2026-05-13 04:29:08 +02:00
  • a62fd8d8e0 INDEX: iter 24.tidy — audit-24 drift fixes, milestone 24 fully closed Brummel 2026-05-13 04:28:27 +02:00
  • 4e8447d15d iter 24.tidy: close 5 actionable drift items from audit-24 Brummel 2026-05-13 04:28:15 +02:00
  • 0e27533e73 plan: 24.tidy — close 5 actionable drift items from audit-24, 6 tasks Brummel 2026-05-13 04:17:59 +02:00
  • 71dec143d9 audit-24: milestone close (Show + print rewire) drift report + 24.tidy queue Brummel 2026-05-13 04:13:16 +02:00
  • 0cfb3f6c87 INDEX: iter 24.3 — fn print + milestone 24 close Brummel 2026-05-13 04:07:45 +02:00
  • 246b5c7455 iter 24.3: fn print + E2E + 3 compiler-path repairs; milestone 24 close Brummel 2026-05-13 04:07:36 +02:00
  • c04c07fe86 plan: 24.3 — fn print + E2E + DESIGN.md/roadmap close, 8 tasks Brummel 2026-05-13 03:39:12 +02:00
  • c07fda3f6d INDEX: iter 24.2 — Show class + 22b TShow migration Brummel 2026-05-13 03:31:52 +02:00
  • 3286117605 iter 24.2: class Show + 4 primitive instances + 22b TShow migration Brummel 2026-05-13 03:31:40 +02:00
  • 64cea0ef41 plan: 24.2 — class Show + 4 instances + 22b migration, 8 tasks Brummel 2026-05-13 03:17:19 +02:00
  • d6d70bd06c spec: 24-show-print post-mq re-derive (24.2 + 24.3) Brummel 2026-05-13 03:09:02 +02:00
  • 89e335a39d WhatsNew: module-qualified-class-names milestone close Brummel 2026-05-13 02:50:24 +02:00
  • 1b6cbcb68b iter mq.tidy: close 4 actionable drift items from audit-mq Brummel 2026-05-13 02:49:26 +02:00
  • 64d3feeb97 plan: mq.tidy — 4 drift items from audit-mq, 5 tasks Brummel 2026-05-13 02:36:18 +02:00
  • f382931eb8 audit-mq: milestone close (module-qualified-class-names) — 4 drift items routing to mq.tidy Brummel 2026-05-13 02:29:03 +02:00
  • 99d3968656 iter mq.3: retire MethodNameCollision + multi-class E2E + DESIGN.md sync Brummel 2026-05-13 02:19:21 +02:00
  • 90075715d9 plan: mq.3 — MethodNameCollision retirement + multi-class E2E + DESIGN.md sync, 9 tasks Brummel 2026-05-13 01:51:39 +02:00
  • 2e6a4ca200 iter mq.2: type-driven dispatch mechanism installed (mechanism-before-exercise) Brummel 2026-05-13 01:40:42 +02:00
  • e9e45c77af plan: mq.2 — Type-driven dispatch mechanism, 9 tasks Brummel 2026-05-13 01:22:27 +02:00
  • 0eb33235eb iter mq.1: class-ref canonical-form extension + workspace-internal class-name qualification Brummel 2026-05-13 01:11:56 +02:00
  • 1a5f8289b7 plan: mq.1 — Canonical-form extension for class-ref fields, 7 tasks Brummel 2026-05-13 00:40:30 +02:00
  • 512fc9d5fd spec: module-qualified-class-names — class-ref canonical-form + type-driven dispatch + MethodNameCollision retirement Brummel 2026-05-13 00:30:37 +02:00
  • 062a811d7c defer: 24.2 + 24.3 — Show + print rewire blocked on MethodNameCollision retirement Brummel 2026-05-13 00:00:50 +02:00
  • f38bad8c2b iter 24.1: bool_to_str + str_clone runtime + codegen wiring Brummel 2026-05-12 23:47:13 +02:00
  • 8bfa09adc7 plan: 24.1 — bool_to_str + str_clone runtime + codegen wiring, 6 tasks Brummel 2026-05-12 23:33:46 +02:00
  • 953f2e146d spec: 24-show-print — post-22 prelude Show + print rewire Brummel 2026-05-12 23:26:48 +02:00
  • ed9cefca84 WhatsNew: ct-tidy milestone close Brummel 2026-05-12 22:37:43 +02:00
  • 0dcdaab924 audit-ct-tidy: close milestone ct-tidy via ctt.tidy Brummel 2026-05-12 22:36:32 +02:00
  • 0d3f44bee1 iter ctt.3: KindMismatch retire Brummel 2026-05-12 22:31:57 +02:00
  • 0e556f085c plan: ctt.3 — KindMismatch retire, 2 tasks Brummel 2026-05-12 22:27:33 +02:00
  • 9d01d0884c iter ctt.2: Registry.type_def_module re-key to (owning_module, bare_name) Brummel 2026-05-12 22:23:46 +02:00
  • 548ebf8d51 plan: ctt.2 — Registry.type_def_module re-key, 3 tasks Brummel 2026-05-12 22:16:22 +02:00
  • 805bba3fda iter ctt.1: env-overlay shape ratification + DuplicateCtor pin Brummel 2026-05-12 22:07:39 +02:00
  • 0a36294e61 plan: ctt.1 — env-overlay shape ratification, 3 tasks Brummel 2026-05-12 22:02:58 +02:00
  • ff5dc7f4e7 spec: ct-tidy — canonical-type-names follow-up sweep Brummel 2026-05-12 21:57:21 +02:00
  • 8b1ceba5f8 audit-eob: close milestone heap-str-abi via eob.tidy Brummel 2026-05-12 21:36:27 +02:00
  • 78e8338a8d iter eob.1: effect-op args walk as Borrow; heap-Str RC discipline closes Brummel 2026-05-12 21:29:05 +02:00
  • b5b0c2d7dc plan: eob.1 — Effect-op arguments borrow, 7 tasks Brummel 2026-05-12 21:20:11 +02:00
  • 89eb9fdc41 spec: effect-op-borrow — closing the hs RC discipline gap Brummel 2026-05-12 21:14:57 +02:00
  • 592d87bf11 red test: heap-Str slabs leak under RC discipline Brummel 2026-05-12 19:49:22 +02:00
  • 134441b472 iter hs.4: wire int_to_str / float_to_str through checker + codegen + linker Brummel 2026-05-12 18:30:55 +02:00
  • 1f832c028a plan: hs.4 — IR + checker + linker wiring, 4 tasks Brummel 2026-05-12 18:10:25 +02:00
  • 1cf281b217 iter hs.3: heap-Str runtime additions — str_alloc + int_to_str + float_to_str Brummel 2026-05-12 18:03:46 +02:00
  • 187d04814d plan: hs.3 — heap-Str runtime additions, 2 tasks Brummel 2026-05-12 17:56:03 +02:00
  • f9bf97be80 iter hs.2: static-Str layout retrofit — drop sentinel rc-header slot Brummel 2026-05-12 17:51:27 +02:00
  • 51a096cf83 plan: hs.2 — rewrite for static-Str sentinel-slot retrofit, 3 tasks Brummel 2026-05-12 17:45:23 +02:00
  • 2a72a4ad68 spec: heap-str-abi — amend, drop sentinel-rc-header story Brummel 2026-05-12 17:34:41 +02:00
  • 8ca602dc1f plan: hs.2 — runtime sentinel + Str-in-ADT drop safety, 3 tasks Brummel 2026-05-12 16:53:36 +02:00
  • c56498aca7 iter hs.1: static-Str layout migration — packed-struct globals + sentinel rc-header + len Brummel 2026-05-12 16:48:24 +02:00
  • 69bb5f9952 plan: hs.1 — Static-Str layout migration, 5 tasks Brummel 2026-05-12 16:36:29 +02:00
  • 750f97e455 spec: heap-str-abi — runtime-allocated Str slab + sentinel-static ABI Brummel 2026-05-12 16:24:12 +02:00
  • 78c26b3596 boss: new milestones never start autonomously — fourth bounce-back trigger Brummel 2026-05-12 14:54:52 +02:00
  • 79cc78507b iter ext-cli.1: CLI accepts .ail (Form A) sources alongside .ail.json Brummel 2026-05-12 14:45:03 +02:00
  • efecbaa3e6 plan: ext-cli.1 — CLI accepts .ail extension, 4 tasks Brummel 2026-05-12 14:28:28 +02:00
  • 72e54f4fd3 iter ext-rename: .ailx → .ail across the live toolchain Brummel 2026-05-12 14:20:27 +02:00
  • 17b370bbb3 WhatsNew: cross-model authoring test — second subject added Brummel 2026-05-12 13:29:34 +02:00
  • 9dc6263b6e audit-ms: close milestone Multi-subject Authoring-Form Test — CodeLlama Replication Brummel 2026-05-12 13:29:28 +02:00
  • 65a4f0aa16 iter ms.2: Qwen retroactive re-run + first CodeLlama-13b-Instruct run + DESIGN.md §Decision-6 addendum extended to two subjects Brummel 2026-05-12 13:29:15 +02:00
  • 5858377c99 plan: ms.2 — multi-subject run + DESIGN.md addendum extension, 6 tasks (Qwen re-run + CodeLlama run + per-cell metrics + addendum + roadmap close + acceptance sweep) Brummel 2026-05-12 13:28:55 +02:00
  • 614fd8bc93 iter ms.1: pipeline.rs format!("check: {e}") → {e:#} preserves anyhow Caused-by chain in JSON-cohort feedback Brummel 2026-05-12 13:28:48 +02:00
  • 2efaee07f0 plan: ms.1 — pipeline anyhow-chain preservation, 3 tasks (RED→GREEN pin + 2-char fix + full harness sweep) Brummel 2026-05-12 13:28:31 +02:00
  • 5526d839f8 spec: multi-subject CodeLlama replication — pipeline anyhow-chain fix + second subject run Brummel 2026-05-12 13:28:25 +02:00
  • 8689f7a238 WhatsNew: cross-model authoring test landed — first data point Brummel 2026-05-12 12:22:08 +02:00
  • 94d6963995 audit-cma: close milestone Cross-model authoring-form test Brummel 2026-05-12 12:20:30 +02:00
  • e91e31aadb iter cma.3: live Qwen3-Coder-Next run + DESIGN.md §Decision-6 empirical addendum + milestone close Brummel 2026-05-12 12:16:32 +02:00
  • fe1fb6b4f0 iter cma.2: harness binary + 4 tasks + reference solutions + 4 integration tests Brummel 2026-05-12 12:06:34 +02:00
  • 21c2d2cfaa plan: cma.2 — harness binary + 4 task definitions + 3 integration tests, 13 tasks, 46 steps Brummel 2026-05-12 11:52:42 +02:00
  • a8c29d130b iter cma.1: master mini-spec + render binary for cross-model authoring experiment Brummel 2026-05-12 11:43:10 +02:00
  • fd6efdbcf6 plan: cma.1 — master mini-spec + render binary + tests, 9 tasks, 49 steps Brummel 2026-05-12 11:31:19 +02:00
  • e1c2f2e3ca spec: cross-model authoring-form test — two-cohort experiment, master+renderer, 4 MVP tasks Brummel 2026-05-12 11:21:43 +02:00
  • ef1ebf2138 roadmap: heap-Str ABI as P1 milestone, blocker for Show + print rewire Brummel 2026-05-12 10:47:35 +02:00
  • e953b137eb iter boss: /boss skill — autonomous-mode discipline gated to user invocation Brummel 2026-05-12 10:14:33 +02:00
  • a99a39b65e plan: boss — three-section move + symlink + README row + repoints + journal Brummel 2026-05-12 10:09:45 +02:00
  • 1c50c2d981 spec: tighten /boss move-list to the three mode-specific sections Brummel 2026-05-12 10:07:09 +02:00
  • 3f20a589d6 spec: /boss skill — extract autonomous-mode discipline from CLAUDE.md Brummel 2026-05-12 10:01:12 +02:00
  • d1e514f2e7 WhatsNew: roundtrip-invariant milestone closed Brummel 2026-05-12 09:47:25 +02:00
  • 90512d5d89 brainstorm: re-dispatch grounding-check on any post-PASS spec edit Brummel 2026-05-12 09:46:56 +02:00
  • 77a92a1a0d CLAUDE.md: notification policy — done-state = queue empty, not sub-goal complete Brummel 2026-05-12 09:45:24 +02:00
  • 44c6e56a0a audit-rt: milestone close — Direction-2 5th test + roadmap entry retired + wording sync Brummel 2026-05-12 09:44:29 +02:00
  • e3b0dd20c5 iter rt.2: DESIGN.md anchor — Roundtrip Invariant lifted to top-level Brummel 2026-05-12 09:38:56 +02:00
  • b6046bb6eb WhatsNew: rt.1 — roundtrip safety net landed Brummel 2026-05-12 09:32:11 +02:00
  • 098fa7e9be iter rt.1: roundtrip-invariant audit tests — 3 new tests, all PASS first-shot Brummel 2026-05-12 09:31:38 +02:00
  • 10ccd1406c plan: rt.1 — three new tests (ailx pair cross-check dynamic + schema_coverage + CLI roundtrip via BLAKE3) Brummel 2026-05-12 09:24:50 +02:00
  • d71b5ca6c1 roadmap: brainstorm Step 7.5 — re-dispatch grounding-check on any post-PASS spec edit (P1 todo) Brummel 2026-05-12 09:24:24 +02:00
  • ea2c485459 spec: roundtrip invariant milestone — bidirectional .ail.json/.ailx bijection, schema-coverage, CLI roundtrip, hard-fail, dynamic fixture collection Brummel 2026-05-12 09:19:01 +02:00
  • daf9f4fdc9 roadmap: roundtrip-invariant milestone (P1) + cross-model authoring-form test (P2) Brummel 2026-05-12 08:53:47 +02:00
  • edccc087a4 WhatsNew: audit-23 — milestone closed, regression ratified Brummel 2026-05-12 00:57:36 +02:00
  • 94616240ec audit 23: ratify compile_check baseline + DESIGN.md stub-fix Brummel 2026-05-12 00:57:12 +02:00
  • 3fed372d77 WhatsNew: iter 23.5 — Eq/Ord prelude milestone closed Brummel 2026-05-12 00:39:59 +02:00
  • 326c995c1d iter 23.5: INDEX append Brummel 2026-05-12 00:39:11 +02:00
  • 92e830e6c2 iter 23.5: prelude free fns + E2E — Eq/Ord milestone close Brummel 2026-05-12 00:38:52 +02:00
  • 35c6eb5736 plan: iter 23.5 prelude free fns + E2E — 8 tasks Brummel 2026-05-12 00:16:23 +02:00