@githolon/dsl 0.112.0 → 0.112.2

package/dart/CHANGELOG.md

@@ -1,3 +1,8 @@
+## 0.66.10
+
+- Share the existing typed platform-effect handler with browser background work, so console enrolment, device identity and law acquisition can complete without a foreground invocation.
+- Restage the peer runtime with residency-aware live correspondence and full Git-ref retention checks.
+
 ## 0.66.9
 
 - Prepare delayed workspace enrollment inside Peer Office and retry a proven non-admitted write once. Generated applications can observe preparation while retaining their draft.

package/dart/lib/src/runner/node-entry.mjs

@@ -7290,7 +7290,7 @@ function runtimeKernelPort(engine) {
             case: "resolveRef",
             value: create(ResolveRefRequestSchema, {
               repo: workspaceRepositoryPath(workspace),
-              reference: `refs/heads/${branch}`
+              reference: branch.startsWith("refs/") ? branch : `refs/heads/${branch}`
             })
           }
         })
@@ -8272,7 +8272,6 @@ function gitCustodyDesk(kernel, fetchImpl = fetch, observe, phaseStarted) {
       return acquired;
     },
     deepenMain(workspace, ledger) {
-      if (ledger.operatorCustody !== true) return Promise.resolve({ changed: false, complete: true });
       return acquiring(workspace, ledger, "deepen-main", async () => {
         if (resolveRef(workspace, branchRef("main")) === void 0) {
           const acquired = await acquireMain(workspace, ledger);
@@ -13601,6 +13600,7 @@ var PeerPlatformShell = class {
       // one constitutional genesis offer. WorkspaceAccessDesk decides whether
       // that exact request may proceed against the unborn kernel mount.
       async openCustody(workspace) {
+        if (physical.openLocalCustody) return physical.openLocalCustody(workspace);
         await custody.acquireMain(workspace, await ledgerFor(workspace));
         return {};
       },
@@ -13616,7 +13616,12 @@ var PeerPlatformShell = class {
       },
       persistBornCustody: (effect) => physical.persistBornCustody(effect),
       retainFrontier: (effect) => physical.retainFrontier(effect),
-      ...physical.completeHistoryInLocalCustody ? {
+      ...physical.advanceHistory ? {
+        advanceHistory: (workspace, capability) => {
+          const credential = capability ? this.#credentials.authToken(capability) : authToken;
+          return physical.advanceHistory(workspace, credential && new TextDecoder().decode(credential));
+        }
+      } : physical.completeHistoryInLocalCustody ? {
         // The kernel mounts a shallow working copy; the peer's own Git custody is deep.
         // One bounded slice per call; the Peer Office decides whether and when to take the next.
         async advanceHistory(workspace) {
@@ -22969,10 +22974,11 @@ var LiveCorrespondenceDesk = class {
       failures: 0,
       origin: origin2,
       publisher: !binding.cloudBound,
-      published: !binding.cloudBound ? head : void 0
+      published: !binding.cloudBound ? head : void 0,
+      wasResident: this.kernel.isResident(binding.workspace) !== false
     };
     this.#links.set(binding.workspace, link);
-    this.#open(link);
+    if (link.wasResident) this.#open(link);
   }
   changed(workspace) {
     const link = this.#links.get(workspace);
@@ -23129,9 +23135,11 @@ var LiveCorrespondenceDesk = class {
     let wake;
     for (const link of this.#links.values()) {
       if (this.kernel.isResident(link.binding.workspace) === false) {
-        this.disconnect(link.binding.workspace);
+        if (link.wasResident) this.disconnect(link.binding.workspace);
+        else wake = wake === void 0 || wake > 250n ? 250n : wake;
         continue;
       }
+      link.wasResident = true;
       if (link.state === "opening" && now >= link.due) {
         this.#effect(link, { case: "close", value: true });
         link.state = "closed";
@@ -30812,7 +30820,7 @@ var executeGitPushEffect = async (effect, fetchImpl) => {
     });
   }
 };
-async function drivePeerFrame(runner, initialFrame, fetchImpl = globalThis.fetch, custody, bornCustody, credentialRefresh, yieldWakeToCaller = false, deviceIdentity, lawPackage, yieldLocalReadToCaller = false, yieldHistoryToCaller = false) {
+async function drivePeerFrame(runner, initialFrame, fetchImpl = globalThis.fetch, custody, bornCustody, credentialRefresh, yieldWakeToCaller = false, deviceIdentity, lawPackage, yieldLocalReadToCaller = false, yieldHistoryToCaller = false, performExternalEffect) {
   const persistBornCustody = bornCustody ?? (custody?.persistBornCustody ? (effect) => custody.persistBornCustody(effect) : void 0);
   let responseFrame = runner.handleFrame(initialFrame);
   const satisfied = /* @__PURE__ */ new Set();
@@ -30948,12 +30956,10 @@ async function drivePeerFrame(runner, initialFrame, fetchImpl = globalThis.fetch
     if (pending.effect.case === "historyAcquisition" && (yieldHistoryToCaller || !custody?.advanceHistory)) {
       return responseFrame;
     }
-    if (pending.effect.case === "refreshCredential" && credentialRefresh === externalPeerEffect) return responseFrame;
-    if (pending.effect.case === "deviceIdentity" && deviceIdentity === externalPeerEffect) return responseFrame;
-    if (pending.effect.case === "lawPackage" && lawPackage === externalPeerEffect) return responseFrame;
     if (pending.effect.case === "wake" && yieldWakeToCaller) return responseFrame;
-    if (pending.effect.case === "consoleEnrolment") return responseFrame;
-    const receipt = pending.effect.case === "http" ? await executeHttpEffect(pending.effect.value, fetchImpl) : pending.effect.case === "gitFetch" ? await executeGitFetchWithAlongside(pending.effect.value, fetchImpl) : pending.effect.case === "gitPush" ? await executeGitPushEffect(pending.effect.value, fetchImpl) : pending.effect.case === "persistBornCustody" ? create(PeerEffectReceiptSchema, {
+    const external = pending.effect.case === "refreshCredential" && credentialRefresh === externalPeerEffect || pending.effect.case === "deviceIdentity" && deviceIdentity === externalPeerEffect || pending.effect.case === "lawPackage" && lawPackage === externalPeerEffect || pending.effect.case === "consoleEnrolment";
+    if (external && !performExternalEffect) return responseFrame;
+    const receipt = external ? await performExternalEffect(pending) : pending.effect.case === "http" ? await executeHttpEffect(pending.effect.value, fetchImpl) : pending.effect.case === "gitFetch" ? await executeGitFetchWithAlongside(pending.effect.value, fetchImpl) : pending.effect.case === "gitPush" ? await executeGitPushEffect(pending.effect.value, fetchImpl) : pending.effect.case === "persistBornCustody" ? create(PeerEffectReceiptSchema, {
       effectId: pending.effect.value.effectId,
       outcome: {
         case: "bornCustodyPersisted",
@@ -30981,7 +30987,7 @@ async function drivePeerFrame(runner, initialFrame, fetchImpl = globalThis.fetch
 async function executeHistoryAcquisitionEffect(effect, custody) {
   try {
     if (!custody.advanceHistory) throw new Error("platform shell has no history acquisition capability");
-    const progress = await custody.advanceHistory(effect.workspace);
+    const progress = await custody.advanceHistory(effect.workspace, effect.credentialCapability);
     return create(PeerEffectReceiptSchema, {
       effectId: effect.effectId,
       outcome: {
@@ -31212,7 +31218,7 @@ var targetOf = (frame) => {
   };
 };
 function openPeerOfficeHost(kernel, shell, fetchImpl = globalThis.fetch, maintenanceSettled, postEvent2 = () => {
-}, credentialRefresh, yieldWakeToCaller = false, deviceIdentity, lawPackage) {
+}, credentialRefresh, yieldWakeToCaller = false, deviceIdentity, lawPackage, performExternalEffect) {
   let runner;
   const configuredOrigins = new Set((shell.providerOrigins?.() ?? []).map((provider) => originOf(provider)).filter((origin2) => origin2 !== void 0));
   const permittedSocket = (url) => {
@@ -31221,10 +31227,10 @@ function openPeerOfficeHost(kernel, shell, fetchImpl = globalThis.fetch, mainten
     return origin2 !== void 0 && configuredOrigins.has(origin2);
   };
   const sockets = socketEffects(
-    (frame) => drivePeerFrame(runner, frame, fetchImpl, shell.custodyPort(), void 0, void 0, false, deviceIdentity, lawPackage),
+    (frame) => drivePeerFrame(runner, frame, fetchImpl, shell.custodyPort(), void 0, void 0, false, deviceIdentity, lawPackage, false, false, performExternalEffect),
     permittedSocket
   );
-  const credentials = credentialEffects((frame) => drivePeerFrame(runner, frame, fetchImpl, shell.custodyPort(), void 0, credentialRefresh, false, deviceIdentity, lawPackage), credentialRefresh);
+  const credentials = credentialEffects((frame) => drivePeerFrame(runner, frame, fetchImpl, shell.custodyPort(), void 0, credentialRefresh, false, deviceIdentity, lawPackage, false, false, performExternalEffect), credentialRefresh);
   runner = createPeerOfficeFrameRunner(
     kernel,
     shell.credentials(),
@@ -31249,7 +31255,10 @@ function openPeerOfficeHost(kernel, shell, fetchImpl = globalThis.fetch, mainten
         credentialRefresh,
         false,
         deviceIdentity,
-        lawPackage
+        lawPackage,
+        false,
+        false,
+        performExternalEffect
       );
     },
     shell.peerDeskStore()
@@ -31301,7 +31310,10 @@ function openPeerOfficeHost(kernel, shell, fetchImpl = globalThis.fetch, mainten
         credentialRefresh,
         yieldWakeToCaller,
         deviceIdentity,
-        lawPackage
+        lawPackage,
+        false,
+        false,
+        performExternalEffect
       );
     },
     settleRetention: (withinMillis) => runner.settleRetention(withinMillis),

package/dart/lib/src/runtime_v2_transport.dart

@@ -477,6 +477,36 @@ mixin NmsPlatformCredentialProviderHost
     }
   }
 
+  /// Execute one typed effect carried by either a foreground or background paper.
+  Future<nomos_protocol.PeerEffectReceipt> performExternalEffect(
+    nomos_protocol.CorrespondencePending pending,
+  ) async {
+    final nomos_protocol.PeerEffectReceipt receipt;
+    if (pending.hasDeviceIdentity()) {
+      receipt = await performDeviceIdentityEffect(pending.deviceIdentity);
+    } else if (pending.hasLawPackage()) {
+      receipt = await performLawPackageEffect(pending.lawPackage);
+    } else if (pending.hasConsoleEnrolment()) {
+      receipt = await performConsoleEnrolment(pending.consoleEnrolment);
+    } else if (pending.hasWake()) {
+      // The shared runtime chooses the delay and checks its own clock.
+      // Waiting outside the serial Node frame lane keeps it available for
+      // credential-provider calls while authentication is pending.
+      await Future<void>.delayed(
+        Duration(milliseconds: pending.wake.delayMillis),
+      );
+      receipt = nomos_protocol.PeerEffectReceipt(
+        effectId: pending.wake.effectId,
+        woken: nomos_protocol.PeerWoken(),
+      );
+    } else if (pending.hasRefreshCredential()) {
+      receipt = await performCredentialRefresh(pending.refreshCredential);
+    } else {
+      throw StateError('Unsupported enclosing-shell effect');
+    }
+    return receipt;
+  }
+
   Future<nomos_protocol.RuntimeResponse> driveCredentialEffects(
     nomos_protocol.RuntimeRequest request,
     Future<nomos_protocol.RuntimeResponse> Function(
@@ -498,26 +528,7 @@ mixin NmsPlatformCredentialProviderHost
               !response.correspondencePending.hasConsoleEnrolment() &&
               !response.correspondencePending.hasWake())) return response;
       final pending = response.correspondencePending;
-      final nomos_protocol.PeerEffectReceipt receipt;
-      if (pending.hasDeviceIdentity()) {
-        receipt = await performDeviceIdentityEffect(pending.deviceIdentity);
-      } else if (pending.hasLawPackage()) {
-        receipt = await performLawPackageEffect(pending.lawPackage);
-      } else if (pending.hasConsoleEnrolment()) {
-        receipt = await performConsoleEnrolment(pending.consoleEnrolment);
-      } else if (pending.hasWake()) {
-        // The shared runtime chooses the delay and checks its own clock.
-        // Waiting outside the serial Node frame lane keeps it available for
-        // credential-provider calls while authentication is pending.
-        await Future<void>.delayed(
-            Duration(milliseconds: pending.wake.delayMillis));
-        receipt = nomos_protocol.PeerEffectReceipt(
-          effectId: pending.wake.effectId,
-          woken: nomos_protocol.PeerWoken(),
-        );
-      } else {
-        receipt = await performCredentialRefresh(pending.refreshCredential);
-      }
+      final receipt = await performExternalEffect(pending);
       next = nomos_protocol.RuntimeRequest(
         protocolVersion: 2,
         requestId: request.requestId,

package/dart/pubspec.yaml

@@ -7,7 +7,7 @@ repository: https://github.com/Captain-App/nomos2
 description: >-
   Nomos 2 Dart client — generated domain values, intent payloads and application
   lifecycle types over the typed Nomos kernel protocol and USDA custody model.
-version: 0.66.9
+version: 0.66.10
 
 environment:
   sdk: ^3.5.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@githolon/dsl",
-  "version": "0.112.0",
+  "version": "0.112.2",
   "type": "module",
   "sideEffects": false,
   "description": "Nomos 2 domain-authoring DSL: aggregates + directives in TS, executed and encoded to the Rust kernel's wire shapes.",
@@ -73,7 +73,7 @@
     "test": "vitest run"
   },
   "dependencies": {
-    "@githolon/runtime": "^0.112.0",
+    "@githolon/runtime": "^0.112.2",
     "@bufbuild/protobuf": "^2.13.0",
     "@bufbuild/protoc-gen-es": "^2.13.0",
     "esbuild": "0.24.2",

package/src/compile_package_main.ts

@@ -2545,8 +2545,8 @@ const NOMOS_TYPES_DEP = "^0.11.3";
 // 0.48.x: session-bound clients (XClient.bind/NomosClientInterface/DomainClientSessionMismatch/
 //         DomainNotInstalledForSession, engine.follow, pendingConflicts lanes) — the generated client
 //         REQUIRES this surface. 0.48.1 fixes NomosSession.watchPendingConflicts delegation.
-const NOMOS_CLIENT_DEP = "^0.66.9";
-const NOMOS_FLUTTER_DEP = "^0.65.14";
+const NOMOS_CLIENT_DEP = "^0.66.10";
+const NOMOS_FLUTTER_DEP = "^0.65.16";
 // DRIFT TRIPWIRE: pubspec_pins.test.ts asserts these equal the CURRENT versions in the Dart and Flutter
 // package pubspecs — a release without this bump fails the suite, so tenants never
 // land back in dependency_overrides (the exact co2 report this closes, third occurrence).