@githolon/dsl 0.108.7 → 0.110.0

package/dart_types/lib/src/local_work_rejected.dart

@@ -16,7 +16,7 @@
 //            this device's signer enrollment hadn't landed on the chain yet)
 //   false ⇒ "Your changes couldn't be accepted and have been preserved for review — contact support."
 // Never show [NomosRejectedIntent.error] raw to an end user — it is the gate's diagnostic text.
-import 'proto/nomos/runtime/v2/runtime.pb.dart' as runtime;
+import 'proto/nomos/runtime/v2/recovery_desk.pb.dart' as recovery;
 
 class NomosRejectedIntent {
   final String? intentId;
@@ -72,7 +72,7 @@ class NomosLocalWorkRejectedEvent {
   });
 
   factory NomosLocalWorkRejectedEvent.fromRuntime(
-    runtime.LocalWorkRejected event, {
+    recovery.LocalWorkRejected event, {
     String? session,
   }) =>
       NomosLocalWorkRejectedEvent(
@@ -94,7 +94,7 @@ class NomosLocalWorkRejectedEvent {
         resetTo: event.hasResetTo() ? event.resetTo : null,
         retryable: event.retryable,
         source: event.source ==
-                runtime.LocalWorkRejectionSource
+                recovery.LocalWorkRejectionSource
                     .LOCAL_WORK_REJECTION_SOURCE_ADMISSION
             ? 'admission'
             : 'sync',

package/dart_types/lib/src/nomos_ref.dart

@@ -114,7 +114,9 @@ abstract final class NmsInternalNomosRefs {
       throw FormatException('Expected a Nomos reference', value);
     }
     final workspace = Uri.decodeComponent(uri.host);
-    final segments = uri.pathSegments.map(Uri.decodeComponent).toList();
+    // Uri.pathSegments are already decoded. Decoding again corrupts IDs
+    // containing literal percent escapes (or throws on a literal percent).
+    final segments = uri.pathSegments;
     if (workspace.isEmpty ||
         segments.length != 2 ||
         segments[0].isEmpty ||

package/dart_types/lib/src/principal.dart

@@ -11,7 +11,7 @@
 /// bug class as a raw `domain`/`directiveId` swap). These wrappers make the transposition a type
 /// error: `NomosPrincipal` and `NomosDeviceSecret` are distinct types, so passing one where the other
 /// belongs won't compile. The generated method unwraps `.wire` to call the (unchanged) runtime
-/// primitive `NomosBridge.createWorkspace(actor: String, authorSecret: String?, …)`.
+/// generated workspace-birth call, which accepts a principal at the typed domain boundary.
 
 /// A verified principal identity (`user:<uid>` on the wire). Construct with [NomosPrincipal.user]
 /// from a bare uid, or [NomosPrincipal.parse] from a `user:<uid>` wire string.
@@ -55,7 +55,7 @@ class NomosDeviceSecret {
   String toString() => 'NomosDeviceSecret(***)';
 }
 
-/// THE ONE PRINCIPAL NORMALIZER (Dart surface — mirrors `@githolon/client` `canonicalPrincipal`).
+/// THE ONE PRINCIPAL NORMALIZER (Dart surface — mirrors `@githolon/peer-office` `canonicalPrincipal`).
 ///
 /// KERNEL TRUTH (`executor/src/lib.rs::signer_object` + `verify_author_and_derive`): the
 /// authorization gate checks `identity:<captured principal VERBATIM>` where the captured principal

package/dart_types/lib/src/proto/google/protobuf/any.pb.dart

@@ -0,0 +1,163 @@
+// This is a generated file - do not edit.
+//
+// Generated from google/protobuf/any.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
+// ignore_for_file: implementation_imports, library_prefixes
+// ignore_for_file: non_constant_identifier_names
+
+import 'dart:core' as $core;
+
+import 'package:protobuf/protobuf.dart' as $pb;
+import 'package:protobuf/src/protobuf/mixins/well_known.dart' as $mixin;
+
+export 'package:protobuf/protobuf.dart' show GeneratedMessageGenericExtensions;
+
+/// `Any` contains an arbitrary serialized protocol buffer message along with a
+/// URL that describes the type of the serialized message.
+///
+/// In its binary encoding, an `Any` is an ordinary message; but in other wire
+/// forms like JSON, it has a special encoding. The format of the type URL is
+/// described on the `type_url` field.
+///
+/// Protobuf APIs provide utilities to interact with `Any` values:
+///
+/// - A 'pack' operation accepts a message and constructs a generic `Any` wrapper
+///   around it.
+/// - An 'unpack' operation reads the content of an `Any` message, either into an
+///   existing message or a new one. Unpack operations must check the type of the
+///   value they unpack against the declared `type_url`.
+/// - An 'is' operation decides whether an `Any` contains a message of the given
+///   type, i.e. whether it can 'unpack' that type.
+///
+/// The JSON format representation of an `Any` follows one of these cases:
+///
+/// - For types without special-cased JSON encodings, the JSON format
+///   representation of the `Any` is the same as that of the message, with an
+///   additional `@type` field which contains the type URL.
+/// - For types with special-cased JSON encodings (typically called 'well-known'
+///   types, listed in https://protobuf.dev/programming-guides/json/#any), the
+///   JSON format representation has a key `@type` which contains the type URL
+///   and a key `value` which contains the JSON-serialized value.
+///
+/// The text format representation of an `Any` is like a message with one field
+/// whose name is the type URL in brackets. For example, an `Any` containing a
+/// `foo.Bar` message may be written `[type.googleapis.com/foo.Bar] { a: 2 }`.
+class Any extends $pb.GeneratedMessage with $mixin.AnyMixin {
+  factory Any({
+    $core.String? typeUrl,
+    $core.List<$core.int>? value,
+  }) {
+    final result = create();
+    if (typeUrl != null) result.typeUrl = typeUrl;
+    if (value != null) result.value = value;
+    return result;
+  }
+
+  Any._();
+
+  factory Any.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory Any.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'Any',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'google.protobuf'),
+      createEmptyInstance: create,
+      wellKnownType: $mixin.WellKnownType.any)
+    ..aOS(1, _omitFieldNames ? '' : 'typeUrl')
+    ..a<$core.List<$core.int>>(
+        2, _omitFieldNames ? '' : 'value', $pb.PbFieldType.OY)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  Any clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  Any copyWith(void Function(Any) updates) =>
+      super.copyWith((message) => updates(message as Any)) as Any;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static Any create() => Any._();
+  @$core.override
+  Any createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static Any getDefault() =>
+      _defaultInstance ??= $pb.GeneratedMessage.$_defaultFor<Any>(create);
+  static Any? _defaultInstance;
+
+  /// Identifies the type of the serialized Protobuf message with a URI reference
+  /// consisting of a prefix ending in a slash and the fully-qualified type name.
+  ///
+  /// Example: type.googleapis.com/google.protobuf.StringValue
+  ///
+  /// This string must contain at least one `/` character, and the content after
+  /// the last `/` must be the fully-qualified name of the type in canonical
+  /// form, without a leading dot. Do not write a scheme on these URI references
+  /// so that clients do not attempt to contact them.
+  ///
+  /// The prefix is arbitrary and Protobuf implementations are expected to
+  /// simply strip off everything up to and including the last `/` to identify
+  /// the type. `type.googleapis.com/` is a common default prefix that some
+  /// legacy implementations require. This prefix does not indicate the origin of
+  /// the type, and URIs containing it are not expected to respond to any
+  /// requests.
+  ///
+  /// All type URL strings must be legal URI references with the additional
+  /// restriction (for the text format) that the content of the reference
+  /// must consist only of alphanumeric characters, percent-encoded escapes, and
+  /// characters in the following set (not including the outer backticks):
+  /// `/-.~_!$&()*+,;=`. Despite our allowing percent encodings, implementations
+  /// should not unescape them to prevent confusion with existing parsers. For
+  /// example, `type.googleapis.com%2FFoo` should be rejected.
+  ///
+  /// In the original design of `Any`, the possibility of launching a type
+  /// resolution service at these type URLs was considered but Protobuf never
+  /// implemented one and considers contacting these URLs to be problematic and
+  /// a potential security issue. Do not attempt to contact type URLs.
+  @$pb.TagNumber(1)
+  $core.String get typeUrl => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set typeUrl($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasTypeUrl() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearTypeUrl() => $_clearField(1);
+
+  /// Holds a Protobuf serialization of the type described by type_url.
+  @$pb.TagNumber(2)
+  $core.List<$core.int> get value => $_getN(1);
+  @$pb.TagNumber(2)
+  set value($core.List<$core.int> value) => $_setBytes(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasValue() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearValue() => $_clearField(2);
+
+  /// Creates a new [Any] encoding [message].
+  ///
+  /// The [typeUrl] will be [typeUrlPrefix]/`fullName` where `fullName` is
+  /// the fully qualified name of the type of [message].
+  static Any pack($pb.GeneratedMessage message,
+      {$core.String typeUrlPrefix = 'type.googleapis.com'}) {
+    final result = create();
+    $mixin.AnyMixin.packIntoAny(result, message, typeUrlPrefix: typeUrlPrefix);
+    return result;
+  }
+}
+
+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/google/protobuf/any.pbenum.dart

@@ -0,0 +1,11 @@
+// This is a generated file - do not edit.
+//
+// Generated from google/protobuf/any.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

package/dart_types/lib/src/proto/nomos/discovery/v1/workspace_placement.pb.dart

@@ -0,0 +1,137 @@
+// This is a generated file - do not edit.
+//
+// Generated from nomos/discovery/v1/workspace_placement.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;
+
+/// An availability description returned by a workspace discovery provider.
+///
+/// This is deliberately outside the kernel and peer-runtime protocol packages:
+/// it reports where custody might be reached, but proves neither placement nor
+/// workspace authority. The Peer Office passes policy_usda to the kernel before
+/// acting on it, and every remote mutation still enters through offer.
+class DiscoveredWorkspacePlacement extends $pb.GeneratedMessage {
+  factory DiscoveredWorkspacePlacement({
+    $core.String? workspace,
+    $core.String? frontier,
+    $core.List<$core.int>? policyUsda,
+    $core.String? custodyLeaseUrl,
+    $core.String? candidateReceptionUrl,
+  }) {
+    final result = create();
+    if (workspace != null) result.workspace = workspace;
+    if (frontier != null) result.frontier = frontier;
+    if (policyUsda != null) result.policyUsda = policyUsda;
+    if (custodyLeaseUrl != null) result.custodyLeaseUrl = custodyLeaseUrl;
+    if (candidateReceptionUrl != null)
+      result.candidateReceptionUrl = candidateReceptionUrl;
+    return result;
+  }
+
+  DiscoveredWorkspacePlacement._();
+
+  factory DiscoveredWorkspacePlacement.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory DiscoveredWorkspacePlacement.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'DiscoveredWorkspacePlacement',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.discovery.v1'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'workspace')
+    ..aOS(2, _omitFieldNames ? '' : 'frontier')
+    ..a<$core.List<$core.int>>(
+        3, _omitFieldNames ? '' : 'policyUsda', $pb.PbFieldType.OY)
+    ..aOS(4, _omitFieldNames ? '' : 'custodyLeaseUrl')
+    ..aOS(5, _omitFieldNames ? '' : 'candidateReceptionUrl')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  DiscoveredWorkspacePlacement clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  DiscoveredWorkspacePlacement copyWith(
+          void Function(DiscoveredWorkspacePlacement) updates) =>
+      super.copyWith(
+              (message) => updates(message as DiscoveredWorkspacePlacement))
+          as DiscoveredWorkspacePlacement;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static DiscoveredWorkspacePlacement create() =>
+      DiscoveredWorkspacePlacement._();
+  @$core.override
+  DiscoveredWorkspacePlacement createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static DiscoveredWorkspacePlacement getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<DiscoveredWorkspacePlacement>(create);
+  static DiscoveredWorkspacePlacement? _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)
+  $core.String get frontier => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set frontier($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasFrontier() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearFrontier() => $_clearField(2);
+
+  @$pb.TagNumber(3)
+  $core.List<$core.int> get policyUsda => $_getN(2);
+  @$pb.TagNumber(3)
+  set policyUsda($core.List<$core.int> value) => $_setBytes(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasPolicyUsda() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearPolicyUsda() => $_clearField(3);
+
+  @$pb.TagNumber(4)
+  $core.String get custodyLeaseUrl => $_getSZ(3);
+  @$pb.TagNumber(4)
+  set custodyLeaseUrl($core.String value) => $_setString(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasCustodyLeaseUrl() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearCustodyLeaseUrl() => $_clearField(4);
+
+  /// Provider-supplied availability hint, not committed placement policy.
+  @$pb.TagNumber(5)
+  $core.String get candidateReceptionUrl => $_getSZ(4);
+  @$pb.TagNumber(5)
+  set candidateReceptionUrl($core.String value) => $_setString(4, value);
+  @$pb.TagNumber(5)
+  $core.bool hasCandidateReceptionUrl() => $_has(4);
+  @$pb.TagNumber(5)
+  void clearCandidateReceptionUrl() => $_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/discovery/v1/workspace_placement.pbenum.dart

@@ -0,0 +1,11 @@
+// This is a generated file - do not edit.
+//
+// Generated from nomos/discovery/v1/workspace_placement.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