@githolon/dsl 0.113.4 → 0.115.0

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

@@ -129,5 +129,70 @@ class DeviceRecoveryAdmissionStage extends $pb.ProtobufEnum {
   const DeviceRecoveryAdmissionStage._(super.value, super.name);
 }
 
+/// Who ended a live socket.
+class PeerSocketCloseInitiator extends $pb.ProtobufEnum {
+  static const PeerSocketCloseInitiator
+      PEER_SOCKET_CLOSE_INITIATOR_UNSPECIFIED = PeerSocketCloseInitiator._(
+          0, _omitEnumNames ? '' : 'PEER_SOCKET_CLOSE_INITIATOR_UNSPECIFIED');
+
+  /// The runtime asked for it: a PeerSocketEffect close (a timed-out open, a disconnect).
+  static const PeerSocketCloseInitiator PEER_SOCKET_CLOSE_INITIATOR_RUNTIME =
+      PeerSocketCloseInitiator._(
+          1, _omitEnumNames ? '' : 'PEER_SOCKET_CLOSE_INITIATOR_RUNTIME');
+
+  /// The shell, on its own account: the origin fence refused the open, a send found no open
+  /// socket, a receipt could not be delivered, or the host shut down.
+  static const PeerSocketCloseInitiator PEER_SOCKET_CLOSE_INITIATOR_SHELL =
+      PeerSocketCloseInitiator._(
+          2, _omitEnumNames ? '' : 'PEER_SOCKET_CLOSE_INITIATOR_SHELL');
+
+  /// The remote end or the network: a close frame, a reset, or a connect that failed.
+  static const PeerSocketCloseInitiator PEER_SOCKET_CLOSE_INITIATOR_REMOTE =
+      PeerSocketCloseInitiator._(
+          3, _omitEnumNames ? '' : 'PEER_SOCKET_CLOSE_INITIATOR_REMOTE');
+
+  static const $core.List<PeerSocketCloseInitiator> values =
+      <PeerSocketCloseInitiator>[
+    PEER_SOCKET_CLOSE_INITIATOR_UNSPECIFIED,
+    PEER_SOCKET_CLOSE_INITIATOR_RUNTIME,
+    PEER_SOCKET_CLOSE_INITIATOR_SHELL,
+    PEER_SOCKET_CLOSE_INITIATOR_REMOTE,
+  ];
+
+  static final $core.List<PeerSocketCloseInitiator?> _byValue =
+      $pb.ProtobufEnum.$_initByValueList(values, 3);
+  static PeerSocketCloseInitiator? valueOf($core.int value) =>
+      value < 0 || value >= _byValue.length ? null : _byValue[value];
+
+  const PeerSocketCloseInitiator._(super.value, super.name);
+}
+
+/// Which side of the live link a connection served.
+class LiveLinkRole extends $pb.ProtobufEnum {
+  static const LiveLinkRole LIVE_LINK_ROLE_UNSPECIFIED =
+      LiveLinkRole._(0, _omitEnumNames ? '' : 'LIVE_LINK_ROLE_UNSPECIFIED');
+
+  /// A replica following its upstream custodian.
+  static const LiveLinkRole LIVE_LINK_ROLE_PEER =
+      LiveLinkRole._(1, _omitEnumNames ? '' : 'LIVE_LINK_ROLE_PEER');
+
+  /// A hosted publisher relaying a custodian's frontier.
+  static const LiveLinkRole LIVE_LINK_ROLE_RELAY =
+      LiveLinkRole._(2, _omitEnumNames ? '' : 'LIVE_LINK_ROLE_RELAY');
+
+  static const $core.List<LiveLinkRole> values = <LiveLinkRole>[
+    LIVE_LINK_ROLE_UNSPECIFIED,
+    LIVE_LINK_ROLE_PEER,
+    LIVE_LINK_ROLE_RELAY,
+  ];
+
+  static final $core.List<LiveLinkRole?> _byValue =
+      $pb.ProtobufEnum.$_initByValueList(values, 2);
+  static LiveLinkRole? valueOf($core.int value) =>
+      value < 0 || value >= _byValue.length ? null : _byValue[value];
+
+  const LiveLinkRole._(super.value, super.name);
+}
+
 const $core.bool _omitEnumNames =
     $core.bool.fromEnvironment('protobuf.omit_enum_names');

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

