@peerbit/shared-log 13.2.24 → 13.2.26

package/dist/src/sync/sync-peer-state.js

@@ -0,0 +1,82 @@
+// Per-peer sync slot state shared by the simple and rateless synchronizers
+// (stage-4 sync unification). One row per peer carries the response/lookup
+// slot accounting whose release closures may settle long after the peer is
+// gone; both synchronizers use the same registry and the same
+// capture-the-row identity pattern.
+//
+// Per-field lifetime policy (review this table when adding fields):
+//
+// | field                        | created            | cleared                    |
+// |------------------------------|--------------------|----------------------------|
+// | lookups / responses / active | first slot acquire | physical release settles;  |
+// |                              |                    | row DETACH only removes    |
+// |                              |                    | current peer-generation    |
+// |                              |                    | quota (global quota stays  |
+// |                              |                    | charged until settlement)  |
+// | pendingResponseHashes        | consume accepts an | lease release settles      |
+// | (simple synchronizer only)   | authorization      | while attached; row        |
+// |                              | (custody moves     | DETACHES at peer           |
+// |                              | batch -> row)      | disconnect (budget returns |
+// |                              |                    | in aggregate)              |
+// | activeReleases               | active-response or | logical release settles    |
+// |                              | coordinate         | (self-removal); detach     |
+// |                              | dispatch starts    | invokes outstanding        |
+// |                              |                    | logical releases so        |
+// |                              |                    | retained work drains       |
+//
+// Global physical-work accounting deliberately SURVIVES both close()/open()
+// generation rotation and peer disconnect: the underlying storage resolvers
+// and transport sends are not universally abortable, so cross-generation
+// work stays charged until it settles. Disconnect only detaches the row from
+// the current peer generation and releases logical lifecycle ownership.
+//
+// Deliberately host-side this stage (stage-5 folds them into the host peer
+// sessions): dispatch epochs and dispatch-target sets (benchmark-gated hot
+// path), pending-claim rows (owned by the pending-sync record store),
+// admission per-peer indexes (owned by the record store's reservation
+// objects) and the recently-sent exchange-head dedupe rows.
+export class SyncPeerSlotRegistry {
+    rows = new Map();
+    ensure(peer) {
+        let row = this.rows.get(peer);
+        if (!row) {
+            row = {
+                peer,
+                attached: true,
+                lookups: 0,
+                responses: 0,
+                active: 0,
+                pendingResponseHashes: 0,
+                activeReleases: new Set(),
+            };
+            this.rows.set(peer, row);
+        }
+        return row;
+    }
+    // Detaches and returns the peer's row (or undefined when the peer holds no
+    // slots). The caller drops only current-generation/per-peer accounting and
+    // logical ownership. Physical release closures retain this row by identity
+    // and return global quota only when the underlying work actually settles.
+    detach(peer) {
+        const row = this.rows.get(peer);
+        if (!row) {
+            return undefined;
+        }
+        row.attached = false;
+        this.rows.delete(peer);
+        return row;
+    }
+    // Rows whose slots all settled while attached are dropped eagerly so the
+    // registry never accumulates idle peers between disconnects.
+    maybeDropIdle(row) {
+        if (row.attached &&
+            row.lookups === 0 &&
+            row.responses === 0 &&
+            row.active === 0 &&
+            row.pendingResponseHashes === 0 &&
+            row.activeReleases.size === 0) {
+            this.rows.delete(row.peer);
+        }
+    }
+}
+//# sourceMappingURL=sync-peer-state.js.map

package/dist/src/sync/sync-peer-state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync-peer-state.js","sourceRoot":"","sources":["../../../src/sync/sync-peer-state.ts"],"names":[],"mappings":"AAAA,2EAA2E;AAC3E,2EAA2E;AAC3E,2EAA2E;AAC3E,8DAA8D;AAC9D,oCAAoC;AACpC,EAAE;AACF,oEAAoE;AACpE,EAAE;AACF,qFAAqF;AACrF,qFAAqF;AACrF,qFAAqF;AACrF,qFAAqF;AACrF,qFAAqF;AACrF,qFAAqF;AACrF,qFAAqF;AACrF,qFAAqF;AACrF,qFAAqF;AACrF,qFAAqF;AACrF,qFAAqF;AACrF,qFAAqF;AACrF,qFAAqF;AACrF,qFAAqF;AACrF,qFAAqF;AACrF,qFAAqF;AACrF,qFAAqF;AACrF,EAAE;AACF,4EAA4E;AAC5E,4EAA4E;AAC5E,yEAAyE;AACzE,6EAA6E;AAC7E,wEAAwE;AACxE,EAAE;AACF,2EAA2E;AAC3E,2EAA2E;AAC3E,sEAAsE;AACtE,sEAAsE;AACtE,4DAA4D;AAsB5D,MAAM,OAAO,oBAAoB;IACvB,IAAI,GAAG,IAAI,GAAG,EAA2B,CAAC;IAEnD,MAAM,CAAC,IAAY;QAClB,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,CAAC,GAAG,EAAE,CAAC;YACV,GAAG,GAAG;gBACL,IAAI;gBACJ,QAAQ,EAAE,IAAI;gBACd,OAAO,EAAE,CAAC;gBACV,SAAS,EAAE,CAAC;gBACZ,MAAM,EAAE,CAAC;gBACT,qBAAqB,EAAE,CAAC;gBACxB,cAAc,EAAE,IAAI,GAAG,EAAE;aACzB,CAAC;YACF,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC1B,CAAC;QACD,OAAO,GAAG,CAAC;IACZ,CAAC;IAED,2EAA2E;IAC3E,2EAA2E;IAC3E,2EAA2E;IAC3E,0EAA0E;IAC1E,MAAM,CAAC,IAAY;QAClB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,CAAC,GAAG,EAAE,CAAC;YACV,OAAO,SAAS,CAAC;QAClB,CAAC;QACD,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC;QACrB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACvB,OAAO,GAAG,CAAC;IACZ,CAAC;IAED,yEAAyE;IACzE,6DAA6D;IAC7D,aAAa,CAAC,GAAoB;QACjC,IACC,GAAG,CAAC,QAAQ;YACZ,GAAG,CAAC,OAAO,KAAK,CAAC;YACjB,GAAG,CAAC,SAAS,KAAK,CAAC;YACnB,GAAG,CAAC,MAAM,KAAK,CAAC;YAChB,GAAG,CAAC,qBAAqB,KAAK,CAAC;YAC/B,GAAG,CAAC,cAAc,CAAC,IAAI,KAAK,CAAC,EAC5B,CAAC;YACF,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;IACF,CAAC;CACD"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@peerbit/shared-log",
-  "version": "13.2.24",
+  "version": "13.2.26",
   "description": "Shared log",
   "sideEffects": false,
   "type": "module",
