@githolon/runtime 0.110.0 → 0.110.1

package/dist/RUNTIME-SOURCES.sha256

@@ -85,6 +85,7 @@
 45e0c35b4e8b0c1f606ca98a827d5ba041716ef346c5ba77a5c3303a5399b7ff  adapter/proto/nomos/runtime/v2/observability_desk_pb.js
 463a7041ce45ddd801fc0e0981bb11658b76bb44caad19d2971d73d7700d739b  node_modules/@bufbuild/protobuf/dist/esm/wire/text-encoding.js
 46ce19f00a64198852937f4a982c59a5d237aeab590255873e131f2f0468e98e  peer-office/src/runtime/workspace_opening.ts
+46df6f8f4bd0288fed37e8393805df8542556ae7ad663dcef492406000963a63  peer-office/package/package.json
 475e62094c73367833cec6253c5834a887cae9bcfa43a691a9fe3b7495c19106  node_modules/@bufbuild/protobuf/dist/esm/unknown-enum.js
 48b8a92448c21da157755c24058a1522d62389815254bd43858e27fc200cc793  peer-office/src/runtime/retention_observer.ts
 497ee51559f8769c47defb7679dd516b5736c22c433bc857a19e8ccd9593c842  node_modules/is-unsafe/src/contexts/xml.js
@@ -93,7 +94,6 @@
 4de8a60302e6ab22ef5607ee88ab6dd6559221fb8620780fb874a1dcf3000d06  node_modules/is-unsafe/src/contexts/sql.js
 4f177e43f1ac36dc25b2b6a44970c97918091416bd15722b65ac938256bda687  node_modules/fast-xml-parser/src/xmlparser/OptionsBuilder.js
 4f7192626ff16f10e8845dccfce280cfde437dd6faa78d62700e3b21d589ca97  peer-office/src/reception/extremum_read.ts
-4f72a4a85c36309d7d40c387ac6e177ac3f72a7f1227a1a6b92a587dbba1169c  peer-office/src/runtime/replica_follow_controller.ts
 4ff429ac40686adccd2a9ad77e9d12402da95e5396971a9df6e0f3cfa23ff3e7  platform-shells/node/certification_seal.ts
 501bf6549e9c44a4dbdea0f7a89d567c9b7e7db145b25ec7c8a38e2b4b7a87f2  adapter/custody_retention_refs.ts
 50e504430270aecdea3794d30f17911099946f38eee258b5837967cb989abd93  node_modules/@bufbuild/protobuf/dist/esm/codegenv2/enum.js
@@ -124,7 +124,6 @@
 6eb1b52bfa2c7eb3e36b6817973defd7be18dbc7ce4b56ca576b1222dd5df4d7  node_modules/fast-xml-parser/src/xmlparser/DocTypeReader.js
 6ec9654705968f0c75cb0b184d4bb6629a932c05e3d27d603eb42a3cb9447f6f  node_modules/@bufbuild/protobuf/dist/esm/reflect/error.js
 6fc7191c83f8c3318f656463bab0700d9585aa42a7285c364ee73c9829b488d5  peer-office/src/runtime/live_correspondence_desk.ts
-709b5a7e68558438cdf1e4d11ea458b360e6190572c42219c5b9165533d4fb78  peer-office/src/runtime/workspace_sync.ts
 70f2527a9fde5075b760e0f2b36c5aced16a44d7ba3767f6f00b249fd81e91ec  peer-office/src/runtime/kernel_port.ts
 711039a2d590af0e112a32c7bc50eb77e5fac6336e56e8eb01cc74df23a2cd44  adapter/git_custody_desk.ts
 71de64c0b205eed7bcbbe11bd937a363c83cb5ab8e9977c4bb4b73b3c5353cf3  peer-office/src/runtime/placement_discovery_desk.ts
@@ -134,7 +133,6 @@
 72f4dbde9d104ea96276198f8fab8b32e1a296d7ae57b74f8f175472627c2546  peer-office/src/runtime/custody_return_delta.ts
 73e489001027c703bc0224ae73f78ecefe028e88284bd06952e8603c3d81472c  node_modules/@bufbuild/protobuf/dist/esm/wkt/gen/google/protobuf/api_pb.js
 74b1e9405ec5b38e957cf85fb9f73885ab485db853a8b0f95200afa42c5921f8  peer-office/src/runtime/model_adoption_desk.ts
