@agentplat/mesh 0.3.0-beta.2 → 0.3.0-beta.3
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 +133 -4
- package/dist/adaptive-overlay-contracts.d.ts +149 -0
- package/dist/adaptive-overlay-contracts.d.ts.map +1 -0
- package/dist/adaptive-overlay-contracts.js +3 -0
- package/dist/adaptive-overlay-contracts.js.map +1 -0
- package/dist/adaptive-overlay-runtime.d.ts +67 -0
- package/dist/adaptive-overlay-runtime.d.ts.map +1 -0
- package/dist/adaptive-overlay-runtime.js +427 -0
- package/dist/adaptive-overlay-runtime.js.map +1 -0
- package/dist/adaptive-overlay-validation.d.ts +19 -0
- package/dist/adaptive-overlay-validation.d.ts.map +1 -0
- package/dist/adaptive-overlay-validation.js +326 -0
- package/dist/adaptive-overlay-validation.js.map +1 -0
- package/dist/adaptive-overlay.d.ts +4 -0
- package/dist/adaptive-overlay.d.ts.map +1 -0
- package/dist/adaptive-overlay.js +4 -0
- package/dist/adaptive-overlay.js.map +1 -0
- package/dist/authenticated-overlay-transport.d.ts +227 -0
- package/dist/authenticated-overlay-transport.d.ts.map +1 -0
- package/dist/authenticated-overlay-transport.js +702 -0
- package/dist/authenticated-overlay-transport.js.map +1 -0
- package/dist/authority-continuity-contracts.d.ts +249 -0
- package/dist/authority-continuity-contracts.d.ts.map +1 -0
- package/dist/authority-continuity-contracts.js +11 -0
- package/dist/authority-continuity-contracts.js.map +1 -0
- package/dist/authority-continuity.d.ts +43 -0
- package/dist/authority-continuity.d.ts.map +1 -0
- package/dist/authority-continuity.js +1338 -0
- package/dist/authority-continuity.js.map +1 -0
- package/dist/continuity.d.ts +3 -0
- package/dist/continuity.d.ts.map +1 -0
- package/dist/continuity.js +3 -0
- package/dist/continuity.js.map +1 -0
- package/dist/coordination-allocation-contracts.d.ts +6 -0
- package/dist/coordination-allocation-contracts.d.ts.map +1 -1
- package/dist/coordination-allocation-state.d.ts.map +1 -1
- package/dist/coordination-allocation-state.js +37 -7
- package/dist/coordination-allocation-state.js.map +1 -1
- package/dist/coordination-allocation.d.ts +1 -1
- package/dist/coordination-allocation.d.ts.map +1 -1
- package/dist/coordination-allocation.js +92 -11
- package/dist/coordination-allocation.js.map +1 -1
- package/dist/coordination-discovery-state.d.ts.map +1 -1
- package/dist/coordination-discovery-state.js +5 -3
- package/dist/coordination-discovery-state.js.map +1 -1
- package/dist/coordination-recovery.js +5 -1
- package/dist/coordination-recovery.js.map +1 -1
- package/dist/durability.d.ts +22 -0
- package/dist/durability.d.ts.map +1 -1
- package/dist/durability.js +22 -0
- package/dist/durability.js.map +1 -1
- package/dist/overlay-transport.d.ts +7 -0
- package/dist/overlay-transport.d.ts.map +1 -0
- package/dist/overlay-transport.js +7 -0
- package/dist/overlay-transport.js.map +1 -0
- package/dist/overlay.d.ts +9 -0
- package/dist/overlay.d.ts.map +1 -0
- package/dist/overlay.js +9 -0
- package/dist/overlay.js.map +1 -0
- package/dist/sparse-overlay-contracts.d.ts +91 -0
- package/dist/sparse-overlay-contracts.d.ts.map +1 -0
- package/dist/sparse-overlay-contracts.js +2 -0
- package/dist/sparse-overlay-contracts.js.map +1 -0
- package/dist/sparse-overlay-durability.d.ts +23 -0
- package/dist/sparse-overlay-durability.d.ts.map +1 -0
- package/dist/sparse-overlay-durability.js +97 -0
- package/dist/sparse-overlay-durability.js.map +1 -0
- package/dist/sparse-overlay-runtime-contracts.d.ts +158 -0
- package/dist/sparse-overlay-runtime-contracts.d.ts.map +1 -0
- package/dist/sparse-overlay-runtime-contracts.js +2 -0
- package/dist/sparse-overlay-runtime-contracts.js.map +1 -0
- package/dist/sparse-overlay-runtime.d.ts +48 -0
- package/dist/sparse-overlay-runtime.d.ts.map +1 -0
- package/dist/sparse-overlay-runtime.js +763 -0
- package/dist/sparse-overlay-runtime.js.map +1 -0
- package/dist/sparse-overlay-transport-contracts.d.ts +183 -0
- package/dist/sparse-overlay-transport-contracts.d.ts.map +1 -0
- package/dist/sparse-overlay-transport-contracts.js +2 -0
- package/dist/sparse-overlay-transport-contracts.js.map +1 -0
- package/dist/sparse-overlay-transport-durability.d.ts +19 -0
- package/dist/sparse-overlay-transport-durability.d.ts.map +1 -0
- package/dist/sparse-overlay-transport-durability.js +91 -0
- package/dist/sparse-overlay-transport-durability.js.map +1 -0
- package/dist/sparse-overlay-transport.d.ts +97 -0
- package/dist/sparse-overlay-transport.d.ts.map +1 -0
- package/dist/sparse-overlay-transport.js +888 -0
- package/dist/sparse-overlay-transport.js.map +1 -0
- package/dist/sparse-overlay.d.ts +74 -0
- package/dist/sparse-overlay.d.ts.map +1 -0
- package/dist/sparse-overlay.js +817 -0
- package/dist/sparse-overlay.js.map +1 -0
- package/package.json +20 -4
|
@@ -0,0 +1,427 @@
|
|
|
1
|
+
import { createMeshAdaptiveOverlayAppliedViewV1, createMeshAdaptiveOverlayBindingV1, createMeshAdaptiveOverlayCertificateV1, createMeshAdaptiveOverlayStateV1, validateMeshAdaptiveOverlayCertificateV1, validateMeshAdaptiveOverlayPolicyV1, validateMeshAdaptiveOverlayProposalV1, validateMeshAdaptiveOverlaySignalV1, validateMeshAdaptiveOverlayStateV1, } from "./adaptive-overlay-validation.js";
|
|
2
|
+
import { createMeshSparsePeerViewV2, meshSparseOverlayProfileV2, validateMeshSparsePeerViewV2, } from "./sparse-overlay.js";
|
|
3
|
+
const DEFAULT_MAXIMUM_SIGNALS = 1_024;
|
|
4
|
+
const DEFAULT_MAXIMUM_PROPOSALS = 256;
|
|
5
|
+
const DEFAULT_MAXIMUM_CERTIFICATES = 256;
|
|
6
|
+
/** CAS-backed governance for independently witnessed local sparse-view refreshes. */
|
|
7
|
+
export class MeshAdaptiveOverlayRuntimeV1 {
|
|
8
|
+
options;
|
|
9
|
+
maximumSignals;
|
|
10
|
+
maximumProposals;
|
|
11
|
+
maximumCertificates;
|
|
12
|
+
anchor;
|
|
13
|
+
policy;
|
|
14
|
+
constructor(options) {
|
|
15
|
+
this.options = options;
|
|
16
|
+
if (!options.policy ||
|
|
17
|
+
!options.store ||
|
|
18
|
+
!options.verifier ||
|
|
19
|
+
!options.certificateVerifier)
|
|
20
|
+
fail("store and verification ports are required");
|
|
21
|
+
this.policy = validateMeshAdaptiveOverlayPolicyV1(options.policy);
|
|
22
|
+
this.maximumSignals = positive(options.maximumSignals ?? DEFAULT_MAXIMUM_SIGNALS, "maximumSignals");
|
|
23
|
+
this.maximumProposals = positive(options.maximumProposals ?? DEFAULT_MAXIMUM_PROPOSALS, "maximumProposals");
|
|
24
|
+
this.maximumCertificates = positive(options.maximumCertificates ?? DEFAULT_MAXIMUM_CERTIFICATES, "maximumCertificates");
|
|
25
|
+
this.anchor =
|
|
26
|
+
options.monotonicAnchor ??
|
|
27
|
+
options.store;
|
|
28
|
+
if (typeof this.anchor.readAnchor !== "function")
|
|
29
|
+
fail("external monotonic anchor is required");
|
|
30
|
+
}
|
|
31
|
+
async initialize(input) {
|
|
32
|
+
const binding = createMeshAdaptiveOverlayBindingV1(input.binding);
|
|
33
|
+
const existing = await this.options.store.load(binding.overlayId);
|
|
34
|
+
if (existing) {
|
|
35
|
+
const state = await this.assertCurrentState(existing, binding.overlayId);
|
|
36
|
+
if (state.currentBinding.bindingDigest !== binding.bindingDigest)
|
|
37
|
+
fail("initialize binding conflicts with durable state");
|
|
38
|
+
return state;
|
|
39
|
+
}
|
|
40
|
+
if (await this.anchor.readAnchor(binding.overlayId))
|
|
41
|
+
fail("state rollback detected before initialization");
|
|
42
|
+
const state = createMeshAdaptiveOverlayStateV1({
|
|
43
|
+
revision: 0,
|
|
44
|
+
policyDigest: this.policy.policyDigest,
|
|
45
|
+
currentBinding: binding,
|
|
46
|
+
applied: null,
|
|
47
|
+
signals: [],
|
|
48
|
+
proposals: [],
|
|
49
|
+
certificates: [],
|
|
50
|
+
conflicts: [],
|
|
51
|
+
lastLogicalTimeMs: logical(input.logicalTimeMs),
|
|
52
|
+
});
|
|
53
|
+
if (!(await this.options.store.compareAndSwap({
|
|
54
|
+
overlayId: binding.overlayId,
|
|
55
|
+
expectedRevision: null,
|
|
56
|
+
expectedStateDigest: null,
|
|
57
|
+
next: state,
|
|
58
|
+
}))) {
|
|
59
|
+
const raced = await this.options.store.load(binding.overlayId);
|
|
60
|
+
return raced
|
|
61
|
+
? this.assertCurrentState(raced, binding.overlayId)
|
|
62
|
+
: fail("initialize conflict");
|
|
63
|
+
}
|
|
64
|
+
return state;
|
|
65
|
+
}
|
|
66
|
+
/** Authentication makes a signal admissible; only a certificate can authorize an adaptation. */
|
|
67
|
+
async observe(input) {
|
|
68
|
+
const signal = validateMeshAdaptiveOverlaySignalV1(input.signal);
|
|
69
|
+
const time = logical(input.logicalTimeMs);
|
|
70
|
+
const state = await this.requireState(signal.binding.overlayId, input.expectedRevision);
|
|
71
|
+
if (!sameBinding(signal.binding, state.currentBinding))
|
|
72
|
+
return result("stale", "binding_stale", state);
|
|
73
|
+
if (time < state.lastLogicalTimeMs ||
|
|
74
|
+
time < signal.observedAtLogicalMs ||
|
|
75
|
+
time > signal.expiresAtLogicalMs)
|
|
76
|
+
return result("stale", "signal_expired_future_or_clock_regressed", state);
|
|
77
|
+
if (time > this.policy.validUntilLogicalMs ||
|
|
78
|
+
signal.expiresAtLogicalMs > this.policy.validUntilLogicalMs ||
|
|
79
|
+
signal.expiresAtLogicalMs - signal.observedAtLogicalMs >
|
|
80
|
+
this.policy.maximumSignalLifetimeMs ||
|
|
81
|
+
!this.policy.observers.some((observer) => observer.peerId === signal.observerPeerId &&
|
|
82
|
+
observer.groupId === signal.observerGroupId))
|
|
83
|
+
return result("rejected", "signal_outside_local_policy", state);
|
|
84
|
+
const profile = meshAdaptiveOverlayProfileForBindingV1(signal.binding);
|
|
85
|
+
if (signal.subjectPeerIndex >= profile.maximumPeers ||
|
|
86
|
+
signal.subjectPeerIndex === signal.binding.localPeerIndex)
|
|
87
|
+
return result("rejected", "signal_subject_invalid", state);
|
|
88
|
+
if (!(await this.options.verifier.verify(signal)))
|
|
89
|
+
return result("rejected", "signal_authentication_rejected", state);
|
|
90
|
+
const duplicate = state.signals.find((item) => item.signalDigest === signal.signalDigest);
|
|
91
|
+
if (duplicate)
|
|
92
|
+
return result("duplicate", "signal_duplicate", state);
|
|
93
|
+
if (state.signals.some((item) => item.signalId === signal.signalId &&
|
|
94
|
+
item.signalDigest !== signal.signalDigest))
|
|
95
|
+
return this.conflict(state, time, signal.signalDigest, "signal_equivocation");
|
|
96
|
+
if (state.signals.length >= this.maximumSignals)
|
|
97
|
+
return result("rejected", "signal_capacity_exceeded", state);
|
|
98
|
+
const next = nextState(state, {
|
|
99
|
+
signals: [...state.signals, signal],
|
|
100
|
+
lastLogicalTimeMs: time,
|
|
101
|
+
});
|
|
102
|
+
if (!(await this.cas(state, next)))
|
|
103
|
+
return result("conflict", "cas_conflict", state);
|
|
104
|
+
return result("observed", "signal_observed", next);
|
|
105
|
+
}
|
|
106
|
+
async certify(input) {
|
|
107
|
+
const proposal = validateMeshAdaptiveOverlayProposalV1(input.proposal);
|
|
108
|
+
const time = logical(input.logicalTimeMs);
|
|
109
|
+
const state = await this.requireState(proposal.binding.overlayId, input.expectedRevision);
|
|
110
|
+
if (!sameBinding(proposal.binding, state.currentBinding))
|
|
111
|
+
return result("stale", "binding_stale", state);
|
|
112
|
+
if (time < state.lastLogicalTimeMs ||
|
|
113
|
+
time < proposal.proposedAtLogicalMs ||
|
|
114
|
+
time > proposal.expiresAtLogicalMs ||
|
|
115
|
+
time > proposal.policy.validUntilLogicalMs)
|
|
116
|
+
return result("stale", "proposal_expired_future_or_clock_regressed", state);
|
|
117
|
+
if (proposal.policy.policyDigest !== this.policy.policyDigest)
|
|
118
|
+
return result("rejected", "proposal_policy_not_local", state);
|
|
119
|
+
const existing = state.certificates.find((item) => item.proposalDigest === proposal.proposalDigest);
|
|
120
|
+
if (existing)
|
|
121
|
+
return result("duplicate", "certificate_duplicate", state, existing);
|
|
122
|
+
if (state.proposals.some((item) => item.proposalId === proposal.proposalId &&
|
|
123
|
+
item.proposalDigest !== proposal.proposalDigest))
|
|
124
|
+
return this.conflict(state, time, proposal.proposalDigest, "proposal_equivocation");
|
|
125
|
+
const evidence = proposal.signalDigests.map((digest) => state.signals.find((signal) => signal.signalDigest === digest));
|
|
126
|
+
if (evidence.some((signal) => !signal))
|
|
127
|
+
return result("rejected", "signal_evidence_missing", state);
|
|
128
|
+
const signals = evidence;
|
|
129
|
+
if (signals.some((signal) => !sameBinding(signal.binding, proposal.binding) ||
|
|
130
|
+
signal.expiresAtLogicalMs < time))
|
|
131
|
+
return result("rejected", "signal_evidence_stale", state);
|
|
132
|
+
const policy = validateMeshAdaptiveOverlayPolicyV1(proposal.policy);
|
|
133
|
+
if (proposal.excludedNeighborIndexes.length !== 1 ||
|
|
134
|
+
signals.some((signal) => signal.subjectPeerIndex !== proposal.excludedNeighborIndexes[0]))
|
|
135
|
+
return result("rejected", "proposal_subject_binding_invalid", state);
|
|
136
|
+
if (signals.some((signal) => signal.expiresAtLogicalMs - signal.observedAtLogicalMs >
|
|
137
|
+
policy.maximumSignalLifetimeMs))
|
|
138
|
+
return result("rejected", "signal_lifetime_exceeds_policy", state);
|
|
139
|
+
const eligible = new Map(policy.observers.map((observer) => [observer.peerId, observer.groupId]));
|
|
140
|
+
if (signals.some((signal) => eligible.get(signal.observerPeerId) !== signal.observerGroupId))
|
|
141
|
+
return result("rejected", "observer_not_eligible", state);
|
|
142
|
+
if (new Set(signals.map((signal) => signal.observerPeerId)).size !==
|
|
143
|
+
signals.length)
|
|
144
|
+
return result("rejected", "observer_duplicate", state);
|
|
145
|
+
const groups = [
|
|
146
|
+
...new Set(signals.map((signal) => signal.observerGroupId)),
|
|
147
|
+
].sort();
|
|
148
|
+
if (groups.length < policy.independentGroupThreshold)
|
|
149
|
+
return result("rejected", "independent_group_threshold_not_met", state);
|
|
150
|
+
if (state.proposals.length >= this.maximumProposals ||
|
|
151
|
+
state.certificates.length >= this.maximumCertificates)
|
|
152
|
+
return result("rejected", "certificate_capacity_exceeded", state);
|
|
153
|
+
/* Certificates preserve one signal -> one observer tuple. Group uniqueness was checked above. */
|
|
154
|
+
const witnesses = [...signals].sort((left, right) => left.observerPeerId.localeCompare(right.observerPeerId));
|
|
155
|
+
const certificate = createMeshAdaptiveOverlayCertificateV1({
|
|
156
|
+
certificateId: `overlay-cert:${proposal.proposalId}`,
|
|
157
|
+
proposalId: proposal.proposalId,
|
|
158
|
+
proposalDigest: proposal.proposalDigest,
|
|
159
|
+
binding: proposal.binding,
|
|
160
|
+
policy,
|
|
161
|
+
policyDigest: policy.policyDigest,
|
|
162
|
+
signalDigests: witnesses.map((signal) => signal.signalDigest),
|
|
163
|
+
observerPeerIds: witnesses.map((signal) => signal.observerPeerId),
|
|
164
|
+
observerGroupIds: witnesses.map((signal) => signal.observerGroupId),
|
|
165
|
+
issuedAtLogicalMs: time,
|
|
166
|
+
expiresAtLogicalMs: proposal.expiresAtLogicalMs,
|
|
167
|
+
});
|
|
168
|
+
const next = nextState(state, {
|
|
169
|
+
proposals: appendUnique(state.proposals, proposal, this.maximumProposals),
|
|
170
|
+
certificates: appendUnique(state.certificates, certificate, this.maximumCertificates),
|
|
171
|
+
lastLogicalTimeMs: time,
|
|
172
|
+
});
|
|
173
|
+
if (!(await this.cas(state, next)))
|
|
174
|
+
return result("conflict", "cas_conflict", state);
|
|
175
|
+
return result("certified", "certificate_issued", next, certificate);
|
|
176
|
+
}
|
|
177
|
+
/** Applies a current certificate or returns the exact retained application on replay. */
|
|
178
|
+
async apply(input) {
|
|
179
|
+
const certificate = validateMeshAdaptiveOverlayCertificateV1(input.certificate);
|
|
180
|
+
const time = logical(input.logicalTimeMs);
|
|
181
|
+
const state = await this.loadState(certificate.binding.overlayId);
|
|
182
|
+
const known = state.certificates.find((item) => item.certificateDigest === certificate.certificateDigest);
|
|
183
|
+
if (time < state.lastLogicalTimeMs ||
|
|
184
|
+
time < certificate.issuedAtLogicalMs ||
|
|
185
|
+
time > certificate.expiresAtLogicalMs)
|
|
186
|
+
return result("stale", "certificate_expired_future_or_clock_regressed", state);
|
|
187
|
+
if (known &&
|
|
188
|
+
state.applied?.certificateDigest === certificate.certificateDigest)
|
|
189
|
+
return result("duplicate", "application_duplicate", state, certificate, state.applied);
|
|
190
|
+
if (state.revision !== input.expectedRevision)
|
|
191
|
+
fail("state revision conflict");
|
|
192
|
+
if (!sameBinding(certificate.binding, state.currentBinding))
|
|
193
|
+
return result("stale", "binding_stale", state);
|
|
194
|
+
if (!known)
|
|
195
|
+
return result("rejected", "certificate_not_certified_locally", state);
|
|
196
|
+
if (state.applied &&
|
|
197
|
+
state.applied.binding.revision >= certificate.binding.revision)
|
|
198
|
+
return result("stale", "application_antirollback", state);
|
|
199
|
+
const proposal = state.proposals.find((item) => item.proposalDigest === certificate.proposalDigest);
|
|
200
|
+
if (!proposal)
|
|
201
|
+
return result("rejected", "proposal_missing", state);
|
|
202
|
+
const profile = input.profile;
|
|
203
|
+
const view = validateMeshSparsePeerViewV2(profile, input.view);
|
|
204
|
+
if (profile.profileDigest !== certificate.binding.profileDigest ||
|
|
205
|
+
view.viewDigest !== certificate.binding.viewDigest ||
|
|
206
|
+
view.peerIndex !== certificate.binding.localPeerIndex)
|
|
207
|
+
return result("rejected", "local_view_binding_mismatch", state);
|
|
208
|
+
const eligibleNeighbors = new Set([
|
|
209
|
+
...view.activeNeighborIndexes,
|
|
210
|
+
...view.reserveNeighborIndexes,
|
|
211
|
+
]);
|
|
212
|
+
if (proposal.excludedNeighborIndexes.some((peer) => !eligibleNeighbors.has(peer)))
|
|
213
|
+
return result("rejected", "excluded_peer_not_in_local_view", state);
|
|
214
|
+
const refreshed = createMeshSparsePeerViewV2({
|
|
215
|
+
schemaVersion: 2,
|
|
216
|
+
profile,
|
|
217
|
+
topologySeed: view.topologySeed,
|
|
218
|
+
peerIndex: view.peerIndex,
|
|
219
|
+
revision: view.revision + 1,
|
|
220
|
+
excludedNeighborIndexes: proposal.excludedNeighborIndexes,
|
|
221
|
+
});
|
|
222
|
+
const binding = createMeshAdaptiveOverlayBindingV1({
|
|
223
|
+
...certificate.binding,
|
|
224
|
+
viewDigest: refreshed.viewDigest,
|
|
225
|
+
revision: certificate.binding.revision + 1,
|
|
226
|
+
});
|
|
227
|
+
const applied = createMeshAdaptiveOverlayAppliedViewV1({
|
|
228
|
+
certificateDigest: certificate.certificateDigest,
|
|
229
|
+
binding: certificate.binding,
|
|
230
|
+
resultingViewDigest: refreshed.viewDigest,
|
|
231
|
+
resultingRevision: binding.revision,
|
|
232
|
+
appliedAtLogicalMs: time,
|
|
233
|
+
});
|
|
234
|
+
const next = nextState(state, {
|
|
235
|
+
currentBinding: binding,
|
|
236
|
+
applied,
|
|
237
|
+
lastLogicalTimeMs: time,
|
|
238
|
+
});
|
|
239
|
+
if (!(await this.cas(state, next)))
|
|
240
|
+
return result("conflict", "cas_conflict", state);
|
|
241
|
+
return result("applied", "view_refreshed", next, certificate, applied);
|
|
242
|
+
}
|
|
243
|
+
/** Reconciliation accepts an equal certificate idempotently, detects equivocation, and never regresses a view. */
|
|
244
|
+
async reconcile(input) {
|
|
245
|
+
const certificate = validateMeshAdaptiveOverlayCertificateV1(input.certificate);
|
|
246
|
+
const proposal = validateMeshAdaptiveOverlayProposalV1(input.proposal);
|
|
247
|
+
const time = logical(input.logicalTimeMs);
|
|
248
|
+
const state = await this.requireState(certificate.binding.overlayId, input.expectedRevision);
|
|
249
|
+
if (time < state.lastLogicalTimeMs ||
|
|
250
|
+
time < certificate.issuedAtLogicalMs ||
|
|
251
|
+
time > certificate.expiresAtLogicalMs)
|
|
252
|
+
return result("stale", "certificate_expired_future_or_clock_regressed", state);
|
|
253
|
+
if (certificate.binding.revision < state.currentBinding.revision)
|
|
254
|
+
return result("stale", "certificate_antirollback", state);
|
|
255
|
+
if (certificate.proposalDigest !== proposal.proposalDigest ||
|
|
256
|
+
certificate.proposalId !== proposal.proposalId ||
|
|
257
|
+
certificate.policyDigest !== proposal.policy.policyDigest ||
|
|
258
|
+
certificate.binding.bindingDigest !== proposal.binding.bindingDigest ||
|
|
259
|
+
certificate.expiresAtLogicalMs !== proposal.expiresAtLogicalMs)
|
|
260
|
+
return result("rejected", "certificate_proposal_binding_invalid", state);
|
|
261
|
+
if (certificate.policyDigest !== this.policy.policyDigest ||
|
|
262
|
+
proposal.policy.policyDigest !== this.policy.policyDigest)
|
|
263
|
+
return result("rejected", "certificate_policy_not_local", state);
|
|
264
|
+
if ([...certificate.signalDigests].sort().join("|") !==
|
|
265
|
+
[...proposal.signalDigests].sort().join("|"))
|
|
266
|
+
return result("rejected", "certificate_signal_set_invalid", state);
|
|
267
|
+
if (!certificateHasIndependentEligibleWitnesses(certificate))
|
|
268
|
+
return result("rejected", "certificate_witnesses_invalid", state);
|
|
269
|
+
if (!(await this.options.certificateVerifier.verify({
|
|
270
|
+
certificate,
|
|
271
|
+
proposal,
|
|
272
|
+
})))
|
|
273
|
+
return result("rejected", "certificate_authentication_rejected", state);
|
|
274
|
+
const sameId = state.certificates.find((item) => item.certificateId === certificate.certificateId);
|
|
275
|
+
if (sameId && sameId.certificateDigest === certificate.certificateDigest)
|
|
276
|
+
return result("duplicate", "certificate_duplicate", state, sameId);
|
|
277
|
+
if (sameId ||
|
|
278
|
+
state.certificates.some((item) => item.binding.revision === certificate.binding.revision &&
|
|
279
|
+
item.certificateDigest !== certificate.certificateDigest))
|
|
280
|
+
return this.conflict(state, time, certificate.certificateDigest, "certificate_equivocation");
|
|
281
|
+
const sameProposal = state.proposals.find((item) => item.proposalId === proposal.proposalId);
|
|
282
|
+
if (sameProposal && sameProposal.proposalDigest !== proposal.proposalDigest)
|
|
283
|
+
return this.conflict(state, time, proposal.proposalDigest, "proposal_equivocation");
|
|
284
|
+
if (!sameBinding(certificate.binding, state.currentBinding))
|
|
285
|
+
return result("stale", "certificate_binding_not_current", state);
|
|
286
|
+
if (state.certificates.length >= this.maximumCertificates)
|
|
287
|
+
return result("rejected", "certificate_capacity_exceeded", state);
|
|
288
|
+
const next = nextState(state, {
|
|
289
|
+
proposals: sameProposal
|
|
290
|
+
? state.proposals
|
|
291
|
+
: appendUnique(state.proposals, proposal, this.maximumProposals),
|
|
292
|
+
certificates: [...state.certificates, certificate],
|
|
293
|
+
lastLogicalTimeMs: time,
|
|
294
|
+
});
|
|
295
|
+
if (!(await this.cas(state, next)))
|
|
296
|
+
return result("conflict", "cas_conflict", state);
|
|
297
|
+
return result("certified", "certificate_reconciled", next, certificate);
|
|
298
|
+
}
|
|
299
|
+
async loadState(overlayId) {
|
|
300
|
+
const loaded = await this.options.store.load(overlayId);
|
|
301
|
+
if (!loaded)
|
|
302
|
+
fail("state revision conflict");
|
|
303
|
+
return this.assertCurrentState(loaded, overlayId);
|
|
304
|
+
}
|
|
305
|
+
async requireState(overlayId, expectedRevision) {
|
|
306
|
+
const state = await this.loadState(overlayId);
|
|
307
|
+
if (state.revision !== expectedRevision)
|
|
308
|
+
fail("state revision conflict");
|
|
309
|
+
return state;
|
|
310
|
+
}
|
|
311
|
+
async assertCurrentState(input, overlayId) {
|
|
312
|
+
const state = validateMeshAdaptiveOverlayStateV1(input);
|
|
313
|
+
if (state.currentBinding.overlayId !== overlayId ||
|
|
314
|
+
state.policyDigest !== this.policy.policyDigest)
|
|
315
|
+
fail("state overlay or policy binding invalid");
|
|
316
|
+
const anchor = await this.anchor.readAnchor(overlayId);
|
|
317
|
+
if (anchor &&
|
|
318
|
+
(state.revision < anchor.revision ||
|
|
319
|
+
state.currentBinding.revision < anchor.bindingRevision ||
|
|
320
|
+
state.lastLogicalTimeMs < anchor.lastLogicalTimeMs ||
|
|
321
|
+
(state.revision === anchor.revision &&
|
|
322
|
+
state.stateDigest !== anchor.stateDigest)))
|
|
323
|
+
fail("state rollback or equivocation detected");
|
|
324
|
+
return state;
|
|
325
|
+
}
|
|
326
|
+
async cas(previous, next) {
|
|
327
|
+
return this.options.store.compareAndSwap({
|
|
328
|
+
overlayId: previous.currentBinding.overlayId,
|
|
329
|
+
expectedRevision: previous.revision,
|
|
330
|
+
expectedStateDigest: previous.stateDigest,
|
|
331
|
+
next,
|
|
332
|
+
});
|
|
333
|
+
}
|
|
334
|
+
async conflict(state, time, digest, reasonCode) {
|
|
335
|
+
const next = nextState(state, {
|
|
336
|
+
conflicts: [...state.conflicts, digest].slice(-this.maximumCertificates),
|
|
337
|
+
lastLogicalTimeMs: time,
|
|
338
|
+
});
|
|
339
|
+
if (!(await this.cas(state, next)))
|
|
340
|
+
return result("conflict", "cas_conflict", state);
|
|
341
|
+
return result("conflict", reasonCode, next);
|
|
342
|
+
}
|
|
343
|
+
}
|
|
344
|
+
/** Minimal local store for composition tests; production adapters must persist compare-and-swap atomically. */
|
|
345
|
+
export class InMemoryMeshAdaptiveOverlayStoreV1 {
|
|
346
|
+
values = new Map();
|
|
347
|
+
anchors = new Map();
|
|
348
|
+
async load(overlayId) {
|
|
349
|
+
return this.values.get(overlayId);
|
|
350
|
+
}
|
|
351
|
+
async readAnchor(overlayId) {
|
|
352
|
+
return this.anchors.get(overlayId);
|
|
353
|
+
}
|
|
354
|
+
async compareAndSwap(input) {
|
|
355
|
+
const current = this.values.get(input.overlayId);
|
|
356
|
+
if ((current?.revision ?? null) !== input.expectedRevision ||
|
|
357
|
+
(current?.stateDigest ?? null) !== input.expectedStateDigest)
|
|
358
|
+
return false;
|
|
359
|
+
this.values.set(input.overlayId, input.next);
|
|
360
|
+
this.anchors.set(input.overlayId, {
|
|
361
|
+
revision: input.next.revision,
|
|
362
|
+
bindingRevision: input.next.currentBinding.revision,
|
|
363
|
+
lastLogicalTimeMs: input.next.lastLogicalTimeMs,
|
|
364
|
+
stateDigest: input.next.stateDigest,
|
|
365
|
+
});
|
|
366
|
+
return true;
|
|
367
|
+
}
|
|
368
|
+
}
|
|
369
|
+
export function meshAdaptiveOverlayProfileForBindingV1(binding) {
|
|
370
|
+
const profiles = ["standard-500", "large-5000", "frontier-100000"];
|
|
371
|
+
const profile = profiles
|
|
372
|
+
.map(meshSparseOverlayProfileV2)
|
|
373
|
+
.find((item) => item.profileDigest === binding.profileDigest);
|
|
374
|
+
return profile ?? fail("unknown sparse overlay profile binding");
|
|
375
|
+
}
|
|
376
|
+
function nextState(state, patch) {
|
|
377
|
+
return createMeshAdaptiveOverlayStateV1({
|
|
378
|
+
...state,
|
|
379
|
+
...patch,
|
|
380
|
+
revision: state.revision + 1,
|
|
381
|
+
});
|
|
382
|
+
}
|
|
383
|
+
function appendUnique(values, value, limit) {
|
|
384
|
+
if (values.length >= limit)
|
|
385
|
+
fail("state capacity exceeded");
|
|
386
|
+
return [...values, value];
|
|
387
|
+
}
|
|
388
|
+
function sameBinding(left, right) {
|
|
389
|
+
return left.bindingDigest === right.bindingDigest;
|
|
390
|
+
}
|
|
391
|
+
function certificateHasIndependentEligibleWitnesses(certificate) {
|
|
392
|
+
const eligible = new Map(certificate.policy.observers.map((observer) => [
|
|
393
|
+
observer.peerId,
|
|
394
|
+
observer.groupId,
|
|
395
|
+
]));
|
|
396
|
+
if (new Set(certificate.observerPeerIds).size !==
|
|
397
|
+
certificate.observerPeerIds.length)
|
|
398
|
+
return false;
|
|
399
|
+
for (let index = 0; index < certificate.observerPeerIds.length; index += 1) {
|
|
400
|
+
if (eligible.get(certificate.observerPeerIds[index]) !==
|
|
401
|
+
certificate.observerGroupIds[index])
|
|
402
|
+
return false;
|
|
403
|
+
}
|
|
404
|
+
return (new Set(certificate.observerGroupIds).size >=
|
|
405
|
+
certificate.policy.independentGroupThreshold);
|
|
406
|
+
}
|
|
407
|
+
function logical(value) {
|
|
408
|
+
return positive(value, "logicalTimeMs", 0);
|
|
409
|
+
}
|
|
410
|
+
function positive(value, name, minimum = 1) {
|
|
411
|
+
if (!Number.isSafeInteger(value) || value < minimum)
|
|
412
|
+
fail(`${name} is invalid`);
|
|
413
|
+
return value;
|
|
414
|
+
}
|
|
415
|
+
function result(decision, reasonCode, state, certificate, applied) {
|
|
416
|
+
return Object.freeze({
|
|
417
|
+
decision,
|
|
418
|
+
reasonCode,
|
|
419
|
+
state,
|
|
420
|
+
...(certificate ? { certificate } : {}),
|
|
421
|
+
...(applied ? { applied } : {}),
|
|
422
|
+
});
|
|
423
|
+
}
|
|
424
|
+
function fail(message) {
|
|
425
|
+
throw new Error(`adaptive_overlay_${message}`);
|
|
426
|
+
}
|
|
427
|
+
//# sourceMappingURL=adaptive-overlay-runtime.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"adaptive-overlay-runtime.js","sourceRoot":"","sources":["../src/adaptive-overlay-runtime.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,sCAAsC,EACtC,kCAAkC,EAClC,sCAAsC,EAEtC,gCAAgC,EAChC,wCAAwC,EACxC,mCAAmC,EACnC,qCAAqC,EACrC,mCAAmC,EACnC,kCAAkC,GACnC,MAAM,kCAAkC,CAAC;AAa1C,OAAO,EACL,0BAA0B,EAC1B,0BAA0B,EAC1B,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAM7B,MAAM,uBAAuB,GAAG,KAAK,CAAC;AACtC,MAAM,yBAAyB,GAAG,GAAG,CAAC;AACtC,MAAM,4BAA4B,GAAG,GAAG,CAAC;AAEzC,qFAAqF;AACrF,MAAM,OAAO,4BAA4B;IAOV;IANZ,cAAc,CAAS;IACvB,gBAAgB,CAAS;IACzB,mBAAmB,CAAS;IAC5B,MAAM,CAAuC;IAC7C,MAAM,CAA8B;IAErD,YAA6B,OAA4C;QAA5C,YAAO,GAAP,OAAO,CAAqC;QACvE,IACE,CAAC,OAAO,CAAC,MAAM;YACf,CAAC,OAAO,CAAC,KAAK;YACd,CAAC,OAAO,CAAC,QAAQ;YACjB,CAAC,OAAO,CAAC,mBAAmB;YAE5B,IAAI,CAAC,2CAA2C,CAAC,CAAC;QACpD,IAAI,CAAC,MAAM,GAAG,mCAAmC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAClE,IAAI,CAAC,cAAc,GAAG,QAAQ,CAC5B,OAAO,CAAC,cAAc,IAAI,uBAAuB,EACjD,gBAAgB,CACjB,CAAC;QACF,IAAI,CAAC,gBAAgB,GAAG,QAAQ,CAC9B,OAAO,CAAC,gBAAgB,IAAI,yBAAyB,EACrD,kBAAkB,CACnB,CAAC;QACF,IAAI,CAAC,mBAAmB,GAAG,QAAQ,CACjC,OAAO,CAAC,mBAAmB,IAAI,4BAA4B,EAC3D,qBAAqB,CACtB,CAAC;QACF,IAAI,CAAC,MAAM;YACT,OAAO,CAAC,eAAe;gBACtB,OAAO,CAAC,KAC8B,CAAC;QAC1C,IAAI,OAAO,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,UAAU;YAC9C,IAAI,CAAC,uCAAuC,CAAC,CAAC;IAClD,CAAC;IAED,KAAK,CAAC,UAAU,CAAC,KAGhB;QACC,MAAM,OAAO,GAAG,kCAAkC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAClE,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAClE,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;YACzE,IAAI,KAAK,CAAC,cAAc,CAAC,aAAa,KAAK,OAAO,CAAC,aAAa;gBAC9D,IAAI,CAAC,iDAAiD,CAAC,CAAC;YAC1D,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,SAAS,CAAC;YACjD,IAAI,CAAC,+CAA+C,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,gCAAgC,CAAC;YAC7C,QAAQ,EAAE,CAAC;YACX,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,YAAY;YACtC,cAAc,EAAE,OAAO;YACvB,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,EAAE;YACX,SAAS,EAAE,EAAE;YACb,YAAY,EAAE,EAAE;YAChB,SAAS,EAAE,EAAE;YACb,iBAAiB,EAAE,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC;SAChD,CAAC,CAAC;QACH,IACE,CAAC,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC;YACxC,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,gBAAgB,EAAE,IAAI;YACtB,mBAAmB,EAAE,IAAI;YACzB,IAAI,EAAE,KAAK;SACZ,CAAC,CAAC,EACH,CAAC;YACD,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAC/D,OAAO,KAAK;gBACV,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC;gBACnD,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,gGAAgG;IAChG,KAAK,CAAC,OAAO,CAAC,KAIb;QACC,MAAM,MAAM,GAAG,mCAAmC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACjE,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QAC1C,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,YAAY,CACnC,MAAM,CAAC,OAAO,CAAC,SAAS,EACxB,KAAK,CAAC,gBAAgB,CACvB,CAAC;QACF,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,cAAc,CAAC;YACpD,OAAO,MAAM,CAAC,OAAO,EAAE,eAAe,EAAE,KAAK,CAAC,CAAC;QACjD,IACE,IAAI,GAAG,KAAK,CAAC,iBAAiB;YAC9B,IAAI,GAAG,MAAM,CAAC,mBAAmB;YACjC,IAAI,GAAG,MAAM,CAAC,kBAAkB;YAEhC,OAAO,MAAM,CAAC,OAAO,EAAE,0CAA0C,EAAE,KAAK,CAAC,CAAC;QAC5E,IACE,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,mBAAmB;YACtC,MAAM,CAAC,kBAAkB,GAAG,IAAI,CAAC,MAAM,CAAC,mBAAmB;YAC3D,MAAM,CAAC,kBAAkB,GAAG,MAAM,CAAC,mBAAmB;gBACpD,IAAI,CAAC,MAAM,CAAC,uBAAuB;YACrC,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CACzB,CAAC,QAAQ,EAAE,EAAE,CACX,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,cAAc;gBACzC,QAAQ,CAAC,OAAO,KAAK,MAAM,CAAC,eAAe,CAC9C;YAED,OAAO,MAAM,CAAC,UAAU,EAAE,6BAA6B,EAAE,KAAK,CAAC,CAAC;QAClE,MAAM,OAAO,GAAG,sCAAsC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACvE,IACE,MAAM,CAAC,gBAAgB,IAAI,OAAO,CAAC,YAAY;YAC/C,MAAM,CAAC,gBAAgB,KAAK,MAAM,CAAC,OAAO,CAAC,cAAc;YAEzD,OAAO,MAAM,CAAC,UAAU,EAAE,wBAAwB,EAAE,KAAK,CAAC,CAAC;QAC7D,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC/C,OAAO,MAAM,CAAC,UAAU,EAAE,gCAAgC,EAAE,KAAK,CAAC,CAAC;QACrE,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAClC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,KAAK,MAAM,CAAC,YAAY,CACpD,CAAC;QACF,IAAI,SAAS;YAAE,OAAO,MAAM,CAAC,WAAW,EAAE,kBAAkB,EAAE,KAAK,CAAC,CAAC;QACrE,IACE,KAAK,CAAC,OAAO,CAAC,IAAI,CAChB,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ;YACjC,IAAI,CAAC,YAAY,KAAK,MAAM,CAAC,YAAY,CAC5C;YAED,OAAO,IAAI,CAAC,QAAQ,CAClB,KAAK,EACL,IAAI,EACJ,MAAM,CAAC,YAAY,EACnB,qBAAqB,CACtB,CAAC;QACJ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC,cAAc;YAC7C,OAAO,MAAM,CAAC,UAAU,EAAE,0BAA0B,EAAE,KAAK,CAAC,CAAC;QAC/D,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE;YAC5B,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC;YACnC,iBAAiB,EAAE,IAAI;SACxB,CAAC,CAAC;QACH,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAChC,OAAO,MAAM,CAAC,UAAU,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;QACnD,OAAO,MAAM,CAAC,UAAU,EAAE,iBAAiB,EAAE,IAAI,CAAC,CAAC;IACrD,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,KAIb;QACC,MAAM,QAAQ,GAAG,qCAAqC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACvE,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QAC1C,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,YAAY,CACnC,QAAQ,CAAC,OAAO,CAAC,SAAS,EAC1B,KAAK,CAAC,gBAAgB,CACvB,CAAC;QACF,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,cAAc,CAAC;YACtD,OAAO,MAAM,CAAC,OAAO,EAAE,eAAe,EAAE,KAAK,CAAC,CAAC;QACjD,IACE,IAAI,GAAG,KAAK,CAAC,iBAAiB;YAC9B,IAAI,GAAG,QAAQ,CAAC,mBAAmB;YACnC,IAAI,GAAG,QAAQ,CAAC,kBAAkB;YAClC,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,mBAAmB;YAE1C,OAAO,MAAM,CACX,OAAO,EACP,4CAA4C,EAC5C,KAAK,CACN,CAAC;QACJ,IAAI,QAAQ,CAAC,MAAM,CAAC,YAAY,KAAK,IAAI,CAAC,MAAM,CAAC,YAAY;YAC3D,OAAO,MAAM,CAAC,UAAU,EAAE,2BAA2B,EAAE,KAAK,CAAC,CAAC;QAChE,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,CAAC,IAAI,CACtC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,KAAK,QAAQ,CAAC,cAAc,CAC1D,CAAC;QACF,IAAI,QAAQ;YACV,OAAO,MAAM,CAAC,WAAW,EAAE,uBAAuB,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;QACvE,IACE,KAAK,CAAC,SAAS,CAAC,IAAI,CAClB,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,UAAU,KAAK,QAAQ,CAAC,UAAU;YACvC,IAAI,CAAC,cAAc,KAAK,QAAQ,CAAC,cAAc,CAClD;YAED,OAAO,IAAI,CAAC,QAAQ,CAClB,KAAK,EACL,IAAI,EACJ,QAAQ,CAAC,cAAc,EACvB,uBAAuB,CACxB,CAAC;QACJ,MAAM,QAAQ,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACrD,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,KAAK,MAAM,CAAC,CAC/D,CAAC;QACF,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC;YACpC,OAAO,MAAM,CAAC,UAAU,EAAE,yBAAyB,EAAE,KAAK,CAAC,CAAC;QAC9D,MAAM,OAAO,GAAG,QAAyC,CAAC;QAC1D,IACE,OAAO,CAAC,IAAI,CACV,CAAC,MAAM,EAAE,EAAE,CACT,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC;YAC9C,MAAM,CAAC,kBAAkB,GAAG,IAAI,CACnC;YAED,OAAO,MAAM,CAAC,UAAU,EAAE,uBAAuB,EAAE,KAAK,CAAC,CAAC;QAC5D,MAAM,MAAM,GAAG,mCAAmC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACpE,IACE,QAAQ,CAAC,uBAAuB,CAAC,MAAM,KAAK,CAAC;YAC7C,OAAO,CAAC,IAAI,CACV,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,gBAAgB,KAAK,QAAQ,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAClE;YAED,OAAO,MAAM,CAAC,UAAU,EAAE,kCAAkC,EAAE,KAAK,CAAC,CAAC;QACvE,IACE,OAAO,CAAC,IAAI,CACV,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,kBAAkB,GAAG,MAAM,CAAC,mBAAmB;YACtD,MAAM,CAAC,uBAAuB,CACjC;YAED,OAAO,MAAM,CAAC,UAAU,EAAE,gCAAgC,EAAE,KAAK,CAAC,CAAC;QACrE,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CACxE,CAAC;QACF,IACE,OAAO,CAAC,IAAI,CACV,CAAC,MAAM,EAAE,EAAE,CACT,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,MAAM,CAAC,eAAe,CACjE;YAED,OAAO,MAAM,CAAC,UAAU,EAAE,uBAAuB,EAAE,KAAK,CAAC,CAAC;QAC5D,IACE,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI;YAC5D,OAAO,CAAC,MAAM;YAEd,OAAO,MAAM,CAAC,UAAU,EAAE,oBAAoB,EAAE,KAAK,CAAC,CAAC;QACzD,MAAM,MAAM,GAAG;YACb,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;SAC5D,CAAC,IAAI,EAAE,CAAC;QACT,IAAI,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,yBAAyB;YAClD,OAAO,MAAM,CAAC,UAAU,EAAE,qCAAqC,EAAE,KAAK,CAAC,CAAC;QAC1E,IACE,KAAK,CAAC,SAAS,CAAC,MAAM,IAAI,IAAI,CAAC,gBAAgB;YAC/C,KAAK,CAAC,YAAY,CAAC,MAAM,IAAI,IAAI,CAAC,mBAAmB;YAErD,OAAO,MAAM,CAAC,UAAU,EAAE,+BAA+B,EAAE,KAAK,CAAC,CAAC;QACpE,iGAAiG;QACjG,MAAM,SAAS,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAClD,IAAI,CAAC,cAAc,CAAC,aAAa,CAAC,KAAK,CAAC,cAAc,CAAC,CACxD,CAAC;QACF,MAAM,WAAW,GAAG,sCAAsC,CAAC;YACzD,aAAa,EAAE,gBAAgB,QAAQ,CAAC,UAAU,EAAE;YACpD,UAAU,EAAE,QAAQ,CAAC,UAAU;YAC/B,cAAc,EAAE,QAAQ,CAAC,cAAc;YACvC,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,MAAM;YACN,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,aAAa,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC;YAC7D,eAAe,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC;YACjE,gBAAgB,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC;YACnE,iBAAiB,EAAE,IAAI;YACvB,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB;SAChD,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE;YAC5B,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,gBAAgB,CAAC;YACzE,YAAY,EAAE,YAAY,CACxB,KAAK,CAAC,YAAY,EAClB,WAAW,EACX,IAAI,CAAC,mBAAmB,CACzB;YACD,iBAAiB,EAAE,IAAI;SACxB,CAAC,CAAC;QACH,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAChC,OAAO,MAAM,CAAC,UAAU,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;QACnD,OAAO,MAAM,CAAC,WAAW,EAAE,oBAAoB,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACtE,CAAC;IAED,yFAAyF;IACzF,KAAK,CAAC,KAAK,CAAC,KAMX;QACC,MAAM,WAAW,GAAG,wCAAwC,CAC1D,KAAK,CAAC,WAAW,CAClB,CAAC;QACF,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QAC1C,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAClE,MAAM,KAAK,GAAG,KAAK,CAAC,YAAY,CAAC,IAAI,CACnC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,iBAAiB,KAAK,WAAW,CAAC,iBAAiB,CACnE,CAAC;QACF,IACE,IAAI,GAAG,KAAK,CAAC,iBAAiB;YAC9B,IAAI,GAAG,WAAW,CAAC,iBAAiB;YACpC,IAAI,GAAG,WAAW,CAAC,kBAAkB;YAErC,OAAO,MAAM,CACX,OAAO,EACP,+CAA+C,EAC/C,KAAK,CACN,CAAC;QACJ,IACE,KAAK;YACL,KAAK,CAAC,OAAO,EAAE,iBAAiB,KAAK,WAAW,CAAC,iBAAiB;YAElE,OAAO,MAAM,CACX,WAAW,EACX,uBAAuB,EACvB,KAAK,EACL,WAAW,EACX,KAAK,CAAC,OAAO,CACd,CAAC;QACJ,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,gBAAgB;YAC3C,IAAI,CAAC,yBAAyB,CAAC,CAAC;QAClC,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,cAAc,CAAC;YACzD,OAAO,MAAM,CAAC,OAAO,EAAE,eAAe,EAAE,KAAK,CAAC,CAAC;QACjD,IAAI,CAAC,KAAK;YACR,OAAO,MAAM,CAAC,UAAU,EAAE,mCAAmC,EAAE,KAAK,CAAC,CAAC;QACxE,IACE,KAAK,CAAC,OAAO;YACb,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,IAAI,WAAW,CAAC,OAAO,CAAC,QAAQ;YAE9D,OAAO,MAAM,CAAC,OAAO,EAAE,0BAA0B,EAAE,KAAK,CAAC,CAAC;QAC5D,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CACnC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,KAAK,WAAW,CAAC,cAAc,CAC7D,CAAC;QACF,IAAI,CAAC,QAAQ;YAAE,OAAO,MAAM,CAAC,UAAU,EAAE,kBAAkB,EAAE,KAAK,CAAC,CAAC;QACpE,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;QAC9B,MAAM,IAAI,GAAG,4BAA4B,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/D,IACE,OAAO,CAAC,aAAa,KAAK,WAAW,CAAC,OAAO,CAAC,aAAa;YAC3D,IAAI,CAAC,UAAU,KAAK,WAAW,CAAC,OAAO,CAAC,UAAU;YAClD,IAAI,CAAC,SAAS,KAAK,WAAW,CAAC,OAAO,CAAC,cAAc;YAErD,OAAO,MAAM,CAAC,UAAU,EAAE,6BAA6B,EAAE,KAAK,CAAC,CAAC;QAClE,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC;YAChC,GAAG,IAAI,CAAC,qBAAqB;YAC7B,GAAG,IAAI,CAAC,sBAAsB;SAC/B,CAAC,CAAC;QACH,IACE,QAAQ,CAAC,uBAAuB,CAAC,IAAI,CACnC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CACvC;YAED,OAAO,MAAM,CAAC,UAAU,EAAE,iCAAiC,EAAE,KAAK,CAAC,CAAC;QACtE,MAAM,SAAS,GAAG,0BAA0B,CAAC;YAC3C,aAAa,EAAE,CAAC;YAChB,OAAO;YACP,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ,GAAG,CAAC;YAC3B,uBAAuB,EAAE,QAAQ,CAAC,uBAAuB;SAC1D,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,kCAAkC,CAAC;YACjD,GAAG,WAAW,CAAC,OAAO;YACtB,UAAU,EAAE,SAAS,CAAC,UAAU;YAChC,QAAQ,EAAE,WAAW,CAAC,OAAO,CAAC,QAAQ,GAAG,CAAC;SAC3C,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,sCAAsC,CAAC;YACrD,iBAAiB,EAAE,WAAW,CAAC,iBAAiB;YAChD,OAAO,EAAE,WAAW,CAAC,OAAO;YAC5B,mBAAmB,EAAE,SAAS,CAAC,UAAU;YACzC,iBAAiB,EAAE,OAAO,CAAC,QAAQ;YACnC,kBAAkB,EAAE,IAAI;SACzB,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE;YAC5B,cAAc,EAAE,OAAO;YACvB,OAAO;YACP,iBAAiB,EAAE,IAAI;SACxB,CAAC,CAAC;QACH,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAChC,OAAO,MAAM,CAAC,UAAU,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;QACnD,OAAO,MAAM,CAAC,SAAS,EAAE,gBAAgB,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IACzE,CAAC;IAED,kHAAkH;IAClH,KAAK,CAAC,SAAS,CAAC,KAKf;QACC,MAAM,WAAW,GAAG,wCAAwC,CAC1D,KAAK,CAAC,WAAW,CAClB,CAAC;QACF,MAAM,QAAQ,GAAG,qCAAqC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACvE,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QAC1C,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,YAAY,CACnC,WAAW,CAAC,OAAO,CAAC,SAAS,EAC7B,KAAK,CAAC,gBAAgB,CACvB,CAAC;QACF,IACE,IAAI,GAAG,KAAK,CAAC,iBAAiB;YAC9B,IAAI,GAAG,WAAW,CAAC,iBAAiB;YACpC,IAAI,GAAG,WAAW,CAAC,kBAAkB;YAErC,OAAO,MAAM,CACX,OAAO,EACP,+CAA+C,EAC/C,KAAK,CACN,CAAC;QACJ,IAAI,WAAW,CAAC,OAAO,CAAC,QAAQ,GAAG,KAAK,CAAC,cAAc,CAAC,QAAQ;YAC9D,OAAO,MAAM,CAAC,OAAO,EAAE,0BAA0B,EAAE,KAAK,CAAC,CAAC;QAC5D,IACE,WAAW,CAAC,cAAc,KAAK,QAAQ,CAAC,cAAc;YACtD,WAAW,CAAC,UAAU,KAAK,QAAQ,CAAC,UAAU;YAC9C,WAAW,CAAC,YAAY,KAAK,QAAQ,CAAC,MAAM,CAAC,YAAY;YACzD,WAAW,CAAC,OAAO,CAAC,aAAa,KAAK,QAAQ,CAAC,OAAO,CAAC,aAAa;YACpE,WAAW,CAAC,kBAAkB,KAAK,QAAQ,CAAC,kBAAkB;YAE9D,OAAO,MAAM,CAAC,UAAU,EAAE,sCAAsC,EAAE,KAAK,CAAC,CAAC;QAC3E,IACE,WAAW,CAAC,YAAY,KAAK,IAAI,CAAC,MAAM,CAAC,YAAY;YACrD,QAAQ,CAAC,MAAM,CAAC,YAAY,KAAK,IAAI,CAAC,MAAM,CAAC,YAAY;YAEzD,OAAO,MAAM,CAAC,UAAU,EAAE,8BAA8B,EAAE,KAAK,CAAC,CAAC;QACnE,IACE,CAAC,GAAG,WAAW,CAAC,aAAa,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;YAC/C,CAAC,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;YAE5C,OAAO,MAAM,CAAC,UAAU,EAAE,gCAAgC,EAAE,KAAK,CAAC,CAAC;QACrE,IAAI,CAAC,0CAA0C,CAAC,WAAW,CAAC;YAC1D,OAAO,MAAM,CAAC,UAAU,EAAE,+BAA+B,EAAE,KAAK,CAAC,CAAC;QACpE,IACE,CAAC,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC;YAC9C,WAAW;YACX,QAAQ;SACT,CAAC,CAAC;YAEH,OAAO,MAAM,CAAC,UAAU,EAAE,qCAAqC,EAAE,KAAK,CAAC,CAAC;QAC1E,MAAM,MAAM,GAAG,KAAK,CAAC,YAAY,CAAC,IAAI,CACpC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,KAAK,WAAW,CAAC,aAAa,CAC3D,CAAC;QACF,IAAI,MAAM,IAAI,MAAM,CAAC,iBAAiB,KAAK,WAAW,CAAC,iBAAiB;YACtE,OAAO,MAAM,CAAC,WAAW,EAAE,uBAAuB,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QACrE,IACE,MAAM;YACN,KAAK,CAAC,YAAY,CAAC,IAAI,CACrB,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,OAAO,CAAC,QAAQ,KAAK,WAAW,CAAC,OAAO,CAAC,QAAQ;gBACtD,IAAI,CAAC,iBAAiB,KAAK,WAAW,CAAC,iBAAiB,CAC3D;YAED,OAAO,IAAI,CAAC,QAAQ,CAClB,KAAK,EACL,IAAI,EACJ,WAAW,CAAC,iBAAiB,EAC7B,0BAA0B,CAC3B,CAAC;QACJ,MAAM,YAAY,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CACvC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,KAAK,QAAQ,CAAC,UAAU,CAClD,CAAC;QACF,IAAI,YAAY,IAAI,YAAY,CAAC,cAAc,KAAK,QAAQ,CAAC,cAAc;YACzE,OAAO,IAAI,CAAC,QAAQ,CAClB,KAAK,EACL,IAAI,EACJ,QAAQ,CAAC,cAAc,EACvB,uBAAuB,CACxB,CAAC;QACJ,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,cAAc,CAAC;YACzD,OAAO,MAAM,CAAC,OAAO,EAAE,iCAAiC,EAAE,KAAK,CAAC,CAAC;QACnE,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,IAAI,IAAI,CAAC,mBAAmB;YACvD,OAAO,MAAM,CAAC,UAAU,EAAE,+BAA+B,EAAE,KAAK,CAAC,CAAC;QACpE,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE;YAC5B,SAAS,EAAE,YAAY;gBACrB,CAAC,CAAC,KAAK,CAAC,SAAS;gBACjB,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,gBAAgB,CAAC;YAClE,YAAY,EAAE,CAAC,GAAG,KAAK,CAAC,YAAY,EAAE,WAAW,CAAC;YAClD,iBAAiB,EAAE,IAAI;SACxB,CAAC,CAAC;QACH,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAChC,OAAO,MAAM,CAAC,UAAU,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;QACnD,OAAO,MAAM,CAAC,WAAW,EAAE,wBAAwB,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAC1E,CAAC;IAEO,KAAK,CAAC,SAAS,CAAC,SAAiB;QACvC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACxD,IAAI,CAAC,MAAM;YAAE,IAAI,CAAC,yBAAyB,CAAC,CAAC;QAC7C,OAAO,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACpD,CAAC;IACO,KAAK,CAAC,YAAY,CAAC,SAAiB,EAAE,gBAAwB;QACpE,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAC9C,IAAI,KAAK,CAAC,QAAQ,KAAK,gBAAgB;YAAE,IAAI,CAAC,yBAAyB,CAAC,CAAC;QACzE,OAAO,KAAK,CAAC;IACf,CAAC;IACO,KAAK,CAAC,kBAAkB,CAC9B,KAAiC,EACjC,SAAiB;QAEjB,MAAM,KAAK,GAAG,kCAAkC,CAAC,KAAK,CAAC,CAAC;QACxD,IACE,KAAK,CAAC,cAAc,CAAC,SAAS,KAAK,SAAS;YAC5C,KAAK,CAAC,YAAY,KAAK,IAAI,CAAC,MAAM,CAAC,YAAY;YAE/C,IAAI,CAAC,yCAAyC,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QACvD,IACE,MAAM;YACN,CAAC,KAAK,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ;gBAC/B,KAAK,CAAC,cAAc,CAAC,QAAQ,GAAG,MAAM,CAAC,eAAe;gBACtD,KAAK,CAAC,iBAAiB,GAAG,MAAM,CAAC,iBAAiB;gBAClD,CAAC,KAAK,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ;oBACjC,KAAK,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW,CAAC,CAAC;YAE9C,IAAI,CAAC,yCAAyC,CAAC,CAAC;QAClD,OAAO,KAAK,CAAC;IACf,CAAC;IACO,KAAK,CAAC,GAAG,CACf,QAAoC,EACpC,IAAgC;QAEhC,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC;YACvC,SAAS,EAAE,QAAQ,CAAC,cAAc,CAAC,SAAS;YAC5C,gBAAgB,EAAE,QAAQ,CAAC,QAAQ;YACnC,mBAAmB,EAAE,QAAQ,CAAC,WAAW;YACzC,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IACO,KAAK,CAAC,QAAQ,CACpB,KAAiC,EACjC,IAAY,EACZ,MAAc,EACd,UAAkB;QAElB,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE;YAC5B,SAAS,EAAE,CAAC,GAAG,KAAK,CAAC,SAAS,EAAE,MAAa,CAAC,CAAC,KAAK,CAClD,CAAC,IAAI,CAAC,mBAAmB,CAC1B;YACD,iBAAiB,EAAE,IAAI;SACxB,CAAC,CAAC;QACH,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAChC,OAAO,MAAM,CAAC,UAAU,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;QACnD,OAAO,MAAM,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IAC9C,CAAC;CACF;AAED,+GAA+G;AAC/G,MAAM,OAAO,kCAAkC;IAG5B,MAAM,GAAG,IAAI,GAAG,EAAsC,CAAC;IACvD,OAAO,GAAG,IAAI,GAAG,EAQ/B,CAAC;IACJ,KAAK,CAAC,IAAI,CAAC,SAAiB;QAC1B,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACpC,CAAC;IACD,KAAK,CAAC,UAAU,CAAC,SAAiB;QAChC,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACrC,CAAC;IACD,KAAK,CAAC,cAAc,CAAC,KAMpB;QACC,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACjD,IACE,CAAC,OAAO,EAAE,QAAQ,IAAI,IAAI,CAAC,KAAK,KAAK,CAAC,gBAAgB;YACtD,CAAC,OAAO,EAAE,WAAW,IAAI,IAAI,CAAC,KAAK,KAAK,CAAC,mBAAmB;YAE5D,OAAO,KAAK,CAAC;QACf,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE;YAChC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,QAAQ;YAC7B,eAAe,EAAE,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ;YACnD,iBAAiB,EAAE,KAAK,CAAC,IAAI,CAAC,iBAAiB;YAC/C,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,WAAW;SACpC,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED,MAAM,UAAU,sCAAsC,CACpD,OAAqC;IAErC,MAAM,QAAQ,GAAG,CAAC,cAAc,EAAE,YAAY,EAAE,iBAAiB,CAAU,CAAC;IAC5E,MAAM,OAAO,GAAG,QAAQ;SACrB,GAAG,CAAC,0BAA0B,CAAC;SAC/B,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,KAAK,OAAO,CAAC,aAAa,CAAC,CAAC;IAChE,OAAO,OAAO,IAAI,IAAI,CAAC,wCAAwC,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,SAAS,CAChB,KAAiC,EACjC,KAKC;IAED,OAAO,gCAAgC,CAAC;QACtC,GAAG,KAAK;QACR,GAAG,KAAK;QACR,QAAQ,EAAE,KAAK,CAAC,QAAQ,GAAG,CAAC;KAC7B,CAAC,CAAC;AACL,CAAC;AACD,SAAS,YAAY,CAKnB,MAAoB,EAAE,KAAQ,EAAE,KAAa;IAC7C,IAAI,MAAM,CAAC,MAAM,IAAI,KAAK;QAAE,IAAI,CAAC,yBAAyB,CAAC,CAAC;IAC5D,OAAO,CAAC,GAAG,MAAM,EAAE,KAAK,CAAC,CAAC;AAC5B,CAAC;AACD,SAAS,WAAW,CAClB,IAAkC,EAClC,KAAmC;IAEnC,OAAO,IAAI,CAAC,aAAa,KAAK,KAAK,CAAC,aAAa,CAAC;AACpD,CAAC;AACD,SAAS,0CAA0C,CACjD,WAA6C;IAE7C,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,WAAW,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;QAC7C,QAAQ,CAAC,MAAM;QACf,QAAQ,CAAC,OAAO;KACjB,CAAC,CACH,CAAC;IACF,IACE,IAAI,GAAG,CAAC,WAAW,CAAC,eAAe,CAAC,CAAC,IAAI;QACzC,WAAW,CAAC,eAAe,CAAC,MAAM;QAElC,OAAO,KAAK,CAAC;IACf,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,WAAW,CAAC,eAAe,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC3E,IACE,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;YAChD,WAAW,CAAC,gBAAgB,CAAC,KAAK,CAAC;YAEnC,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,CACL,IAAI,GAAG,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAC,IAAI;QAC1C,WAAW,CAAC,MAAM,CAAC,yBAAyB,CAC7C,CAAC;AACJ,CAAC;AACD,SAAS,OAAO,CAAC,KAAa;IAC5B,OAAO,QAAQ,CAAC,KAAK,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC;AAC7C,CAAC;AACD,SAAS,QAAQ,CAAC,KAAa,EAAE,IAAY,EAAE,OAAO,GAAG,CAAC;IACxD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,OAAO;QACjD,IAAI,CAAC,GAAG,IAAI,aAAa,CAAC,CAAC;IAC7B,OAAO,KAAK,CAAC;AACf,CAAC;AACD,SAAS,MAAM,CACb,QAAiD,EACjD,UAAkB,EAClB,KAAiC,EACjC,WAA8C,EAC9C,OAAgD;IAEhD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,QAAQ;QACR,UAAU;QACV,KAAK;QACL,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChC,CAAC,CAAC;AACL,CAAC;AACD,SAAS,IAAI,CAAC,OAAe;IAC3B,MAAM,IAAI,KAAK,CAAC,oBAAoB,OAAO,EAAE,CAAC,CAAC;AACjD,CAAC"}
|
|
@@ -0,0 +1,19 @@
|
|
|
1
|
+
import type { MeshAdaptiveOverlayAppliedViewV1, MeshAdaptiveOverlayBindingV1, MeshAdaptiveOverlayCertificateV1, MeshAdaptiveOverlayDigestV1, MeshAdaptiveOverlayPolicyV1, MeshAdaptiveOverlayProposalV1, MeshAdaptiveOverlaySignalV1, MeshAdaptiveOverlayStateV1 } from "./adaptive-overlay-contracts.js";
|
|
2
|
+
export declare class MeshAdaptiveOverlayErrorV1 extends Error {
|
|
3
|
+
constructor(message: string);
|
|
4
|
+
}
|
|
5
|
+
export declare function meshAdaptiveOverlayDigestV1(domain: string, body: unknown): MeshAdaptiveOverlayDigestV1;
|
|
6
|
+
export declare function createMeshAdaptiveOverlayBindingV1(input: Omit<MeshAdaptiveOverlayBindingV1, "schemaVersion" | "bindingDigest">): MeshAdaptiveOverlayBindingV1;
|
|
7
|
+
export declare function createMeshAdaptiveOverlayPolicyV1(input: Omit<MeshAdaptiveOverlayPolicyV1, "schemaVersion" | "policyDigest">): MeshAdaptiveOverlayPolicyV1;
|
|
8
|
+
export declare function createMeshAdaptiveOverlaySignalV1(input: Omit<MeshAdaptiveOverlaySignalV1, "schemaVersion" | "signalDigest">): MeshAdaptiveOverlaySignalV1;
|
|
9
|
+
export declare function createMeshAdaptiveOverlayProposalV1(input: Omit<MeshAdaptiveOverlayProposalV1, "schemaVersion" | "proposalDigest">): MeshAdaptiveOverlayProposalV1;
|
|
10
|
+
export declare function createMeshAdaptiveOverlayCertificateV1(input: Omit<MeshAdaptiveOverlayCertificateV1, "schemaVersion" | "certificateDigest">): MeshAdaptiveOverlayCertificateV1;
|
|
11
|
+
export declare function createMeshAdaptiveOverlayAppliedViewV1(input: Omit<MeshAdaptiveOverlayAppliedViewV1, "schemaVersion" | "applicationDigest">): MeshAdaptiveOverlayAppliedViewV1;
|
|
12
|
+
export declare function createMeshAdaptiveOverlayStateV1(input: Omit<MeshAdaptiveOverlayStateV1, "schemaVersion" | "stateDigest">): MeshAdaptiveOverlayStateV1;
|
|
13
|
+
export declare function validateMeshAdaptiveOverlayBindingV1(input: unknown): MeshAdaptiveOverlayBindingV1;
|
|
14
|
+
export declare function validateMeshAdaptiveOverlayPolicyV1(input: unknown): MeshAdaptiveOverlayPolicyV1;
|
|
15
|
+
export declare function validateMeshAdaptiveOverlaySignalV1(input: unknown): MeshAdaptiveOverlaySignalV1;
|
|
16
|
+
export declare function validateMeshAdaptiveOverlayProposalV1(input: unknown): MeshAdaptiveOverlayProposalV1;
|
|
17
|
+
export declare function validateMeshAdaptiveOverlayCertificateV1(input: unknown): MeshAdaptiveOverlayCertificateV1;
|
|
18
|
+
export declare function validateMeshAdaptiveOverlayStateV1(input: unknown): MeshAdaptiveOverlayStateV1;
|
|
19
|
+
//# sourceMappingURL=adaptive-overlay-validation.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"adaptive-overlay-validation.d.ts","sourceRoot":"","sources":["../src/adaptive-overlay-validation.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,gCAAgC,EAChC,4BAA4B,EAC5B,gCAAgC,EAChC,2BAA2B,EAC3B,2BAA2B,EAC3B,6BAA6B,EAC7B,2BAA2B,EAC3B,0BAA0B,EAC3B,MAAM,iCAAiC,CAAC;AAOzC,qBAAa,0BAA2B,SAAQ,KAAK;gBACvC,OAAO,EAAE,MAAM;CAI5B;AAED,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,OAAO,GACZ,2BAA2B,CAE7B;AAED,wBAAgB,kCAAkC,CAChD,KAAK,EAAE,IAAI,CAAC,4BAA4B,EAAE,eAAe,GAAG,eAAe,CAAC,GAC3E,4BAA4B,CAiB9B;AAED,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,IAAI,CAAC,2BAA2B,EAAE,eAAe,GAAG,cAAc,CAAC,GACzE,2BAA2B,CAwC7B;AAED,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,IAAI,CAAC,2BAA2B,EAAE,eAAe,GAAG,cAAc,CAAC,GACzE,2BAA2B,CAoC7B;AAED,wBAAgB,mCAAmC,CACjD,KAAK,EAAE,IAAI,CACT,6BAA6B,EAC7B,eAAe,GAAG,gBAAgB,CACnC,GACA,6BAA6B,CAqC/B;AAED,wBAAgB,sCAAsC,CACpD,KAAK,EAAE,IAAI,CACT,gCAAgC,EAChC,eAAe,GAAG,mBAAmB,CACtC,GACA,gCAAgC,CAyDlC;AAED,wBAAgB,sCAAsC,CACpD,KAAK,EAAE,IAAI,CACT,gCAAgC,EAChC,eAAe,GAAG,mBAAmB,CACtC,GACA,gCAAgC,CAyBlC;AAED,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,IAAI,CAAC,0BAA0B,EAAE,eAAe,GAAG,aAAa,CAAC,GACvE,0BAA0B,CAgC5B;AAED,wBAAgB,oCAAoC,CAClD,KAAK,EAAE,OAAO,GACb,4BAA4B,CAE9B;AACD,wBAAgB,mCAAmC,CACjD,KAAK,EAAE,OAAO,GACb,2BAA2B,CAE7B;AACD,wBAAgB,mCAAmC,CACjD,KAAK,EAAE,OAAO,GACb,2BAA2B,CAE7B;AACD,wBAAgB,qCAAqC,CACnD,KAAK,EAAE,OAAO,GACb,6BAA6B,CAE/B;AACD,wBAAgB,wCAAwC,CACtD,KAAK,EAAE,OAAO,GACb,gCAAgC,CAElC;AACD,wBAAgB,kCAAkC,CAChD,KAAK,EAAE,OAAO,GACb,0BAA0B,CAE5B"}
|