@@ -63,35 +63,35 @@
     "pino": "^9.4.0",
     "uint8arrays": "^5.1.0",
     "@peerbit/any-store": "2.2.14",
-    "@peerbit/blocks-interface": "2.1.5",
     "@peerbit/cache": "3.1.1",
+    "@peerbit/blocks-interface": "2.1.5",
     "@peerbit/blocks": "4.2.10",
     "@peerbit/crypto": "3.1.5",
-    "@peerbit/diagnostics": "0.0.1",
     "@peerbit/indexer-interface": "3.0.9",
-    "@peerbit/indexer-sqlite3": "3.0.12",
-    "@peerbit/log": "6.2.14",
+    "@peerbit/diagnostics": "0.0.1",
+    "@peerbit/log": "6.2.15",
+    "@peerbit/indexer-sqlite3": "3.0.13",
     "@peerbit/logger": "2.0.1",
+    "@peerbit/pubsub": "5.4.0",
     "@peerbit/program": "6.0.48",
     "@peerbit/pubsub-interface": "5.2.0",
-    "@peerbit/riblt": "1.2.0",
+    "@peerbit/rpc": "6.1.16",
     "@peerbit/stream-interface": "6.0.15",
     "@peerbit/time": "3.0.1",
-    "@peerbit/pubsub": "5.4.0",
-    "@peerbit/rpc": "6.1.16"
+    "@peerbit/riblt": "1.2.0"
   },
   "optionalDependencies": {
-    "@peerbit/native-backbone": "0.2.5",
-    "@peerbit/shared-log-rust": "0.1.4"
+    "@peerbit/shared-log-rust": "0.1.4",
+    "@peerbit/native-backbone": "0.2.5"
   },
   "devDependencies": {
     "@types/libsodium-wrappers": "^0.7.14",
     "@types/pidusage": "^2.0.5",
     "uuid": "^11.1.1",
     "@peerbit/indexer-rust": "1.0.7",
-    "@peerbit/test-utils": "3.1.20",
+    "@peerbit/test-utils": "3.1.21",
     "@peerbit/any-store-rust": "0.1.4",
-    "peerbit": "5.3.20"
+    "peerbit": "5.3.21"
   },
   "repository": {
     "type": "git",

package/src/checked-prune.ts

@@ -79,6 +79,41 @@ export class CheckedPruneCoordinator<T, R extends "u32" | "u64"> {
 	private readonly peerRemovalFences = new Map<string, number>();
 	private readonly restartReservations = new Map<string, object>();
 	private readonly candidateTokens = new Map<string, object>();
+	// Moved from SharedLog (same name — the sanctioned file-to-file ratchet
+	// move). Depth of checked-prune removals currently holding the ownership
+	// lane across a lower-log `log.remove` whose program onChange callback
+	// re-enters this instance: while non-zero, invokeProgramOnChange
+	// classifies removal-bearing changes as checked-prune-driven. Reset comes
+	// free with the per-open coordinator replacement (index.ts open() creates
+	// a fresh coordinator); deliberately NOT touched by close() — the release
+	// closures drain it, matching the legacy host counter which was reset
+	// only at open.
+	private _checkedPruneRemoveBlocksLocalRangeMutationAdmission = 0;
+
+	/** ≡ the legacy inc / `finally`-dec pair around the admitted lower-log
+	 *  remove (old SharedLog site, one synchronous block from the admission
+	 *  checks). The returned release is idempotent and drains THIS coordinator
+	 *  instance — a release that survives into a later open decrements the
+	 *  retired coordinator, never the fresh one (the legacy global counter
+	 *  could go to −1 in that window; unreachable today because close() awaits
+	 *  the prune-remove terminal fence before open() can begin, but the
+	 *  instance scoping makes the proof unnecessary and future-caller-proof). */
+	blockLocalRangeMutation(): () => void {
+		this._checkedPruneRemoveBlocksLocalRangeMutationAdmission += 1;
+		let released = false;
+		return () => {
+			if (released) {
+				return;
+			}
+			released = true;
+			this._checkedPruneRemoveBlocksLocalRangeMutationAdmission -= 1;
+		};
+	}
+
+	/** ≡ the legacy `counter !== 0` read (site: invokeProgramOnChange). */
+	isBlockingLocalRangeMutation(): boolean {
+		return this._checkedPruneRemoveBlocksLocalRangeMutationAdmission > 0;
+	}
 
 	private getOrCreateSession(hash: string): CheckedPruneSession<T, R> {
 		let session = this.sessions.get(hash);