@githolon/dsl 0.117.1 → 0.119.9

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

@@ -5791,6 +5791,7 @@ class QueryResponse extends $pb.GeneratedMessage {
     $core.String? resultFrontier,
     FullResultReason? fullResultReason,
     ReadDependencies? resultDependencies,
+    ReadIndexBehind? readIndexBehind,
   }) {
     final result = create();
     if (value != null) result.value = value;
@@ -5836,6 +5837,7 @@ class QueryResponse extends $pb.GeneratedMessage {
     if (fullResultReason != null) result.fullResultReason = fullResultReason;
     if (resultDependencies != null)
       result.resultDependencies = resultDependencies;
+    if (readIndexBehind != null) result.readIndexBehind = readIndexBehind;
     return result;
   }
 
@@ -5976,6 +5978,8 @@ class QueryResponse extends $pb.GeneratedMessage {
         enumValues: FullResultReason.values)
     ..aOM<ReadDependencies>(34, _omitFieldNames ? '' : 'resultDependencies',
         subBuilder: ReadDependencies.create)
+    ..aOM<ReadIndexBehind>(35, _omitFieldNames ? '' : 'readIndexBehind',
+        subBuilder: ReadIndexBehind.create)
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -6380,6 +6384,125 @@ class QueryResponse extends $pb.GeneratedMessage {
   void clearResultDependencies() => $_clearField(34);
   @$pb.TagNumber(34)
   ReadDependencies ensureResultDependencies() => $_ensure(26);
+
+  /// CAP-891: present when a `serve_last_ready` read was answered from (or, under a successor law,
+  /// refused from) a read index bound behind its branch head. Read maintenance still owes the head.
+  @$pb.TagNumber(35)
+  ReadIndexBehind get readIndexBehind => $_getN(27);
+  @$pb.TagNumber(35)
+  set readIndexBehind(ReadIndexBehind value) => $_setField(35, value);
+  @$pb.TagNumber(35)
+  $core.bool hasReadIndexBehind() => $_has(27);
+  @$pb.TagNumber(35)
+  void clearReadIndexBehind() => $_clearField(35);
+  @$pb.TagNumber(35)
+  ReadIndexBehind ensureReadIndexBehind() => $_ensure(27);
+}
+
+/// The last-ready read index a `serve_last_ready` read met: bound to `served_frontier`, while the
+/// branch head is `requested_frontier`. `successor_law`: the head's law is not the law that index
+/// was built under, so no rows were served from it.
+class ReadIndexBehind extends $pb.GeneratedMessage {
+  factory ReadIndexBehind({
+    $core.String? workspace,
+    $core.String? branch,
+    $core.String? servedFrontier,
+    $core.String? requestedFrontier,
+    $core.bool? successorLaw,
+  }) {
+    final result = create();
+    if (workspace != null) result.workspace = workspace;
+    if (branch != null) result.branch = branch;
+    if (servedFrontier != null) result.servedFrontier = servedFrontier;
+    if (requestedFrontier != null) result.requestedFrontier = requestedFrontier;
+    if (successorLaw != null) result.successorLaw = successorLaw;
+    return result;
+  }
+
+  ReadIndexBehind._();
+
+  factory ReadIndexBehind.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory ReadIndexBehind.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'ReadIndexBehind',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.kernel.v1'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'workspace')
+    ..aOS(2, _omitFieldNames ? '' : 'branch')
+    ..aOS(3, _omitFieldNames ? '' : 'servedFrontier')
+    ..aOS(4, _omitFieldNames ? '' : 'requestedFrontier')
+    ..aOB(5, _omitFieldNames ? '' : 'successorLaw')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  ReadIndexBehind clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  ReadIndexBehind copyWith(void Function(ReadIndexBehind) updates) =>
+      super.copyWith((message) => updates(message as ReadIndexBehind))
+          as ReadIndexBehind;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static ReadIndexBehind create() => ReadIndexBehind._();
+  @$core.override
+  ReadIndexBehind createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static ReadIndexBehind getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<ReadIndexBehind>(create);
+  static ReadIndexBehind? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.String get workspace => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set workspace($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasWorkspace() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearWorkspace() => $_clearField(1);
+
+  @$pb.TagNumber(2)
+  $core.String get branch => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set branch($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasBranch() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearBranch() => $_clearField(2);
+
+  @$pb.TagNumber(3)
+  $core.String get servedFrontier => $_getSZ(2);
+  @$pb.TagNumber(3)
+  set servedFrontier($core.String value) => $_setString(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasServedFrontier() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearServedFrontier() => $_clearField(3);
+
+  @$pb.TagNumber(4)
+  $core.String get requestedFrontier => $_getSZ(3);
+  @$pb.TagNumber(4)
+  set requestedFrontier($core.String value) => $_setString(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasRequestedFrontier() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearRequestedFrontier() => $_clearField(4);
+
+  @$pb.TagNumber(5)
+  $core.bool get successorLaw => $_getBF(4);
+  @$pb.TagNumber(5)
+  set successorLaw($core.bool value) => $_setBool(4, value);
+  @$pb.TagNumber(5)
+  $core.bool hasSuccessorLaw() => $_has(4);
+  @$pb.TagNumber(5)
+  void clearSuccessorLaw() => $_clearField(5);
 }
 
 /// The state a declared rows result reads, from the installed read law. A state change touching none
@@ -7014,11 +7137,13 @@ class ReadIndexPending extends $pb.GeneratedMessage {
     $core.String? workspace,
     $core.String? branch,
     $core.String? requestedFrontier,
+    $core.String? lastReadyAbsent,
   }) {
     final result = create();
     if (workspace != null) result.workspace = workspace;
     if (branch != null) result.branch = branch;
     if (requestedFrontier != null) result.requestedFrontier = requestedFrontier;
+    if (lastReadyAbsent != null) result.lastReadyAbsent = lastReadyAbsent;
     return result;
   }
 
@@ -7039,6 +7164,7 @@ class ReadIndexPending extends $pb.GeneratedMessage {
     ..aOS(1, _omitFieldNames ? '' : 'workspace')
     ..aOS(2, _omitFieldNames ? '' : 'branch')
     ..aOS(3, _omitFieldNames ? '' : 'requestedFrontier')
+    ..aOS(4, _omitFieldNames ? '' : 'lastReadyAbsent')
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -7086,6 +7212,18 @@ class ReadIndexPending extends $pb.GeneratedMessage {
   $core.bool hasRequestedFrontier() => $_has(2);
   @$pb.TagNumber(3)
   void clearRequestedFrontier() => $_clearField(3);
+
+  /// CAP-900: for a read that asked to be served from its last-ready index (serve_last_ready), why
+  /// no complete earlier frontier could answer it, so the read waits for read maintenance. Empty
+  /// when the read did not ask. Diagnostic text only: no caller branches on it.
+  @$pb.TagNumber(4)
+  $core.String get lastReadyAbsent => $_getSZ(3);
+  @$pb.TagNumber(4)
+  set lastReadyAbsent($core.String value) => $_setString(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasLastReadyAbsent() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearLastReadyAbsent() => $_clearField(4);
 }
 
 class MaintenanceQuantumQuery extends $pb.GeneratedMessage {
@@ -12210,6 +12348,7 @@ class QueryRequest extends $pb.GeneratedMessage {
     QueryAuthority? authority,
     $core.bool? spans,
     QueryResultFormat? resultFormat,
+    $core.bool? serveLastReady,
     RowsQuery? rows,
     PageQuery? page,
     ByIdQuery? byId,
@@ -12242,6 +12381,7 @@ class QueryRequest extends $pb.GeneratedMessage {
     if (authority != null) result.authority = authority;
     if (spans != null) result.spans = spans;
     if (resultFormat != null) result.resultFormat = resultFormat;
+    if (serveLastReady != null) result.serveLastReady = serveLastReady;
     if (rows != null) result.rows = rows;
     if (page != null) result.page = page;
     if (byId != null) result.byId = byId;
@@ -12363,6 +12503,7 @@ class QueryRequest extends $pb.GeneratedMessage {
     ..aOB(3, _omitFieldNames ? '' : 'spans')
     ..aE<QueryResultFormat>(4, _omitFieldNames ? '' : 'resultFormat',
         enumValues: QueryResultFormat.values)
+    ..aOB(5, _omitFieldNames ? '' : 'serveLastReady')
     ..aOM<RowsQuery>(10, _omitFieldNames ? '' : 'rows',
         subBuilder: RowsQuery.create)
     ..aOM<PageQuery>(11, _omitFieldNames ? '' : 'page',
@@ -12545,306 +12686,321 @@ class QueryRequest extends $pb.GeneratedMessage {
   @$pb.TagNumber(4)
   void clearResultFormat() => $_clearField(4);
 
+  /// CAP-891: an application read answers from the last-ready read index instead of waiting for it
+  /// to catch up. When the serving index is bound to an older committed frontier of this branch under
+  /// the SAME law as its head, the kernel answers from that index at its own bound frontier (one
+  /// committed frontier: stale, never mixed) and names the gap in `QueryResponse.read_index_behind`.
+  /// Under a different law it answers `read_index_pending` with `read_index_behind.successor_law`:
+  /// the application's decoders belong to the head law, so predecessor rows are never handed out.
+  @$pb.TagNumber(5)
+  $core.bool get serveLastReady => $_getBF(4);
+  @$pb.TagNumber(5)
+  set serveLastReady($core.bool value) => $_setBool(4, value);
+  @$pb.TagNumber(5)
+  $core.bool hasServeLastReady() => $_has(4);
+  @$pb.TagNumber(5)
+  void clearServeLastReady() => $_clearField(5);
+
   @$pb.TagNumber(10)
-  RowsQuery get rows => $_getN(4);
+  RowsQuery get rows => $_getN(5);
   @$pb.TagNumber(10)
   set rows(RowsQuery value) => $_setField(10, value);
   @$pb.TagNumber(10)
-  $core.bool hasRows() => $_has(4);
+  $core.bool hasRows() => $_has(5);
   @$pb.TagNumber(10)
   void clearRows() => $_clearField(10);
   @$pb.TagNumber(10)
-  RowsQuery ensureRows() => $_ensure(4);
+  RowsQuery ensureRows() => $_ensure(5);
 
   @$pb.TagNumber(11)
-  PageQuery get page => $_getN(5);
+  PageQuery get page => $_getN(6);
   @$pb.TagNumber(11)
   set page(PageQuery value) => $_setField(11, value);
   @$pb.TagNumber(11)
-  $core.bool hasPage() => $_has(5);
+  $core.bool hasPage() => $_has(6);
   @$pb.TagNumber(11)
   void clearPage() => $_clearField(11);
   @$pb.TagNumber(11)
-  PageQuery ensurePage() => $_ensure(5);
+  PageQuery ensurePage() => $_ensure(6);
 
   @$pb.TagNumber(12)
-  ByIdQuery get byId => $_getN(6);
+  ByIdQuery get byId => $_getN(7);
   @$pb.TagNumber(12)
   set byId(ByIdQuery value) => $_setField(12, value);
   @$pb.TagNumber(12)
-  $core.bool hasById() => $_has(6);
+  $core.bool hasById() => $_has(7);
   @$pb.TagNumber(12)
   void clearById() => $_clearField(12);
   @$pb.TagNumber(12)
-  ByIdQuery ensureById() => $_ensure(6);
+  ByIdQuery ensureById() => $_ensure(7);
 
   @$pb.TagNumber(13)
-  ResolveRefsQuery get resolveRefs => $_getN(7);
+  ResolveRefsQuery get resolveRefs => $_getN(8);
   @$pb.TagNumber(13)
   set resolveRefs(ResolveRefsQuery value) => $_setField(13, value);
   @$pb.TagNumber(13)
-  $core.bool hasResolveRefs() => $_has(7);
+  $core.bool hasResolveRefs() => $_has(8);
   @$pb.TagNumber(13)
   void clearResolveRefs() => $_clearField(13);
   @$pb.TagNumber(13)
-  ResolveRefsQuery ensureResolveRefs() => $_ensure(7);
+  ResolveRefsQuery ensureResolveRefs() => $_ensure(8);
 
   @$pb.TagNumber(14)
-  ReferenceVersionsQuery get referenceVersions => $_getN(8);
+  ReferenceVersionsQuery get referenceVersions => $_getN(9);
   @$pb.TagNumber(14)
   set referenceVersions(ReferenceVersionsQuery value) => $_setField(14, value);
   @$pb.TagNumber(14)
-  $core.bool hasReferenceVersions() => $_has(8);
+  $core.bool hasReferenceVersions() => $_has(9);
   @$pb.TagNumber(14)
   void clearReferenceVersions() => $_clearField(14);
   @$pb.TagNumber(14)
-  ReferenceVersionsQuery ensureReferenceVersions() => $_ensure(8);
+  ReferenceVersionsQuery ensureReferenceVersions() => $_ensure(9);
 
   @$pb.TagNumber(15)
-  TallyQuery get count => $_getN(9);
+  TallyQuery get count => $_getN(10);
   @$pb.TagNumber(15)
   set count(TallyQuery value) => $_setField(15, value);
   @$pb.TagNumber(15)
-  $core.bool hasCount() => $_has(9);
+  $core.bool hasCount() => $_has(10);
   @$pb.TagNumber(15)
   void clearCount() => $_clearField(15);
   @$pb.TagNumber(15)
-  TallyQuery ensureCount() => $_ensure(9);
+  TallyQuery ensureCount() => $_ensure(10);
 
   @$pb.TagNumber(16)
-  TallyQuery get sum => $_getN(10);
+  TallyQuery get sum => $_getN(11);
   @$pb.TagNumber(16)
   set sum(TallyQuery value) => $_setField(16, value);
   @$pb.TagNumber(16)
-  $core.bool hasSum() => $_has(10);
+  $core.bool hasSum() => $_has(11);
   @$pb.TagNumber(16)
   void clearSum() => $_clearField(16);
   @$pb.TagNumber(16)
-  TallyQuery ensureSum() => $_ensure(10);
+  TallyQuery ensureSum() => $_ensure(11);
 
   @$pb.TagNumber(17)
-  SpatialQuery get spatial => $_getN(11);
+  SpatialQuery get spatial => $_getN(12);
   @$pb.TagNumber(17)
   set spatial(SpatialQuery value) => $_setField(17, value);
   @$pb.TagNumber(17)
-  $core.bool hasSpatial() => $_has(11);
+  $core.bool hasSpatial() => $_has(12);
   @$pb.TagNumber(17)
   void clearSpatial() => $_clearField(17);
   @$pb.TagNumber(17)
-  SpatialQuery ensureSpatial() => $_ensure(11);
+  SpatialQuery ensureSpatial() => $_ensure(12);
 
   @$pb.TagNumber(18)
-  NamedQuery get named => $_getN(12);
+  NamedQuery get named => $_getN(13);
   @$pb.TagNumber(18)
   set named(NamedQuery value) => $_setField(18, value);
   @$pb.TagNumber(18)
-  $core.bool hasNamed() => $_has(12);
+  $core.bool hasNamed() => $_has(13);
   @$pb.TagNumber(18)
   void clearNamed() => $_clearField(18);
   @$pb.TagNumber(18)
-  NamedQuery ensureNamed() => $_ensure(12);
+  NamedQuery ensureNamed() => $_ensure(13);
 
   @$pb.TagNumber(19)
-  AuthorizationCheckRequest get authorizationCheck => $_getN(13);
+  AuthorizationCheckRequest get authorizationCheck => $_getN(14);
   @$pb.TagNumber(19)
   set authorizationCheck(AuthorizationCheckRequest value) =>
       $_setField(19, value);
   @$pb.TagNumber(19)
-  $core.bool hasAuthorizationCheck() => $_has(13);
+  $core.bool hasAuthorizationCheck() => $_has(14);
   @$pb.TagNumber(19)
   void clearAuthorizationCheck() => $_clearField(19);
   @$pb.TagNumber(19)
-  AuthorizationCheckRequest ensureAuthorizationCheck() => $_ensure(13);
+  AuthorizationCheckRequest ensureAuthorizationCheck() => $_ensure(14);
 
   @$pb.TagNumber(20)
-  AuthorizationExpandRequest get authorizationExpand => $_getN(14);
+  AuthorizationExpandRequest get authorizationExpand => $_getN(15);
   @$pb.TagNumber(20)
   set authorizationExpand(AuthorizationExpandRequest value) =>
       $_setField(20, value);
   @$pb.TagNumber(20)
-  $core.bool hasAuthorizationExpand() => $_has(14);
+  $core.bool hasAuthorizationExpand() => $_has(15);
   @$pb.TagNumber(20)
   void clearAuthorizationExpand() => $_clearField(20);
   @$pb.TagNumber(20)
-  AuthorizationExpandRequest ensureAuthorizationExpand() => $_ensure(14);
+  AuthorizationExpandRequest ensureAuthorizationExpand() => $_ensure(15);
 
   @$pb.TagNumber(21)
-  FrontierTransitionRequest get frontierTransition => $_getN(15);
+  FrontierTransitionRequest get frontierTransition => $_getN(16);
   @$pb.TagNumber(21)
   set frontierTransition(FrontierTransitionRequest value) =>
       $_setField(21, value);
   @$pb.TagNumber(21)
-  $core.bool hasFrontierTransition() => $_has(15);
+  $core.bool hasFrontierTransition() => $_has(16);
   @$pb.TagNumber(21)
   void clearFrontierTransition() => $_clearField(21);
   @$pb.TagNumber(21)
-  FrontierTransitionRequest ensureFrontierTransition() => $_ensure(15);
+  FrontierTransitionRequest ensureFrontierTransition() => $_ensure(16);
 
   @$pb.TagNumber(22)
-  ByTypeQuery get byType => $_getN(16);
+  ByTypeQuery get byType => $_getN(17);
   @$pb.TagNumber(22)
   set byType(ByTypeQuery value) => $_setField(22, value);
   @$pb.TagNumber(22)
-  $core.bool hasByType() => $_has(16);
+  $core.bool hasByType() => $_has(17);
   @$pb.TagNumber(22)
   void clearByType() => $_clearField(22);
   @$pb.TagNumber(22)
-  ByTypeQuery ensureByType() => $_ensure(16);
+  ByTypeQuery ensureByType() => $_ensure(17);
 
   @$pb.TagNumber(23)
-  OwnedDeviceRequestQuery get ownedDeviceRequest => $_getN(17);
+  OwnedDeviceRequestQuery get ownedDeviceRequest => $_getN(18);
   @$pb.TagNumber(23)
   set ownedDeviceRequest(OwnedDeviceRequestQuery value) =>
       $_setField(23, value);
   @$pb.TagNumber(23)
-  $core.bool hasOwnedDeviceRequest() => $_has(17);
+  $core.bool hasOwnedDeviceRequest() => $_has(18);
   @$pb.TagNumber(23)
   void clearOwnedDeviceRequest() => $_clearField(23);
   @$pb.TagNumber(23)
-  OwnedDeviceRequestQuery ensureOwnedDeviceRequest() => $_ensure(17);
+  OwnedDeviceRequestQuery ensureOwnedDeviceRequest() => $_ensure(18);
 
   @$pb.TagNumber(24)
-  OwnedPrepareApprovalQuery get ownedPrepareApproval => $_getN(18);
+  OwnedPrepareApprovalQuery get ownedPrepareApproval => $_getN(19);
   @$pb.TagNumber(24)
   set ownedPrepareApproval(OwnedPrepareApprovalQuery value) =>
       $_setField(24, value);
   @$pb.TagNumber(24)
-  $core.bool hasOwnedPrepareApproval() => $_has(18);
+  $core.bool hasOwnedPrepareApproval() => $_has(19);
   @$pb.TagNumber(24)
   void clearOwnedPrepareApproval() => $_clearField(24);
   @$pb.TagNumber(24)
-  OwnedPrepareApprovalQuery ensureOwnedPrepareApproval() => $_ensure(18);
+  OwnedPrepareApprovalQuery ensureOwnedPrepareApproval() => $_ensure(19);
 
   @$pb.TagNumber(25)
-  PendingConflictsQuery get pendingConflicts => $_getN(19);
+  PendingConflictsQuery get pendingConflicts => $_getN(20);
   @$pb.TagNumber(25)
   set pendingConflicts(PendingConflictsQuery value) => $_setField(25, value);
   @$pb.TagNumber(25)
-  $core.bool hasPendingConflicts() => $_has(19);
+  $core.bool hasPendingConflicts() => $_has(20);
   @$pb.TagNumber(25)
   void clearPendingConflicts() => $_clearField(25);
   @$pb.TagNumber(25)
-  PendingConflictsQuery ensurePendingConflicts() => $_ensure(19);
+  PendingConflictsQuery ensurePendingConflicts() => $_ensure(20);
 
   @$pb.TagNumber(26)
-  PendingConflictSummaryQuery get pendingConflictSummary => $_getN(20);
+  PendingConflictSummaryQuery get pendingConflictSummary => $_getN(21);
   @$pb.TagNumber(26)
   set pendingConflictSummary(PendingConflictSummaryQuery value) =>
       $_setField(26, value);
   @$pb.TagNumber(26)
-  $core.bool hasPendingConflictSummary() => $_has(20);
+  $core.bool hasPendingConflictSummary() => $_has(21);
   @$pb.TagNumber(26)
   void clearPendingConflictSummary() => $_clearField(26);
   @$pb.TagNumber(26)
-  PendingConflictSummaryQuery ensurePendingConflictSummary() => $_ensure(20);
+  PendingConflictSummaryQuery ensurePendingConflictSummary() => $_ensure(21);
 
   @$pb.TagNumber(27)
-  AuthenticationPostureQuery get authenticationPosture => $_getN(21);
+  AuthenticationPostureQuery get authenticationPosture => $_getN(22);
   @$pb.TagNumber(27)
   set authenticationPosture(AuthenticationPostureQuery value) =>
       $_setField(27, value);
   @$pb.TagNumber(27)
-  $core.bool hasAuthenticationPosture() => $_has(21);
+  $core.bool hasAuthenticationPosture() => $_has(22);
   @$pb.TagNumber(27)
   void clearAuthenticationPosture() => $_clearField(27);
   @$pb.TagNumber(27)
-  AuthenticationPostureQuery ensureAuthenticationPosture() => $_ensure(21);
+  AuthenticationPostureQuery ensureAuthenticationPosture() => $_ensure(22);
 
   @$pb.TagNumber(28)
-  ChildWorkspaceQuery get childWorkspaces => $_getN(22);
+  ChildWorkspaceQuery get childWorkspaces => $_getN(23);
   @$pb.TagNumber(28)
   set childWorkspaces(ChildWorkspaceQuery value) => $_setField(28, value);
   @$pb.TagNumber(28)
-  $core.bool hasChildWorkspaces() => $_has(22);
+  $core.bool hasChildWorkspaces() => $_has(23);
   @$pb.TagNumber(28)
   void clearChildWorkspaces() => $_clearField(28);
   @$pb.TagNumber(28)
-  ChildWorkspaceQuery ensureChildWorkspaces() => $_ensure(22);
+  ChildWorkspaceQuery ensureChildWorkspaces() => $_ensure(23);
 
   @$pb.TagNumber(29)
-  DirectiveAuthoringRequirementsQuery get authoringRequirements => $_getN(23);
+  DirectiveAuthoringRequirementsQuery get authoringRequirements => $_getN(24);
   @$pb.TagNumber(29)
   set authoringRequirements(DirectiveAuthoringRequirementsQuery value) =>
       $_setField(29, value);
   @$pb.TagNumber(29)
-  $core.bool hasAuthoringRequirements() => $_has(23);
+  $core.bool hasAuthoringRequirements() => $_has(24);
   @$pb.TagNumber(29)
   void clearAuthoringRequirements() => $_clearField(29);
   @$pb.TagNumber(29)
   DirectiveAuthoringRequirementsQuery ensureAuthoringRequirements() =>
-      $_ensure(23);
+      $_ensure(24);
 
   @$pb.TagNumber(30)
-  IdentityProviderWitnessQuery get identityProviderWitness => $_getN(24);
+  IdentityProviderWitnessQuery get identityProviderWitness => $_getN(25);
   @$pb.TagNumber(30)
   set identityProviderWitness(IdentityProviderWitnessQuery value) =>
       $_setField(30, value);
   @$pb.TagNumber(30)
-  $core.bool hasIdentityProviderWitness() => $_has(24);
+  $core.bool hasIdentityProviderWitness() => $_has(25);
   @$pb.TagNumber(30)
   void clearIdentityProviderWitness() => $_clearField(30);
   @$pb.TagNumber(30)
-  IdentityProviderWitnessQuery ensureIdentityProviderWitness() => $_ensure(24);
+  IdentityProviderWitnessQuery ensureIdentityProviderWitness() => $_ensure(25);
 
   @$pb.TagNumber(31)
-  InterfaceCompatibilityQuery get interfaceCompatibility => $_getN(25);
+  InterfaceCompatibilityQuery get interfaceCompatibility => $_getN(26);
   @$pb.TagNumber(31)
   set interfaceCompatibility(InterfaceCompatibilityQuery value) =>
       $_setField(31, value);
   @$pb.TagNumber(31)
-  $core.bool hasInterfaceCompatibility() => $_has(25);
+  $core.bool hasInterfaceCompatibility() => $_has(26);
   @$pb.TagNumber(31)
   void clearInterfaceCompatibility() => $_clearField(31);
   @$pb.TagNumber(31)
-  InterfaceCompatibilityQuery ensureInterfaceCompatibility() => $_ensure(25);
+  InterfaceCompatibilityQuery ensureInterfaceCompatibility() => $_ensure(26);
 
   @$pb.TagNumber(32)
-  MaintenanceQuantumQuery get maintenanceQuantum => $_getN(26);
+  MaintenanceQuantumQuery get maintenanceQuantum => $_getN(27);
   @$pb.TagNumber(32)
   set maintenanceQuantum(MaintenanceQuantumQuery value) =>
       $_setField(32, value);
   @$pb.TagNumber(32)
-  $core.bool hasMaintenanceQuantum() => $_has(26);
+  $core.bool hasMaintenanceQuantum() => $_has(27);
   @$pb.TagNumber(32)
   void clearMaintenanceQuantum() => $_clearField(32);
   @$pb.TagNumber(32)
-  MaintenanceQuantumQuery ensureMaintenanceQuantum() => $_ensure(26);
+  MaintenanceQuantumQuery ensureMaintenanceQuantum() => $_ensure(27);
 
   @$pb.TagNumber(33)
-  FullHistoryAuditQuery get fullHistoryAudit => $_getN(27);
+  FullHistoryAuditQuery get fullHistoryAudit => $_getN(28);
   @$pb.TagNumber(33)
   set fullHistoryAudit(FullHistoryAuditQuery value) => $_setField(33, value);
   @$pb.TagNumber(33)
-  $core.bool hasFullHistoryAudit() => $_has(27);
+  $core.bool hasFullHistoryAudit() => $_has(28);
   @$pb.TagNumber(33)
   void clearFullHistoryAudit() => $_clearField(33);
   @$pb.TagNumber(33)
-  FullHistoryAuditQuery ensureFullHistoryAudit() => $_ensure(27);
+  FullHistoryAuditQuery ensureFullHistoryAudit() => $_ensure(28);
 
   @$pb.TagNumber(34)
-  WorkspaceEffectReceiptQuery get workspaceEffectReceipt => $_getN(28);
+  WorkspaceEffectReceiptQuery get workspaceEffectReceipt => $_getN(29);
   @$pb.TagNumber(34)
   set workspaceEffectReceipt(WorkspaceEffectReceiptQuery value) =>
       $_setField(34, value);
   @$pb.TagNumber(34)
-  $core.bool hasWorkspaceEffectReceipt() => $_has(28);
+  $core.bool hasWorkspaceEffectReceipt() => $_has(29);
   @$pb.TagNumber(34)
   void clearWorkspaceEffectReceipt() => $_clearField(34);
   @$pb.TagNumber(34)
-  WorkspaceEffectReceiptQuery ensureWorkspaceEffectReceipt() => $_ensure(28);
+  WorkspaceEffectReceiptQuery ensureWorkspaceEffectReceipt() => $_ensure(29);
 
   @$pb.TagNumber(35)
-  InstalledLawDeclarationsQuery get installedLawDeclarations => $_getN(29);
+  InstalledLawDeclarationsQuery get installedLawDeclarations => $_getN(30);
   @$pb.TagNumber(35)
   set installedLawDeclarations(InstalledLawDeclarationsQuery value) =>
       $_setField(35, value);
   @$pb.TagNumber(35)
-  $core.bool hasInstalledLawDeclarations() => $_has(29);
+  $core.bool hasInstalledLawDeclarations() => $_has(30);
   @$pb.TagNumber(35)
   void clearInstalledLawDeclarations() => $_clearField(35);
   @$pb.TagNumber(35)
   InstalledLawDeclarationsQuery ensureInstalledLawDeclarations() =>
-      $_ensure(29);
+      $_ensure(30);
 }
 
 /// Completion is a kernel observation of the target's admitted main history. An
@@ -20314,7 +20470,13 @@ class PackDeltaRequest extends $pb.GeneratedMessage {
   $pb.PbList<$core.String> get alsoHeads => $_getList(7);
 }
 
-enum ApplyPackRequest_Source { pack, stagedPackFile, continuePending, notSet }
+enum ApplyPackRequest_Source {
+  pack,
+  stagedPackFile,
+  continuePending,
+  cancelPending,
+  notSet
+}
 
 class ApplyPackRequest extends $pb.GeneratedMessage {
   factory ApplyPackRequest({
@@ -20326,6 +20488,8 @@ class ApplyPackRequest extends $pb.GeneratedMessage {
     $core.Iterable<$core.String>? unshallow,
     $fixnum.Int64? workBudgetBytes,
     $core.bool? continuePending,
+    $fixnum.Int64? importId,
+    $core.bool? cancelPending,
   }) {
     final result = create();
     if (repo != null) result.repo = repo;
@@ -20336,6 +20500,8 @@ class ApplyPackRequest extends $pb.GeneratedMessage {
     if (unshallow != null) result.unshallow.addAll(unshallow);
     if (workBudgetBytes != null) result.workBudgetBytes = workBudgetBytes;
     if (continuePending != null) result.continuePending = continuePending;
+    if (importId != null) result.importId = importId;
+    if (cancelPending != null) result.cancelPending = cancelPending;
     return result;
   }
 
@@ -20353,6 +20519,7 @@ class ApplyPackRequest extends $pb.GeneratedMessage {
     2: ApplyPackRequest_Source.pack,
     4: ApplyPackRequest_Source.stagedPackFile,
     8: ApplyPackRequest_Source.continuePending,
+    10: ApplyPackRequest_Source.cancelPending,
     0: ApplyPackRequest_Source.notSet
   };
   static final $pb.BuilderInfo _i = $pb.BuilderInfo(
@@ -20360,7 +20527,7 @@ class ApplyPackRequest extends $pb.GeneratedMessage {
       package:
           const $pb.PackageName(_omitMessageNames ? '' : 'nomos.kernel.v1'),
       createEmptyInstance: create)
-    ..oo(0, [2, 4, 8])
+    ..oo(0, [2, 4, 8, 10])
     ..aOS(1, _omitFieldNames ? '' : 'repo')
     ..a<$core.List<$core.int>>(
         2, _omitFieldNames ? '' : 'pack', $pb.PbFieldType.OY)
@@ -20372,6 +20539,10 @@ class ApplyPackRequest extends $pb.GeneratedMessage {
         7, _omitFieldNames ? '' : 'workBudgetBytes', $pb.PbFieldType.OU6,
         defaultOrMaker: $fixnum.Int64.ZERO)
     ..aOB(8, _omitFieldNames ? '' : 'continuePending')
+    ..a<$fixnum.Int64>(
+        9, _omitFieldNames ? '' : 'importId', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
+    ..aOB(10, _omitFieldNames ? '' : 'cancelPending')
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -20396,11 +20567,13 @@ class ApplyPackRequest extends $pb.GeneratedMessage {
   @$pb.TagNumber(2)
   @$pb.TagNumber(4)
   @$pb.TagNumber(8)
+  @$pb.TagNumber(10)
   ApplyPackRequest_Source whichSource() =>
       _ApplyPackRequest_SourceByTag[$_whichOneof(0)]!;
   @$pb.TagNumber(2)
   @$pb.TagNumber(4)
   @$pb.TagNumber(8)
+  @$pb.TagNumber(10)
   void clearSource() => $_clearField($_whichOneof(0));
 
   @$pb.TagNumber(1)
@@ -20455,8 +20628,9 @@ class ApplyPackRequest extends $pb.GeneratedMessage {
   /// (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.
+  /// whole length. A new bounded import waits when this repository or the bounded import slots
+  /// are busy; an unbudgeted import never consumes another caller's pending state. Absent or 0:
+  /// the whole pack in one call, as before.
   @$pb.TagNumber(7)
   $fixnum.Int64 get workBudgetBytes => $_getI64(6);
   @$pb.TagNumber(7)
@@ -20466,9 +20640,7 @@ class ApplyPackRequest extends $pb.GeneratedMessage {
   @$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.
+  /// Continue exactly the import named by import_id (CAP-889). No pack or boundary is carried.
   @$pb.TagNumber(8)
   $core.bool get continuePending => $_getBF(7);
   @$pb.TagNumber(8)
@@ -20477,6 +20649,26 @@ class ApplyPackRequest extends $pb.GeneratedMessage {
   $core.bool hasContinuePending() => $_has(7);
   @$pb.TagNumber(8)
   void clearContinuePending() => $_clearField(8);
+
+  /// Kernel-issued identity returned by the first pending step; required for continue/cancel.
+  @$pb.TagNumber(9)
+  $fixnum.Int64 get importId => $_getI64(8);
+  @$pb.TagNumber(9)
+  set importId($fixnum.Int64 value) => $_setInt64(8, value);
+  @$pb.TagNumber(9)
+  $core.bool hasImportId() => $_has(8);
+  @$pb.TagNumber(9)
+  void clearImportId() => $_clearField(9);
+
+  /// Release only this caller's named import without publishing it. Idempotent after completion.
+  @$pb.TagNumber(10)
+  $core.bool get cancelPending => $_getBF(9);
+  @$pb.TagNumber(10)
+  set cancelPending($core.bool value) => $_setBool(9, value);
+  @$pb.TagNumber(10)
+  $core.bool hasCancelPending() => $_has(9);
+  @$pb.TagNumber(10)
+  void clearCancelPending() => $_clearField(10);
 }
 
 class RepoStatsRequest extends $pb.GeneratedMessage {
@@ -21398,10 +21590,12 @@ class ResolveRefRequest extends $pb.GeneratedMessage {
   factory ResolveRefRequest({
     $core.String? repo,
     $core.String? reference,
+    $core.String? path,
   }) {
     final result = create();
     if (repo != null) result.repo = repo;
     if (reference != null) result.reference = reference;
+    if (path != null) result.path = path;
     return result;
   }
 
@@ -21421,6 +21615,7 @@ class ResolveRefRequest extends $pb.GeneratedMessage {
       createEmptyInstance: create)
     ..aOS(1, _omitFieldNames ? '' : 'repo')
     ..aOS(2, _omitFieldNames ? '' : 'reference')
+    ..aOS(3, _omitFieldNames ? '' : 'path')
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -21459,6 +21654,17 @@ class ResolveRefRequest extends $pb.GeneratedMessage {
   $core.bool hasReference() => $_has(1);
   @$pb.TagNumber(2)
   void clearReference() => $_clearField(2);
+
+  /// With a path: the object at that path in the tree of the commit the reference names (Git's
+  /// `<ref>:<path>`), absent when there is none. A copy names the law trees it holds this way (CAP-901).
+  @$pb.TagNumber(3)
+  $core.String get path => $_getSZ(2);
+  @$pb.TagNumber(3)
+  set path($core.String value) => $_setString(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasPath() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearPath() => $_clearField(3);
 }
 
 class PhysicalRefFile extends $pb.GeneratedMessage {
@@ -25777,6 +25983,8 @@ class ApplyPackResponse extends $pb.GeneratedMessage {
     PhysicalClosureCheck? closure,
     $core.bool? importPending,
     $fixnum.Int64? workDoneBytes,
+    $fixnum.Int64? importId,
+    $core.bool? importDeferred,
   }) {
     final result = create();
     if (objectCount != null) result.objectCount = objectCount;
@@ -25784,6 +25992,8 @@ class ApplyPackResponse extends $pb.GeneratedMessage {
     if (closure != null) result.closure = closure;
     if (importPending != null) result.importPending = importPending;
     if (workDoneBytes != null) result.workDoneBytes = workDoneBytes;
+    if (importId != null) result.importId = importId;
+    if (importDeferred != null) result.importDeferred = importDeferred;
     return result;
   }
 
@@ -25811,6 +26021,10 @@ class ApplyPackResponse extends $pb.GeneratedMessage {
     ..a<$fixnum.Int64>(
         5, _omitFieldNames ? '' : 'workDoneBytes', $pb.PbFieldType.OU6,
         defaultOrMaker: $fixnum.Int64.ZERO)
+    ..a<$fixnum.Int64>(
+        6, _omitFieldNames ? '' : 'importId', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
+    ..aOB(7, _omitFieldNames ? '' : 'importDeferred')
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -25883,6 +26097,27 @@ class ApplyPackResponse extends $pb.GeneratedMessage {
   $core.bool hasWorkDoneBytes() => $_has(4);
   @$pb.TagNumber(5)
   void clearWorkDoneBytes() => $_clearField(5);
+
+  /// Nonzero identity of the pending import. Continuations must carry this exact identity and repo.
+  @$pb.TagNumber(6)
+  $fixnum.Int64 get importId => $_getI64(5);
+  @$pb.TagNumber(6)
+  set importId($fixnum.Int64 value) => $_setInt64(5, value);
+  @$pb.TagNumber(6)
+  $core.bool hasImportId() => $_has(5);
+  @$pb.TagNumber(6)
+  void clearImportId() => $_clearField(6);
+
+  /// No import was started: retry the original source after yielding. The staged file, if any,
+  /// remains untouched. Capacity is bounded; active imports are never silently evicted.
+  @$pb.TagNumber(7)
+  $core.bool get importDeferred => $_getBF(6);
+  @$pb.TagNumber(7)
+  set importDeferred($core.bool value) => $_setBool(6, value);
+  @$pb.TagNumber(7)
+  $core.bool hasImportDeferred() => $_has(6);
+  @$pb.TagNumber(7)
+  void clearImportDeferred() => $_clearField(7);
 }
 
 class PhysicalClosureCheck extends $pb.GeneratedMessage {