@githolon/dsl 0.112.12 → 0.113.1

package/dart/lib/src/sync_status_projection.dart

@@ -72,6 +72,8 @@ final class WorkspaceFollowStatus {
     this.dueAt,
     this.attempt,
     this.activeEffect,
+    this.unsent,
+    this.unacknowledged,
   });
 
   factory WorkspaceFollowStatus.fromRuntime(
@@ -126,6 +128,9 @@ final class WorkspaceFollowStatus {
             : null,
         attempt: report.hasAttempt() ? report.attempt : null,
         activeEffect: report.hasActiveEffect() ? report.activeEffect : null,
+        unsent: report.hasUnsent() ? report.unsent : null,
+        unacknowledged:
+            report.hasUnacknowledged() ? report.unacknowledged : null,
       );
 
   final String workspace;
@@ -136,6 +141,11 @@ final class WorkspaceFollowStatus {
   final DateTime? dueAt;
   final int? attempt;
   final String? activeEffect;
+
+  /// Live stream progress: local commits not yet offered to the custodian, and commits offered
+  /// whose admission has not yet come back. Null when the live link is not streaming.
+  final int? unsent;
+  final int? unacknowledged;
   bool get current => phase == WorkspaceFollowPhase.settled && live;
 }
 
@@ -286,7 +296,9 @@ bool _sameFollows(
         a.retryAt != b.retryAt ||
         a.dueAt != b.dueAt ||
         a.attempt != b.attempt ||
-        a.activeEffect != b.activeEffect) return false;
+        a.activeEffect != b.activeEffect ||
+        a.unsent != b.unsent ||
+        a.unacknowledged != b.unacknowledged) return false;
   }
   return true;
 }

package/dart/pubspec.lock

@@ -222,7 +222,7 @@ packages:
       path: "../dart_types"
       relative: true
     source: path
-    version: "0.11.3"
+    version: "0.12.0"
   package_config:
     dependency: "direct main"
     description:

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.14
+version: 0.67.0
 
 environment:
   sdk: ^3.5.0
@@ -18,7 +18,7 @@ dependencies:
   # The pure-data core (wire types, offer codec, NomosReads, schema validation, error
   # info). nomos_client depends on and re-exports it, so existing imports are unchanged.
   # For local monorepo dev, pubspec_overrides.yaml points this at ../dart_types.
-  nomos_types: ^0.11.3
+  nomos_types: ^0.12.0
   fixnum: ^1.1.1
   json_schema: ^5.2.2
   crypto: ^3.0.0

package/dart/test/workspace_preparation_upkeep_test.dart

@@ -0,0 +1,40 @@
+import 'package:nomos_client/src/reception/workspace_preparation_report.dart';
+import 'package:nomos_types/nomos_kernel_protocol.dart' as protocol;
+import 'package:test/test.dart';
+
+void main() {
+  test('packing Git custody after writes is upkeep, not preparation', () {
+    final packing = WorkspacePreparationReport.fromMaintenance(
+      protocol.ReadMaintenanceProgress(
+        workspace: 'estate',
+        cause: protocol.ReadMaintenanceCause.READ_MAINTENANCE_CAUSE_ADMITTED_OFFER,
+        kernel: protocol.MaintenanceQuantumResponse(
+          phase: protocol.MaintenancePhase.MAINTENANCE_PHASE_GIT_CUSTODY,
+          maintenancePending: true,
+        ),
+      ),
+    );
+    expect(packing.step, WorkspacePreparationStep.preparingCustody);
+    expect(packing.active, isFalse);
+
+    final scheduled = WorkspacePreparationReport.fromMaintenance(
+      protocol.ReadMaintenanceProgress(
+        workspace: 'estate',
+        cause: protocol.ReadMaintenanceCause.READ_MAINTENANCE_CAUSE_ADMITTED_OFFER,
+      ),
+    );
+    expect(scheduled.active, isFalse);
+
+    final reads = WorkspacePreparationReport.fromMaintenance(
+      protocol.ReadMaintenanceProgress(
+        workspace: 'estate',
+        cause: protocol.ReadMaintenanceCause.READ_MAINTENANCE_CAUSE_OPEN,
+        kernel: protocol.MaintenanceQuantumResponse(
+          phase: protocol.MaintenancePhase.MAINTENANCE_PHASE_SQLITE_INDEX,
+          maintenancePending: true,
+        ),
+      ),
+    );
+    expect(reads.active, isTrue, reason: 'a read index still being built is real preparation');
+  });
+}

