@githolon/dsl 0.72.0 → 0.72.1

package/dart/CHANGELOG.md

@@ -1,3 +1,31 @@
+## 0.48.1
+
+- **Fix: `NomosSession.watchPendingConflicts()` never emitted.** The session overrode every other
+  reactive read to register on the parent plane (which owns the message loop) but omitted this one —
+  a session-bound generated client's conflict stream registered on the session's own dead controller
+  registry and never delivered an event. Now delegates like `watch`/`watchById`/`watchActivity`.
+  Regression test: a session-level subscription must emit its first snapshot. (Reported by co2 with
+  the exact fix — thank you.)
+
+## 0.48.0
+
+- **Session-bound clients (architecture/session_bound_clients.md)** — generated clients now bind to
+  exactly ONE `NomosSession`: `XClient.bind(session)` async preflight factory (structural interface
+  compat, typed `DomainClientSessionMismatch` at construction), all dispatch through the session,
+  births infer the parent from the session (no loose parent strings), `engine.follow(NomosRef)`
+  mounts by ref, `NomosOfferOutcome.bornRefs`. The kernel's generic "no active installed law declares
+  domain 'x'" is wrapped into the context-rich `DomainNotInstalledForSession` (session identity, both
+  workspaces, active domain keys/hashes, the four possible causes).
+- Root-bridge generic writes (`offer`/`offerDirective`/`offerIntent`/`offerCreates`/`createWorkspace`)
+  are `@Deprecated` in app code — kept for CLI/admin tooling; the session-bound generated surface is
+  the path.
+- `NomosSession.pendingConflicts()` / `watchPendingConflicts()` — the maintained Surfaced-conflict
+  "decisions needed" read (derived, not drained).
+- Test harness: `resetWorkspaceCustody`, `seedWorkspaceFromDeployJson`, `assertDomainInstalled`,
+  `session.assertCompatible(XClient.interface)`.
+- Requires Nomos Cloud ≥ the 2026-07-11 deploy (wasm 72604ff7 — the Surfaced/captured-basis kernel)
+  and pairs with `@githolon/dsl` 0.72.0 codegen.
+
 ## 0.47.0
 
 - **Fix: `NomosBridge.createWorkspace` hardcoded `domain: "workspaces"`** in the underlying signed offer —

package/dart/lib/src/webview_bridge.dart

@@ -1986,6 +1986,9 @@ class NomosSession extends NomosBridge {
           Map<String, Object?> requirement,
           [String? session]) =>
       parent.watchCompatibility(requirement, session ?? workspace);
+  @override
+  Stream<List<dynamic>> watchPendingConflicts([String? session]) =>
+      parent.watchPendingConflicts(session ?? workspace);
 
   // Live snapshots / streams reflect the shared plane — read them off the parent's controllers.
   // compat/onLawChanged are LAW-scoped, so a session answers for ITS workspace (falling back to the

package/dart/pubspec.lock

@@ -191,7 +191,7 @@ packages:
       path: "../dart_types"
       relative: true
     source: path
-    version: "0.1.2"
+    version: "0.3.0"
   package_config:
     dependency: transitive
     description:

package/dart/pubspec.yaml

@@ -11,7 +11,7 @@ description: >-
   Nomos 2 Dart frontend types — the hand-written kernel wire types plus the
   code-generated per-domain aggregate + directive-payload types. (De)serializes
   the EXACT serde JSON the Rust kernel + projection produce/consume.
-version: 0.47.0
+version: 0.48.1
 
 environment:
   sdk: ^3.5.0
@@ -20,7 +20,7 @@ dependencies:
   # The pure-data core (wire types, offer codec, NomosReads, schema validation, error
   # info). nomos_client depends on and re-exports it, so existing imports are unchanged.
   # For local monorepo dev, pubspec_overrides.yaml points this at ../dart_types.
-  nomos_types: ^0.1.4
+  nomos_types: ^0.3.0
   json_schema: ^5.2.2
   crypto: ^3.0.0
 

package/dart/test/session_bound_test.dart

@@ -120,6 +120,40 @@ void main() {
     }
   }, timeout: const Timeout(Duration(minutes: 4)));
 
