@githolon/runtime 0.110.1 → 0.111.0

package/dist/RUNTIME-SOURCES.sha256

@@ -34,6 +34,7 @@
 1963a804a9cfe7d44a76b2c476817639b939d7e93828da865cab40fe9ba536fa  adapter/custody-transport.ts
 1a5d9fd32360e2cec4adbee9e56221fb26def66bb9d122e0b5745cebc963d92e  node_modules/xml-naming/src/index.js
 1b27a1f4d58d6314cd4887d0f47493d1a98fc474e3364388f321c3aeb94a8ac3  adapter/workspace_effect_outcome.ts
+1b8eea8acf14374c28330cb21eea0e14f151fffb7c678f8e4a7f34722dc2eb22  peer-office/src/runtime/workspace_sync.ts
 1c0bba78daf8c28ac51f35d60b2b2fbca9c57bc7bcdb05a05a1f15a2ca657164  peer-office/src/reception/application_readiness_transport.ts
 1c364712aa61711ce0e654ed81e26fe821e8f7b6dac9c31fe6d49fc184dbacd2  node_modules/@bufbuild/protobuf/dist/esm/wire/size-delimited.js
 1d1f03bc86ea3788b57b43c7720de2c41a7b133d852262a7615b3b152777cdef  node_modules/@bufbuild/protobuf/dist/esm/reflect/nested-types.js
@@ -66,6 +67,7 @@
 33917d22c20458fce8ef7e3a4fca8f51af8ace4508e6a435870b3ad61ea2eab4  peer-office/src/git_read_lease.ts
 33e7d6bdd22396057d3f8db92384079f7ec2fda4b3582709de2d43fccacc4a9c  node_modules/@bufbuild/protobuf/dist/esm/codegenv2/extension.js
 34f8712de2bd30a2cb8366d8cfdcde466d979f1a28ac0d78f7547341b01f6c57  adapter/proto/nomos/kernel/v1/progress_pb.js
+357485877b38fa0a70a2741a46f49f57c784300a53d7301b140cb3aded6e46b5  peer-office/package/package.json
 3a90933569db7e42ec2ed3b77509c29d1ab75f6eb078f53fe5d1ac6d239d231e  peer-office/src/runtime/peer_background_scheduler.ts
 3c092b8d4185badd23ecf4552434d05aa541b0cd0d534781d687db55260d5da8  adapter/proto/nomos/runtime/v2/sealing_desk_pb.js
 3c98fa838c05abcfd8dfda1128f2d1fca9b196a371fe9751abbd8f4c3b9d04ec  node_modules/@bufbuild/protobuf/dist/esm/wkt/timestamp.js
@@ -85,7 +87,6 @@
 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
@@ -101,7 +102,6 @@
 513a0ca639e4d5cbb6ecce90f9668ab63f5e8ce4df2468b1ad439112b903ef0a  platform-shells/node/local-development/kernel_work_recovery.ts
 519afa7759c5cce91b66cd6b1444014ead77df1f691d0eee356b14206d32d59e  peer-office/src/runtime/workspace_call_binding.ts
 5295c7fdcb8d70cadc057dcd7b1efda4535dfae93f1a601b304245fdf8adb5ab  peer-office/src/peer_office.ts
-5521fba42530e15bdba2f5a67e7e3c03d0e753c6d70c8834071a6b8832fda007  peer-office/src/runtime/correspondence_desk.ts
 56e2ac380c2d9be43647d88928727c17df70a3e734834a5be62c8bcb18616738  adapter/proto/nomos/runtime/v2/custody_desk_pb.js
 57677b7b20768a3bd6eb50fdff229852be7f9978e5988924d2c935ba934366d4  adapter/proto/nomos/discovery/v1/workspace_placement_pb.js
 587bee5d27b6dbc99d24f472ea93028659610c3496be7d667e72483483c3f3ba  node_modules/fast-xml-parser/src/fxp.js
@@ -170,6 +170,7 @@
 94a3cef0f355a9a177661748d24faae32206a5cc382c8601a34dcf005340107b  node_modules/fast-xml-parser/src/xmlparser/OrderedObjParser.js
 95ad7c933403a0c8f7fd3e2df6c4df3008c29911d3d5db063a90460a14144da2  peer-office/src/runtime/records_desk.ts
 95dbcb2580ed30cb11222c773163c6a906a7e363c5ec4263bd39c1f3a7a16cc2  node_modules/@bufbuild/protobuf/dist/esm/from-json.js
