AILang

2026-05-09-22-tidy-design-drift.md

plan: 22-tidy DESIGN.md and spec drift after milestone-22 close

2026-05-09 22:50:25 +02:00

2026-05-09-22b2-typecheck-arms.md

plan: 22b.2 typecheck arms

2026-05-09 16:46:29 +02:00

2026-05-09-22b3-monomorphisation.md

plan: 22b.3 monomorphisation pass

2026-05-09 20:08:01 +02:00

2026-05-09-22b4a-form-a-class-instance.md

plan: 22b.4a fix — ail render has no --form flag

2026-05-09 22:19:32 +02:00

2026-05-09-22c-user-class-e2e.md

plan: 22c user-class e2e fixture

2026-05-09 22:37:26 +02:00

2026-05-09-skill-system-buildout.md

plan: skill system build-out — 11 tasks, spec→plan→implement→migrate→audit

2026-05-09 14:15:07 +02:00

2026-05-10-22-tidy-primitive-names.md

plan: 22-tidy.4 primitive-name-set consolidation

2026-05-10 04:09:57 +02:00

2026-05-10-22-tidy-prose-class-instance.md

plan: 22-tidy.6 Form-B prose printer arms for ClassDef + InstanceDef

2026-05-10 04:43:38 +02:00

2026-05-10-22-tidy-strict-clause-helper.md

plan: 22-tidy.7 strict-clause helper consolidation

2026-05-10 05:11:24 +02:00

2026-05-10-22-tidy-strict-duplicate-clauses.md

plan: 22-tidy.5 strict duplicate-clause detection

2026-05-10 04:25:11 +02:00

2026-05-10-23.1-ordering-and-prelude-skeleton.md

plan: 23.1 — Ordering ADT + prelude skeleton + auto-load

2026-05-10 21:10:27 +02:00

2026-05-10-23.2-eq-class-and-primitive-instances.md

plan: 23.2 Eq class + primitive instances (eq__Int/Bool/Str)

2026-05-10 21:47:49 +02:00

2026-05-10-23.3-ord-class-and-primitive-instances.md

plan: 23.3 Ord class + primitive instances (compare__Int/Bool/Str)

2026-05-10 22:57:54 +02:00

2026-05-10-architect-iron-law-extension.md

plan: architect-iron-law extension — sweep script + lockstep-checklist

2026-05-10 20:00:40 +02:00

2026-05-10-design-md-consolidation-1-history-anchors.md

plan: design-md-consolidation 1 (history anchors)

2026-05-10 11:38:12 +02:00

2026-05-10-design-md-consolidation-2-reverted-and-migration.md

plan: design-md-consolidation 2 (REVERTED + migration + correction-history + future speculations)

2026-05-10 12:22:30 +02:00

2026-05-10-design-md-consolidation-3-schema-sot-inversion.md

plan: design-md-consolidation 3 (schema SoT inversion + data-model hardening + drift test)

2026-05-10 12:42:35 +02:00

2026-05-10-design-md-consolidation-4-workflow-cleanup.md

plan: design-md-consolidation 4 (workflow / cross-reference cleanup — final sweep)

2026-05-10 13:03:01 +02:00

2026-05-10-env-construction-unify.md

plan: env-construction unify

2026-05-10 02:00:41 +02:00

2026-05-10-floats-1-schema.md

plan: floats iter 1 — schema layer (Literal::Float + canonical hex serde + primitive registration)

2026-05-10 14:26:17 +02:00

2026-05-10-floats-2-surface.md

plan: floats iter 2 — surface lex + parse + print (round-trip property)

2026-05-10 14:57:34 +02:00

2026-05-10-floats-3-typecheck.md

plan: floats iter 3 — typecheck + builtins (widen + install + Pattern::Lit::Float reject)

2026-05-10 15:20:09 +02:00

2026-05-10-floats-4-codegen.md

plan: floats iter 4 — codegen + runtime (Float lowering paths + E2E fixture)

2026-05-10 15:51:20 +02:00

2026-05-10-floats-5-prose-design.md

plan: floats iter 5 — prose + DESIGN.md + milestone close

2026-05-10 16:33:35 +02:00

2026-05-11-ct.1-validator-and-migration.md

plan: ct.1 canonical type names — validator + migration

2026-05-11 00:53:07 +02:00

2026-05-11-ct.2-typechecker-cleanup.md

plan: ct.2 typechecker cleanup

2026-05-11 08:55:48 +02:00

2026-05-11-ct.3-codegen-mono-cleanup.md

plan: ct.3 codegen + mono cleanup

2026-05-11 09:29:21 +02:00

2026-05-11-ct.4-milestone-close.md

plan: ct.4 milestone close

2026-05-11 09:46:11 +02:00