@serfab/cadre-core 0.9.0 → 0.11.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (193) hide show
  1. package/README.md +255 -253
  2. package/dist/bootstrap-peer-store-file.d.ts +13 -0
  3. package/dist/bootstrap-peer-store-file.js +42 -0
  4. package/dist/bootstrap-peer-store-file.js.map +1 -0
  5. package/dist/bootstrap-peer-store.d.ts +73 -0
  6. package/dist/bootstrap-peer-store.js +128 -0
  7. package/dist/bootstrap-peer-store.js.map +1 -0
  8. package/dist/cadre-node.d.ts +1121 -81
  9. package/dist/cadre-node.js +2276 -262
  10. package/dist/cadre-node.js.map +1 -1
  11. package/dist/control-authorization.d.ts +93 -0
  12. package/dist/control-authorization.js +57 -0
  13. package/dist/control-authorization.js.map +1 -0
  14. package/dist/control-cohort.d.ts +26 -0
  15. package/dist/control-cohort.js +26 -0
  16. package/dist/control-cohort.js.map +1 -1
  17. package/dist/control-database.d.ts +959 -54
  18. package/dist/control-database.js +1421 -148
  19. package/dist/control-database.js.map +1 -1
  20. package/dist/control-formation-recorder.d.ts +90 -10
  21. package/dist/control-formation-recorder.js +130 -14
  22. package/dist/control-formation-recorder.js.map +1 -1
  23. package/dist/control-schema.d.ts +1 -1
  24. package/dist/control-schema.js +651 -72
  25. package/dist/control-schema.js.map +1 -1
  26. package/dist/control-stream.d.ts +38 -4
  27. package/dist/control-stream.js +70 -4
  28. package/dist/control-stream.js.map +1 -1
  29. package/dist/control-write-retry.d.ts +161 -0
  30. package/dist/control-write-retry.js +412 -0
  31. package/dist/control-write-retry.js.map +1 -0
  32. package/dist/delegate-admission.d.ts +134 -0
  33. package/dist/delegate-admission.js +244 -0
  34. package/dist/delegate-admission.js.map +1 -0
  35. package/dist/device-token.d.ts +11 -11
  36. package/dist/device-token.js +14 -13
  37. package/dist/device-token.js.map +1 -1
  38. package/dist/ed25519-key.d.ts +26 -0
  39. package/dist/ed25519-key.js +56 -1
  40. package/dist/ed25519-key.js.map +1 -1
  41. package/dist/file-durable-slot.d.ts +20 -0
  42. package/dist/file-durable-slot.js +53 -0
  43. package/dist/file-durable-slot.js.map +1 -0
  44. package/dist/formation-approval.d.ts +157 -0
  45. package/dist/formation-approval.js +375 -0
  46. package/dist/formation-approval.js.map +1 -0
  47. package/dist/fs-atomic.d.ts +38 -0
  48. package/dist/fs-atomic.js +97 -0
  49. package/dist/fs-atomic.js.map +1 -0
  50. package/dist/identity-key.d.ts +49 -0
  51. package/dist/identity-key.js +81 -0
  52. package/dist/identity-key.js.map +1 -0
  53. package/dist/index.d.ts +17 -7
  54. package/dist/index.js +40 -6
  55. package/dist/index.js.map +1 -1
  56. package/dist/key-store-file.d.ts +2 -24
  57. package/dist/key-store-file.js +10 -77
  58. package/dist/key-store-file.js.map +1 -1
  59. package/dist/membership-connection-gater.d.ts +146 -0
  60. package/dist/membership-connection-gater.js +180 -0
  61. package/dist/membership-connection-gater.js.map +1 -0
  62. package/dist/node-local-snapshot.d.ts +109 -0
  63. package/dist/node-local-snapshot.js +182 -0
  64. package/dist/node-local-snapshot.js.map +1 -0
  65. package/dist/peer-addr-book.d.ts +92 -0
  66. package/dist/peer-addr-book.js +220 -0
  67. package/dist/peer-addr-book.js.map +1 -0
  68. package/dist/peer-authorization.d.ts +135 -18
  69. package/dist/peer-authorization.js +152 -21
  70. package/dist/peer-authorization.js.map +1 -1
  71. package/dist/peer-record.d.ts +21 -8
  72. package/dist/peer-record.js +26 -10
  73. package/dist/peer-record.js.map +1 -1
  74. package/dist/relay-addrs.d.ts +45 -0
  75. package/dist/relay-addrs.js +103 -0
  76. package/dist/relay-addrs.js.map +1 -0
  77. package/dist/relay-reservation.d.ts +266 -0
  78. package/dist/relay-reservation.js +613 -0
  79. package/dist/relay-reservation.js.map +1 -0
  80. package/dist/seed-bootstrap.d.ts +228 -56
  81. package/dist/seed-bootstrap.js +340 -198
  82. package/dist/seed-bootstrap.js.map +1 -1
  83. package/dist/seed-trust-policy.d.ts +47 -21
  84. package/dist/seed-trust-policy.js +24 -15
  85. package/dist/seed-trust-policy.js.map +1 -1
  86. package/dist/strand-addr-protocol.d.ts +42 -13
  87. package/dist/strand-addr-protocol.js +58 -52
  88. package/dist/strand-addr-protocol.js.map +1 -1
  89. package/dist/strand-backfill.d.ts +109 -0
  90. package/dist/strand-backfill.js +279 -0
  91. package/dist/strand-backfill.js.map +1 -0
  92. package/dist/strand-cohort.d.ts +4 -37
  93. package/dist/strand-cohort.js +4 -15
  94. package/dist/strand-cohort.js.map +1 -1
  95. package/dist/strand-database.d.ts +11 -16
  96. package/dist/strand-database.js +19 -7
  97. package/dist/strand-database.js.map +1 -1
  98. package/dist/strand-formation-manager.d.ts +36 -7
  99. package/dist/strand-formation-manager.js +115 -15
  100. package/dist/strand-formation-manager.js.map +1 -1
  101. package/dist/strand-formation-protocol.d.ts +103 -4
  102. package/dist/strand-formation-protocol.js +232 -4
  103. package/dist/strand-formation-protocol.js.map +1 -1
  104. package/dist/strand-instance-manager.d.ts +88 -19
  105. package/dist/strand-instance-manager.js +178 -34
  106. package/dist/strand-instance-manager.js.map +1 -1
  107. package/dist/strand-member-registry.d.ts +5 -5
  108. package/dist/strand-member-registry.js +18 -10
  109. package/dist/strand-member-registry.js.map +1 -1
  110. package/dist/strand-membership-writer.d.ts +484 -88
  111. package/dist/strand-membership-writer.js +751 -128
  112. package/dist/strand-membership-writer.js.map +1 -1
  113. package/dist/strand-solicitation.d.ts +99 -33
  114. package/dist/strand-solicitation.js +100 -52
  115. package/dist/strand-solicitation.js.map +1 -1
  116. package/dist/strand-transport-key.d.ts +40 -0
  117. package/dist/strand-transport-key.js +56 -0
  118. package/dist/strand-transport-key.js.map +1 -0
  119. package/dist/strand-wake-protocol.d.ts +9 -7
  120. package/dist/strand-wake-protocol.js +22 -46
  121. package/dist/strand-wake-protocol.js.map +1 -1
  122. package/dist/strand-watcher.d.ts +17 -2
  123. package/dist/strand-watcher.js +47 -3
  124. package/dist/strand-watcher.js.map +1 -1
  125. package/dist/trusted-owner-store-file.d.ts +12 -0
  126. package/dist/trusted-owner-store-file.js +39 -0
  127. package/dist/trusted-owner-store-file.js.map +1 -0
  128. package/dist/trusted-owner-store.d.ts +64 -0
  129. package/dist/trusted-owner-store.js +126 -0
  130. package/dist/trusted-owner-store.js.map +1 -0
  131. package/dist/types.d.ts +307 -44
  132. package/dist/types.js +13 -0
  133. package/dist/types.js.map +1 -1
  134. package/package.json +20 -8
  135. package/src/arachnode-stub.ts +159 -159
  136. package/src/bootstrap-peer-store-file.ts +44 -0
  137. package/src/bootstrap-peer-store.ts +172 -0
  138. package/src/cadre-node.ts +5158 -2981
  139. package/src/canonical-json.ts +30 -30
  140. package/src/control-authorization.ts +114 -0
  141. package/src/control-cohort.ts +130 -103
  142. package/src/control-database.ts +2406 -948
  143. package/src/control-formation-recorder.ts +305 -151
  144. package/src/control-schema.ts +651 -72
  145. package/src/control-stream.ts +205 -128
  146. package/src/control-write-retry.ts +483 -0
  147. package/src/delegate-admission.ts +302 -0
  148. package/src/device-token.ts +94 -89
  149. package/src/diagnostics/connection-path.ts +277 -277
  150. package/src/diagnostics/webrtc-turn-tracker.ts +222 -222
  151. package/src/ed25519-key.ts +66 -1
  152. package/src/enrollment.ts +199 -199
  153. package/src/file-durable-slot.ts +61 -0
  154. package/src/formation-approval.ts +604 -0
  155. package/src/fs-atomic.ts +107 -0
  156. package/src/hibernation-manager.ts +437 -437
  157. package/src/identity-key.ts +109 -0
  158. package/src/index.ts +137 -5
  159. package/src/key-store-file.ts +132 -203
  160. package/src/key-store.ts +99 -99
  161. package/src/membership-connection-gater.ts +204 -0
  162. package/src/node-local-snapshot.ts +260 -0
  163. package/src/peer-addr-book.ts +250 -0
  164. package/src/peer-authorization.ts +259 -81
  165. package/src/peer-record.ts +164 -146
  166. package/src/push-credentials.ts +84 -84
  167. package/src/push-node.ts +64 -64
  168. package/src/push-notifier-apns.ts +247 -247
  169. package/src/push-notifier-fcm.ts +220 -220
  170. package/src/push-notifier-shared.ts +28 -28
  171. package/src/push-notifier.ts +52 -52
  172. package/src/relay-addrs.ts +111 -0
  173. package/src/relay-reservation.ts +823 -0
  174. package/src/seed-bootstrap.ts +409 -209
  175. package/src/seed-trust-policy.ts +140 -107
  176. package/src/strand-addr-protocol.ts +441 -410
  177. package/src/strand-backfill.ts +366 -0
  178. package/src/strand-cohort.ts +38 -77
  179. package/src/strand-database.ts +202 -204
  180. package/src/strand-formation-manager.ts +491 -368
  181. package/src/strand-formation-protocol.ts +692 -391
  182. package/src/strand-instance-manager.ts +201 -46
  183. package/src/strand-member-key.ts +39 -39
  184. package/src/strand-member-registry.ts +182 -177
  185. package/src/strand-membership-writer.ts +938 -146
  186. package/src/strand-solicitation.ts +472 -407
  187. package/src/strand-transport-key.ts +58 -0
  188. package/src/strand-wake-payload.ts +32 -32
  189. package/src/strand-wake-protocol.ts +314 -331
  190. package/src/strand-watcher.ts +314 -251
  191. package/src/trusted-owner-store-file.ts +41 -0
  192. package/src/trusted-owner-store.ts +171 -0
  193. package/src/types.ts +1309 -1032