-74f630102656bb2cb326296d4a19343ad5fdfa7949696be26110f318abf7b2ff  peer-office/package/package.json
 75ba818bf766331dc4abe3c488f65562968684934b57eb21e6e777c358c561ae  peer-office/package/src/remote_reception.ts
 77a917d8c6427a9b7d819d4941ec6aeecc079ccb9b1a05c0dc1190680b589f78  platform-shells/node/stdio/entry.ts
 799c15bd106543d60c5422eeda102396a055397f20866c27504598b68d1d288d  node_modules/@bufbuild/protobuf/dist/esm/wire/binary-encoding.js
@@ -176,13 +174,13 @@
 96ec5d127a4e8cd77bdc678422f0d57c8ff9e37bcec999983da71a7b72ce9a0e  node_modules/@nodable/entities/src/entities.js
 98f5abf9a7fb522aab513ef3831dd9c5837cebcb38a960cb546ffd084926d746  node_modules/@bufbuild/protobuf/dist/esm/wkt/gen/google/protobuf/empty_pb.js
 98f70a85fe9d2578c977bbf26927910479cef472100b5ed7bebd4c390e79213c  peer-office/src/runtime/workspace_access_desk.ts
-99be7abab3e81c69c2c2919768779742f2ba5ec07befa4abf18a2907fa1c3d0a  peer-office/src/runtime/custody_offer.ts
 99ce0b71dc7acc73e48634ff609eeb3620cf24b524e89835e804d37fb6b51b2c  adapter/offer_transport_contract.ts
 9a3d4c2296b0139778c8f61319349eac6dc0cdb723688f41ebf3c135dca85702  peer-office/src/runtime/history_acquisition_state.ts
 9b1e46d587a9ad5d1531a5755ba4feccd2878de77749edce8a0086db3eb2217d  peer-office/src/runtime/admission_durability_desk.ts
 9c4c967ea6c149011acb8aabfbadb73651f84d572335c48391d627e5283c0cd0  node_modules/@bufbuild/protobuf/dist/esm/fields.js
 9e1bf39540fd14df32aa2307c44dd4d93a40a6024199f334ccf3db001f44a7f6  peer-office/src/runtime/local_copy_readability.ts
 9e82e1fc1bfd3e3573f64349dc42b4b624ed61d24e5c553f2bb4d041444f166c  node_modules/@bjorn3/browser_wasi_shim/dist/fd.js
+9efa0e5824cc0370ea3596b30cd57ea860df0bae95a0caccbbfe97d845a7a09b  peer-office/src/runtime/custody_offer.ts
 9f7a3b2bb0e2a2da849fd9101228bd9c9682b39d667e20900dd172d954b1a548  peer-office/src/runtime/observability_desk.ts
 a0eca2694871be026546039e99a71291822d01ba81943d44e69a14b2d766fd1a  peer-office/src/runtime/custody_desk.ts
 a0fcc6110f1154fd197a8ce056e2008dbc7d1750f8dd3ba77c3910af928ed3a1  node_modules/uri-js/dist/es5/uri.all.js
@@ -199,6 +197,7 @@ aa6349944f16d71986273ecfc8e552bfece3d61d5641e526c0ceabf3f154fdaf  peer-office/sr
 ab43714f566a6ccd988cc3a30810d857552dbd14d0f060934907fb4bba1000f0  peer-office/package/src/admission_decision.ts
 ab80eeeafd4d89a5daaf5d2e00fb471cc6b53fa90776750ca3ad82df482d7c3f  peer-office/src/runtime/peer_lifecycle.ts
 ad3de46df125304b2a61c2fa5537b0e519635997d99686a76119b38cf260963f  adapter/proto/nomos/runtime/v2/identity_desk_pb.js
