@githolon/dsl 0.107.0 → 0.107.1

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.64.40
+version: 0.64.46
 
 environment:
   sdk: ^3.5.0

package/dart/test/webview_bridge_test.dart

@@ -331,6 +331,24 @@ class FakeRunner implements BridgeTransport {
   /// Simulate one background-sync event from the runner.
   void pushSync(Map<String, Object?> event) =>
       _incoming.add({'v': kWebviewBridgeVersion, 'event': 'sync', ...event});
+
+  void pushKernelProgress({required int completed, required int total}) =>
+      _incoming.add({
+        'v': kWebviewBridgeVersion,
+        'event': 'kernelProgress',
+        'schemaVersion': 1,
+        'sequence': completed,
+        'operation': 'restoreMain',
+        'phase': 'verifyIntents',
+        'completed': completed,
+        'total': total,
+        'unit': 'intent',
+        'terminal': completed == total,
+        'kernelAllocatorLiveBytes': 384 * 1024 * 1024,
+        'kernelAllocatorPeakBytes': 512 * 1024 * 1024,
+        'processResidentBytes': 3 * 1024 * 1024 * 1024,
+        'processPeakResidentBytes': 4 * 1024 * 1024 * 1024,
+      });
 }
 
 class ErrorRunner implements BridgeTransport {
@@ -775,8 +793,7 @@ void main() {
         await bridge.lawStatus('abc'), {'installed': true, 'drifted': false});
   });
 
-  test(
-      'version status returns the required sum type without resolving history',
+  test('version status returns the required sum type without resolving history',
       () async {
     await bridge.ready;
     final reference = NmsInternalVersionedNomosRefs.create<Object, Object>(
@@ -1463,4 +1480,24 @@ void main() {
     expect(e.info.operation, 'sync');
     expect(e.info.trace.traceId, isNotEmpty);
   });
+
+  test('typed kernel progress preserves the measured verification fraction',
+      () async {
+    await bridge.ready;
+    final next = bridge.kernelProgress.first;
+    runner.pushKernelProgress(completed: 2081, total: 4162);
+    final progress = await next;
+    expect(progress.operation, KernelProgressOperation.restoreMain);
+    expect(progress.phase, KernelProgressPhase.verifyIntents);
+    expect(progress.unit, KernelProgressUnit.intent);
+    expect(progress.completed, 2081);
+    expect(progress.total, 4162);
+    expect(progress.fraction, 0.5);
+    expect(progress.terminal, isFalse);
+    expect(progress.kernelAllocatorLiveBytes, 384 * 1024 * 1024);
+    expect(progress.kernelAllocatorPeakBytes, 512 * 1024 * 1024);
+    expect(progress.processResidentBytes, 3 * 1024 * 1024 * 1024);
+    expect(progress.processPeakResidentBytes, 4 * 1024 * 1024 * 1024);
+    expect(progress.unaccountedResidentBytes, (3 * 1024 - 384) * 1024 * 1024);
+  });
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@githolon/dsl",
-  "version": "0.107.0",
+  "version": "0.107.1",
   "type": "module",
   "sideEffects": false,
   "description": "Nomos 2 domain-authoring DSL: aggregates + directives in TS, executed and encoded to the Rust kernel's wire shapes.",