@githolon/dsl 0.114.0 → 0.115.0

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

@@ -3820,6 +3820,7 @@ enum PeerEffectReceipt_Outcome {
   historyAcquisition,
   consoleEnrolled,
   consoleEnrolmentRefused,
+  stream,
   notSet
 }
 
@@ -3841,6 +3842,7 @@ class PeerEffectReceipt extends $pb.GeneratedMessage {
     PeerHistoryAcquisitionReceipt? historyAcquisition,
     PeerConsoleEnrolled? consoleEnrolled,
     PeerConsoleEnrolmentRefused? consoleEnrolmentRefused,
+    PeerStreamReceipt? stream,
   }) {
     final result = create();
     if (effectId != null) result.effectId = effectId;
@@ -3864,6 +3866,7 @@ class PeerEffectReceipt extends $pb.GeneratedMessage {
     if (consoleEnrolled != null) result.consoleEnrolled = consoleEnrolled;
     if (consoleEnrolmentRefused != null)
       result.consoleEnrolmentRefused = consoleEnrolmentRefused;
+    if (stream != null) result.stream = stream;
     return result;
   }
 
@@ -3893,6 +3896,7 @@ class PeerEffectReceipt extends $pb.GeneratedMessage {
     22: PeerEffectReceipt_Outcome.historyAcquisition,
     23: PeerEffectReceipt_Outcome.consoleEnrolled,
     24: PeerEffectReceipt_Outcome.consoleEnrolmentRefused,
+    25: PeerEffectReceipt_Outcome.stream,
     0: PeerEffectReceipt_Outcome.notSet
   };
   static final $pb.BuilderInfo _i = $pb.BuilderInfo(
@@ -3900,7 +3904,7 @@ class PeerEffectReceipt extends $pb.GeneratedMessage {
       package:
           const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
       createEmptyInstance: create)
-    ..oo(0, [10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24])
+    ..oo(0, [10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25])
     ..aOS(1, _omitFieldNames ? '' : 'effectId')
     ..aOM<PeerHttpResponse>(10, _omitFieldNames ? '' : 'response',
         subBuilder: PeerHttpResponse.create)
@@ -3937,6 +3941,8 @@ class PeerEffectReceipt extends $pb.GeneratedMessage {
     ..aOM<PeerConsoleEnrolmentRefused>(
         24, _omitFieldNames ? '' : 'consoleEnrolmentRefused',
         subBuilder: PeerConsoleEnrolmentRefused.create)
+    ..aOM<PeerStreamReceipt>(25, _omitFieldNames ? '' : 'stream',
+        subBuilder: PeerStreamReceipt.create)
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -3973,6 +3979,7 @@ class PeerEffectReceipt extends $pb.GeneratedMessage {
   @$pb.TagNumber(22)
   @$pb.TagNumber(23)
   @$pb.TagNumber(24)
+  @$pb.TagNumber(25)
   PeerEffectReceipt_Outcome whichOutcome() =>
       _PeerEffectReceipt_OutcomeByTag[$_whichOneof(0)]!;
   @$pb.TagNumber(10)
@@ -3990,6 +3997,7 @@ class PeerEffectReceipt extends $pb.GeneratedMessage {
   @$pb.TagNumber(22)
   @$pb.TagNumber(23)
   @$pb.TagNumber(24)
+  @$pb.TagNumber(25)
   void clearOutcome() => $_clearField($_whichOneof(0));
 
   @$pb.TagNumber(1)
@@ -4170,6 +4178,17 @@ class PeerEffectReceipt extends $pb.GeneratedMessage {
   void clearConsoleEnrolmentRefused() => $_clearField(24);
   @$pb.TagNumber(24)
   PeerConsoleEnrolmentRefused ensureConsoleEnrolmentRefused() => $_ensure(15);
+
+  @$pb.TagNumber(25)
+  PeerStreamReceipt get stream => $_getN(16);
+  @$pb.TagNumber(25)
+  set stream(PeerStreamReceipt value) => $_setField(25, value);
+  @$pb.TagNumber(25)
+  $core.bool hasStream() => $_has(16);
+  @$pb.TagNumber(25)
+  void clearStream() => $_clearField(25);
+  @$pb.TagNumber(25)
+  PeerStreamReceipt ensureStream() => $_ensure(16);
 }
 
 class PeerGitFetchEffect extends $pb.GeneratedMessage {
@@ -4181,6 +4200,7 @@ class PeerGitFetchEffect extends $pb.GeneratedMessage {
     $core.String? reference,
     $core.int? depth,
     PeerHttpEffect? alongside,
+    PeerGitRefsAlongside? alongsideRefs,
   }) {
     final result = create();
     if (effectId != null) result.effectId = effectId;
@@ -4190,6 +4210,7 @@ class PeerGitFetchEffect extends $pb.GeneratedMessage {
     if (reference != null) result.reference = reference;
     if (depth != null) result.depth = depth;
     if (alongside != null) result.alongside = alongside;
+    if (alongsideRefs != null) result.alongsideRefs = alongsideRefs;
     return result;
   }
 
@@ -4216,6 +4237,8 @@ class PeerGitFetchEffect extends $pb.GeneratedMessage {
     ..aI(6, _omitFieldNames ? '' : 'depth', fieldType: $pb.PbFieldType.OU3)
     ..aOM<PeerHttpEffect>(7, _omitFieldNames ? '' : 'alongside',
         subBuilder: PeerHttpEffect.create)
+    ..aOM<PeerGitRefsAlongside>(8, _omitFieldNames ? '' : 'alongsideRefs',
+        subBuilder: PeerGitRefsAlongside.create)
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -4301,6 +4324,19 @@ class PeerGitFetchEffect extends $pb.GeneratedMessage {
   void clearAlongside() => $_clearField(7);
   @$pb.TagNumber(7)
   PeerHttpEffect ensureAlongside() => $_ensure(6);
+
+  /// Independent refs fetched CONCURRENTLY with `reference`, from the same ref advertisement (a
+  /// source's settled workspace-effect outcomes). Their failure never fails the fetch.
+  @$pb.TagNumber(8)
+  PeerGitRefsAlongside get alongsideRefs => $_getN(7);
+  @$pb.TagNumber(8)
+  set alongsideRefs(PeerGitRefsAlongside value) => $_setField(8, value);
+  @$pb.TagNumber(8)
+  $core.bool hasAlongsideRefs() => $_has(7);
+  @$pb.TagNumber(8)
+  void clearAlongsideRefs() => $_clearField(8);
+  @$pb.TagNumber(8)
+  PeerGitRefsAlongside ensureAlongsideRefs() => $_ensure(7);
 }
 
 class PeerGitFetchResponse extends $pb.GeneratedMessage {
@@ -4310,6 +4346,7 @@ class PeerGitFetchResponse extends $pb.GeneratedMessage {
     $fixnum.Int64? receivedBytes,
     $core.Iterable<$core.String>? shallow,
     PeerHttpResponse? alongside,
+    PeerGitRefsFetched? alongsideRefs,
   }) {
     final result = create();
     if (pack != null) result.pack = pack;
@@ -4317,6 +4354,7 @@ class PeerGitFetchResponse extends $pb.GeneratedMessage {
     if (receivedBytes != null) result.receivedBytes = receivedBytes;
     if (shallow != null) result.shallow.addAll(shallow);
     if (alongside != null) result.alongside = alongside;
+    if (alongsideRefs != null) result.alongsideRefs = alongsideRefs;
     return result;
   }
 
@@ -4343,6 +4381,8 @@ class PeerGitFetchResponse extends $pb.GeneratedMessage {
     ..pPS(4, _omitFieldNames ? '' : 'shallow')
     ..aOM<PeerHttpResponse>(5, _omitFieldNames ? '' : 'alongside',
         subBuilder: PeerHttpResponse.create)
+    ..aOM<PeerGitRefsFetched>(6, _omitFieldNames ? '' : 'alongsideRefs',
+        subBuilder: PeerGitRefsFetched.create)
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -4407,6 +4447,18 @@ class PeerGitFetchResponse extends $pb.GeneratedMessage {
   void clearAlongside() => $_clearField(5);
   @$pb.TagNumber(5)
   PeerHttpResponse ensureAlongside() => $_ensure(4);
+
+  /// The answer to the effect's `alongside_refs`; absent when there was none or it failed.
+  @$pb.TagNumber(6)
+  PeerGitRefsFetched get alongsideRefs => $_getN(5);
+  @$pb.TagNumber(6)
+  set alongsideRefs(PeerGitRefsFetched value) => $_setField(6, value);
+  @$pb.TagNumber(6)
+  $core.bool hasAlongsideRefs() => $_has(5);
+  @$pb.TagNumber(6)
+  void clearAlongsideRefs() => $_clearField(6);
+  @$pb.TagNumber(6)
+  PeerGitRefsFetched ensureAlongsideRefs() => $_ensure(5);
 }
 
 /// An auxiliary commit tree is parked on an inert session ref before its
@@ -5134,6 +5186,7 @@ enum CorrespondencePending_Effect {
   lawPackage,
   historyAcquisition,
   consoleEnrolment,
+  stream,
   notSet
 }
 
@@ -5153,6 +5206,7 @@ class CorrespondencePending extends $pb.GeneratedMessage {
     PeerLawPackageEffect? lawPackage,
     PeerHistoryAcquisitionEffect? historyAcquisition,
     PeerConsoleEnrolmentEffect? consoleEnrolment,
+    PeerStreamEffect? stream,
   }) {
     final result = create();
     if (workId != null) result.workId = workId;
@@ -5172,6 +5226,7 @@ class CorrespondencePending extends $pb.GeneratedMessage {
     if (historyAcquisition != null)
       result.historyAcquisition = historyAcquisition;
     if (consoleEnrolment != null) result.consoleEnrolment = consoleEnrolment;
+    if (stream != null) result.stream = stream;
     return result;
   }
 
@@ -5199,6 +5254,7 @@ class CorrespondencePending extends $pb.GeneratedMessage {
     12: CorrespondencePending_Effect.lawPackage,
     13: CorrespondencePending_Effect.historyAcquisition,
     14: CorrespondencePending_Effect.consoleEnrolment,
+    15: CorrespondencePending_Effect.stream,
     0: CorrespondencePending_Effect.notSet
   };
   static final $pb.BuilderInfo _i = $pb.BuilderInfo(
@@ -5206,7 +5262,7 @@ class CorrespondencePending extends $pb.GeneratedMessage {
       package:
           const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
       createEmptyInstance: create)
-    ..oo(0, [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14])
+    ..oo(0, [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15])
     ..aOS(1, _omitFieldNames ? '' : 'workId')
     ..aOM<PeerHttpEffect>(2, _omitFieldNames ? '' : 'http',
         subBuilder: PeerHttpEffect.create)
@@ -5239,6 +5295,8 @@ class CorrespondencePending extends $pb.GeneratedMessage {
     ..aOM<PeerConsoleEnrolmentEffect>(
         14, _omitFieldNames ? '' : 'consoleEnrolment',
         subBuilder: PeerConsoleEnrolmentEffect.create)
+    ..aOM<PeerStreamEffect>(15, _omitFieldNames ? '' : 'stream',
+        subBuilder: PeerStreamEffect.create)
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -5274,6 +5332,7 @@ class CorrespondencePending extends $pb.GeneratedMessage {
   @$pb.TagNumber(12)
   @$pb.TagNumber(13)
   @$pb.TagNumber(14)
+  @$pb.TagNumber(15)
   CorrespondencePending_Effect whichEffect() =>
       _CorrespondencePending_EffectByTag[$_whichOneof(0)]!;
   @$pb.TagNumber(2)
@@ -5289,6 +5348,7 @@ class CorrespondencePending extends $pb.GeneratedMessage {
   @$pb.TagNumber(12)
   @$pb.TagNumber(13)
   @$pb.TagNumber(14)
+  @$pb.TagNumber(15)
   void clearEffect() => $_clearField($_whichOneof(0));
 
   @$pb.TagNumber(1)
@@ -5447,6 +5507,17 @@ class CorrespondencePending extends $pb.GeneratedMessage {
   void clearConsoleEnrolment() => $_clearField(14);
   @$pb.TagNumber(14)
   PeerConsoleEnrolmentEffect ensureConsoleEnrolment() => $_ensure(13);
+
+  @$pb.TagNumber(15)
+  PeerStreamEffect get stream => $_getN(14);
+  @$pb.TagNumber(15)
+  set stream(PeerStreamEffect value) => $_setField(15, value);
+  @$pb.TagNumber(15)
+  $core.bool hasStream() => $_has(14);
+  @$pb.TagNumber(15)
+  void clearStream() => $_clearField(15);
+  @$pb.TagNumber(15)
+  PeerStreamEffect ensureStream() => $_ensure(14);
 }
 
 /// D22/D23: enrol this device's key with the application's console enroller.
@@ -7921,7 +7992,19 @@ class CustodyOfferBatchRequest extends $pb.GeneratedMessage {
   void clearAcknowledgeAdmission() => $_clearField(10);
 }
 
-enum LiveOfferFrame_Message { frontier, offers, admission, notSet }
+enum LiveOfferFrame_Message {
+  frontier,
+  offers,
+  admission,
+  checkpointRequest,
+  checkpointOffer,
+  checkpointChunk,
+  historyRequest,
+  refRequest,
+  pack,
+  refusal,
+  notSet
+}
 
 /// A live link carries proposals and, from the custodian only, the admission it judged for them.
 /// A peer advances its tracked base from an admission only when the sealed main is already in its
@@ -7931,11 +8014,25 @@ class LiveOfferFrame extends $pb.GeneratedMessage {
     LiveFrontier? frontier,
     CustodyOfferBatchRequest? offers,
     LiveAdmission? admission,
+    LiveCheckpointRequest? checkpointRequest,
+    LiveCheckpointOffer? checkpointOffer,
+    LiveCheckpointChunk? checkpointChunk,
+    LiveHistoryRequest? historyRequest,
+    LiveRefRequest? refRequest,
+    LivePack? pack,
+    LiveStreamRefusal? refusal,
   }) {
     final result = create();
     if (frontier != null) result.frontier = frontier;
     if (offers != null) result.offers = offers;
     if (admission != null) result.admission = admission;
+    if (checkpointRequest != null) result.checkpointRequest = checkpointRequest;
+    if (checkpointOffer != null) result.checkpointOffer = checkpointOffer;
+    if (checkpointChunk != null) result.checkpointChunk = checkpointChunk;
+    if (historyRequest != null) result.historyRequest = historyRequest;
+    if (refRequest != null) result.refRequest = refRequest;
+    if (pack != null) result.pack = pack;
+    if (refusal != null) result.refusal = refusal;
     return result;
   }
 
@@ -7953,6 +8050,13 @@ class LiveOfferFrame extends $pb.GeneratedMessage {
     1: LiveOfferFrame_Message.frontier,
     2: LiveOfferFrame_Message.offers,
     3: LiveOfferFrame_Message.admission,
+    4: LiveOfferFrame_Message.checkpointRequest,
+    5: LiveOfferFrame_Message.checkpointOffer,
+    6: LiveOfferFrame_Message.checkpointChunk,
+    7: LiveOfferFrame_Message.historyRequest,
+    8: LiveOfferFrame_Message.refRequest,
+    9: LiveOfferFrame_Message.pack,
+    10: LiveOfferFrame_Message.refusal,
     0: LiveOfferFrame_Message.notSet
   };
   static final $pb.BuilderInfo _i = $pb.BuilderInfo(
@@ -7960,13 +8064,27 @@ class LiveOfferFrame extends $pb.GeneratedMessage {
       package:
           const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
       createEmptyInstance: create)
-    ..oo(0, [1, 2, 3])
+    ..oo(0, [1, 2, 3, 4, 5, 6, 7, 8, 9, 10])
     ..aOM<LiveFrontier>(1, _omitFieldNames ? '' : 'frontier',
         subBuilder: LiveFrontier.create)
     ..aOM<CustodyOfferBatchRequest>(2, _omitFieldNames ? '' : 'offers',
         subBuilder: CustodyOfferBatchRequest.create)
     ..aOM<LiveAdmission>(3, _omitFieldNames ? '' : 'admission',
         subBuilder: LiveAdmission.create)
+    ..aOM<LiveCheckpointRequest>(4, _omitFieldNames ? '' : 'checkpointRequest',
+        subBuilder: LiveCheckpointRequest.create)
+    ..aOM<LiveCheckpointOffer>(5, _omitFieldNames ? '' : 'checkpointOffer',
+        subBuilder: LiveCheckpointOffer.create)
+    ..aOM<LiveCheckpointChunk>(6, _omitFieldNames ? '' : 'checkpointChunk',
+        subBuilder: LiveCheckpointChunk.create)
+    ..aOM<LiveHistoryRequest>(7, _omitFieldNames ? '' : 'historyRequest',
+        subBuilder: LiveHistoryRequest.create)
+    ..aOM<LiveRefRequest>(8, _omitFieldNames ? '' : 'refRequest',
+        subBuilder: LiveRefRequest.create)
+    ..aOM<LivePack>(9, _omitFieldNames ? '' : 'pack',
+        subBuilder: LivePack.create)
+    ..aOM<LiveStreamRefusal>(10, _omitFieldNames ? '' : 'refusal',
+        subBuilder: LiveStreamRefusal.create)
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -7991,11 +8109,25 @@ class LiveOfferFrame extends $pb.GeneratedMessage {
   @$pb.TagNumber(1)
   @$pb.TagNumber(2)
   @$pb.TagNumber(3)
+  @$pb.TagNumber(4)
+  @$pb.TagNumber(5)
+  @$pb.TagNumber(6)
+  @$pb.TagNumber(7)
+  @$pb.TagNumber(8)
+  @$pb.TagNumber(9)
+  @$pb.TagNumber(10)
   LiveOfferFrame_Message whichMessage() =>
       _LiveOfferFrame_MessageByTag[$_whichOneof(0)]!;
   @$pb.TagNumber(1)
   @$pb.TagNumber(2)
   @$pb.TagNumber(3)
+  @$pb.TagNumber(4)
+  @$pb.TagNumber(5)
+  @$pb.TagNumber(6)
+  @$pb.TagNumber(7)
+  @$pb.TagNumber(8)
+  @$pb.TagNumber(9)
+  @$pb.TagNumber(10)
   void clearMessage() => $_clearField($_whichOneof(0));
 
   @$pb.TagNumber(1)
@@ -8030,6 +8162,87 @@ class LiveOfferFrame extends $pb.GeneratedMessage {
   void clearAdmission() => $_clearField(3);
   @$pb.TagNumber(3)
   LiveAdmission ensureAdmission() => $_ensure(2);
+
+  /// THE STREAM (architecture/peer_catchup.md, CAP-826). One socket per workspace, to that
+  /// workspace's coordinator, carries the workspace's whole lifecycle in order from the cloud
+  /// peer that holds it: a checkpoint at head H (chunked, resumable), the offers after H in
+  /// bounded batches, then live offers. A device never contacts Artifacts.
+  @$pb.TagNumber(4)
+  LiveCheckpointRequest get checkpointRequest => $_getN(3);
+  @$pb.TagNumber(4)
+  set checkpointRequest(LiveCheckpointRequest value) => $_setField(4, value);
+  @$pb.TagNumber(4)
+  $core.bool hasCheckpointRequest() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearCheckpointRequest() => $_clearField(4);
+  @$pb.TagNumber(4)
+  LiveCheckpointRequest ensureCheckpointRequest() => $_ensure(3);
+
+  @$pb.TagNumber(5)
+  LiveCheckpointOffer get checkpointOffer => $_getN(4);
+  @$pb.TagNumber(5)
+  set checkpointOffer(LiveCheckpointOffer value) => $_setField(5, value);
+  @$pb.TagNumber(5)
+  $core.bool hasCheckpointOffer() => $_has(4);
+  @$pb.TagNumber(5)
+  void clearCheckpointOffer() => $_clearField(5);
+  @$pb.TagNumber(5)
+  LiveCheckpointOffer ensureCheckpointOffer() => $_ensure(4);
+
+  @$pb.TagNumber(6)
+  LiveCheckpointChunk get checkpointChunk => $_getN(5);
+  @$pb.TagNumber(6)
+  set checkpointChunk(LiveCheckpointChunk value) => $_setField(6, value);
+  @$pb.TagNumber(6)
+  $core.bool hasCheckpointChunk() => $_has(5);
+  @$pb.TagNumber(6)
+  void clearCheckpointChunk() => $_clearField(6);
+  @$pb.TagNumber(6)
+  LiveCheckpointChunk ensureCheckpointChunk() => $_ensure(5);
+
+  @$pb.TagNumber(7)
+  LiveHistoryRequest get historyRequest => $_getN(6);
+  @$pb.TagNumber(7)
+  set historyRequest(LiveHistoryRequest value) => $_setField(7, value);
+  @$pb.TagNumber(7)
+  $core.bool hasHistoryRequest() => $_has(6);
+  @$pb.TagNumber(7)
+  void clearHistoryRequest() => $_clearField(7);
+  @$pb.TagNumber(7)
+  LiveHistoryRequest ensureHistoryRequest() => $_ensure(6);
+
+  @$pb.TagNumber(8)
+  LiveRefRequest get refRequest => $_getN(7);
+  @$pb.TagNumber(8)
+  set refRequest(LiveRefRequest value) => $_setField(8, value);
+  @$pb.TagNumber(8)
+  $core.bool hasRefRequest() => $_has(7);
+  @$pb.TagNumber(8)
+  void clearRefRequest() => $_clearField(8);
+  @$pb.TagNumber(8)
+  LiveRefRequest ensureRefRequest() => $_ensure(7);
+
+  @$pb.TagNumber(9)
+  LivePack get pack => $_getN(8);
+  @$pb.TagNumber(9)
+  set pack(LivePack value) => $_setField(9, value);
+  @$pb.TagNumber(9)
+  $core.bool hasPack() => $_has(8);
+  @$pb.TagNumber(9)
+  void clearPack() => $_clearField(9);
+  @$pb.TagNumber(9)
+  LivePack ensurePack() => $_ensure(8);
+
+  @$pb.TagNumber(10)
+  LiveStreamRefusal get refusal => $_getN(9);
+  @$pb.TagNumber(10)
+  set refusal(LiveStreamRefusal value) => $_setField(10, value);
+  @$pb.TagNumber(10)
+  $core.bool hasRefusal() => $_has(9);
+  @$pb.TagNumber(10)
+  void clearRefusal() => $_clearField(10);
+  @$pb.TagNumber(10)
+  LiveStreamRefusal ensureRefusal() => $_ensure(9);
 }
 
 /// The custodian's admission of one live batch: the same CustodyAdmission the HTTP offer lane
@@ -8105,14 +8318,32 @@ class LiveAdmission extends $pb.GeneratedMessage {
   CustodyAdmission ensureAdmission() => $_ensure(1);
 }
 
+/// `max_offers` (a stream-capable receiver): send at most this many offers directly above `head`;
+/// the receiver announces its new head once it admitted them, and the next batch follows.
+/// `remount_after_offers`: sent only by a copy holding no work above its bookmark. Further behind
+/// than this many offers, or at a head the peer does not hold, answer a checkpoint_offer instead.
+/// `outcomes_digest` (a stream-capable receiver): the hex sha256 of the sorted object ids of the
+/// settled-letter outcome refs it holds (#567). A peer whose own set differs answers with its
+/// `outcomes` (names and ids only); the receiver asks for the ones it lacks with a ref request.
 class LiveFrontier extends $pb.GeneratedMessage {
   factory LiveFrontier({
     $core.String? head,
     $core.bool? response,
+    $core.int? maxOffers,
+    $core.int? remountAfterOffers,
+    $core.String? outcomesDigest,
+    $core.Iterable<RetainedRef>? outcomes,
+    $core.String? sealed,
   }) {
     final result = create();
     if (head != null) result.head = head;
     if (response != null) result.response = response;
+    if (maxOffers != null) result.maxOffers = maxOffers;
+    if (remountAfterOffers != null)
+      result.remountAfterOffers = remountAfterOffers;
+    if (outcomesDigest != null) result.outcomesDigest = outcomesDigest;
+    if (outcomes != null) result.outcomes.addAll(outcomes);
+    if (sealed != null) result.sealed = sealed;
     return result;
   }
 
@@ -8132,6 +8363,13 @@ class LiveFrontier extends $pb.GeneratedMessage {
       createEmptyInstance: create)
     ..aOS(1, _omitFieldNames ? '' : 'head')
     ..aOB(2, _omitFieldNames ? '' : 'response')
+    ..aI(3, _omitFieldNames ? '' : 'maxOffers', fieldType: $pb.PbFieldType.OU3)
+    ..aI(4, _omitFieldNames ? '' : 'remountAfterOffers',
+        fieldType: $pb.PbFieldType.OU3)
+    ..aOS(5, _omitFieldNames ? '' : 'outcomesDigest')
+    ..pPM<RetainedRef>(6, _omitFieldNames ? '' : 'outcomes',
+        subBuilder: RetainedRef.create)
+    ..aOS(7, _omitFieldNames ? '' : 'sealed')
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -8170,190 +8408,1583 @@ class LiveFrontier extends $pb.GeneratedMessage {
   $core.bool hasResponse() => $_has(1);
   @$pb.TagNumber(2)
   void clearResponse() => $_clearField(2);
-}
 
-enum PeerSocketEffect_Operation { openUrl, send, close, notSet }
+  @$pb.TagNumber(3)
+  $core.int get maxOffers => $_getIZ(2);
+  @$pb.TagNumber(3)
+  set maxOffers($core.int value) => $_setUnsignedInt32(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasMaxOffers() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearMaxOffers() => $_clearField(3);
 
-/// Runtime-owned socket lifecycle; shells only operate the identified socket.
-class PeerSocketEffect extends $pb.GeneratedMessage {
-  factory PeerSocketEffect({
-    $core.String? connectionId,
-    $core.String? openUrl,
-    $core.List<$core.int>? send,
-    $core.bool? close,
+  @$pb.TagNumber(4)
+  $core.int get remountAfterOffers => $_getIZ(3);
+  @$pb.TagNumber(4)
+  set remountAfterOffers($core.int value) => $_setUnsignedInt32(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasRemountAfterOffers() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearRemountAfterOffers() => $_clearField(4);
+
+  @$pb.TagNumber(5)
+  $core.String get outcomesDigest => $_getSZ(4);
+  @$pb.TagNumber(5)
+  set outcomesDigest($core.String value) => $_setString(4, value);
+  @$pb.TagNumber(5)
+  $core.bool hasOutcomesDigest() => $_has(4);
+  @$pb.TagNumber(5)
+  void clearOutcomesDigest() => $_clearField(5);
+
+  @$pb.TagNumber(6)
+  $pb.PbList<RetainedRef> get outcomes => $_getList(5);
+
+  /// In a peer's answer: the main its custodian has made durable (a copy bookmarks only that).
+  @$pb.TagNumber(7)
+  $core.String get sealed => $_getSZ(6);
+  @$pb.TagNumber(7)
+  set sealed($core.String value) => $_setString(6, value);
+  @$pb.TagNumber(7)
+  $core.bool hasSealed() => $_has(6);
+  @$pb.TagNumber(7)
+  void clearSealed() => $_clearField(7);
+}
+
+/// Start or resume a checkpoint. A resume names the checkpoint (`head`, `pack_id`) and the bytes it
+/// already holds (`offset`); the peer answers the next `window_chunks` chunks, or a newer offer.
+/// `pack_id` is the pack's own trailer hash (hex SHA-1 of its bytes): the receiving kernel verifies it
+/// while indexing, so no shell hashes a checkpoint in JavaScript.
+class LiveCheckpointRequest extends $pb.GeneratedMessage {
+  factory LiveCheckpointRequest({
+    $core.String? head,
+    $core.String? packId,
+    $fixnum.Int64? offset,
+    $core.int? windowChunks,
   }) {
     final result = create();
-    if (connectionId != null) result.connectionId = connectionId;
-    if (openUrl != null) result.openUrl = openUrl;
-    if (send != null) result.send = send;
-    if (close != null) result.close = close;
+    if (head != null) result.head = head;
+    if (packId != null) result.packId = packId;
+    if (offset != null) result.offset = offset;
+    if (windowChunks != null) result.windowChunks = windowChunks;
     return result;
   }
 
-  PeerSocketEffect._();
+  LiveCheckpointRequest._();
 
-  factory PeerSocketEffect.fromBuffer($core.List<$core.int> data,
+  factory LiveCheckpointRequest.fromBuffer($core.List<$core.int> data,
           [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
       create()..mergeFromBuffer(data, registry);
-  factory PeerSocketEffect.fromJson($core.String json,
+  factory LiveCheckpointRequest.fromJson($core.String json,
           [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
       create()..mergeFromJson(json, registry);
 
-  static const $core.Map<$core.int, PeerSocketEffect_Operation>
-      _PeerSocketEffect_OperationByTag = {
-    2: PeerSocketEffect_Operation.openUrl,
-    3: PeerSocketEffect_Operation.send,
-    4: PeerSocketEffect_Operation.close,
-    0: PeerSocketEffect_Operation.notSet
-  };
   static final $pb.BuilderInfo _i = $pb.BuilderInfo(
-      _omitMessageNames ? '' : 'PeerSocketEffect',
+      _omitMessageNames ? '' : 'LiveCheckpointRequest',
       package:
           const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
       createEmptyInstance: create)
-    ..oo(0, [2, 3, 4])
-    ..aOS(1, _omitFieldNames ? '' : 'connectionId')
-    ..aOS(2, _omitFieldNames ? '' : 'openUrl')
-    ..a<$core.List<$core.int>>(
-        3, _omitFieldNames ? '' : 'send', $pb.PbFieldType.OY)
-    ..aOB(4, _omitFieldNames ? '' : 'close')
+    ..aOS(1, _omitFieldNames ? '' : 'head')
+    ..aOS(2, _omitFieldNames ? '' : 'packId')
+    ..a<$fixnum.Int64>(3, _omitFieldNames ? '' : 'offset', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
+    ..aI(4, _omitFieldNames ? '' : 'windowChunks',
+        fieldType: $pb.PbFieldType.OU3)
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
-  PeerSocketEffect clone() => deepCopy();
+  LiveCheckpointRequest clone() => deepCopy();
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
-  PeerSocketEffect copyWith(void Function(PeerSocketEffect) updates) =>
-      super.copyWith((message) => updates(message as PeerSocketEffect))
-          as PeerSocketEffect;
+  LiveCheckpointRequest copyWith(
+          void Function(LiveCheckpointRequest) updates) =>
+      super.copyWith((message) => updates(message as LiveCheckpointRequest))
+          as LiveCheckpointRequest;
 
   @$core.override
   $pb.BuilderInfo get info_ => _i;
 
   @$core.pragma('dart2js:noInline')
-  static PeerSocketEffect create() => PeerSocketEffect._();
+  static LiveCheckpointRequest create() => LiveCheckpointRequest._();
   @$core.override
-  PeerSocketEffect createEmptyInstance() => create();
+  LiveCheckpointRequest createEmptyInstance() => create();
   @$core.pragma('dart2js:noInline')
-  static PeerSocketEffect getDefault() => _defaultInstance ??=
-      $pb.GeneratedMessage.$_defaultFor<PeerSocketEffect>(create);
-  static PeerSocketEffect? _defaultInstance;
-
-  @$pb.TagNumber(2)
-  @$pb.TagNumber(3)
-  @$pb.TagNumber(4)
-  PeerSocketEffect_Operation whichOperation() =>
-      _PeerSocketEffect_OperationByTag[$_whichOneof(0)]!;
-  @$pb.TagNumber(2)
-  @$pb.TagNumber(3)
-  @$pb.TagNumber(4)
-  void clearOperation() => $_clearField($_whichOneof(0));
+  static LiveCheckpointRequest getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<LiveCheckpointRequest>(create);
+  static LiveCheckpointRequest? _defaultInstance;
 
   @$pb.TagNumber(1)
-  $core.String get connectionId => $_getSZ(0);
+  $core.String get head => $_getSZ(0);
   @$pb.TagNumber(1)
-  set connectionId($core.String value) => $_setString(0, value);
+  set head($core.String value) => $_setString(0, value);
   @$pb.TagNumber(1)
-  $core.bool hasConnectionId() => $_has(0);
+  $core.bool hasHead() => $_has(0);
   @$pb.TagNumber(1)
-  void clearConnectionId() => $_clearField(1);
+  void clearHead() => $_clearField(1);
 
   @$pb.TagNumber(2)
-  $core.String get openUrl => $_getSZ(1);
+  $core.String get packId => $_getSZ(1);
   @$pb.TagNumber(2)
-  set openUrl($core.String value) => $_setString(1, value);
+  set packId($core.String value) => $_setString(1, value);
   @$pb.TagNumber(2)
-  $core.bool hasOpenUrl() => $_has(1);
+  $core.bool hasPackId() => $_has(1);
   @$pb.TagNumber(2)
-  void clearOpenUrl() => $_clearField(2);
+  void clearPackId() => $_clearField(2);
 
   @$pb.TagNumber(3)
-  $core.List<$core.int> get send => $_getN(2);
+  $fixnum.Int64 get offset => $_getI64(2);
   @$pb.TagNumber(3)
-  set send($core.List<$core.int> value) => $_setBytes(2, value);
+  set offset($fixnum.Int64 value) => $_setInt64(2, value);
   @$pb.TagNumber(3)
-  $core.bool hasSend() => $_has(2);
+  $core.bool hasOffset() => $_has(2);
   @$pb.TagNumber(3)
-  void clearSend() => $_clearField(3);
+  void clearOffset() => $_clearField(3);
 
   @$pb.TagNumber(4)
-  $core.bool get close => $_getBF(3);
+  $core.int get windowChunks => $_getIZ(3);
   @$pb.TagNumber(4)
-  set close($core.bool value) => $_setBool(3, value);
+  set windowChunks($core.int value) => $_setUnsignedInt32(3, value);
   @$pb.TagNumber(4)
-  $core.bool hasClose() => $_has(3);
+  $core.bool hasWindowChunks() => $_has(3);
   @$pb.TagNumber(4)
-  void clearClose() => $_clearField(4);
+  void clearWindowChunks() => $_clearField(4);
 }
 
-enum PeerSocketReceipt_Observation { opened, received, closed, closure, notSet }
-
-class PeerSocketReceipt extends $pb.GeneratedMessage {
-  factory PeerSocketReceipt({
-    $core.String? connectionId,
-    $core.bool? opened,
-    $core.List<$core.int>? received,
-    $core.bool? closed,
-    PeerSocketClosure? closure,
+/// The checkpoint the peer will send: the frontier state at H (H's commit and state tree, and the
+/// settled-letter outcome commits beside it), one deterministic Git pack. It is the same shape as an
+/// epoch boundary's frontier state (CAP-825), whether or not epochs are on.
+class LiveCheckpointOffer extends $pb.GeneratedMessage {
+  factory LiveCheckpointOffer({
+    $core.String? head,
+    $core.String? packId,
+    $fixnum.Int64? bytes,
+    $core.int? chunkBytes,
+    $core.Iterable<$core.String>? shallow,
+    $core.Iterable<RetainedRef>? outcomes,
+    $core.bool? remount,
+    $fixnum.Int64? offersBehind,
+    $core.String? requestId,
+    $core.String? sealed,
+    $core.String? main,
   }) {
     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;
+    if (head != null) result.head = head;
+    if (packId != null) result.packId = packId;
+    if (bytes != null) result.bytes = bytes;
+    if (chunkBytes != null) result.chunkBytes = chunkBytes;
+    if (shallow != null) result.shallow.addAll(shallow);
+    if (outcomes != null) result.outcomes.addAll(outcomes);
+    if (remount != null) result.remount = remount;
+    if (offersBehind != null) result.offersBehind = offersBehind;
+    if (requestId != null) result.requestId = requestId;
+    if (sealed != null) result.sealed = sealed;
+    if (main != null) result.main = main;
     return result;
   }
 
-  PeerSocketReceipt._();
+  LiveCheckpointOffer._();
 
-  factory PeerSocketReceipt.fromBuffer($core.List<$core.int> data,
+  factory LiveCheckpointOffer.fromBuffer($core.List<$core.int> data,
           [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
       create()..mergeFromBuffer(data, registry);
-  factory PeerSocketReceipt.fromJson($core.String json,
+  factory LiveCheckpointOffer.fromJson($core.String json,
           [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
       create()..mergeFromJson(json, registry);
 
-  static const $core.Map<$core.int, PeerSocketReceipt_Observation>
-      _PeerSocketReceipt_ObservationByTag = {
-    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(
-      _omitMessageNames ? '' : 'PeerSocketReceipt',
+      _omitMessageNames ? '' : 'LiveCheckpointOffer',
       package:
           const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
       createEmptyInstance: create)
-    ..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)
+    ..aOS(1, _omitFieldNames ? '' : 'head')
+    ..aOS(2, _omitFieldNames ? '' : 'packId')
+    ..a<$fixnum.Int64>(3, _omitFieldNames ? '' : 'bytes', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
+    ..aI(4, _omitFieldNames ? '' : 'chunkBytes', fieldType: $pb.PbFieldType.OU3)
+    ..pPS(6, _omitFieldNames ? '' : 'shallow')
+    ..pPM<RetainedRef>(7, _omitFieldNames ? '' : 'outcomes',
+        subBuilder: RetainedRef.create)
+    ..aOB(8, _omitFieldNames ? '' : 'remount')
+    ..a<$fixnum.Int64>(
+        9, _omitFieldNames ? '' : 'offersBehind', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
+    ..aOS(10, _omitFieldNames ? '' : 'requestId')
+    ..aOS(11, _omitFieldNames ? '' : 'sealed')
+    ..aOS(12, _omitFieldNames ? '' : 'main')
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
-  PeerSocketReceipt clone() => deepCopy();
+  LiveCheckpointOffer clone() => deepCopy();
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
-  PeerSocketReceipt copyWith(void Function(PeerSocketReceipt) updates) =>
-      super.copyWith((message) => updates(message as PeerSocketReceipt))
-          as PeerSocketReceipt;
+  LiveCheckpointOffer copyWith(void Function(LiveCheckpointOffer) updates) =>
+      super.copyWith((message) => updates(message as LiveCheckpointOffer))
+          as LiveCheckpointOffer;
 
   @$core.override
   $pb.BuilderInfo get info_ => _i;
 
   @$core.pragma('dart2js:noInline')
-  static PeerSocketReceipt create() => PeerSocketReceipt._();
+  static LiveCheckpointOffer create() => LiveCheckpointOffer._();
   @$core.override
-  PeerSocketReceipt createEmptyInstance() => create();
+  LiveCheckpointOffer createEmptyInstance() => create();
   @$core.pragma('dart2js:noInline')
-  static PeerSocketReceipt getDefault() => _defaultInstance ??=
-      $pb.GeneratedMessage.$_defaultFor<PeerSocketReceipt>(create);
-  static PeerSocketReceipt? _defaultInstance;
+  static LiveCheckpointOffer getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<LiveCheckpointOffer>(create);
+  static LiveCheckpointOffer? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.String get head => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set head($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasHead() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearHead() => $_clearField(1);
+
+  @$pb.TagNumber(2)
+  $core.String get packId => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set packId($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasPackId() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearPackId() => $_clearField(2);
+
+  @$pb.TagNumber(3)
+  $fixnum.Int64 get bytes => $_getI64(2);
+  @$pb.TagNumber(3)
+  set bytes($fixnum.Int64 value) => $_setInt64(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasBytes() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearBytes() => $_clearField(3);
+
+  @$pb.TagNumber(4)
+  $core.int get chunkBytes => $_getIZ(3);
+  @$pb.TagNumber(4)
+  set chunkBytes($core.int value) => $_setUnsignedInt32(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasChunkBytes() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearChunkBytes() => $_clearField(4);
+
+  @$pb.TagNumber(6)
+  $pb.PbList<$core.String> get shallow => $_getList(4);
+
+  /// The settled-letter outcome refs whose commits the pack carries (#567).
+  @$pb.TagNumber(7)
+  $pb.PbList<RetainedRef> get outcomes => $_getList(5);
+
+  /// Offered instead of offers: the copy is further behind than its remount bound, or its head is
+  /// not in the peer's custody.
+  @$pb.TagNumber(8)
+  $core.bool get remount => $_getBF(6);
+  @$pb.TagNumber(8)
+  set remount($core.bool value) => $_setBool(6, value);
+  @$pb.TagNumber(8)
+  $core.bool hasRemount() => $_has(6);
+  @$pb.TagNumber(8)
+  void clearRemount() => $_clearField(8);
+
+  @$pb.TagNumber(9)
+  $fixnum.Int64 get offersBehind => $_getI64(7);
+  @$pb.TagNumber(9)
+  set offersBehind($fixnum.Int64 value) => $_setInt64(7, value);
+  @$pb.TagNumber(9)
+  $core.bool hasOffersBehind() => $_has(7);
+  @$pb.TagNumber(9)
+  void clearOffersBehind() => $_clearField(9);
+
+  /// Set when this transfer is a history slice, not a checkpoint: the slice's request id. `head` is
+  /// then the shallow boundary the slice continues below, `shallow` its new boundary.
+  @$pb.TagNumber(10)
+  $core.String get requestId => $_getSZ(8);
+  @$pb.TagNumber(10)
+  set requestId($core.String value) => $_setString(8, value);
+  @$pb.TagNumber(10)
+  $core.bool hasRequestId() => $_has(8);
+  @$pb.TagNumber(10)
+  void clearRequestId() => $_clearField(10);
+
+  /// The main this peer's custodian has made durable. A checkpoint is offered at it whenever the peer
+  /// knows it and it is on main; the offers above it follow in batches, so a stream never waits for a
+  /// seal. A copy bookmarks the checkpoint's head only when it is this sealed head.
+  @$pb.TagNumber(11)
+  $core.String get sealed => $_getSZ(9);
+  @$pb.TagNumber(11)
+  set sealed($core.String value) => $_setString(9, value);
+  @$pb.TagNumber(11)
+  $core.bool hasSealed() => $_has(9);
+  @$pb.TagNumber(11)
+  void clearSealed() => $_clearField(11);
+
+  /// The peer's main when it offered this checkpoint. Above `head`, the copy levels to it after mounting.
+  @$pb.TagNumber(12)
+  $core.String get main => $_getSZ(10);
+  @$pb.TagNumber(12)
+  set main($core.String value) => $_setString(10, value);
+  @$pb.TagNumber(12)
+  $core.bool hasMain() => $_has(10);
+  @$pb.TagNumber(12)
+  void clearMain() => $_clearField(12);
+}
+
+/// One chunk of a checkpoint, or (with `request_id`) of a history slice.
+class LiveCheckpointChunk extends $pb.GeneratedMessage {
+  factory LiveCheckpointChunk({
+    $core.String? packId,
+    $fixnum.Int64? offset,
+    $core.List<$core.int>? bytes,
+    $core.String? requestId,
+  }) {
+    final result = create();
+    if (packId != null) result.packId = packId;
+    if (offset != null) result.offset = offset;
+    if (bytes != null) result.bytes = bytes;
+    if (requestId != null) result.requestId = requestId;
+    return result;
+  }
+
+  LiveCheckpointChunk._();
+
+  factory LiveCheckpointChunk.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory LiveCheckpointChunk.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'LiveCheckpointChunk',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'packId')
+    ..a<$fixnum.Int64>(2, _omitFieldNames ? '' : 'offset', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
+    ..a<$core.List<$core.int>>(
+        3, _omitFieldNames ? '' : 'bytes', $pb.PbFieldType.OY)
+    ..aOS(4, _omitFieldNames ? '' : 'requestId')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LiveCheckpointChunk clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LiveCheckpointChunk copyWith(void Function(LiveCheckpointChunk) updates) =>
+      super.copyWith((message) => updates(message as LiveCheckpointChunk))
+          as LiveCheckpointChunk;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static LiveCheckpointChunk create() => LiveCheckpointChunk._();
+  @$core.override
+  LiveCheckpointChunk createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static LiveCheckpointChunk getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<LiveCheckpointChunk>(create);
+  static LiveCheckpointChunk? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.String get packId => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set packId($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasPackId() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearPackId() => $_clearField(1);
+
+  @$pb.TagNumber(2)
+  $fixnum.Int64 get offset => $_getI64(1);
+  @$pb.TagNumber(2)
+  set offset($fixnum.Int64 value) => $_setInt64(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasOffset() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearOffset() => $_clearField(2);
+
+  @$pb.TagNumber(3)
+  $core.List<$core.int> get bytes => $_getN(2);
+  @$pb.TagNumber(3)
+  set bytes($core.List<$core.int> value) => $_setBytes(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasBytes() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearBytes() => $_clearField(3);
+
+  @$pb.TagNumber(4)
+  $core.String get requestId => $_getSZ(3);
+  @$pb.TagNumber(4)
+  set requestId($core.String value) => $_setString(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasRequestId() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearRequestId() => $_clearField(4);
+}
+
+/// One lazy-history slice: `depth` generations below a shallow `boundary` the copy holds. A slice is a
+/// transfer like a checkpoint: offered, then chunked; a resume names the slice (`pack_id`) and the bytes
+/// already held (`offset`), and the peer answers the next `window_chunks` chunks.
+class LiveHistoryRequest extends $pb.GeneratedMessage {
+  factory LiveHistoryRequest({
+    $core.String? requestId,
+    $core.String? boundary,
+    $core.int? depth,
+    $core.String? packId,
+    $fixnum.Int64? offset,
+    $core.int? windowChunks,
+  }) {
+    final result = create();
+    if (requestId != null) result.requestId = requestId;
+    if (boundary != null) result.boundary = boundary;
+    if (depth != null) result.depth = depth;
+    if (packId != null) result.packId = packId;
+    if (offset != null) result.offset = offset;
+    if (windowChunks != null) result.windowChunks = windowChunks;
+    return result;
+  }
+
+  LiveHistoryRequest._();
+
+  factory LiveHistoryRequest.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory LiveHistoryRequest.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'LiveHistoryRequest',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'requestId')
+    ..aOS(2, _omitFieldNames ? '' : 'boundary')
+    ..aI(3, _omitFieldNames ? '' : 'depth', fieldType: $pb.PbFieldType.OU3)
+    ..aOS(4, _omitFieldNames ? '' : 'packId')
+    ..a<$fixnum.Int64>(5, _omitFieldNames ? '' : 'offset', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
+    ..aI(6, _omitFieldNames ? '' : 'windowChunks',
+        fieldType: $pb.PbFieldType.OU3)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LiveHistoryRequest clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LiveHistoryRequest copyWith(void Function(LiveHistoryRequest) updates) =>
+      super.copyWith((message) => updates(message as LiveHistoryRequest))
+          as LiveHistoryRequest;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static LiveHistoryRequest create() => LiveHistoryRequest._();
+  @$core.override
+  LiveHistoryRequest createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static LiveHistoryRequest getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<LiveHistoryRequest>(create);
+  static LiveHistoryRequest? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.String get requestId => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set requestId($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasRequestId() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearRequestId() => $_clearField(1);
+
+  @$pb.TagNumber(2)
+  $core.String get boundary => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set boundary($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasBoundary() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearBoundary() => $_clearField(2);
+
+  @$pb.TagNumber(3)
+  $core.int get depth => $_getIZ(2);
+  @$pb.TagNumber(3)
+  set depth($core.int value) => $_setUnsignedInt32(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasDepth() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearDepth() => $_clearField(3);
+
+  @$pb.TagNumber(4)
+  $core.String get packId => $_getSZ(3);
+  @$pb.TagNumber(4)
+  set packId($core.String value) => $_setString(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasPackId() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearPackId() => $_clearField(4);
+
+  @$pb.TagNumber(5)
+  $fixnum.Int64 get offset => $_getI64(4);
+  @$pb.TagNumber(5)
+  set offset($fixnum.Int64 value) => $_setInt64(4, value);
+  @$pb.TagNumber(5)
+  $core.bool hasOffset() => $_has(4);
+  @$pb.TagNumber(5)
+  void clearOffset() => $_clearField(5);
+
+  @$pb.TagNumber(6)
+  $core.int get windowChunks => $_getIZ(5);
+  @$pb.TagNumber(6)
+  set windowChunks($core.int value) => $_setUnsignedInt32(5, value);
+  @$pb.TagNumber(6)
+  $core.bool hasWindowChunks() => $_has(5);
+  @$pb.TagNumber(6)
+  void clearWindowChunks() => $_clearField(6);
+}
+
+/// An independent ref (refs/nomos/placement) at `want`, with its (small) history; or, for the
+/// settled-letter outcome namespace (refs/nomos/effect-outcomes/), the parentless commits `wants`.
+class LiveRefRequest extends $pb.GeneratedMessage {
+  factory LiveRefRequest({
+    $core.String? requestId,
+    $core.String? reference,
+    $core.String? want,
+    $core.Iterable<$core.String>? wants,
+  }) {
+    final result = create();
+    if (requestId != null) result.requestId = requestId;
+    if (reference != null) result.reference = reference;
+    if (want != null) result.want = want;
+    if (wants != null) result.wants.addAll(wants);
+    return result;
+  }
+
+  LiveRefRequest._();
+
+  factory LiveRefRequest.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory LiveRefRequest.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'LiveRefRequest',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'requestId')
+    ..aOS(2, _omitFieldNames ? '' : 'reference')
+    ..aOS(3, _omitFieldNames ? '' : 'want')
+    ..pPS(4, _omitFieldNames ? '' : 'wants')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LiveRefRequest clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LiveRefRequest copyWith(void Function(LiveRefRequest) updates) =>
+      super.copyWith((message) => updates(message as LiveRefRequest))
+          as LiveRefRequest;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static LiveRefRequest create() => LiveRefRequest._();
+  @$core.override
+  LiveRefRequest createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static LiveRefRequest getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<LiveRefRequest>(create);
+  static LiveRefRequest? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.String get requestId => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set requestId($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasRequestId() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearRequestId() => $_clearField(1);
+
+  @$pb.TagNumber(2)
+  $core.String get reference => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set reference($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasReference() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearReference() => $_clearField(2);
+
+  @$pb.TagNumber(3)
+  $core.String get want => $_getSZ(2);
+  @$pb.TagNumber(3)
+  set want($core.String value) => $_setString(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasWant() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearWant() => $_clearField(3);
+
+  @$pb.TagNumber(4)
+  $pb.PbList<$core.String> get wants => $_getList(3);
+}
+
+/// A pack the stream sends: a checkpoint, a history slice, a ref, settled-letter outcomes, or a batch
+/// of the offers after a copy's head (`request_id` "level:<base>", `base` the head it continues): the
+/// sealed offers as the commits the peer admitted them in, so the copy's kernel adopts exactly those
+/// commits on the same parent and verifies them by hash.
+class LivePack extends $pb.GeneratedMessage {
+  factory LivePack({
+    $core.String? requestId,
+    $core.String? reference,
+    $core.String? head,
+    $core.List<$core.int>? pack,
+    $core.Iterable<$core.String>? shallow,
+    $core.String? base,
+    $core.int? offers,
+    $core.String? sealed,
+  }) {
+    final result = create();
+    if (requestId != null) result.requestId = requestId;
+    if (reference != null) result.reference = reference;
+    if (head != null) result.head = head;
+    if (pack != null) result.pack = pack;
+    if (shallow != null) result.shallow.addAll(shallow);
+    if (base != null) result.base = base;
+    if (offers != null) result.offers = offers;
+    if (sealed != null) result.sealed = sealed;
+    return result;
+  }
+
+  LivePack._();
+
+  factory LivePack.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory LivePack.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'LivePack',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'requestId')
+    ..aOS(2, _omitFieldNames ? '' : 'reference')
+    ..aOS(3, _omitFieldNames ? '' : 'head')
+    ..a<$core.List<$core.int>>(
+        4, _omitFieldNames ? '' : 'pack', $pb.PbFieldType.OY)
+    ..pPS(5, _omitFieldNames ? '' : 'shallow')
+    ..aOS(6, _omitFieldNames ? '' : 'base')
+    ..aI(7, _omitFieldNames ? '' : 'offers', fieldType: $pb.PbFieldType.OU3)
+    ..aOS(8, _omitFieldNames ? '' : 'sealed')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LivePack clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LivePack copyWith(void Function(LivePack) updates) =>
+      super.copyWith((message) => updates(message as LivePack)) as LivePack;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static LivePack create() => LivePack._();
+  @$core.override
+  LivePack createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static LivePack getDefault() =>
+      _defaultInstance ??= $pb.GeneratedMessage.$_defaultFor<LivePack>(create);
+  static LivePack? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.String get requestId => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set requestId($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasRequestId() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearRequestId() => $_clearField(1);
+
+  @$pb.TagNumber(2)
+  $core.String get reference => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set reference($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasReference() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearReference() => $_clearField(2);
+
+  @$pb.TagNumber(3)
+  $core.String get head => $_getSZ(2);
+  @$pb.TagNumber(3)
+  set head($core.String value) => $_setString(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasHead() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearHead() => $_clearField(3);
+
+  @$pb.TagNumber(4)
+  $core.List<$core.int> get pack => $_getN(3);
+  @$pb.TagNumber(4)
+  set pack($core.List<$core.int> value) => $_setBytes(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasPack() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearPack() => $_clearField(4);
+
+  @$pb.TagNumber(5)
+  $pb.PbList<$core.String> get shallow => $_getList(4);
+
+  @$pb.TagNumber(6)
+  $core.String get base => $_getSZ(5);
+  @$pb.TagNumber(6)
+  set base($core.String value) => $_setString(5, value);
+  @$pb.TagNumber(6)
+  $core.bool hasBase() => $_has(5);
+  @$pb.TagNumber(6)
+  void clearBase() => $_clearField(6);
+
+  @$pb.TagNumber(7)
+  $core.int get offers => $_getIZ(6);
+  @$pb.TagNumber(7)
+  set offers($core.int value) => $_setUnsignedInt32(6, value);
+  @$pb.TagNumber(7)
+  $core.bool hasOffers() => $_has(6);
+  @$pb.TagNumber(7)
+  void clearOffers() => $_clearField(7);
+
+  /// The main the peer's custodian had made durable when it answered.
+  @$pb.TagNumber(8)
+  $core.String get sealed => $_getSZ(7);
+  @$pb.TagNumber(8)
+  set sealed($core.String value) => $_setString(7, value);
+  @$pb.TagNumber(8)
+  $core.bool hasSealed() => $_has(7);
+  @$pb.TagNumber(8)
+  void clearSealed() => $_clearField(8);
+}
+
+class LiveStreamRefusal extends $pb.GeneratedMessage {
+  factory LiveStreamRefusal({
+    $core.String? requestId,
+    $core.String? code,
+    $core.String? message,
+    $core.int? retryAfterMillis,
+  }) {
+    final result = create();
+    if (requestId != null) result.requestId = requestId;
+    if (code != null) result.code = code;
+    if (message != null) result.message = message;
+    if (retryAfterMillis != null) result.retryAfterMillis = retryAfterMillis;
+    return result;
+  }
+
+  LiveStreamRefusal._();
+
+  factory LiveStreamRefusal.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory LiveStreamRefusal.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'LiveStreamRefusal',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'requestId')
+    ..aOS(2, _omitFieldNames ? '' : 'code')
+    ..aOS(3, _omitFieldNames ? '' : 'message')
+    ..aI(4, _omitFieldNames ? '' : 'retryAfterMillis',
+        fieldType: $pb.PbFieldType.OU3)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LiveStreamRefusal clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LiveStreamRefusal copyWith(void Function(LiveStreamRefusal) updates) =>
+      super.copyWith((message) => updates(message as LiveStreamRefusal))
+          as LiveStreamRefusal;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static LiveStreamRefusal create() => LiveStreamRefusal._();
+  @$core.override
+  LiveStreamRefusal createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static LiveStreamRefusal getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<LiveStreamRefusal>(create);
+  static LiveStreamRefusal? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.String get requestId => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set requestId($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasRequestId() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearRequestId() => $_clearField(1);
+
+  @$pb.TagNumber(2)
+  $core.String get code => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set code($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasCode() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearCode() => $_clearField(2);
+
+  @$pb.TagNumber(3)
+  $core.String get message => $_getSZ(2);
+  @$pb.TagNumber(3)
+  set message($core.String value) => $_setString(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasMessage() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearMessage() => $_clearField(3);
+
+  /// The peer is opening the workspace or acquiring the history asked for: ask again after this.
+  @$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);
+}
+
+enum LiveStreamRequest_Request { frontier, checkpoint, history, ref, notSet }
+
+/// A coordinator's paper to the cloud peer that holds the workspace: serve one stream request.
+class LiveStreamRequest extends $pb.GeneratedMessage {
+  factory LiveStreamRequest({
+    LiveFrontier? frontier,
+    LiveCheckpointRequest? checkpoint,
+    LiveHistoryRequest? history,
+    LiveRefRequest? ref,
+  }) {
+    final result = create();
+    if (frontier != null) result.frontier = frontier;
+    if (checkpoint != null) result.checkpoint = checkpoint;
+    if (history != null) result.history = history;
+    if (ref != null) result.ref = ref;
+    return result;
+  }
+
+  LiveStreamRequest._();
+
+  factory LiveStreamRequest.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory LiveStreamRequest.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static const $core.Map<$core.int, LiveStreamRequest_Request>
+      _LiveStreamRequest_RequestByTag = {
+    1: LiveStreamRequest_Request.frontier,
+    2: LiveStreamRequest_Request.checkpoint,
+    3: LiveStreamRequest_Request.history,
+    4: LiveStreamRequest_Request.ref,
+    0: LiveStreamRequest_Request.notSet
+  };
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'LiveStreamRequest',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..oo(0, [1, 2, 3, 4])
+    ..aOM<LiveFrontier>(1, _omitFieldNames ? '' : 'frontier',
+        subBuilder: LiveFrontier.create)
+    ..aOM<LiveCheckpointRequest>(2, _omitFieldNames ? '' : 'checkpoint',
+        subBuilder: LiveCheckpointRequest.create)
+    ..aOM<LiveHistoryRequest>(3, _omitFieldNames ? '' : 'history',
+        subBuilder: LiveHistoryRequest.create)
+    ..aOM<LiveRefRequest>(4, _omitFieldNames ? '' : 'ref',
+        subBuilder: LiveRefRequest.create)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LiveStreamRequest clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LiveStreamRequest copyWith(void Function(LiveStreamRequest) updates) =>
+      super.copyWith((message) => updates(message as LiveStreamRequest))
+          as LiveStreamRequest;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static LiveStreamRequest create() => LiveStreamRequest._();
+  @$core.override
+  LiveStreamRequest createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static LiveStreamRequest getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<LiveStreamRequest>(create);
+  static LiveStreamRequest? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  @$pb.TagNumber(2)
+  @$pb.TagNumber(3)
+  @$pb.TagNumber(4)
+  LiveStreamRequest_Request whichRequest() =>
+      _LiveStreamRequest_RequestByTag[$_whichOneof(0)]!;
+  @$pb.TagNumber(1)
+  @$pb.TagNumber(2)
+  @$pb.TagNumber(3)
+  @$pb.TagNumber(4)
+  void clearRequest() => $_clearField($_whichOneof(0));
+
+  @$pb.TagNumber(1)
+  LiveFrontier get frontier => $_getN(0);
+  @$pb.TagNumber(1)
+  set frontier(LiveFrontier value) => $_setField(1, value);
+  @$pb.TagNumber(1)
+  $core.bool hasFrontier() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearFrontier() => $_clearField(1);
+  @$pb.TagNumber(1)
+  LiveFrontier ensureFrontier() => $_ensure(0);
+
+  @$pb.TagNumber(2)
+  LiveCheckpointRequest get checkpoint => $_getN(1);
+  @$pb.TagNumber(2)
+  set checkpoint(LiveCheckpointRequest value) => $_setField(2, value);
+  @$pb.TagNumber(2)
+  $core.bool hasCheckpoint() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearCheckpoint() => $_clearField(2);
+  @$pb.TagNumber(2)
+  LiveCheckpointRequest ensureCheckpoint() => $_ensure(1);
+
+  @$pb.TagNumber(3)
+  LiveHistoryRequest get history => $_getN(2);
+  @$pb.TagNumber(3)
+  set history(LiveHistoryRequest value) => $_setField(3, value);
+  @$pb.TagNumber(3)
+  $core.bool hasHistory() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearHistory() => $_clearField(3);
+  @$pb.TagNumber(3)
+  LiveHistoryRequest ensureHistory() => $_ensure(2);
+
+  @$pb.TagNumber(4)
+  LiveRefRequest get ref => $_getN(3);
+  @$pb.TagNumber(4)
+  set ref(LiveRefRequest value) => $_setField(4, value);
+  @$pb.TagNumber(4)
+  $core.bool hasRef() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearRef() => $_clearField(4);
+  @$pb.TagNumber(4)
+  LiveRefRequest ensureRef() => $_ensure(3);
+}
+
+/// The frames to send, in order, to the socket that asked.
+class LiveStreamAnswer extends $pb.GeneratedMessage {
+  factory LiveStreamAnswer({
+    $core.Iterable<LiveOfferFrame>? frames,
+  }) {
+    final result = create();
+    if (frames != null) result.frames.addAll(frames);
+    return result;
+  }
+
+  LiveStreamAnswer._();
+
+  factory LiveStreamAnswer.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory LiveStreamAnswer.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'LiveStreamAnswer',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..pPM<LiveOfferFrame>(1, _omitFieldNames ? '' : 'frames',
+        subBuilder: LiveOfferFrame.create)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LiveStreamAnswer clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  LiveStreamAnswer copyWith(void Function(LiveStreamAnswer) updates) =>
+      super.copyWith((message) => updates(message as LiveStreamAnswer))
+          as LiveStreamAnswer;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static LiveStreamAnswer create() => LiveStreamAnswer._();
+  @$core.override
+  LiveStreamAnswer createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static LiveStreamAnswer getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<LiveStreamAnswer>(create);
+  static LiveStreamAnswer? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $pb.PbList<LiveOfferFrame> get frames => $_getList(0);
+}
+
+enum PeerStreamEffect_Request { checkpoint, history, ref, level, notSet }
+
+/// Inside a device's Peer Office only (architecture/peer_catchup.md): a procedure's request of its
+/// workspace's stream. The office serves it over the workspace's live socket and answers the
+/// procedure itself; a shell never performs it and refuses one it is handed.
+class PeerStreamEffect extends $pb.GeneratedMessage {
+  factory PeerStreamEffect({
+    $core.String? effectId,
+    $core.String? workspace,
+    LiveCheckpointRequest? checkpoint,
+    LiveHistoryRequest? history,
+    LiveRefRequest? ref,
+    LiveFrontier? level,
+    $core.bool? startOnly,
+    $core.String? upstream,
+    $core.String? credentialCapability,
+  }) {
+    final result = create();
+    if (effectId != null) result.effectId = effectId;
+    if (workspace != null) result.workspace = workspace;
+    if (checkpoint != null) result.checkpoint = checkpoint;
+    if (history != null) result.history = history;
+    if (ref != null) result.ref = ref;
+    if (level != null) result.level = level;
+    if (startOnly != null) result.startOnly = startOnly;
+    if (upstream != null) result.upstream = upstream;
+    if (credentialCapability != null)
+      result.credentialCapability = credentialCapability;
+    return result;
+  }
+
+  PeerStreamEffect._();
+
+  factory PeerStreamEffect.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory PeerStreamEffect.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static const $core.Map<$core.int, PeerStreamEffect_Request>
+      _PeerStreamEffect_RequestByTag = {
+    3: PeerStreamEffect_Request.checkpoint,
+    4: PeerStreamEffect_Request.history,
+    5: PeerStreamEffect_Request.ref,
+    6: PeerStreamEffect_Request.level,
+    0: PeerStreamEffect_Request.notSet
+  };
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'PeerStreamEffect',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..oo(0, [3, 4, 5, 6])
+    ..aOS(1, _omitFieldNames ? '' : 'effectId')
+    ..aOS(2, _omitFieldNames ? '' : 'workspace')
+    ..aOM<LiveCheckpointRequest>(3, _omitFieldNames ? '' : 'checkpoint',
+        subBuilder: LiveCheckpointRequest.create)
+    ..aOM<LiveHistoryRequest>(4, _omitFieldNames ? '' : 'history',
+        subBuilder: LiveHistoryRequest.create)
+    ..aOM<LiveRefRequest>(5, _omitFieldNames ? '' : 'ref',
+        subBuilder: LiveRefRequest.create)
+    ..aOM<LiveFrontier>(6, _omitFieldNames ? '' : 'level',
+        subBuilder: LiveFrontier.create)
+    ..aOB(7, _omitFieldNames ? '' : 'startOnly')
+    ..aOS(8, _omitFieldNames ? '' : 'upstream')
+    ..aOS(9, _omitFieldNames ? '' : 'credentialCapability')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  PeerStreamEffect clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  PeerStreamEffect copyWith(void Function(PeerStreamEffect) updates) =>
+      super.copyWith((message) => updates(message as PeerStreamEffect))
+          as PeerStreamEffect;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static PeerStreamEffect create() => PeerStreamEffect._();
+  @$core.override
+  PeerStreamEffect createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static PeerStreamEffect getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<PeerStreamEffect>(create);
+  static PeerStreamEffect? _defaultInstance;
+
+  @$pb.TagNumber(3)
+  @$pb.TagNumber(4)
+  @$pb.TagNumber(5)
+  @$pb.TagNumber(6)
+  PeerStreamEffect_Request whichRequest() =>
+      _PeerStreamEffect_RequestByTag[$_whichOneof(0)]!;
+  @$pb.TagNumber(3)
+  @$pb.TagNumber(4)
+  @$pb.TagNumber(5)
+  @$pb.TagNumber(6)
+  void clearRequest() => $_clearField($_whichOneof(0));
+
+  @$pb.TagNumber(1)
+  $core.String get effectId => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set effectId($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasEffectId() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearEffectId() => $_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)
+  LiveCheckpointRequest get checkpoint => $_getN(2);
+  @$pb.TagNumber(3)
+  set checkpoint(LiveCheckpointRequest value) => $_setField(3, value);
+  @$pb.TagNumber(3)
+  $core.bool hasCheckpoint() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearCheckpoint() => $_clearField(3);
+  @$pb.TagNumber(3)
+  LiveCheckpointRequest ensureCheckpoint() => $_ensure(2);
+
+  @$pb.TagNumber(4)
+  LiveHistoryRequest get history => $_getN(3);
+  @$pb.TagNumber(4)
+  set history(LiveHistoryRequest value) => $_setField(4, value);
+  @$pb.TagNumber(4)
+  $core.bool hasHistory() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearHistory() => $_clearField(4);
+  @$pb.TagNumber(4)
+  LiveHistoryRequest ensureHistory() => $_ensure(3);
+
+  @$pb.TagNumber(5)
+  LiveRefRequest get ref => $_getN(4);
+  @$pb.TagNumber(5)
+  set ref(LiveRefRequest value) => $_setField(5, value);
+  @$pb.TagNumber(5)
+  $core.bool hasRef() => $_has(4);
+  @$pb.TagNumber(5)
+  void clearRef() => $_clearField(5);
+  @$pb.TagNumber(5)
+  LiveRefRequest ensureRef() => $_ensure(4);
+
+  /// Bring this copy level with the peer's main over the socket: batches of offers after its head,
+  /// or (with `remount_after_offers`, from a copy holding no work above its bookmark) a checkpoint
+  /// to remount when it is further behind than that.
+  @$pb.TagNumber(6)
+  LiveFrontier get level => $_getN(5);
+  @$pb.TagNumber(6)
+  set level(LiveFrontier value) => $_setField(6, value);
+  @$pb.TagNumber(6)
+  $core.bool hasLevel() => $_has(5);
+  @$pb.TagNumber(6)
+  void clearLevel() => $_clearField(6);
+  @$pb.TagNumber(6)
+  LiveFrontier ensureLevel() => $_ensure(5);
+
+  /// Only start the ask and answer at once (an empty receipt): the procedure does other work (its
+  /// law products) while the stream delivers, then asks again without `start_only` to wait for it.
+  @$pb.TagNumber(7)
+  $core.bool get startOnly => $_getBF(6);
+  @$pb.TagNumber(7)
+  set startOnly($core.bool value) => $_setBool(6, value);
+  @$pb.TagNumber(7)
+  $core.bool hasStartOnly() => $_has(6);
+  @$pb.TagNumber(7)
+  void clearStartOnly() => $_clearField(7);
+
+  /// Where the workspace is followed from (its custodian's workspace URL) and the credential the
+  /// stream presents, for a workspace this copy streams without a follow of its own (a prerequisite).
+  @$pb.TagNumber(8)
+  $core.String get upstream => $_getSZ(7);
+  @$pb.TagNumber(8)
+  set upstream($core.String value) => $_setString(7, value);
+  @$pb.TagNumber(8)
+  $core.bool hasUpstream() => $_has(7);
+  @$pb.TagNumber(8)
+  void clearUpstream() => $_clearField(8);
+
+  @$pb.TagNumber(9)
+  $core.String get credentialCapability => $_getSZ(8);
+  @$pb.TagNumber(9)
+  set credentialCapability($core.String value) => $_setString(8, value);
+  @$pb.TagNumber(9)
+  $core.bool hasCredentialCapability() => $_has(8);
+  @$pb.TagNumber(9)
+  void clearCredentialCapability() => $_clearField(9);
+}
+
+enum PeerStreamReceipt_Outcome { pack, level, refusal, notSet }
+
+class PeerStreamReceipt extends $pb.GeneratedMessage {
+  factory PeerStreamReceipt({
+    LivePack? pack,
+    $core.String? level,
+    LiveStreamRefusal? refusal,
+    $core.Iterable<RetainedRef>? outcomes,
+    $fixnum.Int64? receivedBytes,
+    $core.String? sealed,
+    $core.String? stagedPackFile,
+    $core.String? main,
+  }) {
+    final result = create();
+    if (pack != null) result.pack = pack;
+    if (level != null) result.level = level;
+    if (refusal != null) result.refusal = refusal;
+    if (outcomes != null) result.outcomes.addAll(outcomes);
+    if (receivedBytes != null) result.receivedBytes = receivedBytes;
+    if (sealed != null) result.sealed = sealed;
+    if (stagedPackFile != null) result.stagedPackFile = stagedPackFile;
+    if (main != null) result.main = main;
+    return result;
+  }
+
+  PeerStreamReceipt._();
+
+  factory PeerStreamReceipt.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory PeerStreamReceipt.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static const $core.Map<$core.int, PeerStreamReceipt_Outcome>
+      _PeerStreamReceipt_OutcomeByTag = {
+    1: PeerStreamReceipt_Outcome.pack,
+    2: PeerStreamReceipt_Outcome.level,
+    3: PeerStreamReceipt_Outcome.refusal,
+    0: PeerStreamReceipt_Outcome.notSet
+  };
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'PeerStreamReceipt',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..oo(0, [1, 2, 3])
+    ..aOM<LivePack>(1, _omitFieldNames ? '' : 'pack',
+        subBuilder: LivePack.create)
+    ..aOS(2, _omitFieldNames ? '' : 'level')
+    ..aOM<LiveStreamRefusal>(3, _omitFieldNames ? '' : 'refusal',
+        subBuilder: LiveStreamRefusal.create)
+    ..pPM<RetainedRef>(4, _omitFieldNames ? '' : 'outcomes',
+        subBuilder: RetainedRef.create)
+    ..a<$fixnum.Int64>(
+        5, _omitFieldNames ? '' : 'receivedBytes', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
+    ..aOS(6, _omitFieldNames ? '' : 'sealed')
+    ..aOS(7, _omitFieldNames ? '' : 'stagedPackFile')
+    ..aOS(8, _omitFieldNames ? '' : 'main')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  PeerStreamReceipt clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  PeerStreamReceipt copyWith(void Function(PeerStreamReceipt) updates) =>
+      super.copyWith((message) => updates(message as PeerStreamReceipt))
+          as PeerStreamReceipt;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static PeerStreamReceipt create() => PeerStreamReceipt._();
+  @$core.override
+  PeerStreamReceipt createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static PeerStreamReceipt getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<PeerStreamReceipt>(create);
+  static PeerStreamReceipt? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  @$pb.TagNumber(2)
+  @$pb.TagNumber(3)
+  PeerStreamReceipt_Outcome whichOutcome() =>
+      _PeerStreamReceipt_OutcomeByTag[$_whichOneof(0)]!;
+  @$pb.TagNumber(1)
+  @$pb.TagNumber(2)
+  @$pb.TagNumber(3)
+  void clearOutcome() => $_clearField($_whichOneof(0));
+
+  /// A complete, verified checkpoint, or the pack a history/ref request asked for.
+  @$pb.TagNumber(1)
+  LivePack get pack => $_getN(0);
+  @$pb.TagNumber(1)
+  set pack(LivePack value) => $_setField(1, value);
+  @$pb.TagNumber(1)
+  $core.bool hasPack() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearPack() => $_clearField(1);
+  @$pb.TagNumber(1)
+  LivePack ensurePack() => $_ensure(0);
+
+  /// The stream brought this copy's main to the peer's announced main.
+  @$pb.TagNumber(2)
+  $core.String get level => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set level($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasLevel() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearLevel() => $_clearField(2);
+
+  @$pb.TagNumber(3)
+  LiveStreamRefusal get refusal => $_getN(2);
+  @$pb.TagNumber(3)
+  set refusal(LiveStreamRefusal value) => $_setField(3, value);
+  @$pb.TagNumber(3)
+  $core.bool hasRefusal() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearRefusal() => $_clearField(3);
+  @$pb.TagNumber(3)
+  LiveStreamRefusal ensureRefusal() => $_ensure(2);
+
+  /// The checkpoint's outcome refs, present with a checkpoint pack.
+  @$pb.TagNumber(4)
+  $pb.PbList<RetainedRef> get outcomes => $_getList(3);
+
+  @$pb.TagNumber(5)
+  $fixnum.Int64 get receivedBytes => $_getI64(4);
+  @$pb.TagNumber(5)
+  set receivedBytes($fixnum.Int64 value) => $_setInt64(4, value);
+  @$pb.TagNumber(5)
+  $core.bool hasReceivedBytes() => $_has(4);
+  @$pb.TagNumber(5)
+  void clearReceivedBytes() => $_clearField(5);
+
+  /// The peer's durable main as it last said (a copy bookmarks only a durable head).
+  @$pb.TagNumber(6)
+  $core.String get sealed => $_getSZ(5);
+  @$pb.TagNumber(6)
+  set sealed($core.String value) => $_setString(5, value);
+  @$pb.TagNumber(6)
+  $core.bool hasSealed() => $_has(5);
+  @$pb.TagNumber(6)
+  void clearSealed() => $_clearField(6);
+
+  /// The pack's bytes are a file in the kernel's filesystem (the transfer landed there chunk by chunk);
+  /// the pack field is then empty and the import names this file.
+  @$pb.TagNumber(7)
+  $core.String get stagedPackFile => $_getSZ(6);
+  @$pb.TagNumber(7)
+  set stagedPackFile($core.String value) => $_setString(6, value);
+  @$pb.TagNumber(7)
+  $core.bool hasStagedPackFile() => $_has(6);
+  @$pb.TagNumber(7)
+  void clearStagedPackFile() => $_clearField(7);
+
+  /// With a checkpoint: the peer's main when it offered it (the copy levels to it after mounting).
+  @$pb.TagNumber(8)
+  $core.String get main => $_getSZ(7);
+  @$pb.TagNumber(8)
+  set main($core.String value) => $_setString(7, value);
+  @$pb.TagNumber(8)
+  $core.bool hasMain() => $_has(7);
+  @$pb.TagNumber(8)
+  void clearMain() => $_clearField(8);
+}
+
+enum PeerSocketEffect_Operation { openUrl, send, close, notSet }
+
+/// Runtime-owned socket lifecycle; shells only operate the identified socket.
+class PeerSocketEffect extends $pb.GeneratedMessage {
+  factory PeerSocketEffect({
+    $core.String? connectionId,
+    $core.String? openUrl,
+    $core.List<$core.int>? send,
+    $core.bool? close,
+  }) {
+    final result = create();
+    if (connectionId != null) result.connectionId = connectionId;
+    if (openUrl != null) result.openUrl = openUrl;
+    if (send != null) result.send = send;
+    if (close != null) result.close = close;
+    return result;
+  }
+
+  PeerSocketEffect._();
+
+  factory PeerSocketEffect.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory PeerSocketEffect.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static const $core.Map<$core.int, PeerSocketEffect_Operation>
+      _PeerSocketEffect_OperationByTag = {
+    2: PeerSocketEffect_Operation.openUrl,
+    3: PeerSocketEffect_Operation.send,
+    4: PeerSocketEffect_Operation.close,
+    0: PeerSocketEffect_Operation.notSet
+  };
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'PeerSocketEffect',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..oo(0, [2, 3, 4])
+    ..aOS(1, _omitFieldNames ? '' : 'connectionId')
+    ..aOS(2, _omitFieldNames ? '' : 'openUrl')
+    ..a<$core.List<$core.int>>(
+        3, _omitFieldNames ? '' : 'send', $pb.PbFieldType.OY)
+    ..aOB(4, _omitFieldNames ? '' : 'close')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  PeerSocketEffect clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  PeerSocketEffect copyWith(void Function(PeerSocketEffect) updates) =>
+      super.copyWith((message) => updates(message as PeerSocketEffect))
+          as PeerSocketEffect;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static PeerSocketEffect create() => PeerSocketEffect._();
+  @$core.override
+  PeerSocketEffect createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static PeerSocketEffect getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<PeerSocketEffect>(create);
+  static PeerSocketEffect? _defaultInstance;
+
+  @$pb.TagNumber(2)
+  @$pb.TagNumber(3)
+  @$pb.TagNumber(4)
+  PeerSocketEffect_Operation whichOperation() =>
+      _PeerSocketEffect_OperationByTag[$_whichOneof(0)]!;
+  @$pb.TagNumber(2)
+  @$pb.TagNumber(3)
+  @$pb.TagNumber(4)
+  void clearOperation() => $_clearField($_whichOneof(0));
+
+  @$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 openUrl => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set openUrl($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasOpenUrl() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearOpenUrl() => $_clearField(2);
+
+  @$pb.TagNumber(3)
+  $core.List<$core.int> get send => $_getN(2);
+  @$pb.TagNumber(3)
+  set send($core.List<$core.int> value) => $_setBytes(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasSend() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearSend() => $_clearField(3);
+
+  @$pb.TagNumber(4)
+  $core.bool get close => $_getBF(3);
+  @$pb.TagNumber(4)
+  set close($core.bool value) => $_setBool(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasClose() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearClose() => $_clearField(4);
+}
+
+enum PeerSocketReceipt_Observation { opened, received, closed, closure, notSet }
+
+class PeerSocketReceipt extends $pb.GeneratedMessage {
+  factory PeerSocketReceipt({
+    $core.String? connectionId,
+    $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;
+  }
+
+  PeerSocketReceipt._();
+
+  factory PeerSocketReceipt.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory PeerSocketReceipt.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static const $core.Map<$core.int, PeerSocketReceipt_Observation>
+      _PeerSocketReceipt_ObservationByTag = {
+    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(
+      _omitMessageNames ? '' : 'PeerSocketReceipt',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..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.')
+  PeerSocketReceipt clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  PeerSocketReceipt copyWith(void Function(PeerSocketReceipt) updates) =>
+      super.copyWith((message) => updates(message as PeerSocketReceipt))
+          as PeerSocketReceipt;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static PeerSocketReceipt create() => PeerSocketReceipt._();
+  @$core.override
+  PeerSocketReceipt createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static PeerSocketReceipt getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<PeerSocketReceipt>(create);
+  static PeerSocketReceipt? _defaultInstance;
 
   @$pb.TagNumber(2)
   @$pb.TagNumber(3)
@@ -10429,6 +12060,160 @@ class OutboxTargetCount extends $pb.GeneratedMessage {
   void clearEntries() => $_clearField(2);
 }
 
+/// Every ref the remote advertises below `prefix`, each an independent history of its own (never
+/// below `reference`'s shallow boundary). The shell fetches, without depth and without negotiation,
+/// the advertised objects not in `held`, at most `limit` of them per fetch (0: no limit).
+class PeerGitRefsAlongside extends $pb.GeneratedMessage {
+  factory PeerGitRefsAlongside({
+    $core.String? prefix,
+    $core.Iterable<$core.String>? held,
+    $core.int? limit,
+  }) {
+    final result = create();
+    if (prefix != null) result.prefix = prefix;
+    if (held != null) result.held.addAll(held);
+    if (limit != null) result.limit = limit;
+    return result;
+  }
+
+  PeerGitRefsAlongside._();
+
+  factory PeerGitRefsAlongside.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory PeerGitRefsAlongside.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'PeerGitRefsAlongside',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'prefix')
+    ..pPS(2, _omitFieldNames ? '' : 'held')
+    ..aI(3, _omitFieldNames ? '' : 'limit', fieldType: $pb.PbFieldType.OU3)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  PeerGitRefsAlongside clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  PeerGitRefsAlongside copyWith(void Function(PeerGitRefsAlongside) updates) =>
+      super.copyWith((message) => updates(message as PeerGitRefsAlongside))
+          as PeerGitRefsAlongside;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static PeerGitRefsAlongside create() => PeerGitRefsAlongside._();
+  @$core.override
+  PeerGitRefsAlongside createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static PeerGitRefsAlongside getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<PeerGitRefsAlongside>(create);
+  static PeerGitRefsAlongside? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.String get prefix => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set prefix($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasPrefix() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearPrefix() => $_clearField(1);
+
+  @$pb.TagNumber(2)
+  $pb.PbList<$core.String> get held => $_getList(1);
+
+  @$pb.TagNumber(3)
+  $core.int get limit => $_getIZ(2);
+  @$pb.TagNumber(3)
+  set limit($core.int value) => $_setUnsignedInt32(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasLimit() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearLimit() => $_clearField(3);
+}
+
+/// The advertised refs below the prefix whose objects the peer holds once `pack` is imported: every
+/// one already `held`, and every one this pack carries. The Peer Office chooses which to write.
+class PeerGitRefsFetched extends $pb.GeneratedMessage {
+  factory PeerGitRefsFetched({
+    $core.Iterable<RetainedRef>? refs,
+    $core.List<$core.int>? pack,
+    $core.int? deferred,
+  }) {
+    final result = create();
+    if (refs != null) result.refs.addAll(refs);
+    if (pack != null) result.pack = pack;
+    if (deferred != null) result.deferred = deferred;
+    return result;
+  }
+
+  PeerGitRefsFetched._();
+
+  factory PeerGitRefsFetched.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory PeerGitRefsFetched.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'PeerGitRefsFetched',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..pPM<RetainedRef>(1, _omitFieldNames ? '' : 'refs',
+        subBuilder: RetainedRef.create)
+    ..a<$core.List<$core.int>>(
+        2, _omitFieldNames ? '' : 'pack', $pb.PbFieldType.OY)
+    ..aI(3, _omitFieldNames ? '' : 'deferred', fieldType: $pb.PbFieldType.OU3)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  PeerGitRefsFetched clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  PeerGitRefsFetched copyWith(void Function(PeerGitRefsFetched) updates) =>
+      super.copyWith((message) => updates(message as PeerGitRefsFetched))
+          as PeerGitRefsFetched;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static PeerGitRefsFetched create() => PeerGitRefsFetched._();
+  @$core.override
+  PeerGitRefsFetched createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static PeerGitRefsFetched getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<PeerGitRefsFetched>(create);
+  static PeerGitRefsFetched? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $pb.PbList<RetainedRef> get refs => $_getList(0);
+
+  @$pb.TagNumber(2)
+  $core.List<$core.int> get pack => $_getN(1);
+  @$pb.TagNumber(2)
+  set pack($core.List<$core.int> value) => $_setBytes(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasPack() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearPack() => $_clearField(2);
+
+  /// Advertised refs below the prefix that this fetch left for a later one (the `limit`).
+  @$pb.TagNumber(3)
+  $core.int get deferred => $_getIZ(2);
+  @$pb.TagNumber(3)
+  set deferred($core.int value) => $_setUnsignedInt32(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasDeferred() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearDeferred() => $_clearField(3);
+}
+
 const $core.bool _omitFieldNames =
     $core.bool.fromEnvironment('protobuf.omit_field_names');
 const $core.bool _omitMessageNames =