@githolon/dsl 0.108.7 → 0.110.1

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

@@ -0,0 +1,358 @@
+// This is a generated file - do not edit.
+//
+// Generated from nomos/runtime/v2/model_adoption_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 'model_adoption_desk.pbenum.dart';
+
+export 'package:protobuf/protobuf.dart' show GeneratedMessageGenericExtensions;
+
+export 'model_adoption_desk.pbenum.dart';
+
+class AdoptApplicationModelRequest extends $pb.GeneratedMessage {
+  factory AdoptApplicationModelRequest({
+    $core.String? session,
+    $core.String? lawSha256,
+    $core.Iterable<$core.String>? domainKeys,
+    $core.String? acceptanceReason,
+    $core.bool? dryRun,
+  }) {
+    final result = create();
+    if (session != null) result.session = session;
+    if (lawSha256 != null) result.lawSha256 = lawSha256;
+    if (domainKeys != null) result.domainKeys.addAll(domainKeys);
+    if (acceptanceReason != null) result.acceptanceReason = acceptanceReason;
+    if (dryRun != null) result.dryRun = dryRun;
+    return result;
+  }
+
+  AdoptApplicationModelRequest._();
+
+  factory AdoptApplicationModelRequest.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory AdoptApplicationModelRequest.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'AdoptApplicationModelRequest',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'session')
+    ..aOS(2, _omitFieldNames ? '' : 'lawSha256')
+    ..pPS(3, _omitFieldNames ? '' : 'domainKeys')
+    ..aOS(4, _omitFieldNames ? '' : 'acceptanceReason')
+    ..aOB(5, _omitFieldNames ? '' : 'dryRun')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  AdoptApplicationModelRequest clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  AdoptApplicationModelRequest copyWith(
+          void Function(AdoptApplicationModelRequest) updates) =>
+      super.copyWith(
+              (message) => updates(message as AdoptApplicationModelRequest))
+          as AdoptApplicationModelRequest;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static AdoptApplicationModelRequest create() =>
+      AdoptApplicationModelRequest._();
+  @$core.override
+  AdoptApplicationModelRequest createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static AdoptApplicationModelRequest getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<AdoptApplicationModelRequest>(create);
+  static AdoptApplicationModelRequest? _defaultInstance;
+
+  /// The application's session, already bound to the workspace (cloud-bound,
+  /// with a principal and a device signing key in the vault).
+  @$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);
+
+  /// The approved package identity from the generated descriptor: the kernel-derived
+  /// content identity of the compiled `.law.usdz` closure (64 lowercase hex).
+  @$pb.TagNumber(2)
+  $core.String get lawSha256 => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set lawSha256($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasLawSha256() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearLawSha256() => $_clearField(2);
+
+  /// The application's domain keys. Keys the workspace does not serve are ignored;
+  /// a workspace serving none of them is deferred, never installed into.
+  @$pb.TagNumber(3)
+  $pb.PbList<$core.String> get domainKeys => $_getList(2);
+
+  /// The application's attributed approval text. REQUIRED: the kernel's transition
+  /// demands it whenever retirements or retypes are present, and the office never
+  /// invents one.
+  @$pb.TagNumber(4)
+  $core.String get acceptanceReason => $_getSZ(3);
+  @$pb.TagNumber(4)
+  set acceptanceReason($core.String value) => $_setString(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasAcceptanceReason() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearAcceptanceReason() => $_clearField(4);
+
+  /// Stop after the kernel's transition preflight and report it; nothing is staged
+  /// or promoted.
+  @$pb.TagNumber(5)
+  $core.bool get dryRun => $_getBF(4);
+  @$pb.TagNumber(5)
+  set dryRun($core.bool value) => $_setBool(4, value);
+  @$pb.TagNumber(5)
+  $core.bool hasDryRun() => $_has(4);
+  @$pb.TagNumber(5)
+  void clearDryRun() => $_clearField(5);
+}
+
+class ApplicationModelAdopted extends $pb.GeneratedMessage {
+  factory ApplicationModelAdopted({
+    $core.String? workspace,
+    ModelAdoptionOutcome? outcome,
+    $core.String? currentLawSha256,
+    $core.String? detail,
+    $0.FrontierTransitionResponse? transition,
+  }) {
+    final result = create();
+    if (workspace != null) result.workspace = workspace;
+    if (outcome != null) result.outcome = outcome;
+    if (currentLawSha256 != null) result.currentLawSha256 = currentLawSha256;
+    if (detail != null) result.detail = detail;
+    if (transition != null) result.transition = transition;
+    return result;
+  }
+
+  ApplicationModelAdopted._();
+
+  factory ApplicationModelAdopted.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory ApplicationModelAdopted.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'ApplicationModelAdopted',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'workspace')
+    ..aE<ModelAdoptionOutcome>(2, _omitFieldNames ? '' : 'outcome',
+        enumValues: ModelAdoptionOutcome.values)
+    ..aOS(3, _omitFieldNames ? '' : 'currentLawSha256')
+    ..aOS(4, _omitFieldNames ? '' : 'detail')
+    ..aOM<$0.FrontierTransitionResponse>(5, _omitFieldNames ? '' : 'transition',
+        subBuilder: $0.FrontierTransitionResponse.create)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  ApplicationModelAdopted clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  ApplicationModelAdopted copyWith(
+          void Function(ApplicationModelAdopted) updates) =>
+      super.copyWith((message) => updates(message as ApplicationModelAdopted))
+          as ApplicationModelAdopted;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static ApplicationModelAdopted create() => ApplicationModelAdopted._();
+  @$core.override
+  ApplicationModelAdopted createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static ApplicationModelAdopted getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<ApplicationModelAdopted>(create);
+  static ApplicationModelAdopted? _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)
+  ModelAdoptionOutcome get outcome => $_getN(1);
+  @$pb.TagNumber(2)
+  set outcome(ModelAdoptionOutcome value) => $_setField(2, value);
+  @$pb.TagNumber(2)
+  $core.bool hasOutcome() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearOutcome() => $_clearField(2);
+
+  /// The law the workspace's first served domain key resolves to after the run.
+  @$pb.TagNumber(3)
+  $core.String get currentLawSha256 => $_getSZ(2);
+  @$pb.TagNumber(3)
+  set currentLawSha256($core.String value) => $_setString(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasCurrentLawSha256() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearCurrentLawSha256() => $_clearField(3);
+
+  /// The typed refusal, violation list or capability failure behind a deferral;
+  /// the preflight summary behind a preview.
+  @$pb.TagNumber(4)
+  $core.String get detail => $_getSZ(3);
+  @$pb.TagNumber(4)
+  set detail($core.String value) => $_setString(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasDetail() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearDetail() => $_clearField(4);
+
+  /// The kernel's current-frontier transition verdict, when one was derived.
+  @$pb.TagNumber(5)
+  $0.FrontierTransitionResponse get transition => $_getN(4);
+  @$pb.TagNumber(5)
+  set transition($0.FrontierTransitionResponse value) => $_setField(5, value);
+  @$pb.TagNumber(5)
+  $core.bool hasTransition() => $_has(4);
+  @$pb.TagNumber(5)
+  void clearTransition() => $_clearField(5);
+  @$pb.TagNumber(5)
+  $0.FrontierTransitionResponse ensureTransition() => $_ensure(4);
+}
+
+/// Emitted as a RuntimeEvent to every session bound to the workspace while the
+/// desk runs, and once more with the terminal outcome.
+class ModelAdoptionProgress extends $pb.GeneratedMessage {
+  factory ModelAdoptionProgress({
+    $core.String? workspace,
+    ModelAdoptionPhase? phase,
+    ModelAdoptionOutcome? outcome,
+    $core.String? detail,
+    $core.String? currentLawSha256,
+  }) {
+    final result = create();
+    if (workspace != null) result.workspace = workspace;
+    if (phase != null) result.phase = phase;
+    if (outcome != null) result.outcome = outcome;
+    if (detail != null) result.detail = detail;
+    if (currentLawSha256 != null) result.currentLawSha256 = currentLawSha256;
+    return result;
+  }
+
+  ModelAdoptionProgress._();
+
+  factory ModelAdoptionProgress.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory ModelAdoptionProgress.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'ModelAdoptionProgress',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'workspace')
+    ..aE<ModelAdoptionPhase>(2, _omitFieldNames ? '' : 'phase',
+        enumValues: ModelAdoptionPhase.values)
+    ..aE<ModelAdoptionOutcome>(3, _omitFieldNames ? '' : 'outcome',
+        enumValues: ModelAdoptionOutcome.values)
+    ..aOS(4, _omitFieldNames ? '' : 'detail')
+    ..aOS(5, _omitFieldNames ? '' : 'currentLawSha256')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  ModelAdoptionProgress clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  ModelAdoptionProgress copyWith(
+          void Function(ModelAdoptionProgress) updates) =>
+      super.copyWith((message) => updates(message as ModelAdoptionProgress))
+          as ModelAdoptionProgress;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static ModelAdoptionProgress create() => ModelAdoptionProgress._();
+  @$core.override
+  ModelAdoptionProgress createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static ModelAdoptionProgress getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<ModelAdoptionProgress>(create);
+  static ModelAdoptionProgress? _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)
+  ModelAdoptionPhase get phase => $_getN(1);
+  @$pb.TagNumber(2)
+  set phase(ModelAdoptionPhase value) => $_setField(2, value);
+  @$pb.TagNumber(2)
+  $core.bool hasPhase() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearPhase() => $_clearField(2);
+
+  @$pb.TagNumber(3)
+  ModelAdoptionOutcome get outcome => $_getN(2);
+  @$pb.TagNumber(3)
+  set outcome(ModelAdoptionOutcome value) => $_setField(3, value);
+  @$pb.TagNumber(3)
+  $core.bool hasOutcome() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearOutcome() => $_clearField(3);
+
+  @$pb.TagNumber(4)
+  $core.String get detail => $_getSZ(3);
+  @$pb.TagNumber(4)
+  set detail($core.String value) => $_setString(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasDetail() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearDetail() => $_clearField(4);
+
+  @$pb.TagNumber(5)
+  $core.String get currentLawSha256 => $_getSZ(4);
+  @$pb.TagNumber(5)
+  set currentLawSha256($core.String value) => $_setString(4, value);
+  @$pb.TagNumber(5)
+  $core.bool hasCurrentLawSha256() => $_has(4);
+  @$pb.TagNumber(5)
+  void clearCurrentLawSha256() => $_clearField(5);
+}
+
+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/model_adoption_desk.pbenum.dart

