@githolon/dsl 0.108.7 → 0.110.0

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

@@ -0,0 +1,417 @@
+// This is a generated file - do not edit.
+//
+// Generated from nomos/runtime/v2/compatibility_desk.proto.
+
+// @dart = 3.3
+
+// ignore_for_file: annotate_overrides, camel_case_types, comment_references
+// ignore_for_file: constant_identifier_names
+// ignore_for_file: curly_braces_in_flow_control_structures
+// ignore_for_file: deprecated_member_use_from_same_package, library_prefixes
+// ignore_for_file: non_constant_identifier_names
+
+import 'dart:core' as $core;
+
+import 'package:protobuf/protobuf.dart' as $pb;
+
+import '../../kernel/v1/kernel.pb.dart' as $0;
+import 'compatibility_desk.pbenum.dart';
+
+export 'package:protobuf/protobuf.dart' show GeneratedMessageGenericExtensions;
+
+export 'compatibility_desk.pbenum.dart';
+
+/// The Compatibility Desk transports one compiler-authored USDA matrix to the
+/// kernel. It does not duplicate the law schema in Protobuf and never parses or
+/// authors USDA itself.
+class CheckInterfaceCompatibilityRequest extends $pb.GeneratedMessage {
+  factory CheckInterfaceCompatibilityRequest({
+    $core.List<$core.int>? applicationMatrixUsda,
+  }) {
+    final result = create();
+    if (applicationMatrixUsda != null)
+      result.applicationMatrixUsda = applicationMatrixUsda;
+    return result;
+  }
+
+  CheckInterfaceCompatibilityRequest._();
+
+  factory CheckInterfaceCompatibilityRequest.fromBuffer(
+          $core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory CheckInterfaceCompatibilityRequest.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'CheckInterfaceCompatibilityRequest',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..a<$core.List<$core.int>>(
+        1, _omitFieldNames ? '' : 'applicationMatrixUsda', $pb.PbFieldType.OY)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  CheckInterfaceCompatibilityRequest clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  CheckInterfaceCompatibilityRequest copyWith(
+          void Function(CheckInterfaceCompatibilityRequest) updates) =>
+      super.copyWith((message) =>
+              updates(message as CheckInterfaceCompatibilityRequest))
+          as CheckInterfaceCompatibilityRequest;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static CheckInterfaceCompatibilityRequest create() =>
+      CheckInterfaceCompatibilityRequest._();
+  @$core.override
+  CheckInterfaceCompatibilityRequest createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static CheckInterfaceCompatibilityRequest getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<CheckInterfaceCompatibilityRequest>(
+          create);
+  static CheckInterfaceCompatibilityRequest? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.List<$core.int> get applicationMatrixUsda => $_getN(0);
+  @$pb.TagNumber(1)
+  set applicationMatrixUsda($core.List<$core.int> value) =>
+      $_setBytes(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasApplicationMatrixUsda() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearApplicationMatrixUsda() => $_clearField(1);
+}
+
+/// The desk's complete answer: the kernel's per-member examination, plus the one
+/// correspondence fact a client would otherwise be tempted to infer.
+class InterfaceCompatibilityVerdict extends $pb.GeneratedMessage {
+  factory InterfaceCompatibilityVerdict({
+    $0.InterfaceCompatibilityResponse? examined,
+    LocalLawCurrency? localLawCurrency,
+  }) {
+    final result = create();
+    if (examined != null) result.examined = examined;
+    if (localLawCurrency != null) result.localLawCurrency = localLawCurrency;
+    return result;
+  }
+
+  InterfaceCompatibilityVerdict._();
+
+  factory InterfaceCompatibilityVerdict.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory InterfaceCompatibilityVerdict.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'InterfaceCompatibilityVerdict',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOM<$0.InterfaceCompatibilityResponse>(
+        1, _omitFieldNames ? '' : 'examined',
+        subBuilder: $0.InterfaceCompatibilityResponse.create)
+    ..aE<LocalLawCurrency>(2, _omitFieldNames ? '' : 'localLawCurrency',
+        enumValues: LocalLawCurrency.values)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  InterfaceCompatibilityVerdict clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  InterfaceCompatibilityVerdict copyWith(
+          void Function(InterfaceCompatibilityVerdict) updates) =>
+      super.copyWith(
+              (message) => updates(message as InterfaceCompatibilityVerdict))
+          as InterfaceCompatibilityVerdict;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static InterfaceCompatibilityVerdict create() =>
+      InterfaceCompatibilityVerdict._();
+  @$core.override
+  InterfaceCompatibilityVerdict createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static InterfaceCompatibilityVerdict getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<InterfaceCompatibilityVerdict>(create);
+  static InterfaceCompatibilityVerdict? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $0.InterfaceCompatibilityResponse get examined => $_getN(0);
+  @$pb.TagNumber(1)
+  set examined($0.InterfaceCompatibilityResponse value) => $_setField(1, value);
+  @$pb.TagNumber(1)
+  $core.bool hasExamined() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearExamined() => $_clearField(1);
+  @$pb.TagNumber(1)
+  $0.InterfaceCompatibilityResponse ensureExamined() => $_ensure(0);
+
+  @$pb.TagNumber(2)
+  LocalLawCurrency get localLawCurrency => $_getN(1);
+  @$pb.TagNumber(2)
+  set localLawCurrency(LocalLawCurrency value) => $_setField(2, value);
+  @$pb.TagNumber(2)
+  $core.bool hasLocalLawCurrency() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearLocalLawCurrency() => $_clearField(2);
+}
+
+/// THE COARSE AXIS OF THE SAME JUDGEMENT: OSGi Contract Namespace requirements.
+///
+/// Generated law declares the kernel contracts it needs (`osgi.contract`,
+/// `nomos.kernel.v1` at some version). Whether the kernel provides them is a
+/// COMPATIBILITY judgement, and compatibility has one owner. Until 2026-09-12 the
+/// Dart client compared the requirements against the kernel's `OsgiResourceResponse`
+/// attribute by attribute while the TypeScript application desk's equivalent was an
+/// empty method — two clients disagreeing about the same law. The desk now answers
+/// both, and the clients carry the verdict.
+class CheckKernelContractsRequest extends $pb.GeneratedMessage {
+  factory CheckKernelContractsRequest({
+    $core.String? session,
+    $core.Iterable<KernelContractRequirement>? requirements,
+    $core.String? lawHash,
+  }) {
+    final result = create();
+    if (session != null) result.session = session;
+    if (requirements != null) result.requirements.addAll(requirements);
+    if (lawHash != null) result.lawHash = lawHash;
+    return result;
+  }
+
+  CheckKernelContractsRequest._();
+
+  factory CheckKernelContractsRequest.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory CheckKernelContractsRequest.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'CheckKernelContractsRequest',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'session')
+    ..pPM<KernelContractRequirement>(2, _omitFieldNames ? '' : 'requirements',
+        subBuilder: KernelContractRequirement.create)
+    ..aOS(3, _omitFieldNames ? '' : 'lawHash')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  CheckKernelContractsRequest clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  CheckKernelContractsRequest copyWith(
+          void Function(CheckKernelContractsRequest) updates) =>
+      super.copyWith(
+              (message) => updates(message as CheckKernelContractsRequest))
+          as CheckKernelContractsRequest;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static CheckKernelContractsRequest create() =>
+      CheckKernelContractsRequest._();
+  @$core.override
+  CheckKernelContractsRequest createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static CheckKernelContractsRequest getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<CheckKernelContractsRequest>(create);
+  static CheckKernelContractsRequest? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.String get session => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set session($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasSession() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearSession() => $_clearField(1);
+
+  @$pb.TagNumber(2)
+  $pb.PbList<KernelContractRequirement> get requirements => $_getList(1);
+
+  /// The law that declares them, named only so a refusal can say whose it is.
+  @$pb.TagNumber(3)
+  $core.String get lawHash => $_getSZ(2);
+  @$pb.TagNumber(3)
+  set lawHash($core.String value) => $_setString(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasLawHash() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearLawHash() => $_clearField(3);
+}
+
+class KernelContractRequirement extends $pb.GeneratedMessage {
+  factory KernelContractRequirement({
+    $core.String? namespace,
+    $core.String? name,
+    $core.String? version,
+  }) {
+    final result = create();
+    if (namespace != null) result.namespace = namespace;
+    if (name != null) result.name = name;
+    if (version != null) result.version = version;
+    return result;
+  }
+
+  KernelContractRequirement._();
+
+  factory KernelContractRequirement.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory KernelContractRequirement.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'KernelContractRequirement',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'namespace')
+    ..aOS(2, _omitFieldNames ? '' : 'name')
+    ..aOS(3, _omitFieldNames ? '' : 'version')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  KernelContractRequirement clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  KernelContractRequirement copyWith(
+          void Function(KernelContractRequirement) updates) =>
+      super.copyWith((message) => updates(message as KernelContractRequirement))
+          as KernelContractRequirement;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static KernelContractRequirement create() => KernelContractRequirement._();
+  @$core.override
+  KernelContractRequirement createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static KernelContractRequirement getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<KernelContractRequirement>(create);
+  static KernelContractRequirement? _defaultInstance;
+
+  /// The OSGi capability namespace, e.g. `osgi.contract`.
+  @$pb.TagNumber(1)
+  $core.String get namespace => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set namespace($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasNamespace() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearNamespace() => $_clearField(1);
+
+  /// The contract name carried as the namespace's own attribute, e.g. `nomos.kernel.v1`.
+  @$pb.TagNumber(2)
+  $core.String get name => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set name($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasName() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearName() => $_clearField(2);
+
+  /// One exact version that must appear in the capability's `version` attribute.
+  @$pb.TagNumber(3)
+  $core.String get version => $_getSZ(2);
+  @$pb.TagNumber(3)
+  set version($core.String value) => $_setString(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasVersion() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearVersion() => $_clearField(3);
+}
+
+class KernelContractVerdict extends $pb.GeneratedMessage {
+  factory KernelContractVerdict({
+    $core.bool? coherent,
+    $core.Iterable<KernelContractRequirement>? missing,
+    $core.String? lawHash,
+  }) {
+    final result = create();
+    if (coherent != null) result.coherent = coherent;
+    if (missing != null) result.missing.addAll(missing);
+    if (lawHash != null) result.lawHash = lawHash;
+    return result;
+  }
+
+  KernelContractVerdict._();
+
+  factory KernelContractVerdict.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory KernelContractVerdict.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'KernelContractVerdict',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOB(1, _omitFieldNames ? '' : 'coherent')
+    ..pPM<KernelContractRequirement>(2, _omitFieldNames ? '' : 'missing',
+        subBuilder: KernelContractRequirement.create)
+    ..aOS(3, _omitFieldNames ? '' : 'lawHash')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  KernelContractVerdict clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  KernelContractVerdict copyWith(
+          void Function(KernelContractVerdict) updates) =>
+      super.copyWith((message) => updates(message as KernelContractVerdict))
+          as KernelContractVerdict;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static KernelContractVerdict create() => KernelContractVerdict._();
+  @$core.override
+  KernelContractVerdict createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static KernelContractVerdict getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<KernelContractVerdict>(create);
+  static KernelContractVerdict? _defaultInstance;
+
+  /// True only when the kernel provides every requirement.
+  @$pb.TagNumber(1)
+  $core.bool get coherent => $_getBF(0);
+  @$pb.TagNumber(1)
+  set coherent($core.bool value) => $_setBool(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasCoherent() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearCoherent() => $_clearField(1);
+
+  /// Exactly the requirements this kernel does not provide, in the order asked.
+  @$pb.TagNumber(2)
+  $pb.PbList<KernelContractRequirement> get missing => $_getList(1);
+
+  @$pb.TagNumber(3)
+  $core.String get lawHash => $_getSZ(2);
+  @$pb.TagNumber(3)
+  set lawHash($core.String value) => $_setString(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasLawHash() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearLawHash() => $_clearField(3);
+}
+
+const $core.bool _omitFieldNames =
+    $core.bool.fromEnvironment('protobuf.omit_field_names');
+const $core.bool _omitMessageNames =
+    $core.bool.fromEnvironment('protobuf.omit_message_names');

package/dart_types/lib/src/proto/nomos/runtime/v2/compatibility_desk.pbenum.dart

@@ -0,0 +1,62 @@
+// This is a generated file - do not edit.
+//
+// Generated from nomos/runtime/v2/compatibility_desk.proto.
+
+// @dart = 3.3
+
+// ignore_for_file: annotate_overrides, camel_case_types, comment_references
+// ignore_for_file: constant_identifier_names
+// ignore_for_file: curly_braces_in_flow_control_structures
+// ignore_for_file: deprecated_member_use_from_same_package, library_prefixes
+// ignore_for_file: non_constant_identifier_names
+
+import 'dart:core' as $core;
+
+import 'package:protobuf/protobuf.dart' as $pb;
+
+/// WHETHER MISSING LAW MIGHT STILL ARRIVE IS THE OFFICE'S TO STATE.
+///
+/// A client that finds its domain absent wants to know whether to say "sync and
+/// try again" or "this was never deployed". Reception used to guess, by reading a
+/// `SyncStatus.behind` count that the reducer only ever sets to 0 or null — so the
+/// "local custody is stale" arm was unreachable and the answer was always "never
+/// deployed". Whether local custody trails a remote frontier is a correspondence
+/// fact; the desk says what it knows, including that it knows nothing yet.
+class LocalLawCurrency extends $pb.ProtobufEnum {
+  static const LocalLawCurrency LOCAL_LAW_CURRENCY_UNSPECIFIED =
+      LocalLawCurrency._(
+          0, _omitEnumNames ? '' : 'LOCAL_LAW_CURRENCY_UNSPECIFIED');
+
+  /// Local custody is level with the remote frontier the office has observed:
+  /// law missing here is missing there, so it was never deployed.
+  static const LocalLawCurrency LOCAL_LAW_CURRENCY_CURRENT =
+      LocalLawCurrency._(1, _omitEnumNames ? '' : 'LOCAL_LAW_CURRENCY_CURRENT');
+
+  /// Local custody trails an observed remote frontier: missing law may still
+  /// arrive. A client presents "sync, then re-bind"; it counts no commits.
+  static const LocalLawCurrency LOCAL_LAW_CURRENCY_BEHIND =
+      LocalLawCurrency._(2, _omitEnumNames ? '' : 'LOCAL_LAW_CURRENCY_BEHIND');
+
+  /// No remote frontier has been observed, so the office states nothing about
+  /// currency. The same honest position `WorkspaceTransferEstimate` takes.
+  static const LocalLawCurrency LOCAL_LAW_CURRENCY_UNOBSERVED =
+      LocalLawCurrency._(
+          3, _omitEnumNames ? '' : 'LOCAL_LAW_CURRENCY_UNOBSERVED');
+
+  static const $core.List<LocalLawCurrency> values = <LocalLawCurrency>[
+    LOCAL_LAW_CURRENCY_UNSPECIFIED,
+    LOCAL_LAW_CURRENCY_CURRENT,
+    LOCAL_LAW_CURRENCY_BEHIND,
+    LOCAL_LAW_CURRENCY_UNOBSERVED,
+  ];
+
+  static final $core.List<LocalLawCurrency?> _byValue =
+      $pb.ProtobufEnum.$_initByValueList(values, 3);
+  static LocalLawCurrency? valueOf($core.int value) =>
+      value < 0 || value >= _byValue.length ? null : _byValue[value];
+
+  const LocalLawCurrency._(super.value, super.name);
+}
+
+const $core.bool _omitEnumNames =
+    $core.bool.fromEnvironment('protobuf.omit_enum_names');