+9633e84964edf9d8e2f719766c002cabe341e5e805e729ae7ea8fa9ec4c95410  peer-office/src/runtime/correspondence_desk.ts
 96cb2eb563ccb18dc23fd9f8fb0f65193a1b90f39758a561eed747368ead00b3  node_modules/@bufbuild/protobuf/dist/esm/wkt/index.js
 96ec5d127a4e8cd77bdc678422f0d57c8ff9e37bcec999983da71a7b72ce9a0e  node_modules/@nodable/entities/src/entities.js
 98f5abf9a7fb522aab513ef3831dd9c5837cebcb38a960cb546ffd084926d746  node_modules/@bufbuild/protobuf/dist/esm/wkt/gen/google/protobuf/empty_pb.js
@@ -197,7 +198,6 @@ 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

package/dist/nomos-native-runtime.js

@@ -16224,7 +16224,6 @@ var NomosRuntimeComponent = (() => {
     Done: "done"
   });
   var trackedMain = "refs/remotes/nomos/main";
-  var NO_COMMON_BASE = "this replica holds local history with no frontier its upstream ever confirmed; convergence needs a common admitted base \u2014 drop the local copy to refetch it, or re-discover a provider holding this lineage";
   var deferredRemote = "refs/remotes/nomos/deferred";
   var deferredLocal = "refs/nomos/sync-deferred-local";
   var judgedThisLifetime = /* @__PURE__ */ new Map();
@@ -16435,38 +16434,13 @@ var NomosRuntimeComponent = (() => {
       }), { case: "awaiting", requestId });
     }
     /**
-     * NO COMMON BASE — a round that cannot converge, and must not pay for history to find out.
-     *
-     * This replica holds a non-empty ledger but has never recorded a frontier its upstream
-     * confirmed (`refs/remotes/nomos/main` is absent). The kernel refuses convergence in that
-     * state ("a non-empty live ledger requires a common admitted base"), so every step after the
-     * O(1) frontier probe is wasted work — and it is not cheap waste: the fetch negotiates with
-     * no `have` (a full-history pack), and the dependency planner decodes EVERY intent from
-     * genesis and inspects every change, once per round. That is O(history) per follow round,
-     * repeated at every retry, for a round that can only end in a refusal.
-     *
-     * The one base this round can establish costs nothing and is established before this is
-     * asked: an upstream holding exactly this replica's head (the probe's answer) converges it
-     * and records the tracking frontier. Anything else needs the local copy to be dropped and
-     * refetched (an application decision, which preserves the copy), or a re-discovery that
-     * names a provider holding this lineage. Both are reported, at O(1), as this failure.
-     */
-    /**
-     * Establish this round's base when none is tracked, without walking any history it can avoid.
-     *
-     * The upstream just named its own frontier. If that commit is in THIS replica's lineage, it is
-     * a common admitted base by definition — both sides hold it — and adopting it turns the round
-     * into an ordinary fast-forward: the offer carries only the suffix above it, the fetch can name
-     * it as a truthful `have`, and convergence has the base the kernel requires. One commit walk
-     * (no change decoding, no pack, no network) decides it.
-     *
-     * If it is not in this replica's lineage, no base exists to establish and the round is refused
-     * (#noCommonBase) before it leases, fetches or plans anything.
-     *
-     * A kernel without the commit walk cannot be asked, so it keeps the previous behaviour.
+     * Establish a cheap base when the provider's current tip is in our local chain.
+     * A negative answer means the base is unknown: both sides may have advanced from
+     * an earlier shared commit. Acquire the candidate and let the kernel discover
+     * and judge that history. A tracking bookmark is not an admission prerequisite.
      */
     #establishBase(upstreamHead) {
-      if (!this.#noCommonBase() || !this.#kernel.historySummary) return true;
+      if (!this.#missingTrackedBase() || !this.#kernel.historySummary) return true;
       const summary = this.#kernel.historySummary(this.#mount, this.#requestId, upstreamHead, this.#localHead);
       if (!summary.reachedBase) return false;
       this.#previousHead = upstreamHead;
@@ -16481,26 +16455,9 @@ var NomosRuntimeComponent = (() => {
     get establishedBase() {
       return this.#establishedBase;
     }
-    #noCommonBase() {
+    #missingTrackedBase() {
       return this.#previousHead === void 0 && this.#localHead !== void 0 && this.#replaceLocalHead === void 0;
     }
-    #noCommonBaseResult() {
-      return this.#finish(create(SyncWorkspaceResponseSchema, {
-        workspace: this.#mount.workspace,
-        ...this.#localHead === void 0 ? {} : { currentHead: this.#localHead },
-        stillAhead: true,
-        ...this.#offerReceipt === void 0 ? {} : { offerReceipt: this.#offerReceipt },
-        pushError: create(RuntimeTransportFailureSchema, {
-          endpoint: this.#offerEndpoint(),
-          status: 409,
-          refused: true,
-          message: NO_COMMON_BASE
-        }),
-        timings: create(SyncPhaseTimingsSchema, {
-          convergeMillis: elapsedMillis(this.#clock, this.#started)
-        })
-      }));
-    }
     #holdsLocalWork() {
       return this.#command.admit && !!this.#localHead && this.#localHead !== this.#previousHead;
     }