+aeb94bc5762080dca498fcbdfa5c347525dceb1f3748db82106b479c5d23d931  peer-office/src/runtime/workspace_sync.ts
 afde3ddb29cc6ee2c48b30043feca4ea14b5690035aa134b08b4df83558faa7c  platform-shells/shared/system_observation_clock.ts
 b09ee99807e1edeb746b4a4a1e41519edaff1fed9f71a170bc15e8835af93e25  node_modules/@bufbuild/protobuf/dist/esm/wkt/gen/google/protobuf/timestamp_pb.js
 b178d69931fdb285d0cd3bae0343a0fd0c80eed27e90d07992153927f9bcc8c3  peer-office/src/runtime/frame_runner.ts
@@ -258,6 +257,7 @@ dd9f3f24fb154cfbfbde94e8f2647647c80c8ca050b98e981a407e760a4b9c1e  node_modules/@
 deaa25227d669aa3fbe99174275588dcc175de648ae6623fddf11d6ae69d7f67  platform-shells/node/local-development/peer_process.ts
 e20a132033f105a29db1cfdb3d85bbadbb7206b9a7e3336bcb030a63d66b4ab2  node_modules/is-unsafe/src/contexts/nosql.js
 e2133d7e0f0ce5491a3e9bd560e9e47db2243a6a9f762be89c82e027d99d278e  peer-office/src/runtime/credential_sessions.ts
+e24433e22af52db25858865dfff3c6ed1e6932f3257ae242a795acbedda70303  peer-office/src/runtime/replica_follow_controller.ts
 e2d341fc536c47a45d2e45fc1df232094b4afe67281b92eae91ed9b7698c32ff  platform-shells/browser/entry.ts
 e34016b82b6f6e4c4a1cc2dd44ccd14a348e8156a1f6c5aeeb2c7fc36a15b8f9  adapter/proto/nomos/kernel/v1/kernel_pb.js
 e34016b82b6f6e4c4a1cc2dd44ccd14a348e8156a1f6c5aeeb2c7fc36a15b8f9  peer-office/package/src/protocol/nomos/kernel/v1/kernel_pb.js

package/dist/nomos-native-runtime.js

