@githolon/dsl 0.108.6 → 0.110.0

package/dart/lib/src/workspace_name.dart

@@ -1,30 +0,0 @@
-@internal
-library;
-
-import 'package:meta/meta.dart' show internal;
-
-import 'dart:convert';
-
-import 'package:crypto/crypto.dart';
-
-/// The unit separator (0x1F) that disambiguates `(namespace, key)` in the name hash input.
-final String workspaceNameSep = String.fromCharCode(31);
-
-/// Re-derive the workspace name a keyed birth produced, so you can ADDRESS a born workspace from a key you
-/// own — with zero persistence, on any device, any time.
-///
-/// A workspace exists to be used, and using it means finding it again. When a law births a child with
-/// `birth.keyed({ key, namespace })` (the `@githolon/dsl` verb), the workspace name is
-/// `<namespace>-<sha256(namespace + SEP + key)[:40]>`. This function computes the IDENTICAL name — it is the
-/// byte-for-byte mirror of `@githolon/dsl`'s `workspaceNameForKey` and `@githolon/client`'s
-/// `deriveWorkspaceName`, contract-tested against shared vectors. So instead of persisting a minted name or
-/// hand-rolling an `estateWorkspaceForEstateId` helper, you write:
-///
-/// ```dart
-/// final ws = deriveWorkspaceName('estate', estateId); // open / sync / mount it
-/// ```
-String deriveWorkspaceName(String namespace, String key) {
-  final digest =
-      sha256.convert(utf8.encode('$namespace$workspaceNameSep$key')).toString();
-  return '$namespace-${digest.substring(0, 40)}';
-}

package/dart/test/acquire_session_credentials_test.dart

@@ -1,150 +0,0 @@
-// ACQUIRE-SESSION: THE GENUINE CLOUD-OPEN LANE (task #86 gaps 1+2). The gauntlet proved the
-// credential-FREE lanes (known workspace, single-flight); this test drives the one lane it could
-// not: a workspace that is NOWHERE on the local plane, where [ifAbsentCredentials] MUST be invoked
-// — exactly once, even under a concurrent double-acquire — and the connect is made with what it
-// returns. Runs hermetically on the offline runner (the "cloud" is the runner's offline shim, so
-// no network is ever contacted; what is under test is the acquire protocol, not the transport).
-//
-// This file also IS the internal conformance regression: it imports only the obscured
-// framework conformance runtime and types a
-// `Future<NomosSessionCredentials> Function()` callback — before the barrel fix that did not compile.
-@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 _docsDeploy =>
-    '$_root/bench/scale/fixtures/surfaced/build/surfaced.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(_docsDeploy).existsSync()) {
-    return 'missing fixture $_docsDeploy — compile it: '
-        '(cd bench/scale/fixtures/surfaced && node ../../../../dsl/compile_package.mjs)';
-  }
-  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;
-}
-
-Future<T> _leg<T>(String name, Future<T> Function() body) async {
-  final sw = Stopwatch()..start();
-  // ignore: avoid_print
-  print('▶ ACQUIRE $name …');
-  try {
-    final r = await body();
-    // ignore: avoid_print
-    print('✔ ACQUIRE $name (${sw.elapsedMilliseconds}ms)');
-    return r;
-  } catch (e, st) {
-    throw TestFailure(
-        'ACQUIRE $name FAILED after ${sw.elapsedMilliseconds}ms:\n$e\n$st');
-  }
-}
-
-void main() {
-  test(
-      'acquireSession: the absent-workspace lane invokes ifAbsentCredentials exactly once',
-      () async {
-    final missing = _missingPrereq();
-    if (missing != null) {
-      markTestSkipped(missing);
-      return;
-    }
-    final harness = await NomosTestHarness.ephemeral(
-      lawUsdzPaths: [_docsDeploy],
-      workspace: 'acquire-home',
-      nodeEntry: _repoEntry,
-      runtimeDir: _runtimeDir,
-      phaseTimeout: const Duration(seconds: 120),
-    );
-    try {
-      final plane = harness.bridge;
-
-      // ── LEG 1 (gap 1, compile-time + runtime): the callback TYPE is reachable from the headless
-      //    barrel alone, and a credentials object constructs with the documented fields. ──
-      await _leg(
-          'leg 1: internal conformance runtime carries session credentials',
-          () async {
-        // ignore: prefer_function_declarations_over_variables
-        final Future<NomosSessionCredentials> Function() typedCallback =
-            () async => const NomosSessionCredentials(
-                cloud: 'https://offline.invalid', allowUnborn: true);
-        final c = await typedCallback();
-        expect(c.cloud, 'https://offline.invalid');
-        expect(c.allowUnborn, isTrue);
-      });
-
-      // ── LEG 2: a genuinely-absent workspace WITHOUT a callback is a NAMED StateError, never a
-      //    silent cloudless mount. ──
-      await _leg(
-          'leg 2: absent workspace without credentials refuses (StateError)',
-          () async {
-        await expectLater(
-            plane.acquireSession('nowhere-at-all'),
-            throwsA(isA<StateError>().having((e) => e.toString(), 'message',
-                contains('ifAbsentCredentials'))));
-      });
-
-      // ── LEG 3: THE CLOUD-OPEN LANE — an absent workspace + a concurrent double-acquire: the
-      //    callback fires EXACTLY ONCE (single-flight), the connect is made with its credentials,
-      //    and both callers get the SAME mounted session. ──
-      var invocations = 0;
-      await _leg(
-          'leg 3: concurrent double-acquire → one credentials invocation, one handle',
-          () async {
-        Future<NomosSessionCredentials> creds() async {
-          invocations++;
-          return const NomosSessionCredentials(
-              cloud: 'https://offline.invalid',
-              clientId: 'acquired-client',
-              allowUnborn: true);
-        }
-
-        final acquired = await Future.wait([
-          plane.acquireSession('cloud-opened-ws', ifAbsentCredentials: creds),
-          plane.acquireSession('cloud-opened-ws', ifAbsentCredentials: creds),
-        ]).timeout(const Duration(seconds: 60),
-            onTimeout: () =>
-                throw StateError('the cloud-open acquire never completed'));
-        expect(invocations, 1,
-            reason:
-                'a concurrent double-acquire must invoke the credentials callback ONCE');
-        expect(identical(acquired[0], acquired[1]), isTrue,
-            reason: 'both concurrent acquirers get the SAME session handle');
-        expect(acquired[0].workspace, 'cloud-opened-ws');
-        final listed = await plane.listWorkspaces();
-        expect(listed.map((workspace) => workspace.session),
-            contains('cloud-opened-ws'),
-            reason: 'the acquired workspace is mounted on the plane');
-      });
-
-      // ── LEG 4: a re-acquire of the now-mounted workspace hits the fast path — the callback is
-      //    NEVER invoked again. ──
-      await _leg('leg 4: re-acquire is credential-free (fast path)', () async {
-        final again = await plane.acquireSession('cloud-opened-ws',
-            ifAbsentCredentials: () async => fail(
-                'the workspace is mounted — credentials must not be requested'));
-        expect(again.workspace, 'cloud-opened-ws');
-        expect(invocations, 1);
-      });
-    } finally {
-      await harness.dispose().timeout(const Duration(seconds: 30),
-          onTimeout: () => throw StateError('harness disposal hung'));
-    }
-  }, timeout: const Timeout(Duration(minutes: 5)));
-}