@githolon/dsl 0.119.9 → 0.119.12

package/dart/CHANGELOG.md

@@ -1,3 +1,15 @@
+## 0.70.12
+
+- Reconcile a completed round's outstanding work and copy repairs before folding application sync status, so a successful reconnect clears the aggregate pending state immediately. Add opt-in session and aggregate sync trace provenance.
+- Keep application sync pending while background follows, stream queues or preparation remain outstanding; release that state on their final report without requiring another session event.
+- Keep pending-commit counts available from retained local history when the network link is closed; do not turn missing custody into a zero count.
+
+Run event-triggered application projection refreshes in the shared background scheduling context. Preserve cross-workspace updates and initial visible-read priority without repeatedly delaying native sync.
+
+## 0.70.11
+
+- A pack tidy that fails after a sync no longer shows the application as still preparing: the read index a sync owes is reported under its own read cause, and a SYNC report is custody upkeep alone (CAP-952).
+
 ## 0.70.10
 
 Deliver the shared runtime's owned, bounded pack import continuations and cancellation with the matching kernel protocol, preventing concurrent workspace acquisition from dropping an active import.

package/dart/lib/src/background_work.dart

@@ -0,0 +1,11 @@
+import 'dart:async';
+
+final Object _background = Object();
+
+/// Marks automatic application work for the host scheduler. This does not
+/// change authorization, results or sync evidence; user requests keep priority.
+Future<T> nomosRunInBackground<T>(Future<T> Function() body) =>
+    runZoned(body, zoneValues: {_background: true});
+
+/// Inherited through awaited continuations and stream callbacks in this zone.
+bool get nomosInBackground => Zone.current[_background] == true;

package/dart/lib/src/peer_application_streams.dart

@@ -1,3 +1,4 @@
+import 'background_work.dart' show nomosRunInBackground;
 import 'application_status.dart' show ApplicationStatus;
 import 'nms_generated_runtime.dart' show NomosSession, SyncStatus;
 import 'workspace_open_progress.dart' show ApplicationWorkspaceOpenProgress;