package/dart_types/CHANGELOG.md

@@ -1,3 +1,7 @@
+## 0.12.0
+
+- Add the `LiveAdmission` live-link frame: the custodian's admission of a live batch, returned over the link (CAP-656).
+
 ## 0.11.3
 
 - Add the optional per-call write preparation observation.

package/dart_types/lib/src/proto/nomos/kernel/v1/kernel.pb.dart

@@ -17603,10 +17603,13 @@ class SyncRequest extends $pb.GeneratedMessage {
 class KernelConfigurationRequest extends $pb.GeneratedMessage {
   factory KernelConfigurationRequest({
     $core.List<$core.int>? trustRootPublicKey,
+    $core.bool? trustsCustodianHistory,
   }) {
     final result = create();
     if (trustRootPublicKey != null)
       result.trustRootPublicKey = trustRootPublicKey;
+    if (trustsCustodianHistory != null)
+      result.trustsCustodianHistory = trustsCustodianHistory;
     return result;
   }
 
@@ -17626,6 +17629,7 @@ class KernelConfigurationRequest extends $pb.GeneratedMessage {
       createEmptyInstance: create)
     ..a<$core.List<$core.int>>(
         1, _omitFieldNames ? '' : 'trustRootPublicKey', $pb.PbFieldType.OY)
+    ..aOB(2, _omitFieldNames ? '' : 'trustsCustodianHistory')
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -17649,6 +17653,7 @@ class KernelConfigurationRequest extends $pb.GeneratedMessage {
       $pb.GeneratedMessage.$_defaultFor<KernelConfigurationRequest>(create);
   static KernelConfigurationRequest? _defaultInstance;
 
+  /// Empty leaves an already configured trust root unchanged.
   @$pb.TagNumber(1)
   $core.List<$core.int> get trustRootPublicKey => $_getN(0);
   @$pb.TagNumber(1)
@@ -17657,6 +17662,20 @@ class KernelConfigurationRequest extends $pb.GeneratedMessage {
   $core.bool hasTrustRootPublicKey() => $_has(0);
   @$pb.TagNumber(1)
   void clearTrustRootPublicKey() => $_clearField(1);
+
+  /// A peer property, not law: this peer adopts the history its authenticated custodian serves
+  /// without re-proving it (no physical closure walk on import, no re-verification of the
+  /// custodian's commits on convergence). Keeping the custodian honest is then the custodian's
+  /// job, which it does by verifying every untrusted offer. Absent or false keeps full
+  /// verification. Immutable once set, like the trust root.
+  @$pb.TagNumber(2)
+  $core.bool get trustsCustodianHistory => $_getBF(1);
+  @$pb.TagNumber(2)
+  set trustsCustodianHistory($core.bool value) => $_setBool(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasTrustsCustodianHistory() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearTrustsCustodianHistory() => $_clearField(2);
 }
 
 class KernelConfigurationResponse extends $pb.GeneratedMessage {

package/dart_types/lib/src/proto/nomos/runtime/v2/correspondence_desk.pb.dart

@@ -7705,6 +7705,7 @@ class CustodyOfferBatchRequest extends $pb.GeneratedMessage {
     $core.List<$core.int>? evidencePack,
     $core.String? observedHead,
     $core.bool? fastForwardOnly,
+    $core.String? continuesAfter,
   }) {
     final result = create();
     if (protocolVersion != null) result.protocolVersion = protocolVersion;
@@ -7715,6 +7716,7 @@ class CustodyOfferBatchRequest extends $pb.GeneratedMessage {
     if (evidencePack != null) result.evidencePack = evidencePack;
     if (observedHead != null) result.observedHead = observedHead;
     if (fastForwardOnly != null) result.fastForwardOnly = fastForwardOnly;
+    if (continuesAfter != null) result.continuesAfter = continuesAfter;
     return result;
   }
 
@@ -7751,6 +7753,7 @@ class CustodyOfferBatchRequest extends $pb.GeneratedMessage {
         6, _omitFieldNames ? '' : 'evidencePack', $pb.PbFieldType.OY)
     ..aOS(7, _omitFieldNames ? '' : 'observedHead')
     ..aOB(8, _omitFieldNames ? '' : 'fastForwardOnly')
+    ..aOS(9, _omitFieldNames ? '' : 'continuesAfter')
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -7865,19 +7868,37 @@ class CustodyOfferBatchRequest extends $pb.GeneratedMessage {
   $core.bool hasFastForwardOnly() => $_has(7);
   @$pb.TagNumber(8)
   void clearFastForwardOnly() => $_clearField(8);
+
+  /// A streaming sender's batch continues its own previous batch, which ended at this commit and may
+  /// not have been answered yet. The custodian admits it on its current main when the last offer it
+  /// admitted from this session was exactly this commit and nothing else has moved its main since;
+  /// otherwise base_head fences it as above. Offers stream out and admissions stream back, each in
+  /// order, without a round trip per batch.
+  @$pb.TagNumber(9)
+  $core.String get continuesAfter => $_getSZ(8);
+  @$pb.TagNumber(9)
+  set continuesAfter($core.String value) => $_setString(8, value);
+  @$pb.TagNumber(9)
+  $core.bool hasContinuesAfter() => $_has(8);
+  @$pb.TagNumber(9)
+  void clearContinuesAfter() => $_clearField(9);
 }
 
-enum LiveOfferFrame_Message { frontier, offers, notSet }
+enum LiveOfferFrame_Message { frontier, offers, admission, notSet }
 
-/// A live link carries proposals, never an authority or durability receipt.
+/// A live link carries proposals and, from the custodian only, the admission it judged for them.
+/// A peer advances its tracked base from an admission only when the sealed main is already in its
+/// own verified history; anything else falls back to the ordinary HTTP/Git convergence lane.
 class LiveOfferFrame extends $pb.GeneratedMessage {
   factory LiveOfferFrame({
     LiveFrontier? frontier,
     CustodyOfferBatchRequest? offers,
+    LiveAdmission? admission,
   }) {
     final result = create();
     if (frontier != null) result.frontier = frontier;
     if (offers != null) result.offers = offers;
+    if (admission != null) result.admission = admission;
     return result;
   }
 
@@ -7894,6 +7915,7 @@ class LiveOfferFrame extends $pb.GeneratedMessage {
       _LiveOfferFrame_MessageByTag = {
     1: LiveOfferFrame_Message.frontier,
     2: LiveOfferFrame_Message.offers,
+    3: LiveOfferFrame_Message.admission,
     0: LiveOfferFrame_Message.notSet
   };
   static final $pb.BuilderInfo _i = $pb.BuilderInfo(
@@ -7901,11 +7923,13 @@ class LiveOfferFrame extends $pb.GeneratedMessage {
       package:
           const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
       createEmptyInstance: create)
-    ..oo(0, [1, 2])
+    ..oo(0, [1, 2, 3])
     ..aOM<LiveFrontier>(1, _omitFieldNames ? '' : 'frontier',
         subBuilder: LiveFrontier.create)
     ..aOM<CustodyOfferBatchRequest>(2, _omitFieldNames ? '' : 'offers',
         subBuilder: CustodyOfferBatchRequest.create)
+    ..aOM<LiveAdmission>(3, _omitFieldNames ? '' : 'admission',
+        subBuilder: LiveAdmission.create)
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -7929,10 +7953,12 @@ class LiveOfferFrame extends $pb.GeneratedMessage {
 
   @$pb.TagNumber(1)
   @$pb.TagNumber(2)
+  @$pb.TagNumber(3)
   LiveOfferFrame_Message whichMessage() =>
       _LiveOfferFrame_MessageByTag[$_whichOneof(0)]!;
   @$pb.TagNumber(1)
   @$pb.TagNumber(2)
+  @$pb.TagNumber(3)
   void clearMessage() => $_clearField($_whichOneof(0));
 
   @$pb.TagNumber(1)
@@ -7956,6 +7982,90 @@ class LiveOfferFrame extends $pb.GeneratedMessage {
   void clearOffers() => $_clearField(2);
   @$pb.TagNumber(2)
   CustodyOfferBatchRequest ensureOffers() => $_ensure(1);
+
+  @$pb.TagNumber(3)
+  LiveAdmission get admission => $_getN(2);
+  @$pb.TagNumber(3)
+  set admission(LiveAdmission value) => $_setField(3, value);
+  @$pb.TagNumber(3)
+  $core.bool hasAdmission() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearAdmission() => $_clearField(3);
+  @$pb.TagNumber(3)
+  LiveAdmission ensureAdmission() => $_ensure(2);
+}
+
+/// The custodian's admission of one live batch: the same CustodyAdmission the HTTP offer lane
+/// returns (main, sealed main, per-intent outcomes), keyed by the batch's request id. Sent to every
+/// live peer of the workspace. A failed or blocked batch sends none; the sender's follow falls back.
+class LiveAdmission extends $pb.GeneratedMessage {
+  factory LiveAdmission({
+    $core.String? requestId,
+    CustodyAdmission? admission,
+  }) {
+    final result = create();
+    if (requestId != null) result.requestId = requestId;
+    if (admission != null) result.admission = admission;
+    return result;
+  }
+
+  LiveAdmission._();
+
+  factory LiveAdmission.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory LiveAdmission.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'LiveAdmission',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'requestId')
+    ..aOM<CustodyAdmission>(2, _omitFieldNames ? '' : 'admission',
+        subBuilder: CustodyAdmission.create)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LiveAdmission clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LiveAdmission copyWith(void Function(LiveAdmission) updates) =>
+      super.copyWith((message) => updates(message as LiveAdmission))
+          as LiveAdmission;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static LiveAdmission create() => LiveAdmission._();
+  @$core.override
+  LiveAdmission createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static LiveAdmission getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<LiveAdmission>(create);
+  static LiveAdmission? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.String get requestId => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set requestId($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasRequestId() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearRequestId() => $_clearField(1);
+
+  @$pb.TagNumber(2)
+  CustodyAdmission get admission => $_getN(1);
+  @$pb.TagNumber(2)
+  set admission(CustodyAdmission value) => $_setField(2, value);
+  @$pb.TagNumber(2)
+  $core.bool hasAdmission() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearAdmission() => $_clearField(2);
+  @$pb.TagNumber(2)
+  CustodyAdmission ensureAdmission() => $_ensure(1);
 }
 
 class LiveFrontier extends $pb.GeneratedMessage {

package/dart_types/lib/src/proto/nomos/runtime/v2/observability_desk.pb.dart

@@ -1239,6 +1239,8 @@ class FollowObservation extends $pb.GeneratedMessage {
     $fixnum.Int64? dueAtUnixMillis,
     $core.int? attempt,
     $core.String? activeEffect,
+    $core.int? unsent,
+    $core.int? unacknowledged,
   }) {
     final result = create();
     if (workspace != null) result.workspace = workspace;
@@ -1249,6 +1251,8 @@ class FollowObservation extends $pb.GeneratedMessage {
     if (dueAtUnixMillis != null) result.dueAtUnixMillis = dueAtUnixMillis;
     if (attempt != null) result.attempt = attempt;
     if (activeEffect != null) result.activeEffect = activeEffect;
+    if (unsent != null) result.unsent = unsent;
+    if (unacknowledged != null) result.unacknowledged = unacknowledged;
     return result;
   }
 
@@ -1279,6 +1283,9 @@ class FollowObservation extends $pb.GeneratedMessage {
         defaultOrMaker: $fixnum.Int64.ZERO)
     ..aI(7, _omitFieldNames ? '' : 'attempt', fieldType: $pb.PbFieldType.OU3)
     ..aOS(8, _omitFieldNames ? '' : 'activeEffect')
+    ..aI(9, _omitFieldNames ? '' : 'unsent', fieldType: $pb.PbFieldType.OU3)
+    ..aI(10, _omitFieldNames ? '' : 'unacknowledged',
+        fieldType: $pb.PbFieldType.OU3)
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -1375,6 +1382,26 @@ class FollowObservation extends $pb.GeneratedMessage {
   $core.bool hasActiveEffect() => $_has(7);
   @$pb.TagNumber(8)
   void clearActiveEffect() => $_clearField(8);
+
+  /// Live stream progress, while this replica has local commits its custodian has not yet admitted:
+  /// commits authored but not yet offered, and commits offered whose admission has not yet come back.
+  @$pb.TagNumber(9)
+  $core.int get unsent => $_getIZ(8);
+  @$pb.TagNumber(9)
+  set unsent($core.int value) => $_setUnsignedInt32(8, value);
+  @$pb.TagNumber(9)
+  $core.bool hasUnsent() => $_has(8);
+  @$pb.TagNumber(9)
+  void clearUnsent() => $_clearField(9);
+
+  @$pb.TagNumber(10)
+  $core.int get unacknowledged => $_getIZ(9);
+  @$pb.TagNumber(10)
+  set unacknowledged($core.int value) => $_setUnsignedInt32(9, value);
+  @$pb.TagNumber(10)
+  $core.bool hasUnacknowledged() => $_has(9);
+  @$pb.TagNumber(10)
+  void clearUnacknowledged() => $_clearField(10);
 }
 
 /// A background physical effect, equivalent to the foreground pending paper.

package/dart_types/pubspec.yaml

@@ -9,7 +9,7 @@ description: >-
   Pure kernel wire/data types for Nomos Dart frontends — no transport, no bridge,
   no runtime. Typed protobuf and USDA boundary values plus the offer codec,
   reactive read engine, schema validation, and data-only error/trace types.
-version: 0.11.3
+version: 0.12.0
 
 environment:
   sdk: ^3.5.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@githolon/dsl",
-  "version": "0.112.12",
+  "version": "0.113.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.",
@@ -73,7 +73,7 @@
     "test": "vitest run"
   },
   "dependencies": {
-    "@githolon/runtime": "^0.112.12",
+    "@githolon/runtime": "^0.113.1",
     "@bufbuild/protobuf": "^2.13.0",
     "@bufbuild/protoc-gen-es": "^2.13.0",
     "esbuild": "0.24.2",

package/src/compile_package_main.ts

@@ -2539,12 +2539,12 @@ const dartTypesImportFor = (generatedSource: string): string => {
  *  just the floor generated code needs — a lagging pin forces tenants into dependency_overrides. */
 // 0.3.0: SurfacedValue<T>/SurfacedObservation/PendingConflictRow — generated Surfaced-field typing +
 //        the pendingConflicts read rows.
-const NOMOS_TYPES_DEP = "^0.11.3";
+const NOMOS_TYPES_DEP = "^0.12.0";
 // 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.14";
-const NOMOS_FLUTTER_DEP = "^0.65.26";
+const NOMOS_CLIENT_DEP = "^0.67.0";
+const NOMOS_FLUTTER_DEP = "^0.66.1";
 // 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).