@githolon/dsl 0.96.0 → 0.97.0

package/dart/test/watch_surfaces_test.dart

@@ -1,240 +0,0 @@
-// THE REACTIVE PROMISED SURFACES (task #86 gaps 4/5/6): one cluster, three watch lanes the
-// gauntlet build found uncovered from Dart —
-//   • watchSpatial      — the R*Tree bbox probe as a LIVE stream (typed, via the generated client);
-//   • watchCompatibility / onLawChanged — law-change reactivity: subscribe under law v1, install the
-//     evolved v2 IN-SESSION (the real `nomos/installDomain` lane), assert both surfaces fire with the
-//     right shapes and the evolved directive works immediately;
-//   • watchActivity     — declared `.activity()` directives stream as activity rows.
-// House style: numbered legs, phase-timeout-bounded, loud failures, graceful skip.
-@TestOn('vm')
-library;
-
-import 'dart:async';
-import 'dart:convert';
-import 'dart:io';
-
-import 'package:crypto/crypto.dart' show sha256;
-import 'package:nomos_client/nomos_headless.dart';
-import 'package:test/test.dart';
-
-import '../../../bench/scale/fixtures/co2-acceptance/build/dart/src/generated/estate.client.dart';
-
-String get _root => '${Directory.current.path}/../..';
-String get _repoEntry => '$_root/cloud/web-client/runner/node-entry.ts';
-String get _geoDeploy =>
-    '$_root/bench/scale/fixtures/co2-acceptance/build/co2-acceptance.deploy.json';
-String get _actsDeploy =>
-    '$_root/bench/scale/fixtures/activity-feed/build/activity_repro.deploy.json';
-String get _evoV1Deploy => '$_root/bench/scale/fixtures/evolution/v1/build/evo.deploy.json';
-String get _evoV2Deploy => '$_root/bench/scale/fixtures/evolution/v2/build/evo.deploy.json';
-String get _evoV2Interface =>
-    '$_root/bench/scale/fixtures/evolution/v2/build/evo.interface.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';
-  for (final e in {
-    _geoDeploy: 'bench/scale/fixtures/co2-acceptance',
-    _actsDeploy: 'bench/scale/fixtures/activity-feed',
-    _evoV1Deploy: 'bench/scale/fixtures/evolution/v1',
-    _evoV2Deploy: 'bench/scale/fixtures/evolution/v2',
-  }.entries) {
-    if (!File(e.key).existsSync()) {
-      return 'missing fixture ${e.key} — compile it: (cd ${e.value} && node ../../../../dsl/compile_package.mjs)';
-    }
-  }
-  if (!File('$_runtimeDir/holon.wasm').existsSync() ||
-      !File('$_runtimeDir/packages.json').existsSync()) {
-    return 'warm ~/.holon/runtime first (run any `githolon` command once)';
-  }
-  return null;
-}
-
-Future<T> _leg<T>(String name, Future<T> Function() body) async {
-  final sw = Stopwatch()..start();
-  // ignore: avoid_print
-  print('▶ WATCH $name …');
-  try {
-    final r = await body();
-    // ignore: avoid_print
-    print('✔ WATCH $name (${sw.elapsedMilliseconds}ms)');
-    return r;
-  } catch (e, st) {
-    throw TestFailure('WATCH $name FAILED after ${sw.elapsedMilliseconds}ms:\n$e\n$st');
-  }
-}
-
-/// Await the first stream element satisfying [where], bounded — a watch that never emits is a
-/// loud, named failure, not a hang.
-Future<T> _firstWhere<T>(Stream<T> s, bool Function(T) where, String what,
-        [Duration limit = const Duration(seconds: 30)]) =>
-    s.firstWhere(where).timeout(limit,
-        onTimeout: () => throw StateError('$what never emitted within ${limit.inSeconds}s'));
-
-void main() {
-  test('reactive surfaces: watchSpatial → watchCompatibility/onLawChanged → watchActivity',
-      () async {
-    final missing = _missingPrereq();
-    if (missing != null) {
-      markTestSkipped(missing);
-      return;
-    }
-    final harness = await NomosTestHarness.cluster(
-      workspaces: {
-        'geo': [_geoDeploy],
-        'acts': [_actsDeploy],
-        'evo': [_evoV1Deploy],
-      },
-      nodeEntry: _repoEntry,
-      runtimeDir: _runtimeDir,
-      phaseTimeout: const Duration(seconds: 120),
-    );
-    try {
-      // ── LEG 1: watchSpatial — the typed reactive bbox probe. Write a point, the bbox watch
-      //    emits it; write a second point inside the box, the watch re-emits with both. ──
-      await _leg('leg 1: watchSpatial (typed sitesByBounds bbox stream)', () async {
-        final estate = EstateClient(harness.session('geo'), actor: 'user:ada');
-        final bbox = NomosBbox(minX: -3, minY: 53, maxX: -2, maxY: 54);
-        Future<void> place(String name, List<double> coords) =>
-            estate.registerSite(RegisterSitePayload(
-              name: name,
-              location: SiteLocation(
-                point: GeoPoint(coordinates: coords),
-                source: SiteLocationSource.addressSearch,
-              ),
-              registeredAt: DateTime.now().toUtc().toIso8601String(),
-            ));
-        await place('inside-1', [-2.24, 53.48]);
-        await place('way-outside', [10.0, 10.0]);
-        final stream = estate.watchSitesByBounds(bbox: bbox).asBroadcastStream();
-        final first = await _firstWhere(
-            stream, (rows) => rows.isNotEmpty, 'watchSpatial first snapshot');
-        expect(first.map((r) => r.name), ['inside-1'],
-            reason: 'the first snapshot holds exactly the in-bbox site (probe, not full scan)');
-        final grown = _firstWhere(stream, (rows) => rows.length >= 2, 'watchSpatial re-emission');
-        await place('inside-2', [-2.5, 53.6]);
-        expect((await grown).map((r) => r.name).toSet(), {'inside-1', 'inside-2'},
-            reason: 'a new in-bbox write re-emits through the live spatial watch');
-      });
-
-      // ── LEG 2: watchCompatibility + onLawChanged — subscribe under v1, install the evolved v2
-      //    (rename + added field + added directive) through the REAL nomos/installDomain lane,
-      //    assert both reactive surfaces fire and the added directive works at once. ──
-      await _leg('leg 2: watchCompatibility/onLawChanged across a live law evolution', () async {
-        final evo = harness.session('evo');
-        final v1Hash = harness.lawHashes('evo').first;
-        final v2Deploy =
-            (jsonDecode(File(_evoV2Deploy).readAsStringSync()) as Map).cast<String, Object?>();
-        final v2Usda = v2Deploy['packageUsda'].toString();
-        final v2Hash = sha256.convert(utf8.encode(v2Usda)).toString();
-        expect(v2Hash, isNot(v1Hash), reason: 'v2 is a genuinely different law');
-        final v2Requirement =
-            (jsonDecode(File(_evoV2Interface).readAsStringSync()) as Map).cast<String, Object?>();
-
-        // Seed a v1 row (written under the OLD field name — the rename's era-1 side).
-        await evo.offerOutcome(
-          domain: 'evo',
-          directiveId: 'registerSite',
-          payload: {'name': 'era-1-site', 'geoPos': '51.5,-0.1'},
-          domainHash: v1Hash,
-        );
-
-        // Arm the compat superpower AS the v2 client would: verdict against the current (v1) law.
-        final before = await evo.checkCompat({'lawHash': v2Hash}, v2Requirement);
-        expect(before, isNotNull);
-        expect(before!.matches, isFalse, reason: 'the workspace still runs v1');
-        expect(before.has('setMood'), isFalse,
-            reason: 'the v2-only directive is dark before the law lands');
-
-        // Subscribe BOTH reactive surfaces before the deploy.
-        final compatStream = evo.watchCompatibility(v2Requirement).asBroadcastStream();
-        final lawChanged = evo.onLawChanged.asBroadcastStream();
-        final firstVerdict = await _firstWhere(
-            compatStream, (v) => v.containsKey('ok'), 'watchCompatibility first snapshot');
-        expect(firstVerdict['ok'], isFalse,
-            reason: 'v2 requirement vs the v1 offer must not verify (setMood missing)');
-        expect(firstVerdict['offerKnown'], isTrue);
-
-        final lawEvent = _firstWhere(
-            lawChanged, (c) => c.has('setMood'), 'onLawChanged after the v2 install',
-            const Duration(seconds: 60));
-        final okVerdict = _firstWhere(
-            compatStream, (v) => v['ok'] == true, 'watchCompatibility after the v2 install',
-            const Duration(seconds: 60));
-
-        // THE EVOLVE: install v2 in-session (the same install lane the deploy endpoint drives).
-        await evo.offerOutcome(
-          domain: 'nomos',
-          directiveId: 'installDomain',
-          payload: {
-            'domainHash': v2Hash,
-            'packageUsda': v2Usda,
-            'installedBy': 'watch-surfaces-test',
-            'dependencies': <Object?>[],
-            'finalizers': <Object?>[],
-          },
-          domainHash: harness.frameworkHash,
-        );
-
-        final changed = await lawEvent;
-        expect(changed.has('setMood'), isTrue, reason: 'the dark member lit up');
-        expect(changed.verdict, 'compatible');
-        expect((await okVerdict)['ok'], isTrue);
-        // The evolved law is live: the ADDED directive works on the era-1 row immediately,
-        // and the era-1 row reads back under the NEW label lineage.
-        final rows = await evo.query('sitesByName', {'name': 'era-1-site'});
-        expect(rows, hasLength(1));
-        final siteId = (rows.single['id'] ?? '').toString();
-        await evo.offerOutcome(
-          domain: 'evo',
-          directiveId: 'setMood',
-          payload: {'siteId': siteId, 'mood': 'thriving'},
-          domainHash: v2Hash,
-        );
-        final after = await evo.queryById(siteId);
-        expect(((after.single['data'] as Map)['mood']), 'thriving');
-      });
-
-      // ── LEG 3: watchActivity — `.activity()`-declared directives stream as activity rows. ──
-      await _leg('leg 3: watchActivity streams declared activity rows', () async {
-        final acts = harness.session('acts');
-        final actsHash = harness.lawHashes('acts').first;
-        final stream = acts.watchActivity().asBroadcastStream();
-        final rowsWithSite = _firstWhere(
-            stream,
-            (rows) => rows
-                .whereType<Map>()
-                .any((r) => r['directiveId'] == 'createSite' && r['domain'] == 'estate'),
-            'watchActivity emission carrying the createSite row');
-        await acts.offerOutcome(
-          domain: 'estate',
-          directiveId: 'createSite',
-          payload: {
-            'name': 'Boiler House',
-            'createdAt': DateTime.now().toUtc().toIso8601String()
-          },
-          actor: 'user:ada',
-          domainHash: actsHash,
-        );
-        final rows = await rowsWithSite;
-        final row = rows
-            .whereType<Map>()
-            .firstWhere((r) => r['directiveId'] == 'createSite')
-            .cast<String, Object?>();
-        expect(row['domain'], 'estate');
-        expect(row['intentId'], isNotNull);
-        expect(row['occurredAt'], isNotNull);
-        expect(((row['payload'] as Map?) ?? const {})['name'], 'Boiler House',
-            reason: 'the activity row carries the DECODED directive payload');
-        // The pull surface agrees with the stream (activityLog is the same read).
-        final log = await acts.activityLog();
-        expect(log.any((r) => r['directiveId'] == 'createSite'), isTrue);
-      });
-    } finally {
-      await harness.dispose().timeout(const Duration(seconds: 30),
-          onTimeout: () => throw StateError('harness disposal hung'));
-    }
-  }, timeout: const Timeout(Duration(minutes: 8)));
-}