@githolon/dsl 0.108.7 → 0.110.1

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

@@ -0,0 +1,1550 @@
+// This is a generated file - do not edit.
+//
+// Generated from nomos/runtime/v2/custody_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:fixnum/fixnum.dart' as $fixnum;
+import 'package:protobuf/protobuf.dart' as $pb;
+
+export 'package:protobuf/protobuf.dart' show GeneratedMessageGenericExtensions;
+
+/// The custody desk opens and inventories persistent Git custody. It has no
+/// application-session command: interaction binding lives in interaction_desk,
+/// while replica acquisition belongs exclusively to the background follow.
+/// A workspace custody open in progress: the one progress fact shared by host health, the
+/// shell's local-custody receipt and the office's answer to a paper that must wait for it.
+/// The workspace is named because an operator and a waiting peer must see which open it is.
+class CustodyOpening extends $pb.GeneratedMessage {
+  factory CustodyOpening({
+    $core.String? workspace,
+    $core.String? phase,
+    $core.int? attempt,
+    $core.int? attempts,
+    $fixnum.Int64? startedUnixMillis,
+    $fixnum.Int64? phaseStartedUnixMillis,
+    $core.String? lastError,
+    $fixnum.Int64? lastErrorUnixMillis,
+  }) {
+    final result = create();
+    if (workspace != null) result.workspace = workspace;
+    if (phase != null) result.phase = phase;
+    if (attempt != null) result.attempt = attempt;
+    if (attempts != null) result.attempts = attempts;
+    if (startedUnixMillis != null) result.startedUnixMillis = startedUnixMillis;
+    if (phaseStartedUnixMillis != null)
+      result.phaseStartedUnixMillis = phaseStartedUnixMillis;
+    if (lastError != null) result.lastError = lastError;
+    if (lastErrorUnixMillis != null)
+      result.lastErrorUnixMillis = lastErrorUnixMillis;
+    return result;
+  }
+
+  CustodyOpening._();
+
+  factory CustodyOpening.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory CustodyOpening.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'CustodyOpening',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'workspace')
+    ..aOS(2, _omitFieldNames ? '' : 'phase')
+    ..aI(3, _omitFieldNames ? '' : 'attempt', fieldType: $pb.PbFieldType.OU3)
+    ..aI(4, _omitFieldNames ? '' : 'attempts', fieldType: $pb.PbFieldType.OU3)
+    ..a<$fixnum.Int64>(
+        5, _omitFieldNames ? '' : 'startedUnixMillis', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
+    ..a<$fixnum.Int64>(
+        6, _omitFieldNames ? '' : 'phaseStartedUnixMillis', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
+    ..aOS(7, _omitFieldNames ? '' : 'lastError')
+    ..a<$fixnum.Int64>(
+        8, _omitFieldNames ? '' : 'lastErrorUnixMillis', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  CustodyOpening clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  CustodyOpening copyWith(void Function(CustodyOpening) updates) =>
+      super.copyWith((message) => updates(message as CustodyOpening))
+          as CustodyOpening;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static CustodyOpening create() => CustodyOpening._();
+  @$core.override
+  CustodyOpening createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static CustodyOpening getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<CustodyOpening>(create);
+  static CustodyOpening? _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);
+
+  /// advertise | fetch | import | restore | retry-wait
+  @$pb.TagNumber(2)
+  $core.String get phase => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set phase($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasPhase() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearPhase() => $_clearField(2);
+
+  /// 1-based attempt currently running or next to run, and the attempt budget.
+  @$pb.TagNumber(3)
+  $core.int get attempt => $_getIZ(2);
+  @$pb.TagNumber(3)
+  set attempt($core.int value) => $_setUnsignedInt32(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasAttempt() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearAttempt() => $_clearField(3);
+
+  @$pb.TagNumber(4)
+  $core.int get attempts => $_getIZ(3);
+  @$pb.TagNumber(4)
+  set attempts($core.int value) => $_setUnsignedInt32(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasAttempts() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearAttempts() => $_clearField(4);
+
+  @$pb.TagNumber(5)
+  $fixnum.Int64 get startedUnixMillis => $_getI64(4);
+  @$pb.TagNumber(5)
+  set startedUnixMillis($fixnum.Int64 value) => $_setInt64(4, value);
+  @$pb.TagNumber(5)
+  $core.bool hasStartedUnixMillis() => $_has(4);
+  @$pb.TagNumber(5)
+  void clearStartedUnixMillis() => $_clearField(5);
+
+  @$pb.TagNumber(6)
+  $fixnum.Int64 get phaseStartedUnixMillis => $_getI64(5);
+  @$pb.TagNumber(6)
+  set phaseStartedUnixMillis($fixnum.Int64 value) => $_setInt64(5, value);
+  @$pb.TagNumber(6)
+  $core.bool hasPhaseStartedUnixMillis() => $_has(5);
+  @$pb.TagNumber(6)
+  void clearPhaseStartedUnixMillis() => $_clearField(6);
+
+  /// The most recent failed attempt, cut to a bounded length. Empty until one fails.
+  @$pb.TagNumber(7)
+  $core.String get lastError => $_getSZ(6);
+  @$pb.TagNumber(7)
+  set lastError($core.String value) => $_setString(6, value);
+  @$pb.TagNumber(7)
+  $core.bool hasLastError() => $_has(6);
+  @$pb.TagNumber(7)
+  void clearLastError() => $_clearField(7);
+
+  @$pb.TagNumber(8)
+  $fixnum.Int64 get lastErrorUnixMillis => $_getI64(7);
+  @$pb.TagNumber(8)
+  set lastErrorUnixMillis($fixnum.Int64 value) => $_setInt64(7, value);
+  @$pb.TagNumber(8)
+  $core.bool hasLastErrorUnixMillis() => $_has(7);
+  @$pb.TagNumber(8)
+  void clearLastErrorUnixMillis() => $_clearField(8);
+}
+
+/// The answer to a paper whose workspace is still being opened. The paper was not executed:
+/// resend it after retry_after_millis. Opening continues regardless of who waits.
+class WorkspaceOpening extends $pb.GeneratedMessage {
+  factory WorkspaceOpening({
+    CustodyOpening? opening,
+    $core.int? retryAfterMillis,
+  }) {
+    final result = create();
+    if (opening != null) result.opening = opening;
+    if (retryAfterMillis != null) result.retryAfterMillis = retryAfterMillis;
+    return result;
+  }
+
+  WorkspaceOpening._();
+
+  factory WorkspaceOpening.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory WorkspaceOpening.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'WorkspaceOpening',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOM<CustodyOpening>(1, _omitFieldNames ? '' : 'opening',
+        subBuilder: CustodyOpening.create)
+    ..aI(2, _omitFieldNames ? '' : 'retryAfterMillis',
+        fieldType: $pb.PbFieldType.OU3)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  WorkspaceOpening clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  WorkspaceOpening copyWith(void Function(WorkspaceOpening) updates) =>
+      super.copyWith((message) => updates(message as WorkspaceOpening))
+          as WorkspaceOpening;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static WorkspaceOpening create() => WorkspaceOpening._();
+  @$core.override
+  WorkspaceOpening createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static WorkspaceOpening getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<WorkspaceOpening>(create);
+  static WorkspaceOpening? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  CustodyOpening get opening => $_getN(0);
+  @$pb.TagNumber(1)
+  set opening(CustodyOpening value) => $_setField(1, value);
+  @$pb.TagNumber(1)
+  $core.bool hasOpening() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearOpening() => $_clearField(1);
+  @$pb.TagNumber(1)
+  CustodyOpening ensureOpening() => $_ensure(0);
+
+  @$pb.TagNumber(2)
+  $core.int get retryAfterMillis => $_getIZ(1);
+  @$pb.TagNumber(2)
+  set retryAfterMillis($core.int value) => $_setUnsignedInt32(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasRetryAfterMillis() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearRetryAfterMillis() => $_clearField(2);
+}
+
+class ListWorkspacesRequest extends $pb.GeneratedMessage {
+  factory ListWorkspacesRequest() => create();
+
+  ListWorkspacesRequest._();
+
+  factory ListWorkspacesRequest.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory ListWorkspacesRequest.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'ListWorkspacesRequest',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  ListWorkspacesRequest clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  ListWorkspacesRequest copyWith(
+          void Function(ListWorkspacesRequest) updates) =>
+      super.copyWith((message) => updates(message as ListWorkspacesRequest))
+          as ListWorkspacesRequest;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static ListWorkspacesRequest create() => ListWorkspacesRequest._();
+  @$core.override
+  ListWorkspacesRequest createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static ListWorkspacesRequest getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<ListWorkspacesRequest>(create);
+  static ListWorkspacesRequest? _defaultInstance;
+}
+
+/// The peer's local physical inventory: the union of kernel-resident workspaces
+/// and the replica follows this peer keeps. Observation only: listing never
+/// acquires custody, mounts, fetches, or reads history; its cost is bounded by
+/// the inventory's size.
+class WorkspaceSummary extends $pb.GeneratedMessage {
+  factory WorkspaceSummary({
+    $core.String? workspace,
+    $core.Iterable<$core.String>? sessions,
+    $core.bool? kernelResident,
+    $core.bool? gitCustodied,
+    $core.bool? followed,
+    $core.Iterable<$core.MapEntry<$core.String, $core.String>>? currentLaw,
+    WorkspaceRebirth? rebornRemotely,
+    $core.bool? localCopyDropPending,
+    $core.String? localCopyUnreadable,
+    $core.Iterable<PreservedLocalCopy>? preservedCopies,
+  }) {
+    final result = create();
+    if (workspace != null) result.workspace = workspace;
+    if (sessions != null) result.sessions.addAll(sessions);
+    if (kernelResident != null) result.kernelResident = kernelResident;
+    if (gitCustodied != null) result.gitCustodied = gitCustodied;
+    if (followed != null) result.followed = followed;
+    if (currentLaw != null) result.currentLaw.addEntries(currentLaw);
+    if (rebornRemotely != null) result.rebornRemotely = rebornRemotely;
+    if (localCopyDropPending != null)
+      result.localCopyDropPending = localCopyDropPending;
+    if (localCopyUnreadable != null)
+      result.localCopyUnreadable = localCopyUnreadable;
+    if (preservedCopies != null) result.preservedCopies.addAll(preservedCopies);
+    return result;
+  }
+
+  WorkspaceSummary._();
+
+  factory WorkspaceSummary.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory WorkspaceSummary.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'WorkspaceSummary',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(2, _omitFieldNames ? '' : 'workspace')
+    ..pPS(5, _omitFieldNames ? '' : 'sessions')
+    ..aOB(6, _omitFieldNames ? '' : 'kernelResident')
+    ..aOB(7, _omitFieldNames ? '' : 'gitCustodied')
+    ..aOB(8, _omitFieldNames ? '' : 'followed')
+    ..m<$core.String, $core.String>(9, _omitFieldNames ? '' : 'currentLaw',
+        entryClassName: 'WorkspaceSummary.CurrentLawEntry',
+        keyFieldType: $pb.PbFieldType.OS,
+        valueFieldType: $pb.PbFieldType.OS,
+        packageName: const $pb.PackageName('nomos.runtime.v2'))
+    ..aOM<WorkspaceRebirth>(10, _omitFieldNames ? '' : 'rebornRemotely',
+        subBuilder: WorkspaceRebirth.create)
+    ..aOB(11, _omitFieldNames ? '' : 'localCopyDropPending')
+    ..aOS(12, _omitFieldNames ? '' : 'localCopyUnreadable')
+    ..pPM<PreservedLocalCopy>(13, _omitFieldNames ? '' : 'preservedCopies',
+        subBuilder: PreservedLocalCopy.create)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  WorkspaceSummary clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  WorkspaceSummary copyWith(void Function(WorkspaceSummary) updates) =>
+      super.copyWith((message) => updates(message as WorkspaceSummary))
+          as WorkspaceSummary;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static WorkspaceSummary create() => WorkspaceSummary._();
+  @$core.override
+  WorkspaceSummary createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static WorkspaceSummary getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<WorkspaceSummary>(create);
+  static WorkspaceSummary? _defaultInstance;
+
+  @$pb.TagNumber(2)
+  $core.String get workspace => $_getSZ(0);
+  @$pb.TagNumber(2)
+  set workspace($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(2)
+  $core.bool hasWorkspace() => $_has(0);
+  @$pb.TagNumber(2)
+  void clearWorkspace() => $_clearField(2);
+
+  @$pb.TagNumber(5)
+  $pb.PbList<$core.String> get sessions => $_getList(1);
+
+  @$pb.TagNumber(6)
+  $core.bool get kernelResident => $_getBF(2);
+  @$pb.TagNumber(6)
+  set kernelResident($core.bool value) => $_setBool(2, value);
+  @$pb.TagNumber(6)
+  $core.bool hasKernelResident() => $_has(2);
+  @$pb.TagNumber(6)
+  void clearKernelResident() => $_clearField(6);
+
+  /// Observed in this listing only for kernel-resident workspaces; a followed
+  /// workspace whose kernel is not resident reports false without a ref read.
+  @$pb.TagNumber(7)
+  $core.bool get gitCustodied => $_getBF(3);
+  @$pb.TagNumber(7)
+  set gitCustodied($core.bool value) => $_setBool(3, value);
+  @$pb.TagNumber(7)
+  $core.bool hasGitCustodied() => $_has(3);
+  @$pb.TagNumber(7)
+  void clearGitCustodied() => $_clearField(7);
+
+  /// This peer keeps a replica follow for the workspace.
+  @$pb.TagNumber(8)
+  $core.bool get followed => $_getBF(4);
+  @$pb.TagNumber(8)
+  set followed($core.bool value) => $_setBool(4, value);
+  @$pb.TagNumber(8)
+  $core.bool hasFollowed() => $_has(4);
+  @$pb.TagNumber(8)
+  void clearFollowed() => $_clearField(8);
+
+  /// Domain key -> law identity (sha256) the workspace currently serves: a
+  /// kernel-authored observation present only when its kernel is resident.
+  @$pb.TagNumber(9)
+  $pb.PbMap<$core.String, $core.String> get currentLaw => $_getMap(5);
+
+  /// The provider now serves this name from a DIFFERENT genesis than this peer's
+  /// local custody: the workspace was re-founded ("reborn") remotely. Sync refuses
+  /// to merge, rebase or offer across geneses and holds no retry; dropping the
+  /// local copy is the application's fix. Present only while that is the case.
+  @$pb.TagNumber(10)
+  WorkspaceRebirth get rebornRemotely => $_getN(6);
+  @$pb.TagNumber(10)
+  set rebornRemotely(WorkspaceRebirth value) => $_setField(10, value);
+  @$pb.TagNumber(10)
+  $core.bool hasRebornRemotely() => $_has(6);
+  @$pb.TagNumber(10)
+  void clearRebornRemotely() => $_clearField(10);
+  @$pb.TagNumber(10)
+  WorkspaceRebirth ensureRebornRemotely() => $_ensure(6);
+
+  /// An application-authorized drop of the local copy is waiting for, or running,
+  /// its refetch from the current provider.
+  @$pb.TagNumber(11)
+  $core.bool get localCopyDropPending => $_getBF(7);
+  @$pb.TagNumber(11)
+  set localCopyDropPending($core.bool value) => $_setBool(7, value);
+  @$pb.TagNumber(11)
+  $core.bool hasLocalCopyDropPending() => $_has(7);
+  @$pb.TagNumber(11)
+  void clearLocalCopyDropPending() => $_clearField(11);
+
+  /// This peer's kernel refuses the local copy's custody format (it was written by an
+  /// older storage format). The copy is kept, never synced, maintained or retried; the
+  /// application opens around it. Present only while that is the case: the reason.
+  @$pb.TagNumber(12)
+  $core.String get localCopyUnreadable => $_getSZ(8);
+  @$pb.TagNumber(12)
+  set localCopyUnreadable($core.String value) => $_setString(8, value);
+  @$pb.TagNumber(12)
+  $core.bool hasLocalCopyUnreadable() => $_has(8);
+  @$pb.TagNumber(12)
+  void clearLocalCopyUnreadable() => $_clearField(12);
+
+  /// Local copies this peer replaced and preserved (never deleted) under
+  /// refs/heads/custody-preserved/, with what they held that the provider never admitted.
+  @$pb.TagNumber(13)
+  $pb.PbList<PreservedLocalCopy> get preservedCopies => $_getList(9);
+}
+
+/// A local copy replaced by a refetch and kept aside, not merged. Recorded when the
+/// replacement happens, from Git alone, so it stays visible after main moved on.
+class PreservedLocalCopy extends $pb.GeneratedMessage {
+  factory PreservedLocalCopy({
+    $core.String? workspace,
+    $core.String? preservedHead,
+    $core.String? preservedRef,
+    $core.String? reason,
+    $fixnum.Int64? unsyncedLocalChanges,
+    $core.bool? changesCounted,
+    $core.bool? automatic,
+    $fixnum.Int64? preservedAtUnixMillis,
+    $core.String? syncedHead,
+  }) {
+    final result = create();
+    if (workspace != null) result.workspace = workspace;
+    if (preservedHead != null) result.preservedHead = preservedHead;
+    if (preservedRef != null) result.preservedRef = preservedRef;
+    if (reason != null) result.reason = reason;
+    if (unsyncedLocalChanges != null)
+      result.unsyncedLocalChanges = unsyncedLocalChanges;
+    if (changesCounted != null) result.changesCounted = changesCounted;
+    if (automatic != null) result.automatic = automatic;
+    if (preservedAtUnixMillis != null)
+      result.preservedAtUnixMillis = preservedAtUnixMillis;
+    if (syncedHead != null) result.syncedHead = syncedHead;
+    return result;
+  }
+
+  PreservedLocalCopy._();
+
+  factory PreservedLocalCopy.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory PreservedLocalCopy.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'PreservedLocalCopy',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'workspace')
+    ..aOS(2, _omitFieldNames ? '' : 'preservedHead')
+    ..aOS(3, _omitFieldNames ? '' : 'preservedRef')
+    ..aOS(4, _omitFieldNames ? '' : 'reason')
+    ..a<$fixnum.Int64>(
+        5, _omitFieldNames ? '' : 'unsyncedLocalChanges', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
+    ..aOB(6, _omitFieldNames ? '' : 'changesCounted')
+    ..aOB(7, _omitFieldNames ? '' : 'automatic')
+    ..a<$fixnum.Int64>(
+        8, _omitFieldNames ? '' : 'preservedAtUnixMillis', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
+    ..aOS(9, _omitFieldNames ? '' : 'syncedHead')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  PreservedLocalCopy clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  PreservedLocalCopy copyWith(void Function(PreservedLocalCopy) updates) =>
+      super.copyWith((message) => updates(message as PreservedLocalCopy))
+          as PreservedLocalCopy;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static PreservedLocalCopy create() => PreservedLocalCopy._();
+  @$core.override
+  PreservedLocalCopy createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static PreservedLocalCopy getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<PreservedLocalCopy>(create);
+  static PreservedLocalCopy? _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 preservedHead => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set preservedHead($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasPreservedHead() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearPreservedHead() => $_clearField(2);
+
+  /// refs/heads/custody-preserved/<preserved_head>
+  @$pb.TagNumber(3)
+  $core.String get preservedRef => $_getSZ(2);
+  @$pb.TagNumber(3)
+  set preservedRef($core.String value) => $_setString(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasPreservedRef() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearPreservedRef() => $_clearField(3);
+
+  /// Why it was replaced, e.g. "local copy is from an older storage format".
+  @$pb.TagNumber(4)
+  $core.String get reason => $_getSZ(3);
+  @$pb.TagNumber(4)
+  set reason($core.String value) => $_setString(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasReason() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearReason() => $_clearField(4);
+
+  /// Commits on the preserved copy above the provider's last admitted head.
+  @$pb.TagNumber(5)
+  $fixnum.Int64 get unsyncedLocalChanges => $_getI64(4);
+  @$pb.TagNumber(5)
+  set unsyncedLocalChanges($fixnum.Int64 value) => $_setInt64(4, value);
+  @$pb.TagNumber(5)
+  $core.bool hasUnsyncedLocalChanges() => $_has(4);
+  @$pb.TagNumber(5)
+  void clearUnsyncedLocalChanges() => $_clearField(5);
+
+  /// False when Git could not determine them: unsynced_local_changes then means "unknown".
+  @$pb.TagNumber(6)
+  $core.bool get changesCounted => $_getBF(5);
+  @$pb.TagNumber(6)
+  set changesCounted($core.bool value) => $_setBool(5, value);
+  @$pb.TagNumber(6)
+  $core.bool hasChangesCounted() => $_has(5);
+  @$pb.TagNumber(6)
+  void clearChangesCounted() => $_clearField(6);
+
+  /// The application's own open refetched it (an unreadable Home), not a user's drop.
+  @$pb.TagNumber(7)
+  $core.bool get automatic => $_getBF(6);
+  @$pb.TagNumber(7)
+  set automatic($core.bool value) => $_setBool(6, value);
+  @$pb.TagNumber(7)
+  $core.bool hasAutomatic() => $_has(6);
+  @$pb.TagNumber(7)
+  void clearAutomatic() => $_clearField(7);
+
+  @$pb.TagNumber(8)
+  $fixnum.Int64 get preservedAtUnixMillis => $_getI64(7);
+  @$pb.TagNumber(8)
+  set preservedAtUnixMillis($fixnum.Int64 value) => $_setInt64(7, value);
+  @$pb.TagNumber(8)
+  $core.bool hasPreservedAtUnixMillis() => $_has(7);
+  @$pb.TagNumber(8)
+  void clearPreservedAtUnixMillis() => $_clearField(8);
+
+  @$pb.TagNumber(9)
+  $core.String get syncedHead => $_getSZ(8);
+  @$pb.TagNumber(9)
+  set syncedHead($core.String value) => $_setString(8, value);
+  @$pb.TagNumber(9)
+  $core.bool hasSyncedHead() => $_has(8);
+  @$pb.TagNumber(9)
+  void clearSyncedHead() => $_clearField(9);
+}
+
+/// Local custody belongs to a different genesis than the one the provider serves.
+class WorkspaceRebirth extends $pb.GeneratedMessage {
+  factory WorkspaceRebirth({
+    $core.String? localGenesis,
+    $core.String? remoteGenesis,
+    $core.String? localHead,
+    $core.String? remoteHead,
+    $core.String? detail,
+  }) {
+    final result = create();
+    if (localGenesis != null) result.localGenesis = localGenesis;
+    if (remoteGenesis != null) result.remoteGenesis = remoteGenesis;
+    if (localHead != null) result.localHead = localHead;
+    if (remoteHead != null) result.remoteHead = remoteHead;
+    if (detail != null) result.detail = detail;
+    return result;
+  }
+
+  WorkspaceRebirth._();
+
+  factory WorkspaceRebirth.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory WorkspaceRebirth.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'WorkspaceRebirth',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'localGenesis')
+    ..aOS(2, _omitFieldNames ? '' : 'remoteGenesis')
+    ..aOS(3, _omitFieldNames ? '' : 'localHead')
+    ..aOS(4, _omitFieldNames ? '' : 'remoteHead')
+    ..aOS(5, _omitFieldNames ? '' : 'detail')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  WorkspaceRebirth clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  WorkspaceRebirth copyWith(void Function(WorkspaceRebirth) updates) =>
+      super.copyWith((message) => updates(message as WorkspaceRebirth))
+          as WorkspaceRebirth;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static WorkspaceRebirth create() => WorkspaceRebirth._();
+  @$core.override
+  WorkspaceRebirth createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static WorkspaceRebirth getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<WorkspaceRebirth>(create);
+  static WorkspaceRebirth? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.String get localGenesis => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set localGenesis($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasLocalGenesis() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearLocalGenesis() => $_clearField(1);
+
+  @$pb.TagNumber(2)
+  $core.String get remoteGenesis => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set remoteGenesis($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasRemoteGenesis() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearRemoteGenesis() => $_clearField(2);
+
+  @$pb.TagNumber(3)
+  $core.String get localHead => $_getSZ(2);
+  @$pb.TagNumber(3)
+  set localHead($core.String value) => $_setString(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasLocalHead() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearLocalHead() => $_clearField(3);
+
+  @$pb.TagNumber(4)
+  $core.String get remoteHead => $_getSZ(3);
+  @$pb.TagNumber(4)
+  set remoteHead($core.String value) => $_setString(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasRemoteHead() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearRemoteHead() => $_clearField(4);
+
+  /// Short human-readable explanation, suitable next to the workspace's name.
+  @$pb.TagNumber(5)
+  $core.String get detail => $_getSZ(4);
+  @$pb.TagNumber(5)
+  set detail($core.String value) => $_setString(4, value);
+  @$pb.TagNumber(5)
+  $core.bool hasDetail() => $_has(4);
+  @$pb.TagNumber(5)
+  void clearDetail() => $_clearField(5);
+}
+
+/// What dropping this peer's local copy of a workspace would discard. Local-only
+/// observation: no network, no mutation. A device replica is a droppable cache of
+/// the provider's custody; these counts are the work that cache holds which the
+/// provider has not admitted.
+class PreviewLocalCopyDropRequest extends $pb.GeneratedMessage {
+  factory PreviewLocalCopyDropRequest({
+    $core.String? workspace,
+  }) {
+    final result = create();
+    if (workspace != null) result.workspace = workspace;
+    return result;
+  }
+
+  PreviewLocalCopyDropRequest._();
+
+  factory PreviewLocalCopyDropRequest.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory PreviewLocalCopyDropRequest.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'PreviewLocalCopyDropRequest',
+      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.')
+  PreviewLocalCopyDropRequest clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  PreviewLocalCopyDropRequest copyWith(
+          void Function(PreviewLocalCopyDropRequest) updates) =>
+      super.copyWith(
+              (message) => updates(message as PreviewLocalCopyDropRequest))
+          as PreviewLocalCopyDropRequest;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static PreviewLocalCopyDropRequest create() =>
+      PreviewLocalCopyDropRequest._();
+  @$core.override
+  PreviewLocalCopyDropRequest createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static PreviewLocalCopyDropRequest getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<PreviewLocalCopyDropRequest>(create);
+  static PreviewLocalCopyDropRequest? _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);
+}
+
+class LocalCopyDropPreview extends $pb.GeneratedMessage {
+  factory LocalCopyDropPreview({
+    $core.String? workspace,
+    $core.String? localHead,
+    $core.String? syncedHead,
+    $fixnum.Int64? unsyncedLocalChanges,
+    $fixnum.Int64? parkedLocalChanges,
+    $fixnum.Int64? undeliveredLetters,
+    $core.bool? lettersCounted,
+    $core.bool? followed,
+    WorkspaceRebirth? rebornRemotely,
+    $core.bool? changesCounted,
+    $core.String? localCopyUnreadable,
+  }) {
+    final result = create();
+    if (workspace != null) result.workspace = workspace;
+    if (localHead != null) result.localHead = localHead;
+    if (syncedHead != null) result.syncedHead = syncedHead;
+    if (unsyncedLocalChanges != null)
+      result.unsyncedLocalChanges = unsyncedLocalChanges;
+    if (parkedLocalChanges != null)
+      result.parkedLocalChanges = parkedLocalChanges;
+    if (undeliveredLetters != null)
+      result.undeliveredLetters = undeliveredLetters;
+    if (lettersCounted != null) result.lettersCounted = lettersCounted;
+    if (followed != null) result.followed = followed;
+    if (rebornRemotely != null) result.rebornRemotely = rebornRemotely;
+    if (changesCounted != null) result.changesCounted = changesCounted;
+    if (localCopyUnreadable != null)
+      result.localCopyUnreadable = localCopyUnreadable;
+    return result;
+  }
+
+  LocalCopyDropPreview._();
+
+  factory LocalCopyDropPreview.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory LocalCopyDropPreview.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'LocalCopyDropPreview',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'workspace')
+    ..aOS(2, _omitFieldNames ? '' : 'localHead')
+    ..aOS(3, _omitFieldNames ? '' : 'syncedHead')
+    ..a<$fixnum.Int64>(
+        4, _omitFieldNames ? '' : 'unsyncedLocalChanges', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
+    ..a<$fixnum.Int64>(
+        5, _omitFieldNames ? '' : 'parkedLocalChanges', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
+    ..a<$fixnum.Int64>(
+        6, _omitFieldNames ? '' : 'undeliveredLetters', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
+    ..aOB(7, _omitFieldNames ? '' : 'lettersCounted')
+    ..aOB(8, _omitFieldNames ? '' : 'followed')
+    ..aOM<WorkspaceRebirth>(9, _omitFieldNames ? '' : 'rebornRemotely',
+        subBuilder: WorkspaceRebirth.create)
+    ..aOB(10, _omitFieldNames ? '' : 'changesCounted')
+    ..aOS(11, _omitFieldNames ? '' : 'localCopyUnreadable')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LocalCopyDropPreview clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LocalCopyDropPreview copyWith(void Function(LocalCopyDropPreview) updates) =>
+      super.copyWith((message) => updates(message as LocalCopyDropPreview))
+          as LocalCopyDropPreview;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static LocalCopyDropPreview create() => LocalCopyDropPreview._();
+  @$core.override
+  LocalCopyDropPreview createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static LocalCopyDropPreview getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<LocalCopyDropPreview>(create);
+  static LocalCopyDropPreview? _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);
+
+  /// The exact local head the drop must name. Absent when there is no local copy.
+  @$pb.TagNumber(2)
+  $core.String get localHead => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set localHead($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasLocalHead() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearLocalHead() => $_clearField(2);
+
+  /// The last head the provider admitted and this peer tracked; absent if never synced.
+  @$pb.TagNumber(3)
+  $core.String get syncedHead => $_getSZ(2);
+  @$pb.TagNumber(3)
+  set syncedHead($core.String value) => $_setString(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasSyncedHead() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearSyncedHead() => $_clearField(3);
+
+  /// Local commits the provider has not admitted.
+  @$pb.TagNumber(4)
+  $fixnum.Int64 get unsyncedLocalChanges => $_getI64(3);
+  @$pb.TagNumber(4)
+  set unsyncedLocalChanges($fixnum.Int64 value) => $_setInt64(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasUnsyncedLocalChanges() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearUnsyncedLocalChanges() => $_clearField(4);
+
+  /// Refused local intents parked on this device's refused-offer desk.
+  @$pb.TagNumber(5)
+  $fixnum.Int64 get parkedLocalChanges => $_getI64(4);
+  @$pb.TagNumber(5)
+  set parkedLocalChanges($fixnum.Int64 value) => $_setInt64(4, value);
+  @$pb.TagNumber(5)
+  $core.bool hasParkedLocalChanges() => $_has(4);
+  @$pb.TagNumber(5)
+  void clearParkedLocalChanges() => $_clearField(5);
+
+  /// Outbound letters (cross-workspace effects) not yet delivered.
+  @$pb.TagNumber(6)
+  $fixnum.Int64 get undeliveredLetters => $_getI64(5);
+  @$pb.TagNumber(6)
+  set undeliveredLetters($fixnum.Int64 value) => $_setInt64(5, value);
+  @$pb.TagNumber(6)
+  $core.bool hasUndeliveredLetters() => $_has(5);
+  @$pb.TagNumber(6)
+  void clearUndeliveredLetters() => $_clearField(6);
+
+  /// False when the outbox inventory is still being prepared and the letter count
+  /// is a lower bound.
+  @$pb.TagNumber(7)
+  $core.bool get lettersCounted => $_getBF(6);
+  @$pb.TagNumber(7)
+  set lettersCounted($core.bool value) => $_setBool(6, value);
+  @$pb.TagNumber(7)
+  $core.bool hasLettersCounted() => $_has(6);
+  @$pb.TagNumber(7)
+  void clearLettersCounted() => $_clearField(7);
+
+  /// A provider exists to refetch from. A drop is refused without one.
+  @$pb.TagNumber(8)
+  $core.bool get followed => $_getBF(7);
+  @$pb.TagNumber(8)
+  set followed($core.bool value) => $_setBool(7, value);
+  @$pb.TagNumber(8)
+  $core.bool hasFollowed() => $_has(7);
+  @$pb.TagNumber(8)
+  void clearFollowed() => $_clearField(8);
+
+  @$pb.TagNumber(9)
+  WorkspaceRebirth get rebornRemotely => $_getN(8);
+  @$pb.TagNumber(9)
+  set rebornRemotely(WorkspaceRebirth value) => $_setField(9, value);
+  @$pb.TagNumber(9)
+  $core.bool hasRebornRemotely() => $_has(8);
+  @$pb.TagNumber(9)
+  void clearRebornRemotely() => $_clearField(9);
+  @$pb.TagNumber(9)
+  WorkspaceRebirth ensureRebornRemotely() => $_ensure(8);
+
+  /// False when the unsynced local changes could not be determined from Git (for example
+  /// the provider's last admitted head is not on local main). unsynced_local_changes is
+  /// then 0 and means "unknown", never "none".
+  @$pb.TagNumber(10)
+  $core.bool get changesCounted => $_getBF(9);
+  @$pb.TagNumber(10)
+  set changesCounted($core.bool value) => $_setBool(9, value);
+  @$pb.TagNumber(10)
+  $core.bool hasChangesCounted() => $_has(9);
+  @$pb.TagNumber(10)
+  void clearChangesCounted() => $_clearField(10);
+
+  /// The reason this peer's kernel cannot read the local copy, when it cannot.
+  @$pb.TagNumber(11)
+  $core.String get localCopyUnreadable => $_getSZ(10);
+  @$pb.TagNumber(11)
+  set localCopyUnreadable($core.String value) => $_setString(10, value);
+  @$pb.TagNumber(11)
+  $core.bool hasLocalCopyUnreadable() => $_has(10);
+  @$pb.TagNumber(11)
+  void clearLocalCopyUnreadable() => $_clearField(11);
+}
+
+/// Authorize dropping exactly this local head and refetching the workspace from its
+/// current provider. Only this workspace's local custody and its projections, caches
+/// and indexes are replaced; device keys, credentials and other workspaces are not
+/// touched. The previous local head is preserved under a custody-preserved ref.
+class DropLocalCopyRequest extends $pb.GeneratedMessage {
+  factory DropLocalCopyRequest({
+    $core.String? workspace,
+    $core.String? expectedLocalHead,
+  }) {
+    final result = create();
+    if (workspace != null) result.workspace = workspace;
+    if (expectedLocalHead != null) result.expectedLocalHead = expectedLocalHead;
+    return result;
+  }
+
+  DropLocalCopyRequest._();
+
+  factory DropLocalCopyRequest.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory DropLocalCopyRequest.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'DropLocalCopyRequest',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'workspace')
+    ..aOS(2, _omitFieldNames ? '' : 'expectedLocalHead')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  DropLocalCopyRequest clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  DropLocalCopyRequest copyWith(void Function(DropLocalCopyRequest) updates) =>
+      super.copyWith((message) => updates(message as DropLocalCopyRequest))
+          as DropLocalCopyRequest;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static DropLocalCopyRequest create() => DropLocalCopyRequest._();
+  @$core.override
+  DropLocalCopyRequest createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static DropLocalCopyRequest getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<DropLocalCopyRequest>(create);
+  static DropLocalCopyRequest? _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 expectedLocalHead => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set expectedLocalHead($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasExpectedLocalHead() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearExpectedLocalHead() => $_clearField(2);
+}
+
+class LocalCopyDropScheduled extends $pb.GeneratedMessage {
+  factory LocalCopyDropScheduled({
+    $core.String? workspace,
+    $core.String? droppedHead,
+  }) {
+    final result = create();
+    if (workspace != null) result.workspace = workspace;
+    if (droppedHead != null) result.droppedHead = droppedHead;
+    return result;
+  }
+
+  LocalCopyDropScheduled._();
+
+  factory LocalCopyDropScheduled.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory LocalCopyDropScheduled.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'LocalCopyDropScheduled',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'workspace')
+    ..aOS(2, _omitFieldNames ? '' : 'droppedHead')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LocalCopyDropScheduled clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LocalCopyDropScheduled copyWith(
+          void Function(LocalCopyDropScheduled) updates) =>
+      super.copyWith((message) => updates(message as LocalCopyDropScheduled))
+          as LocalCopyDropScheduled;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static LocalCopyDropScheduled create() => LocalCopyDropScheduled._();
+  @$core.override
+  LocalCopyDropScheduled createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static LocalCopyDropScheduled getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<LocalCopyDropScheduled>(create);
+  static LocalCopyDropScheduled? _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 droppedHead => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set droppedHead($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasDroppedHead() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearDroppedHead() => $_clearField(2);
+}
+
+/// Fetch this workspace now: the explicit form of what a read of a workspace this peer does not
+/// hold reaches (placement discovery, then the Replica Follow its placement retains, which mounts
+/// the provider's head alone). Nothing is read, bound or opened; the answer returns as soon as the
+/// follow exists, and the follow fetches on its own.
+class FetchWorkspaceRequest extends $pb.GeneratedMessage {
+  factory FetchWorkspaceRequest({
+    $core.String? workspace,
+  }) {
+    final result = create();
+    if (workspace != null) result.workspace = workspace;
+    return result;
+  }
+
+  FetchWorkspaceRequest._();
+
+  factory FetchWorkspaceRequest.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory FetchWorkspaceRequest.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'FetchWorkspaceRequest',
+      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.')
+  FetchWorkspaceRequest clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  FetchWorkspaceRequest copyWith(
+          void Function(FetchWorkspaceRequest) updates) =>
+      super.copyWith((message) => updates(message as FetchWorkspaceRequest))
+          as FetchWorkspaceRequest;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static FetchWorkspaceRequest create() => FetchWorkspaceRequest._();
+  @$core.override
+  FetchWorkspaceRequest createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static FetchWorkspaceRequest getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<FetchWorkspaceRequest>(create);
+  static FetchWorkspaceRequest? _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);
+}
+
+/// A provider serving a workspace's derived law products (architecture/lazy_history.md): the
+/// products of every closure selected at its main, as the kernel exports them from custody.
+class ProvideLawProductsRequest extends $pb.GeneratedMessage {
+  factory ProvideLawProductsRequest({
+    $core.String? workspace,
+  }) {
+    final result = create();
+    if (workspace != null) result.workspace = workspace;
+    return result;
+  }
+
+  ProvideLawProductsRequest._();
+
+  factory ProvideLawProductsRequest.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory ProvideLawProductsRequest.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'ProvideLawProductsRequest',
+      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.')
+  ProvideLawProductsRequest clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  ProvideLawProductsRequest copyWith(
+          void Function(ProvideLawProductsRequest) updates) =>
+      super.copyWith((message) => updates(message as ProvideLawProductsRequest))
+          as ProvideLawProductsRequest;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static ProvideLawProductsRequest create() => ProvideLawProductsRequest._();
+  @$core.override
+  ProvideLawProductsRequest createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static ProvideLawProductsRequest getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<ProvideLawProductsRequest>(create);
+  static ProvideLawProductsRequest? _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);
+}
+
+class WorkspaceFetch extends $pb.GeneratedMessage {
+  factory WorkspaceFetch({
+    $core.String? workspace,
+    $core.bool? held,
+    $core.bool? following,
+    $core.String? detail,
+  }) {
+    final result = create();
+    if (workspace != null) result.workspace = workspace;
+    if (held != null) result.held = held;
+    if (following != null) result.following = following;
+    if (detail != null) result.detail = detail;
+    return result;
+  }
+
+  WorkspaceFetch._();
+
+  factory WorkspaceFetch.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory WorkspaceFetch.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'WorkspaceFetch',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'workspace')
+    ..aOB(2, _omitFieldNames ? '' : 'held')
+    ..aOB(3, _omitFieldNames ? '' : 'following')
+    ..aOS(4, _omitFieldNames ? '' : 'detail')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  WorkspaceFetch clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  WorkspaceFetch copyWith(void Function(WorkspaceFetch) updates) =>
+      super.copyWith((message) => updates(message as WorkspaceFetch))
+          as WorkspaceFetch;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static WorkspaceFetch create() => WorkspaceFetch._();
+  @$core.override
+  WorkspaceFetch createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static WorkspaceFetch getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<WorkspaceFetch>(create);
+  static WorkspaceFetch? _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);
+
+  /// This peer already holds a readable copy: nothing to fetch.
+  @$pb.TagNumber(2)
+  $core.bool get held => $_getBF(1);
+  @$pb.TagNumber(2)
+  set held($core.bool value) => $_setBool(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasHeld() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearHeld() => $_clearField(2);
+
+  /// A Replica Follow now retains the workspace and fetches it in the background.
+  @$pb.TagNumber(3)
+  $core.bool get following => $_getBF(2);
+  @$pb.TagNumber(3)
+  set following($core.bool value) => $_setBool(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasFollowing() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearFollowing() => $_clearField(3);
+
+  /// Why not, when neither: the placement keeps it remote, or the directory could not be asked.
+  @$pb.TagNumber(4)
+  $core.String get detail => $_getSZ(3);
+  @$pb.TagNumber(4)
+  set detail($core.String value) => $_setString(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasDetail() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearDetail() => $_clearField(4);
+}
+
+class WorkspaceList extends $pb.GeneratedMessage {
+  factory WorkspaceList({
+    $core.Iterable<WorkspaceSummary>? workspaces,
+  }) {
+    final result = create();
+    if (workspaces != null) result.workspaces.addAll(workspaces);
+    return result;
+  }
+
+  WorkspaceList._();
+
+  factory WorkspaceList.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory WorkspaceList.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'WorkspaceList',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..pPM<WorkspaceSummary>(1, _omitFieldNames ? '' : 'workspaces',
+        subBuilder: WorkspaceSummary.create)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  WorkspaceList clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  WorkspaceList copyWith(void Function(WorkspaceList) updates) =>
+      super.copyWith((message) => updates(message as WorkspaceList))
+          as WorkspaceList;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static WorkspaceList create() => WorkspaceList._();
+  @$core.override
+  WorkspaceList createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static WorkspaceList getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<WorkspaceList>(create);
+  static WorkspaceList? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $pb.PbList<WorkspaceSummary> get workspaces => $_getList(0);
+}
+
+class WorkspaceStatusRequest extends $pb.GeneratedMessage {
+  factory WorkspaceStatusRequest({
+    $core.String? session,
+  }) {
+    final result = create();
+    if (session != null) result.session = session;
+    return result;
+  }
+
+  WorkspaceStatusRequest._();
+
+  factory WorkspaceStatusRequest.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory WorkspaceStatusRequest.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'WorkspaceStatusRequest',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'session')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  WorkspaceStatusRequest clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  WorkspaceStatusRequest copyWith(
+          void Function(WorkspaceStatusRequest) updates) =>
+      super.copyWith((message) => updates(message as WorkspaceStatusRequest))
+          as WorkspaceStatusRequest;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static WorkspaceStatusRequest create() => WorkspaceStatusRequest._();
+  @$core.override
+  WorkspaceStatusRequest createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static WorkspaceStatusRequest getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<WorkspaceStatusRequest>(create);
+  static WorkspaceStatusRequest? _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);
+}
+
+/// Observation only: querying status must not acquire custody, connect a session,
+/// or open a workspace. An absent local head says nothing about remote custody.
+class WorkspaceStatus extends $pb.GeneratedMessage {
+  factory WorkspaceStatus({
+    $core.String? workspace,
+    $core.String? head,
+    $core.bool? kernelResident,
+    $core.String? sealedHead,
+  }) {
+    final result = create();
+    if (workspace != null) result.workspace = workspace;
+    if (head != null) result.head = head;
+    if (kernelResident != null) result.kernelResident = kernelResident;
+    if (sealedHead != null) result.sealedHead = sealedHead;
+    return result;
+  }
+
+  WorkspaceStatus._();
+
+  factory WorkspaceStatus.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory WorkspaceStatus.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'WorkspaceStatus',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'workspace')
+    ..aOS(2, _omitFieldNames ? '' : 'head')
+    ..aOB(3, _omitFieldNames ? '' : 'kernelResident')
+    ..aOS(4, _omitFieldNames ? '' : 'sealedHead')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  WorkspaceStatus clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  WorkspaceStatus copyWith(void Function(WorkspaceStatus) updates) =>
+      super.copyWith((message) => updates(message as WorkspaceStatus))
+          as WorkspaceStatus;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static WorkspaceStatus create() => WorkspaceStatus._();
+  @$core.override
+  WorkspaceStatus createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static WorkspaceStatus getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<WorkspaceStatus>(create);
+  static WorkspaceStatus? _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 head => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set head($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasHead() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearHead() => $_clearField(2);
+
+  /// Absent on older hosts or when residency cannot be observed.
+  @$pb.TagNumber(3)
+  $core.bool get kernelResident => $_getBF(2);
+  @$pb.TagNumber(3)
+  set kernelResident($core.bool value) => $_setBool(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasKernelResident() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearKernelResident() => $_clearField(3);
+
+  /// Last complete physical retention receipt, including delivery metadata.
+  @$pb.TagNumber(4)
+  $core.String get sealedHead => $_getSZ(3);
+  @$pb.TagNumber(4)
+  set sealedHead($core.String value) => $_setString(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasSealedHead() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearSealedHead() => $_clearField(4);
+}
+
+const $core.bool _omitFieldNames =
+    $core.bool.fromEnvironment('protobuf.omit_field_names');
+const $core.bool _omitMessageNames =
+    $core.bool.fromEnvironment('protobuf.omit_message_names');