@@ -14173,6 +14173,15 @@ var NomosRuntimeComponent = (() => {
       }
       if (result.stillAhead || result.pushFailed || result.directOfferDeferred || result.reconnectRequired) {
         if (result.directOfferDeferred) {
+          if (!result.reconnectRequired) {
+            this.#desk.transition(result.workspace, {
+              case: ReplicaFollowEventKind.Failed,
+              nowUnixMillis,
+              failure: "remote workspace opening; retrying",
+              retryWithinMillis: 5e3
+            });
+            return delayUntilDue(this.#desk.get(result.workspace), nowUnixMillis);
+          }
           this.#desk.transition(result.workspace, {
             case: ReplicaFollowEventKind.DependencyDeferred,
             nowUnixMillis,
@@ -16051,6 +16060,34 @@ var NomosRuntimeComponent = (() => {
   // ../src/runtime/custody_offer.ts
   var CUSTODY_OFFER_MEDIA_TYPE = "application/vnd.nomos.custody-offer-batch+protobuf";
   var CUSTODY_OFFER_RESULT_MEDIA_TYPE = "application/vnd.nomos.custody-offer-result+protobuf";
+  function settleCustodyOfferExchange(awaiting, response) {
+    if (response.status === 202 && response.contentType?.includes("application/json")) {
+      try {
+        const pending = JSON.parse(new TextDecoder().decode(response.body));
+        if (pending?.retryable === true && typeof pending.preparing === "string") {
+          return { case: "maintenance", kind: pending.preparing };
+        }
+      } catch {
+      }
+    }
+    if (!response.contentType?.includes(CUSTODY_OFFER_RESULT_MEDIA_TYPE)) {
+      return {
+        case: "unexpected",
+        status: response.status,
+        ...response.contentType === void 0 ? {} : { contentType: response.contentType }
+      };
+    }
+    const verdict = decodeCustodyOffer(response.body, awaiting.requestId);
+    const receipt = custodyOfferReceipt(awaiting.requestId, verdict);
+    switch (verdict.case) {
+      case "admission":
+        return { case: "admission", value: verdict.value, receipt, status: response.status };
+      case "failure":
+        return { case: "failure", value: verdict.value, receipt, status: response.status };
+      case "blocked":
+        return { case: "blocked", value: verdict.value, receipt, status: response.status };
+    }
+  }
   function encodeInlineCustodyOffer(args) {
     return toBinary(CustodyOfferBatchRequestSchema, create(CustodyOfferBatchRequestSchema, {
       protocolVersion: 2,
@@ -16177,6 +16214,7 @@ var NomosRuntimeComponent = (() => {
   var PLACEMENT_REF3 = "refs/nomos/placement";
   var LAW_PRODUCTS_MEDIA_TYPE = "application/vnd.nomos.export-law-products-response+protobuf";
   var WorkspaceSyncPhase = Object.freeze({
+    Idle: "idle",
     Probe: "probe",
     Offer: "offer",
     Lease: "lease",
@@ -16210,7 +16248,6 @@ var NomosRuntimeComponent = (() => {
     #rediscover;
     /** The route the directory's answer yields, recomputed once that answer is observed. */
     #reroute;
-    #placementFetch;
     #discoveredFrontier;
     #observePlacement;
     /** Ask the directory for the provider's current placement frontier this round although a
@@ -16219,19 +16256,14 @@ var NomosRuntimeComponent = (() => {
     #directoryAnswered;
     #placementFetched;
     /** A round which converged without leasing, finishing once placement alone is fetched. */
-    #afterPlacement;
     #leased = false;
-    #lease;
     #command;
     #requestId;
     #started;
-    #phase = WorkspaceSyncPhase.Lease;
+    #state = { phase: WorkspaceSyncPhase.Idle };
     #localHead;
     #offerHead;
     #previousHead;
-    #fetchStarted;
-    #offerStarted;
-    #offerRequestId;
     #pushMillis = 0;
     #pushBytes = 0n;
     #desiredHead;
@@ -16326,7 +16358,7 @@ var NomosRuntimeComponent = (() => {
         throw new Error(`replica '${this.#binding.replicaId}' has no custody remote`);
       }
       if (this.#rediscover || this.#recheckPlacement || !this.#route?.placementObserved && !this.#route?.placementFrontier && !this.#kernel.resolveRef(this.#mount, this.#requestId, PLACEMENT_REF3)) {
-        this.#phase = WorkspaceSyncPhase.Discover;
+        this.#state = { phase: WorkspaceSyncPhase.Discover };
         return this.#remember({
           case: "pending",
           value: create(CorrespondencePendingSchema, {
@@ -16346,13 +16378,13 @@ var NomosRuntimeComponent = (() => {
     #openRound() {
       if (this.#receiveState || this.#replaceLocalHead !== void 0) return this.#leaseEffect();
       if (!this.#localHead) return this.#leaseEffect();
-      this.#offerRequestId = `${this.#binding.replicaId}:${this.#requestId}:${this.workId}:frontier`;
+      const requestId = `${this.#binding.replicaId}:${this.#requestId}:${this.workId}:frontier`;
       return this.#beginOffer(encodeInlineCustodyOffer({
         session: this.#binding.replicaId,
-        requestId: this.#offerRequestId,
+        requestId,
         observedHead: this.#localHead,
         intents: []
-      }), true);
+      }), { case: "awaiting", requestId }, true);
     }
     #offerOrReconcile() {
       if (this.#command.admit && this.#localHead && this.#localHead !== this.#previousHead) {
@@ -16373,13 +16405,13 @@ var NomosRuntimeComponent = (() => {
           throw new Error(`kernel did not classify transport for intent '${unspecified.intentId}'`);
         }
         if (suffix.length > 0) {
-          this.#offerStarted = this.#clock.monotonicNanoseconds();
-          this.#offerRequestId = `${this.#binding.replicaId}:${this.#requestId}:${this.workId}`;
+          const requestId2 = `${this.#binding.replicaId}:${this.#requestId}:${this.workId}`;
+          const startedAt = this.#clock.monotonicNanoseconds();
           this.#offerAfterConverge = true;
           this.#rebaseFrom = this.#previousHead;
           return this.#beginOffer(encodeInlineCustodyOffer({
             session: this.#binding.replicaId,
-            requestId: this.#offerRequestId,
+            requestId: requestId2,
             ...this.#previousHead === void 0 ? {} : { baseHead: this.#previousHead },
             observedHead: this.#localHead,
             intents: suffix,
@@ -16390,17 +16422,17 @@ var NomosRuntimeComponent = (() => {
               this.#previousHead
             ) : void 0,
             fastForwardOnly: true
-          }));
+          }), { case: "awaiting", requestId: requestId2, startedAt });
         }
       }
-      this.#offerRequestId = `${this.#binding.replicaId}:${this.#requestId}:${this.workId}:reconcile`;
+      const requestId = `${this.#binding.replicaId}:${this.#requestId}:${this.workId}:reconcile`;
       return this.#beginOffer(encodeInlineCustodyOffer({
         session: this.#binding.replicaId,
-        requestId: this.#offerRequestId,
+        requestId,
         baseHead: this.#previousHead,
         observedHead: this.#localHead,
         intents: []
-      }));
+      }), { case: "awaiting", requestId });
     }
     /**
      * NO COMMON BASE — a round that cannot converge, and must not pay for history to find out.
@@ -16476,18 +16508,18 @@ var NomosRuntimeComponent = (() => {
     #pullBeforeOffer() {
       this.#offerAfterConverge = true;
       this.#rebaseFrom = this.#previousHead;
-      this.#offerRequestId = `${this.#binding.replicaId}:${this.#requestId}:${this.workId}:pull-${this.#rebases}`;
+      const requestId = `${this.#binding.replicaId}:${this.#requestId}:${this.workId}:pull-${this.#rebases}`;
       return this.#beginOffer(encodeInlineCustodyOffer({
         session: this.#binding.replicaId,
-        requestId: this.#offerRequestId,
+        requestId,
         ...this.#previousHead === void 0 ? {} : { baseHead: this.#previousHead },
         observedHead: this.#localHead,
         intents: []
-      }));
+      }), { case: "awaiting", requestId });
     }
-    #leaseEffect() {
+    #leaseEffect(afterPlacement) {
       const token = this.#authToken();
-      this.#phase = WorkspaceSyncPhase.Lease;
+      this.#state = { phase: WorkspaceSyncPhase.Lease, ...afterPlacement ? { afterPlacement } : {} };
       return this.#remember({
         case: "pending",
         value: create(CorrespondencePendingSchema, {
@@ -16516,35 +16548,38 @@ var NomosRuntimeComponent = (() => {
           `workspace sync '${this.workId}' expected effect '${expected}', received '${receipt.effectId}'`
         );
       }
+      const state = this.#state;
       const previousReceipt = this.#lastReceiptEffectId;
       this.#lastReceiptEffectId = receipt.effectId;
       try {
         if (receipt.outcome.case === "failure") {
-          if (this.#phase === WorkspaceSyncPhase.Discover) return this.#openRound();
+          if (state.phase === WorkspaceSyncPhase.Discover) return this.#openRound();
           return this.#transportFailure(
             receipt.outcome.value.message,
             receipt.outcome.value.reason === PeerEffectFailureReason.OFFLINE
           );
         }
-        if (this.#phase === WorkspaceSyncPhase.Offer || this.#phase === WorkspaceSyncPhase.Probe) return this.#acceptOffer(receipt);
-        if (this.#phase === WorkspaceSyncPhase.Lease) return this.#acceptLease(receipt);
-        if (this.#phase === WorkspaceSyncPhase.Discover) return this.#acceptDiscovery(receipt);
-        if (this.#phase === WorkspaceSyncPhase.Placement) {
-          if (!this.#placementFetch || !this.#lease) throw new Error("placement transfer lost its lease");
-          this.#placementFetch.accept(receipt);
+        if (state.phase === WorkspaceSyncPhase.Offer || state.phase === WorkspaceSyncPhase.Probe) {
+          return this.#acceptOffer(receipt, state);
+        }
+        if (state.phase === WorkspaceSyncPhase.Lease) return this.#acceptLease(receipt, state);
+        if (state.phase === WorkspaceSyncPhase.Discover) return this.#acceptDiscovery(receipt);
+        if (state.phase === WorkspaceSyncPhase.Placement) {
+          state.transfer.accept(receipt);
           this.#placementFetched?.();
-          if (this.#afterPlacement) return this.#finish(this.#afterPlacement);
-          return this.#beginMainFetch(this.#lease);
+          if (state.afterPlacement) return this.#finish(state.afterPlacement);
+          return this.#beginMainFetch(state.lease);
         }
-        if (this.#phase === WorkspaceSyncPhase.Fetch) return this.#acceptFetch(receipt);
+        if (state.phase === WorkspaceSyncPhase.Fetch) return this.#acceptFetch(receipt, state);
         throw new Error(`workspace sync '${this.workId}' is already complete`);
       } catch (error) {
         this.#lastReceiptEffectId = previousReceipt;
         throw error;
       }
     }
-    #beginOffer(body, probe = false) {
-      this.#phase = probe ? WorkspaceSyncPhase.Probe : WorkspaceSyncPhase.Offer;
+    #beginOffer(body, exchange, probe = false) {
+      const phase = probe ? WorkspaceSyncPhase.Probe : WorkspaceSyncPhase.Offer;
+      this.#state = { phase, exchange };
       const token = this.#authToken();
       this.#pushBytes += BigInt(body.byteLength);
       return this.#remember({
@@ -16554,7 +16589,7 @@ var NomosRuntimeComponent = (() => {
           effect: {
             case: "http",
             value: create(PeerHttpEffectSchema, {
-              effectId: `${this.workId}:${this.#phase}`,
+              effectId: `${this.workId}:${phase}`,
               method: PeerHttpMethod.POST,
               url: this.#offerEndpoint(),
               contentType: CUSTODY_OFFER_MEDIA_TYPE,
@@ -16571,28 +16606,30 @@ var NomosRuntimeComponent = (() => {
         })
       });
     }
-    #acceptOffer(receipt) {
-      this.#pushMillis = this.#offerStarted === void 0 ? 0 : elapsedMillis(this.#clock, this.#offerStarted);
+    #acceptOffer(receipt, state) {
+      const exchange = state.exchange;
+      this.#pushMillis = exchange.startedAt === void 0 ? 0 : elapsedMillis(this.#clock, exchange.startedAt);
       if (receipt.outcome.case !== "response") {
         throw new Error("platform returned the wrong receipt for a custody offer");
       }
-      const response = receipt.outcome.value;
-      if (!response.contentType?.includes(CUSTODY_OFFER_RESULT_MEDIA_TYPE)) {
+      const outcome = settleCustodyOfferExchange(exchange, receipt.outcome.value);
+      if (outcome.case === "maintenance") {
+        return this.#finishOfferOutcome(true, false);
+      }
+      if (outcome.case === "unexpected") {
         this.#pushError = create(RuntimeTransportFailureSchema, {
           endpoint: this.#offerEndpoint(),
-          status: response.status,
+          status: outcome.status,
           refused: false,
-          message: `Sync received an unexpected server response (HTTP ${response.status}; ${response.contentType || "no content type"}). No custody receipt was returned.`
+          message: `Sync received an unexpected server response (HTTP ${outcome.status}; ${outcome.contentType || "no content type"}). No custody receipt was returned.`
         });
         return this.#finishOfferOutcome(false);
       }
-      if (!this.#offerRequestId) throw new Error("custody offer has no request identity");
-      const outcome = decodeCustodyOffer(response.body, this.#offerRequestId);
-      this.#offerReceipt = custodyOfferReceipt(this.#offerRequestId, outcome);
+      this.#offerReceipt = outcome.receipt;
       if (outcome.case === "failure") {
         this.#pushError = create(RuntimeTransportFailureSchema, {
           endpoint: this.#offerEndpoint(),
-          status: response.status,
+          status: outcome.status,
           refused: false,
           message: `${outcome.value.code}: ${outcome.value.message}`
         });
@@ -16601,12 +16638,12 @@ var NomosRuntimeComponent = (() => {
       if (outcome.case === "blocked") {
         return this.#finishOfferOutcome(true);
       }
-      if (response.status < 200 || response.status >= 300) {
+      if (outcome.status < 200 || outcome.status >= 300) {
         this.#pushError = create(RuntimeTransportFailureSchema, {
           endpoint: this.#offerEndpoint(),
-          status: response.status,
-          refused: response.status === 422,
-          message: `custody offer returned an admission verdict with HTTP ${response.status}`
+          status: outcome.status,
+          refused: outcome.status === 422,
+          message: `custody offer returned an admission verdict with HTTP ${outcome.status}`
         });
         return this.#finishOfferOutcome(false);
       }
@@ -16614,7 +16651,7 @@ var NomosRuntimeComponent = (() => {
       this.#desiredHead = admission.main || void 0;
       if (!this.#desiredHead) return this.#transportFailure("resident peer returned no admitted frontier", false);
       this.#candidateDurable = admission.sealedMain === this.#desiredHead;
-      if (this.#phase === WorkspaceSyncPhase.Probe && this.#desiredHead !== this.#localHead) {
+      if (state.phase === WorkspaceSyncPhase.Probe && this.#desiredHead !== this.#localHead) {
         if (!this.#establishBase(this.#desiredHead)) return this.#noCommonBaseResult();
         if (this.#alreadyJudged(this.#desiredHead)) {
           return this.#finish(create(SyncWorkspaceResponseSchema, {
@@ -16676,7 +16713,7 @@ var NomosRuntimeComponent = (() => {
       if (admission.recoveryRequired !== false) return this.#leaseEffect();
       return this.#transportFailure("resident peer supplied neither the missing delta nor a history gap", false);
     }
-    #acceptLease(receipt) {
+    #acceptLease(receipt, state) {
       if (receipt.outcome.case !== "response") {
         throw new Error("platform returned the wrong receipt for a Git read lease");
       }
@@ -16692,21 +16729,25 @@ var NomosRuntimeComponent = (() => {
       this.#leased = true;
       const frontier = this.#placementFrontier();
       if (frontier) {
-        this.#placementFetch = new PlacementFetch(
+        const transfer = new PlacementFetch(
           this.#kernel,
           this.#mount,
           this.#requestId,
           this.workId,
           frontier
         );
-        const pending = this.#placementFetch.start(lease);
+        const pending = transfer.start(lease);
         if (pending) {
-          this.#phase = WorkspaceSyncPhase.Placement;
-          this.#lease = lease;
+          this.#state = {
+            phase: WorkspaceSyncPhase.Placement,
+            transfer,
+            lease,
+            ...state.afterPlacement ? { afterPlacement: state.afterPlacement } : {}
+          };
           return this.#remember({ case: "pending", value: pending });
         }
       }
-      if (this.#afterPlacement) return this.#finish(this.#afterPlacement);
+      if (state.afterPlacement) return this.#finish(state.afterPlacement);
       return this.#beginMainFetch(lease);
     }
     /** The provider's placement frontier as this round knows it: what the directory named in this
@@ -16726,8 +16767,7 @@ var NomosRuntimeComponent = (() => {
       if (!new PlacementFetch(this.#kernel, this.#mount, this.#requestId, this.workId, frontier).wanted()) {
         return void 0;
       }
-      this.#afterPlacement = presented;
-      return this.#leaseEffect();
+      return this.#leaseEffect(presented);
     }
     #acceptDiscovery(receipt) {
       this.#directoryAnswered?.();
@@ -16751,9 +16791,11 @@ var NomosRuntimeComponent = (() => {
       return this.#replaceLocalHead !== void 0 || this.#localHead === void 0 && this.#previousHead === void 0;
     }
     #beginMainFetch(lease) {
-      this.#phase = WorkspaceSyncPhase.Fetch;
       const lawProducts = this.#lawProductsAlongside();
-      this.#fetchStarted = this.#clock.monotonicNanoseconds();
+      this.#state = {
+        phase: WorkspaceSyncPhase.Fetch,
+        startedAt: this.#clock.monotonicNanoseconds()
+      };
       const haves = this.#replaceLocalHead !== void 0 ? this.#repairMissingCommit ? [] : [this.#kernel.resolveRef(this.#mount, this.#requestId, deferredRemote)].filter(
         (head) => !!head
       ) : [...new Set([
@@ -16784,7 +16826,7 @@ var NomosRuntimeComponent = (() => {
         })
       });
     }
-    #acceptFetch(receipt) {
+    #acceptFetch(receipt, state) {
       if (receipt.outcome.case !== "gitFetch") {
         throw new Error("platform returned the wrong receipt for a Git object fetch");
       }
@@ -16794,7 +16836,7 @@ var NomosRuntimeComponent = (() => {
       if (fetched.pack.byteLength > 0) {
         this.#kernel.applyPack(this.#mount, this.#requestId, fetched.pack, fetched.head, fetched.shallow);
       }
-      const prefetchMillis = this.#fetchStarted === void 0 ? 0 : elapsedMillis(this.#clock, this.#fetchStarted);
+      const prefetchMillis = elapsedMillis(this.#clock, state.startedAt);
       const candidateHead = this.#receiveState ? this.#kernel.resolveStatePosition?.(this.#mount, this.#requestId, fetched.head, this.#receiveState) : fetched.head;
       if (!candidateHead) {
         return this.#finish(create(SyncWorkspaceResponseSchema, {
@@ -17145,11 +17187,11 @@ var NomosRuntimeComponent = (() => {
           pushBytes: this.#pushBytes,
           pullBytes: BigInt(receivedBytes),
           serverMillis: this.#admissionSummary?.serverMillis ?? 0,
-          offerInPush: this.#offerRequestId !== void 0
+          offerInPush: this.#pushBytes > 0n
         })
       });
     }
-    #finishOfferOutcome(blocked) {
+    #finishOfferOutcome(blocked, reconnectRequired = true) {
       return this.#finish(create(SyncWorkspaceResponseSchema, {
         workspace: this.#mount.workspace,
         previousHead: this.#previousHead,
@@ -17157,7 +17199,7 @@ var NomosRuntimeComponent = (() => {
         admitted: BigInt(this.#admissionSummary?.admittedIntentIds.length ?? 0),
         refused: BigInt((this.#admissionSummary?.refusedMessages.length ?? 0) + this.#parkedLocal),
         deferred: BigInt(this.#admissionSummary ? this.#admissionSummary.blockedMessages.length + this.#admissionSummary.deadLetteredMessages.length + this.#admissionSummary.quarantinedMessages.length + this.#admissionSummary.deferredMessages.length : blocked ? 1 : 0),
-        reconnectRequired: true,
+        reconnectRequired,
         stillAhead: this.#localHead !== this.#previousHead,
         directOfferDeferred: blocked,
         offerReceipt: this.#offerReceipt,
@@ -17171,15 +17213,16 @@ var NomosRuntimeComponent = (() => {
       }));
     }
     #transportFailure(message, offline, status = -1) {
-      const pushFailed = this.#phase === WorkspaceSyncPhase.Offer;
+      const state = this.#state;
+      const pushFailed = state.phase === WorkspaceSyncPhase.Offer;
       const failedEndpoint = this.#offerEndpoint();
       const failure = create(RuntimeTransportFailureSchema, {
         endpoint: pushFailed ? failedEndpoint : this.#binding.cloud ?? "",
         status,
         message
       });
-      if (pushFailed) {
-        this.#pushMillis = this.#offerStarted === void 0 ? 0 : elapsedMillis(this.#clock, this.#offerStarted);
+      if (state.phase === WorkspaceSyncPhase.Offer) {
+        this.#pushMillis = state.exchange.startedAt === void 0 ? 0 : elapsedMillis(this.#clock, state.exchange.startedAt);
         this.#pushError = failure;
       }
       return this.#finish(create(SyncWorkspaceResponseSchema, {
@@ -17196,7 +17239,7 @@ var NomosRuntimeComponent = (() => {
           pushMillis: this.#pushMillis,
           pushBytes: this.#pushBytes,
           prefetchMillis: elapsedMillis(this.#clock, this.#started),
-          offerInPush: this.#offerRequestId !== void 0
+          offerInPush: this.#pushBytes > 0n
         })
       }));
     }
@@ -17206,7 +17249,7 @@ var NomosRuntimeComponent = (() => {
       return step;
     }
     #finish(value) {
-      this.#phase = WorkspaceSyncPhase.Done;
+      this.#state = { phase: WorkspaceSyncPhase.Done };
       this.#current = void 0;
       return this.#remember({ case: "synced", value });
     }