@@ -16652,7 +16609,6 @@ var NomosRuntimeComponent = (() => {
       if (!this.#desiredHead) return this.#transportFailure("resident peer returned no admitted frontier", false);
       this.#candidateDurable = admission.sealedMain === this.#desiredHead;
       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, {
             workspace: this.#mount.workspace,
@@ -16664,6 +16620,22 @@ var NomosRuntimeComponent = (() => {
             offerReceipt: this.#offerReceipt
           }));
         }
+        if (!this.#establishBase(this.#desiredHead)) {
+          this.#offerAfterConverge = this.#command.admit;
+          this.#rebaseFrom = void 0;
+          return this.#leaseEffect();
+        }
+        if (this.#establishedBase && !this.#candidateDurable && this.#kernel.resolveRef(this.#mount, this.#requestId, trackedMain) === void 0) {
+          return this.#finish(create(SyncWorkspaceResponseSchema, {
+            workspace: this.#mount.workspace,
+            currentHead: this.#localHead,
+            previousHead: this.#previousHead,
+            stillAhead: true,
+            directOfferDeferred: true,
+            reconnectRequired: false,
+            offerReceipt: this.#offerReceipt
+          }));
+        }
         if (this.#probeOnly) {
           this.#needsReconciliation = true;
           return this.#finish(create(SyncWorkspaceResponseSchema, {
@@ -16709,7 +16681,7 @@ var NomosRuntimeComponent = (() => {
         return this.#converge(this.#desiredHead, admission.resultPack.byteLength, 0);
       }
       if (this.#desiredHead === this.#previousHead) return this.#converge(this.#desiredHead, 0, 0);
-      if (!this.#establishBase(this.#desiredHead)) return this.#noCommonBaseResult();
+      this.#establishBase(this.#desiredHead);
       if (admission.recoveryRequired !== false) return this.#leaseEffect();
       return this.#transportFailure("resident peer supplied neither the missing delta nor a history gap", false);
     }
@@ -16932,7 +16904,7 @@ var NomosRuntimeComponent = (() => {
       }
     }
     #converge(candidateHead, receivedBytes, prefetchMillis) {
-      if (!this.#establishBase(candidateHead)) return this.#noCommonBaseResult();
+      this.#establishBase(candidateHead);
       this.#beforeConverge?.(candidateHead, this.#previousHead);
       const convergeStarted = this.#clock.monotonicNanoseconds();
       let judged;
@@ -19378,13 +19350,21 @@ var NomosRuntimeComponent = (() => {
     }
     #observeSyncResult(requestId, workId2, result) {
       const timings = result.timings;
+      const receipt = result.offerReceipt?.outcome;
+      const admission = receipt?.case === "admission" ? receipt.value : void 0;
       this.#events.instant("peer.follow.sync-result", {
         request: create(RuntimeRequestSchema, { protocolVersion: 2, requestId }),
         workspace: result.workspace
       }, {
         "sync.workId": workId2,
         ...result.currentHead ? { "sync.head": result.currentHead } : {},
+        ...result.previousHead ? { "sync.previousHead": result.previousHead } : {},
+        ...admission?.main ? { "sync.providerHead": admission.main } : {},
+        ...admission?.sealedMain ? { "sync.sealedHead": admission.sealedMain } : {},
         "sync.stillAhead": result.stillAhead,
+        "sync.reconnectRequired": result.reconnectRequired,
+        "sync.refused": result.refused,
+        "sync.deferred": result.deferred,
         "sync.directOfferDeferred": result.directOfferDeferred,
         "sync.offline": result.offline,
         ...timings ? {

package/dist/nomos-runner.js

@@ -21792,7 +21792,6 @@
     Done: "done"
   });
   var trackedMain = "refs/remotes/nomos/main";
-  var NO_COMMON_BASE = "this replica holds local history with no frontier its upstream ever confirmed; convergence needs a common admitted base \u2014 drop the local copy to refetch it, or re-discover a provider holding this lineage";
   var deferredRemote = "refs/remotes/nomos/deferred";
   var deferredLocal = "refs/nomos/sync-deferred-local";
   var judgedThisLifetime = /* @__PURE__ */ new Map();
@@ -21804,7 +21803,7 @@
     const finished = clock.monotonicNanoseconds();
     return finished >= started ? Number(finished - started) / 1e6 : 0;
   };
-  var _kernel16, _credentials4, _clock13, _mount, _binding, _route2, _rediscover, _reroute, _discoveredFrontier, _observePlacement, _recheckPlacement, _directoryAnswered, _placementFetched, _leased, _command2, _requestId4, _started, _state, _localHead, _offerHead, _previousHead, _pushMillis, _pushBytes, _desiredHead, _returnedPackHead, _candidateDurable, _admissionSummary, _offerReceipt, _pushError, _current3, _lastReceiptEffectId2, _lastStep2, _probeOnly, _establishedBase, _receiveState, _completeHistory, _lawProductsImported, _shallowMounted, _fetchedLawProducts, _beforeConverge, _needsReconciliation, _offerAfterConverge, _rebaseFrom, _rebases, _parkedLocal, _replaceLocalHead, _repairMissingCommit, _WorkspaceSyncWork_instances, openRound_fn, offerOrReconcile_fn, establishBase_fn, noCommonBase_fn, noCommonBaseResult_fn, holdsLocalWork_fn, pullBeforeOffer_fn, leaseEffect_fn, beginOffer_fn, acceptOffer_fn, acceptLease_fn, placementFrontier_fn, placementOnly_fn, acceptDiscovery_fn, providerCustody_fn, beginMainFetch_fn, acceptFetch_fn, mountFetched_fn, lawProductsAlongside_fn, acceptLawProducts_fn, providerCustodyMounted_fn, importLawProducts_fn, converge_fn2, unrelatedLineageRefusal_fn, replaceLocal_fn, converged_fn, offerAfterRebase_fn, preservedCopy_fn, alreadyJudged_fn, rememberJudgment_fn, forgetJudgment_fn, present_fn, finishOfferOutcome_fn, transportFailure_fn, remember_fn4, finish_fn2, cloudBase_fn, offerEndpoint_fn, workspaceEndpoint_fn, authToken_fn;
+  var _kernel16, _credentials4, _clock13, _mount, _binding, _route2, _rediscover, _reroute, _discoveredFrontier, _observePlacement, _recheckPlacement, _directoryAnswered, _placementFetched, _leased, _command2, _requestId4, _started, _state, _localHead, _offerHead, _previousHead, _pushMillis, _pushBytes, _desiredHead, _returnedPackHead, _candidateDurable, _admissionSummary, _offerReceipt, _pushError, _current3, _lastReceiptEffectId2, _lastStep2, _probeOnly, _establishedBase, _receiveState, _completeHistory, _lawProductsImported, _shallowMounted, _fetchedLawProducts, _beforeConverge, _needsReconciliation, _offerAfterConverge, _rebaseFrom, _rebases, _parkedLocal, _replaceLocalHead, _repairMissingCommit, _WorkspaceSyncWork_instances, openRound_fn, offerOrReconcile_fn, establishBase_fn, missingTrackedBase_fn, holdsLocalWork_fn, pullBeforeOffer_fn, leaseEffect_fn, beginOffer_fn, acceptOffer_fn, acceptLease_fn, placementFrontier_fn, placementOnly_fn, acceptDiscovery_fn, providerCustody_fn, beginMainFetch_fn, acceptFetch_fn, mountFetched_fn, lawProductsAlongside_fn, acceptLawProducts_fn, providerCustodyMounted_fn, importLawProducts_fn, converge_fn2, unrelatedLineageRefusal_fn, replaceLocal_fn, converged_fn, offerAfterRebase_fn, preservedCopy_fn, alreadyJudged_fn, rememberJudgment_fn, forgetJudgment_fn, present_fn, finishOfferOutcome_fn, transportFailure_fn, remember_fn4, finish_fn2, cloudBase_fn, offerEndpoint_fn, workspaceEndpoint_fn, authToken_fn;
   var WorkspaceSyncWork = class {
     constructor(args) {
       __privateAdd(this, _WorkspaceSyncWork_instances);
@@ -22097,38 +22096,13 @@
     }), { case: "awaiting", requestId });
   };
   /**
-   * NO COMMON BASE — a round that cannot converge, and must not pay for history to find out.
-   *
-   * This replica holds a non-empty ledger but has never recorded a frontier its upstream
-   * confirmed (`refs/remotes/nomos/main` is absent). The kernel refuses convergence in that
-   * state ("a non-empty live ledger requires a common admitted base"), so every step after the
-   * O(1) frontier probe is wasted work — and it is not cheap waste: the fetch negotiates with
-   * no `have` (a full-history pack), and the dependency planner decodes EVERY intent from
-   * genesis and inspects every change, once per round. That is O(history) per follow round,
-   * repeated at every retry, for a round that can only end in a refusal.
-   *
-   * The one base this round can establish costs nothing and is established before this is
-   * asked: an upstream holding exactly this replica's head (the probe's answer) converges it
-   * and records the tracking frontier. Anything else needs the local copy to be dropped and
-   * refetched (an application decision, which preserves the copy), or a re-discovery that
-   * names a provider holding this lineage. Both are reported, at O(1), as this failure.
-   */
-  /**
-   * Establish this round's base when none is tracked, without walking any history it can avoid.
-   *
-   * The upstream just named its own frontier. If that commit is in THIS replica's lineage, it is
-   * a common admitted base by definition — both sides hold it — and adopting it turns the round
-   * into an ordinary fast-forward: the offer carries only the suffix above it, the fetch can name
-   * it as a truthful `have`, and convergence has the base the kernel requires. One commit walk
-   * (no change decoding, no pack, no network) decides it.
-   *
-   * If it is not in this replica's lineage, no base exists to establish and the round is refused
-   * (#noCommonBase) before it leases, fetches or plans anything.
-   *
-   * A kernel without the commit walk cannot be asked, so it keeps the previous behaviour.
+   * Establish a cheap base when the provider's current tip is in our local chain.
+   * A negative answer means the base is unknown: both sides may have advanced from
+   * an earlier shared commit. Acquire the candidate and let the kernel discover
+   * and judge that history. A tracking bookmark is not an admission prerequisite.
    */
   establishBase_fn = function(upstreamHead) {
-    if (!__privateMethod(this, _WorkspaceSyncWork_instances, noCommonBase_fn).call(this) || !__privateGet(this, _kernel16).historySummary) return true;
+    if (!__privateMethod(this, _WorkspaceSyncWork_instances, missingTrackedBase_fn).call(this) || !__privateGet(this, _kernel16).historySummary) return true;
     const summary = __privateGet(this, _kernel16).historySummary(__privateGet(this, _mount), __privateGet(this, _requestId4), upstreamHead, __privateGet(this, _localHead));
     if (!summary.reachedBase) return false;
     __privateSet(this, _previousHead, upstreamHead);
@@ -22138,26 +22112,9 @@
     }
     return true;
   };