@@ -75,7 +76,7 @@ final class NmsPeerApplicationStreamView implements NmsPeerApplicationStreams {
         var reading = false;
         var reread = false;
 
-        Future<void> refresh() async {
+        Future<void> refresh({bool automatic = false}) async {
           if (reading) {
             reread = true;
             return;
@@ -84,18 +85,22 @@ final class NmsPeerApplicationStreamView implements NmsPeerApplicationStreams {
           do {
             reread = false;
             try {
-              final value = await read();
+              final value =
+                  await (automatic ? nomosRunInBackground(read) : read());
               if (!events.isClosed) events.add(value);
             } catch (error, stackTrace) {
               if (!events.isClosed) events.addError(error, stackTrace);
             }
+            // A change coalesced during the initial visible read is automatic
+            // too; it must not inherit that first read's user priority.
+            automatic = true;
           } while (reread && !events.isClosed);
           reading = false;
         }
 
         final subscriptions = changes
             .map((stream) => stream.listen(
-                  (_) => refresh(),
+                  (_) => refresh(automatic: true),
                   onError: events.addError,
                 ))
             .toList(growable: false);

package/dart/lib/src/reception/dart_reception.dart

@@ -971,10 +971,6 @@ class DartReception {
         }
       }
       final observedAt = DateTime.now();
-      _eventPlane._updateScopedStatus(
-        session,
-        (current) => reduceSyncCompletion(current, completed, observedAt),
-      );
       // A round may "complete" over a damaged copy (nothing pulled, head unchanged) while its
       // kernel cannot read a commit of it; that is reported as a separate failure. Either says
       // the copy is being repaired, and a refetch that replaced it says it is repaired.
@@ -997,6 +993,23 @@ class DartReception {
               at: observedAt, detail: nmsOwedWorkDetail(result));
         }
       }
+      // Reconcile the round's owed-work/repair facts BEFORE reducing and folding
+      // its result. Otherwise a released session becomes idle after the fold,
+      // leaving the application syncing until some unrelated event (CAP-791).
+      _eventPlane._updateScopedStatus(
+        session,
+        (current) => reduceSyncCompletion(current, completed, observedAt),
+      );
+      if (NomosTrace.enabled) {
+        final status = session == null
+            ? syncStatuses.applicationStatus
+            : syncStatuses.statusFor(session);
+        NomosTrace.emit('dart', 'sync.completed',
+            'session=$session reason=${completed.reason} '
+            'phase=${status.phase.name} live=${status.live} '
+            'owed=${syncStatuses.unsharedWork.length} '
+            'aggregate=${syncStatuses.applicationStatus.phase.name}');
+      }
       return;
     }
     if (event.hasLawChanged()) {

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

@@ -55,47 +55,56 @@ final class WorkspacePreparationReport {
     WorkspacePreparationReport? previous,
   }) {
     final kernel = progress.hasKernel() ? progress.kernel : null;
-    final retry =
-        progress.hasRetryAfterMillis() ? progress.retryAfterMillis : null;
+    final retry = progress.hasRetryAfterMillis()
+        ? progress.retryAfterMillis
+        : null;
     final step = progress.satisfiedByRead
         ? WorkspacePreparationStep.complete
         : kernel == null
-            ? switch (progress.cause) {
-                protocol.ReadMaintenanceCause
-                      .READ_MAINTENANCE_CAUSE_DOMAIN_PREPARATION =>
-                  WorkspacePreparationStep.preparingWrites,
-                protocol.ReadMaintenanceCause.READ_MAINTENANCE_CAUSE_OPEN ||
-                protocol
-                    .ReadMaintenanceCause.READ_MAINTENANCE_CAUSE_READ_DEBT ||
-                protocol
-                      .ReadMaintenanceCause.READ_MAINTENANCE_CAUSE_RESIDENCY =>
-                  WorkspacePreparationStep.preparingReads,
-                _ => WorkspacePreparationStep.preparingWorkspace,
-              }
-            : switch (kernel.phase) {
-                protocol.MaintenancePhase.MAINTENANCE_PHASE_READ_DOCUMENTS ||
-                protocol.MaintenancePhase.MAINTENANCE_PHASE_SQLITE_INDEX ||
-                protocol.MaintenancePhase.MAINTENANCE_PHASE_READ_INDEX_CACHE =>
-                  WorkspacePreparationStep.preparingReads,
-                protocol.MaintenancePhase.MAINTENANCE_PHASE_COMMAND_FRONTIER ||
-                protocol.MaintenancePhase.MAINTENANCE_PHASE_COMMAND_ROUTE =>
-                  WorkspacePreparationStep.preparingWrites,
-                protocol.MaintenancePhase.MAINTENANCE_PHASE_GIT_CUSTODY =>
-                  WorkspacePreparationStep.preparingCustody,
-                protocol.MaintenancePhase.MAINTENANCE_PHASE_COMPLETE =>
-                  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 ||
+        ? switch (progress.cause) {
+            protocol
+                .ReadMaintenanceCause
+                .READ_MAINTENANCE_CAUSE_DOMAIN_PREPARATION =>
+              WorkspacePreparationStep.preparingWrites,
+            protocol.ReadMaintenanceCause.READ_MAINTENANCE_CAUSE_OPEN ||
+            protocol.ReadMaintenanceCause.READ_MAINTENANCE_CAUSE_READ_DEBT ||
+            protocol.ReadMaintenanceCause.READ_MAINTENANCE_CAUSE_RESIDENCY =>
+              WorkspacePreparationStep.preparingReads,
+            _ => WorkspacePreparationStep.preparingWorkspace,
+          }
+        : switch (kernel.phase) {
+            protocol.MaintenancePhase.MAINTENANCE_PHASE_READ_DOCUMENTS ||
+            protocol.MaintenancePhase.MAINTENANCE_PHASE_SQLITE_INDEX ||
+            protocol.MaintenancePhase.MAINTENANCE_PHASE_READ_INDEX_CACHE =>
+              WorkspacePreparationStep.preparingReads,
+            protocol.MaintenancePhase.MAINTENANCE_PHASE_COMMAND_FRONTIER ||
+            protocol.MaintenancePhase.MAINTENANCE_PHASE_COMMAND_ROUTE =>
+              WorkspacePreparationStep.preparingWrites,
+            protocol.MaintenancePhase.MAINTENANCE_PHASE_GIT_CUSTODY =>
+              WorkspacePreparationStep.preparingCustody,
+            protocol.MaintenancePhase.MAINTENANCE_PHASE_COMPLETE =>
+              WorkspacePreparationStep.complete,
+            _ => WorkspacePreparationStep.preparingWorkspace,
+          };
+    // Packing Git custody after writes or after a sync, or upkeep merely scheduled because
+    // commits were admitted or received, never holds a read or a write: the workspace is ready
+    // meanwhile. The read index a sync owes is reported under its own read cause, so a report
+    // carrying the SYNC cause is custody upkeep alone. Without SYNC here, one failed pack tidy
+    // after a sync showed the whole application as "still preparing" for its back-off (up to
+    // 30 minutes) while every workspace was up to date (prod web, 13 Oct 2026).
+    final upkeep =
+        step == WorkspacePreparationStep.preparingCustody ||
         (kernel == null &&
-            progress.cause ==
-                protocol.ReadMaintenanceCause
-                    .READ_MAINTENANCE_CAUSE_ADMITTED_OFFER);
+            (progress.cause ==
+                    protocol
+                        .ReadMaintenanceCause
+                        .READ_MAINTENANCE_CAUSE_ADMITTED_OFFER ||
+                progress.cause ==
+                    protocol.ReadMaintenanceCause.READ_MAINTENANCE_CAUSE_SYNC));
     return WorkspacePreparationReport(
       step: step,
-      active: retry == null &&
+      active:
+          retry == null &&
           !upkeep &&
           !progress.stopped &&
           !progress.satisfiedByRead &&
@@ -108,18 +117,18 @@ final class WorkspacePreparationReport {
       gitFrontier: kernel == null
           ? null
           : kernel.hasGitFrontier()
-              ? kernel.gitFrontier
-              : previous?.gitFrontier,
+          ? kernel.gitFrontier
+          : previous?.gitFrontier,
       readFrontier: kernel == null
           ? null
           : kernel.hasReadFrontier()
-              ? kernel.readFrontier
-              : previous?.readFrontier,
+          ? kernel.readFrontier
+          : previous?.readFrontier,
       sqliteFrontier: kernel == null
           ? null
           : kernel.hasSqliteFrontier()
-              ? kernel.sqliteFrontier
-              : previous?.sqliteFrontier,
+          ? kernel.sqliteFrontier
+          : previous?.sqliteFrontier,
     );
   }