@githolon/dsl 0.108.6 → 0.110.0

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

@@ -0,0 +1,133 @@
+// This is a generated file - do not edit.
+//
+// Generated from nomos/runtime/v2/correspondence_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 ShareWorkspaceOutcome extends $pb.ProtobufEnum {
+  static const ShareWorkspaceOutcome SHARE_WORKSPACE_OUTCOME_UNSPECIFIED =
+      ShareWorkspaceOutcome._(
+          0, _omitEnumNames ? '' : 'SHARE_WORKSPACE_OUTCOME_UNSPECIFIED');
+  static const ShareWorkspaceOutcome SHARE_WORKSPACE_OUTCOME_DELIVERED =
+      ShareWorkspaceOutcome._(
+          1, _omitEnumNames ? '' : 'SHARE_WORKSPACE_OUTCOME_DELIVERED');
+  static const ShareWorkspaceOutcome
+      SHARE_WORKSPACE_OUTCOME_AWAITING_RECIPIENT = ShareWorkspaceOutcome._(2,
+          _omitEnumNames ? '' : 'SHARE_WORKSPACE_OUTCOME_AWAITING_RECIPIENT');
+  static const ShareWorkspaceOutcome SHARE_WORKSPACE_OUTCOME_REFUSED =
+      ShareWorkspaceOutcome._(
+          3, _omitEnumNames ? '' : 'SHARE_WORKSPACE_OUTCOME_REFUSED');
+
+  static const $core.List<ShareWorkspaceOutcome> values =
+      <ShareWorkspaceOutcome>[
+    SHARE_WORKSPACE_OUTCOME_UNSPECIFIED,
+    SHARE_WORKSPACE_OUTCOME_DELIVERED,
+    SHARE_WORKSPACE_OUTCOME_AWAITING_RECIPIENT,
+    SHARE_WORKSPACE_OUTCOME_REFUSED,
+  ];
+
+  static final $core.List<ShareWorkspaceOutcome?> _byValue =
+      $pb.ProtobufEnum.$_initByValueList(values, 3);
+  static ShareWorkspaceOutcome? valueOf($core.int value) =>
+      value < 0 || value >= _byValue.length ? null : _byValue[value];
+
+  const ShareWorkspaceOutcome._(super.value, super.name);
+}
+
+/// A peer-office job may need a platform shell to move an exact protobuf paper
+/// over HTTP. The shell receives no workspace lifecycle command and returns no
+/// semantic verdict: it performs this mechanical effect and returns the bytes
+/// and status it observed. The peer office retains the state machine and the
+/// target kernel remains the only examiner.
+class PeerHttpMethod extends $pb.ProtobufEnum {
+  static const PeerHttpMethod PEER_HTTP_METHOD_UNSPECIFIED =
+      PeerHttpMethod._(0, _omitEnumNames ? '' : 'PEER_HTTP_METHOD_UNSPECIFIED');
+  static const PeerHttpMethod PEER_HTTP_METHOD_GET =
+      PeerHttpMethod._(1, _omitEnumNames ? '' : 'PEER_HTTP_METHOD_GET');
+  static const PeerHttpMethod PEER_HTTP_METHOD_POST =
+      PeerHttpMethod._(2, _omitEnumNames ? '' : 'PEER_HTTP_METHOD_POST');
+
+  static const $core.List<PeerHttpMethod> values = <PeerHttpMethod>[
+    PEER_HTTP_METHOD_UNSPECIFIED,
+    PEER_HTTP_METHOD_GET,
+    PEER_HTTP_METHOD_POST,
+  ];
+
+  static final $core.List<PeerHttpMethod?> _byValue =
+      $pb.ProtobufEnum.$_initByValueList(values, 2);
+  static PeerHttpMethod? valueOf($core.int value) =>
+      value < 0 || value >= _byValue.length ? null : _byValue[value];
+
+  const PeerHttpMethod._(super.value, super.name);
+}
+
+class PeerEffectFailureReason extends $pb.ProtobufEnum {
+  static const PeerEffectFailureReason PEER_EFFECT_FAILURE_REASON_UNSPECIFIED =
+      PeerEffectFailureReason._(
+          0, _omitEnumNames ? '' : 'PEER_EFFECT_FAILURE_REASON_UNSPECIFIED');
+  static const PeerEffectFailureReason PEER_EFFECT_FAILURE_REASON_OFFLINE =
+      PeerEffectFailureReason._(
+          1, _omitEnumNames ? '' : 'PEER_EFFECT_FAILURE_REASON_OFFLINE');
+  static const PeerEffectFailureReason PEER_EFFECT_FAILURE_REASON_TIMEOUT =
+      PeerEffectFailureReason._(
+          2, _omitEnumNames ? '' : 'PEER_EFFECT_FAILURE_REASON_TIMEOUT');
+  static const PeerEffectFailureReason PEER_EFFECT_FAILURE_REASON_TRANSPORT =
+      PeerEffectFailureReason._(
+          3, _omitEnumNames ? '' : 'PEER_EFFECT_FAILURE_REASON_TRANSPORT');
+
+  static const $core.List<PeerEffectFailureReason> values =
+      <PeerEffectFailureReason>[
+    PEER_EFFECT_FAILURE_REASON_UNSPECIFIED,
+    PEER_EFFECT_FAILURE_REASON_OFFLINE,
+    PEER_EFFECT_FAILURE_REASON_TIMEOUT,
+    PEER_EFFECT_FAILURE_REASON_TRANSPORT,
+  ];
+
+  static final $core.List<PeerEffectFailureReason?> _byValue =
+      $pb.ProtobufEnum.$_initByValueList(values, 3);
+  static PeerEffectFailureReason? valueOf($core.int value) =>
+      value < 0 || value >= _byValue.length ? null : _byValue[value];
+
+  const PeerEffectFailureReason._(super.value, super.name);
+}
+
+class DeviceRecoveryAdmissionStage extends $pb.ProtobufEnum {
+  static const DeviceRecoveryAdmissionStage
+      DEVICE_RECOVERY_ADMISSION_STAGE_UNSPECIFIED =
+      DeviceRecoveryAdmissionStage._(0,
+          _omitEnumNames ? '' : 'DEVICE_RECOVERY_ADMISSION_STAGE_UNSPECIFIED');
+  static const DeviceRecoveryAdmissionStage
+      DEVICE_RECOVERY_ADMISSION_STAGE_ENROLLMENT =
+      DeviceRecoveryAdmissionStage._(1,
+          _omitEnumNames ? '' : 'DEVICE_RECOVERY_ADMISSION_STAGE_ENROLLMENT');
+  static const DeviceRecoveryAdmissionStage
+      DEVICE_RECOVERY_ADMISSION_STAGE_RECOVERY = DeviceRecoveryAdmissionStage._(
+          2, _omitEnumNames ? '' : 'DEVICE_RECOVERY_ADMISSION_STAGE_RECOVERY');
+
+  static const $core.List<DeviceRecoveryAdmissionStage> values =
+      <DeviceRecoveryAdmissionStage>[
+    DEVICE_RECOVERY_ADMISSION_STAGE_UNSPECIFIED,
+    DEVICE_RECOVERY_ADMISSION_STAGE_ENROLLMENT,
+    DEVICE_RECOVERY_ADMISSION_STAGE_RECOVERY,
+  ];
+
+  static final $core.List<DeviceRecoveryAdmissionStage?> _byValue =
+      $pb.ProtobufEnum.$_initByValueList(values, 2);
+  static DeviceRecoveryAdmissionStage? valueOf($core.int value) =>
+      value < 0 || value >= _byValue.length ? null : _byValue[value];
+
+  const DeviceRecoveryAdmissionStage._(super.value, super.name);
+}
+
+const $core.bool _omitEnumNames =
+    $core.bool.fromEnvironment('protobuf.omit_enum_names');

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