@@ -28,6 +28,8 @@ class AdoptApplicationModelRequest extends $pb.GeneratedMessage {
     $core.Iterable<$core.String>? domainKeys,
     $core.String? acceptanceReason,
     $core.bool? dryRun,
+    $core.String? unitSet,
+    $core.Iterable<DomainUnitRequirement>? domainRequirements,
   }) {
     final result = create();
     if (session != null) result.session = session;
@@ -35,6 +37,9 @@ class AdoptApplicationModelRequest extends $pb.GeneratedMessage {
     if (domainKeys != null) result.domainKeys.addAll(domainKeys);
     if (acceptanceReason != null) result.acceptanceReason = acceptanceReason;
     if (dryRun != null) result.dryRun = dryRun;
+    if (unitSet != null) result.unitSet = unitSet;
+    if (domainRequirements != null)
+      result.domainRequirements.addAll(domainRequirements);
     return result;
   }
 
@@ -57,6 +62,9 @@ class AdoptApplicationModelRequest extends $pb.GeneratedMessage {
     ..pPS(3, _omitFieldNames ? '' : 'domainKeys')
     ..aOS(4, _omitFieldNames ? '' : 'acceptanceReason')
     ..aOB(5, _omitFieldNames ? '' : 'dryRun')
+    ..aOS(6, _omitFieldNames ? '' : 'unitSet')
+    ..pPM<DomainUnitRequirement>(7, _omitFieldNames ? '' : 'domainRequirements',
+        subBuilder: DomainUnitRequirement.create)
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -92,8 +100,10 @@ class AdoptApplicationModelRequest extends $pb.GeneratedMessage {
   @$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).
+  /// The approved package identity from the generated descriptor: the content
+  /// identity of the compiled `.law.usdz` closure (64 lowercase hex). It names the
+  /// bytes the shell supplies when the desk stages, and the law a package-lane
+  /// workspace serves; it is not what a unit-lane workspace serves.
   @$pb.TagNumber(2)
   $core.String get lawSha256 => $_getSZ(1);
   @$pb.TagNumber(2)
@@ -130,6 +140,112 @@ class AdoptApplicationModelRequest extends $pb.GeneratedMessage {
   $core.bool hasDryRun() => $_has(4);
   @$pb.TagNumber(5)
   void clearDryRun() => $_clearField(5);
+
+  /// THE LAW the application approves: the unit set identity of its compiled
+  /// `build/<name>.units` (64 lowercase hex, CAP-773). A unit-lane workspace is on
+  /// the approved law when the closure it serves is composed from exactly these
+  /// units, whatever its kernel's composer. REQUIRED.
+  @$pb.TagNumber(6)
+  $core.String get unitSet => $_getSZ(5);
+  @$pb.TagNumber(6)
+  set unitSet($core.String value) => $_setString(5, value);
+  @$pb.TagNumber(6)
+  $core.bool hasUnitSet() => $_has(5);
+  @$pb.TagNumber(6)
+  void clearUnitSet() => $_clearField(6);
+
+  /// THE PER-DOMAIN REQUIREMENTS (CAP-666): for each application domain key, the
+  /// exact law unit and the generated consumer requirement this client was
+  /// compiled against. A workspace serving that unit for the key satisfies the
+  /// requirement for it even when its unit set carries other domains the
+  /// application never touches. Absent on clients generated before this field
+  /// existed: the unit set alone then decides.
+  @$pb.TagNumber(7)
+  $pb.PbList<DomainUnitRequirement> get domainRequirements => $_getList(6);
+}
+
+/// One application domain's requirement, as the compiler generated it beside the
+/// unit set: the domain's unit hash (`domain:<key>` in `build/<name>.units`) and
+/// the sha256 of the domain's `<name>.compatibility.usda` slice the kernel's
+/// Compatibility Desk judges. Identities only; the office never reads the bytes.
+class DomainUnitRequirement extends $pb.GeneratedMessage {
+  factory DomainUnitRequirement({
+    $core.String? domainKey,
+    $core.String? unitSha256,
+    $core.String? requirementSha256,
+  }) {
+    final result = create();
+    if (domainKey != null) result.domainKey = domainKey;
+    if (unitSha256 != null) result.unitSha256 = unitSha256;
+    if (requirementSha256 != null) result.requirementSha256 = requirementSha256;
+    return result;
+  }
+
+  DomainUnitRequirement._();
+
+  factory DomainUnitRequirement.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory DomainUnitRequirement.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'DomainUnitRequirement',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'domainKey')
+    ..aOS(2, _omitFieldNames ? '' : 'unitSha256')
+    ..aOS(3, _omitFieldNames ? '' : 'requirementSha256')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  DomainUnitRequirement clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  DomainUnitRequirement copyWith(
+          void Function(DomainUnitRequirement) updates) =>
+      super.copyWith((message) => updates(message as DomainUnitRequirement))
+          as DomainUnitRequirement;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static DomainUnitRequirement create() => DomainUnitRequirement._();
+  @$core.override
+  DomainUnitRequirement createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static DomainUnitRequirement getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<DomainUnitRequirement>(create);
+  static DomainUnitRequirement? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.String get domainKey => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set domainKey($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasDomainKey() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearDomainKey() => $_clearField(1);
+
+  @$pb.TagNumber(2)
+  $core.String get unitSha256 => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set unitSha256($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasUnitSha256() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearUnitSha256() => $_clearField(2);
+
+  @$pb.TagNumber(3)
+  $core.String get requirementSha256 => $_getSZ(2);
+  @$pb.TagNumber(3)
+  set requirementSha256($core.String value) => $_setString(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasRequirementSha256() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearRequirementSha256() => $_clearField(3);
 }
 
 class ApplicationModelAdopted extends $pb.GeneratedMessage {