Update session docs for 1.14.2 release and State-as-Branch feature

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: reid-spencer

CLAUDE.md

@@ -750,7 +750,7 @@ Items below are NOT duplicated elsewhere in this file.
 34. **TatSu 5.17.0 is broken** — Pin `TatSu>=5.12.0,<5.17.0`
 35. **No `inline` on Contents extensions** — ScalaDoc 3.7.4
     crashes. Filed: scala/scala3#25306
-36. **Current release is 1.14.0** — Scope-based parsing API
+36. **Current release is 1.14.2** — Validation + parser fixes
 37. **PrettifyPass multi-file mode** — `flatten=false` (default)
     preserves include/import structure. `-s true` for single file
 38. **BASTImport in HierarchyPass** — `openBASTImport`/

NOTEBOOK.md

@@ -15,7 +15,34 @@ to the task file and note completion in this notebook.
 
 ## Current Status
 
-**Last Updated**: March 6, 2026
+**Last Updated**: March 9, 2026
+
+### Release 1.14.2 Published (Mar 9, 2026)
+
+Bugfix patch for module parser:
+- Module parser now accepts `???` (undefined) body, matching
+  every other scope parser (domain, context, entity, etc.)
+- Previously `module X is { ??? }` caused a parse error because
+  `moduleContents` required `.rep(1)` with no `undefined`
+  alternative
+
+### Release 1.14.1 Published (Mar 9, 2026)
+
+Bugfix patch for validation issues reported by Synapify:
+- Added `faicon`, `external`, `namespace`, `package` to the
+  `RecognizedOptions` registry — `option faicon("...")` no
+  longer produces "not a recognized RIDDL option"
+- Fixed Term definition length check: now sums character counts
+  across `LiteralString` entries instead of checking sequence
+  size (`t.definition.map(_.s.length).sum` vs `t.definition.length`)
+- Removed 10 duplicate `checkMetadata` calls on VitalDefinitions
+  (Function, Entity, Projector, Repository, Adaptor, Streamlet,
+  Domain, Saga, Context, Epic) — these were already called via
+  `checkContainer` → `checkDefinition` → `checkMetadata`
+- Added deprecation framework for option renames: `option
+  package(...)` now emits a style warning directing users to
+  use `namespace` instead (backward compatible through 1.x)
+- Added `KnownOption.namespace` to language module KnownOptions
 
 ### Release 1.14.0 Published (Mar 6, 2026)