@githolon/dsl 0.114.0 → 0.115.0

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

@@ -1990,6 +1990,7 @@ class OfferAdmitted extends $pb.GeneratedMessage {
     PlacementAdopted? placement,
     $core.bool? alreadyApplied,
     OfferStateChange? stateChange,
+    $core.Iterable<LawVersionWarning>? lawVersionWarnings,
   }) {
     final result = create();
     if (head != null) result.head = head;
@@ -2005,6 +2006,8 @@ class OfferAdmitted extends $pb.GeneratedMessage {
     if (placement != null) result.placement = placement;
     if (alreadyApplied != null) result.alreadyApplied = alreadyApplied;
     if (stateChange != null) result.stateChange = stateChange;
+    if (lawVersionWarnings != null)
+      result.lawVersionWarnings.addAll(lawVersionWarnings);
     return result;
   }
 
@@ -2042,6 +2045,8 @@ class OfferAdmitted extends $pb.GeneratedMessage {
     ..aOB(12, _omitFieldNames ? '' : 'alreadyApplied')
     ..aOM<OfferStateChange>(13, _omitFieldNames ? '' : 'stateChange',
         subBuilder: OfferStateChange.create)
+    ..pPM<LawVersionWarning>(14, _omitFieldNames ? '' : 'lawVersionWarnings',
+        subBuilder: LawVersionWarning.create)
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -2170,6 +2175,325 @@ class OfferAdmitted extends $pb.GeneratedMessage {
   void clearStateChange() => $_clearField(13);
   @$pb.TagNumber(13)
   OfferStateChange ensureStateChange() => $_ensure(12);
+
+  /// CAP-811: this offer installed, staged or promoted law whose claimed version is equal to or lower
+  /// than the claim this workspace already serves for the same law identity (package name). Advice
+  /// only: the offer was admitted, and the warning never enters custody. Empty when either side claims
+  /// no version (era rule), when the identity was not served, or when the claim moves forward.
+  @$pb.TagNumber(14)
+  $pb.PbList<LawVersionWarning> get lawVersionWarnings => $_getList(13);
+}
+
+/// A law's identity: its package name (/Nomos/Package nomos:name) (CAP-809, CAP-811).
+class LawIdentity extends $pb.GeneratedMessage {
+  factory LawIdentity({
+    $core.String? packageName,
+  }) {
+    final result = create();
+    if (packageName != null) result.packageName = packageName;
+    return result;
+  }
+
+  LawIdentity._();
+
+  factory LawIdentity.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory LawIdentity.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'LawIdentity',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.kernel.v1'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'packageName')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LawIdentity clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LawIdentity copyWith(void Function(LawIdentity) updates) =>
+      super.copyWith((message) => updates(message as LawIdentity))
+          as LawIdentity;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static LawIdentity create() => LawIdentity._();
+  @$core.override
+  LawIdentity createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static LawIdentity getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<LawIdentity>(create);
+  static LawIdentity? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.String get packageName => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set packageName($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasPackageName() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearPackageName() => $_clearField(1);
+}
+
+/// One version of a law: its closure identity, a canonical lowercase SHA-256 digest (CAP-809).
+class LawVersion extends $pb.GeneratedMessage {
+  factory LawVersion({
+    $core.String? closureSha256,
+  }) {
+    final result = create();
+    if (closureSha256 != null) result.closureSha256 = closureSha256;
+    return result;
+  }
+
+  LawVersion._();
+
+  factory LawVersion.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory LawVersion.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'LawVersion',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.kernel.v1'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'closureSha256')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LawVersion clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LawVersion copyWith(void Function(LawVersion) updates) =>
+      super.copyWith((message) => updates(message as LawVersion)) as LawVersion;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static LawVersion create() => LawVersion._();
+  @$core.override
+  LawVersion createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static LawVersion getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<LawVersion>(create);
+  static LawVersion? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.String get closureSha256 => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set closureSha256($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasClosureSha256() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearClosureSha256() => $_clearField(1);
+}
+
+/// A semver 2.0 claim without build metadata, as authored in nomos.project.ts (CAP-811).
+class LawVersionClaim extends $pb.GeneratedMessage {
+  factory LawVersionClaim({
+    $core.String? semver,
+  }) {
+    final result = create();
+    if (semver != null) result.semver = semver;
+    return result;
+  }
+
+  LawVersionClaim._();
+
+  factory LawVersionClaim.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory LawVersionClaim.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'LawVersionClaim',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.kernel.v1'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'semver')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LawVersionClaim clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LawVersionClaim copyWith(void Function(LawVersionClaim) updates) =>
+      super.copyWith((message) => updates(message as LawVersionClaim))
+          as LawVersionClaim;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static LawVersionClaim create() => LawVersionClaim._();
+  @$core.override
+  LawVersionClaim createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static LawVersionClaim getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<LawVersionClaim>(create);
+  static LawVersionClaim? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.String get semver => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set semver($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasSemver() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearSemver() => $_clearField(1);
+}
+
+/// An install that does not move its law's claimed version forward (CAP-811).
+class LawVersionWarning extends $pb.GeneratedMessage {
+  factory LawVersionWarning({
+    LawIdentity? law,
+    LawVersionOrder? order,
+    LawVersionClaim? installedClaim,
+    LawVersion? installedVersion,
+    LawVersionClaim? servedClaim,
+    LawVersion? servedVersion,
+    $core.String? message,
+  }) {
+    final result = create();
+    if (law != null) result.law = law;
+    if (order != null) result.order = order;
+    if (installedClaim != null) result.installedClaim = installedClaim;
+    if (installedVersion != null) result.installedVersion = installedVersion;
+    if (servedClaim != null) result.servedClaim = servedClaim;
+    if (servedVersion != null) result.servedVersion = servedVersion;
+    if (message != null) result.message = message;
+    return result;
+  }
+
+  LawVersionWarning._();
+
+  factory LawVersionWarning.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory LawVersionWarning.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'LawVersionWarning',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.kernel.v1'),
+      createEmptyInstance: create)
+    ..aOM<LawIdentity>(1, _omitFieldNames ? '' : 'law',
+        subBuilder: LawIdentity.create)
+    ..aE<LawVersionOrder>(2, _omitFieldNames ? '' : 'order',
+        enumValues: LawVersionOrder.values)
+    ..aOM<LawVersionClaim>(3, _omitFieldNames ? '' : 'installedClaim',
+        subBuilder: LawVersionClaim.create)
+    ..aOM<LawVersion>(4, _omitFieldNames ? '' : 'installedVersion',
+        subBuilder: LawVersion.create)
+    ..aOM<LawVersionClaim>(5, _omitFieldNames ? '' : 'servedClaim',
+        subBuilder: LawVersionClaim.create)
+    ..aOM<LawVersion>(6, _omitFieldNames ? '' : 'servedVersion',
+        subBuilder: LawVersion.create)
+    ..aOS(7, _omitFieldNames ? '' : 'message')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LawVersionWarning clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LawVersionWarning copyWith(void Function(LawVersionWarning) updates) =>
+      super.copyWith((message) => updates(message as LawVersionWarning))
+          as LawVersionWarning;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static LawVersionWarning create() => LawVersionWarning._();
+  @$core.override
+  LawVersionWarning createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static LawVersionWarning getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<LawVersionWarning>(create);
+  static LawVersionWarning? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  LawIdentity get law => $_getN(0);
+  @$pb.TagNumber(1)
+  set law(LawIdentity value) => $_setField(1, value);
+  @$pb.TagNumber(1)
+  $core.bool hasLaw() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearLaw() => $_clearField(1);
+  @$pb.TagNumber(1)
+  LawIdentity ensureLaw() => $_ensure(0);
+
+  @$pb.TagNumber(2)
+  LawVersionOrder get order => $_getN(1);
+  @$pb.TagNumber(2)
+  set order(LawVersionOrder value) => $_setField(2, value);
+  @$pb.TagNumber(2)
+  $core.bool hasOrder() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearOrder() => $_clearField(2);
+
+  @$pb.TagNumber(3)
+  LawVersionClaim get installedClaim => $_getN(2);
+  @$pb.TagNumber(3)
+  set installedClaim(LawVersionClaim value) => $_setField(3, value);
+  @$pb.TagNumber(3)
+  $core.bool hasInstalledClaim() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearInstalledClaim() => $_clearField(3);
+  @$pb.TagNumber(3)
+  LawVersionClaim ensureInstalledClaim() => $_ensure(2);
+
+  @$pb.TagNumber(4)
+  LawVersion get installedVersion => $_getN(3);
+  @$pb.TagNumber(4)
+  set installedVersion(LawVersion value) => $_setField(4, value);
+  @$pb.TagNumber(4)
+  $core.bool hasInstalledVersion() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearInstalledVersion() => $_clearField(4);
+  @$pb.TagNumber(4)
+  LawVersion ensureInstalledVersion() => $_ensure(3);
+
+  @$pb.TagNumber(5)
+  LawVersionClaim get servedClaim => $_getN(4);
+  @$pb.TagNumber(5)
+  set servedClaim(LawVersionClaim value) => $_setField(5, value);
+  @$pb.TagNumber(5)
+  $core.bool hasServedClaim() => $_has(4);
+  @$pb.TagNumber(5)
+  void clearServedClaim() => $_clearField(5);
+  @$pb.TagNumber(5)
+  LawVersionClaim ensureServedClaim() => $_ensure(4);
+
+  @$pb.TagNumber(6)
+  LawVersion get servedVersion => $_getN(5);
+  @$pb.TagNumber(6)
+  set servedVersion(LawVersion value) => $_setField(6, value);
+  @$pb.TagNumber(6)
+  $core.bool hasServedVersion() => $_has(5);
+  @$pb.TagNumber(6)
+  void clearServedVersion() => $_clearField(6);
+  @$pb.TagNumber(6)
+  LawVersion ensureServedVersion() => $_ensure(5);
+
+  /// Human-readable summary of the same facts.
+  @$pb.TagNumber(7)
+  $core.String get message => $_getSZ(6);
+  @$pb.TagNumber(7)
+  set message($core.String value) => $_setString(6, value);
+  @$pb.TagNumber(7)
+  $core.bool hasMessage() => $_has(6);
+  @$pb.TagNumber(7)
+  void clearMessage() => $_clearField(7);
 }
 
 /// The aggregates one admitted offer changed, by the type a read resolves for each (its `__type`,
@@ -3162,11 +3486,13 @@ class OfferBlockedOnDependency extends $pb.GeneratedMessage {
     $core.String? offerId,
     $core.String? detail,
     NomosStruct? diagnostics,
+    ReadIndexPending? awaitsMaintenance,
   }) {
     final result = create();
     if (offerId != null) result.offerId = offerId;
     if (detail != null) result.detail = detail;
     if (diagnostics != null) result.diagnostics = diagnostics;
+    if (awaitsMaintenance != null) result.awaitsMaintenance = awaitsMaintenance;
     return result;
   }
 
@@ -3188,6 +3514,8 @@ class OfferBlockedOnDependency extends $pb.GeneratedMessage {
     ..aOS(2, _omitFieldNames ? '' : 'detail')
     ..aOM<NomosStruct>(3, _omitFieldNames ? '' : 'diagnostics',
         subBuilder: NomosStruct.create)
+    ..aOM<ReadIndexPending>(4, _omitFieldNames ? '' : 'awaitsMaintenance',
+        subBuilder: ReadIndexPending.create)
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -3238,6 +3566,21 @@ class OfferBlockedOnDependency extends $pb.GeneratedMessage {
   void clearDiagnostics() => $_clearField(3);
   @$pb.TagNumber(3)
   NomosStruct ensureDiagnostics() => $_ensure(2);
+
+  /// Present only when the kernel itself found that a read the authored plan made needs a
+  /// derivative only background maintenance builds (CAP-824): the exact workspace position owed.
+  /// Not a verdict of law. The same offer, made again once maintenance has repaid it, is judged.
+  /// Absent for every other blocked dependency; a peer never infers it from `detail`.
+  @$pb.TagNumber(4)
+  ReadIndexPending get awaitsMaintenance => $_getN(3);
+  @$pb.TagNumber(4)
+  set awaitsMaintenance(ReadIndexPending value) => $_setField(4, value);
+  @$pb.TagNumber(4)
+  $core.bool hasAwaitsMaintenance() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearAwaitsMaintenance() => $_clearField(4);
+  @$pb.TagNumber(4)
+  ReadIndexPending ensureAwaitsMaintenance() => $_ensure(3);
 }
 
 /// A target holon's non-effectful authored result. The target kernel alone runs its installed law and
@@ -6276,10 +6619,12 @@ class OpenApiDescriptionResponse extends $pb.GeneratedMessage {
 class InterfaceCompatibilityQuery extends $pb.GeneratedMessage {
   factory InterfaceCompatibilityQuery({
     $core.List<$core.int>? applicationMatrixUsda,
+    $core.Iterable<LawUnit>? candidateUnits,
   }) {
     final result = create();
     if (applicationMatrixUsda != null)
       result.applicationMatrixUsda = applicationMatrixUsda;
+    if (candidateUnits != null) result.candidateUnits.addAll(candidateUnits);
     return result;
   }
 
@@ -6299,6 +6644,8 @@ class InterfaceCompatibilityQuery extends $pb.GeneratedMessage {
       createEmptyInstance: create)
     ..a<$core.List<$core.int>>(
         1, _omitFieldNames ? '' : 'applicationMatrixUsda', $pb.PbFieldType.OY)
+    ..pPM<LawUnit>(2, _omitFieldNames ? '' : 'candidateUnits',
+        subBuilder: LawUnit.create)
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -6332,6 +6679,12 @@ class InterfaceCompatibilityQuery extends $pb.GeneratedMessage {
   $core.bool hasApplicationMatrixUsda() => $_has(0);
   @$pb.TagNumber(1)
   void clearApplicationMatrixUsda() => $_clearField(1);
+
+  /// RELEASE QUALIFICATION (CAP-789): judge the matrix against the law this workspace would serve once
+  /// these carried units were staged and promoted (composed exactly as that STAGE would compose them at
+  /// this frontier), instead of the law it serves now. Nothing is written and no verdict is retained.
+  @$pb.TagNumber(2)
+  $pb.PbList<LawUnit> get candidateUnits => $_getList(1);
 }
 
 class InterfaceMemberVerdict extends $pb.GeneratedMessage {
@@ -6470,11 +6823,13 @@ class InterfaceCompatibilityResponse extends $pb.GeneratedMessage {
     $core.bool? compatible,
     $core.Iterable<InterfaceMemberVerdict>? members,
     $core.String? workspaceFrontier,
+    $core.String? candidateHash,
   }) {
     final result = create();
     if (compatible != null) result.compatible = compatible;
     if (members != null) result.members.addAll(members);
     if (workspaceFrontier != null) result.workspaceFrontier = workspaceFrontier;
+    if (candidateHash != null) result.candidateHash = candidateHash;
     return result;
   }
 
@@ -6496,6 +6851,7 @@ class InterfaceCompatibilityResponse extends $pb.GeneratedMessage {
     ..pPM<InterfaceMemberVerdict>(2, _omitFieldNames ? '' : 'members',
         subBuilder: InterfaceMemberVerdict.create)
     ..aOS(3, _omitFieldNames ? '' : 'workspaceFrontier')
+    ..aOS(4, _omitFieldNames ? '' : 'candidateHash')
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -6540,6 +6896,16 @@ class InterfaceCompatibilityResponse extends $pb.GeneratedMessage {
   $core.bool hasWorkspaceFrontier() => $_has(2);
   @$pb.TagNumber(3)
   void clearWorkspaceFrontier() => $_clearField(3);
+
+  /// The closure the carried candidate units composed to; empty when the installed law was judged.
+  @$pb.TagNumber(4)
+  $core.String get candidateHash => $_getSZ(3);
+  @$pb.TagNumber(4)
+  set candidateHash($core.String value) => $_setString(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasCandidateHash() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearCandidateHash() => $_clearField(4);
 }
 
 /// One bounded kernel-maintenance quantum. This is runtime procedure state,
@@ -16219,6 +16585,7 @@ class FrontierTransitionRequest extends $pb.GeneratedMessage {
     $core.String? atHash,
     $core.String? acknowledgementPrincipal,
     $core.String? restorePreviousOf,
+    $core.Iterable<LawUnit>? candidateUnits,
   }) {
     final result = create();
     if (domain != null) result.domain = domain;
@@ -16227,6 +16594,7 @@ class FrontierTransitionRequest extends $pb.GeneratedMessage {
     if (acknowledgementPrincipal != null)
       result.acknowledgementPrincipal = acknowledgementPrincipal;
     if (restorePreviousOf != null) result.restorePreviousOf = restorePreviousOf;
+    if (candidateUnits != null) result.candidateUnits.addAll(candidateUnits);
     return result;
   }
 
@@ -16249,6 +16617,8 @@ class FrontierTransitionRequest extends $pb.GeneratedMessage {
     ..aOS(3, _omitFieldNames ? '' : 'atHash')
     ..aOS(4, _omitFieldNames ? '' : 'acknowledgementPrincipal')
     ..aOS(5, _omitFieldNames ? '' : 'restorePreviousOf')
+    ..pPM<LawUnit>(6, _omitFieldNames ? '' : 'candidateUnits',
+        subBuilder: LawUnit.create)
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -16315,6 +16685,15 @@ class FrontierTransitionRequest extends $pb.GeneratedMessage {
   $core.bool hasRestorePreviousOf() => $_has(4);
   @$pb.TagNumber(5)
   void clearRestorePreviousOf() => $_clearField(5);
+
+  /// RELEASE QUALIFICATION (CAP-789): the candidate carried as law units instead of named as a staged
+  /// closure. The kernel admits each unit from its content, places and composes them exactly as a STAGE
+  /// carrying them would at this frontier, and judges the same transition. It writes nothing: no stage, no
+  /// custody object, no ref. When set, candidate_hash must equal the composed identity (the response names
+  /// it either way). The answer is qualification evidence only: promotion still needs the candidate staged
+  /// and judged again at the then-current frontier. Not with restore_previous_of.
+  @$pb.TagNumber(6)
+  $pb.PbList<LawUnit> get candidateUnits => $_getList(5);
 }
 
 class FrontierTransitionDispositionMapEntry extends $pb.GeneratedMessage {
@@ -19799,6 +20178,9 @@ class PackDeltaRequest extends $pb.GeneratedMessage {
     $core.String? base,
     $core.String? branch,
     $core.String? stagedPackFile,
+    $core.int? depth,
+    $core.bool? belowHead,
+    $core.Iterable<$core.String>? alsoHeads,
   }) {
     final result = create();
     if (repo != null) result.repo = repo;
@@ -19806,6 +20188,9 @@ class PackDeltaRequest extends $pb.GeneratedMessage {
     if (base != null) result.base = base;
     if (branch != null) result.branch = branch;
     if (stagedPackFile != null) result.stagedPackFile = stagedPackFile;
+    if (depth != null) result.depth = depth;
+    if (belowHead != null) result.belowHead = belowHead;
+    if (alsoHeads != null) result.alsoHeads.addAll(alsoHeads);
     return result;
   }
 
@@ -19828,6 +20213,9 @@ class PackDeltaRequest extends $pb.GeneratedMessage {
     ..aOS(3, _omitFieldNames ? '' : 'base')
     ..aOS(4, _omitFieldNames ? '' : 'branch')
     ..aOS(5, _omitFieldNames ? '' : 'stagedPackFile')
+    ..aI(6, _omitFieldNames ? '' : 'depth', fieldType: $pb.PbFieldType.OU3)
+    ..aOB(7, _omitFieldNames ? '' : 'belowHead')
+    ..pPS(8, _omitFieldNames ? '' : 'alsoHeads')
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -19896,9 +20284,37 @@ class PackDeltaRequest extends $pb.GeneratedMessage {
   $core.bool hasStagedPackFile() => $_has(4);
   @$pb.TagNumber(5)
   void clearStagedPackFile() => $_clearField(5);
+
+  /// A SHALLOW pack instead of a delta (architecture/peer_catchup.md), with no `base`: the commits
+  /// within `depth` generations of `head`, each with its complete tree, objects ordered by id
+  /// (deterministic bytes). depth 1 is a checkpoint: the frontier state at `head`.
+  @$pb.TagNumber(6)
+  $core.int get depth => $_getIZ(5);
+  @$pb.TagNumber(6)
+  set depth($core.int value) => $_setUnsignedInt32(5, value);
+  @$pb.TagNumber(6)
+  $core.bool hasDepth() => $_has(5);
+  @$pb.TagNumber(6)
+  void clearDepth() => $_clearField(6);
+
+  /// With `depth`: `head` is a shallow boundary the receiver holds. Its commit and tree are omitted
+  /// and the `depth` generations below it are packed: one lazy-history slice.
+  @$pb.TagNumber(7)
+  $core.bool get belowHead => $_getBF(6);
+  @$pb.TagNumber(7)
+  set belowHead($core.bool value) => $_setBool(6, value);
+  @$pb.TagNumber(7)
+  $core.bool hasBelowHead() => $_has(6);
+  @$pb.TagNumber(7)
+  void clearBelowHead() => $_clearField(7);
+
+  /// With `depth` and not `below_head`: more heads packed beside `head` at the same depth (the
+  /// settled-letter outcome commits a checkpoint carries).
+  @$pb.TagNumber(8)
+  $pb.PbList<$core.String> get alsoHeads => $_getList(7);
 }
 
-enum ApplyPackRequest_Source { pack, stagedPackFile, notSet }
+enum ApplyPackRequest_Source { pack, stagedPackFile, continuePending, notSet }
 
 class ApplyPackRequest extends $pb.GeneratedMessage {
   factory ApplyPackRequest({
@@ -19908,6 +20324,8 @@ class ApplyPackRequest extends $pb.GeneratedMessage {
     $core.String? stagedPackFile,
     $core.Iterable<$core.String>? shallow,
     $core.Iterable<$core.String>? unshallow,
+    $fixnum.Int64? workBudgetBytes,
+    $core.bool? continuePending,
   }) {
     final result = create();
     if (repo != null) result.repo = repo;
@@ -19916,6 +20334,8 @@ class ApplyPackRequest extends $pb.GeneratedMessage {
     if (stagedPackFile != null) result.stagedPackFile = stagedPackFile;
     if (shallow != null) result.shallow.addAll(shallow);
     if (unshallow != null) result.unshallow.addAll(unshallow);
+    if (workBudgetBytes != null) result.workBudgetBytes = workBudgetBytes;
+    if (continuePending != null) result.continuePending = continuePending;
     return result;
   }
 
@@ -19932,6 +20352,7 @@ class ApplyPackRequest extends $pb.GeneratedMessage {
       _ApplyPackRequest_SourceByTag = {
     2: ApplyPackRequest_Source.pack,
     4: ApplyPackRequest_Source.stagedPackFile,
+    8: ApplyPackRequest_Source.continuePending,
     0: ApplyPackRequest_Source.notSet
   };
   static final $pb.BuilderInfo _i = $pb.BuilderInfo(
@@ -19939,7 +20360,7 @@ class ApplyPackRequest extends $pb.GeneratedMessage {
       package:
           const $pb.PackageName(_omitMessageNames ? '' : 'nomos.kernel.v1'),
       createEmptyInstance: create)
-    ..oo(0, [2, 4])
+    ..oo(0, [2, 4, 8])
     ..aOS(1, _omitFieldNames ? '' : 'repo')
     ..a<$core.List<$core.int>>(
         2, _omitFieldNames ? '' : 'pack', $pb.PbFieldType.OY)
@@ -19947,6 +20368,10 @@ class ApplyPackRequest extends $pb.GeneratedMessage {
     ..aOS(4, _omitFieldNames ? '' : 'stagedPackFile')
     ..pPS(5, _omitFieldNames ? '' : 'shallow')
     ..pPS(6, _omitFieldNames ? '' : 'unshallow')
+    ..a<$fixnum.Int64>(
+        7, _omitFieldNames ? '' : 'workBudgetBytes', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
+    ..aOB(8, _omitFieldNames ? '' : 'continuePending')
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -19970,10 +20395,12 @@ class ApplyPackRequest extends $pb.GeneratedMessage {
 
   @$pb.TagNumber(2)
   @$pb.TagNumber(4)
+  @$pb.TagNumber(8)
   ApplyPackRequest_Source whichSource() =>
       _ApplyPackRequest_SourceByTag[$_whichOneof(0)]!;
   @$pb.TagNumber(2)
   @$pb.TagNumber(4)
+  @$pb.TagNumber(8)
   void clearSource() => $_clearField($_whichOneof(0));
 
   @$pb.TagNumber(1)
@@ -20023,6 +20450,33 @@ class ApplyPackRequest extends $pb.GeneratedMessage {
 
   @$pb.TagNumber(6)
   $pb.PbList<$core.String> get unshallow => $_getList(5);
+
+  /// At most about this many bytes of work (hashing, inflating, decoding, rewriting) in this call
+  /// (CAP-806). When the pack needs more, the kernel keeps the import's progress, publishes
+  /// nothing and answers `import_pending`; `continue_pending` continues it. A host interleaves the
+  /// steps with its user's reads and offers, so a large import never holds the kernel for its
+  /// whole length. A new pack for the same repository discards a pending import. Absent or 0: the
+  /// whole pack in one call, as before.
+  @$pb.TagNumber(7)
+  $fixnum.Int64 get workBudgetBytes => $_getI64(6);
+  @$pb.TagNumber(7)
+  set workBudgetBytes($fixnum.Int64 value) => $_setInt64(6, value);
+  @$pb.TagNumber(7)
+  $core.bool hasWorkBudgetBytes() => $_has(6);
+  @$pb.TagNumber(7)
+  void clearWorkBudgetBytes() => $_clearField(7);
+
+  /// Continue the import this repository has pending (CAP-806): the one a request with
+  /// `work_budget_bytes` began and answered `import_pending`. It carries no pack, head or
+  /// boundary; the import keeps those of the request that began it.
+  @$pb.TagNumber(8)
+  $core.bool get continuePending => $_getBF(7);
+  @$pb.TagNumber(8)
+  set continuePending($core.bool value) => $_setBool(7, value);
+  @$pb.TagNumber(8)
+  $core.bool hasContinuePending() => $_has(7);
+  @$pb.TagNumber(8)
+  void clearContinuePending() => $_clearField(8);
 }
 
 class RepoStatsRequest extends $pb.GeneratedMessage {
@@ -25207,10 +25661,18 @@ class PackDeltaResponse extends $pb.GeneratedMessage {
   factory PackDeltaResponse({
     $core.List<$core.int>? pack,
     $fixnum.Int64? bytes,
+    $core.Iterable<$core.String>? shallow,
+    $core.int? commits,
+    $core.int? trees,
+    $core.int? blobs,
   }) {
     final result = create();
     if (pack != null) result.pack = pack;
     if (bytes != null) result.bytes = bytes;
+    if (shallow != null) result.shallow.addAll(shallow);
+    if (commits != null) result.commits = commits;
+    if (trees != null) result.trees = trees;
+    if (blobs != null) result.blobs = blobs;
     return result;
   }
 
@@ -25232,6 +25694,10 @@ class PackDeltaResponse extends $pb.GeneratedMessage {
         1, _omitFieldNames ? '' : 'pack', $pb.PbFieldType.OY)
     ..a<$fixnum.Int64>(2, _omitFieldNames ? '' : 'bytes', $pb.PbFieldType.OU6,
         defaultOrMaker: $fixnum.Int64.ZERO)
+    ..pPS(3, _omitFieldNames ? '' : 'shallow')
+    ..aI(4, _omitFieldNames ? '' : 'commits', fieldType: $pb.PbFieldType.OU3)
+    ..aI(5, _omitFieldNames ? '' : 'trees', fieldType: $pb.PbFieldType.OU3)
+    ..aI(6, _omitFieldNames ? '' : 'blobs', fieldType: $pb.PbFieldType.OU3)
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -25271,6 +25737,37 @@ class PackDeltaResponse extends $pb.GeneratedMessage {
   $core.bool hasBytes() => $_has(1);
   @$pb.TagNumber(2)
   void clearBytes() => $_clearField(2);
+
+  /// A shallow pack only: the commits whose parents it omits, and what it holds.
+  @$pb.TagNumber(3)
+  $pb.PbList<$core.String> get shallow => $_getList(2);
+
+  @$pb.TagNumber(4)
+  $core.int get commits => $_getIZ(3);
+  @$pb.TagNumber(4)
+  set commits($core.int value) => $_setUnsignedInt32(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasCommits() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearCommits() => $_clearField(4);
+
+  @$pb.TagNumber(5)
+  $core.int get trees => $_getIZ(4);
+  @$pb.TagNumber(5)
+  set trees($core.int value) => $_setUnsignedInt32(4, value);
+  @$pb.TagNumber(5)
+  $core.bool hasTrees() => $_has(4);
+  @$pb.TagNumber(5)
+  void clearTrees() => $_clearField(5);
+
+  @$pb.TagNumber(6)
+  $core.int get blobs => $_getIZ(5);
+  @$pb.TagNumber(6)
+  set blobs($core.int value) => $_setUnsignedInt32(5, value);
+  @$pb.TagNumber(6)
+  $core.bool hasBlobs() => $_has(5);
+  @$pb.TagNumber(6)
+  void clearBlobs() => $_clearField(6);
 }
 
 class ApplyPackResponse extends $pb.GeneratedMessage {
@@ -25278,11 +25775,15 @@ class ApplyPackResponse extends $pb.GeneratedMessage {
     $fixnum.Int64? objectCount,
     $core.String? packHash,
     PhysicalClosureCheck? closure,
+    $core.bool? importPending,
+    $fixnum.Int64? workDoneBytes,
   }) {
     final result = create();
     if (objectCount != null) result.objectCount = objectCount;
     if (packHash != null) result.packHash = packHash;
     if (closure != null) result.closure = closure;
+    if (importPending != null) result.importPending = importPending;
+    if (workDoneBytes != null) result.workDoneBytes = workDoneBytes;
     return result;
   }
 
@@ -25306,6 +25807,10 @@ class ApplyPackResponse extends $pb.GeneratedMessage {
     ..aOS(2, _omitFieldNames ? '' : 'packHash')
     ..aOM<PhysicalClosureCheck>(3, _omitFieldNames ? '' : 'closure',
         subBuilder: PhysicalClosureCheck.create)
+    ..aOB(4, _omitFieldNames ? '' : 'importPending')
+    ..a<$fixnum.Int64>(
+        5, _omitFieldNames ? '' : 'workDoneBytes', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -25357,6 +25862,27 @@ class ApplyPackResponse extends $pb.GeneratedMessage {
   void clearClosure() => $_clearField(3);
   @$pb.TagNumber(3)
   PhysicalClosureCheck ensureClosure() => $_ensure(2);
+
+  /// The import spent its `work_budget_bytes` before finishing (CAP-806). Nothing is published;
+  /// every other field is empty until the step that completes it.
+  @$pb.TagNumber(4)
+  $core.bool get importPending => $_getBF(3);
+  @$pb.TagNumber(4)
+  set importPending($core.bool value) => $_setBool(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasImportPending() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearImportPending() => $_clearField(4);
+
+  /// Bytes of work the import has done so far, across its steps.
+  @$pb.TagNumber(5)
+  $fixnum.Int64 get workDoneBytes => $_getI64(4);
+  @$pb.TagNumber(5)
+  set workDoneBytes($fixnum.Int64 value) => $_setInt64(4, value);
+  @$pb.TagNumber(5)
+  $core.bool hasWorkDoneBytes() => $_has(4);
+  @$pb.TagNumber(5)
+  void clearWorkDoneBytes() => $_clearField(5);
 }
 
 class PhysicalClosureCheck extends $pb.GeneratedMessage {