This website requires JavaScript.
7c95a69780
floats iter 1.3: bit-stability tests for Literal::Float
Brummel
2026-05-10 14:45:34 +02:00
93bae2d02a
floats iter 1.2 fixup: replace iter-N comment with durable rationale for explicit assertions
Brummel
2026-05-10 14:44:14 +02:00
aa5b88e8d4
floats iter 1.2: register Float as a primitive type name
Brummel
2026-05-10 14:42:23 +02:00
93fe2da33c
floats iter 1.1 fixup: trim form_a.md FLOAT bullet to match neighbour style
Brummel
2026-05-10 14:40:16 +02:00
ec2811194b
floats iter 1.1: Literal::Float variant + canonical hex serde + drift-test anchors
Brummel
2026-05-10 14:36:08 +02:00
cdc9d64169
plan: floats iter 1 — schema layer (Literal::Float + canonical hex serde + primitive registration)
Brummel
2026-05-10 14:26:17 +02:00
e37366f8dd
spec: floats LLVM-IR fixes — fcmp une for !=, synth.rs sites, container-slot precision
Brummel
2026-05-10 14:14:54 +02:00
f7e2c3ee7a
spec: floats — operators polymorphic over {Int, Float} + NaN/Inf constants + is_nan
Brummel
2026-05-10 14:08:35 +02:00
406bde0efc
spec: floats milestone — Float as IEEE-754 binary64 primitive
Brummel
2026-05-10 13:54:55 +02:00
b523ceb18d
design-md-consolidation: audit close — JOURNAL entry + 3 follow-up items in roadmap (rustdoc sweep, architect-iron-law extension, drift-test fidelity widening)
Brummel
2026-05-10 13:21:43 +02:00
63df0c085c
design-md-consolidation audit-tidy: close 3 architect drift items (Def kinds class/instance + Type::Forall constraints + letrec correction)
Brummel
2026-05-10 13:20:40 +02:00
c6e433321e
design-md-consolidation 4: journal entry + milestone close + roadmap mark done
Brummel
2026-05-10 13:14:51 +02:00
e68d927e5a
design-md-consolidation 4.4 fixup: drop 'Sharpened later the same day' temporal anchor + supplementary 'see closure conversion in JOURNAL' pointer
Brummel
2026-05-10 13:10:45 +02:00
49fc6738ba
design-md-consolidation 4.4: cross-ref audit — JOURNAL queue → roadmap.md; bench pointers retained as binding-evidence anchors
Brummel
2026-05-10 13:09:16 +02:00
1605be75cb
design-md-consolidation 4.3: drop 'Recently lifted gates' history paragraph from §What-is-not-yet-supported
Brummel
2026-05-10 13:07:38 +02:00
127a34a21b
design-md-consolidation 4.2: strip ailang-docwriter agent workflow detail from Verification section; rule survives
Brummel
2026-05-10 13:06:10 +02:00
96270ced35
design-md-consolidation 4.1: fix Project-ecosystem stale agents/ path; expand Docs bullet to name roadmap.md + specs/ + plans/
Brummel
2026-05-10 13:04:03 +02:00
9185014022
plan: design-md-consolidation 4 (workflow / cross-reference cleanup — final sweep)
Brummel
2026-05-10 13:03:01 +02:00
af2064af6e
design-md-consolidation 3: journal entry + roadmap sweep-3 closed
Brummel
2026-05-10 12:58:54 +02:00
e21f264b93
design-md-consolidation 3.4 nit: drop task-ref doc-comment prefix + align def-kind list with lowercase tags
Brummel
2026-05-10 12:57:11 +02:00
934a6e18e6
design-md-consolidation 3.4 fixup: align DESIGN.md ClassDef/InstanceDef JSON tags with ast.rs lowercase serde rename
Brummel
2026-05-10 12:53:36 +02:00
4651fed5b7
design-md-consolidation 3.4: add design_schema_drift.rs — exhaustive-match drift test for ast.rs vs DESIGN.md §Data-model
Brummel
2026-05-10 12:51:39 +02:00
e5d1c1e33b
design-md-consolidation 3.3: ast.rs doc-comment names DESIGN.md §Data-model as canonical schema, drift test as enforcement
Brummel
2026-05-10 12:48:21 +02:00
ac16100319
design-md-consolidation 3.2: invert §Data-model SoT — DESIGN.md canonical, ast.rs projection, drift test enforces
Brummel
2026-05-10 12:46:15 +02:00
a100389c2f
design-md-consolidation 3.1: remove 2 Rust code blocks from Decision 10 (Type::Fn + Suppress) — schema lives in §Data-model
Brummel
2026-05-10 12:43:49 +02:00
500aafb307
plan: design-md-consolidation 3 (schema SoT inversion + data-model hardening + drift test)
Brummel
2026-05-10 12:42:35 +02:00
a5a101a010
design-md-consolidation 2: journal entry + roadmap sweep-2 closed
Brummel
2026-05-10 12:37:21 +02:00
4f47dbfeb1
design-md-consolidation 2.5: future-iter speculations — remove aspirations, tighten binding prohibitions
Brummel
2026-05-10 12:34:21 +02:00
774886bb37
design-md-consolidation 2.4: condense Decision 11 mono-vs-vdisp correction history to state-only rationale
Brummel
2026-05-10 12:31:37 +02:00
38d357d58a
design-md-consolidation 2.3: delete Decision 10 §Migration plan (7-point completed-iter list)
Brummel
2026-05-10 12:29:54 +02:00
2539b0e728
design-md-consolidation 2.2: condense Decision 9 narrative-of-changes opener + drop pre-Decision-9 history paragraphs
Brummel
2026-05-10 12:27:51 +02:00
86fd5dec0b
design-md-consolidation 2.1 fixup: replace orphaned Decision 7 cross-reference at DESIGN.md:1141-1144
Brummel
2026-05-10 12:25:26 +02:00
a3406394c2
design-md-consolidation 2.1: delete Decision 7 (Term::If REVERTED block)
Brummel
2026-05-10 12:23:49 +02:00
c352de8117
plan: design-md-consolidation 2 (REVERTED + migration + correction-history + future speculations)
Brummel
2026-05-10 12:22:30 +02:00
7863f73b84
design-md-consolidation 1: journal entry + roadmap sweep-1 closed
Brummel
2026-05-10 12:17:35 +02:00
172b974c9a
design-md-consolidation 1.5 fixup: untangle line 863 run-on, deduplicate JOURNAL attribution, idiomatic 'larger still'
Brummel
2026-05-10 12:14:56 +02:00
44fe4384fc
design-md-consolidation 1.5: condense historical bench data-points in DESIGN.md
Brummel
2026-05-10 12:11:40 +02:00
152e4efa28
design-md-consolidation 1.4 nit: deduplicate 'fixture' word in user-class parenthetical
Brummel
2026-05-10 12:09:36 +02:00
613d4d8c0f
design-md-consolidation 1.4 fixup: strip bare iter-id references (~16 sites)
Brummel
2026-05-10 12:07:22 +02:00
008b7924e3
design-md-consolidation 1.4 fixup: strip non-Iter-N iter anchors (14b sketch, pre-19b, pre-22a)
Brummel
2026-05-10 12:00:03 +02:00
ba94d7240f
design-md-consolidation 1.4: drop Iter-N tags from DESIGN.md
Brummel
2026-05-10 11:58:22 +02:00
41c834008f
roadmap: drop per-task progress count from Sweep 1 entry
Brummel
2026-05-10 11:51:48 +02:00
ecc00fed8a
roadmap: introduce docs/roadmap.md as forward queue
Brummel
2026-05-10 11:49:44 +02:00
18fc014377
design-md-consolidation 1.3 fixup: repair two date-strip quality issues
Brummel
2026-05-10 11:48:39 +02:00
4b10ee4a5f
design-md-consolidation 1.3: drop date anchors from DESIGN.md
Brummel
2026-05-10 11:46:14 +02:00
ef8c983720
design-md-consolidation 1.2 fixup: trim trailing whitespace on DESIGN.md:33
Brummel
2026-05-10 11:43:41 +02:00
e6821d873d
design-md-consolidation 1.2: drop Family-N tags from DESIGN.md
Brummel
2026-05-10 11:42:07 +02:00
f2c4b400a8
design-md-consolidation 1.1: drop **Status:** markers from DESIGN.md
Brummel
2026-05-10 11:40:03 +02:00
b2a0b05215
plan: design-md-consolidation 1 (history anchors)
Brummel
2026-05-10 11:38:12 +02:00
aa02ea1d2b
spec: design-md-consolidation — state-only DESIGN.md, four sweeps
Brummel
2026-05-10 11:33:19 +02:00
8a09d52e8f
Fix typo in CLAUDE.md: "Source is" -> "Source of truth is"
Brummel
2026-05-10 11:14:18 +02:00
7e373a8eab
CLAUDE.md: refocus opening on the design goal, drop skill-system duplication
Brummel
2026-05-10 11:12:49 +02:00
64b0841c5a
skills: deduplicate single-agent SKILL.md files (debug, fieldtest)
Brummel
2026-05-10 10:53:53 +02:00
bb6b52e7c3
skills: harmonise fieldtest example paths to examples/fieldtest/
Brummel
2026-05-10 10:41:11 +02:00
7cc9613810
skills: add fieldtest — LLM-usability gate after audit
Brummel
2026-05-10 10:39:47 +02:00
5676a99bfa
iter 22-tidy.7: journal entry
Brummel
2026-05-10 05:18:46 +02:00
dafdf17f72
iter 22-tidy.7: extract duplicate_clause_err helper, retire 17 inline blocks
Brummel
2026-05-10 05:14:53 +02:00
bf8ac31d63
plan: 22-tidy.7 strict-clause helper consolidation
Brummel
2026-05-10 05:11:24 +02:00
14b3dc4a63
iter 22-tidy.6: journal entry, milestone-22 carried debt empty
Brummel
2026-05-10 05:01:39 +02:00
51011511b4
iter 22-tidy.6.2: write_fn_def renders forall class constraints
Brummel
2026-05-10 04:58:01 +02:00
788c9808dd
iter 22-tidy.6.1 fixup: cover abstract-method + instance-override branches; doc + fallback comments
Brummel
2026-05-10 04:54:22 +02:00
d1c992d49a
iter 22-tidy.6.1: write_class_def + write_instance_def — full Form-B projection
Brummel
2026-05-10 04:47:50 +02:00
e7af79183d
plan: 22-tidy.6 Form-B prose printer arms for ClassDef + InstanceDef
Brummel
2026-05-10 04:43:38 +02:00
204c702fcf
iter 22-tidy.5: journal entry
Brummel
2026-05-10 04:38:51 +02:00
4cb69f85f7
iter 22-tidy.5.3: parse_data rejects duplicate doc clause
Brummel
2026-05-10 04:35:49 +02:00
9097b88625
iter 22-tidy.5.2: drop transient iter-tags from parse_fn duplicate-clause tests
Brummel
2026-05-10 04:33:59 +02:00
3fd17827bf
iter 22-tidy.5.2: parse_const rejects duplicate doc/type/body clauses
Brummel
2026-05-10 04:31:08 +02:00
9592478971
iter 22-tidy.5.1: parse_fn rejects duplicate doc/type/params/body clauses
Brummel
2026-05-10 04:27:19 +02:00
2506180023
plan: 22-tidy.5 strict duplicate-clause detection
Brummel
2026-05-10 04:25:11 +02:00
e37d099edb
iter 22-tidy.4: journal entry
Brummel
2026-05-10 04:21:18 +02:00
557bf57cdb
iter 22-tidy.4: mono::primitive_surface_name delegates to ailang-core
Brummel
2026-05-10 04:18:46 +02:00
5fd95e4e9f
iter 22-tidy.4: route 4 matches! sites through is_primitive_name
Brummel
2026-05-10 04:15:47 +02:00
9523a1cd63
iter 22-tidy.4: pin lockstep invariant + tighten module doc
Brummel
2026-05-10 04:13:41 +02:00
bbfadb2d72
iter 22-tidy.4: ailang-core::primitives — single home for the primitive-name set
Brummel
2026-05-10 04:11:29 +02:00
0fbc1f72f1
plan: 22-tidy.4 primitive-name-set consolidation
Brummel
2026-05-10 04:09:57 +02:00
c3fd1c08a3
iter env-unify.audit: tidy stale Env docs, pin-test docstring; queue types/ctor_index shape
Brummel
2026-05-10 02:36:27 +02:00
e414144d48
iter env-unify: journal entry, milestone close
Brummel
2026-05-10 02:30:34 +02:00
d7e333fdf7
iter env-unify.2: drop redundant overlay comments
Brummel
2026-05-10 02:28:54 +02:00
2ab9d77113
iter env-unify.2: check_in_workspace consumes build_check_env
Brummel
2026-05-10 02:26:24 +02:00
92b94afa2a
iter env-unify.1: rustdoc fixup (re-anchor check_in_workspace doc, drop transient task tag)
Brummel
2026-05-10 02:19:24 +02:00
d6870d7a62
iter env-unify.1: extract build_check_env, mono uses it
Brummel
2026-05-10 02:16:21 +02:00
cd08f53315
test: fix env-pin globals assertion (builtins seed operators workspace-flat)
Brummel
2026-05-10 02:14:38 +02:00
42a7ed7673
test: clean red signal for env-construction pin (inline module_types)
Brummel
2026-05-10 02:06:46 +02:00
d7706dc3ed
test: red for env-construction drift-shape pin
Brummel
2026-05-10 02:03:09 +02:00
08abfdf791
plan: env-construction unify
Brummel
2026-05-10 02:00:41 +02:00
1d4a6b4231
spec: env-construction unify — single source of truth for Env shape
Brummel
2026-05-10 01:47:56 +02:00
9db47d2f4e
journal: audit — lib.rs gap sites defensive, env.imports gap was the fifth
Brummel
2026-05-10 01:24:18 +02:00
a9c685ded8
fix: mono pass seeds env.imports for qualified cross-module refs in class workspace
Brummel
2026-05-10 01:23:07 +02:00
2bf827f600
test: red for mono-pass unknown module prefix on qualified xmod reference in class workspace
Brummel
2026-05-10 01:19:45 +02:00
ca8ffe8dc3
journal: bug fix — mono pass env.globals seeding
Brummel
2026-05-10 01:12:11 +02:00
13b36ccb0f
fix: mono pass seeds env.globals for recursive top-level fn in class workspace
Brummel
2026-05-10 01:10:31 +02:00
3b0bcf3f65
test: red for mono-pass unknown identifier on recursive fn in class workspace
Brummel
2026-05-10 01:06:18 +02:00
4cacfcbdac
bench: mono-vs-vdisp micro-benchmark + revised Decision 11 rationale
Brummel
2026-05-10 01:03:21 +02:00
105ad3fe80
iter 22-tidy: journal entry — milestone 22 closed
Brummel
2026-05-09 22:52:49 +02:00
c8fc33fb86
iter 22-tidy.3: prose-lib — drop 22b.4 reference from class/instance placeholder
Brummel
2026-05-09 22:52:17 +02:00
cc3f28c053
iter 22-tidy.2: spec — components table reflects 22b.4a/b split + 22c shipped
Brummel
2026-05-09 22:51:49 +02:00
e6fe2dfd81
iter 22-tidy.1: DESIGN.md — reconcile Decision 11 with milestone-22 outcome (no Prelude, '__' separator)
Brummel
2026-05-09 22:51:17 +02:00
a98da81e32
plan: 22-tidy DESIGN.md and spec drift after milestone-22 close
Brummel
2026-05-09 22:50:25 +02:00
ea30b6815d
iter 22c: journal entry — milestone-22 acceptance fixture + mono pass user-ADT fix
Brummel
2026-05-09 22:45:02 +02:00
5c5180fc48
fix: mono pass seeds env.types and env.ctor_index for user ADTs
Brummel
2026-05-09 22:43:54 +02:00
Brummel