@githolon/dsl 0.108.6 → 0.110.0

package/dart/test/cloud_bound_topology_test.dart

@@ -1,168 +0,0 @@
-// THE CLOUD-BOUND TOPOLOGY ACCEPTANCE (co2's exact 10-step ask) — the real-app shape end-to-end:
-//
-//   1. the remote platform births the home (the ONE control-plane contact — the authenticated ceremony);
-//   2. the app mounts the home locally (a normal cloud-bound NomosSession; co2-platform is never cloned);
-//   3. the network PARTITIONS (NomosTestCloud.setOnline(false));
-//   4. the home births the estate LOCALLY (`birthEstateWorkspace` — a `.births()` offer on this device);
-//   5. the estate opens as a sibling session and ACCEPTS LOCAL WRITES while offline;
-//   6. UI-facing queries return those writes immediately (no sync awaited, ever);
-//   7. the network HEALS;
-//   8. `harness.converge()` establishes remote custody PARENT-FIRST (the home's synced chain folds the
-//      birth offer-effect remotely, creating the estate's custody; then the estate converges against it);
-//   9. a FRESH observer (the dev cloud's own remote projection) sees the estate writes;
-//  10. custody is REAL on both: remote heads born with commits (the dev cloud adopted the chains through
-//      the same gate everything else uses — replay IS validation).
-//
-// Entirely inside the test cloud's trust universe: nothing here touches production K_root or custody.
-import 'dart:convert';
-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 _devServer => '$_root/cloud/dev-server/server.ts';
-String get _deploy =>
-    '$_root/bench/scale/fixtures/cloud-topology/build/cloud-topology.law.usdz';
-const _subject = 'user:topology-test';
-
-String? _missingPrereq() {
-  if (!File(_repoEntry).existsSync())
-    return 'in-repo runner not found at $_repoEntry';
-  if (!File(_devServer).existsSync())
-    return 'in-repo dev server not found at $_devServer';
-  if (!File(_deploy).existsSync()) {
-    return 'compile the fixture: cd bench/scale/fixtures/cloud-topology && node ../../../../dsl/compile_package.mjs — missing $_deploy';
-  }
-  return null;
-}
-
-void main() {
-  test(
-      'the co2 topology: remote home ceremony → local estate birth offline → converge → remote custody',
-      () async {
-    final skip = _missingPrereq();
-    if (skip != null) {
-      markTestSkipped(skip);
-      return;
-    }
-    final diag = Platform.environment['NOMOS_HARNESS_DIAG'] == '1'
-        ? (String l) => stderr.writeln(l)
-        : null;
-    final cloud = await NomosTestCloud.start(
-        serverEntry: _devServer,
-        platform: 'topology-platform',
-        lawUsdzPath: _deploy,
-        applicationMaxChildWorkspacesPerUser: 8,
-        onDiagnostic: diag);
-    NomosTestHarness? harness;
-    try {
-      // 1+2 — the remote ceremony + the local mount, in one constructor (the app's boot path).
-      harness = await NomosTestHarness.cloudBound(
-        cloud: cloud,
-        lawUsdzPaths: [_deploy],
-        platformWorkspace: 'topology-platform',
-        subject: _subject,
-        nodeEntry: _repoEntry,
-        onDiagnostic: diag,
-      );
-      final home = harness.homeSession;
-      expect(home.workspace, isNotEmpty,
-          reason:
-              'the generated ceremony resolved the receiving group without exposing its naming scheme');
-      final remoteHome = await cloud.remoteHead(home.workspace);
-      expect(remoteHome.initialized, isTrue,
-          reason:
-              'the home was born REMOTELY (custody exists before the app ever mounted it)');
-
-      // 3 — PARTITION.
-      cloud.setOnline(false);
-
-      // 4 — the home births the estate LOCALLY (the app lane never needs the network). The business
-      // payload contains business facts only; law selection, signer seating and child addressing are
-      // private consequences of the compiled birth declaration.
-      final outcome = await harness.bridge.session(home.workspace).offerCreates(
-            domain: 'home',
-            directiveId: 'birthEstateWorkspace',
-            payload: {
-              'owner': _subject,
-              'establishedAt': '2026-07-14T00:00:00Z',
-              'principal': _subject,
-              'bornAt': '2026-07-14T00:00:00Z',
-            },
-            actor: _subject,
-          );
-      expect(outcome.born, isNotEmpty,
-          reason: 'the local .births() offer spawned the estate');
-      final estateWs = outcome.born.single;
-      expect(estateWs, startsWith('estate-'));
-
-      // 5 — the estate opens as a sibling session and accepts a LOCAL WRITE while offline.
-      final estate = await home.acquireSession(estateWs,
-          authorSecret: harness.deviceSecret(home.workspace));
-      final estateWrite = await estate.offerCreates(
-        domain: 'estate',
-        directiveId: 'writeEstateNote',
-        payload: {
-          'author': _subject,
-          'body': 'written offline',
-          'writtenAt': '2026-07-14T00:00:01Z'
-        },
-        actor: _subject,
-      );
-
-      // 6 — the UI-facing query returns the write IMMEDIATELY (local projection; nothing awaited sync).
-      final localRows =
-          await estate.query('notesByAuthor', {'author': _subject});
-      expect(localRows, hasLength(1));
-      expect((localRows.single['data'] as Map)['body'], 'written offline');
-
-      // …and the estate has NO remote custody yet — the partition is real.
-      final remoteEstateOffline = await cloud.remoteHead(estateWs);
-      expect(remoteEstateOffline.initialized, isFalse,
-          reason:
-              'while partitioned, the locally-born estate must have NO remote custody');
-
-      // 7+8 — HEAL. The generated runtime owns reconnect and parent/child custody ordering. Await the two
-      // exact operation receipts; the test never calls sync(), names an endpoint or infers convergence.
-      cloud.setOnline(true);
-      await Future.wait([
-        outcome.receipt.converged,
-        estateWrite.receipt.converged,
-      ]).timeout(const Duration(seconds: 180));
-
-      // 9 — a FRESH observer: the dev cloud's own remote projection serves the estate write.
-      final http = HttpClient();
-      try {
-        final req = await http.getUrl(Uri.parse(
-            '${cloud.origin}/v2/workspaces/$estateWs/notesByAuthor?author=${Uri.encodeQueryComponent(_subject)}'));
-        final resp = await req.close();
-        final body = jsonDecode(await resp.transform(utf8.decoder).join());
-        final rows = ((body as Map)['rows'] as List?) ?? const [];
-        expect(rows, hasLength(1),
-            reason:
-                'the remote projection (a fresh observer) serves the offline-written note after converge');
-        expect(
-            ((rows.single as Map)['data'] as Map)['body'], 'written offline');
-      } finally {
-        http.close(force: true);
-      }
-
-      // 10 — custody is REAL on both (the dev cloud adopted the chains through the one gate).
-      final remoteHome2 = await cloud.remoteHead(home.workspace);
-      final remoteEstate2 = await cloud.remoteHead(estateWs);
-      expect(remoteHome2.initialized, isTrue);
-      expect(remoteHome2.commits, greaterThan(0));
-      expect(remoteEstate2.initialized, isTrue,
-          reason:
-              'converge established the estate\'s remote custody (parent birth folded remotely)');
-      expect(remoteEstate2.commits, greaterThan(0));
-    } finally {
-      try {
-        await harness?.dispose();
-      } catch (_) {}
-      await cloud.stop();
-    }
-  }, timeout: const Timeout(Duration(minutes: 6)));
-}

