@githolon/dsl 0.113.4 → 0.114.0

package/dart_types/lib/src/proto/nomos/kernel/v1/kernel.pbenum.dart

@@ -346,6 +346,71 @@ class KernelRefusalCode extends $pb.ProtobufEnum {
   const KernelRefusalCode._(super.value, super.name);
 }
 
+/// Typed premise for answering a delta request with the complete result.
+class FullResultReason extends $pb.ProtobufEnum {
+  static const FullResultReason FULL_RESULT_REASON_UNSPECIFIED =
+      FullResultReason._(
+          0, _omitEnumNames ? '' : 'FULL_RESULT_REASON_UNSPECIFIED');
+
+  /// The request named no base position.
+  static const FullResultReason FULL_RESULT_REASON_NO_BASE =
+      FullResultReason._(1, _omitEnumNames ? '' : 'FULL_RESULT_REASON_NO_BASE');
+
+  /// The installed law changed between the two positions.
+  static const FullResultReason FULL_RESULT_REASON_LAW_CHANGED =
+      FullResultReason._(
+          2, _omitEnumNames ? '' : 'FULL_RESULT_REASON_LAW_CHANGED');
+
+  /// The principal, or the workspace-wide grant the read relied on, changed.
+  static const FullResultReason FULL_RESULT_REASON_READ_AUTHORITY_CHANGED =
+      FullResultReason._(
+          3, _omitEnumNames ? '' : 'FULL_RESULT_REASON_READ_AUTHORITY_CHANGED');
+
+  /// The principal reads this type record by record; visibility is not a function of the rows.
+  static const FullResultReason FULL_RESULT_REASON_PER_RECORD_REFUSAL =
+      FullResultReason._(
+          4, _omitEnumNames ? '' : 'FULL_RESULT_REASON_PER_RECORD_REFUSAL');
+
+  /// An ordered read is selected by its declared order and limit, not by membership.
+  static const FullResultReason FULL_RESULT_REASON_ORDERED_READ =
+      FullResultReason._(
+          5, _omitEnumNames ? '' : 'FULL_RESULT_REASON_ORDERED_READ');
+
+  /// The rows carry clock-derived fields whose value changes without a state change.
+  static const FullResultReason FULL_RESULT_REASON_TEMPORAL_FIELDS =
+      FullResultReason._(
+          6, _omitEnumNames ? '' : 'FULL_RESULT_REASON_TEMPORAL_FIELDS');
+
+  /// This replica no longer holds the base position's state.
+  static const FullResultReason FULL_RESULT_REASON_BASE_UNAVAILABLE =
+      FullResultReason._(
+          7, _omitEnumNames ? '' : 'FULL_RESULT_REASON_BASE_UNAVAILABLE');
+
+  /// One of the positions predates the state-tree format, which has no exact change set.
+  static const FullResultReason FULL_RESULT_REASON_LEGACY_STATE =
+      FullResultReason._(
+          8, _omitEnumNames ? '' : 'FULL_RESULT_REASON_LEGACY_STATE');
+
+  static const $core.List<FullResultReason> values = <FullResultReason>[
+    FULL_RESULT_REASON_UNSPECIFIED,
+    FULL_RESULT_REASON_NO_BASE,
+    FULL_RESULT_REASON_LAW_CHANGED,
+    FULL_RESULT_REASON_READ_AUTHORITY_CHANGED,
+    FULL_RESULT_REASON_PER_RECORD_REFUSAL,
+    FULL_RESULT_REASON_ORDERED_READ,
+    FULL_RESULT_REASON_TEMPORAL_FIELDS,
+    FULL_RESULT_REASON_BASE_UNAVAILABLE,
+    FULL_RESULT_REASON_LEGACY_STATE,
+  ];
+
+  static final $core.List<FullResultReason?> _byValue =
+      $pb.ProtobufEnum.$_initByValueList(values, 8);
+  static FullResultReason? valueOf($core.int value) =>
+      value < 0 || value >= _byValue.length ? null : _byValue[value];
+
+  const FullResultReason._(super.value, super.name);
+}
+
 /// VINTF-inspired compatibility algebra over Nomos's canonical OpenUSD law.
 /// The application matrix is USDA; Protobuf carries only the closed request and
 /// typed verdict across the kernel ABI.

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