@@ -0,0 +1,366 @@
1
+ import debug from 'debug';
2
+ import type { Connection, Libp2p, PeerId } from '@libp2p/interface';
3
+ import type { ActionId, IPeerNetwork } from '@optimystic/db-core';
4
+ import { BlockTransferClient, type IRawStorage } from '@optimystic/db-p2p';
5
+
6
+ // NOTE: this copies the WHOLE local store to every newly connected strand peer, which is
7
+ // right while a strand mesh is one party's handful of machines (see docs/architecture.md →
8
+ // Replication cluster size, "On a strand, the machine count is not a party count"). If
9
+ // strand meshes ever get large, filter the pushed set by FRET cohort responsibility for
10
+ // each block id instead of pushing everything.
11
+ //
12
+ // NOTE: this lives in cadre-core only because `../optimystic` is read-only from this repo.
13
+ // If Optimystic ever grows a cohort-join catch-up of its own, delete this module rather
14
+ // than running two.
15
+ //
16
+ // Membership: anything connected on the strand's own libp2p network already receives
17
+ // cohort replicas of new commits, so pushing older blocks to it exposes nothing new. No
18
+ // membership gate here — adding one would diverge from what ordinary replication already
19
+ // does on this network. A peer that does NOT speak this strand's block-transfer protocol
20
+ // (a bare circuit relay or bootstrap node the strand node also connects to) cannot receive
21
+ // anything: the protocol id is namespaced per strand, so the dial fails and the push is
22
+ // dropped.
23
+ //
24
+ // NOTE: that failing case costs one dial timeout per connection:open from such a peer, and
25
+ // is never memoized (only clean runs are). Bounded today by the debounce plus the
26
+ // unreachable-peer bail in `runCatchUp` — one dial per event, not one per chunk. If a strand
27
+ // node ever holds many non-strand connections, or the enumeration ahead of the first chunk
28
+ // gets expensive, pre-check `libp2p.peerStore` for this strand's block-transfer protocol
29
+ // before enumerating.
30
+ //
31
+ // NOTE: a run that fails is retried only when that peer next opens a connection. Over a
32
+ // stable connection a transient push failure therefore leaves the peer partially copied
33
+ // until the next reconnect (read repair still covers reads meanwhile). If strand meshes
34
+ // ever hold long-lived connections where that matters, re-arm the debounce timer with a
35
+ // backoff on a non-clean run instead of waiting for connection:open.
36
+
37
+ const log = debug('sereus:cadre:strand-backfill');
38
+
39
+ /**
40
+ * The block-transfer protocol's hard cap on one length-prefixed message. Mirrors
41
+ * `MAX_BLOCK_MESSAGE_BYTES` in `@optimystic/db-p2p`'s `protocol-limits.ts` (8 MiB), which
42
+ * that package does not re-export from its index — keep the two in sync if upstream ever
43
+ * changes it or starts exporting it.
44
+ */
45
+ export const MAX_BLOCK_MESSAGE_BYTES = 8 * 1024 * 1024;
46
+
47
+ /** Tuning for the per-peer strand catch-up. Every field optional; defaults in {@link DEFAULT_STRAND_BACKFILL}. */
48
+ export interface StrandBackfillConfig {
49
+ /** Default true. False disables the catch-up entirely (the pre-existing behaviour). */
50
+ enabled?: boolean;
51
+ /** Settle time after a connection opens before catching that peer up, ms. Default 1000. */
52
+ debounceMs?: number;
53
+ /** Ceiling on blocks copied in one catch-up. Default 10_000. Reaching it is LOGGED, never silent. */
54
+ maxBlocks?: number;
55
+ /** Soft byte budget per push message. Default 1 MiB. Protocol hard cap is {@link MAX_BLOCK_MESSAGE_BYTES} (8 MiB). */
56
+ maxChunkBytes?: number;
57
+ /** Max blocks per push message. Default 64. */
58
+ maxChunkBlocks?: number;
59
+ /** Per-push dial deadline, ms. Default 3000 (matches SpreadOnChurnMonitor). */
60
+ dialTimeoutMs?: number;
61
+ /** Per-push response deadline, ms. Default 10_000 (matches SpreadOnChurnMonitor). */
62
+ responseTimeoutMs?: number;
63
+ }
64
+
65
+ /** The resolved defaults every {@link StrandBackfill} starts from. */
66
+ export const DEFAULT_STRAND_BACKFILL: Required<StrandBackfillConfig> = {
67
+ enabled: true,
68
+ debounceMs: 1000,
69
+ maxBlocks: 10_000,
70
+ maxChunkBytes: 1024 * 1024,
71
+ maxChunkBlocks: 64,
72
+ dialTimeoutMs: 3000,
73
+ responseTimeoutMs: 10_000
74
+ };
75
+
76
+ /**
77
+ * The one capability the catch-up needs from a transfer client. Structural (rather than
78
+ * the concrete `BlockTransferClient`) so unit tests can capture pushes without dialing
79
+ * libp2p — see {@link StrandBackfillDeps.createPushClient}.
80
+ */
81
+ export type StrandBackfillPushClient = Pick<BlockTransferClient, 'pushBlocks'>;
82
+
83
+ export interface StrandBackfillDeps {
84
+ strandId: string;
85
+ /** The STRAND's libp2p node (not the control node) — source of connection events and peer ids. */
86
+ libp2p: Libp2p;
87
+ /** `node.keyNetwork`, the IPeerNetwork BlockTransferClient dials through. */
88
+ peerNetwork: IPeerNetwork;
89
+ /** This strand's own raw block store — the same instance handed to the libp2p node. */
90
+ storage: IRawStorage;
91
+ /** Must equal the prefix the receiver registered its handler under: `/optimystic/strand-<strandId>`. */
92
+ protocolPrefix: string;
93
+ /**
94
+ * Test seam: build the per-peer push client. Defaults to a real
95
+ * `BlockTransferClient` over {@link peerNetwork} + {@link protocolPrefix}.
96
+ */
97
+ createPushClient?: (peerId: PeerId) => StrandBackfillPushClient;
98
+ }
99
+
100
+ /** What one peer's catch-up actually did. Returned for tests and logged at the end of each run. */
101
+ export interface StrandBackfillResult {
102
+ /** Blocks offered: had a committed `latest` AND materialized content locally. */
103
+ offered: number;
104
+ /** Blocks the remote reported it persisted. */
105
+ accepted: number;
106
+ /** Block ids the remote reported in `missing` (parse or persist failure on its side). */
107
+ rejected: string[];
108
+ /** Skipped: metadata has no `latest` (pending-only — not yet a durability claim here). */
109
+ uncommitted: number;
110
+ /** Skipped: `latest` exists but no materialized block is stored for that actionId. */
111
+ unmaterialized: number;
112
+ /** Not attempted because `maxBlocks` was reached. */
113
+ capped: number;
114
+ /** Skipped: a single block whose wire size alone exceeds {@link MAX_BLOCK_MESSAGE_BYTES}. */
115
+ oversized: string[];
116
+ }
117
+
118
+ function emptyResult(): StrandBackfillResult {
119
+ return { offered: 0, accepted: 0, rejected: [], uncommitted: 0, unmaterialized: 0, capped: 0, oversized: [] };
120
+ }
121
+
122
+ /** One in-flight push message being accumulated. */
123
+ interface Chunk {
124
+ ids: string[];
125
+ buffers: Uint8Array[];
126
+ meta: Record<string, { rev: number; actionId: ActionId }>;
127
+ bytes: number;
128
+ }
129
+
130
+ /**
131
+ * Base64 wire size of a raw buffer — `pushBlocks` base64-encodes each block into the JSON
132
+ * request, so the protocol cap must be judged against the encoded size, not the raw bytes.
133
+ */
134
+ function base64WireBytes(rawBytes: number): number {
135
+ return Math.ceil(rawBytes / 3) * 4;
136
+ }
137
+
138
+ /**
139
+ * Copies every block in one strand's own raw store to each peer its libp2p node connects
140
+ * to, so a peer that joined the strand after blocks were committed still ends up holding
141
+ * them physically (the receiver persists each push via `saveReplicatedBlock`, which is
142
+ * monotonic and idempotent — crossing pushes from both ends cannot regress a revision).
143
+ *
144
+ * Best-effort throughout: nothing here throws into a libp2p event handler or into
145
+ * `buildStrandRuntime`; a failed chunk is logged and the run continues. A peer is marked
146
+ * fully caught up ONLY after a run with no thrown chunk and an empty `missing` list, so
147
+ * the next `connection:open` from a peer whose catch-up failed retries it.
148
+ */
149
+ export class StrandBackfill {
150
+ private readonly config: Required<StrandBackfillConfig>;
151
+ private readonly createPushClient: (peerId: PeerId) => StrandBackfillPushClient;
152
+ private started = false;
153
+ private stopped = false;
154
+ /** Peers fully caught up this runtime (never retried until the runtime is rebuilt). */
155
+ private readonly done = new Set<string>();
156
+ /** Peers with a catch-up currently running (suppresses concurrent duplicates). */
157
+ private readonly inFlight = new Set<string>();
158
+ /** Pending per-peer debounce timers, cleared on stop. */
159
+ private readonly timers = new Map<string, ReturnType<typeof setTimeout>>();
160
+ private readonly onConnectionOpen: (evt: CustomEvent<Connection>) => void;
161
+ private loggedNoListBlockIds = false;
162
+
163
+ constructor(private readonly deps: StrandBackfillDeps, config?: StrandBackfillConfig) {
164
+ this.config = { ...DEFAULT_STRAND_BACKFILL, ...config };
165
+ this.createPushClient = deps.createPushClient
166
+ ?? ((peerId) => new BlockTransferClient(peerId, deps.peerNetwork, deps.protocolPrefix));
167
+ this.onConnectionOpen = (evt) => this.schedulePeer(evt.detail.remotePeer);
168
+ }
169
+
170
+ /** Subscribe to connection:open AND schedule a catch-up for peers already connected. */
171
+ start(): void {
172
+ if (this.started || this.stopped || !this.config.enabled) return;
173
+ this.started = true;
174
+ this.deps.libp2p.addEventListener('connection:open', this.onConnectionOpen);
175
+ // A runtime rebuilt over live connections (resumeStrand) never sees their
176
+ // connection:open, so walk what is already connected once.
177
+ const existing = this.deps.libp2p.getConnections();
178
+ for (const connection of existing) {
179
+ this.schedulePeer(connection.remotePeer);
180
+ }
181
+ log('[%s] started (%d peer(s) already connected)', this.deps.strandId, existing.length);
182
+ }
183
+
184
+ /** Unsubscribe, clear timers; in-flight runs observe the stopped flag and bail. */
185
+ stop(): void {
186
+ if (this.stopped) return;
187
+ this.stopped = true;
188
+ if (this.started) {
189
+ this.deps.libp2p.removeEventListener('connection:open', this.onConnectionOpen);
190
+ }
191
+ for (const timer of this.timers.values()) {
192
+ clearTimeout(timer);
193
+ }
194
+ this.timers.clear();
195
+ log('[%s] stopped', this.deps.strandId);
196
+ }
197
+
198
+ /** Debounced entry point for connection churn: one run per peer per settle window. */
199
+ private schedulePeer(peerId: PeerId): void {
200
+ const key = peerId.toString();
201
+ if (this.stopped || this.done.has(key) || this.inFlight.has(key)) return;
202
+ const existing = this.timers.get(key);
203
+ if (existing) clearTimeout(existing);
204
+ this.timers.set(key, setTimeout(() => {
205
+ this.timers.delete(key);
206
+ void this.catchUpPeer(peerId);
207
+ }, this.config.debounceMs));
208
+ }
209
+
210
+ /**
211
+ * Run one peer's catch-up now, bypassing the debounce. Never rejects. Returns an
212
+ * all-zero result without pushing when the peer is already caught up, already being
213
+ * caught up, or this backfill is stopped.
214
+ */
215
+ async catchUpPeer(peerId: PeerId): Promise<StrandBackfillResult> {
216
+ const key = peerId.toString();
217
+ if (this.stopped || this.done.has(key) || this.inFlight.has(key)) {
218
+ return emptyResult();
219
+ }
220
+ this.inFlight.add(key);
221
+ try {
222
+ const { result, clean } = await this.runCatchUp(peerId);
223
+ // NOTE: a run that hit `maxBlocks` is still "clean" and still memoizes the peer, so
224
+ // the tail past the ceiling never reaches it. Deliberate: enumeration is not
225
+ // resumable, so not memoizing would re-push the same prefix on every reconnect
226
+ // without ever advancing. Loud in the log below (capped > 0). If a strand's store can
227
+ // realistically exceed maxBlocks, the fix is a resumable cursor, not either policy.
228
+ if (clean && !this.stopped) {
229
+ this.done.add(key);
230
+ }
231
+ log('[%s] catch-up peer=%s offered=%d accepted=%d rejected=%d uncommitted=%d unmaterialized=%d capped=%d oversized=%d done=%s',
232
+ this.deps.strandId, key, result.offered, result.accepted, result.rejected.length,
233
+ result.uncommitted, result.unmaterialized, result.capped, result.oversized.length, clean);
234
+ return result;
235
+ } catch (error) {
236
+ // runCatchUp already contains a per-chunk catch; this guards the enumeration and
237
+ // metadata reads too — a backfill fault must never surface through a libp2p event.
238
+ log('[%s] catch-up peer=%s failed: %o', this.deps.strandId, key, error);
239
+ return emptyResult();
240
+ } finally {
241
+ this.inFlight.delete(key);
242
+ }
243
+ }
244
+
245
+ /** The actual copy. `clean` = every chunk pushed and the remote persisted every block. */
246
+ private async runCatchUp(peerId: PeerId): Promise<{ result: StrandBackfillResult; clean: boolean }> {
247
+ const result = emptyResult();
248
+ const { storage } = this.deps;
249
+
250
+ if (!storage.listBlockIds) {
251
+ if (!this.loggedNoListBlockIds) {
252
+ this.loggedNoListBlockIds = true;
253
+ log('[%s] raw storage does not implement listBlockIds(); backfill is inert', this.deps.strandId);
254
+ }
255
+ return { result, clean: false };
256
+ }
257
+
258
+ const client = this.createPushClient(peerId);
259
+ const encoder = new TextEncoder();
260
+ let chunk: Chunk = { ids: [], buffers: [], meta: {}, bytes: 0 };
261
+ let chunkFailed = false;
262
+ let anyChunkDelivered = false;
263
+ /**
264
+ * A peer that has answered no push at all, and failed one, is not reachable on this
265
+ * protocol — abandon rather than spend a dial timeout per remaining chunk. Once ONE
266
+ * push has been answered the peer demonstrably speaks it, so a later failure is a
267
+ * transient blip and the rest of the store is still worth pushing.
268
+ */
269
+ const peerUnreachable = (): boolean => chunkFailed && !anyChunkDelivered;
270
+
271
+ const flush = async (): Promise<void> => {
272
+ if (chunk.ids.length === 0) return;
273
+ const { ids, buffers, meta } = chunk;
274
+ chunk = { ids: [], buffers: [], meta: {}, bytes: 0 };
275
+ try {
276
+ const response = await client.pushBlocks(ids, buffers, 'replication', meta, {
277
+ dialTimeoutMs: this.config.dialTimeoutMs,
278
+ responseTimeoutMs: this.config.responseTimeoutMs
279
+ });
280
+ anyChunkDelivered = true;
281
+ const missing = new Set(response.missing);
282
+ for (const id of ids) {
283
+ if (missing.has(id)) {
284
+ result.rejected.push(id);
285
+ } else {
286
+ result.accepted += 1;
287
+ }
288
+ }
289
+ if (response.missing.length > 0) {
290
+ log('[%s] peer=%s rejected %d block(s): %o', this.deps.strandId, peerId.toString(), response.missing.length, response.missing);
291
+ }
292
+ } catch (error) {
293
+ chunkFailed = true;
294
+ log('[%s] push to peer=%s failed for %d block(s): %s', this.deps.strandId, peerId.toString(), ids.length, (error as Error).message);
295
+ }
296
+ };
297
+
298
+ for await (const blockId of storage.listBlockIds()) {
299
+ if (this.stopped) break;
300
+ if (result.offered >= this.config.maxBlocks) {
301
+ // Past the ceiling: count what is left (id enumeration only — no more reads or
302
+ // pushes) so the cap is loud in the end-of-run log rather than silent.
303
+ result.capped += 1;
304
+ continue;
305
+ }
306
+
307
+ const metadata = await storage.getMetadata(blockId);
308
+ const latest = metadata?.latest;
309
+ if (!latest) {
310
+ result.uncommitted += 1;
311
+ continue;
312
+ }
313
+ // NOTE: a block whose latest revision is a DELETE materializes to nothing (a
314
+ // tombstone), so it is skipped here — a peer that joins after such a delete never
315
+ // receives the tombstone from this path and relies on read repair for it. Fine
316
+ // while nothing deletes whole blocks pre-join; if the whole-store coverage gate in
317
+ // strand-membership-closed-strand-e2e ever reports a tombstone residue, teach this
318
+ // to push the promoted delete transform instead of skipping.
319
+ const block = await storage.getMaterializedBlock(blockId, latest.actionId);
320
+ if (!block) {
321
+ result.unmaterialized += 1;
322
+ log('[%s] block=%s has latest rev %d but no materialized content; skipped', this.deps.strandId, blockId, latest.rev);
323
+ continue;
324
+ }
325
+
326
+ const buffer = encoder.encode(JSON.stringify(block));
327
+ // NOTE: MAX_BLOCK_MESSAGE_BYTES caps the whole framed request, not one block, and
328
+ // this test ignores the request envelope (ids array, blockMeta, JSON punctuation).
329
+ // A lone block within a few KiB of the cap therefore still ships and is rejected by
330
+ // the receiver's length-prefix decoder — a permanent chunk failure for that peer. No
331
+ // block in a strand comes close today; if one ever can, subtract a measured envelope
332
+ // allowance here rather than raising the cap.
333
+ if (base64WireBytes(buffer.length) >= MAX_BLOCK_MESSAGE_BYTES) {
334
+ result.oversized.push(blockId);
335
+ log('[%s] block=%s is %d bytes (%d on the wire) — exceeds the %d-byte protocol cap alone; skipped',
336
+ this.deps.strandId, blockId, buffer.length, base64WireBytes(buffer.length), MAX_BLOCK_MESSAGE_BYTES);
337
+ continue;
338
+ }
339
+
340
+ // Flush before adding when this block would overflow either budget. A single block
341
+ // larger than maxChunkBytes still ships — alone, in its own chunk.
342
+ if (chunk.ids.length > 0
343
+ && (chunk.ids.length + 1 > this.config.maxChunkBlocks || chunk.bytes + buffer.length > this.config.maxChunkBytes)) {
344
+ await flush();
345
+ if (this.stopped || peerUnreachable()) break;
346
+ }
347
+ chunk.ids.push(blockId);
348
+ chunk.buffers.push(buffer);
349
+ chunk.meta[blockId] = { rev: latest.rev, actionId: latest.actionId };
350
+ chunk.bytes += buffer.length;
351
+ result.offered += 1;
352
+ }
353
+
354
+ if (!this.stopped && !peerUnreachable()) {
355
+ await flush();
356
+ }
357
+
358
+ if (result.capped > 0) {
359
+ log('[%s] peer=%s catch-up CAPPED at %d blocks; %d block id(s) not attempted',
360
+ this.deps.strandId, peerId.toString(), this.config.maxBlocks, result.capped);
361
+ }
362
+
363
+ const clean = !chunkFailed && result.rejected.length === 0;
364
+ return { result, clean };
365
+ }
366
+ }
@@ -1,77 +1,38 @@
1
- import type { StrandMode } from './types.js';
2
-
3
- /**
4
- * A single CadrePeer membership row, as returned by
5
- * `ControlDatabase.queryCadrePeers()`.
6
- */
7
- export interface CohortPeerRow {
8
- peerId: string;
9
- /** Comma-joined list of multiaddr strings; `''` when no addrs were recorded. */
10
- multiaddr: string | null;
11
- }
12
-
13
- /**
14
- * Cohort-derived discovery seed for a strand's libp2p node. `bootstrapNodes`
15
- * here are **strand-network** addresses resolved on demand from co-cadre
16
- * siblings (see `collectStrandAddrs` / `STRAND_ADDR_PROTOCOL`), NOT the control
17
- * addresses stored in `CadrePeer.Multiaddr`.
18
- */
19
- export interface CohortSeed {
20
- /** Dialable strand-network multiaddr strings for cohort peers other than self (deduplicated). */
21
- bootstrapNodes: string[];
22
- /** True when at least one CadrePeer row other than self exists (even if it has no resolvable strand addr). */
23
- hasOtherPeers: boolean;
24
- }
25
-
26
- /**
27
- * Membership-only view of a strand's cohort, derived from the control network's
28
- * CadrePeer rows. The bootstrap addresses themselves are resolved separately
29
- * (over the strand-addr RPC) from these peerIds, never from the rows' addr field.
30
- */
31
- export interface CohortMembers {
32
- /** PeerIds of cohort members other than self — the strand-addr RPC fan-out targets (deduplicated, in row order). */
33
- otherPeerIds: string[];
34
- /** True when at least one CadrePeer row other than self exists (even if it has no resolvable strand addr). */
35
- hasOtherPeers: boolean;
36
- }
37
-
38
- /**
39
- * Derive the membership view of a strand's cohort from the control network's
40
- * CadrePeer rows: the peerIds of members other than `selfPeerId` (the strand-addr
41
- * RPC fan-out targets) and whether any other member exists at all.
42
- *
43
- * Deliberately does NOT read `CadrePeer.Multiaddr` — that field carries each
44
- * node's *control*-network address, which must not seed the *strand* mesh
45
- * (dialing it reaches the remote's control instance, not its strand instance).
46
- * The strand-network bootstrap addresses are resolved on demand over the control
47
- * mesh from these peerIds. `hasOtherPeers` reflects membership presence, NOT
48
- * dialability, so a cohort whose strand addrs are not yet resolvable still
49
- * selects `networked` mode.
50
- */
51
- export function deriveCohortMembers(peers: CohortPeerRow[], selfPeerId?: string): CohortMembers {
52
- const otherPeerIds: string[] = [];
53
- const seen = new Set<string>();
54
-
55
- for (const peer of peers) {
56
- if (selfPeerId !== undefined && peer.peerId === selfPeerId) {
57
- continue;
58
- }
59
- if (seen.has(peer.peerId)) {
60
- continue;
61
- }
62
- seen.add(peer.peerId);
63
- otherPeerIds.push(peer.peerId);
64
- }
65
-
66
- return { otherPeerIds, hasOtherPeers: otherPeerIds.length > 0 };
67
- }
68
-
69
- /**
70
- * Choose the strand mode. An explicit mode (from `addStrand`) always wins. When
71
- * omitted (the `handleStrandAdded` discovery path, or an `addStrand` caller that
72
- * leaves it unset), infer: `bootstrap` for a solo/first node (no other peers),
73
- * `networked` once the cohort has other members.
74
- */
75
- export function selectStrandMode(explicitMode: StrandMode | undefined, hasOtherPeers: boolean): StrandMode {
76
- return explicitMode ?? (hasOtherPeers ? 'networked' : 'bootstrap');
77
- }
1
+ /**
2
+ * A single CadrePeer membership row, as returned by
3
+ * `ControlDatabase.queryCadrePeers()`.
4
+ */
5
+ export interface CohortPeerRow {
6
+ peerId: string;
7
+ /** Comma-joined list of multiaddr strings; `''` when no addrs were recorded. */
8
+ multiaddr: string | null;
9
+ }
10
+
11
+ /**
12
+ * Derive the membership view of a strand's cohort from the control network's
13
+ * CadrePeer rows: the peerIds of members other than `selfPeerId` — the
14
+ * strand-addr RPC fan-out targets, deduplicated, in row order.
15
+ *
16
+ * Deliberately does NOT read `CadrePeer.Multiaddr` — that field carries each
17
+ * node's *control*-network address, which must not seed the *strand* mesh
18
+ * (dialing it reaches the remote's control instance, not its strand instance).
19
+ * The strand-network bootstrap addresses are resolved on demand over the control
20
+ * mesh from these peerIds.
21
+ */
22
+ export function deriveCohortMembers(peers: CohortPeerRow[], selfPeerId?: string): string[] {
23
+ const otherPeerIds: string[] = [];
24
+ const seen = new Set<string>();
25
+
26
+ for (const peer of peers) {
27
+ if (selfPeerId !== undefined && peer.peerId === selfPeerId) {
28
+ continue;
29
+ }
30
+ if (seen.has(peer.peerId)) {
31
+ continue;
32
+ }
33
+ seen.add(peer.peerId);
34
+ otherPeerIds.push(peer.peerId);
35
+ }
36
+
37
+ return otherPeerIds;
38
+ }