@githolon/dsl 0.119.11 → 0.119.12

package/dart/CHANGELOG.md

@@ -1,3 +1,11 @@
+## 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).

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()) {