package/dart/test/cluster_births_test.dart

@@ -1,202 +0,0 @@
-// LOCAL BIRTHS — DART LEG. An offline `.births()` directive dispatch: the estate-birth `home` law's
-// `birthEstateWorkspace` OFFERS a birth on THIS device's local plane — no cloud. Three things are proven:
-//
-//   1. THE DART API PATH: the offer surfaces the typed birth verdict — `born` (the child workspace name) +
-//      `birthOutcomes` (the per-child fate) — off NomosOfferOutcome. A birth is observable from Dart.
-//   2. THE OFFLINE BIRTH SUCCEEDS (status=born): the child genesis (installDomain×2 + seed) folds through the
-//      CHILD's own gate, fully offline. This needed a lane fix — the client holon's wasm provider now stages
-//      the stage-0 bootstrap package at the preopen root (`/work/domain.package.usda`), the SAME file the
-//      adapter engine stages, which `run_birth_effect` reads as the genesis-lane executor for the child's
-//      step-0 `bootstrap/installDomain`. Without it the birth failed with "bare JavaScript is not a domain
-//      package" (see cloud/web-client/src/kernel_provider_wasm.mjs boot).
-//   3. A FAILED birth carries a TYPED reason to Dart (deliberate bad framework hash) — never a silent drop.
-//   4. THE LOOP CLOSES (task #42): the born child OPENS as a sibling session on the SAME bridge and a typed
-//      query INSIDE it returns the genesis-seeded row. This is the whole point — a local birth is not just
-//      observable, it is USABLE: the child custody born in the parent session is resident in the shared
-//      engine plane, so `bridge.connect(session: born)` mounts it IN-PLACE (no re-clone) and reads its seed.
-//
-// (HISTORICAL: this leg was once a NAMED GAP — before the runner ran openRealm, each session was its own
-// single-workspace engine, so a sibling session could not see custody born in another. The shared engine
-// plane closed it; the JS twin of this proof is cloud/web-client/test/realm.e2e.mjs T2.)
-@TestOn('vm')
-library;
-
-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 _birthDeploy =>
-    '$_root/bench/scale/fixtures/estate-birth/build/estate-birth.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(_birthDeploy).existsSync()) {
-    return 'compile the fixture: cd bench/scale/fixtures/estate-birth && node ../../../../dsl/compile_package.mjs — missing $_birthDeploy';
-  }
-  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;
-}
-
-const _owner = 'sample-owner';
-
-/// Set up a single-session plane over the estate-birth law + OFFER `birthEstateWorkspace` on it. Returns the
-/// harness (for teardown) + the offer outcome (born / birthOutcomes surfaced). [frameworkHash] overrides the
-/// real framework hash (pass a bogus one to force a genesis failure).
-Future<(NomosTestHarness, NomosOfferOutcome)> _birth(
-    {String? frameworkHash, void Function(NomosTestHarness)? onHarness}) async {
-  final harness = await NomosTestHarness.ephemeral(
-    lawUsdzPaths: [_birthDeploy],
-    nodeEntry: _repoEntry,
-    runtimeDir: _runtimeDir,
-    workspace: 'estate-birth',
-  );
-  onHarness?.call(harness);
-  // The genesis recipe installs the framework + child law BY HASH — the harness surfaces both (frameworkHash
-  // is not derivable client-side; lawHash is this package's own domainHash).
-  final fw = frameworkHash ?? harness.frameworkHash;
-  final lawHash = harness.lawHashes('estate-birth').first;
-  final outcome = await harness.bridge.offerCreates(
-    domain: 'home',
-    directiveId: 'birthEstateWorkspace',
-    payload: {
-      'owner': _owner,
-      'frameworkHash': fw,
-      'lawHash': lawHash,
-      'bornAt': '2026-07-05T00:00:00Z',
-    },
-    actor: _owner,
-  );
-  return (harness, outcome);
-}
-
-void main() {
-  test('offline .births() dispatch surfaces born + birthOutcomes TYPED to Dart', () async {
-    final skip = _missingPrereq();
-    if (skip != null) {
-      markTestSkipped(skip);
-      return;
-    }
-    final (harness, outcome) = await _birth();
-    try {
-      expect(outcome.head, isNotEmpty,
-          reason: 'the birth offer admitted on the local plane');
-      // THE API PATH (co2's ask): the birth verdict is typed back to Dart.
-      expect(outcome.born, isNotEmpty,
-          reason: 'the offer-effect allocated the estate child workspace on the local plane');
-      expect(outcome.born.single, startsWith('estate-'),
-          reason: 'the born workspace is estate-<sha256(owner)>');
-      expect(outcome.birthOutcomes, isNotEmpty,
-          reason: 'the typed birth verdict rides beside born');
-      expect(outcome.birthOutcomes.first.workspace, outcome.born.single);
-      expect(outcome.birthOutcomes.first.hasStatus(), isTrue);
-
-      // The child handle is addressable on the plane (the loop that OPENS + reads it is the dedicated test
-      // below — 'born child OPENS as a sibling session ...').
-      expect(harness.bridge.session(outcome.born.single).workspace, outcome.born.single);
-    } finally {
-      await harness.dispose();
-    }
-  }, timeout: const Timeout(Duration(minutes: 3)));
-
-  test('offline birth genesis SUCCEEDS (status=born) — the child is folded through its own gate', () async {
-    final skip = _missingPrereq();
-    if (skip != null) {
-      markTestSkipped(skip);
-      return;
-    }
-    final (harness, outcome) = await _birth();
-    try {
-      // The lane is fixed (the provider stages the stage-0 bootstrap package at the preopen root), so the
-      // child genesis folds clean and the born verdict is `born` — hard-asserted, no skip.
-      expect(outcome.born, hasLength(1));
-      expect(outcome.birthOutcomes, hasLength(1));
-      expect(outcome.birthOutcomes.first.status,
-          NomosBirthOutcomeStatus.BIRTH_OUTCOME_STATUS_BORN,
-          reason: 'the child genesis (installDomain×2 + seed) folded through the child\'s own gate offline');
-      expect(outcome.birthOutcomes.first.workspace, outcome.born.single);
-    } finally {
-      await harness.dispose();
-    }
-  }, timeout: const Timeout(Duration(minutes: 3)));
-
-  test('born child OPENS as a sibling session on the SAME bridge → typed query returns the seeded row (THE LOOP)',
-      () async {
-    final skip = _missingPrereq();
-    if (skip != null) {
-      markTestSkipped(skip);
-      return;
-    }
-    final (harness, outcome) = await _birth();
-    try {
-      expect(outcome.birthOutcomes.first.status,
-          NomosBirthOutcomeStatus.BIRTH_OUTCOME_STATUS_BORN,
-          reason: 'precondition: the child is born on the local plane');
-      final child = outcome.born.single;
-
-      // THE LOOP CLOSES: open the born child as its OWN session on the SAME bridge. No `restoreFrom` — the
-      // child custody is ALREADY resident in the shared engine plane (born in the parent session), so the
-      // runner mounts it IN-PLACE (openRealm.workspace(child)), no re-clone. This is exactly realm.e2e T2.
-      await harness.bridge.connect(workspace: child, session: child);
-
-      // A typed query INSIDE the born child returns its genesis-seeded row — the estate the child's genesis
-      // chain seeded via estate/seedEstateWorkspace, keyed on the owner (`estate-<sha256(owner)>` self-bound).
-      final rows = await harness.bridge.session(child).query('estatesByOwner', {'owner': _owner});
-      expect(rows, hasLength(1),
-          reason: 'the born child\'s genesis seed reads back through its OWN session (the loop is closed)');
-      expect(rows.first['data']?['owner'], _owner,
-          reason: 'the seeded EstateOwner belongs to the birth\'s owner');
-      expect(rows.first['data']?['estateName'], child,
-          reason: 'the estate self-committed its own workspace name (estate-<sha256(owner)>)');
-
-      // listWorkspaces now enumerates BOTH the parent and the newly-opened born child on the one plane.
-      final listed = await harness.bridge.listWorkspaces();
-      final sessions = listed.map((workspace) => workspace.session).toSet();
-      expect(sessions, contains(child),
-          reason: 'listWorkspaces surfaces the born child as a live session');
-      expect(sessions, contains('estate-birth'),
-          reason: 'the parent workspace is still listed alongside its born child');
-    } finally {
-      await harness.dispose();
-    }
-  }, timeout: const Timeout(Duration(minutes: 3)));
-
-  test('birth FAILURE carries a typed reason to Dart (deliberate bad framework hash)', () async {
-    final skip = _missingPrereq();
-    if (skip != null) {
-      markTestSkipped(skip);
-      return;
-    }
-    // A well-formed but WRONG framework hash the parent does not fold → the child's step-0 install can't be
-    // satisfied → the genesis fold refuses. The offer still admits on the parent (the birth ORDER is valid);
-    // the child's fate FAILS FAST as the TYPED [BirthIncomplete] (both the JS holon and the bridge throw it
-    // by design — a silent partial birth would strand the app polling head:null), carrying the per-child
-    // typed outcome entries (workspace, status, code, reason) — never a stringly error or a silent drop.
-    final badHash = 'deadbeef' * 8; // 64 hex chars, not a package the parent holds
-    NomosTestHarness? harness;
-    try {
-      await _birth(frameworkHash: badHash, onHarness: (h) => harness = h);
-      fail('an unresolvable framework hash must fail the birth (BirthIncomplete expected)');
-    } on BirthIncomplete catch (e) {
-      expect(e.failedBirths, isNotEmpty,
-          reason: 'a failed birth still reports its typed per-child verdicts');
-      expect(e.failedBirths.first.status,
-          isNot(NomosBirthOutcomeStatus.BIRTH_OUTCOME_STATUS_BORN),
-          reason: 'an unresolvable framework hash cannot yield a born child');
-      expect(e.failedBirths.first.reason, isNotEmpty,
-          reason: 'the failure carries a human-legible reason (never a silent drop)');
-    } finally {
-      await harness?.dispose();
-    }
-  }, timeout: const Timeout(Duration(minutes: 3)));
-}

