From 69e738d6e6fd4c98821d42f1fe5776801e7f94b8 Mon Sep 17 00:00:00 2001 From: Brummel Date: Tue, 2 Jun 2026 11:12:22 +0200 Subject: [PATCH] docs(design): close the sma_demo module paren in models/0007 (refs #7) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Verifying the previous commit's surface-syntax fix with `ail parse` (the whitepaper's code blocks are unfenced/untagged, so no spec validation ever parsed them) surfaced a fourth, pre-existing drift the line-by-line signature fix had missed: the §sma_demo `(module …)` was short one closing paren and never balanced — it could not have parsed as written, independent of the mode/con-wrapper drift. Added the missing `)`. With it, both worked-example modules now parse clean: - §sma_demo → `ail parse` ok (4.4 KB JSON) - §series → `ail parse` ok `ail parse` resolves no names, so this verifies surface syntax only, which is the intended scope. The §series listing still leans on kernel-tier polymorphism that `ail check` rejects today; its full compile-verification stays with the pending Series milestone per spec 0059, exactly as the prior commit stated. --- design/models/0007-kernel-extensions.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/design/models/0007-kernel-extensions.md b/design/models/0007-kernel-extensions.md index 922cd43..0abc086 100644 --- a/design/models/0007-kernel-extensions.md +++ b/design/models/0007-kernel-extensions.md @@ -105,7 +105,7 @@ moving average over a stream of float values, window size 3": (term-ctor FloatList FCons 8.0 (term-ctor FloatList FCons 6.0 (term-ctor FloatList FCons 2.0 - (term-ctor FloatList FNil))))))))))) + (term-ctor FloatList FNil)))))))))))) ``` Four constructs in this program are not in today's AILang. Each