@githolon/dsl 0.108.6 → 0.110.0

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

@@ -0,0 +1,609 @@
+// This is a generated file - do not edit.
+//
+// Generated from nomos/runtime/v2/maintenance_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 'maintenance_desk.pbenum.dart';
+
+export 'package:protobuf/protobuf.dart' show GeneratedMessageGenericExtensions;
+
+export 'maintenance_desk.pbenum.dart';
+
+/// One explicit, bounded turn of Peer Office maintenance. The platform shell
+/// merely wakes this procedure; it cannot select a workspace, interpret a
+/// frontier, or loop until completion.
+class MaintenanceTickRequest extends $pb.GeneratedMessage {
+  factory MaintenanceTickRequest() => create();
+
+  MaintenanceTickRequest._();
+
+  factory MaintenanceTickRequest.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory MaintenanceTickRequest.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'MaintenanceTickRequest',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  MaintenanceTickRequest clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  MaintenanceTickRequest copyWith(
+          void Function(MaintenanceTickRequest) updates) =>
+      super.copyWith((message) => updates(message as MaintenanceTickRequest))
+          as MaintenanceTickRequest;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static MaintenanceTickRequest create() => MaintenanceTickRequest._();
+  @$core.override
+  MaintenanceTickRequest createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static MaintenanceTickRequest getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<MaintenanceTickRequest>(create);
+  static MaintenanceTickRequest? _defaultInstance;
+}
+
+/// A read has yielded while its local derived index catches up. The Peer Office
+/// retains the request and chooses the next quantum; shells only wait for this
+/// delay and return the opaque continuation. No index or retry policy lives there.
+class ContinueLocalReadRequest extends $pb.GeneratedMessage {
+  factory ContinueLocalReadRequest({
+    $core.String? workId,
+  }) {
+    final result = create();
+    if (workId != null) result.workId = workId;
+    return result;
+  }
+
+  ContinueLocalReadRequest._();
+
+  factory ContinueLocalReadRequest.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory ContinueLocalReadRequest.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'ContinueLocalReadRequest',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'workId')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  ContinueLocalReadRequest clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  ContinueLocalReadRequest copyWith(
+          void Function(ContinueLocalReadRequest) updates) =>
+      super.copyWith((message) => updates(message as ContinueLocalReadRequest))
+          as ContinueLocalReadRequest;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static ContinueLocalReadRequest create() => ContinueLocalReadRequest._();
+  @$core.override
+  ContinueLocalReadRequest createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static ContinueLocalReadRequest getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<ContinueLocalReadRequest>(create);
+  static ContinueLocalReadRequest? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.String get workId => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set workId($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasWorkId() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearWorkId() => $_clearField(1);
+}
+
+class LocalReadPending extends $pb.GeneratedMessage {
+  factory LocalReadPending({
+    $core.String? workId,
+    $core.int? resumeAfterMillis,
+  }) {
+    final result = create();
+    if (workId != null) result.workId = workId;
+    if (resumeAfterMillis != null) result.resumeAfterMillis = resumeAfterMillis;
+    return result;
+  }
+
+  LocalReadPending._();
+
+  factory LocalReadPending.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory LocalReadPending.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'LocalReadPending',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'workId')
+    ..aI(2, _omitFieldNames ? '' : 'resumeAfterMillis',
+        fieldType: $pb.PbFieldType.OU3)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LocalReadPending clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LocalReadPending copyWith(void Function(LocalReadPending) updates) =>
+      super.copyWith((message) => updates(message as LocalReadPending))
+          as LocalReadPending;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static LocalReadPending create() => LocalReadPending._();
+  @$core.override
+  LocalReadPending createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static LocalReadPending getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<LocalReadPending>(create);
+  static LocalReadPending? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.String get workId => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set workId($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasWorkId() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearWorkId() => $_clearField(1);
+
+  @$pb.TagNumber(2)
+  $core.int get resumeAfterMillis => $_getIZ(1);
+  @$pb.TagNumber(2)
+  set resumeAfterMillis($core.int value) => $_setUnsignedInt32(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasResumeAfterMillis() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearResumeAfterMillis() => $_clearField(2);
+}
+
+/// An exact custody frontier advanced through a write entrance which is not
+/// itself a RuntimeRequest (currently the HTTP custody-offer correspondence
+/// lane). This is only a demand signal for disposable acceleration: it grants
+/// no authority, changes no application state, and carries no host verdict.
+class CustodyAdvancedRequest extends $pb.GeneratedMessage {
+  factory CustodyAdvancedRequest({
+    $core.String? workspace,
+    ReadMaintenanceCause? cause,
+  }) {
+    final result = create();
+    if (workspace != null) result.workspace = workspace;
+    if (cause != null) result.cause = cause;
+    return result;
+  }
+
+  CustodyAdvancedRequest._();
+
+  factory CustodyAdvancedRequest.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory CustodyAdvancedRequest.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'CustodyAdvancedRequest',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'workspace')
+    ..aE<ReadMaintenanceCause>(2, _omitFieldNames ? '' : 'cause',
+        enumValues: ReadMaintenanceCause.values)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  CustodyAdvancedRequest clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  CustodyAdvancedRequest copyWith(
+          void Function(CustodyAdvancedRequest) updates) =>
+      super.copyWith((message) => updates(message as CustodyAdvancedRequest))
+          as CustodyAdvancedRequest;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static CustodyAdvancedRequest create() => CustodyAdvancedRequest._();
+  @$core.override
+  CustodyAdvancedRequest createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static CustodyAdvancedRequest getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<CustodyAdvancedRequest>(create);
+  static CustodyAdvancedRequest? _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)
+  ReadMaintenanceCause get cause => $_getN(1);
+  @$pb.TagNumber(2)
+  set cause(ReadMaintenanceCause value) => $_setField(2, value);
+  @$pb.TagNumber(2)
+  $core.bool hasCause() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearCause() => $_clearField(2);
+}
+
+class MaintenanceScheduled extends $pb.GeneratedMessage {
+  factory MaintenanceScheduled({
+    $core.String? workspace,
+    ReadMaintenanceCause? cause,
+  }) {
+    final result = create();
+    if (workspace != null) result.workspace = workspace;
+    if (cause != null) result.cause = cause;
+    return result;
+  }
+
+  MaintenanceScheduled._();
+
+  factory MaintenanceScheduled.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory MaintenanceScheduled.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'MaintenanceScheduled',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'workspace')
+    ..aE<ReadMaintenanceCause>(2, _omitFieldNames ? '' : 'cause',
+        enumValues: ReadMaintenanceCause.values)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  MaintenanceScheduled clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  MaintenanceScheduled copyWith(void Function(MaintenanceScheduled) updates) =>
+      super.copyWith((message) => updates(message as MaintenanceScheduled))
+          as MaintenanceScheduled;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static MaintenanceScheduled create() => MaintenanceScheduled._();
+  @$core.override
+  MaintenanceScheduled createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static MaintenanceScheduled getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<MaintenanceScheduled>(create);
+  static MaintenanceScheduled? _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)
+  ReadMaintenanceCause get cause => $_getN(1);
+  @$pb.TagNumber(2)
+  set cause(ReadMaintenanceCause value) => $_setField(2, value);
+  @$pb.TagNumber(2)
+  $core.bool hasCause() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearCause() => $_clearField(2);
+}
+
+class MaintenanceTicked extends $pb.GeneratedMessage {
+  factory MaintenanceTicked({
+    $core.bool? pending,
+    ReadMaintenanceProgress? progress,
+    $core.int? nextTickAfterMillis,
+  }) {
+    final result = create();
+    if (pending != null) result.pending = pending;
+    if (progress != null) result.progress = progress;
+    if (nextTickAfterMillis != null)
+      result.nextTickAfterMillis = nextTickAfterMillis;
+    return result;
+  }
+
+  MaintenanceTicked._();
+
+  factory MaintenanceTicked.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory MaintenanceTicked.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'MaintenanceTicked',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOB(1, _omitFieldNames ? '' : 'pending')
+    ..aOM<ReadMaintenanceProgress>(2, _omitFieldNames ? '' : 'progress',
+        subBuilder: ReadMaintenanceProgress.create)
+    ..aI(3, _omitFieldNames ? '' : 'nextTickAfterMillis',
+        fieldType: $pb.PbFieldType.OU3)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  MaintenanceTicked clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  MaintenanceTicked copyWith(void Function(MaintenanceTicked) updates) =>
+      super.copyWith((message) => updates(message as MaintenanceTicked))
+          as MaintenanceTicked;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static MaintenanceTicked create() => MaintenanceTicked._();
+  @$core.override
+  MaintenanceTicked createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static MaintenanceTicked getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<MaintenanceTicked>(create);
+  static MaintenanceTicked? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.bool get pending => $_getBF(0);
+  @$pb.TagNumber(1)
+  set pending($core.bool value) => $_setBool(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasPending() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearPending() => $_clearField(1);
+
+  @$pb.TagNumber(2)
+  ReadMaintenanceProgress get progress => $_getN(1);
+  @$pb.TagNumber(2)
+  set progress(ReadMaintenanceProgress value) => $_setField(2, value);
+  @$pb.TagNumber(2)
+  $core.bool hasProgress() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearProgress() => $_clearField(2);
+  @$pb.TagNumber(2)
+  ReadMaintenanceProgress ensureProgress() => $_ensure(1);
+
+  @$pb.TagNumber(3)
+  $core.int get nextTickAfterMillis => $_getIZ(2);
+  @$pb.TagNumber(3)
+  set nextTickAfterMillis($core.int value) => $_setUnsignedInt32(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasNextTickAfterMillis() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearNextTickAfterMillis() => $_clearField(3);
+}
+
+class ReadMaintenanceProgress extends $pb.GeneratedMessage {
+  factory ReadMaintenanceProgress({
+    $core.String? workspace,
+    ReadMaintenanceCause? cause,
+    $0.MaintenanceQuantumResponse? kernel,
+    $core.int? retryAfterMillis,
+    $core.bool? stopped,
+    $core.bool? satisfiedByRead,
+  }) {
+    final result = create();
+    if (workspace != null) result.workspace = workspace;
+    if (cause != null) result.cause = cause;
+    if (kernel != null) result.kernel = kernel;
+    if (retryAfterMillis != null) result.retryAfterMillis = retryAfterMillis;
+    if (stopped != null) result.stopped = stopped;
+    if (satisfiedByRead != null) result.satisfiedByRead = satisfiedByRead;
+    return result;
+  }
+
+  ReadMaintenanceProgress._();
+
+  factory ReadMaintenanceProgress.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory ReadMaintenanceProgress.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'ReadMaintenanceProgress',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'workspace')
+    ..aE<ReadMaintenanceCause>(2, _omitFieldNames ? '' : 'cause',
+        enumValues: ReadMaintenanceCause.values)
+    ..aOM<$0.MaintenanceQuantumResponse>(3, _omitFieldNames ? '' : 'kernel',
+        subBuilder: $0.MaintenanceQuantumResponse.create)
+    ..aI(4, _omitFieldNames ? '' : 'retryAfterMillis',
+        fieldType: $pb.PbFieldType.OU3)
+    ..aOB(5, _omitFieldNames ? '' : 'stopped')
+    ..aOB(6, _omitFieldNames ? '' : 'satisfiedByRead')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  ReadMaintenanceProgress clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  ReadMaintenanceProgress copyWith(
+          void Function(ReadMaintenanceProgress) updates) =>
+      super.copyWith((message) => updates(message as ReadMaintenanceProgress))
+          as ReadMaintenanceProgress;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static ReadMaintenanceProgress create() => ReadMaintenanceProgress._();
+  @$core.override
+  ReadMaintenanceProgress createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static ReadMaintenanceProgress getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<ReadMaintenanceProgress>(create);
+  static ReadMaintenanceProgress? _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)
+  ReadMaintenanceCause get cause => $_getN(1);
+  @$pb.TagNumber(2)
+  set cause(ReadMaintenanceCause value) => $_setField(2, value);
+  @$pb.TagNumber(2)
+  $core.bool hasCause() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearCause() => $_clearField(2);
+
+  /// Absent for the peer's scheduled/started observation. Present after a
+  /// kernel quantum, including its exact phase and whether more work remains.
+  @$pb.TagNumber(3)
+  $0.MaintenanceQuantumResponse get kernel => $_getN(2);
+  @$pb.TagNumber(3)
+  set kernel($0.MaintenanceQuantumResponse value) => $_setField(3, value);
+  @$pb.TagNumber(3)
+  $core.bool hasKernel() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearKernel() => $_clearField(3);
+  @$pb.TagNumber(3)
+  $0.MaintenanceQuantumResponse ensureKernel() => $_ensure(2);
+
+  /// Present when a disposable preparation turn failed and the peer scheduled a
+  /// retry. This is not an application or custody failure.
+  @$pb.TagNumber(4)
+  $core.int get retryAfterMillis => $_getIZ(3);
+  @$pb.TagNumber(4)
+  set retryAfterMillis($core.int value) => $_setUnsignedInt32(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasRetryAfterMillis() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearRetryAfterMillis() => $_clearField(4);
+
+  /// Preparation ended because this local copy's format cannot be read by this
+  /// kernel. The peer reports the unreadable copy separately in its inventory.
+  @$pb.TagNumber(5)
+  $core.bool get stopped => $_getBF(4);
+  @$pb.TagNumber(5)
+  set stopped($core.bool value) => $_setBool(4, value);
+  @$pb.TagNumber(5)
+  $core.bool hasStopped() => $_has(4);
+  @$pb.TagNumber(5)
+  void clearStopped() => $_clearField(5);
+
+  /// A normal application read supplied the requested rows, so its READ_DEBT
+  /// ended without another maintenance quantum.
+  @$pb.TagNumber(6)
+  $core.bool get satisfiedByRead => $_getBF(5);
+  @$pb.TagNumber(6)
+  set satisfiedByRead($core.bool value) => $_setBool(5, value);
+  @$pb.TagNumber(6)
+  $core.bool hasSatisfiedByRead() => $_has(5);
+  @$pb.TagNumber(6)
+  void clearSatisfiedByRead() => $_clearField(6);
+}
+
+/// The Peer Runtime has satisfied the logical history capability. A caller may
+/// now replay the paper which received HistoryRequired; no physical acquisition
+/// detail crosses this boundary.
+class HistoryAcquired extends $pb.GeneratedMessage {
+  factory HistoryAcquired({
+    $core.String? workspace,
+  }) {
+    final result = create();
+    if (workspace != null) result.workspace = workspace;
+    return result;
+  }
+
+  HistoryAcquired._();
+
+  factory HistoryAcquired.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory HistoryAcquired.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'HistoryAcquired',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'workspace')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  HistoryAcquired clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  HistoryAcquired copyWith(void Function(HistoryAcquired) updates) =>
+      super.copyWith((message) => updates(message as HistoryAcquired))
+          as HistoryAcquired;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static HistoryAcquired create() => HistoryAcquired._();
+  @$core.override
+  HistoryAcquired createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static HistoryAcquired getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<HistoryAcquired>(create);
+  static HistoryAcquired? _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);
+}
+
+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/maintenance_desk.pbenum.dart

