@githolon/dsl 0.108.7 → 0.110.1

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

@@ -0,0 +1,269 @@
+// This is a generated file - do not edit.
+//
+// Generated from nomos/runtime/v2/authentication_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 'authentication_desk.pbenum.dart';
+
+export 'package:protobuf/protobuf.dart' show GeneratedMessageGenericExtensions;
+
+export 'authentication_desk.pbenum.dart';
+
+/// A desired kernel postcondition. Peer Office owns repeated local
+/// observations, deadline and backoff; Replica Follow independently owns any
+/// remote convergence which may make a later observation ready.
+class AwaitAuthenticationRequest extends $pb.GeneratedMessage {
+  factory AwaitAuthenticationRequest({
+    $core.String? session,
+    $core.String? principal,
+    AuthenticationReadinessCriterion? criterion,
+    $core.int? patienceMillis,
+    $core.int? initialBackoffMillis,
+    $core.int? maximumBackoffMillis,
+    $core.int? maximumObservationRounds,
+    $core.List<$core.int>? authorSecret,
+  }) {
+    final result = create();
+    if (session != null) result.session = session;
+    if (principal != null) result.principal = principal;
+    if (criterion != null) result.criterion = criterion;
+    if (patienceMillis != null) result.patienceMillis = patienceMillis;
+    if (initialBackoffMillis != null)
+      result.initialBackoffMillis = initialBackoffMillis;
+    if (maximumBackoffMillis != null)
+      result.maximumBackoffMillis = maximumBackoffMillis;
+    if (maximumObservationRounds != null)
+      result.maximumObservationRounds = maximumObservationRounds;
+    if (authorSecret != null) result.authorSecret = authorSecret;
+    return result;
+  }
+
+  AwaitAuthenticationRequest._();
+
+  factory AwaitAuthenticationRequest.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory AwaitAuthenticationRequest.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'AwaitAuthenticationRequest',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'session')
+    ..aOS(2, _omitFieldNames ? '' : 'principal')
+    ..aE<AuthenticationReadinessCriterion>(
+        3, _omitFieldNames ? '' : 'criterion',
+        enumValues: AuthenticationReadinessCriterion.values)
+    ..aI(4, _omitFieldNames ? '' : 'patienceMillis',
+        fieldType: $pb.PbFieldType.OU3)
+    ..aI(5, _omitFieldNames ? '' : 'initialBackoffMillis',
+        fieldType: $pb.PbFieldType.OU3)
+    ..aI(6, _omitFieldNames ? '' : 'maximumBackoffMillis',
+        fieldType: $pb.PbFieldType.OU3)
+    ..aI(7, _omitFieldNames ? '' : 'maximumObservationRounds',
+        fieldType: $pb.PbFieldType.OU3)
+    ..a<$core.List<$core.int>>(
+        8, _omitFieldNames ? '' : 'authorSecret', $pb.PbFieldType.OY)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  AwaitAuthenticationRequest clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  AwaitAuthenticationRequest copyWith(
+          void Function(AwaitAuthenticationRequest) updates) =>
+      super.copyWith(
+              (message) => updates(message as AwaitAuthenticationRequest))
+          as AwaitAuthenticationRequest;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static AwaitAuthenticationRequest create() => AwaitAuthenticationRequest._();
+  @$core.override
+  AwaitAuthenticationRequest createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static AwaitAuthenticationRequest getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<AwaitAuthenticationRequest>(create);
+  static AwaitAuthenticationRequest? _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)
+  $core.String get principal => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set principal($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasPrincipal() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearPrincipal() => $_clearField(2);
+
+  @$pb.TagNumber(3)
+  AuthenticationReadinessCriterion get criterion => $_getN(2);
+  @$pb.TagNumber(3)
+  set criterion(AuthenticationReadinessCriterion value) => $_setField(3, value);
+  @$pb.TagNumber(3)
+  $core.bool hasCriterion() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearCriterion() => $_clearField(3);
+
+  @$pb.TagNumber(4)
+  $core.int get patienceMillis => $_getIZ(3);
+  @$pb.TagNumber(4)
+  set patienceMillis($core.int value) => $_setUnsignedInt32(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasPatienceMillis() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearPatienceMillis() => $_clearField(4);
+
+  @$pb.TagNumber(5)
+  $core.int get initialBackoffMillis => $_getIZ(4);
+  @$pb.TagNumber(5)
+  set initialBackoffMillis($core.int value) => $_setUnsignedInt32(4, value);
+  @$pb.TagNumber(5)
+  $core.bool hasInitialBackoffMillis() => $_has(4);
+  @$pb.TagNumber(5)
+  void clearInitialBackoffMillis() => $_clearField(5);
+
+  @$pb.TagNumber(6)
+  $core.int get maximumBackoffMillis => $_getIZ(5);
+  @$pb.TagNumber(6)
+  set maximumBackoffMillis($core.int value) => $_setUnsignedInt32(5, value);
+  @$pb.TagNumber(6)
+  $core.bool hasMaximumBackoffMillis() => $_has(5);
+  @$pb.TagNumber(6)
+  void clearMaximumBackoffMillis() => $_clearField(6);
+
+  /// Zero means the patience deadline is the only bound.
+  @$pb.TagNumber(7)
+  $core.int get maximumObservationRounds => $_getIZ(6);
+  @$pb.TagNumber(7)
+  set maximumObservationRounds($core.int value) => $_setUnsignedInt32(6, value);
+  @$pb.TagNumber(7)
+  $core.bool hasMaximumObservationRounds() => $_has(6);
+  @$pb.TagNumber(7)
+  void clearMaximumObservationRounds() => $_clearField(7);
+
+  /// Compatibility with existing operator calls; ordinary applications select
+  /// the session's credential capability and leave this absent.
+  @$pb.TagNumber(8)
+  $core.List<$core.int> get authorSecret => $_getN(7);
+  @$pb.TagNumber(8)
+  set authorSecret($core.List<$core.int> value) => $_setBytes(7, value);
+  @$pb.TagNumber(8)
+  $core.bool hasAuthorSecret() => $_has(7);
+  @$pb.TagNumber(8)
+  void clearAuthorSecret() => $_clearField(8);
+}
+
+class AuthenticationReadiness extends $pb.GeneratedMessage {
+  factory AuthenticationReadiness({
+    $0.AuthenticationPostureResponse? posture,
+    AuthenticationReadinessOutcome? outcome,
+    $core.int? observationRounds,
+  }) {
+    final result = create();
+    if (posture != null) result.posture = posture;
+    if (outcome != null) result.outcome = outcome;
+    if (observationRounds != null) result.observationRounds = observationRounds;
+    return result;
+  }
+
+  AuthenticationReadiness._();
+
+  factory AuthenticationReadiness.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory AuthenticationReadiness.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'AuthenticationReadiness',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOM<$0.AuthenticationPostureResponse>(1, _omitFieldNames ? '' : 'posture',
+        subBuilder: $0.AuthenticationPostureResponse.create)
+    ..aE<AuthenticationReadinessOutcome>(2, _omitFieldNames ? '' : 'outcome',
+        enumValues: AuthenticationReadinessOutcome.values)
+    ..aI(3, _omitFieldNames ? '' : 'observationRounds',
+        fieldType: $pb.PbFieldType.OU3)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  AuthenticationReadiness clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  AuthenticationReadiness copyWith(
+          void Function(AuthenticationReadiness) updates) =>
+      super.copyWith((message) => updates(message as AuthenticationReadiness))
+          as AuthenticationReadiness;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static AuthenticationReadiness create() => AuthenticationReadiness._();
+  @$core.override
+  AuthenticationReadiness createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static AuthenticationReadiness getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<AuthenticationReadiness>(create);
+  static AuthenticationReadiness? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $0.AuthenticationPostureResponse get posture => $_getN(0);
+  @$pb.TagNumber(1)
+  set posture($0.AuthenticationPostureResponse value) => $_setField(1, value);
+  @$pb.TagNumber(1)
+  $core.bool hasPosture() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearPosture() => $_clearField(1);
+  @$pb.TagNumber(1)
+  $0.AuthenticationPostureResponse ensurePosture() => $_ensure(0);
+
+  @$pb.TagNumber(2)
+  AuthenticationReadinessOutcome get outcome => $_getN(1);
+  @$pb.TagNumber(2)
+  set outcome(AuthenticationReadinessOutcome value) => $_setField(2, value);
+  @$pb.TagNumber(2)
+  $core.bool hasOutcome() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearOutcome() => $_clearField(2);
+
+  @$pb.TagNumber(3)
+  $core.int get observationRounds => $_getIZ(2);
+  @$pb.TagNumber(3)
+  set observationRounds($core.int value) => $_setUnsignedInt32(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasObservationRounds() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearObservationRounds() => $_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/authentication_desk.pbenum.dart

@@ -0,0 +1,103 @@
+// This is a generated file - do not edit.
+//
+// Generated from nomos/runtime/v2/authentication_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 AuthenticationReadinessCriterion extends $pb.ProtobufEnum {
+  static const AuthenticationReadinessCriterion
+      AUTHENTICATION_READINESS_CRITERION_UNSPECIFIED =
+      AuthenticationReadinessCriterion._(
+          0,
+          _omitEnumNames
+              ? ''
+              : 'AUTHENTICATION_READINESS_CRITERION_UNSPECIFIED');
+  static const AuthenticationReadinessCriterion
+      AUTHENTICATION_READINESS_CRITERION_ENROLLED_DEVICE =
+      AuthenticationReadinessCriterion._(
+          1,
+          _omitEnumNames
+              ? ''
+              : 'AUTHENTICATION_READINESS_CRITERION_ENROLLED_DEVICE');
+  static const AuthenticationReadinessCriterion
+      AUTHENTICATION_READINESS_CRITERION_PROVIDER_TOKEN =
+      AuthenticationReadinessCriterion._(
+          2,
+          _omitEnumNames
+              ? ''
+              : 'AUTHENTICATION_READINESS_CRITERION_PROVIDER_TOKEN');
+  static const AuthenticationReadinessCriterion
+      AUTHENTICATION_READINESS_CRITERION_BIRTH_EVIDENCE =
+      AuthenticationReadinessCriterion._(
+          3,
+          _omitEnumNames
+              ? ''
+              : 'AUTHENTICATION_READINESS_CRITERION_BIRTH_EVIDENCE');
+
+  static const $core.List<AuthenticationReadinessCriterion> values =
+      <AuthenticationReadinessCriterion>[
+    AUTHENTICATION_READINESS_CRITERION_UNSPECIFIED,
+    AUTHENTICATION_READINESS_CRITERION_ENROLLED_DEVICE,
+    AUTHENTICATION_READINESS_CRITERION_PROVIDER_TOKEN,
+    AUTHENTICATION_READINESS_CRITERION_BIRTH_EVIDENCE,
+  ];
+
+  static final $core.List<AuthenticationReadinessCriterion?> _byValue =
+      $pb.ProtobufEnum.$_initByValueList(values, 3);
+  static AuthenticationReadinessCriterion? valueOf($core.int value) =>
+      value < 0 || value >= _byValue.length ? null : _byValue[value];
+
+  const AuthenticationReadinessCriterion._(super.value, super.name);
+}
+
+class AuthenticationReadinessOutcome extends $pb.ProtobufEnum {
+  static const AuthenticationReadinessOutcome
+      AUTHENTICATION_READINESS_OUTCOME_UNSPECIFIED =
+      AuthenticationReadinessOutcome._(0,
+          _omitEnumNames ? '' : 'AUTHENTICATION_READINESS_OUTCOME_UNSPECIFIED');
+  static const AuthenticationReadinessOutcome
+      AUTHENTICATION_READINESS_OUTCOME_READY = AuthenticationReadinessOutcome._(
+          1, _omitEnumNames ? '' : 'AUTHENTICATION_READINESS_OUTCOME_READY');
+  static const AuthenticationReadinessOutcome
+      AUTHENTICATION_READINESS_OUTCOME_PATIENCE_EXHAUSTED =
+      AuthenticationReadinessOutcome._(
+          2,
+          _omitEnumNames
+              ? ''
+              : 'AUTHENTICATION_READINESS_OUTCOME_PATIENCE_EXHAUSTED');
+  static const AuthenticationReadinessOutcome
+      AUTHENTICATION_READINESS_OUTCOME_OBSERVATION_ROUNDS_EXHAUSTED =
+      AuthenticationReadinessOutcome._(
+          3,
+          _omitEnumNames
+              ? ''
+              : 'AUTHENTICATION_READINESS_OUTCOME_OBSERVATION_ROUNDS_EXHAUSTED');
+
+  static const $core.List<AuthenticationReadinessOutcome> values =
+      <AuthenticationReadinessOutcome>[
+    AUTHENTICATION_READINESS_OUTCOME_UNSPECIFIED,
+    AUTHENTICATION_READINESS_OUTCOME_READY,
+    AUTHENTICATION_READINESS_OUTCOME_PATIENCE_EXHAUSTED,
+    AUTHENTICATION_READINESS_OUTCOME_OBSERVATION_ROUNDS_EXHAUSTED,
+  ];
+
+  static final $core.List<AuthenticationReadinessOutcome?> _byValue =
+      $pb.ProtobufEnum.$_initByValueList(values, 3);
+  static AuthenticationReadinessOutcome? valueOf($core.int value) =>
+      value < 0 || value >= _byValue.length ? null : _byValue[value];
+
+  const AuthenticationReadinessOutcome._(super.value, super.name);
+}
+
+const $core.bool _omitEnumNames =
+    $core.bool.fromEnvironment('protobuf.omit_enum_names');