+  test(
+      'session.watchPendingConflicts() EMITS (the 0.48.0 regression: the session-level stream '
+      'registered on an object with no message loop and never emitted)', () async {
+    final skip = _missingPrereq();
+    if (skip != null) {
+      markTestSkipped(skip);
+      return;
+    }
+    final harness = await _harness();
+    try {
+      final session = harness.session(harness.workspace);
+      // Subscribe FIRST on the SESSION (the co2 shape: a session-bound generated client's
+      // conflict stream), then author any write so a watch tick fires. The broken delegation
+      // registered the sub on the session's own dead controller registry — the stream NEVER
+      // emitted, regardless of ticks. The fix delegates to the parent plane like every other
+      // reactive read; the first tick must deliver a snapshot (empty — no Surfaced law here).
+      final first = session.watchPendingConflicts().first;
+      final client = await HomeClient.bind(session, actor: _owner);
+      await client.birthEstateWorkspace(
+        payload: BirthEstateWorkspacePayload(
+          owner: _owner,
+          frameworkHash: harness.frameworkHash!,
+          lawHash: harness.lawHashes(harness.workspace).first,
+          bornAt: DateTime.now().toUtc().toIso8601String(),
+        ),
+      );
+      final rows = await first.timeout(const Duration(seconds: 30));
+      expect(rows, isEmpty,
+          reason: 'no Surfaced law in this fixture — the point is the stream EMITS at all');
+    } finally {
+      await harness.dispose();
+    }
+  }, timeout: const Timeout(Duration(minutes: 4)));
+
   test('bind on a deliberately WRONG session throws DomainClientSessionMismatch with every field',
       () async {
     final skip = _missingPrereq();

package/dart_types/CHANGELOG.md

@@ -1,3 +1,12 @@
+## 0.3.0
+
+- `SurfacedValue<T>` — the typed read surface for `Surfaced(inner)` merge-driver fields: sealed
+  `SurfacedResolved<T>` / `SurfacedPending<T>` with `fromJson` envelope detection, `isPending`,
+  `valueOrNull`, and `SurfacedObservation<T> {value, occurredAt, author?}` (nullable author — the
+  writer principal captured at the apply lane). `surfacedEnvelopeKey`/`surfacedAuthorKey` constants.
+- `PendingConflictRow` — the workspace-wide "decisions needed" row served by the maintained
+  `pendingConflicts` read: `{aggregateType, aggregateId, field, observations}`.
+
 ## 0.2.0
 
 - `NomosPrincipal` / `NomosDeviceSecret` — branded identity types for the generated cross-workspace birth

package/dart_types/pubspec.yaml

@@ -11,7 +11,7 @@ description: >-
   Pure kernel wire/data types for Nomos Dart frontends — no transport, no bridge,
   no runtime. The hand-written serde-JSON-compatible types plus the offer codec,
   reactive read engine, schema validation, and data-only error/trace types.
-version: 0.2.0
+version: 0.3.0
 
 environment:
   sdk: ^3.5.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@githolon/dsl",
-  "version": "0.72.0",
+  "version": "0.72.1",
   "type": "module",
   "description": "Nomos 2 domain-authoring DSL: aggregates + directives in TS, executed and encoded to the Rust kernel's wire shapes.",
   "license": "SEE LICENSE IN LICENSE.md",

package/src/compile_package_main.ts

@@ -898,12 +898,16 @@ const DART_TYPES_IMPORT = `import 'package:nomos_types/nomos_types.dart';`;
 /** Version constraints the scaffolded pubspecs pin — move together with the Dart packages' releases.
  *  Caret on 0.x is EXACT-MINOR (`^0.45.0` = `<0.46.0`), so these must track the CURRENT release, not
  *  just the floor generated code needs — a lagging pin forces tenants into dependency_overrides. */
-// 0.1.4: custody-lifecycle types (CustodyBreakPolicy et al).
-// 0.2.0: branded birth identities (NomosPrincipal/NomosDeviceSecret) — the generated cross-workspace
-//        `.births()` methods type actor/authorSecret as these, so a layered package needs nomos_types 0.2.0.
-const NOMOS_TYPES_DEP = "^0.2.0";
-// 0.46.0: custody lifecycle on NomosBridge/NomosSession (onCustodyBreak/custodyStatus/salvage lanes).
-const NOMOS_CLIENT_DEP = "^0.46.0";
+// 0.3.0: SurfacedValue<T>/SurfacedObservation/PendingConflictRow — generated Surfaced-field typing +
+//        the pendingConflicts read rows.
+const NOMOS_TYPES_DEP = "^0.3.0";
+// 0.48.x: session-bound clients (XClient.bind/NomosClientInterface/DomainClientSessionMismatch/
+//         DomainNotInstalledForSession, engine.follow, pendingConflicts lanes) — the generated client
+//         REQUIRES this surface. 0.48.1 fixes NomosSession.watchPendingConflicts delegation.
+const NOMOS_CLIENT_DEP = "^0.48.1";
+// DRIFT TRIPWIRE: pubspec_pins.test.ts asserts these equal the CURRENT versions in dsl/dart/pubspec.yaml
+// and dsl/dart_types/pubspec.yaml — a Dart release without this bump fails the suite, so tenants never
+// land back in dependency_overrides (the exact co2 report this closes, third occurrence).
 
 const isPubPackageName = (s: string): boolean => /^[a-z][a-z0-9_]*$/.test(s);