@githolon/dsl 0.76.0 → 0.77.0

package/dart/test/watch_after_offer_stall_test.dart

@@ -0,0 +1,98 @@
+// REGRESSION (co2, 0.76 offer-ack decoupling): the generated watch must emit the locally
+// committed projection promptly after an offer's acknowledgement — with NO subsequent bridge op.
+// co2's Flutter AppSim (NodeRunnerTransport → node-entry → realm sessions → watchById → Riverpod)
+// saw the post-offer tick NEVER arrive after upgrading to @githolon/client 0.76 / nomos_client 0.52.
+@TestOn('vm')
+library;
+
+import 'dart:async';
+import 'dart:io';
+
+import 'package:nomos_client/nomos_headless.dart';
+import 'package:test/test.dart';
+
+String get _root => '${Directory.current.path}/../..';
+String get _repoEntry => '$_root/cloud/web-client/runner/node-entry.mjs';
+String get _gbDeploy => '$_root/examples/guestbook/build/guestbook.deploy.json';
+String get _runtimeDir =>
+    Platform.environment['NOMOS_DART_RUNTIME'] ??
+    '${Platform.environment['HOME'] ?? ''}/.holon/runtime';
+
+String? _missingPrereq() {
+  if (!File(_repoEntry).existsSync()) return 'in-repo runner not found at $_repoEntry';
+  if (!File(_gbDeploy).existsSync()) {
+    return 'missing $_gbDeploy — compile it (cd examples/guestbook && npx nomos-compile)';
+  }
+  if (!File('$_runtimeDir/holon.wasm').existsSync() ||
+      !File('$_runtimeDir/packages.json').existsSync()) {
+    return 'warm ~/.holon/runtime first (run any `githolon` command once)';
+  }
+  return null;
+}
+
+void main() {
+  test('watch emits the post-offer projection under COMPLETE SILENCE (no follow-up ops)',
+      timeout: const Timeout(Duration(minutes: 4)), () async {
+    final missing = _missingPrereq();
+    if (missing != null) {
+      // ignore: avoid_print
+      print('SKIP: $missing');
+      return;
+    }
+    final harness = await NomosTestHarness.ephemeral(
+      deployJsonPaths: [_gbDeploy],
+      workspace: 'stall-ws',
+      nodeEntry: _repoEntry,
+      resolveFrom: '$_root/cloud/web-client',
+      runtimeDir: _runtimeDir,
+      onDiagnostic: (l) {}, // keep output small
+    );
+    addTearDown(harness.dispose);
+    final s = harness.bridge;
+
+    // 1. create one entry, find its id.
+    await s.offerDirective(
+        domain: 'guestbook',
+        directiveId: 'signGuestbook',
+        payload: {
+          'author': 'ada',
+          'message': 'hi',
+          'mood': 'delighted',
+          'signedAt': DateTime.now().toUtc().toIso8601String(),
+        });
+    final rows = await s.query('entriesByAuthor', {'author': 'ada'});
+    expect(rows.length, 1);
+    final id = (rows.first as Map)['id'] as String;
+
+    // 2. subscribe (the app's watchById lane) and wait for the initial tick.
+    final ticks = <List<dynamic>>[];
+    final gotInitial = Completer<void>();
+    final gotMutated = Completer<void>();
+    final sub = s.watchById(id).listen((r) {
+      ticks.add(r);
+      if (!gotInitial.isCompleted) {
+        gotInitial.complete();
+        return;
+      }
+      final tags = ((r.first as Map)['data'] as Map)['tags'];
+      if (tags is List && tags.contains('t-after') && !gotMutated.isCompleted) {
+        gotMutated.complete();
+      }
+    });
+    addTearDown(sub.cancel);
+    await gotInitial.future.timeout(const Duration(seconds: 20),
+        onTimeout: () => throw StateError('initial watch tick never arrived'));
+
+    // 3. THE TEST — mutate the watched row, then COMPLETE SILENCE: no further bridge ops.
+    //    The post-ack deferred nudge (0.76) must still deliver the tick.
+    await s.offerDirective(
+        domain: 'guestbook',
+        directiveId: 'tagEntry',
+        payload: {'entryId': id, 'tags': ['t-after']});
+    await gotMutated.future.timeout(const Duration(seconds: 8), onTimeout: () {
+      throw StateError(
+          'REGRESSION: the post-offer watch tick never arrived under silence '
+          '(ticks seen: ${ticks.length})');
+    });
+  });
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@githolon/dsl",
-  "version": "0.76.0",
+  "version": "0.77.0",
   "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",