@@ -0,0 +1,204 @@
+// This is a generated file - do not edit.
+//
+// Generated from nomos/runtime/v2/credentials_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;
+
+export 'package:protobuf/protobuf.dart' show GeneratedMessageGenericExtensions;
+
+export 'credentials_desk.pbenum.dart';
+
+/// Transitional shell-to-office update. This disappears when every platform
+/// writes the WIT credential vault directly; application clients never call it.
+class RefreshCredentialsRequest extends $pb.GeneratedMessage {
+  factory RefreshCredentialsRequest({
+    $core.String? session,
+    $core.List<$core.int>? authToken,
+    $core.List<$core.int>? authorSecret,
+    $core.String? deviceIdentity,
+  }) {
+    final result = create();
+    if (session != null) result.session = session;
+    if (authToken != null) result.authToken = authToken;
+    if (authorSecret != null) result.authorSecret = authorSecret;
+    if (deviceIdentity != null) result.deviceIdentity = deviceIdentity;
+    return result;
+  }
+
+  RefreshCredentialsRequest._();
+
+  factory RefreshCredentialsRequest.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory RefreshCredentialsRequest.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'RefreshCredentialsRequest',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'session')
+    ..a<$core.List<$core.int>>(
+        2, _omitFieldNames ? '' : 'authToken', $pb.PbFieldType.OY)
+    ..a<$core.List<$core.int>>(
+        3, _omitFieldNames ? '' : 'authorSecret', $pb.PbFieldType.OY)
+    ..aOS(4, _omitFieldNames ? '' : 'deviceIdentity')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  RefreshCredentialsRequest clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  RefreshCredentialsRequest copyWith(
+          void Function(RefreshCredentialsRequest) updates) =>
+      super.copyWith((message) => updates(message as RefreshCredentialsRequest))
+          as RefreshCredentialsRequest;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static RefreshCredentialsRequest create() => RefreshCredentialsRequest._();
+  @$core.override
+  RefreshCredentialsRequest createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static RefreshCredentialsRequest getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<RefreshCredentialsRequest>(create);
+  static RefreshCredentialsRequest? _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.List<$core.int> get authToken => $_getN(1);
+  @$pb.TagNumber(2)
+  set authToken($core.List<$core.int> value) => $_setBytes(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasAuthToken() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearAuthToken() => $_clearField(2);
+
+  @$pb.TagNumber(3)
+  $core.List<$core.int> get authorSecret => $_getN(2);
+  @$pb.TagNumber(3)
+  set authorSecret($core.List<$core.int> value) => $_setBytes(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasAuthorSecret() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearAuthorSecret() => $_clearField(3);
+
+  /// Name of the durable device identity the shell keeps for this session
+  /// (application-scoped). Without author_secret the office LOADS it through
+  /// PeerDeviceIdentityEffect into the session's capability; with author_secret
+  /// it SAVES that secret under the name before adopting it. Either way the
+  /// shell answers the physical effect; the office decides the sequence.
+  @$pb.TagNumber(4)
+  $core.String get deviceIdentity => $_getSZ(3);
+  @$pb.TagNumber(4)
+  set deviceIdentity($core.String value) => $_setString(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasDeviceIdentity() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearDeviceIdentity() => $_clearField(4);
+}
+
+class CredentialsRefreshed extends $pb.GeneratedMessage {
+  factory CredentialsRefreshed({
+    $core.String? session,
+    $core.bool? hasAuthToken,
+    $core.bool? hasAuthorSecret,
+  }) {
+    final result = create();
+    if (session != null) result.session = session;
+    if (hasAuthToken != null) result.hasAuthToken = hasAuthToken;
+    if (hasAuthorSecret != null) result.hasAuthorSecret = hasAuthorSecret;
+    return result;
+  }
+
+  CredentialsRefreshed._();
+
+  factory CredentialsRefreshed.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory CredentialsRefreshed.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'CredentialsRefreshed',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'session')
+    ..aOB(2, _omitFieldNames ? '' : 'hasAuthToken')
+    ..aOB(3, _omitFieldNames ? '' : 'hasAuthorSecret')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  CredentialsRefreshed clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  CredentialsRefreshed copyWith(void Function(CredentialsRefreshed) updates) =>
+      super.copyWith((message) => updates(message as CredentialsRefreshed))
+          as CredentialsRefreshed;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static CredentialsRefreshed create() => CredentialsRefreshed._();
+  @$core.override
+  CredentialsRefreshed createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static CredentialsRefreshed getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<CredentialsRefreshed>(create);
+  static CredentialsRefreshed? _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.bool get hasAuthToken => $_getBF(1);
+  @$pb.TagNumber(2)
+  set hasAuthToken($core.bool value) => $_setBool(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasHasAuthToken() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearHasAuthToken() => $_clearField(2);
+
+  @$pb.TagNumber(3)
+  $core.bool get hasAuthorSecret => $_getBF(2);
+  @$pb.TagNumber(3)
+  set hasAuthorSecret($core.bool value) => $_setBool(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasHasAuthorSecret() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearHasAuthorSecret() => $_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/credentials_desk.pbenum.dart

@@ -0,0 +1,54 @@
+// This is a generated file - do not edit.
+//
+// Generated from nomos/runtime/v2/credentials_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;
+
+/// Ephemeral capability selection recorded on an application binding. Secret
+/// bytes live in the platform-shell WIT vault, not in workspace custody and not
+/// in the generated application protocol.
+class CredentialUse extends $pb.ProtobufEnum {
+  /// Invalid on every executable request. Proto requires a zero value; the peer
+  /// office rejects it so generated callers must make an explicit choice.
+  static const CredentialUse CREDENTIAL_USE_UNSPECIFIED =
+      CredentialUse._(0, _omitEnumNames ? '' : 'CREDENTIAL_USE_UNSPECIFIED');
+  static const CredentialUse CREDENTIAL_USE_SESSION =
+      CredentialUse._(1, _omitEnumNames ? '' : 'CREDENTIAL_USE_SESSION');
+  static const CredentialUse CREDENTIAL_USE_ENROLLED_DEVICE = CredentialUse._(
+      2, _omitEnumNames ? '' : 'CREDENTIAL_USE_ENROLLED_DEVICE');
+  static const CredentialUse CREDENTIAL_USE_NONE =
+      CredentialUse._(3, _omitEnumNames ? '' : 'CREDENTIAL_USE_NONE');
+
+  /// Narrow compatibility lane for an exact proof already present on the
+  /// kernel request. New application calls use a peer-office capability.
+  static const CredentialUse CREDENTIAL_USE_CALL_PROVIDED =
+      CredentialUse._(4, _omitEnumNames ? '' : 'CREDENTIAL_USE_CALL_PROVIDED');
+
+  static const $core.List<CredentialUse> values = <CredentialUse>[
+    CREDENTIAL_USE_UNSPECIFIED,
+    CREDENTIAL_USE_SESSION,
+    CREDENTIAL_USE_ENROLLED_DEVICE,
+    CREDENTIAL_USE_NONE,
+    CREDENTIAL_USE_CALL_PROVIDED,
+  ];
+
+  static final $core.List<CredentialUse?> _byValue =
+      $pb.ProtobufEnum.$_initByValueList(values, 4);
+  static CredentialUse? valueOf($core.int value) =>
+      value < 0 || value >= _byValue.length ? null : _byValue[value];
+
+  const CredentialUse._(super.value, super.name);
+}
+
+const $core.bool _omitEnumNames =
+    $core.bool.fromEnvironment('protobuf.omit_enum_names');