package/dart/test/cluster_device_keyed_acceptance_test.dart

@@ -1,105 +0,0 @@
-// CO2'S ACCEPTANCE (verbatim, 2026-07): `NomosTestHarness.cluster(deviceKeyed: …)` re-opens the keyed
-// session (keygen → keyed reconnect) and MUST NEVER hang — the reported wedge was phase 3b, the second
-// `connect` on an already-open session. Acceptance:
-//   1. cluster(..., deviceKeyed: {workspace}) completes           (co2's exact shape: 4 sessions, one
-//      deviceKeyed, colon-namespaced workspace names)
-//   2. devicePublicKey(workspace) is populated
-//   3. the keyed workspace remains readable and writable after the re-open
-//   4. harness disposal completes without being killed
-// Phase diagnostics (their ask 5) are asserted too: 3b logs enter/exit for keygen + keyed reconnect.
-@TestOn('vm')
-@Timeout(Duration(minutes: 3))
-library;
-
-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 _catDeploy => '$_root/bench/scale/fixtures/catalogue-src/build/cat.law.usdz';
-String get _estateDeploy => '$_root/bench/scale/fixtures/catalogue-reader/build/estate.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';
-  for (final p in [_catDeploy, _estateDeploy]) {
-    if (!File(p).existsSync()) return 'missing fixture $p (compile bench/scale/fixtures first)';
-  }
-  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('cluster(deviceKeyed) completes: keyed re-open, device key populated, ordinary read/write, disposal',
-      () async {
-    final skip = _missingPrereq();
-    if (skip != null) {
-      markTestSkipped(skip);
-      return;
-    }
-
-    const keyed = 'catalogue:test-catalogue';
-    final log = <String>[];
-    // 1. cluster construction with a deviceKeyed workspace COMPLETES (the reported hang was here).
-    final harness = await NomosTestHarness.cluster(
-      workspaces: {
-        keyed: [_catDeploy],
-        'estate:a': [_estateDeploy],
-        'estate:b': [_estateDeploy],
-        'estate:c': [_estateDeploy],
-      },
-      deviceKeyed: {keyed},
-      nodeEntry: _repoEntry,
-      runtimeDir: _runtimeDir,
-      onDiagnostic: log.add,
-    );
-    try {
-      expect(harness.sessions.toSet(),
-          {keyed, 'estate:a', 'estate:b', 'estate:c'});
-
-      // 2. devicePublicKey is populated for the keyed session.
-      final public = harness.devicePublicKey(keyed);
-      expect(public, isNotNull);
-      expect(public, isNotEmpty,
-          reason: 'the 3b keygen public half must be recorded on the harness');
-
-      // ask 5 — phase diagnostics: 3b logs enter AND exit for keygen + keyed reconnect.
-      expect(log.any((l) => l.contains('3b: device keygen')), isTrue,
-          reason: 'phase 3b keygen must log');
-      expect(log.any((l) => l.contains("3b: keyed reconnect of '$keyed'") && l.contains('…')),
-          isTrue, reason: 'phase 3b reconnect must log its enter line');
-      expect(log.any((l) => l.contains("3b: keyed reconnect of '$keyed'") && l.contains('done')),
-          isTrue, reason: 'phase 3b reconnect must log its exit line');
-
-      // 3. The keyed re-open did not strand the session: its ordinary offer and read both work.
-      final cat = harness.session(keyed);
-      final seeded = await cat.offerCreates(
-        domain: 'cat',
-        directiveId: 'listCatalogue',
-        payload: {
-          'listingId': 'L-1',
-          'title': 'Walnut desk',
-          'priceGbp': '900',
-          'listedAt': '2026-07-11T00:00:00Z',
-        },
-        actor: 'user:seller',
-      );
-      expect(seeded.head, isNotEmpty);
-      final rows = await cat.query('listingById', {'listingId': 'L-1'});
-      expect(rows, hasLength(1));
-      expect(rows.single['id'], isNotEmpty);
-    } finally {
-      // 4. disposal completes (the harness deadline guarantees it can never wedge the test runner).
-      await harness.dispose();
-    }
-  });
-}

