@githolon/dsl 0.112.12 → 0.113.0

package/dart/CHANGELOG.md

@@ -1,3 +1,13 @@
+## 0.67.0
+
+- A write sent over the live link has its receipt converge on the custodian's admission: the live desk reports the
+  admitted intent ids of its own batch, so `receipt.converged` resolves (CAP-656).
+- Warm restarts do less work: background command and closure warms yield to an application's open, the kernel's
+  boot laws stay out of durable custody, and the controller law is verified from cache by content address.
+- A connected workspace confirms local writes from the custodian's sealed admission returned over its live link
+  (CAP-656). It no longer probes the frontier or re-offers the same writes over HTTP; that round runs only when the
+  link is closed or the admission does not arrive within 10 seconds.
+
 ## 0.66.14
 
 - Retain the completed browser runtime: durable custody receipts, independent WebSocket follows, correct admission of HTTP-relayed sealed offers, and no upstream reconciliation triggered by received work.

package/dart/lib/src/application_status.dart

@@ -65,6 +65,13 @@ final class ApplicationStatus {
   final int retryingWorkspaces;
   final String? preparationActivity;
 
+  /// Live stream progress summed across followed workspaces: local changes not yet sent to
+  /// their custodian, and changes sent whose acceptance has not yet come back. Zero when idle.
+  int get unsentChanges =>
+      workspaceFollows.fold(0, (total, follow) => total + (follow.unsent ?? 0));
+  int get unacknowledgedChanges => workspaceFollows.fold(
+      0, (total, follow) => total + (follow.unacknowledged ?? 0));
+
   bool get isUsable => phase != ApplicationStatusPhase.attention;
   bool get isCurrent =>
       phase == ApplicationStatusPhase.current &&

package/dart/lib/src/reception/event_desk.dart

@@ -162,6 +162,8 @@ final class ReceptionEventDesk {
   }
 
   void markReady() {
+    // ignore: avoid_print
+    if (!_ready.isCompleted) print('[nomos-host] event plane ready');
     if (!_ready.isCompleted) _ready.complete();
   }
 

package/dart/lib/src/reception/workspace_preparation_report.dart

@@ -76,9 +76,16 @@ final class WorkspacePreparationReport {
                   WorkspacePreparationStep.complete,
                 _ => WorkspacePreparationStep.preparingWorkspace,
               };
+    // Packing Git custody after writes, or upkeep merely scheduled because this peer's own
+    // writes were admitted, never holds a read or a write: the workspace is ready meanwhile.
+    final upkeep = step == WorkspacePreparationStep.preparingCustody ||
+        (kernel == null &&
+            progress.cause ==
+                protocol.ReadMaintenanceCause.READ_MAINTENANCE_CAUSE_ADMITTED_OFFER);
     return WorkspacePreparationReport(
       step: step,
       active: retry == null &&
+          !upkeep &&
           !progress.stopped &&
           !progress.satisfiedByRead &&
           (kernel == null || kernel.maintenancePending),