@@ -0,0 +1,65 @@
+// This is a generated file - do not edit.
+//
+// Generated from nomos/runtime/v2/maintenance_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;
+
+/// Disposable acceleration is demand-driven by changes to verified custody.
+/// These causes explain why the Peer Office scheduled work; they never become
+/// application facts or authority.
+class ReadMaintenanceCause extends $pb.ProtobufEnum {
+  static const ReadMaintenanceCause READ_MAINTENANCE_CAUSE_UNSPECIFIED =
+      ReadMaintenanceCause._(
+          0, _omitEnumNames ? '' : 'READ_MAINTENANCE_CAUSE_UNSPECIFIED');
+  static const ReadMaintenanceCause READ_MAINTENANCE_CAUSE_OPEN =
+      ReadMaintenanceCause._(
+          1, _omitEnumNames ? '' : 'READ_MAINTENANCE_CAUSE_OPEN');
+  static const ReadMaintenanceCause READ_MAINTENANCE_CAUSE_ADMITTED_OFFER =
+      ReadMaintenanceCause._(
+          2, _omitEnumNames ? '' : 'READ_MAINTENANCE_CAUSE_ADMITTED_OFFER');
+  static const ReadMaintenanceCause READ_MAINTENANCE_CAUSE_SYNC =
+      ReadMaintenanceCause._(
+          3, _omitEnumNames ? '' : 'READ_MAINTENANCE_CAUSE_SYNC');
+  static const ReadMaintenanceCause READ_MAINTENANCE_CAUSE_DOMAIN_PREPARATION =
+      ReadMaintenanceCause._(
+          4, _omitEnumNames ? '' : 'READ_MAINTENANCE_CAUSE_DOMAIN_PREPARATION');
+  static const ReadMaintenanceCause READ_MAINTENANCE_CAUSE_READ_DEBT =
+      ReadMaintenanceCause._(
+          5, _omitEnumNames ? '' : 'READ_MAINTENANCE_CAUSE_READ_DEBT');
+
+  /// Existing retained custody entered this Peer Runtime process and must
+  /// regain its disposable serving indexes without waiting for interaction.
+  static const ReadMaintenanceCause READ_MAINTENANCE_CAUSE_RESIDENCY =
+      ReadMaintenanceCause._(
+          6, _omitEnumNames ? '' : 'READ_MAINTENANCE_CAUSE_RESIDENCY');
+
+  static const $core.List<ReadMaintenanceCause> values = <ReadMaintenanceCause>[
+    READ_MAINTENANCE_CAUSE_UNSPECIFIED,
+    READ_MAINTENANCE_CAUSE_OPEN,
+    READ_MAINTENANCE_CAUSE_ADMITTED_OFFER,
+    READ_MAINTENANCE_CAUSE_SYNC,
+    READ_MAINTENANCE_CAUSE_DOMAIN_PREPARATION,
+    READ_MAINTENANCE_CAUSE_READ_DEBT,
+    READ_MAINTENANCE_CAUSE_RESIDENCY,
+  ];
+
+  static final $core.List<ReadMaintenanceCause?> _byValue =
+      $pb.ProtobufEnum.$_initByValueList(values, 6);
+  static ReadMaintenanceCause? valueOf($core.int value) =>
+      value < 0 || value >= _byValue.length ? null : _byValue[value];
+
+  const ReadMaintenanceCause._(super.value, super.name);
+}
+
+const $core.bool _omitEnumNames =
+    $core.bool.fromEnvironment('protobuf.omit_enum_names');