@optimystic/db-core 0.22.0 → 0.24.1
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.
- package/README.md +336 -336
- package/dist/src/cluster/structs.d.ts +39 -1
- package/dist/src/cluster/structs.d.ts.map +1 -1
- package/dist/src/cluster/structs.js +24 -0
- package/dist/src/cluster/structs.js.map +1 -1
- package/dist/src/collection/collection.d.ts +17 -0
- package/dist/src/collection/collection.d.ts.map +1 -1
- package/dist/src/collection/collection.js +24 -2
- package/dist/src/collection/collection.js.map +1 -1
- package/dist/src/collections/tree/tree.d.ts +5 -0
- package/dist/src/collections/tree/tree.d.ts.map +1 -1
- package/dist/src/collections/tree/tree.js +7 -0
- package/dist/src/collections/tree/tree.js.map +1 -1
- package/dist/src/network/i-peer-network.d.ts +16 -0
- package/dist/src/network/i-peer-network.d.ts.map +1 -1
- package/dist/src/network/struct.d.ts +39 -2
- package/dist/src/network/struct.d.ts.map +1 -1
- package/dist/src/network/struct.js +18 -0
- package/dist/src/network/struct.js.map +1 -1
- package/dist/src/testing/test-transactor.d.ts +95 -8
- package/dist/src/testing/test-transactor.d.ts.map +1 -1
- package/dist/src/testing/test-transactor.js +121 -8
- package/dist/src/testing/test-transactor.js.map +1 -1
- package/dist/src/transaction/transaction.d.ts +1 -1
- package/dist/src/transaction/transaction.js +1 -1
- package/dist/src/transactor/network-transactor.d.ts.map +1 -1
- package/dist/src/transactor/network-transactor.js +48 -13
- package/dist/src/transactor/network-transactor.js.map +1 -1
- package/dist/src/transactor/transactor-source.d.ts.map +1 -1
- package/dist/src/transactor/transactor-source.js +25 -2
- package/dist/src/transactor/transactor-source.js.map +1 -1
- package/package.json +1 -1
- package/src/cluster/membership.ts +85 -85
- package/src/cluster/structs.ts +43 -4
- package/src/cohort-topic/addressing.ts +120 -120
- package/src/cohort-topic/antidos/bootstrap-evidence-envelope.ts +253 -253
- package/src/cohort-topic/antidos/bootstrap-evidence.ts +106 -106
- package/src/cohort-topic/antidos/index.ts +5 -5
- package/src/cohort-topic/antidos/rate-limiter.ts +210 -210
- package/src/cohort-topic/antidos/replay-guard.ts +146 -146
- package/src/cohort-topic/antidos/topic-budget.ts +160 -160
- package/src/cohort-topic/antiflood/index.ts +2 -2
- package/src/cohort-topic/antiflood/invariants.ts +108 -108
- package/src/cohort-topic/antiflood/jitter.ts +117 -117
- package/src/cohort-topic/coldstart.ts +237 -237
- package/src/cohort-topic/dmax.ts +88 -88
- package/src/cohort-topic/gossip/bus.ts +254 -254
- package/src/cohort-topic/gossip/index.ts +3 -3
- package/src/cohort-topic/gossip/records.ts +45 -45
- package/src/cohort-topic/gossip/view.ts +91 -91
- package/src/cohort-topic/index.ts +20 -20
- package/src/cohort-topic/load/barometer.ts +134 -134
- package/src/cohort-topic/load/index.ts +1 -1
- package/src/cohort-topic/member-engine.ts +430 -430
- package/src/cohort-topic/membership/index.ts +3 -3
- package/src/cohort-topic/membership/publisher.ts +163 -163
- package/src/cohort-topic/membership/source.ts +41 -41
- package/src/cohort-topic/membership/verifier.ts +461 -461
- package/src/cohort-topic/ports.ts +157 -157
- package/src/cohort-topic/promotion.ts +405 -405
- package/src/cohort-topic/registration/bytes.ts +37 -37
- package/src/cohort-topic/registration/handoff.ts +154 -154
- package/src/cohort-topic/registration/index.ts +6 -6
- package/src/cohort-topic/registration/renewal.ts +495 -495
- package/src/cohort-topic/registration/sharding.ts +61 -61
- package/src/cohort-topic/registration/store.ts +81 -81
- package/src/cohort-topic/registration/types.ts +91 -91
- package/src/cohort-topic/ring-hash.ts +50 -50
- package/src/cohort-topic/service.ts +416 -416
- package/src/cohort-topic/sig/index.ts +2 -2
- package/src/cohort-topic/sig/payloads.ts +59 -59
- package/src/cohort-topic/sig/threshold.ts +64 -64
- package/src/cohort-topic/tiers.ts +74 -74
- package/src/cohort-topic/traffic.ts +233 -233
- package/src/cohort-topic/walk.ts +326 -326
- package/src/cohort-topic/willingness.ts +237 -237
- package/src/cohort-topic/wire/codec.ts +216 -216
- package/src/cohort-topic/wire/index.ts +18 -18
- package/src/cohort-topic/wire/payloads.ts +126 -126
- package/src/cohort-topic/wire/primitives.ts +188 -188
- package/src/cohort-topic/wire/types.ts +475 -475
- package/src/cohort-topic/wire/validate.ts +512 -512
- package/src/collection/collection-type-registry.ts +37 -37
- package/src/collection/collection.ts +25 -2
- package/src/collections/diary/diary.ts +68 -68
- package/src/collections/tree/readme.md +4 -0
- package/src/collections/tree/tree.ts +320 -312
- package/src/matchmaking/capability-filter.ts +45 -45
- package/src/matchmaking/config.ts +98 -98
- package/src/matchmaking/index.ts +21 -21
- package/src/matchmaking/multi-cohort-seeker.ts +234 -234
- package/src/matchmaking/provider.ts +123 -123
- package/src/matchmaking/query-eval.ts +105 -105
- package/src/matchmaking/seeker-walk.ts +127 -127
- package/src/matchmaking/seeker.ts +86 -86
- package/src/matchmaking/topic-anchor.ts +90 -90
- package/src/matchmaking/voting-quorum.ts +394 -394
- package/src/matchmaking/wire.ts +603 -603
- package/src/network/i-peer-network.ts +17 -0
- package/src/network/stale-failure.ts +43 -43
- package/src/network/struct.ts +41 -2
- package/src/network/types.ts +37 -37
- package/src/reactivity/backfill.ts +220 -220
- package/src/reactivity/backpressure.ts +191 -191
- package/src/reactivity/checkpoint.ts +308 -308
- package/src/reactivity/config.ts +172 -172
- package/src/reactivity/dedupe.ts +132 -132
- package/src/reactivity/forwarder.ts +87 -87
- package/src/reactivity/index.ts +34 -34
- package/src/reactivity/notification.ts +123 -123
- package/src/reactivity/policy.ts +79 -79
- package/src/reactivity/push-state.ts +310 -310
- package/src/reactivity/recover.ts +153 -153
- package/src/reactivity/replay-buffer.ts +141 -141
- package/src/reactivity/resume.ts +549 -549
- package/src/reactivity/rotation.ts +415 -415
- package/src/reactivity/subscriber.ts +132 -132
- package/src/reactivity/subscription.ts +66 -66
- package/src/reactivity/topic-anchor.ts +71 -71
- package/src/reactivity/verify.ts +73 -73
- package/src/reactivity/wire-validate.ts +13 -13
- package/src/reactivity/wire.ts +224 -224
- package/src/testing/async-wait.ts +65 -65
- package/src/testing/index.ts +2 -2
- package/src/testing/test-transactor.ts +638 -502
- package/src/transaction/errors.ts +91 -91
- package/src/transaction/operations-hash.ts +196 -196
- package/src/transaction/read-dependency-collector.ts +78 -78
- package/src/transaction/transaction.ts +1 -1
- package/src/transactor/change-notifier.ts +80 -80
- package/src/transactor/index.ts +5 -5
- package/src/transactor/network-transactor.ts +49 -14
- package/src/transactor/transactor-source.ts +25 -2
- package/src/transform/atomic-proxy.ts +92 -92
- package/src/transform/helpers.ts +159 -159
- package/src/utility/backoff.ts +95 -95
- package/src/utility/batch-coordinator.ts +191 -191
- package/dist/src/transaction/context.d.ts +0 -60
- package/dist/src/transaction/context.d.ts.map +0 -1
- package/dist/src/transaction/context.js +0 -91
- package/dist/src/transaction/context.js.map +0 -1
package/src/reactivity/policy.ts
CHANGED
|
@@ -1,79 +1,79 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Reactivity — per-cohort Edge/Core policy (`docs/reactivity.md` §Per-cohort policy).
|
|
3
|
-
*
|
|
4
|
-
* Reactivity is **T3 (luxury)** at the cohort-topic layer. Two consequences are enforced here, the
|
|
5
|
-
* authoritative home for the reactivity producer-side policy:
|
|
6
|
-
*
|
|
7
|
-
* 1. **Edge nodes never serve as reactivity forwarders** — only as subscribers. A T3 *consumer* is fine
|
|
8
|
-
* on Edge (a phone wants notifications); a T3 *producer* is off in the Edge profile. The willingness
|
|
9
|
-
* check ({@link import("../cohort-topic/willingness.js")}) already declines T3 admission on an Edge
|
|
10
|
-
* node because `edgeProfile().willingTiers` excludes {@link Tier.T3}; this module adds the *reactivity*
|
|
11
|
-
* gate at the point a node decides whether to instantiate a {@link PushState} / become a forwarder, so
|
|
12
|
-
* the decision is explicit and testable rather than implicit in cohort admission.
|
|
13
|
-
* 2. **`delta_max` is Edge 0 / Core 4096** — the authoritative plumbing the origination ticket only
|
|
14
|
-
* *consumed*. Re-exported here from {@link import("./config.js")} so the policy surface is singular.
|
|
15
|
-
*
|
|
16
|
-
* The per-cohort topic budget (`topics_max`) bounds the collections a cohort serves; reactivity needs no
|
|
17
|
-
* admission policy beyond the cohort-topic default, so it is not re-implemented here.
|
|
18
|
-
*/
|
|
19
|
-
|
|
20
|
-
import { Tier, type NodeProfile } from "../cohort-topic/tiers.js";
|
|
21
|
-
import { deltaMaxForProfile } from "./config.js";
|
|
22
|
-
import { PushState, type PushStateInit } from "./push-state.js";
|
|
23
|
-
|
|
24
|
-
/**
|
|
25
|
-
* Whether a node with `profile` may serve as a reactivity **forwarder** (T3 producer). `true` only when
|
|
26
|
-
* the profile is willing to forward T3 — Core by default, an operator-narrowable Core, never Edge.
|
|
27
|
-
* Equivalent to `profile.willingTiers.has(Tier.T3)`: Edge's willing set is `{T0, T1}`, so this is `false`
|
|
28
|
-
* on every Edge node and on a Core node an operator has restricted away from T3.
|
|
29
|
-
*/
|
|
30
|
-
export function mayServeAsReactivityForwarder(profile: NodeProfile): boolean {
|
|
31
|
-
return profile.willingTiers.has(Tier.T3);
|
|
32
|
-
}
|
|
33
|
-
|
|
34
|
-
/** A subscriber-only node (Edge, or a Core narrowed off T3) attempted to instantiate a reactivity forwarder. */
|
|
35
|
-
export class ReactivityForwarderForbiddenError extends Error {
|
|
36
|
-
constructor(readonly profileKind: NodeProfile["kind"]) {
|
|
37
|
-
super(`reactivity: a ${profileKind} node that does not forward T3 cannot instantiate a forwarder (subscriber-only)`);
|
|
38
|
-
this.name = "ReactivityForwarderForbiddenError";
|
|
39
|
-
}
|
|
40
|
-
}
|
|
41
|
-
|
|
42
|
-
/**
|
|
43
|
-
* Instantiate a forwarder {@link PushState} **only if** `profile` may forward T3. Returns `undefined` for a
|
|
44
|
-
* subscriber-only node (Edge, or a Core narrowed off T3) — the caller does not become a forwarder, leaving
|
|
45
|
-
* it a pure subscriber. This is the explicit gate the §Per-cohort policy "Edge nodes never serve as
|
|
46
|
-
* reactivity forwarders" rule names; a node consults it before allocating any per-collection push state.
|
|
47
|
-
*/
|
|
48
|
-
export function instantiateForwarderPushState(profile: NodeProfile, init: PushStateInit): PushState | undefined {
|
|
49
|
-
return mayServeAsReactivityForwarder(profile) ? new PushState(init) : undefined;
|
|
50
|
-
}
|
|
51
|
-
|
|
52
|
-
/**
|
|
53
|
-
* Like {@link instantiateForwarderPushState} but **throws** {@link ReactivityForwarderForbiddenError} on a
|
|
54
|
-
* subscriber-only node, for call sites that treat an Edge forwarder attempt as a programming error rather
|
|
55
|
-
* than a silent no-op (e.g. a host wiring that should never route forwarder duty to an Edge node).
|
|
56
|
-
*/
|
|
57
|
-
export function requireForwarderPushState(profile: NodeProfile, init: PushStateInit): PushState {
|
|
58
|
-
if (!mayServeAsReactivityForwarder(profile)) {
|
|
59
|
-
throw new ReactivityForwarderForbiddenError(profile.kind);
|
|
60
|
-
}
|
|
61
|
-
return new PushState(init);
|
|
62
|
-
}
|
|
63
|
-
|
|
64
|
-
/**
|
|
65
|
-
* The effective reactivity producer policy for a node profile: whether it may forward, and its `delta_max`
|
|
66
|
-
* budget (Edge 0 — reject inbound `delta`, re-read the chain; Core 4096). The single struct a host reads to
|
|
67
|
-
* configure reactivity on a node (`docs/reactivity.md` §Per-cohort policy, §Delta payloads).
|
|
68
|
-
*/
|
|
69
|
-
export interface ReactivityNodePolicy {
|
|
70
|
-
/** Whether this node may instantiate a forwarder / become a T3 producer. */
|
|
71
|
-
readonly mayForward: boolean;
|
|
72
|
-
/** `delta_max` (bytes): Core 4096, Edge 0 (declines deltas). */
|
|
73
|
-
readonly deltaMaxBytes: number;
|
|
74
|
-
}
|
|
75
|
-
|
|
76
|
-
/** Resolve the {@link ReactivityNodePolicy} for a profile (forwarder eligibility + `delta_max`). */
|
|
77
|
-
export function reactivityNodePolicy(profile: NodeProfile): ReactivityNodePolicy {
|
|
78
|
-
return { mayForward: mayServeAsReactivityForwarder(profile), deltaMaxBytes: deltaMaxForProfile(profile) };
|
|
79
|
-
}
|
|
1
|
+
/**
|
|
2
|
+
* Reactivity — per-cohort Edge/Core policy (`docs/reactivity.md` §Per-cohort policy).
|
|
3
|
+
*
|
|
4
|
+
* Reactivity is **T3 (luxury)** at the cohort-topic layer. Two consequences are enforced here, the
|
|
5
|
+
* authoritative home for the reactivity producer-side policy:
|
|
6
|
+
*
|
|
7
|
+
* 1. **Edge nodes never serve as reactivity forwarders** — only as subscribers. A T3 *consumer* is fine
|
|
8
|
+
* on Edge (a phone wants notifications); a T3 *producer* is off in the Edge profile. The willingness
|
|
9
|
+
* check ({@link import("../cohort-topic/willingness.js")}) already declines T3 admission on an Edge
|
|
10
|
+
* node because `edgeProfile().willingTiers` excludes {@link Tier.T3}; this module adds the *reactivity*
|
|
11
|
+
* gate at the point a node decides whether to instantiate a {@link PushState} / become a forwarder, so
|
|
12
|
+
* the decision is explicit and testable rather than implicit in cohort admission.
|
|
13
|
+
* 2. **`delta_max` is Edge 0 / Core 4096** — the authoritative plumbing the origination ticket only
|
|
14
|
+
* *consumed*. Re-exported here from {@link import("./config.js")} so the policy surface is singular.
|
|
15
|
+
*
|
|
16
|
+
* The per-cohort topic budget (`topics_max`) bounds the collections a cohort serves; reactivity needs no
|
|
17
|
+
* admission policy beyond the cohort-topic default, so it is not re-implemented here.
|
|
18
|
+
*/
|
|
19
|
+
|
|
20
|
+
import { Tier, type NodeProfile } from "../cohort-topic/tiers.js";
|
|
21
|
+
import { deltaMaxForProfile } from "./config.js";
|
|
22
|
+
import { PushState, type PushStateInit } from "./push-state.js";
|
|
23
|
+
|
|
24
|
+
/**
|
|
25
|
+
* Whether a node with `profile` may serve as a reactivity **forwarder** (T3 producer). `true` only when
|
|
26
|
+
* the profile is willing to forward T3 — Core by default, an operator-narrowable Core, never Edge.
|
|
27
|
+
* Equivalent to `profile.willingTiers.has(Tier.T3)`: Edge's willing set is `{T0, T1}`, so this is `false`
|
|
28
|
+
* on every Edge node and on a Core node an operator has restricted away from T3.
|
|
29
|
+
*/
|
|
30
|
+
export function mayServeAsReactivityForwarder(profile: NodeProfile): boolean {
|
|
31
|
+
return profile.willingTiers.has(Tier.T3);
|
|
32
|
+
}
|
|
33
|
+
|
|
34
|
+
/** A subscriber-only node (Edge, or a Core narrowed off T3) attempted to instantiate a reactivity forwarder. */
|
|
35
|
+
export class ReactivityForwarderForbiddenError extends Error {
|
|
36
|
+
constructor(readonly profileKind: NodeProfile["kind"]) {
|
|
37
|
+
super(`reactivity: a ${profileKind} node that does not forward T3 cannot instantiate a forwarder (subscriber-only)`);
|
|
38
|
+
this.name = "ReactivityForwarderForbiddenError";
|
|
39
|
+
}
|
|
40
|
+
}
|
|
41
|
+
|
|
42
|
+
/**
|
|
43
|
+
* Instantiate a forwarder {@link PushState} **only if** `profile` may forward T3. Returns `undefined` for a
|
|
44
|
+
* subscriber-only node (Edge, or a Core narrowed off T3) — the caller does not become a forwarder, leaving
|
|
45
|
+
* it a pure subscriber. This is the explicit gate the §Per-cohort policy "Edge nodes never serve as
|
|
46
|
+
* reactivity forwarders" rule names; a node consults it before allocating any per-collection push state.
|
|
47
|
+
*/
|
|
48
|
+
export function instantiateForwarderPushState(profile: NodeProfile, init: PushStateInit): PushState | undefined {
|
|
49
|
+
return mayServeAsReactivityForwarder(profile) ? new PushState(init) : undefined;
|
|
50
|
+
}
|
|
51
|
+
|
|
52
|
+
/**
|
|
53
|
+
* Like {@link instantiateForwarderPushState} but **throws** {@link ReactivityForwarderForbiddenError} on a
|
|
54
|
+
* subscriber-only node, for call sites that treat an Edge forwarder attempt as a programming error rather
|
|
55
|
+
* than a silent no-op (e.g. a host wiring that should never route forwarder duty to an Edge node).
|
|
56
|
+
*/
|
|
57
|
+
export function requireForwarderPushState(profile: NodeProfile, init: PushStateInit): PushState {
|
|
58
|
+
if (!mayServeAsReactivityForwarder(profile)) {
|
|
59
|
+
throw new ReactivityForwarderForbiddenError(profile.kind);
|
|
60
|
+
}
|
|
61
|
+
return new PushState(init);
|
|
62
|
+
}
|
|
63
|
+
|
|
64
|
+
/**
|
|
65
|
+
* The effective reactivity producer policy for a node profile: whether it may forward, and its `delta_max`
|
|
66
|
+
* budget (Edge 0 — reject inbound `delta`, re-read the chain; Core 4096). The single struct a host reads to
|
|
67
|
+
* configure reactivity on a node (`docs/reactivity.md` §Per-cohort policy, §Delta payloads).
|
|
68
|
+
*/
|
|
69
|
+
export interface ReactivityNodePolicy {
|
|
70
|
+
/** Whether this node may instantiate a forwarder / become a T3 producer. */
|
|
71
|
+
readonly mayForward: boolean;
|
|
72
|
+
/** `delta_max` (bytes): Core 4096, Edge 0 (declines deltas). */
|
|
73
|
+
readonly deltaMaxBytes: number;
|
|
74
|
+
}
|
|
75
|
+
|
|
76
|
+
/** Resolve the {@link ReactivityNodePolicy} for a profile (forwarder eligibility + `delta_max`). */
|
|
77
|
+
export function reactivityNodePolicy(profile: NodeProfile): ReactivityNodePolicy {
|
|
78
|
+
return { mayForward: mayServeAsReactivityForwarder(profile), deltaMaxBytes: deltaMaxForProfile(profile) };
|
|
79
|
+
}
|