package/dart/test/cluster_local_autosync_test.dart

@@ -1,123 +0,0 @@
-// CO2 ACCEPTANCE — local-only autoSync must not block the multi-workspace plane (their report, verbatim):
-//   - Open multiple local-only sessions with NomosTestHarness.cluster.
-//   - await homeSession.autoSync() completes promptly.
-//   - await bridge.listWorkspaces() and a query on a sibling estate session still complete.
-//   - stopAutoSync() and harness disposal complete.
-//   - No local://.../intent-offers fetch attempts occur.
-// autoSync() REGISTERS background behavior and returns immediately; for a local-only (local://) session it
-// performs NO network work and must not monopolize the runner request dispatcher.
-@TestOn('vm')
-library;
-
-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 _guestbookDeploy => '$_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(_guestbookDeploy).existsSync()) {
-    return 'compile the guestbook example: cd examples/guestbook && npx nomos-compile — missing $_guestbookDeploy';
-  }
-  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(
-      'local-only autoSync() returns promptly, never fetches, and does not block the plane (co2 acceptance)',
-      () async {
-    final skip = _missingPrereq();
-    if (skip != null) {
-      markTestSkipped(skip);
-      return;
-    }
-
-    // 1. Open multiple local-only sessions with NomosTestHarness.cluster (four, one bridge).
-    final names = ['home', 'estate-a', 'estate-b', 'estate-c'];
-    final diagnostics = <String>[];
-    final harness = await NomosTestHarness.cluster(
-      workspaces: {for (final ws in names) ws: [_guestbookDeploy]},
-      nodeEntry: _repoEntry,
-      runtimeDir: _runtimeDir,
-      onDiagnostic: diagnostics.add,
-    );
-    try {
-      final home = harness.session('home');
-
-      // A realistic home holds local writes (ahead of any base) — this is what drives the up-leg machinery.
-      await home.offerDirective(
-        domain: 'guestbook',
-        directiveId: 'signGuestbook',
-        payload: {
-          'author': 'ada',
-          'message': 'offline write before autoSync',
-          'mood': 'delighted',
-          'signedAt': '2026-07-11T00:00:00Z',
-        },
-        actor: 'ada',
-      );
-
-      // 2. await homeSession.autoSync() completes promptly.
-      await home.autoSync().timeout(const Duration(seconds: 10),
-          onTimeout: () => throw StateError(
-              'autoSync() on a local-only session did not complete within 10s (the reported deadlock)'));
-
-      // 3. await bridge.listWorkspaces() and a query on a sibling estate session still complete.
-      final listed = await harness.bridge.listWorkspaces().timeout(
-          const Duration(seconds: 10),
-          onTimeout: () => throw StateError(
-              'listWorkspaces() hung after a local-only autoSync (dispatcher monopolized)'));
-      expect(listed.map((workspace) => workspace.session).toSet(),
-          containsAll(names.toSet()));
-      final sibling = await harness
-          .session('estate-a')
-          .query('entriesByAuthor', {'author': 'nobody'}).timeout(
-              const Duration(seconds: 10),
-              onTimeout: () => throw StateError(
-                  'a sibling estate query hung after a local-only autoSync'));
-      expect(sibling, isEmpty);
-
-      // Give any wrongly-registered background sync machinery time to fire so its fetch attempts would show.
-      await Future<void>.delayed(const Duration(seconds: 2));
-
-      // 4. stopAutoSync() and harness disposal complete (disposal asserted in finally / teardown).
-      await home.stopAutoSync().timeout(const Duration(seconds: 10),
-          onTimeout: () =>
-              throw StateError('stopAutoSync() hung on a local-only session'));
-
-      // Bonus (live-runner leg of the acquireSession DX ask): a mounted local workspace is acquired
-      // WITHOUT credentials, and yields the same cached session handle.
-      final acquired = await harness.bridge.acquireSession('estate-b',
-          ifAbsentCredentials: () async =>
-              fail('estate-b is mounted on the plane — credentials must not be requested'));
-      expect(identical(acquired, harness.session('estate-b')), isTrue);
-
-      // 5. No local://.../intent-offers fetch attempts occur (attempted-and-refused still counts as attempted).
-      final offending = diagnostics
-          .where((l) => l.contains('intent-offers') || l.contains('refusing network fetch'))
-          .toList();
-      expect(offending, isEmpty,
-          reason:
-              'a local-only session must perform NO network work — saw:\n${offending.join('\n')}');
-    } finally {
-      await harness
-          .dispose()
-          .timeout(const Duration(seconds: 20), onTimeout: () {
-        throw StateError('harness disposal hung (the reported teardown hang)');
-      });
-    }
-  }, timeout: const Timeout(Duration(minutes: 3)));
-}