@@ -0,0 +1,100 @@
+// This is a generated file - do not edit.
+//
+// Generated from nomos/runtime/v2/model_adoption_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;
+
+class ModelAdoptionOutcome extends $pb.ProtobufEnum {
+  static const ModelAdoptionOutcome MODEL_ADOPTION_OUTCOME_UNSPECIFIED =
+      ModelAdoptionOutcome._(
+          0, _omitEnumNames ? '' : 'MODEL_ADOPTION_OUTCOME_UNSPECIFIED');
+
+  /// Progress: the named phase is running.
+  static const ModelAdoptionOutcome MODEL_ADOPTION_OUTCOME_IN_PROGRESS =
+      ModelAdoptionOutcome._(
+          1, _omitEnumNames ? '' : 'MODEL_ADOPTION_OUTCOME_IN_PROGRESS');
+
+  /// Every served domain key already resolves to the approved package; nothing was written.
+  static const ModelAdoptionOutcome MODEL_ADOPTION_OUTCOME_CURRENT =
+      ModelAdoptionOutcome._(
+          2, _omitEnumNames ? '' : 'MODEL_ADOPTION_OUTCOME_CURRENT');
+
+  /// The approved package is now the workspace's current law for every served key.
+  static const ModelAdoptionOutcome MODEL_ADOPTION_OUTCOME_ADOPTED =
+      ModelAdoptionOutcome._(
+          3, _omitEnumNames ? '' : 'MODEL_ADOPTION_OUTCOME_ADOPTED');
+
+  /// Not adopted on this run: the typed detail carries the kernel's refusal, the
+  /// transition violations, or the missing capability. The application keeps
+  /// working on the current law; the next open runs the desk again.
+  static const ModelAdoptionOutcome MODEL_ADOPTION_OUTCOME_DEFERRED =
+      ModelAdoptionOutcome._(
+          4, _omitEnumNames ? '' : 'MODEL_ADOPTION_OUTCOME_DEFERRED');
+
+  /// A dry run: the kernel's transition preflight passed and is reported; nothing was written.
+  static const ModelAdoptionOutcome MODEL_ADOPTION_OUTCOME_PREVIEWED =
+      ModelAdoptionOutcome._(
+          5, _omitEnumNames ? '' : 'MODEL_ADOPTION_OUTCOME_PREVIEWED');
+
+  static const $core.List<ModelAdoptionOutcome> values = <ModelAdoptionOutcome>[
+    MODEL_ADOPTION_OUTCOME_UNSPECIFIED,
+    MODEL_ADOPTION_OUTCOME_IN_PROGRESS,
+    MODEL_ADOPTION_OUTCOME_CURRENT,
+    MODEL_ADOPTION_OUTCOME_ADOPTED,
+    MODEL_ADOPTION_OUTCOME_DEFERRED,
+    MODEL_ADOPTION_OUTCOME_PREVIEWED,
+  ];
+
+  static final $core.List<ModelAdoptionOutcome?> _byValue =
+      $pb.ProtobufEnum.$_initByValueList(values, 5);
+  static ModelAdoptionOutcome? valueOf($core.int value) =>
+      value < 0 || value >= _byValue.length ? null : _byValue[value];
+
+  const ModelAdoptionOutcome._(super.value, super.name);
+}
+
+class ModelAdoptionPhase extends $pb.ProtobufEnum {
+  static const ModelAdoptionPhase MODEL_ADOPTION_PHASE_UNSPECIFIED =
+      ModelAdoptionPhase._(
+          0, _omitEnumNames ? '' : 'MODEL_ADOPTION_PHASE_UNSPECIFIED');
+  static const ModelAdoptionPhase MODEL_ADOPTION_PHASE_OBSERVE =
+      ModelAdoptionPhase._(
+          1, _omitEnumNames ? '' : 'MODEL_ADOPTION_PHASE_OBSERVE');
+  static const ModelAdoptionPhase MODEL_ADOPTION_PHASE_STAGE =
+      ModelAdoptionPhase._(
+          2, _omitEnumNames ? '' : 'MODEL_ADOPTION_PHASE_STAGE');
+  static const ModelAdoptionPhase MODEL_ADOPTION_PHASE_PROMOTE =
+      ModelAdoptionPhase._(
+          3, _omitEnumNames ? '' : 'MODEL_ADOPTION_PHASE_PROMOTE');
+  static const ModelAdoptionPhase MODEL_ADOPTION_PHASE_SYNC =
+      ModelAdoptionPhase._(
+          4, _omitEnumNames ? '' : 'MODEL_ADOPTION_PHASE_SYNC');
+
+  static const $core.List<ModelAdoptionPhase> values = <ModelAdoptionPhase>[
+    MODEL_ADOPTION_PHASE_UNSPECIFIED,
+    MODEL_ADOPTION_PHASE_OBSERVE,
+    MODEL_ADOPTION_PHASE_STAGE,
+    MODEL_ADOPTION_PHASE_PROMOTE,
+    MODEL_ADOPTION_PHASE_SYNC,
+  ];
+
+  static final $core.List<ModelAdoptionPhase?> _byValue =
+      $pb.ProtobufEnum.$_initByValueList(values, 4);
+  static ModelAdoptionPhase? valueOf($core.int value) =>
+      value < 0 || value >= _byValue.length ? null : _byValue[value];
+
+  const ModelAdoptionPhase._(super.value, super.name);
+}
+
+const $core.bool _omitEnumNames =
+    $core.bool.fromEnvironment('protobuf.omit_enum_names');