@githolon/dsl 0.113.4 → 0.115.0

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

@@ -14,6 +14,30 @@ import 'dart:core' as $core;
 
 import 'package:protobuf/protobuf.dart' as $pb;
 
+/// How an installed claim orders against the claim already served for its identity (CAP-811).
+class LawVersionOrder extends $pb.ProtobufEnum {
+  static const LawVersionOrder LAW_VERSION_ORDER_UNSPECIFIED =
+      LawVersionOrder._(
+          0, _omitEnumNames ? '' : 'LAW_VERSION_ORDER_UNSPECIFIED');
+  static const LawVersionOrder LAW_VERSION_ORDER_EQUAL =
+      LawVersionOrder._(1, _omitEnumNames ? '' : 'LAW_VERSION_ORDER_EQUAL');
+  static const LawVersionOrder LAW_VERSION_ORDER_LOWER =
+      LawVersionOrder._(2, _omitEnumNames ? '' : 'LAW_VERSION_ORDER_LOWER');
+
+  static const $core.List<LawVersionOrder> values = <LawVersionOrder>[
+    LAW_VERSION_ORDER_UNSPECIFIED,
+    LAW_VERSION_ORDER_EQUAL,
+    LAW_VERSION_ORDER_LOWER,
+  ];
+
+  static final $core.List<LawVersionOrder?> _byValue =
+      $pb.ProtobufEnum.$_initByValueList(values, 2);
+  static LawVersionOrder? valueOf($core.int value) =>
+      value < 0 || value >= _byValue.length ? null : _byValue[value];
+
+  const LawVersionOrder._(super.value, super.name);
+}
+
 class BirthOutcomeStatus extends $pb.ProtobufEnum {
   static const BirthOutcomeStatus BIRTH_OUTCOME_STATUS_UNSPECIFIED =
       BirthOutcomeStatus._(
@@ -346,6 +370,71 @@ class KernelRefusalCode extends $pb.ProtobufEnum {
   const KernelRefusalCode._(super.value, super.name);
 }
 
+/// Typed premise for answering a delta request with the complete result.
+class FullResultReason extends $pb.ProtobufEnum {
+  static const FullResultReason FULL_RESULT_REASON_UNSPECIFIED =
+      FullResultReason._(
+          0, _omitEnumNames ? '' : 'FULL_RESULT_REASON_UNSPECIFIED');
+
+  /// The request named no base position.
+  static const FullResultReason FULL_RESULT_REASON_NO_BASE =
+      FullResultReason._(1, _omitEnumNames ? '' : 'FULL_RESULT_REASON_NO_BASE');
+
+  /// The installed law changed between the two positions.
+  static const FullResultReason FULL_RESULT_REASON_LAW_CHANGED =
+      FullResultReason._(
+          2, _omitEnumNames ? '' : 'FULL_RESULT_REASON_LAW_CHANGED');
+
+  /// The principal, or the workspace-wide grant the read relied on, changed.
+  static const FullResultReason FULL_RESULT_REASON_READ_AUTHORITY_CHANGED =
+      FullResultReason._(
+          3, _omitEnumNames ? '' : 'FULL_RESULT_REASON_READ_AUTHORITY_CHANGED');
+
+  /// The principal reads this type record by record; visibility is not a function of the rows.
+  static const FullResultReason FULL_RESULT_REASON_PER_RECORD_REFUSAL =
+      FullResultReason._(
+          4, _omitEnumNames ? '' : 'FULL_RESULT_REASON_PER_RECORD_REFUSAL');
+
+  /// An ordered read is selected by its declared order and limit, not by membership.
+  static const FullResultReason FULL_RESULT_REASON_ORDERED_READ =
+      FullResultReason._(
+          5, _omitEnumNames ? '' : 'FULL_RESULT_REASON_ORDERED_READ');
+
+  /// The rows carry clock-derived fields whose value changes without a state change.
+  static const FullResultReason FULL_RESULT_REASON_TEMPORAL_FIELDS =
+      FullResultReason._(
+          6, _omitEnumNames ? '' : 'FULL_RESULT_REASON_TEMPORAL_FIELDS');
+
+  /// This replica no longer holds the base position's state.
+  static const FullResultReason FULL_RESULT_REASON_BASE_UNAVAILABLE =
+      FullResultReason._(
+          7, _omitEnumNames ? '' : 'FULL_RESULT_REASON_BASE_UNAVAILABLE');
+
+  /// One of the positions predates the state-tree format, which has no exact change set.
+  static const FullResultReason FULL_RESULT_REASON_LEGACY_STATE =
+      FullResultReason._(
+          8, _omitEnumNames ? '' : 'FULL_RESULT_REASON_LEGACY_STATE');
+
+  static const $core.List<FullResultReason> values = <FullResultReason>[
+    FULL_RESULT_REASON_UNSPECIFIED,
+    FULL_RESULT_REASON_NO_BASE,
+    FULL_RESULT_REASON_LAW_CHANGED,
+    FULL_RESULT_REASON_READ_AUTHORITY_CHANGED,
+    FULL_RESULT_REASON_PER_RECORD_REFUSAL,
+    FULL_RESULT_REASON_ORDERED_READ,
+    FULL_RESULT_REASON_TEMPORAL_FIELDS,
+    FULL_RESULT_REASON_BASE_UNAVAILABLE,
+    FULL_RESULT_REASON_LEGACY_STATE,
+  ];
+
+  static final $core.List<FullResultReason?> _byValue =
+      $pb.ProtobufEnum.$_initByValueList(values, 8);
+  static FullResultReason? valueOf($core.int value) =>
+      value < 0 || value >= _byValue.length ? null : _byValue[value];
+
+  const FullResultReason._(super.value, super.name);
+}
+
 /// VINTF-inspired compatibility algebra over Nomos's canonical OpenUSD law.
 /// The application matrix is USDA; Protobuf carries only the closed request and
 /// typed verdict across the kernel ABI.

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

@@ -115,6 +115,7 @@ class WatchRequest extends $pb.GeneratedMessage {
     WatchKind? kind,
     $0.QueryRequest? query,
     $core.int? intervalMillis,
+    $core.bool? acceptRowDelta,
   }) {
     final result = create();
     if (session != null) result.session = session;
@@ -122,6 +123,7 @@ class WatchRequest extends $pb.GeneratedMessage {
     if (kind != null) result.kind = kind;
     if (query != null) result.query = query;
     if (intervalMillis != null) result.intervalMillis = intervalMillis;
+    if (acceptRowDelta != null) result.acceptRowDelta = acceptRowDelta;
     return result;
   }
 
@@ -147,6 +149,7 @@ class WatchRequest extends $pb.GeneratedMessage {
         subBuilder: $0.QueryRequest.create)
     ..aI(5, _omitFieldNames ? '' : 'intervalMillis',
         fieldType: $pb.PbFieldType.OU3)
+    ..aOB(6, _omitFieldNames ? '' : 'acceptRowDelta')
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -214,6 +217,17 @@ class WatchRequest extends $pb.GeneratedMessage {
   $core.bool hasIntervalMillis() => $_has(4);
   @$pb.TagNumber(5)
   void clearIntervalMillis() => $_clearField(5);
+
+  /// The consumer merges `WatchChanged.application_delta` itself (CAP-731). Without it the runtime
+  /// delivers only complete results, as before.
+  @$pb.TagNumber(6)
+  $core.bool get acceptRowDelta => $_getBF(5);
+  @$pb.TagNumber(6)
+  set acceptRowDelta($core.bool value) => $_setBool(5, value);
+  @$pb.TagNumber(6)
+  $core.bool hasAcceptRowDelta() => $_has(5);
+  @$pb.TagNumber(6)
+  void clearAcceptRowDelta() => $_clearField(6);
 }
 
 class WatchStarted extends $pb.GeneratedMessage {