@githolon/dsl 0.108.7 → 0.110.0

package/dart/test/vo_read_typing_test.dart

@@ -1,131 +0,0 @@
-// RUNTIME PROOF (task #27) — read-side VO typing end-to-end. Install a REAL VO-bearing law
-// (nested VO + map-of-VO) into a fresh LOCAL holon, write one create through the real engine,
-// then read it back three ways — declared query, by-id, and a WATCH stream — parsing each
-// through the GENERATED read model and asserting TYPED nested + map-of-VO access
-// (`site.location!.point!.coordinates`, `site.rooms['a']!.address!.city`). No cloud, no network.
-//
-// Prereqs (skipped-with-reason when absent, so CI stays green): `node` on PATH; the in-repo
-// runner; a warm `~/.holon/runtime`; and the compiled fixture deploy.json + generated Dart
-// (`cd bench/scale/fixtures/vo-read-typing && npx nomos-compile`).
-@TestOn('vm')
-library;
-
-import 'dart:io';
-
-import 'package:nomos_client/src/nms_conformance_runtime.dart';
-import 'package:test/test.dart';
-
-// The fixture's GENERATED Dart read models (support: "package" → imports package:nomos_client).
-import '../../../bench/scale/fixtures/vo-read-typing/build/dart/src/generated/estate.dart';
-
-String get _root => '${Directory.current.path}/../..';
-String get _repoEntry => '$_root/cloud/web-client/runner/node-entry.ts';
-String get _deployJson =>
-    '$_root/bench/scale/fixtures/vo-read-typing/build/vo-read-typing.law.usdz';
-String get _runtimeDir =>
-    Platform.environment['NOMOS_DART_RUNTIME'] ??
-    Platform.environment['NOMOS_OFFLINE_RUNTIME'] ??
-    '${Platform.environment['HOME'] ?? ''}/.holon/runtime';
-
-String? _missingPrereq() {
-  if (!File(_repoEntry).existsSync())
-    return 'in-repo runner not found at $_repoEntry';
-  if (!File(_deployJson).existsSync()) {
-    return 'compile the fixture: cd bench/scale/fixtures/vo-read-typing && npx nomos-compile';
-  }
-  if (!File('$_runtimeDir/holon-testmint.wasm').existsSync() ||
-      !File('$_runtimeDir/bootstrap.law.usdz').existsSync() ||
-      !File('$_runtimeDir/nomos.law.usdz').existsSync()) {
-    return 'warm ~/.holon/runtime first (run any `githolon` command once)';
-  }
-  return null;
-}
-
-void main() {
-  test(
-      'OFFLINE: nested VO + map-of-VO read back TYPED via query, by-id, and watch',
-      () async {
-    final skip = _missingPrereq();
-    if (skip != null) {
-      markTestSkipped(skip);
-      return;
-    }
-    final harness = await NomosTestHarness.ephemeral(
-      lawUsdzPaths: [_deployJson],
-      nodeEntry: _repoEntry,
-      runtimeDir: _runtimeDir,
-      registerTearDown: addTearDown,
-    );
-
-    // Author one Site through the REAL law: a nested VO `location` + a map-of-VO `rooms`.
-    final outcome = await harness.bridge.offerCreates(
-      domain: 'estate',
-      directiveId: 'placeSite',
-      payload: {
-        'name': 'HQ',
-        'location': {
-          'address': {'streetAddress': '1 High St', 'city': 'Leeds'},
-          'point': {
-            'type': 'Point',
-            'coordinates': [-1.55, 53.8]
-          },
-        },
-        'rooms': {
-          'atrium': {
-            'address': {'streetAddress': '1 High St', 'city': 'Leeds'},
-            'point': {
-              'type': 'Point',
-              'coordinates': [-1.5, 53.79]
-            },
-          },
-        },
-      },
-    );
-    expect(outcome.created, hasLength(1));
-    // Deliberately raw framework-mechanism probe: generated tenant applications retain the typed
-    // NomosRef<Site>; this test exercises queryById/watchById beneath that sealed surface.
-    final siteId = outcome.created.single.id;
-
-    // ── (1) declared query → typed Site, typed nested VO + typed map-of-VO ──
-    final qRows = await harness.bridge.query('sitesByName', {'name': 'HQ'});
-    expect(qRows, hasLength(1));
-    final fromQuery = Site.fromJson(
-        (qRows.first['data'] as Map).cast<String, dynamic>(),
-        (qRows.first['id'] ?? '').toString());
-
-    expect(fromQuery.name, 'HQ');
-    // Typed nested VO access — no map indexing, no casts.
-    expect(fromQuery.location, isA<SiteLocation>());
-    expect(fromQuery.location!.point, isA<GeoPoint>());
-    expect(fromQuery.location!.point!.coordinates, [-1.55, 53.8]);
-    expect(fromQuery.location!.address!.city, 'Leeds');
-    // Typed map-of-VO access: rooms is Map<String, SiteLocation>, NOT a raw map.
-    expect(fromQuery.rooms, isA<Map<String, SiteLocation>>());
-    expect(fromQuery.rooms['atrium'], isA<SiteLocation>());
-    expect(fromQuery.rooms['atrium']!.point!.coordinates, [-1.5, 53.79]);
-    expect(fromQuery.rooms['atrium']!.address!.city, 'Leeds');
-
-    // ── (2) by-id read → same typed shape ──
-    final byIdRows = await harness.bridge.queryById(siteId);
-    expect(byIdRows, hasLength(1));
-    final fromById = Site.fromJson(
-        (byIdRows.first['data'] as Map).cast<String, dynamic>(),
-        (byIdRows.first['id'] ?? '').toString());
-    expect(fromById.location!.point!.coordinates, [-1.55, 53.8]);
-    expect(fromById.rooms['atrium']!.point!.coordinates, [-1.5, 53.79]);
-
-    // ── (3) watch stream → typed rows, identical decode ──
-    final watched = await harness.bridge
-        .watchById(siteId)
-        .map((rows) => rows
-            .map((r) => Site.fromJson(
-                (r['data'] as Map).cast<String, dynamic>(),
-                (r['id'] ?? '').toString()))
-            .toList())
-        .firstWhere((rows) => rows.isNotEmpty);
-    expect(watched, hasLength(1));
-    final fromWatch = watched.single;
-    expect(fromWatch.location!.point!.coordinates, [-1.55, 53.8]);
-    expect(fromWatch.rooms['atrium']!.address!.city, 'Leeds');
-  }, timeout: const Timeout(Duration(minutes: 2)));
-}

package/dart/test/watch_after_offer_stall_test.dart

@@ -1,100 +0,0 @@
-// 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/src/nms_conformance_runtime.dart';
-import 'package:test/test.dart';
-
-String get _root => '${Directory.current.path}/../..';
-String get _repoEntry => '$_root/cloud/web-client/runner/node-entry.ts';
-String get _gbDeploy => '$_root/examples/guestbook/build/guestbook.law.usdz';
-String get _runtimeDir =>
-    Platform.environment['NOMOS_DART_RUNTIME'] ??
-    Platform.environment['NOMOS_OFFLINE_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-testmint.wasm').existsSync() ||
-      !File('$_runtimeDir/bootstrap.law.usdz').existsSync() ||
-      !File('$_runtimeDir/nomos.law.usdz').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(
-      lawUsdzPaths: [_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})');
-    });
-  });
-}