This website requires JavaScript.
c4bee767da
docs: replace spec-validation parser fact with a project-local directive
Brummel
2026-06-15 10:13:15 +02:00
2e8dfd8ff9
chore: move skills-plugin profile into CLAUDE.md project facts
Brummel
2026-06-13 16:32:27 +02:00
82d42f1b6b
docs(design): mark project RETIRED (paused) at the ledger spine
Brummel
2026-06-03 11:29:20 +02:00
fdff6cd613
experiment(cma): familiar-vs-unfamiliar — AILang is not harder for a frontier model given a scan (refs #68 #69 #70 )
Brummel
2026-06-02 22:24:23 +02:00
9c833f65e4
experiment(cma): authoring-capability controls — L7 is a model ceiling, not a language ceiling (refs #68 )
Brummel
2026-06-02 21:40:33 +02:00
ded28e2f75
experiment(cma): large-model control on Llama-3.1-405B — the format effect REVERSES (refs #68 )
Brummel
2026-06-02 19:59:17 +02:00
ec6efe2cf2
docs(cma): add Qwen3-Coder-Next model context to format findings (refs #68 )
Brummel
2026-06-02 19:30:04 +02:00
8391209618
experiment(cma): tool-calling re-run at max_tokens=8000 — higher budget does not help, it degenerates (refs #68 )
Brummel
2026-06-02 19:26:25 +02:00
2b9a1083b5
experiment(cma): tool-calling / structured-AST tested — worst, and it confirms the rule (refs #68 )
Brummel
2026-06-02 19:19:44 +02:00
7fe08139fb
experiment(cma): M-expressions tested — middle of the pack; sharpens the finding (refs #68 )
Brummel
2026-06-02 19:11:18 +02:00
525112e32e
experiment(cma): bracket-free formats tested — they make Qwen WORSE, not better (refs #68 )
Brummel
2026-06-02 18:49:35 +02:00
682b935ba3
experiment(cma): annotated-paren format helps Qwen — cracks the bracket wall (refs #68 )
Brummel
2026-06-02 18:30:24 +02:00
da99ebaba8
experiment(cma): ablation finds WHY Qwen fails at Form-A — two distinct walls (refs #68 )
Brummel
2026-06-02 18:09:31 +02:00
8b7e683cc9
experiment(cma): SMA probe run 3 — full grammar+spec+lib makes Qwen degenerate (refs #68 )
Brummel
2026-06-02 17:49:23 +02:00
577bb6be43
experiment(cma): SMA authoring probe against Qwen3-Coder-Next (refs #68 )
Brummel
2026-06-02 17:31:35 +02:00
29625e7262
feat(cma): revive cross-model harness corpus to current language (refs #68 )
Brummel
2026-06-02 17:08:30 +02:00
72d2d9c806
test: prune duplicate tests, re-sight two blind coverage guards
Brummel
2026-06-02 16:59:43 +02:00
426ce88d2a
plan: cma-revival.1 cross-model harness corpus revival (refs #68 )
Brummel
2026-06-02 16:32:31 +02:00
74849160b7
spec: cross-model harness corpus revival (refs #68 )
Brummel
2026-06-02 16:32:31 +02:00
54d8f0c660
docs(contracts): record the leak-class branch-param drop gate (#63 )
Brummel
2026-06-02 15:51:35 +02:00
d72fe0c2e6
fix(codegen): drop branch-consume-split owned params (#63 leg 3)
Brummel
2026-06-02 15:47:01 +02:00
3447ac8039
plan: branch-consume-split drop soundness (#63 leg 3)
Brummel
2026-06-02 15:25:58 +02:00
f7226cfba5
spec: branch-consume-split drop soundness (#63 leg 3)
Brummel
2026-06-02 14:54:10 +02:00
d565ed87a3
feat(cli): resolve canonical type-scoped describe form
Brummel
2026-06-02 14:17:34 +02:00
8d58c8310b
test(cli): RED pin for type-scoped describe resolution
Brummel
2026-06-02 14:14:08 +02:00
a35878154b
docs(examples): correct rbx_1 ctor-field qualification note
Brummel
2026-06-02 14:09:48 +02:00
a2808a6938
test(codegen): ignored RED pin for match-arm consume-split leak (#63 leg 3)
Brummel
2026-06-02 13:59:09 +02:00
e3a9065aa7
fix(codegen): drop owned values on let/seq-wrapped tail-call arms (#63 leg 2)
Brummel
2026-06-02 13:53:14 +02:00
2488d9d345
test(codegen): RED pin for let-wrapped tail-call leak (#63 leg 2)
Brummel
2026-06-02 13:46:06 +02:00
68f500c4b0
fix(codegen): drop owned params on tail-call-terminated match arms (#63 leg 1)
Brummel
2026-06-02 13:41:57 +02:00
1be6e49b4f
test(codegen): RED pin for owned-param leak in tail-recursion (#63 )
Brummel
2026-06-02 13:31:54 +02:00
3b3c8c4f07
fieldtest(series-step1): 5 examples, 5 findings (1 bug, 1 friction, 1 spec-gap)
Brummel
2026-06-02 13:22:30 +02:00
73fbb240be
docs(model): reconcile 0007 Series with the shipped step-1 reality
Brummel
2026-06-02 13:12:01 +02:00
35a9bc67b1
feat(series): ship the kernel-tier Series library extension (#61 )
Brummel
2026-06-02 13:09:17 +02:00
6b7ee45e49
test(series): RED pin for the SMA worked example (#61 headline)
Brummel
2026-06-02 12:59:34 +02:00
b11a6d9883
fix(mono): thread declared return type into mono synth re-entry
Brummel
2026-06-02 12:44:51 +02:00
e035eff8df
test(series): RED pin for polymorphic RawBuf element-var forwarding
Brummel
2026-06-02 12:36:01 +02:00
c747cdf932
docs(ledger): fix two coherence gaps surfaced by the project skim
Brummel
2026-06-02 11:57:51 +02:00
4ec8f90b19
docs(contracts): finish the honesty pass (0003, 0008, 0013, 0017)
Brummel
2026-06-02 11:30:46 +02:00
eaa52ff64f
docs(contracts): honesty-prose cleanup + ratifier integrity
Brummel
2026-06-02 11:27:53 +02:00
56e076b2ca
docs(contracts): make 0012 tail-context list code-exhaustive
Brummel
2026-06-02 11:16:49 +02:00
625fe849be
docs(contracts): reconcile contracts + honesty-pin with shipped reality
Brummel
2026-06-02 11:14:01 +02:00
69e738d6e6
docs(design): close the sma_demo module paren in models/0007 (refs #7 )
Brummel
2026-06-02 11:12:22 +02:00
5e5b0e1484
docs(design): bring models/0007 worked examples onto the shipped surface (refs #7 )
Brummel
2026-06-02 10:56:01 +02:00
9545257333
fieldtest: raw-buf milestone — 4 examples, 3 findings (refs #7 )
Brummel
2026-06-02 10:46:16 +02:00
2ca483dbfd
docs(design): reconcile models 0008/0009 STATUS with the shipped #55 cutover
Brummel
2026-06-02 10:12:30 +02:00
d8d148224c
refactor(test): slice the bytes, not the str (sliced_string_as_bytes)
Brummel
2026-06-02 02:35:17 +02:00
1be2c1f145
docs: fix doc_lazy_continuation across the workspace
Brummel
2026-06-02 02:34:40 +02:00
b5799640f8
refactor(core): demote orphaned doc comments in the workspace test module
Brummel
2026-06-02 02:30:08 +02:00
5cd2a964e3
refactor(surface): collapse the optional-clause duplicate-check onto set_once
Brummel
2026-06-02 02:29:10 +02:00
72503c40fe
refactor(cli): collapse duplicated handler helpers in main.rs
Brummel
2026-06-02 02:24:34 +02:00
10da23304e
refactor(prose): fold the five copies of effects-clause rendering into one helper
Brummel
2026-06-02 02:19:35 +02:00
9b0eb58cd9
refactor(surface): share the copy-pasted parser sub-productions
Brummel
2026-06-02 02:17:51 +02:00
e5534d1532
refactor: clear clippy code lints across the workspace
Brummel
2026-06-02 02:14:15 +02:00
d5e69148c6
refactor(check): unify the two Type-Con qualifiers over an is-local predicate
Brummel
2026-06-02 02:05:57 +02:00
7d9ab4d29d
refactor(codegen): parameterise the copy-pasted IR-emission families
Brummel
2026-06-02 02:02:17 +02:00
7ae92d3e60
refactor(test): hoist duplicated test helpers into ailang-test-support
Brummel
2026-06-02 01:54:37 +02:00
ac9171ebf0
refactor: collapse duplicated helpers and drop dead code across check/core/codegen
Brummel
2026-06-02 01:39:35 +02:00
e25580e3a3
test(cutover): live accept/reject corpus for the #55 ownership surface
Brummel
2026-06-02 00:45:21 +02:00
19757480b7
audit(0064/cutover): record shipped drop machinery + retire dead desugar arm
Brummel
2026-06-02 00:45:06 +02:00
b129af1363
fix(check): inherit borrow on heap sub-binders of a borrowed scrutinee (#58 )
Brummel
2026-06-02 00:32:58 +02:00
76b21c00eb
feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55 )
Brummel
2026-06-02 00:03:46 +02:00
05c3c018de
fix(check): branch Float NoInstance addendum on method name (#25 )
Brummel
2026-06-01 20:34:20 +02:00
d8be95dd44
fix(check): render restricted-set diagnostic in AILang set syntax (#52 )
Brummel
2026-06-01 20:29:00 +02:00
9848d4b2df
docs(design): explore explicit RC as opt-in, not the floor (model 0009)
Brummel
2026-06-01 20:18:47 +02:00
dfdc65f21f
audit: spec 0064 cycle close — drift-clean after two ledger fixes (#57 )
Brummel
2026-06-01 18:29:02 +02:00
2769e50a35
fix(examples): destructure partition_eithers result once (#57 , 0064 iter 4)
Brummel
2026-06-01 18:22:59 +02:00
dea93a99fc
plan: 0064 iter 4 (final) — partition_eithers double-consume rewrite (class 4) (#57 )
Brummel
2026-06-01 18:18:40 +02:00
be259f9d46
feat(check): let-alias borrow propagation via alias-redirect (#57 , 0064 iter 3)
Brummel
2026-06-01 18:12:25 +02:00
9c4d195806
plan: 0064 iter 3 — let-alias borrow propagation (class 2) (#57 )
Brummel
2026-06-01 18:07:29 +02:00
cc5991eeb3
feat(check): resolve local function-typed binder modes (#57 , 0064 iter 2)
Brummel
2026-06-01 17:57:40 +02:00
2ad58ada17
plan: 0064 iter 2 — local function-typed binder modes (class 1) (#57 )
Brummel
2026-06-01 17:51:23 +02:00
47964abf7c
feat(check): tee let-binder types, exempt value-typed let-binders (#57 , 0064 iter 1)
Brummel
2026-06-01 17:44:40 +02:00
ba981689fc
plan: 0064 iter 1 — let-binder type table + value-typed let exemption (#57 )
Brummel
2026-06-01 17:34:28 +02:00
f6a8607518
spec: 0064 harden ownership analysis part 2 (#57 )
Brummel
2026-06-01 17:26:18 +02:00
39b674c1ec
chore: throwaway mode-migration tool for the Implicit cutover (#55 , 0121 task 3)
Brummel
2026-06-01 16:41:21 +02:00
e1c908912b
feat(check): reject borrow-returns at the signature (#55 , 0121 task 1)
Brummel
2026-06-01 16:41:21 +02:00
7dc21234f0
plan: re-stage 0121 — fold borrow-over-value into the cutover (mono collision)
Brummel
2026-06-01 16:33:58 +02:00
a84ba596cf
plan: eliminate the Implicit ownership default (0121)
Brummel
2026-06-01 16:19:07 +02:00
aaa70d4c35
feat(check): harden the ownership analysis for universal activation (0063)
Brummel
2026-06-01 15:38:32 +02:00
47fb328aca
plan: harden ownership analysis — is_value_type + value exemption + app-borrow (0120)
Brummel
2026-06-01 15:29:12 +02:00
8cdac7ecef
spec: harden the ownership analysis for universal activation (0063)
Brummel
2026-06-01 15:29:12 +02:00
6c351af169
docs(claude): record the LLM-designed mandate and last-resort escalation
Brummel
2026-06-01 15:01:21 +02:00
c8b765614d
spec: eliminate the Implicit ownership default (0062)
Brummel
2026-06-01 14:21:26 +02:00
657b24bfc9
docs(design): refine the ownership-totality model from design discussion (0008)
Brummel
2026-06-01 12:20:20 +02:00
768189abce
docs(design): add the ownership-totality whitepaper (model 0008)
Brummel
2026-06-01 10:53:41 +02:00
7a99c5dbfa
docs(fieldtest): record the typed-MIR milestone-close fieldtest
Brummel
2026-06-01 01:53:46 +02:00
bd62f2b9d0
docs(design): name the fn-value resolution carve-out in 0018
Brummel
2026-06-01 01:39:30 +02:00
a378dad0aa
docs(design): ratify the check→codegen boundary (mir.5, typed-MIR close)
Brummel
2026-06-01 01:34:37 +02:00
c5fd16a4eb
feat(codegen): StrRep loop-carried Str ⇒ Heap, close the #49 recur leak
Brummel
2026-06-01 00:54:44 +02:00
2536b5f535
plan(mir.4): StrRep loop-carried Str ⇒ Heap, delete the recur !is_str gate
Brummel
2026-06-01 00:34:18 +02:00
eba1be8d9d
feat(codegen): fill MArg.mode for App args, read the anon-temp drop gate off it, delete module_def_ail_types (mir.3b)
Brummel
2026-05-31 20:10:25 +02:00
0bd7f47fad
plan: mir.3b fill MArg.mode, switch the anon-temp gate onto it, delete module_def_ail_types
Brummel
2026-05-31 20:00:12 +02:00
6bc0b501cb
feat(codegen): relocate per-binder consume_count into MIR; delete codegen's second uniqueness run (mir.3a)
Brummel
2026-05-31 19:48:57 +02:00
69749fc3e1
plan: mir.3a relocate consume_count into MIR, delete codegen's second uniqueness run
Brummel
2026-05-31 19:40:54 +02:00
a6fd93adba
feat(codegen): pre-resolve the App callee in MIR; delete is_static_callee + type_home_module (mir.2)
Brummel
2026-05-31 19:27:56 +02:00
d81ea93de6
plan: mir.2 Callee::Static pre-resolved, codegen stops re-deriving the callee
Brummel
2026-05-31 19:10:37 +02:00
895ba846e8
feat(codegen): switch the lowering walk from &Term to typed &MTerm (mir.1b)
Brummel
2026-05-31 18:29:36 +02:00
449df13c9c
fix(check): preserve fn-type modes through Subst::apply
Brummel
2026-05-31 18:01:24 +02:00
600565d356
fix(check): localize own-ADT type-args in free-fn mono; complete the lower_to_mir producer
Brummel
2026-05-31 17:41:05 +02:00
Brummel