This website requires JavaScript.
5b4eb766c3
glossary: bootstrap AILang nomenclature ledger
Brummel
2026-05-31 17:10:46 +02:00
1a1a68df8b
plan: mir.1b — codegen consumes MIR (the atomic switch)
Brummel
2026-05-31 14:23:26 +02:00
135f4ceed7
feat(check): mir.1a — typed-MIR types + post-mono lower_to_mir + elaborate_workspace (additive)
Brummel
2026-05-31 14:04:03 +02:00
438a009b83
plan: mir.1a — typed-MIR infrastructure (additive half of spec mir.1)
Brummel
2026-05-31 13:51:33 +02:00
8bc2972594
spec: typed-mir — place lower_to_mir post-mono, correct one-engine framing
Brummel
2026-05-31 13:21:53 +02:00
207c63649f
spec: typed-mir check→codegen boundary contract
Brummel
2026-05-31 12:45:52 +02:00
02775b58ca
test(codegen): mark the #49 Str-leg RED pin #[ignore] pending the representation spec
Brummel
2026-05-31 11:21:52 +02:00
04f75c8b71
test(codegen): RED-pin #49 Str leg — heap-Str loop binder must not leak across recur
Brummel
2026-05-31 04:09:44 +02:00
420703d321
fix(codegen): resolve the dotted T.new user-ADT callee, symmetric to check
Brummel
2026-05-31 03:52:23 +02:00
1eff055a0e
test(codegen): RED-pin #53 — monomorphic (new T args) over a user ADT must build
Brummel
2026-05-31 03:33:03 +02:00
ee4107c721
fix(check): honour the written element type-arg on polymorphic (new T …)
Brummel
2026-05-31 03:03:14 +02:00
61b9d3f513
test(raw-buf): RED-pin #51 — (new T <elem> …) must honour the element type-arg
Brummel
2026-05-31 02:05:02 +02:00
1b2d23ec42
fieldtest: raw-buf comprehensive — 4 examples, 8 findings (refs #7 )
Brummel
2026-05-30 18:29:00 +02:00
f488d314e8
fix(codegen): dec superseded heap loop-binder values across recur (ADT leg)
Brummel
2026-05-30 17:48:51 +02:00
a92bcaf969
fix(check): qualify cross-module kernel type-cons in user ADT fields
Brummel
2026-05-30 17:48:34 +02:00
43e3b21080
audit: raw-buf usability repair — cycle tidy (refs #7 )
Brummel
2026-05-30 17:23:29 +02:00
d5cc6e96b6
docs(raw-buf): refresh fixture outcomes; ratify set non-enforcement (refs #7 )
Brummel
2026-05-30 17:14:39 +02:00
8bcdae1b53
fix(codegen): drop a let-bound owned loop result at scope close
Brummel
2026-05-30 17:14:28 +02:00
db710b1a73
fix(codegen): replay loop binders in synth_with_extras (closes #47 )
Brummel
2026-05-30 17:14:07 +02:00
744ad41e47
fix(check): resolve type-scoped borrow-receiver ops in linearity (closes #46 )
Brummel
2026-05-30 17:13:56 +02:00
75109f171d
fix(check): param-not-in-restricted-set names the allowed set (closes #48 )
Brummel
2026-05-30 17:13:40 +02:00
8e9f0f06a6
fieldtest: raw-buf — 4 examples, 6 findings (refs #7 )
Brummel
2026-05-30 16:26:48 +02:00
f37bd959d4
audit: raw-buf milestone close — tidy (clean) (refs #7 )
Brummel
2026-05-30 16:10:42 +02:00
13e590cb46
iter raw-buf.6 kernel-stub-retirement (DONE 5/5): retire the stub, raw_buf is the sole base extension (refs #7 )
Brummel
2026-05-30 16:07:29 +02:00
fb0dd92a6c
plan: raw-buf.6 kernel-stub-retirement (refs #7 )
Brummel
2026-05-30 15:53:54 +02:00
c5eca7e91d
bench: re-ratify compile_check baseline (closes #45 )
Brummel
2026-05-30 15:31:04 +02:00
7321826c66
audit: cycle-close tidy for #44 — $-lexer-reservation (refs #44 )
Brummel
2026-05-30 15:18:49 +02:00
11e4c4624d
feat: reserve $ in the Form-A lexer (closes #44 )
Brummel
2026-05-30 15:00:17 +02:00
559531806d
plan: reserved-dollar-in-names — dollar-lexer-reservation (refs #44 )
Brummel
2026-05-30 14:51:41 +02:00
c76057008e
spec: reserve $ in the Form-A lexer (refs #44 )
Brummel
2026-05-30 14:41:04 +02:00
b151990028
audit: raw-buf close-fixes — honesty + ledger for the binder-rename (refs #43 )
Brummel
2026-05-30 12:50:55 +02:00
55d76ae4a1
fix: alpha-rename shadowing binders at desugar — A2b leg (closes #43 )
Brummel
2026-05-30 12:42:44 +02:00
1990147467
plan: unique-binder-names — desugar alpha-rename for #43 A2b (refs #43 )
Brummel
2026-05-30 12:35:07 +02:00
0015f3dad1
spec: unique binder names per fn — A2b leg of RawBuf drop-leak (refs #43 )
Brummel
2026-05-30 12:21:27 +02:00
0f6108e428
fix: resolve cross-module borrow modes in the uniqueness pass (refs #43 )
Brummel
2026-05-30 11:19:49 +02:00
f7f4c3b237
test: RED shadow-rebind RawBuf drop-leak on shipped fixtures (refs #43 )
Brummel
2026-05-30 10:58:07 +02:00
62cd4b4ee7
fix: drop owned temp passed to a borrow slot at the call site (closes #43 )
Brummel
2026-05-30 10:49:49 +02:00
47efbdb5c0
test: RED owned-RawBuf drop-leak repro (refs #43 )
Brummel
2026-05-30 10:41:52 +02:00
8ac8756682
iter raw-buf.4 rawbuf-payload-termnew-desugar (DONE, drop-call deferred to .5): RawBuf works, prints 60 (refs #7 )
Brummel
2026-05-30 00:49:51 +02:00
b49f57d9c6
spec: raw-buf — re-carve drop ratification to raw-buf.5, retirement to .6 (refs #7 )
Brummel
2026-05-30 00:49:28 +02:00
9ff1f22d42
plan: raw-buf.4 RawBuf payload + Term::New desugar (refs #7 )
Brummel
2026-05-29 19:53:36 +02:00
fd37fa6489
iter raw-buf.3 typescoped-intrinsic-mechanism (DONE 2/2): scope-qualified mono symbols + bijection expansion (refs #7 )
Brummel
2026-05-29 19:39:35 +02:00
8508182f84
plan: raw-buf.3 type-scoped polymorphic intrinsic mechanism (refs #7 )
Brummel
2026-05-29 19:25:04 +02:00
d2885c7ae6
spec: raw-buf — re-carve .3/.4/.5, type-scoped polymorphic intrinsic prep (refs #7 )
Brummel
2026-05-29 19:10:19 +02:00
fbdbe740e6
iter raw-buf.2-kernel-rename (DONE 2/2): ailang-kernel-stub → ailang-kernel family-crate (refs #7 )
Brummel
2026-05-29 18:39:36 +02:00
395a40f3e7
plan: raw-buf.2-kernel-rename — atomic crate rename + family-crate reshape (refs #7 )
Brummel
2026-05-29 18:34:47 +02:00
3ec406e687
spec: raw-buf — re-carve .2/.3/.4 post intrinsic-bodies (refs #7 )
Brummel
2026-05-29 18:26:59 +02:00
6ccc756c0f
audit + close: intrinsic-bodies — honest prelude docs + lockstep table + stale-model fix (refs #9 )
Brummel
2026-05-29 17:56:10 +02:00
caa3618c3e
iter intrinsic-bodies.2-migration-lock (DONE 4/4): prelude → (intrinsic) + bijection pin (refs #9 )
Brummel
2026-05-29 17:46:50 +02:00
298fc2d36f
plan: intrinsic-bodies.2-migration-lock — 4-task prelude migration + bijection pin (refs #9 )
Brummel
2026-05-29 17:37:45 +02:00
8301ca3ee8
spec: intrinsic-bodies — correct .2 count + bijection split (refs #9 )
Brummel
2026-05-29 17:31:25 +02:00
52ff8738b8
iter intrinsic-bodies.1-mechanism (DONE 8/8): Term::Intrinsic leaf + cross-crate wiring (refs #9 )
Brummel
2026-05-29 17:21:32 +02:00
ce0374ac0c
plan: intrinsic-bodies.1-mechanism — 8-task Term::Intrinsic cross-crate landing (refs #9 )
Brummel
2026-05-29 16:55:01 +02:00
5b66de77ac
spec: intrinsic-bodies — revise AST repr to Term::Intrinsic leaf (refs #9 )
Brummel
2026-05-29 16:45:47 +02:00
c42034b38d
spec: intrinsic-bodies — (intrinsic) Form-A body marker (refs #9 )
Brummel
2026-05-29 16:32:36 +02:00
a2698a80cf
config: opt profile into spec_validation parse gates
Brummel
2026-05-29 15:14:00 +02:00
647121cb8f
plan: raw-buf.2-kernel-manifest — 7-task crate-rename + RawBuf submodule + checker-side surface (refs #7 )
Brummel
2026-05-29 11:17:30 +02:00
140a0c0ef7
iter raw-buf.1-intercept-registry (DONE 5/5): try_emit_primitive_instance_body → registry table (refs #7 )
Brummel
2026-05-29 11:06:55 +02:00
d1612d5463
plan: raw-buf.1-intercept-registry — 5-task atomic codegen-registry refactor (refs #7 )
Brummel
2026-05-29 10:53:08 +02:00
4ad003d21f
spec: raw-buf — 3-iter base-extension milestone (refs #7 )
Brummel
2026-05-29 10:44:28 +02:00
a163c8c34a
GREEN: pre-pass/resolver asymmetry — same-module bare + kernel-tier qualifier acceptance (closes F1, F3)
Brummel
2026-05-28 19:36:36 +02:00
4d39fdc9c0
RED: same-module type-scoped call + kernel-tier qualifier — pre-pass/resolver asymmetry (refs F1, F3)
Brummel
2026-05-28 19:29:02 +02:00
e094a71a3e
ratify: design model — replace unit literal with canonical no-op idiom (refs F9)
Brummel
2026-05-28 19:22:13 +02:00
171a986f82
fix(stub): add missing (fn new ...) to STUB_AIL — restore prep.3 spec/ship coherence (refs F4)
Brummel
2026-05-28 19:21:57 +02:00
aa49a56d5a
fieldtest: kernel-extension-mechanics — 6 examples, 9 findings (3 bugs, 1 friction, 1 spec_gap, 4 working)
Brummel
2026-05-28 19:19:00 +02:00
9d2e752f07
iter kernel-extension-mechanics.tidy: architect drift items — present-state + plugin-migration aftermath
Brummel
2026-05-28 19:04:43 +02:00
de4399df37
audit + close: kernel-extension-mechanics — latency-arm restoration + p99 jitter-metric removal (ratify)
Brummel
2026-05-28 19:00:12 +02:00
a844de3f7a
test: workspace_pin module count 3→4 (kernel_stub auto-injection)
Brummel
2026-05-28 18:45:38 +02:00
138157767e
design: forward-fix feature-acceptance contract anchor after plugin migration
Brummel
2026-05-28 18:44:09 +02:00
9339279181
iter prep.3-kernel-tier-modules (DONE 9/9): kernel-tier modules + param-in + stub crate — closes #33
Brummel
2026-05-28 18:43:42 +02:00
3b4fb42771
plan: prep.3-kernel-tier-modules — 9-task schema + surface + workspace + diagnostic + stub crate (refs #33 )
Brummel
2026-05-28 17:04:41 +02:00
c1441f3a87
switch to ~/dev/skills/ plugin: retire in-tree skills/
Brummel
2026-05-28 16:32:38 +02:00
078c39a76a
iter prep.2-term-new-construct (DONE 4/4): Term::New AST + Form-A surface + checker + drift — closes #32
Brummel
2026-05-28 15:31:13 +02:00
c8932fa54c
CLAUDE.md: scope down to AILang-specific decisions
Brummel
2026-05-28 15:10:44 +02:00
70e6fcd5c0
plan: prep.2 Term::New construct — 4-task atomic AST + surface + checker + drift (refs #32 )
Brummel
2026-05-28 15:00:27 +02:00
b586999e81
iter prep.1-type-scoped-namespacing (DONE 5/5): TypeDef-first resolution + workspace pre-pass — closes #31
Brummel
2026-05-28 14:43:03 +02:00
46c9aabf00
plan: prep.1 type-scoped namespacing — 5-task atomic resolver + 12-fixture migration (refs #31 )
Brummel
2026-05-28 14:04:01 +02:00
832375f2ac
convention: counter-prefix file naming across docs/specs/, docs/plans/, design/contracts/, design/models/
Brummel
2026-05-28 13:31:31 +02:00
7b8596cef0
spec: kernel-extension-mechanics — three-iter prep milestone
Brummel
2026-05-28 13:14:35 +02:00
d745399a1f
design: kernel-extensions whitepaper + INDEX entry
Brummel
2026-05-28 13:14:10 +02:00
4fc65ccb99
iter schema-camelcase-fix.1 (DONE 4/4): paramTypes/retType → param-types/ret-type — closes #30
Brummel
2026-05-21 12:57:06 +02:00
90977663ff
plan: schema-camelcase-fix — 4-task atomic schema-tag migration (refs #30 )
Brummel
2026-05-21 12:48:59 +02:00
55ce6d0d70
spec: schema-camelcase-fix — expand scope to data-model.md + rustdoc layer (refs #30 )
Brummel
2026-05-21 12:45:51 +02:00
7d086e69ce
spec: schema-camelcase-fix — paramTypes/retType → param-types/ret-type (closes #30 )
Brummel
2026-05-21 12:37:45 +02:00
26fb3459d8
GREEN: io/print_str byte-faithful via @fputs(@stdout) — closes #29
Brummel
2026-05-21 12:22:45 +02:00
c8ecfa39b9
RED: io/print_str must print exactly the bytes of its argument — refs #29
Brummel
2026-05-21 11:59:38 +02:00
b85d498d03
doc: fix Form-A ctor drift in cross-model-authoring spec — closes #28
Brummel
2026-05-21 11:54:48 +02:00
5bd148a607
fieldtest: naming A/B against Qwen3-Coder — refactor not justified
Brummel
2026-05-21 11:49:04 +02:00
8d61599b8d
doc: fix bare (class Eq) → (class prelude.Eq) in operator-routing-eq-ord spec north-star
Brummel
2026-05-21 01:34:54 +02:00
505eb8484e
fieldtest: operator-routing-eq-ord — 5 examples, 6 findings (4 working, 1 friction, 1 spec_gap)
Brummel
2026-05-21 01:34:19 +02:00
4d45bc6c56
audit + close: operator-routing-eq-ord — drift_found → post-audit tidy applied inline; CLEAN
Brummel
2026-05-21 01:26:13 +02:00
5170b6abd1
iter operator-routing-eq-ord.1 (DONE 13/13): drop comparator builtins, route through Eq/Ord
Brummel
2026-05-21 01:16:21 +02:00
400ad7c067
plan: operator-routing-eq-ord.1 — atomic single-iter execution layout
Brummel
2026-05-21 00:05:15 +02:00
a68d7b6353
spec: operator-routing-eq-ord — drop comparator builtins, route through Eq/Ord
Brummel
2026-05-20 23:43:13 +02:00
86dd7d7b60
audit + close: boehm-retirement CLEAN milestone close (no drift, bench 0/0/0, no tidy)
Brummel
2026-05-20 20:57:01 +02:00
14a91f0ae5
iter boehm-retirement.1 (DONE 10/10): retire the transitional Boehm GC backend
Brummel
2026-05-20 20:51:53 +02:00
ad0a8d8786
plan: boehm-retirement.1 — atomic single-iter execution layout
Brummel
2026-05-20 20:24:22 +02:00
50dc478ca5
spec: boehm-retirement — drop the transitional Boehm GC path
Brummel
2026-05-20 20:02:32 +02:00
7a42989b34
iter nullary-app.1 (DONE 5/5): accept (app f) as canonical zero-arg call
Brummel
2026-05-20 18:57:14 +02:00
7d8b3a3c10
plan: nullary-app.1 — accept (app f) as canonical zero-arg call form
Brummel
2026-05-20 18:52:22 +02:00
Brummel