docs: update STATE.scm and CHANGELOG.md for parser extensions (2026-03-29)

STATE.scm: last-session updated, 9 new completed parser items.
CHANGELOG.md: Added/Fixed sections for all grammar changes.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

.machine_readable/STATE.scm

@@ -1,9 +1,9 @@
 ;; SPDX-License-Identifier: PMPL-1.0-or-later
-;; Ephapax project state — updated 2026-03-28
+;; Ephapax project state — updated 2026-03-29
 (state
   (metadata
     (version "0.1.0")
-    (last-session "2026-03-28")
+    (last-session "2026-03-29")
     (agent "claude-opus-4.6"))
 
   (project-context
@@ -29,6 +29,15 @@
         ("effect-type-checking" . "done")
         ("parser-generics-imports" . "done")
         ("parser-perform-handle" . "done")
+        ("parser-qualified-modules" . "done")
+        ("parser-haskell-comments" . "done")
+        ("parser-linear-affine-modifiers" . "done")
+        ("parser-const-decl" . "done")
+        ("parser-named-record-types" . "done")
+        ("parser-arrow-return-syntax" . "done")
+        ("parser-region-colon-syntax" . "done")
+        ("parser-keyword-word-boundary" . "done")
+        ("ast-decl-const-variant" . "done")
         ("formal-flags-only-increase" . "Qed")
         ("formal-ctx-transfer" . "20/24-proved-4-need-consumption-tracking")
         ("formal-subst-lemma" . "needs-ctx-transfer")

CHANGELOG.md

@@ -5,6 +5,20 @@ All notable changes to Ephapax are documented here.
 
 ## [Unreleased]
 
+### Added
+- `module Qualified.Name` declarations (dotted module paths)
+- `--` Haskell-style line comments (alongside existing `//` and `/* */`)
+- Qualified names in imports: `import Foo.Bar.Baz`
+- `linear type` and `affine type` modifiers on type definitions
+- `const_decl`: module-level `let NAME = expr` bindings
+- `named_record_type_def`: `Type = Constructor { field: Type, ... }` syntax
+- `->` return type syntax (alongside existing `:`)
+- `region name:` colon syntax (alongside `region name { }`)
+- `Decl::Const` variant in the AST for module-level constants
+
+### Fixed
+- Keyword word-boundary fix: identifiers like `init_result` no longer blocked by `in` keyword match
+
 ### Changed
 - Parser hardened: 80 production unwraps eliminated, proper ParseError propagation
 - License headers: 13 files migrated from EUPL-1.2 to PMPL-1.0-or-later