-  noCommonBase_fn = function() {
+  missingTrackedBase_fn = function() {
     return __privateGet(this, _previousHead) === void 0 && __privateGet(this, _localHead) !== void 0 && __privateGet(this, _replaceLocalHead) === void 0;
   };
-  noCommonBaseResult_fn = function() {
-    return __privateMethod(this, _WorkspaceSyncWork_instances, finish_fn2).call(this, create(SyncWorkspaceResponseSchema, {
-      workspace: __privateGet(this, _mount).workspace,
-      ...__privateGet(this, _localHead) === void 0 ? {} : { currentHead: __privateGet(this, _localHead) },
-      stillAhead: true,
-      ...__privateGet(this, _offerReceipt) === void 0 ? {} : { offerReceipt: __privateGet(this, _offerReceipt) },
-      pushError: create(RuntimeTransportFailureSchema, {
-        endpoint: __privateMethod(this, _WorkspaceSyncWork_instances, offerEndpoint_fn).call(this),
-        status: 409,
-        refused: true,
-        message: NO_COMMON_BASE
-      }),
-      timings: create(SyncPhaseTimingsSchema, {
-        convergeMillis: elapsedMillis(__privateGet(this, _clock13), __privateGet(this, _started))
-      })
-    }));
-  };
   holdsLocalWork_fn = function() {
     return __privateGet(this, _command2).admit && !!__privateGet(this, _localHead) && __privateGet(this, _localHead) !== __privateGet(this, _previousHead);
   };
@@ -22269,7 +22226,6 @@
     if (!__privateGet(this, _desiredHead)) return __privateMethod(this, _WorkspaceSyncWork_instances, transportFailure_fn).call(this, "resident peer returned no admitted frontier", false);
     __privateSet(this, _candidateDurable, admission.sealedMain === __privateGet(this, _desiredHead));
     if (state.phase === WorkspaceSyncPhase.Probe && __privateGet(this, _desiredHead) !== __privateGet(this, _localHead)) {
-      if (!__privateMethod(this, _WorkspaceSyncWork_instances, establishBase_fn).call(this, __privateGet(this, _desiredHead))) return __privateMethod(this, _WorkspaceSyncWork_instances, noCommonBaseResult_fn).call(this);
       if (__privateMethod(this, _WorkspaceSyncWork_instances, alreadyJudged_fn).call(this, __privateGet(this, _desiredHead))) {
         return __privateMethod(this, _WorkspaceSyncWork_instances, finish_fn2).call(this, create(SyncWorkspaceResponseSchema, {
           workspace: __privateGet(this, _mount).workspace,
@@ -22281,6 +22237,22 @@
           offerReceipt: __privateGet(this, _offerReceipt)
         }));
       }
+      if (!__privateMethod(this, _WorkspaceSyncWork_instances, establishBase_fn).call(this, __privateGet(this, _desiredHead))) {
+        __privateSet(this, _offerAfterConverge, __privateGet(this, _command2).admit);
+        __privateSet(this, _rebaseFrom, void 0);
+        return __privateMethod(this, _WorkspaceSyncWork_instances, leaseEffect_fn).call(this);
+      }
+      if (__privateGet(this, _establishedBase) && !__privateGet(this, _candidateDurable) && __privateGet(this, _kernel16).resolveRef(__privateGet(this, _mount), __privateGet(this, _requestId4), trackedMain) === void 0) {
+        return __privateMethod(this, _WorkspaceSyncWork_instances, finish_fn2).call(this, create(SyncWorkspaceResponseSchema, {
+          workspace: __privateGet(this, _mount).workspace,
+          currentHead: __privateGet(this, _localHead),
+          previousHead: __privateGet(this, _previousHead),
+          stillAhead: true,
+          directOfferDeferred: true,
+          reconnectRequired: false,
+          offerReceipt: __privateGet(this, _offerReceipt)
+        }));
+      }
       if (__privateGet(this, _probeOnly)) {
         __privateSet(this, _needsReconciliation, true);
         return __privateMethod(this, _WorkspaceSyncWork_instances, finish_fn2).call(this, create(SyncWorkspaceResponseSchema, {
@@ -22326,7 +22298,7 @@
       return __privateMethod(this, _WorkspaceSyncWork_instances, converge_fn2).call(this, __privateGet(this, _desiredHead), admission.resultPack.byteLength, 0);
     }
     if (__privateGet(this, _desiredHead) === __privateGet(this, _previousHead)) return __privateMethod(this, _WorkspaceSyncWork_instances, converge_fn2).call(this, __privateGet(this, _desiredHead), 0, 0);
-    if (!__privateMethod(this, _WorkspaceSyncWork_instances, establishBase_fn).call(this, __privateGet(this, _desiredHead))) return __privateMethod(this, _WorkspaceSyncWork_instances, noCommonBaseResult_fn).call(this);
+    __privateMethod(this, _WorkspaceSyncWork_instances, establishBase_fn).call(this, __privateGet(this, _desiredHead));
     if (admission.recoveryRequired !== false) return __privateMethod(this, _WorkspaceSyncWork_instances, leaseEffect_fn).call(this);
     return __privateMethod(this, _WorkspaceSyncWork_instances, transportFailure_fn).call(this, "resident peer supplied neither the missing delta nor a history gap", false);
   };
@@ -22540,7 +22512,7 @@
   };
   converge_fn2 = function(candidateHead, receivedBytes, prefetchMillis) {
     var _a;
-    if (!__privateMethod(this, _WorkspaceSyncWork_instances, establishBase_fn).call(this, candidateHead)) return __privateMethod(this, _WorkspaceSyncWork_instances, noCommonBaseResult_fn).call(this);
+    __privateMethod(this, _WorkspaceSyncWork_instances, establishBase_fn).call(this, candidateHead);
     (_a = __privateGet(this, _beforeConverge)) == null ? void 0 : _a.call(this, candidateHead, __privateGet(this, _previousHead));
     const convergeStarted = __privateGet(this, _clock13).monotonicNanoseconds();
     let judged;
@@ -25105,13 +25077,21 @@
   };
   observeSyncResult_fn = function(requestId, workId2, result) {
     const timings = result.timings;
+    const receipt = result.offerReceipt?.outcome;
+    const admission = receipt?.case === "admission" ? receipt.value : void 0;
     __privateGet(this, _events4).instant("peer.follow.sync-result", {
       request: create(RuntimeRequestSchema, { protocolVersion: 2, requestId }),
       workspace: result.workspace
     }, {
       "sync.workId": workId2,
       ...result.currentHead ? { "sync.head": result.currentHead } : {},
+      ...result.previousHead ? { "sync.previousHead": result.previousHead } : {},
+      ...admission?.main ? { "sync.providerHead": admission.main } : {},
+      ...admission?.sealedMain ? { "sync.sealedHead": admission.sealedMain } : {},
       "sync.stillAhead": result.stillAhead,
+      "sync.reconnectRequired": result.reconnectRequired,
+      "sync.refused": result.refused,
+      "sync.deferred": result.deferred,
       "sync.directOfferDeferred": result.directOfferDeferred,
       "sync.offline": result.offline,
       ...timings ? {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@githolon/runtime",
-  "version": "0.110.1",
+  "version": "0.111.0",
   "type": "module",
   "description": "The portable Nomos application runtime, reception contracts, and Node/browser runners.",
   "license": "SEE LICENSE IN LICENSE.md",

package/runner/node-entry.mjs

@@ -23913,7 +23913,6 @@ var WorkspaceSyncPhase = Object.freeze({
   Done: "done"
 });
 var trackedMain = "refs/remotes/nomos/main";
-var NO_COMMON_BASE = "this replica holds local history with no frontier its upstream ever confirmed; convergence needs a common admitted base \u2014 drop the local copy to refetch it, or re-discover a provider holding this lineage";
 var deferredRemote = "refs/remotes/nomos/deferred";
 var deferredLocal = "refs/nomos/sync-deferred-local";
 var judgedThisLifetime = /* @__PURE__ */ new Map();
@@ -24124,38 +24123,13 @@ var WorkspaceSyncWork = class {
     }), { case: "awaiting", requestId });
   }
   /**
-   * NO COMMON BASE — a round that cannot converge, and must not pay for history to find out.
-   *
-   * This replica holds a non-empty ledger but has never recorded a frontier its upstream
-   * confirmed (`refs/remotes/nomos/main` is absent). The kernel refuses convergence in that
-   * state ("a non-empty live ledger requires a common admitted base"), so every step after the
-   * O(1) frontier probe is wasted work — and it is not cheap waste: the fetch negotiates with
-   * no `have` (a full-history pack), and the dependency planner decodes EVERY intent from
-   * genesis and inspects every change, once per round. That is O(history) per follow round,
-   * repeated at every retry, for a round that can only end in a refusal.
-   *
-   * The one base this round can establish costs nothing and is established before this is
-   * asked: an upstream holding exactly this replica's head (the probe's answer) converges it
-   * and records the tracking frontier. Anything else needs the local copy to be dropped and
-   * refetched (an application decision, which preserves the copy), or a re-discovery that
-   * names a provider holding this lineage. Both are reported, at O(1), as this failure.
-   */
-  /**
-   * Establish this round's base when none is tracked, without walking any history it can avoid.
-   *
-   * The upstream just named its own frontier. If that commit is in THIS replica's lineage, it is
-   * a common admitted base by definition — both sides hold it — and adopting it turns the round
-   * into an ordinary fast-forward: the offer carries only the suffix above it, the fetch can name
-   * it as a truthful `have`, and convergence has the base the kernel requires. One commit walk
-   * (no change decoding, no pack, no network) decides it.
-   *
-   * If it is not in this replica's lineage, no base exists to establish and the round is refused
-   * (#noCommonBase) before it leases, fetches or plans anything.
-   *
-   * A kernel without the commit walk cannot be asked, so it keeps the previous behaviour.
+   * Establish a cheap base when the provider's current tip is in our local chain.
+   * A negative answer means the base is unknown: both sides may have advanced from
+   * an earlier shared commit. Acquire the candidate and let the kernel discover
+   * and judge that history. A tracking bookmark is not an admission prerequisite.
    */
   #establishBase(upstreamHead) {
-    if (!this.#noCommonBase() || !this.#kernel.historySummary) return true;
+    if (!this.#missingTrackedBase() || !this.#kernel.historySummary) return true;
     const summary = this.#kernel.historySummary(this.#mount, this.#requestId, upstreamHead, this.#localHead);
     if (!summary.reachedBase) return false;
     this.#previousHead = upstreamHead;
@@ -24170,26 +24144,9 @@ var WorkspaceSyncWork = class {
   get establishedBase() {
     return this.#establishedBase;
   }
-  #noCommonBase() {
+  #missingTrackedBase() {
     return this.#previousHead === void 0 && this.#localHead !== void 0 && this.#replaceLocalHead === void 0;
   }
-  #noCommonBaseResult() {
-    return this.#finish(create(SyncWorkspaceResponseSchema, {
-      workspace: this.#mount.workspace,
-      ...this.#localHead === void 0 ? {} : { currentHead: this.#localHead },
-      stillAhead: true,
-      ...this.#offerReceipt === void 0 ? {} : { offerReceipt: this.#offerReceipt },
-      pushError: create(RuntimeTransportFailureSchema, {
-        endpoint: this.#offerEndpoint(),
-        status: 409,
-        refused: true,
-        message: NO_COMMON_BASE
-      }),
-      timings: create(SyncPhaseTimingsSchema, {
-        convergeMillis: elapsedMillis(this.#clock, this.#started)
-      })
-    }));
-  }
   #holdsLocalWork() {
     return this.#command.admit && !!this.#localHead && this.#localHead !== this.#previousHead;
   }
@@ -24341,7 +24298,6 @@ var WorkspaceSyncWork = class {
     if (!this.#desiredHead) return this.#transportFailure("resident peer returned no admitted frontier", false);
     this.#candidateDurable = admission.sealedMain === this.#desiredHead;
     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, {
           workspace: this.#mount.workspace,
@@ -24353,6 +24309,22 @@ var WorkspaceSyncWork = class {
           offerReceipt: this.#offerReceipt
         }));
       }
+      if (!this.#establishBase(this.#desiredHead)) {
+        this.#offerAfterConverge = this.#command.admit;
+        this.#rebaseFrom = void 0;
+        return this.#leaseEffect();
+      }
+      if (this.#establishedBase && !this.#candidateDurable && this.#kernel.resolveRef(this.#mount, this.#requestId, trackedMain) === void 0) {
+        return this.#finish(create(SyncWorkspaceResponseSchema, {
+          workspace: this.#mount.workspace,
+          currentHead: this.#localHead,
+          previousHead: this.#previousHead,
+          stillAhead: true,
+          directOfferDeferred: true,
+          reconnectRequired: false,
+          offerReceipt: this.#offerReceipt
+        }));
+      }
       if (this.#probeOnly) {
         this.#needsReconciliation = true;
         return this.#finish(create(SyncWorkspaceResponseSchema, {
@@ -24398,7 +24370,7 @@ var WorkspaceSyncWork = class {
       return this.#converge(this.#desiredHead, admission.resultPack.byteLength, 0);
     }
     if (this.#desiredHead === this.#previousHead) return this.#converge(this.#desiredHead, 0, 0);
-    if (!this.#establishBase(this.#desiredHead)) return this.#noCommonBaseResult();
+    this.#establishBase(this.#desiredHead);
     if (admission.recoveryRequired !== false) return this.#leaseEffect();
     return this.#transportFailure("resident peer supplied neither the missing delta nor a history gap", false);
   }
@@ -24621,7 +24593,7 @@ var WorkspaceSyncWork = class {
     }
   }
   #converge(candidateHead, receivedBytes, prefetchMillis) {
-    if (!this.#establishBase(candidateHead)) return this.#noCommonBaseResult();
+    this.#establishBase(candidateHead);
     this.#beforeConverge?.(candidateHead, this.#previousHead);
     const convergeStarted = this.#clock.monotonicNanoseconds();
     let judged;
@@ -27076,13 +27048,21 @@ var CorrespondenceDesk = class {
   }
   #observeSyncResult(requestId, workId2, result) {
     const timings = result.timings;
+    const receipt = result.offerReceipt?.outcome;
+    const admission = receipt?.case === "admission" ? receipt.value : void 0;
     this.#events.instant("peer.follow.sync-result", {
       request: create(RuntimeRequestSchema, { protocolVersion: 2, requestId }),
       workspace: result.workspace
     }, {
       "sync.workId": workId2,
       ...result.currentHead ? { "sync.head": result.currentHead } : {},
+      ...result.previousHead ? { "sync.previousHead": result.previousHead } : {},
+      ...admission?.main ? { "sync.providerHead": admission.main } : {},
+      ...admission?.sealedMain ? { "sync.sealedHead": admission.sealedMain } : {},
       "sync.stillAhead": result.stillAhead,
+      "sync.reconnectRequired": result.reconnectRequired,
+      "sync.refused": result.refused,
+      "sync.deferred": result.deferred,
       "sync.directOfferDeferred": result.directOfferDeferred,
       "sync.offline": result.offline,
       ...timings ? {