@githolon/dsl 0.102.5 → 0.103.0

package/dart/test/cluster_device_keyed_acceptance_test.dart

@@ -4,7 +4,7 @@
 //   1. cluster(..., deviceKeyed: {workspace}) completes           (co2's exact shape: 4 sessions, one
 //      deviceKeyed, colon-namespaced workspace names)
 //   2. devicePublicKey(workspace) is populated
-//   3. a colocated attested read succeeds (served + SIGNED with the device key the re-open installed)
+//   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')
@@ -18,8 +18,8 @@ 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.deploy.json';
-String get _estateDeploy => '$_root/bench/scale/fixtures/catalogue-reader/build/estate.deploy.json';
+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'] ??
@@ -31,14 +31,15 @@ String? _missingPrereq() {
     if (!File(p).existsSync()) return 'missing fixture $p (compile bench/scale/fixtures first)';
   }
   if (!File('$_runtimeDir/holon-testmint.wasm').existsSync() ||
-      !File('$_runtimeDir/packages.json').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, colocated attested read, disposal',
+  test('cluster(deviceKeyed) completes: keyed re-open, device key populated, ordinary read/write, disposal',
       () async {
     final skip = _missingPrereq();
     if (skip != null) {
@@ -79,8 +80,7 @@ void main() {
       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. a COLOCATED ATTESTED READ succeeds, signed with the device key the re-open installed
-      //    (no attestorSecret injected — the source session signs with its connect authorSecret).
+      // 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',
@@ -94,15 +94,9 @@ void main() {
         actor: 'user:seller',
       );
       expect(seeded.head, isNotEmpty);
-      final served = await harness.session('estate:a').attestedRead(
-        from: keyed,
-        queryId: 'listingById',
-        args: {'listingId': 'L-1'},
-      );
-      final entry = (served['entry'] as Map).cast<String, Object?>();
-      final attestation = (entry['attestation'] as Map).cast<String, Object?>();
-      expect((attestation['public_key'] ?? '').toString(), public,
-          reason: 'the colocated read is signed by the re-opened session device key');
+      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

@@ -16,7 +16,7 @@ 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.deploy.json';
+String get _guestbookDeploy => '$_root/examples/guestbook/build/guestbook.law.usdz';
 String get _runtimeDir =>
     Platform.environment['NOMOS_DART_RUNTIME'] ??
     Platform.environment['NOMOS_OFFLINE_RUNTIME'] ??
@@ -28,7 +28,8 @@ String? _missingPrereq() {
     return 'compile the guestbook example: cd examples/guestbook && npx nomos-compile — missing $_guestbookDeploy';
   }
   if (!File('$_runtimeDir/holon-testmint.wasm').existsSync() ||
-      !File('$_runtimeDir/packages.json').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;

package/dart/test/cluster_scale_test.dart

@@ -16,7 +16,7 @@ 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.deploy.json';
+String get _guestbookDeploy => '$_root/examples/guestbook/build/guestbook.law.usdz';
 String get _runtimeDir =>
     Platform.environment['NOMOS_DART_RUNTIME'] ??
     Platform.environment['NOMOS_OFFLINE_RUNTIME'] ??
@@ -32,7 +32,8 @@ String? _missingPrereq() {
     return 'compile the guestbook example: cd examples/guestbook && npx nomos-compile — missing $_guestbookDeploy';
   }
   if (!File('$_runtimeDir/holon-testmint.wasm').existsSync() ||
-      !File('$_runtimeDir/packages.json').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;

package/dart/test/dlq_session_surface_test.dart

@@ -20,8 +20,8 @@ import 'package:test/test.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/estate-geo/build/estate-geo.deploy.json';
-String get _docsDeploy => '$_root/bench/scale/fixtures/surfaced/build/surfaced.deploy.json';
+String get _geoDeploy => '$_root/bench/scale/fixtures/estate-geo/build/estate-geo.law.usdz';
+String get _docsDeploy => '$_root/bench/scale/fixtures/surfaced/build/surfaced.law.usdz';
 String get _runtimeDir =>
     Platform.environment['NOMOS_DART_RUNTIME'] ??
     Platform.environment['NOMOS_OFFLINE_RUNTIME'] ??
@@ -38,7 +38,8 @@ String? _missingPrereq() {
     }
   }
   if (!File('$_runtimeDir/holon-testmint.wasm').existsSync() ||
-      !File('$_runtimeDir/packages.json').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;
@@ -105,7 +106,7 @@ void main() {
             .where((w) {
           try {
             final doc =
-                jsonDecode(utf8.decode(base64Decode(w['intentB64'].toString()))) as Map;
+                jsonDecode(utf8.decode(base64Decode(w['changeB64'].toString()))) as Map;
             return (doc['payload'] as Map?)?['domain'] == 'estate';
           } catch (_) {
             return false;
@@ -125,7 +126,7 @@ void main() {
             {
               'id': w['id'],
               'oid': w['id'], // provenance slot; the entry is deduped/looked up by id
-              'intentB64': w['intentB64'],
+              'changeB64': w['changeB64'],
               'source': 'local',
               'error': "no active installed law declares domain 'estate'",
             }
@@ -138,7 +139,7 @@ void main() {
             reason: 'the DLQ decodes domain/directiveId provenance from the parked bytes');
         expect(entry['directiveId'], 'placeSite');
         expect(entry['source'], 'local');
-        expect(entry.containsKey('intentB64'), isFalse,
+        expect(entry.containsKey('changeB64'), isFalse,
             reason: 'deadLetters() is metadata-only; the bytes stay in the durable queue');
       });
 

package/dart/test/first_app_gauntlet_test.dart

@@ -23,13 +23,13 @@ import 'package:test/test.dart';
 
 String get _root => '${Directory.current.path}/../..';
 String get _repoEntry => '$_root/cloud/web-client/runner/node-entry.ts';
-String get _homeDeploy => '$_root/examples/co2-birth/build/co2.deploy.json';
+String get _homeDeploy => '$_root/examples/co2-birth/build/co2.law.usdz';
 String get _docsDeploy =>
-    '$_root/bench/scale/fixtures/surfaced/build/surfaced.deploy.json';
+    '$_root/bench/scale/fixtures/surfaced/build/surfaced.law.usdz';
 String get _catDeploy =>
-    '$_root/bench/scale/fixtures/catalogue-src/build/cat.deploy.json';
+    '$_root/bench/scale/fixtures/catalogue-src/build/cat.law.usdz';
 String get _readerDeploy =>
-    '$_root/bench/scale/fixtures/catalogue-reader/build/estate.deploy.json';
+    '$_root/bench/scale/fixtures/catalogue-reader/build/estate.law.usdz';
 String get _runtimeDir =>
     Platform.environment['NOMOS_DART_RUNTIME'] ??
     Platform.environment['NOMOS_OFFLINE_RUNTIME'] ??
@@ -57,7 +57,8 @@ String? _missingPrereq() {
     }
   }
   if (!File('$_runtimeDir/holon-testmint.wasm').existsSync() ||
-      !File('$_runtimeDir/packages.json').existsSync()) {
+      !File('$_runtimeDir/bootstrap.law.usdz').existsSync() ||
+      !File('$_runtimeDir/nomos.law.usdz').existsSync()) {
     return 'warm ~/.holon/runtime first (run any `githolon` command once, or fetch '
         '/v1/runtime/holon-testmint.wasm + /v1/runtime/packages from the cloud)';
   }
@@ -293,9 +294,9 @@ void main() {
         expect(conflicts, isEmpty);
       });
 
-      // ── LEG 6: the keyed lane end-to-end — an attested read served + SIGNED with the device
-      //    key the 3b re-open installed. ──
-      await _leg('leg 6: attested read from the deviceKeyed workspace',
+      // ── LEG 6: the keyed lane end-to-end — the re-opened workspace remains writable/readable.
+      // Cross-workspace premises are exercised through ordinary offers in the kernel acceptance suite.
+      await _leg('leg 6: ordinary read/write on the deviceKeyed workspace',
           () async {
         final public = harness.devicePublicKey(_keyed);
         expect(public, isNotNull);
@@ -314,20 +315,12 @@ void main() {
           actor: 'user:seller',
         );
         expect(seeded.head, isNotEmpty);
-        final served = await harness.session('reader').attestedRead(
-          from: _keyed,
-          queryId: 'listingById',
-          args: {'listingId': 'L-1'},
-        );
-        final entry = (served['entry'] as Map).cast<String, Object?>();
-        final attestation =
-            (entry['attestation'] as Map).cast<String, Object?>();
-        expect((attestation['public_key'] ?? '').toString(), public,
-            reason: 'the read is signed by the re-opened session device key');
+        final rows = await cat.query('listingById', {'listingId': 'L-1'});
+        expect(rows, hasLength(1));
       });
 
       // ── LEG 7: harness diagnostics — assertDomainInstalled, resetWorkspaceCustody, and a
-      //    mid-test seedWorkspaceFromDeployJson round-trip. ──
+      //    mid-test seedWorkspaceFromLawUsdz round-trip. ──
       await _leg(
           'leg 7: harness diagnostics (assertDomainInstalled / reset / seed)',
           () async {
@@ -350,8 +343,8 @@ void main() {
         expect(postReset, isEmpty,
             reason: 'the reset workspace is back at its seed');
         // Seed a brand-new workspace mid-test from a deploy.json and use it immediately.
-        final late = await harness.seedWorkspaceFromDeployJson(
-            workspace: 'late-ws', deployJsonPaths: [_docsDeploy]);
+        final late = await harness.seedWorkspaceFromLawUsdz(
+            workspace: 'late-ws', lawUsdzPaths: [_docsDeploy]);
         expect(late.workspace, 'late-ws');
         await harness.assertDomainInstalled(
             workspace: 'late-ws', domain: 'docs');

package/dart/test/fixtures/wedge/fake-install.mjs

@@ -1,6 +1,6 @@
 #!/usr/bin/env node
 // A FAKE offline-install helper for the hermetic HARNESS PHASE-TIMEOUT tests: honours the real helper's
-// flag + one-line-JSON contract (--deploy/--workspace/--out) but installs nothing — it just writes a tiny
+// flag + one-line-JSON contract (--law/--workspace/--out) but installs nothing — it just writes a tiny
 // dummy snapshot so the harness proceeds to the runner phases.
 import { writeFileSync } from "node:fs";
 const args = process.argv.slice(2);

package/dart/test/four_layer_nested_topology_test.dart

@@ -32,7 +32,7 @@ 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/four-layer-nested-topology/build/four-layer-nested-topology.deploy.json';
+    '$_root/bench/scale/fixtures/four-layer-nested-topology/build/four-layer-nested-topology.law.usdz';
 const _subject1 = 'user:four-layer-test-user1';
 const _subject2 = 'user:four-layer-test-user2';
 
@@ -56,14 +56,14 @@ void main() {
     final diag = Platform.environment['NOMOS_HARNESS_DIAG'] == '1'
         ? (String l) => stderr.writeln(l)
         : null;
-    final cloud = await NomosTestCloud.start(serverEntry: _devServer, platform: 'four-layer-platform', deployJsonPath: _deploy, onDiagnostic: diag);
+    final cloud = await NomosTestCloud.start(serverEntry: _devServer, platform: 'four-layer-platform', lawUsdzPath: _deploy, onDiagnostic: diag);
     NomosTestHarness? harness1;
     NomosTestHarness? harness2;
     try {
       // LAYER 1+2: the remote ceremony + the local mount (user 1)
       harness1 = await NomosTestHarness.cloudBound(
         cloud: cloud,
-        deployJsonPaths: [_deploy],
+        lawUsdzPaths: [_deploy],
         platformWorkspace: 'four-layer-platform',
         subject: _subject1,
         nodeEntry: _repoEntry,
@@ -167,7 +167,7 @@ void main() {
       // Create harness2 for user 2 (same platform, different home)
       harness2 = await NomosTestHarness.cloudBound(
         cloud: cloud,
-        deployJsonPaths: [_deploy],
+        lawUsdzPaths: [_deploy],
         platformWorkspace: 'four-layer-platform',
         subject: _subject2,
         nodeEntry: _repoEntry,

package/dart/test/harness_phase_timeout_test.dart

@@ -23,7 +23,7 @@ void main() {
     try {
       await NomosTestHarness.cluster(
         workspaces: {
-          'catalogue': ['unused.deploy.json'], // the fake install helper ignores the paths
+          'catalogue': ['unused.law.usdz'], // the fake install helper ignores the paths
         },
         deviceKeyed: {'catalogue'},
         nodeEntry: _wedgeEntry,
@@ -56,7 +56,7 @@ void main() {
     try {
       await NomosTestHarness.cluster(
         workspaces: {
-          'catalogue': ['unused.deploy.json'],
+          'catalogue': ['unused.law.usdz'],
         },
         deviceKeyed: {'not-a-workspace'},
         nodeEntry: _wedgeEntry,

package/dart/test/local_sync_inert_test.dart

@@ -15,7 +15,7 @@ import '../../../bench/scale/fixtures/estate-birth/build/dart/src/generated/home
 String get _root => '${Directory.current.path}/../..';
 String get _repoEntry => '$_root/cloud/web-client/runner/node-entry.ts';
 String get _deployJson =>
-    '$_root/bench/scale/fixtures/estate-birth/build/estate-birth.deploy.json';
+    '$_root/bench/scale/fixtures/estate-birth/build/estate-birth.law.usdz';
 String get _runtimeDir =>
     Platform.environment['NOMOS_DART_RUNTIME'] ??
     Platform.environment['NOMOS_OFFLINE_RUNTIME'] ??

package/dart/test/parent_signer_recovery_test.dart

@@ -24,7 +24,7 @@ import 'package:test/test.dart';
 String get _root => '${Directory.current.path}/../..';
 String get _repoEntry => '$_root/cloud/web-client/runner/node-entry.ts';
 String get _deploy =>
-    '$_root/bench/scale/fixtures/estate-birth-signed/build/estate-birth-signed.deploy.json';
+    '$_root/bench/scale/fixtures/estate-birth-signed/build/estate-birth-signed.law.usdz';
 String get _runtimeDir =>
     Platform.environment['NOMOS_DART_RUNTIME'] ??
     Platform.environment['NOMOS_OFFLINE_RUNTIME'] ??
@@ -59,7 +59,7 @@ void main() {
       return;
     }
     final harness = await NomosTestHarness.ephemeral(
-      deployJsonPaths: [_deploy],
+      lawUsdzPaths: [_deploy],
       nodeEntry: _repoEntry,
       runtimeDir: _runtimeDir,
       workspace: _ws,

package/dart/test/sealing_client_test.dart

@@ -18,7 +18,7 @@ import 'package:test/test.dart';
 String get _root => '${Directory.current.path}/../..';
 String get _repoEntry => '$_root/cloud/web-client/runner/node-entry.ts';
 String get _fixture => '$_root/cloud/web-client/test/fixtures/encrypted-notes';
-String get _deploy => '$_fixture/build/encrypted-notes.deploy.json';
+String get _deploy => '$_fixture/build/encrypted-notes.law.usdz';
 String get _lockfile => '$_fixture/nomos.stable-ids.json';
 String get _runtimeDir =>
     Platform.environment['NOMOS_DART_RUNTIME'] ??
@@ -36,7 +36,8 @@ String? _missingPrereq() {
     return 'missing encrypted-notes fixture — compile it: (cd cloud/web-client/test/fixtures/encrypted-notes && node ../../../../../dsl/compile_package.mjs)';
   }
   if (!File('$_runtimeDir/holon-testmint.wasm').existsSync() ||
-      !File('$_runtimeDir/packages.json').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;
@@ -65,7 +66,7 @@ void main() {
       return;
     }
     final harness = await NomosTestHarness.ephemeral(
-      deployJsonPaths: [_deploy],
+      lawUsdzPaths: [_deploy],
       workspace: 'sealed-notes',
       nodeEntry: _repoEntry,
       runtimeDir: _runtimeDir,

package/dart/test/session_bound_test.dart

@@ -28,9 +28,9 @@ import '../../../bench/scale/fixtures/estate-birth/build/dart/src/generated/esta
 String get _root => '${Directory.current.path}/../..';
 String get _repoEntry => '$_root/cloud/web-client/runner/node-entry.ts';
 String get _deployJson =>
-    '$_root/bench/scale/fixtures/estate-birth/build/estate-birth.deploy.json';
-String get _otherDeployJson =>
-    '$_root/bench/scale/fixtures/surfaced/build/surfaced.deploy.json';
+    '$_root/bench/scale/fixtures/estate-birth/build/estate-birth.law.usdz';
+String get _otherLawUsdz =>
+    '$_root/bench/scale/fixtures/surfaced/build/surfaced.law.usdz';
 String get _runtimeDir =>
     Platform.environment['NOMOS_DART_RUNTIME'] ??
     Platform.environment['NOMOS_OFFLINE_RUNTIME'] ??
@@ -42,12 +42,13 @@ const _owner = 'user:session-bound-owner';
 String? _missingPrereq() {
   if (!File(_repoEntry).existsSync())
     return 'in-repo runner not found at $_repoEntry';
-  if (!File(_deployJson).existsSync() || !File(_otherDeployJson).existsSync()) {
+  if (!File(_deployJson).existsSync() || !File(_otherLawUsdz).existsSync()) {
     return 'compile the fixtures: (cd bench/scale/fixtures/estate-birth && node ../../../../dsl/compile_package.mjs); '
         '(cd bench/scale/fixtures/surfaced && node ../../../../dsl/compile_package.mjs)';
   }
   if (!File('$_runtimeDir/holon-testmint.wasm').existsSync() ||
-      !File('$_runtimeDir/packages.json').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;
@@ -59,7 +60,7 @@ String _ownerKeyHash(NomosTestHarness h) =>
     sha256.convert(base64Decode(h.devicePublicKey(h.workspace)!)).toString();
 
 Future<NomosTestHarness> _harness() => NomosTestHarness.ephemeral(
-      deployJsonPaths: [_deployJson],
+      lawUsdzPaths: [_deployJson],
       nodeEntry: _repoEntry,
       runtimeDir: _runtimeDir,
       workspace: _workspace,
@@ -194,7 +195,7 @@ void main() {
       runtimeDir: _runtimeDir,
       workspaces: {
         _workspace: [_deployJson],
-        'docs-ws': [_otherDeployJson],
+        'docs-ws': [_otherLawUsdz],
       },
     );
     try {

package/dart/test/test_harness_test.dart

@@ -4,8 +4,8 @@
 // the app UI uses, under `dart test` / `flutter test`, with no network.
 //
 // Prerequisites (skipped-with-reason when absent, so CI stays green either way): `node` on PATH; the
-// in-repo runner; a warm `~/.holon/runtime` cache (holon-testmint.wasm + packages.json — one `githolon` run fills it);
-// and the compiled `examples/guestbook/build/guestbook.deploy.json` (`cd examples/guestbook && npx nomos-compile`).
+// in-repo runner; a warm `~/.holon/runtime` cache (holon-testmint.wasm + bootstrap.law.usdz + nomos.law.usdz — one `githolon` run fills it);
+// and the compiled `examples/guestbook/build/guestbook.law.usdz` (`cd examples/guestbook && npx nomos-compile`).
 @TestOn('vm')
 library;
 
@@ -16,8 +16,8 @@ import 'package:test/test.dart';
 
 String get _repoEntry =>
     '${Directory.current.path}/../../cloud/web-client/runner/node-entry.ts';
-String get _guestbookDeployJson =>
-    '${Directory.current.path}/../../examples/guestbook/build/guestbook.deploy.json';
+String get _guestbookLawUsdz =>
+    '${Directory.current.path}/../../examples/guestbook/build/guestbook.law.usdz';
 String get _runtimeDir =>
     Platform.environment['NOMOS_DART_RUNTIME'] ??
     Platform.environment['NOMOS_OFFLINE_RUNTIME'] ??
@@ -30,11 +30,12 @@ String get _cliDist => '${Directory.current.path}/../../cli/dist/cli.mjs';
 String? _missingPrereq() {
   if (!File(_repoEntry).existsSync())
     return 'in-repo runner not found at $_repoEntry';
-  if (!File(_guestbookDeployJson).existsSync()) {
+  if (!File(_guestbookLawUsdz).existsSync()) {
     return 'compile the fixture first: cd examples/guestbook && npx nomos-compile';
   }
   if (!File('$_runtimeDir/holon-testmint.wasm').existsSync() ||
-      !File('$_runtimeDir/packages.json').existsSync()) {
+      !File('$_runtimeDir/bootstrap.law.usdz').existsSync() ||
+      !File('$_runtimeDir/nomos.law.usdz').existsSync()) {
     return 'provide the coordinated candidate with NOMOS_DART_RUNTIME, or warm ~/.holon/runtime once';
   }
   return null;
@@ -78,7 +79,7 @@ void main() {
 
   test('ephemeral rejects an empty deploy list with a named remedy', () async {
     await expectLater(
-      NomosTestHarness.ephemeral(deployJsonPaths: const []),
+      NomosTestHarness.ephemeral(lawUsdzPaths: const []),
       throwsA(isA<NomosTestHarnessException>()),
     );
   });
@@ -91,7 +92,7 @@ void main() {
       return;
     }
     final harness = await NomosTestHarness.ephemeral(
-      deployJsonPaths: [_guestbookDeployJson],
+      lawUsdzPaths: [_guestbookLawUsdz],
       nodeEntry: _repoEntry,
       runtimeDir: _runtimeDir,
       registerTearDown:
@@ -132,7 +133,7 @@ void main() {
       return;
     }
     final harness = await NomosTestHarness.ephemeral(
-      deployJsonPaths: [_guestbookDeployJson],
+      lawUsdzPaths: [_guestbookLawUsdz],
       nodeEntry: _repoEntry,
       runtimeDir: _runtimeDir,
       registerTearDown: addTearDown,
@@ -160,7 +161,7 @@ void main() {
     }
     final lines = <String>[];
     final harness = await NomosTestHarness.ephemeral(
-      deployJsonPaths: [_guestbookDeployJson],
+      lawUsdzPaths: [_guestbookLawUsdz],
       nodeEntry: _repoEntry,
       runtimeDir: _runtimeDir,
       registerTearDown: addTearDown,
@@ -185,7 +186,7 @@ void main() {
       return;
     }
     final harness = await NomosTestHarness.ephemeral(
-      deployJsonPaths: [_guestbookDeployJson],
+      lawUsdzPaths: [_guestbookLawUsdz],
       nodeEntry: _repoEntry,
       runtimeDir: _runtimeDir,
       autoTearDown: false, // drive dispose explicitly to assert its determinism
@@ -218,7 +219,7 @@ void main() {
     // FORCE the published subcommand lane via the installHelper seam: a githolon command line (here the
     // in-repo built bin) whose `harness-install` subcommand does the offline install a published tenant gets.
     final harness = await NomosTestHarness.ephemeral(
-      deployJsonPaths: [_guestbookDeployJson],
+      lawUsdzPaths: [_guestbookLawUsdz],
       nodeEntry: _repoEntry,
       runtimeDir: _runtimeDir,
       installHelper:

package/dart/test/vo_read_typing_test.dart

@@ -21,7 +21,7 @@ import '../../../bench/scale/fixtures/vo-read-typing/build/dart/src/generated/es
 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.deploy.json';
+    '$_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'] ??
@@ -34,7 +34,8 @@ String? _missingPrereq() {
     return 'compile the fixture: cd bench/scale/fixtures/vo-read-typing && npx nomos-compile';
   }
   if (!File('$_runtimeDir/holon-testmint.wasm').existsSync() ||
-      !File('$_runtimeDir/packages.json').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;
@@ -50,7 +51,7 @@ void main() {
       return;
     }
     final harness = await NomosTestHarness.ephemeral(
-      deployJsonPaths: [_deployJson],
+      lawUsdzPaths: [_deployJson],
       nodeEntry: _repoEntry,
       runtimeDir: _runtimeDir,
       registerTearDown: addTearDown,

package/dart/test/watch_after_offer_stall_test.dart

@@ -13,7 +13,7 @@ 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.deploy.json';
+String get _gbDeploy => '$_root/examples/guestbook/build/guestbook.law.usdz';
 String get _runtimeDir =>
     Platform.environment['NOMOS_DART_RUNTIME'] ??
     Platform.environment['NOMOS_OFFLINE_RUNTIME'] ??
@@ -25,7 +25,8 @@ String? _missingPrereq() {
     return 'missing $_gbDeploy — compile it (cd examples/guestbook && npx nomos-compile)';
   }
   if (!File('$_runtimeDir/holon-testmint.wasm').existsSync() ||
-      !File('$_runtimeDir/packages.json').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;
@@ -41,7 +42,7 @@ void main() {
       return;
     }
     final harness = await NomosTestHarness.ephemeral(
-      deployJsonPaths: [_gbDeploy],
+      lawUsdzPaths: [_gbDeploy],
       workspace: 'stall-ws',
       nodeEntry: _repoEntry,
       resolveFrom: '$_root/cloud/web-client',