@@ -115,6 +115,7 @@ class WatchRequest extends $pb.GeneratedMessage {
     WatchKind? kind,
     $0.QueryRequest? query,
     $core.int? intervalMillis,
+    $core.bool? acceptRowDelta,
   }) {
     final result = create();
     if (session != null) result.session = session;
@@ -122,6 +123,7 @@ class WatchRequest extends $pb.GeneratedMessage {
     if (kind != null) result.kind = kind;
     if (query != null) result.query = query;
     if (intervalMillis != null) result.intervalMillis = intervalMillis;
+    if (acceptRowDelta != null) result.acceptRowDelta = acceptRowDelta;
     return result;
   }
 
@@ -147,6 +149,7 @@ class WatchRequest extends $pb.GeneratedMessage {
         subBuilder: $0.QueryRequest.create)
     ..aI(5, _omitFieldNames ? '' : 'intervalMillis',
         fieldType: $pb.PbFieldType.OU3)
+    ..aOB(6, _omitFieldNames ? '' : 'acceptRowDelta')
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -214,6 +217,17 @@ class WatchRequest extends $pb.GeneratedMessage {
   $core.bool hasIntervalMillis() => $_has(4);
   @$pb.TagNumber(5)
   void clearIntervalMillis() => $_clearField(5);
+
+  /// The consumer merges `WatchChanged.application_delta` itself (CAP-731). Without it the runtime
+  /// delivers only complete results, as before.
+  @$pb.TagNumber(6)
+  $core.bool get acceptRowDelta => $_getBF(5);
+  @$pb.TagNumber(6)
+  set acceptRowDelta($core.bool value) => $_setBool(5, value);
+  @$pb.TagNumber(6)
+  $core.bool hasAcceptRowDelta() => $_has(5);
+  @$pb.TagNumber(6)
+  void clearAcceptRowDelta() => $_clearField(6);
 }
 
 class WatchStarted extends $pb.GeneratedMessage {

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

@@ -1198,6 +1198,7 @@ class SyncWorkspaceResponse extends $pb.GeneratedMessage {
     $core.bool? mainAdvanced,
     $1.WorkspaceRebirth? rebornRemotely,
     $1.PreservedLocalCopy? preservedLocalCopy,
+    $core.int? custodianWarmingRetryAfterMillis,
   }) {
     final result = create();
     if (workspace != null) result.workspace = workspace;
@@ -1232,6 +1233,9 @@ class SyncWorkspaceResponse extends $pb.GeneratedMessage {
     if (rebornRemotely != null) result.rebornRemotely = rebornRemotely;
     if (preservedLocalCopy != null)
       result.preservedLocalCopy = preservedLocalCopy;
+    if (custodianWarmingRetryAfterMillis != null)
+      result.custodianWarmingRetryAfterMillis =
+          custodianWarmingRetryAfterMillis;
     return result;
   }
 
@@ -1292,6 +1296,8 @@ class SyncWorkspaceResponse extends $pb.GeneratedMessage {
     ..aOM<$1.PreservedLocalCopy>(
         27, _omitFieldNames ? '' : 'preservedLocalCopy',
         subBuilder: $1.PreservedLocalCopy.create)
+    ..aI(28, _omitFieldNames ? '' : 'custodianWarmingRetryAfterMillis',
+        fieldType: $pb.PbFieldType.OU3)
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -1563,6 +1569,19 @@ class SyncWorkspaceResponse extends $pb.GeneratedMessage {
   void clearPreservedLocalCopy() => $_clearField(27);
   @$pb.TagNumber(27)
   $1.PreservedLocalCopy ensurePreservedLocalCopy() => $_ensure(26);
+
+  /// The custodian (or the edge relaying to it) answered that it is opening this workspace from
+  /// verified custody: nothing was judged. This is the custodian's hint for when to ask again.
+  /// Distinct from a refusal, a transport failure or an offline round.
+  @$pb.TagNumber(28)
+  $core.int get custodianWarmingRetryAfterMillis => $_getIZ(27);
+  @$pb.TagNumber(28)
+  set custodianWarmingRetryAfterMillis($core.int value) =>
+      $_setUnsignedInt32(27, value);
+  @$pb.TagNumber(28)
+  $core.bool hasCustodianWarmingRetryAfterMillis() => $_has(27);
+  @$pb.TagNumber(28)
+  void clearCustodianWarmingRetryAfterMillis() => $_clearField(28);
 }
 
 enum CustodyOfferReceipt_Outcome { admission, failure, blocked, notSet }
@@ -7706,6 +7725,7 @@ class CustodyOfferBatchRequest extends $pb.GeneratedMessage {
     $core.String? observedHead,
     $core.bool? fastForwardOnly,
     $core.String? continuesAfter,
+    $core.bool? acknowledgeAdmission,
   }) {
     final result = create();
     if (protocolVersion != null) result.protocolVersion = protocolVersion;
@@ -7717,6 +7737,8 @@ class CustodyOfferBatchRequest extends $pb.GeneratedMessage {
     if (observedHead != null) result.observedHead = observedHead;
     if (fastForwardOnly != null) result.fastForwardOnly = fastForwardOnly;
     if (continuesAfter != null) result.continuesAfter = continuesAfter;
+    if (acknowledgeAdmission != null)
+      result.acknowledgeAdmission = acknowledgeAdmission;
     return result;
   }
 
@@ -7754,6 +7776,7 @@ class CustodyOfferBatchRequest extends $pb.GeneratedMessage {
     ..aOS(7, _omitFieldNames ? '' : 'observedHead')
     ..aOB(8, _omitFieldNames ? '' : 'fastForwardOnly')
     ..aOS(9, _omitFieldNames ? '' : 'continuesAfter')
+    ..aOB(10, _omitFieldNames ? '' : 'acknowledgeAdmission')
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -7882,6 +7905,20 @@ class CustodyOfferBatchRequest extends $pb.GeneratedMessage {
   $core.bool hasContinuesAfter() => $_has(8);
   @$pb.TagNumber(9)
   void clearContinuesAfter() => $_clearField(9);
+
+  /// Set by the live link's relay (CAP-684): the custodian answers this batch with its admission as
+  /// soon as it is judged, and `sealed_main` says how much of it is durable. Without it a custodian
+  /// holds an admitted answer until its main is retained in custody (the HTTP lane). The sender keeps
+  /// its recovery suffix above the sealed main, so a custodian that restarts without the unsealed
+  /// admission is simply offered it again.
+  @$pb.TagNumber(10)
+  $core.bool get acknowledgeAdmission => $_getBF(9);
+  @$pb.TagNumber(10)
+  set acknowledgeAdmission($core.bool value) => $_setBool(9, value);
+  @$pb.TagNumber(10)
+  $core.bool hasAcknowledgeAdmission() => $_has(9);
+  @$pb.TagNumber(10)
+  void clearAcknowledgeAdmission() => $_clearField(10);
 }
 
 enum LiveOfferFrame_Message { frontier, offers, admission, notSet }
@@ -8248,7 +8285,7 @@ class PeerSocketEffect extends $pb.GeneratedMessage {
   void clearClose() => $_clearField(4);
 }
 
-enum PeerSocketReceipt_Observation { opened, received, closed, notSet }
+enum PeerSocketReceipt_Observation { opened, received, closed, closure, notSet }
 
 class PeerSocketReceipt extends $pb.GeneratedMessage {
   factory PeerSocketReceipt({
@@ -8256,12 +8293,14 @@ class PeerSocketReceipt extends $pb.GeneratedMessage {
     $core.bool? opened,
     $core.List<$core.int>? received,
     $core.bool? closed,
+    PeerSocketClosure? closure,
   }) {
     final result = create();
     if (connectionId != null) result.connectionId = connectionId;
     if (opened != null) result.opened = opened;
     if (received != null) result.received = received;
     if (closed != null) result.closed = closed;
+    if (closure != null) result.closure = closure;
     return result;
   }
 
@@ -8279,6 +8318,7 @@ class PeerSocketReceipt extends $pb.GeneratedMessage {
     2: PeerSocketReceipt_Observation.opened,
     3: PeerSocketReceipt_Observation.received,
     4: PeerSocketReceipt_Observation.closed,
+    5: PeerSocketReceipt_Observation.closure,
     0: PeerSocketReceipt_Observation.notSet
   };
   static final $pb.BuilderInfo _i = $pb.BuilderInfo(
@@ -8286,12 +8326,14 @@ class PeerSocketReceipt extends $pb.GeneratedMessage {
       package:
           const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
       createEmptyInstance: create)
-    ..oo(0, [2, 3, 4])
+    ..oo(0, [2, 3, 4, 5])
     ..aOS(1, _omitFieldNames ? '' : 'connectionId')
     ..aOB(2, _omitFieldNames ? '' : 'opened')
     ..a<$core.List<$core.int>>(
         3, _omitFieldNames ? '' : 'received', $pb.PbFieldType.OY)
     ..aOB(4, _omitFieldNames ? '' : 'closed')
+    ..aOM<PeerSocketClosure>(5, _omitFieldNames ? '' : 'closure',
+        subBuilder: PeerSocketClosure.create)
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -8316,11 +8358,13 @@ class PeerSocketReceipt extends $pb.GeneratedMessage {
   @$pb.TagNumber(2)
   @$pb.TagNumber(3)
   @$pb.TagNumber(4)
+  @$pb.TagNumber(5)
   PeerSocketReceipt_Observation whichObservation() =>
       _PeerSocketReceipt_ObservationByTag[$_whichOneof(0)]!;
   @$pb.TagNumber(2)
   @$pb.TagNumber(3)
   @$pb.TagNumber(4)
+  @$pb.TagNumber(5)
   void clearObservation() => $_clearField($_whichOneof(0));
 
   @$pb.TagNumber(1)
@@ -8350,6 +8394,7 @@ class PeerSocketReceipt extends $pb.GeneratedMessage {
   @$pb.TagNumber(3)
   void clearReceived() => $_clearField(3);
 
+  /// A shell that cannot say how the socket ended. Prefer `closure`.
   @$pb.TagNumber(4)
   $core.bool get closed => $_getBF(3);
   @$pb.TagNumber(4)
@@ -8358,6 +8403,318 @@ class PeerSocketReceipt extends $pb.GeneratedMessage {
   $core.bool hasClosed() => $_has(3);
   @$pb.TagNumber(4)
   void clearClosed() => $_clearField(4);
+
+  /// The socket ended, as the shell observed it (CAP-683).
+  @$pb.TagNumber(5)
+  PeerSocketClosure get closure => $_getN(4);
+  @$pb.TagNumber(5)
+  set closure(PeerSocketClosure value) => $_setField(5, value);
+  @$pb.TagNumber(5)
+  $core.bool hasClosure() => $_has(4);
+  @$pb.TagNumber(5)
+  void clearClosure() => $_clearField(5);
+  @$pb.TagNumber(5)
+  PeerSocketClosure ensureClosure() => $_ensure(4);
+}
+
+/// How a live socket ended. Bounded: the reason is at most 123 bytes (RFC 6455's close reason).
+class PeerSocketClosure extends $pb.GeneratedMessage {
+  factory PeerSocketClosure({
+    $core.int? code,
+    $core.String? reason,
+    $core.bool? clean,
+    PeerSocketCloseInitiator? initiator,
+  }) {
+    final result = create();
+    if (code != null) result.code = code;
+    if (reason != null) result.reason = reason;
+    if (clean != null) result.clean = clean;
+    if (initiator != null) result.initiator = initiator;
+    return result;
+  }
+
+  PeerSocketClosure._();
+
+  factory PeerSocketClosure.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory PeerSocketClosure.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'PeerSocketClosure',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aI(1, _omitFieldNames ? '' : 'code', fieldType: $pb.PbFieldType.OU3)
+    ..aOS(2, _omitFieldNames ? '' : 'reason')
+    ..aOB(3, _omitFieldNames ? '' : 'clean')
+    ..aE<PeerSocketCloseInitiator>(4, _omitFieldNames ? '' : 'initiator',
+        enumValues: PeerSocketCloseInitiator.values)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  PeerSocketClosure clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  PeerSocketClosure copyWith(void Function(PeerSocketClosure) updates) =>
+      super.copyWith((message) => updates(message as PeerSocketClosure))
+          as PeerSocketClosure;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static PeerSocketClosure create() => PeerSocketClosure._();
+  @$core.override
+  PeerSocketClosure createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static PeerSocketClosure getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<PeerSocketClosure>(create);
+  static PeerSocketClosure? _defaultInstance;
+
+  /// The WebSocket close code, when the close carried one (1000, 1001, 1006, ...).
+  @$pb.TagNumber(1)
+  $core.int get code => $_getIZ(0);
+  @$pb.TagNumber(1)
+  set code($core.int value) => $_setUnsignedInt32(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasCode() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearCode() => $_clearField(1);
+
+  @$pb.TagNumber(2)
+  $core.String get reason => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set reason($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasReason() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearReason() => $_clearField(2);
+
+  /// The closing handshake completed.
+  @$pb.TagNumber(3)
+  $core.bool get clean => $_getBF(2);
+  @$pb.TagNumber(3)
+  set clean($core.bool value) => $_setBool(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasClean() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearClean() => $_clearField(3);
+
+  @$pb.TagNumber(4)
+  PeerSocketCloseInitiator get initiator => $_getN(3);
+  @$pb.TagNumber(4)
+  set initiator(PeerSocketCloseInitiator value) => $_setField(4, value);
+  @$pb.TagNumber(4)
+  $core.bool hasInitiator() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearInitiator() => $_clearField(4);
+}
+
+/// One closed live connection, correlated with what that connection had carried (CAP-683). The
+/// runtime keeps a bounded record of recent closes; nothing here costs a history walk or a network
+/// call, and none of it is on the write path.
+class LiveLinkClosure extends $pb.GeneratedMessage {
+  factory LiveLinkClosure({
+    $core.String? connectionId,
+    $core.String? workspace,
+    LiveLinkRole? role,
+    PeerSocketClosure? socket,
+    $fixnum.Int64? closedAtUnixMillis,
+    $fixnum.Int64? openMillis,
+    $core.int? admissions,
+    $core.String? lastAdmissionRequestId,
+    $core.String? lastAdmittedMain,
+    $core.String? lastSealedMain,
+    $core.String? lastFrontier,
+    $core.int? unansweredBatches,
+  }) {
+    final result = create();
+    if (connectionId != null) result.connectionId = connectionId;
+    if (workspace != null) result.workspace = workspace;
+    if (role != null) result.role = role;
+    if (socket != null) result.socket = socket;
+    if (closedAtUnixMillis != null)
+      result.closedAtUnixMillis = closedAtUnixMillis;
+    if (openMillis != null) result.openMillis = openMillis;
+    if (admissions != null) result.admissions = admissions;
+    if (lastAdmissionRequestId != null)
+      result.lastAdmissionRequestId = lastAdmissionRequestId;
+    if (lastAdmittedMain != null) result.lastAdmittedMain = lastAdmittedMain;
+    if (lastSealedMain != null) result.lastSealedMain = lastSealedMain;
+    if (lastFrontier != null) result.lastFrontier = lastFrontier;
+    if (unansweredBatches != null) result.unansweredBatches = unansweredBatches;
+    return result;
+  }
+
+  LiveLinkClosure._();
+
+  factory LiveLinkClosure.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory LiveLinkClosure.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'LiveLinkClosure',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'connectionId')
+    ..aOS(2, _omitFieldNames ? '' : 'workspace')
+    ..aE<LiveLinkRole>(3, _omitFieldNames ? '' : 'role',
+        enumValues: LiveLinkRole.values)
+    ..aOM<PeerSocketClosure>(4, _omitFieldNames ? '' : 'socket',
+        subBuilder: PeerSocketClosure.create)
+    ..a<$fixnum.Int64>(
+        5, _omitFieldNames ? '' : 'closedAtUnixMillis', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
+    ..a<$fixnum.Int64>(
+        6, _omitFieldNames ? '' : 'openMillis', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
+    ..aI(7, _omitFieldNames ? '' : 'admissions', fieldType: $pb.PbFieldType.OU3)
+    ..aOS(8, _omitFieldNames ? '' : 'lastAdmissionRequestId')
+    ..aOS(9, _omitFieldNames ? '' : 'lastAdmittedMain')
+    ..aOS(10, _omitFieldNames ? '' : 'lastSealedMain')
+    ..aOS(11, _omitFieldNames ? '' : 'lastFrontier')
+    ..aI(12, _omitFieldNames ? '' : 'unansweredBatches',
+        fieldType: $pb.PbFieldType.OU3)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LiveLinkClosure clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LiveLinkClosure copyWith(void Function(LiveLinkClosure) updates) =>
+      super.copyWith((message) => updates(message as LiveLinkClosure))
+          as LiveLinkClosure;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static LiveLinkClosure create() => LiveLinkClosure._();
+  @$core.override
+  LiveLinkClosure createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static LiveLinkClosure getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<LiveLinkClosure>(create);
+  static LiveLinkClosure? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.String get connectionId => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set connectionId($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasConnectionId() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearConnectionId() => $_clearField(1);
+
+  @$pb.TagNumber(2)
+  $core.String get workspace => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set workspace($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasWorkspace() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearWorkspace() => $_clearField(2);
+
+  @$pb.TagNumber(3)
+  LiveLinkRole get role => $_getN(2);
+  @$pb.TagNumber(3)
+  set role(LiveLinkRole value) => $_setField(3, value);
+  @$pb.TagNumber(3)
+  $core.bool hasRole() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearRole() => $_clearField(3);
+
+  @$pb.TagNumber(4)
+  PeerSocketClosure get socket => $_getN(3);
+  @$pb.TagNumber(4)
+  set socket(PeerSocketClosure value) => $_setField(4, value);
+  @$pb.TagNumber(4)
+  $core.bool hasSocket() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearSocket() => $_clearField(4);
+  @$pb.TagNumber(4)
+  PeerSocketClosure ensureSocket() => $_ensure(3);
+
+  @$pb.TagNumber(5)
+  $fixnum.Int64 get closedAtUnixMillis => $_getI64(4);
+  @$pb.TagNumber(5)
+  set closedAtUnixMillis($fixnum.Int64 value) => $_setInt64(4, value);
+  @$pb.TagNumber(5)
+  $core.bool hasClosedAtUnixMillis() => $_has(4);
+  @$pb.TagNumber(5)
+  void clearClosedAtUnixMillis() => $_clearField(5);
+
+  /// How long the socket had been open; 0 when it never opened.
+  @$pb.TagNumber(6)
+  $fixnum.Int64 get openMillis => $_getI64(5);
+  @$pb.TagNumber(6)
+  set openMillis($fixnum.Int64 value) => $_setInt64(5, value);
+  @$pb.TagNumber(6)
+  $core.bool hasOpenMillis() => $_has(5);
+  @$pb.TagNumber(6)
+  void clearOpenMillis() => $_clearField(6);
+
+  /// Admissions this connection carried, and the last of them.
+  @$pb.TagNumber(7)
+  $core.int get admissions => $_getIZ(6);
+  @$pb.TagNumber(7)
+  set admissions($core.int value) => $_setUnsignedInt32(6, value);
+  @$pb.TagNumber(7)
+  $core.bool hasAdmissions() => $_has(6);
+  @$pb.TagNumber(7)
+  void clearAdmissions() => $_clearField(7);
+
+  @$pb.TagNumber(8)
+  $core.String get lastAdmissionRequestId => $_getSZ(7);
+  @$pb.TagNumber(8)
+  set lastAdmissionRequestId($core.String value) => $_setString(7, value);
+  @$pb.TagNumber(8)
+  $core.bool hasLastAdmissionRequestId() => $_has(7);
+  @$pb.TagNumber(8)
+  void clearLastAdmissionRequestId() => $_clearField(8);
+
+  @$pb.TagNumber(9)
+  $core.String get lastAdmittedMain => $_getSZ(8);
+  @$pb.TagNumber(9)
+  set lastAdmittedMain($core.String value) => $_setString(8, value);
+  @$pb.TagNumber(9)
+  $core.bool hasLastAdmittedMain() => $_has(8);
+  @$pb.TagNumber(9)
+  void clearLastAdmittedMain() => $_clearField(9);
+
+  @$pb.TagNumber(10)
+  $core.String get lastSealedMain => $_getSZ(9);
+  @$pb.TagNumber(10)
+  set lastSealedMain($core.String value) => $_setString(9, value);
+  @$pb.TagNumber(10)
+  $core.bool hasLastSealedMain() => $_has(9);
+  @$pb.TagNumber(10)
+  void clearLastSealedMain() => $_clearField(10);
+
+  /// The last frontier the upstream announced on this connection.
+  @$pb.TagNumber(11)
+  $core.String get lastFrontier => $_getSZ(10);
+  @$pb.TagNumber(11)
+  set lastFrontier($core.String value) => $_setString(10, value);
+  @$pb.TagNumber(11)
+  $core.bool hasLastFrontier() => $_has(10);
+  @$pb.TagNumber(11)
+  void clearLastFrontier() => $_clearField(11);
+
+  /// This replica's own batches still awaiting their admission when it closed.
+  @$pb.TagNumber(12)
+  $core.int get unansweredBatches => $_getIZ(11);
+  @$pb.TagNumber(12)
+  set unansweredBatches($core.int value) => $_setUnsignedInt32(11, value);
+  @$pb.TagNumber(12)
+  $core.bool hasUnansweredBatches() => $_has(11);
+  @$pb.TagNumber(12)
+  void clearUnansweredBatches() => $_clearField(12);
 }
 
 class PeerSocketObserved extends $pb.GeneratedMessage {

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');