@agentplat/inference-control 0.3.0-beta.2 → 0.3.0-beta.4
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 +360 -0
- package/dist/anytime-semantic-guarantees.d.ts +216 -0
- package/dist/anytime-semantic-guarantees.d.ts.map +1 -0
- package/dist/anytime-semantic-guarantees.js +817 -0
- package/dist/anytime-semantic-guarantees.js.map +1 -0
- package/dist/assessor-ensemble-contracts.d.ts +145 -0
- package/dist/assessor-ensemble-contracts.d.ts.map +1 -0
- package/dist/assessor-ensemble-contracts.js +29 -0
- package/dist/assessor-ensemble-contracts.js.map +1 -0
- package/dist/assessor-ensemble-runtime.d.ts +55 -0
- package/dist/assessor-ensemble-runtime.d.ts.map +1 -0
- package/dist/assessor-ensemble-runtime.js +308 -0
- package/dist/assessor-ensemble-runtime.js.map +1 -0
- package/dist/assessor-ensemble-validation.d.ts +12 -0
- package/dist/assessor-ensemble-validation.d.ts.map +1 -0
- package/dist/assessor-ensemble-validation.js +156 -0
- package/dist/assessor-ensemble-validation.js.map +1 -0
- package/dist/assessor-ensemble.d.ts +4 -0
- package/dist/assessor-ensemble.d.ts.map +1 -0
- package/dist/assessor-ensemble.js +4 -0
- package/dist/assessor-ensemble.js.map +1 -0
- package/dist/cognitive-adapters.d.ts +92 -0
- package/dist/cognitive-adapters.d.ts.map +1 -0
- package/dist/cognitive-adapters.js +263 -0
- package/dist/cognitive-adapters.js.map +1 -0
- package/dist/context-integrity-analyzers.d.ts +35 -0
- package/dist/context-integrity-analyzers.d.ts.map +1 -0
- package/dist/context-integrity-analyzers.js +387 -0
- package/dist/context-integrity-analyzers.js.map +1 -0
- package/dist/context-integrity-contracts.d.ts +304 -0
- package/dist/context-integrity-contracts.d.ts.map +1 -0
- package/dist/context-integrity-contracts.js +24 -0
- package/dist/context-integrity-contracts.js.map +1 -0
- package/dist/context-integrity-model.d.ts +25 -0
- package/dist/context-integrity-model.d.ts.map +1 -0
- package/dist/context-integrity-model.js +192 -0
- package/dist/context-integrity-model.js.map +1 -0
- package/dist/context-integrity-portable-agent.d.ts +79 -0
- package/dist/context-integrity-portable-agent.d.ts.map +1 -0
- package/dist/context-integrity-portable-agent.js +511 -0
- package/dist/context-integrity-portable-agent.js.map +1 -0
- package/dist/context-integrity-role-alignment.d.ts +28 -0
- package/dist/context-integrity-role-alignment.d.ts.map +1 -0
- package/dist/context-integrity-role-alignment.js +95 -0
- package/dist/context-integrity-role-alignment.js.map +1 -0
- package/dist/context-integrity-runtime.d.ts +95 -0
- package/dist/context-integrity-runtime.d.ts.map +1 -0
- package/dist/context-integrity-runtime.js +1512 -0
- package/dist/context-integrity-runtime.js.map +1 -0
- package/dist/context-integrity.d.ts +5 -0
- package/dist/context-integrity.d.ts.map +1 -0
- package/dist/context-integrity.js +5 -0
- package/dist/context-integrity.js.map +1 -0
- package/dist/governed-role-evolution.d.ts +172 -0
- package/dist/governed-role-evolution.d.ts.map +1 -0
- package/dist/governed-role-evolution.js +613 -0
- package/dist/governed-role-evolution.js.map +1 -0
- package/dist/heterogeneous-agent-composition.d.ts +96 -0
- package/dist/heterogeneous-agent-composition.d.ts.map +1 -0
- package/dist/heterogeneous-agent-composition.js +512 -0
- package/dist/heterogeneous-agent-composition.js.map +1 -0
- package/dist/index.d.ts +21 -13
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +21 -13
- package/dist/index.js.map +1 -1
- package/dist/intervention-adapters.d.ts +29 -0
- package/dist/intervention-adapters.d.ts.map +1 -0
- package/dist/intervention-adapters.js +107 -0
- package/dist/intervention-adapters.js.map +1 -0
- package/dist/intervention-contracts.d.ts +311 -0
- package/dist/intervention-contracts.d.ts.map +1 -0
- package/dist/intervention-contracts.js +28 -0
- package/dist/intervention-contracts.js.map +1 -0
- package/dist/intervention-runtime.d.ts +86 -0
- package/dist/intervention-runtime.d.ts.map +1 -0
- package/dist/intervention-runtime.js +958 -0
- package/dist/intervention-runtime.js.map +1 -0
- package/dist/intervention-validation.d.ts +27 -0
- package/dist/intervention-validation.d.ts.map +1 -0
- package/dist/intervention-validation.js +273 -0
- package/dist/intervention-validation.js.map +1 -0
- package/dist/intervention.d.ts +6 -0
- package/dist/intervention.d.ts.map +1 -0
- package/dist/intervention.js +6 -0
- package/dist/intervention.js.map +1 -0
- package/dist/model.d.ts +18 -0
- package/dist/model.d.ts.map +1 -1
- package/dist/model.js +60 -2
- package/dist/model.js.map +1 -1
- package/dist/operational-cognitive-control.d.ts +208 -0
- package/dist/operational-cognitive-control.d.ts.map +1 -0
- package/dist/operational-cognitive-control.js +590 -0
- package/dist/operational-cognitive-control.js.map +1 -0
- package/dist/portable-agent.d.ts +50 -0
- package/dist/portable-agent.d.ts.map +1 -0
- package/dist/portable-agent.js +243 -0
- package/dist/portable-agent.js.map +1 -0
- package/dist/reference-controllers.d.ts +121 -0
- package/dist/reference-controllers.d.ts.map +1 -0
- package/dist/reference-controllers.js +411 -0
- package/dist/reference-controllers.js.map +1 -0
- package/dist/role-alignment-portable-agent.d.ts +145 -0
- package/dist/role-alignment-portable-agent.d.ts.map +1 -0
- package/dist/role-alignment-portable-agent.js +484 -0
- package/dist/role-alignment-portable-agent.js.map +1 -0
- package/dist/role-alignment.d.ts +226 -0
- package/dist/role-alignment.d.ts.map +1 -0
- package/dist/role-alignment.js +1074 -0
- package/dist/role-alignment.js.map +1 -0
- package/dist/role-realignment-portable-agent.d.ts +163 -0
- package/dist/role-realignment-portable-agent.d.ts.map +1 -0
- package/dist/role-realignment-portable-agent.js +634 -0
- package/dist/role-realignment-portable-agent.js.map +1 -0
- package/dist/role-realignment.d.ts +368 -0
- package/dist/role-realignment.d.ts.map +1 -0
- package/dist/role-realignment.js +1609 -0
- package/dist/role-realignment.js.map +1 -0
- package/dist/semantic-alignment-assessors.d.ts +12 -0
- package/dist/semantic-alignment-assessors.d.ts.map +1 -0
- package/dist/semantic-alignment-assessors.js +55 -0
- package/dist/semantic-alignment-assessors.js.map +1 -0
- package/dist/semantic-alignment-contracts.d.ts +385 -0
- package/dist/semantic-alignment-contracts.d.ts.map +1 -0
- package/dist/semantic-alignment-contracts.js +16 -0
- package/dist/semantic-alignment-contracts.js.map +1 -0
- package/dist/semantic-alignment-memory.d.ts +53 -0
- package/dist/semantic-alignment-memory.d.ts.map +1 -0
- package/dist/semantic-alignment-memory.js +170 -0
- package/dist/semantic-alignment-memory.js.map +1 -0
- package/dist/semantic-alignment-runtime.d.ts +67 -0
- package/dist/semantic-alignment-runtime.d.ts.map +1 -0
- package/dist/semantic-alignment-runtime.js +778 -0
- package/dist/semantic-alignment-runtime.js.map +1 -0
- package/dist/semantic-alignment-validation.d.ts +31 -0
- package/dist/semantic-alignment-validation.d.ts.map +1 -0
- package/dist/semantic-alignment-validation.js +477 -0
- package/dist/semantic-alignment-validation.js.map +1 -0
- package/dist/semantic-alignment.d.ts +8 -0
- package/dist/semantic-alignment.d.ts.map +1 -0
- package/dist/semantic-alignment.js +8 -0
- package/dist/semantic-alignment.js.map +1 -0
- package/dist/semantic-horizon-budget.d.ts +118 -0
- package/dist/semantic-horizon-budget.d.ts.map +1 -0
- package/dist/semantic-horizon-budget.js +536 -0
- package/dist/semantic-horizon-budget.js.map +1 -0
- package/dist/semantic-metric-engine.d.ts +96 -0
- package/dist/semantic-metric-engine.d.ts.map +1 -0
- package/dist/semantic-metric-engine.js +396 -0
- package/dist/semantic-metric-engine.js.map +1 -0
- package/package.json +79 -7
|
@@ -0,0 +1,536 @@
|
|
|
1
|
+
import { validateSemanticHorizonDecisionV1, } from "./anytime-semantic-guarantees.js";
|
|
2
|
+
import { digestControlJsonV1 } from "./canonical.js";
|
|
3
|
+
import { assertDigest, assertIdentifier, compareCodeUnits, deepFreeze, } from "./validation.js";
|
|
4
|
+
export const SEMANTIC_HORIZON_BUDGET_STATE_FORMAT_V1 = "agentplat.inference-control.semantic-horizon-budget-state.v1";
|
|
5
|
+
/** In-process repository useful for tests and same-process reconstruction. */
|
|
6
|
+
export class InMemorySemanticHorizonBudgetStoreV1 {
|
|
7
|
+
#states = new Map();
|
|
8
|
+
async load(stateKey) {
|
|
9
|
+
assertIdentifier(stateKey, "semanticHorizonBudget.stateKey");
|
|
10
|
+
return this.#states.get(stateKey) ?? null;
|
|
11
|
+
}
|
|
12
|
+
async compareAndSet(input) {
|
|
13
|
+
assertIdentifier(input.stateKey, "semanticHorizonBudget.stateKey");
|
|
14
|
+
const current = this.#states.get(input.stateKey) ?? null;
|
|
15
|
+
if ((current?.revision ?? null) !== input.expectedRevision ||
|
|
16
|
+
(current?.stateDigest ?? null) !== input.expectedStateDigest)
|
|
17
|
+
return false;
|
|
18
|
+
const next = validateSemanticHorizonBudgetStateV1(input.next);
|
|
19
|
+
if (next.stateKey !== input.stateKey ||
|
|
20
|
+
next.revision !== (current?.revision ?? 0) + 1 ||
|
|
21
|
+
next.predecessorStateDigest !== (current?.stateDigest ?? null))
|
|
22
|
+
throw new TypeError("semantic_horizon_budget_cas_transition_invalid");
|
|
23
|
+
this.#states.set(input.stateKey, next);
|
|
24
|
+
return true;
|
|
25
|
+
}
|
|
26
|
+
}
|
|
27
|
+
/** Separate same-process monotonic witness for restart and rollback tests. */
|
|
28
|
+
export class InMemorySemanticHorizonBudgetMonotonicAnchorV1 {
|
|
29
|
+
#anchors = new Map();
|
|
30
|
+
async readAnchor(stateKey) {
|
|
31
|
+
assertIdentifier(stateKey, "semanticHorizonBudget.anchor.stateKey");
|
|
32
|
+
return this.#anchors.get(stateKey) ?? null;
|
|
33
|
+
}
|
|
34
|
+
async compareAndSetAnchor(input) {
|
|
35
|
+
assertIdentifier(input.stateKey, "semanticHorizonBudget.anchor.stateKey");
|
|
36
|
+
const prior = this.#anchors.get(input.stateKey) ?? null;
|
|
37
|
+
if ((prior?.revision ?? null) !== input.expectedRevision ||
|
|
38
|
+
(prior?.stateDigest ?? null) !== input.expectedStateDigest)
|
|
39
|
+
return false;
|
|
40
|
+
integer(input.next.revision, "semanticHorizonBudget.anchor.revision", 1, Number.MAX_SAFE_INTEGER);
|
|
41
|
+
assertDigest(input.next.stateDigest, "semanticHorizonBudget.anchor.stateDigest");
|
|
42
|
+
if (input.next.revision !== (prior?.revision ?? 0) + 1)
|
|
43
|
+
throw new TypeError("semantic_horizon_budget_anchor_transition_invalid");
|
|
44
|
+
this.#anchors.set(input.stateKey, deepFreeze({ ...input.next }));
|
|
45
|
+
return true;
|
|
46
|
+
}
|
|
47
|
+
}
|
|
48
|
+
const semanticHorizonBudgetLedgerInvokersV1 = new WeakMap();
|
|
49
|
+
/**
|
|
50
|
+
* CAS-backed non-refilling horizon ledger. Re-applying the exact same
|
|
51
|
+
* guarantee/decision binding preserves the already consumed remainder.
|
|
52
|
+
*/
|
|
53
|
+
export class SemanticHorizonBudgetLedgerV1 {
|
|
54
|
+
stateKey;
|
|
55
|
+
maximumCasAttempts;
|
|
56
|
+
maximumConsumptions;
|
|
57
|
+
#load;
|
|
58
|
+
#compareAndSet;
|
|
59
|
+
#readAnchor;
|
|
60
|
+
#compareAndSetAnchor;
|
|
61
|
+
constructor(options) {
|
|
62
|
+
assertIdentifier(options.stateKey, "semanticHorizonBudget.stateKey");
|
|
63
|
+
const load = options.store?.load;
|
|
64
|
+
const compareAndSet = options.store?.compareAndSet;
|
|
65
|
+
if (typeof load !== "function" || typeof compareAndSet !== "function")
|
|
66
|
+
throw new TypeError("semantic_horizon_budget_store_required");
|
|
67
|
+
const monotonicAnchor = options.monotonicAnchor ??
|
|
68
|
+
(options.store instanceof InMemorySemanticHorizonBudgetStoreV1
|
|
69
|
+
? new InMemorySemanticHorizonBudgetMonotonicAnchorV1()
|
|
70
|
+
: undefined);
|
|
71
|
+
if (!monotonicAnchor)
|
|
72
|
+
throw new TypeError("semantic_horizon_budget_monotonic_anchor_required");
|
|
73
|
+
const readAnchor = monotonicAnchor.readAnchor;
|
|
74
|
+
const compareAndSetAnchor = monotonicAnchor.compareAndSetAnchor;
|
|
75
|
+
if (typeof readAnchor !== "function" ||
|
|
76
|
+
typeof compareAndSetAnchor !== "function")
|
|
77
|
+
throw new TypeError("semantic_horizon_budget_monotonic_anchor_required");
|
|
78
|
+
const maximumCasAttempts = options.maximumCasAttempts ?? 8;
|
|
79
|
+
const maximumConsumptions = options.maximumConsumptions ?? 4_096;
|
|
80
|
+
integer(maximumCasAttempts, "semanticHorizonBudget.maximumCasAttempts", 1, 1_000);
|
|
81
|
+
integer(maximumConsumptions, "semanticHorizonBudget.maximumConsumptions", 1, 100_000);
|
|
82
|
+
this.stateKey = options.stateKey;
|
|
83
|
+
this.maximumCasAttempts = maximumCasAttempts;
|
|
84
|
+
this.maximumConsumptions = maximumConsumptions;
|
|
85
|
+
this.#load = load.bind(options.store);
|
|
86
|
+
this.#compareAndSet = compareAndSet.bind(options.store);
|
|
87
|
+
this.#readAnchor = readAnchor.bind(monotonicAnchor);
|
|
88
|
+
this.#compareAndSetAnchor = compareAndSetAnchor.bind(monotonicAnchor);
|
|
89
|
+
const invokers = Object.freeze({
|
|
90
|
+
current: () => this.#current(),
|
|
91
|
+
apply: (guarantee, decision) => this.#apply(guarantee, decision),
|
|
92
|
+
consume: (decision, consumption) => this.#consume(decision, consumption),
|
|
93
|
+
reconcileConsumption: (consumption) => this.#reconcileConsumption(consumption),
|
|
94
|
+
});
|
|
95
|
+
semanticHorizonBudgetLedgerInvokersV1.set(this, invokers);
|
|
96
|
+
Object.defineProperties(this, {
|
|
97
|
+
current: immutableInvoker(invokers.current),
|
|
98
|
+
apply: immutableInvoker(invokers.apply),
|
|
99
|
+
consume: immutableInvoker(invokers.consume),
|
|
100
|
+
reconcileConsumption: immutableInvoker(invokers.reconcileConsumption),
|
|
101
|
+
});
|
|
102
|
+
Object.freeze(this);
|
|
103
|
+
}
|
|
104
|
+
async current() {
|
|
105
|
+
return semanticHorizonBudgetInvokers(this).current();
|
|
106
|
+
}
|
|
107
|
+
async #current() {
|
|
108
|
+
const [stored, anchor] = await Promise.all([
|
|
109
|
+
this.#load(this.stateKey),
|
|
110
|
+
this.#readAnchor(this.stateKey),
|
|
111
|
+
]);
|
|
112
|
+
const state = stored === null
|
|
113
|
+
? null
|
|
114
|
+
: validateSemanticHorizonBudgetStateV1(stored, this.stateKey);
|
|
115
|
+
if (state && !anchor && state.revision === 1) {
|
|
116
|
+
if (state.predecessorStateDigest !== null)
|
|
117
|
+
throw new TypeError("semantic_horizon_budget_state_anchor_mismatch");
|
|
118
|
+
return this.#reconcileSuccessorAnchor(null, state);
|
|
119
|
+
}
|
|
120
|
+
if ((state === null) !== (anchor === null))
|
|
121
|
+
throw new TypeError("semantic_horizon_budget_state_anchor_mismatch");
|
|
122
|
+
if (anchor) {
|
|
123
|
+
integer(anchor.revision, "semanticHorizonBudget.anchor.revision", 1, Number.MAX_SAFE_INTEGER);
|
|
124
|
+
assertDigest(anchor.stateDigest, "semanticHorizonBudget.anchor.stateDigest");
|
|
125
|
+
}
|
|
126
|
+
if (state && anchor) {
|
|
127
|
+
if (state.revision === anchor.revision &&
|
|
128
|
+
state.stateDigest === anchor.stateDigest)
|
|
129
|
+
return state;
|
|
130
|
+
if (state.revision === anchor.revision + 1 &&
|
|
131
|
+
state.predecessorStateDigest === anchor.stateDigest)
|
|
132
|
+
return this.#reconcileSuccessorAnchor(anchor, state);
|
|
133
|
+
throw new TypeError("semantic_horizon_budget_state_below_anchor");
|
|
134
|
+
}
|
|
135
|
+
return state;
|
|
136
|
+
}
|
|
137
|
+
async #reconcileSuccessorAnchor(anchor, state) {
|
|
138
|
+
const advanced = await this.#compareAndSetAnchor({
|
|
139
|
+
stateKey: this.stateKey,
|
|
140
|
+
expectedRevision: anchor?.revision ?? null,
|
|
141
|
+
expectedStateDigest: anchor?.stateDigest ?? null,
|
|
142
|
+
next: { revision: state.revision, stateDigest: state.stateDigest },
|
|
143
|
+
});
|
|
144
|
+
const currentAnchor = advanced
|
|
145
|
+
? { revision: state.revision, stateDigest: state.stateDigest }
|
|
146
|
+
: await this.#readAnchor(this.stateKey);
|
|
147
|
+
if (currentAnchor?.revision !== state.revision ||
|
|
148
|
+
currentAnchor.stateDigest !== state.stateDigest)
|
|
149
|
+
throw new TypeError("semantic_horizon_budget_anchor_reconciliation_failed");
|
|
150
|
+
return state;
|
|
151
|
+
}
|
|
152
|
+
async apply(guarantee, decision) {
|
|
153
|
+
return semanticHorizonBudgetInvokers(this).apply(guarantee, decision);
|
|
154
|
+
}
|
|
155
|
+
async #apply(guarantee, decision) {
|
|
156
|
+
validateSemanticHorizonDecisionV1(decision, guarantee);
|
|
157
|
+
const binding = decisionBinding(guarantee, decision);
|
|
158
|
+
for (let attempt = 0; attempt < this.maximumCasAttempts; attempt += 1) {
|
|
159
|
+
const prior = await this.#current();
|
|
160
|
+
if (prior) {
|
|
161
|
+
if (guarantee.throughSequence < prior.guaranteeSequence ||
|
|
162
|
+
guarantee.throughLogicalTimeMs < prior.guaranteeLogicalTimeMs)
|
|
163
|
+
throw new TypeError("semantic_horizon_budget_guarantee_rollback");
|
|
164
|
+
if (guarantee.throughSequence === prior.guaranteeSequence &&
|
|
165
|
+
guarantee.stateDigest !== prior.guaranteeStateDigest)
|
|
166
|
+
throw new TypeError("semantic_horizon_budget_guarantee_equivocation");
|
|
167
|
+
if (guarantee.stateDigest === prior.guaranteeStateDigest) {
|
|
168
|
+
if (binding !== prior.decisionBindingDigest)
|
|
169
|
+
throw new TypeError("semantic_horizon_budget_decision_equivocation");
|
|
170
|
+
return prior;
|
|
171
|
+
}
|
|
172
|
+
}
|
|
173
|
+
const next = createState({
|
|
174
|
+
stateKey: this.stateKey,
|
|
175
|
+
prior,
|
|
176
|
+
guarantee,
|
|
177
|
+
decision,
|
|
178
|
+
decisionBindingDigest: binding,
|
|
179
|
+
remainingSteps: nextRemaining(prior?.remainingSteps ?? null, decision),
|
|
180
|
+
consumptionEpoch: (prior?.consumptionEpoch ?? 0) + 1,
|
|
181
|
+
compactedConsumptionCount: prior?.compactedConsumptionCount ?? 0,
|
|
182
|
+
compactedConsumptionDigest: prior?.compactedConsumptionDigest ?? null,
|
|
183
|
+
consumptions: prior?.consumptions ?? [],
|
|
184
|
+
});
|
|
185
|
+
if (await this.#compareAndSet({
|
|
186
|
+
stateKey: this.stateKey,
|
|
187
|
+
expectedRevision: prior?.revision ?? null,
|
|
188
|
+
expectedStateDigest: prior?.stateDigest ?? null,
|
|
189
|
+
next,
|
|
190
|
+
}))
|
|
191
|
+
return this.#anchorAndRequireCommitted(prior, next);
|
|
192
|
+
}
|
|
193
|
+
throw new Error("semantic_horizon_budget_cas_retry_exhausted");
|
|
194
|
+
}
|
|
195
|
+
async consume(decision, consumption) {
|
|
196
|
+
return semanticHorizonBudgetInvokers(this).consume(decision, consumption);
|
|
197
|
+
}
|
|
198
|
+
/**
|
|
199
|
+
* Reconciles the exact durable debit without advancing semantic state. An
|
|
200
|
+
* absent tombstone after compaction is ambiguous and therefore fails closed.
|
|
201
|
+
*/
|
|
202
|
+
async reconcileConsumption(consumption) {
|
|
203
|
+
return semanticHorizonBudgetInvokers(this).reconcileConsumption(consumption);
|
|
204
|
+
}
|
|
205
|
+
async #reconcileConsumption(consumption) {
|
|
206
|
+
assertIdentifier(consumption?.consumptionId, "semanticHorizonBudget.consumptionId");
|
|
207
|
+
assertDigest(consumption?.bindingDigest, "semanticHorizonBudget.consumption.bindingDigest");
|
|
208
|
+
const prior = await this.#current();
|
|
209
|
+
if (!prior)
|
|
210
|
+
return false;
|
|
211
|
+
const consumptionIdDigest = consumptionDigest(this.stateKey, consumption.consumptionId);
|
|
212
|
+
const existing = prior.consumptions.find((item) => item.consumptionIdDigest === consumptionIdDigest);
|
|
213
|
+
if (existing) {
|
|
214
|
+
if (existing.bindingDigest !== consumption.bindingDigest)
|
|
215
|
+
throw new TypeError("semantic_horizon_budget_consumption_equivocation");
|
|
216
|
+
return true;
|
|
217
|
+
}
|
|
218
|
+
if (prior.compactedConsumptionCount > 0)
|
|
219
|
+
throw new RangeError("semantic_horizon_budget_consumption_replay_window_compacted");
|
|
220
|
+
return false;
|
|
221
|
+
}
|
|
222
|
+
async #consume(decision, consumption) {
|
|
223
|
+
assertDigest(decision.guaranteeStateDigest, "semanticHorizonBudget.decision.guaranteeStateDigest");
|
|
224
|
+
assertIdentifier(consumption?.consumptionId, "semanticHorizonBudget.consumptionId");
|
|
225
|
+
assertDigest(consumption?.bindingDigest, "semanticHorizonBudget.consumption.bindingDigest");
|
|
226
|
+
const consumptionIdDigest = consumptionDigest(this.stateKey, consumption.consumptionId);
|
|
227
|
+
for (let attempt = 0; attempt < this.maximumCasAttempts; attempt += 1) {
|
|
228
|
+
const prior = await this.#current();
|
|
229
|
+
if (!prior)
|
|
230
|
+
throw new TypeError("semantic_horizon_budget_state_required");
|
|
231
|
+
const existing = prior.consumptions.find((item) => item.consumptionIdDigest === consumptionIdDigest);
|
|
232
|
+
if (existing) {
|
|
233
|
+
if (existing.bindingDigest !== consumption.bindingDigest)
|
|
234
|
+
throw new TypeError("semantic_horizon_budget_consumption_equivocation");
|
|
235
|
+
return true;
|
|
236
|
+
}
|
|
237
|
+
if (prior.guaranteeStateDigest !== decision.guaranteeStateDigest ||
|
|
238
|
+
prior.decisionBindingDigest !== decisionBindingFromDecision(decision))
|
|
239
|
+
return false;
|
|
240
|
+
if (prior.remainingSteps === 0)
|
|
241
|
+
return false;
|
|
242
|
+
let retained = prior.consumptions;
|
|
243
|
+
let compactedConsumptionCount = prior.compactedConsumptionCount;
|
|
244
|
+
let compactedConsumptionDigest = prior.compactedConsumptionDigest;
|
|
245
|
+
if (retained.length >= this.maximumConsumptions) {
|
|
246
|
+
const compactable = retained.filter((item) => item.epoch < prior.consumptionEpoch);
|
|
247
|
+
if (compactable.length === 0)
|
|
248
|
+
throw new RangeError("semantic_horizon_budget_current_epoch_consumption_capacity");
|
|
249
|
+
retained = retained.filter((item) => item.epoch === prior.consumptionEpoch);
|
|
250
|
+
compactedConsumptionDigest = digestControlJsonV1("state", {
|
|
251
|
+
kind: "semantic_horizon_budget_consumption_compaction",
|
|
252
|
+
stateKey: this.stateKey,
|
|
253
|
+
epoch: prior.consumptionEpoch,
|
|
254
|
+
previousDigest: compactedConsumptionDigest,
|
|
255
|
+
previousCount: compactedConsumptionCount,
|
|
256
|
+
entries: compactable,
|
|
257
|
+
});
|
|
258
|
+
compactedConsumptionCount += compactable.length;
|
|
259
|
+
}
|
|
260
|
+
const consumptions = [
|
|
261
|
+
...retained,
|
|
262
|
+
{
|
|
263
|
+
epoch: prior.consumptionEpoch,
|
|
264
|
+
consumptionIdDigest,
|
|
265
|
+
bindingDigest: consumption.bindingDigest,
|
|
266
|
+
},
|
|
267
|
+
].sort(compareConsumptions);
|
|
268
|
+
const next = createStateFromPrior(prior, prior.remainingSteps === null ? null : prior.remainingSteps - 1, consumptions, compactedConsumptionCount, compactedConsumptionDigest);
|
|
269
|
+
if (await this.#compareAndSet({
|
|
270
|
+
stateKey: this.stateKey,
|
|
271
|
+
expectedRevision: prior.revision,
|
|
272
|
+
expectedStateDigest: prior.stateDigest,
|
|
273
|
+
next,
|
|
274
|
+
})) {
|
|
275
|
+
await this.#anchorAndRequireCommitted(prior, next);
|
|
276
|
+
return true;
|
|
277
|
+
}
|
|
278
|
+
}
|
|
279
|
+
throw new Error("semantic_horizon_budget_cas_retry_exhausted");
|
|
280
|
+
}
|
|
281
|
+
async #anchorAndRequireCommitted(prior, expected) {
|
|
282
|
+
const advanced = await this.#compareAndSetAnchor({
|
|
283
|
+
stateKey: this.stateKey,
|
|
284
|
+
expectedRevision: prior?.revision ?? null,
|
|
285
|
+
expectedStateDigest: prior?.stateDigest ?? null,
|
|
286
|
+
next: {
|
|
287
|
+
revision: expected.revision,
|
|
288
|
+
stateDigest: expected.stateDigest,
|
|
289
|
+
},
|
|
290
|
+
});
|
|
291
|
+
if (!advanced) {
|
|
292
|
+
const anchor = await this.#readAnchor(this.stateKey);
|
|
293
|
+
if (anchor?.revision !== expected.revision ||
|
|
294
|
+
anchor.stateDigest !== expected.stateDigest)
|
|
295
|
+
throw new TypeError("semantic_horizon_budget_anchor_commit_failed");
|
|
296
|
+
}
|
|
297
|
+
const committed = await this.#current();
|
|
298
|
+
if (!committed || committed.stateDigest !== expected.stateDigest)
|
|
299
|
+
throw new TypeError("semantic_horizon_budget_commit_not_observable");
|
|
300
|
+
return committed;
|
|
301
|
+
}
|
|
302
|
+
}
|
|
303
|
+
/** Nominal check for the library-owned CAS ledger. */
|
|
304
|
+
export function isSemanticHorizonBudgetLedgerV1(value) {
|
|
305
|
+
return (typeof value === "object" &&
|
|
306
|
+
value !== null &&
|
|
307
|
+
semanticHorizonBudgetLedgerInvokersV1.has(value));
|
|
308
|
+
}
|
|
309
|
+
function semanticHorizonBudgetInvokers(ledger) {
|
|
310
|
+
const invokers = typeof ledger === "object" && ledger !== null
|
|
311
|
+
? semanticHorizonBudgetLedgerInvokersV1.get(ledger)
|
|
312
|
+
: undefined;
|
|
313
|
+
if (!invokers)
|
|
314
|
+
throw new TypeError("concrete semantic horizon budget ledger is required");
|
|
315
|
+
return invokers;
|
|
316
|
+
}
|
|
317
|
+
function immutableInvoker(value) {
|
|
318
|
+
return {
|
|
319
|
+
value,
|
|
320
|
+
writable: false,
|
|
321
|
+
configurable: false,
|
|
322
|
+
enumerable: false,
|
|
323
|
+
};
|
|
324
|
+
}
|
|
325
|
+
export function validateSemanticHorizonBudgetStateV1(input, expectedStateKey) {
|
|
326
|
+
if (!input || typeof input !== "object")
|
|
327
|
+
throw new TypeError("semantic_horizon_budget_state_invalid");
|
|
328
|
+
const expectedKeys = [
|
|
329
|
+
"assumptionsDigest",
|
|
330
|
+
"compactedConsumptionCount",
|
|
331
|
+
"compactedConsumptionDigest",
|
|
332
|
+
"consumptionEpoch",
|
|
333
|
+
"controlPolicyDigest",
|
|
334
|
+
"consumptions",
|
|
335
|
+
"decisionBindingDigest",
|
|
336
|
+
"directive",
|
|
337
|
+
"format",
|
|
338
|
+
"guaranteeLogicalTimeMs",
|
|
339
|
+
"guaranteeSequence",
|
|
340
|
+
"guaranteeStateDigest",
|
|
341
|
+
"policyDigest",
|
|
342
|
+
"predecessorStateDigest",
|
|
343
|
+
"remainingSteps",
|
|
344
|
+
"revision",
|
|
345
|
+
"schemaVersion",
|
|
346
|
+
"stateDigest",
|
|
347
|
+
"stateKey",
|
|
348
|
+
].sort();
|
|
349
|
+
if (JSON.stringify(Object.keys(input).sort()) !== JSON.stringify(expectedKeys))
|
|
350
|
+
throw new TypeError("semantic_horizon_budget_state_schema_invalid");
|
|
351
|
+
if (input.format !== SEMANTIC_HORIZON_BUDGET_STATE_FORMAT_V1 ||
|
|
352
|
+
input.schemaVersion !== 1)
|
|
353
|
+
throw new TypeError("semantic_horizon_budget_state_format_invalid");
|
|
354
|
+
assertIdentifier(input.stateKey, "semanticHorizonBudget.stateKey");
|
|
355
|
+
if (expectedStateKey !== undefined && input.stateKey !== expectedStateKey)
|
|
356
|
+
throw new TypeError("semantic_horizon_budget_state_key_mismatch");
|
|
357
|
+
integer(input.revision, "semanticHorizonBudget.revision", 1, Number.MAX_SAFE_INTEGER);
|
|
358
|
+
assertDigest(input.guaranteeStateDigest, "semanticHorizonBudget.guaranteeStateDigest");
|
|
359
|
+
integer(input.guaranteeSequence, "semanticHorizonBudget.guaranteeSequence", 1, Number.MAX_SAFE_INTEGER);
|
|
360
|
+
integer(input.guaranteeLogicalTimeMs, "semanticHorizonBudget.guaranteeLogicalTimeMs", 0, Number.MAX_SAFE_INTEGER);
|
|
361
|
+
assertDigest(input.policyDigest, "semanticHorizonBudget.policyDigest");
|
|
362
|
+
assertDigest(input.assumptionsDigest, "semanticHorizonBudget.assumptionsDigest");
|
|
363
|
+
assertDigest(input.controlPolicyDigest, "semanticHorizonBudget.controlPolicyDigest");
|
|
364
|
+
assertDigest(input.decisionBindingDigest, "semanticHorizonBudget.decisionBindingDigest");
|
|
365
|
+
if (!isDirective(input.directive))
|
|
366
|
+
throw new TypeError("semantic_horizon_budget_directive_invalid");
|
|
367
|
+
if (input.remainingSteps !== null)
|
|
368
|
+
integer(input.remainingSteps, "semanticHorizonBudget.remainingSteps", 0, Number.MAX_SAFE_INTEGER);
|
|
369
|
+
if ((input.directive === "continue" && input.remainingSteps !== null) ||
|
|
370
|
+
(input.directive === "shorten_horizon" && input.remainingSteps === null) ||
|
|
371
|
+
((input.directive === "replan" || input.directive === "safe_stop") &&
|
|
372
|
+
input.remainingSteps !== 0))
|
|
373
|
+
throw new TypeError("semantic_horizon_budget_directive_remaining_invalid");
|
|
374
|
+
integer(input.consumptionEpoch, "semanticHorizonBudget.consumptionEpoch", 1, Number.MAX_SAFE_INTEGER);
|
|
375
|
+
integer(input.compactedConsumptionCount, "semanticHorizonBudget.compactedConsumptionCount", 0, Number.MAX_SAFE_INTEGER);
|
|
376
|
+
if ((input.compactedConsumptionCount === 0) !==
|
|
377
|
+
(input.compactedConsumptionDigest === null))
|
|
378
|
+
throw new TypeError("semantic_horizon_budget_compaction_accumulator_invalid");
|
|
379
|
+
if (input.compactedConsumptionDigest !== null)
|
|
380
|
+
assertDigest(input.compactedConsumptionDigest, "semanticHorizonBudget.compactedConsumptionDigest");
|
|
381
|
+
if ((input.revision === 1 && input.predecessorStateDigest !== null) ||
|
|
382
|
+
(input.revision > 1 && input.predecessorStateDigest === null))
|
|
383
|
+
throw new TypeError("semantic_horizon_budget_predecessor_revision_invalid");
|
|
384
|
+
if (input.predecessorStateDigest !== null)
|
|
385
|
+
assertDigest(input.predecessorStateDigest, "semanticHorizonBudget.predecessorStateDigest");
|
|
386
|
+
if (!Array.isArray(input.consumptions))
|
|
387
|
+
throw new TypeError("semantic_horizon_budget_consumptions_invalid");
|
|
388
|
+
let previousConsumption = null;
|
|
389
|
+
for (const consumption of input.consumptions) {
|
|
390
|
+
if (!consumption ||
|
|
391
|
+
typeof consumption !== "object" ||
|
|
392
|
+
JSON.stringify(Object.keys(consumption).sort()) !==
|
|
393
|
+
JSON.stringify(["bindingDigest", "consumptionIdDigest", "epoch"]))
|
|
394
|
+
throw new TypeError("semantic_horizon_budget_consumption_invalid");
|
|
395
|
+
integer(consumption.epoch, "semanticHorizonBudget.consumption.epoch", 1, input.consumptionEpoch);
|
|
396
|
+
assertDigest(consumption.consumptionIdDigest, "semanticHorizonBudget.consumptionIdDigest");
|
|
397
|
+
assertDigest(consumption.bindingDigest, "semanticHorizonBudget.consumption.bindingDigest");
|
|
398
|
+
if (previousConsumption &&
|
|
399
|
+
compareConsumptions(previousConsumption, consumption) >= 0)
|
|
400
|
+
throw new TypeError("semantic_horizon_budget_consumptions_not_canonical");
|
|
401
|
+
previousConsumption = consumption;
|
|
402
|
+
}
|
|
403
|
+
assertDigest(input.stateDigest, "semanticHorizonBudget.stateDigest");
|
|
404
|
+
const body = stateBody(input);
|
|
405
|
+
if (input.stateDigest !==
|
|
406
|
+
digestControlJsonV1("state", body))
|
|
407
|
+
throw new TypeError("semantic_horizon_budget_state_digest_invalid");
|
|
408
|
+
return deepFreeze({ ...input });
|
|
409
|
+
}
|
|
410
|
+
function decisionBinding(guarantee, decision) {
|
|
411
|
+
if (guarantee.stateDigest !== decision.guaranteeStateDigest ||
|
|
412
|
+
guarantee.policyDigest !== decision.policyDigest ||
|
|
413
|
+
guarantee.assumptionsDigest !== decision.assumptionsDigest)
|
|
414
|
+
throw new TypeError("semantic_horizon_budget_decision_binding_invalid");
|
|
415
|
+
return decisionBindingFromDecision(decision);
|
|
416
|
+
}
|
|
417
|
+
function decisionBindingFromDecision(decision) {
|
|
418
|
+
const body = {
|
|
419
|
+
bindingKind: "semantic_horizon_budget_decision",
|
|
420
|
+
schemaVersion: decision.schemaVersion,
|
|
421
|
+
directive: decision.directive,
|
|
422
|
+
recommendedHorizonSteps: decision.recommendedHorizonSteps,
|
|
423
|
+
replanRequired: decision.replanRequired,
|
|
424
|
+
reasonCodes: decision.reasonCodes,
|
|
425
|
+
guaranteeStateDigest: decision.guaranteeStateDigest,
|
|
426
|
+
policyDigest: decision.policyDigest,
|
|
427
|
+
assumptionsDigest: decision.assumptionsDigest,
|
|
428
|
+
controlPolicyDigest: decision.controlPolicyDigest,
|
|
429
|
+
};
|
|
430
|
+
return digestControlJsonV1("policy", body);
|
|
431
|
+
}
|
|
432
|
+
function nextRemaining(prior, decision) {
|
|
433
|
+
if (decision.directive === "continue")
|
|
434
|
+
return prior;
|
|
435
|
+
if (decision.directive !== "shorten_horizon")
|
|
436
|
+
return 0;
|
|
437
|
+
return prior === null
|
|
438
|
+
? decision.recommendedHorizonSteps
|
|
439
|
+
: Math.min(prior, decision.recommendedHorizonSteps);
|
|
440
|
+
}
|
|
441
|
+
function createState(input) {
|
|
442
|
+
const body = {
|
|
443
|
+
format: SEMANTIC_HORIZON_BUDGET_STATE_FORMAT_V1,
|
|
444
|
+
schemaVersion: 1,
|
|
445
|
+
stateKey: input.stateKey,
|
|
446
|
+
revision: (input.prior?.revision ?? 0) + 1,
|
|
447
|
+
guaranteeStateDigest: input.guarantee.stateDigest,
|
|
448
|
+
guaranteeSequence: input.guarantee.throughSequence,
|
|
449
|
+
guaranteeLogicalTimeMs: input.guarantee.throughLogicalTimeMs,
|
|
450
|
+
policyDigest: input.decision.policyDigest,
|
|
451
|
+
assumptionsDigest: input.decision.assumptionsDigest,
|
|
452
|
+
controlPolicyDigest: input.decision.controlPolicyDigest,
|
|
453
|
+
directive: effectiveDirective(input.prior, input.decision, input.remainingSteps),
|
|
454
|
+
decisionBindingDigest: input.decisionBindingDigest,
|
|
455
|
+
remainingSteps: input.remainingSteps,
|
|
456
|
+
consumptionEpoch: input.consumptionEpoch,
|
|
457
|
+
compactedConsumptionCount: input.compactedConsumptionCount,
|
|
458
|
+
compactedConsumptionDigest: input.compactedConsumptionDigest,
|
|
459
|
+
consumptions: input.consumptions,
|
|
460
|
+
predecessorStateDigest: input.prior?.stateDigest ?? null,
|
|
461
|
+
};
|
|
462
|
+
return deepFreeze({
|
|
463
|
+
...body,
|
|
464
|
+
stateDigest: digestControlJsonV1("state", body),
|
|
465
|
+
});
|
|
466
|
+
}
|
|
467
|
+
function createStateFromPrior(prior, remainingSteps, consumptions, compactedConsumptionCount, compactedConsumptionDigest) {
|
|
468
|
+
const body = {
|
|
469
|
+
...stateBody(prior),
|
|
470
|
+
revision: prior.revision + 1,
|
|
471
|
+
remainingSteps,
|
|
472
|
+
consumptions,
|
|
473
|
+
compactedConsumptionCount,
|
|
474
|
+
compactedConsumptionDigest,
|
|
475
|
+
predecessorStateDigest: prior.stateDigest,
|
|
476
|
+
};
|
|
477
|
+
return deepFreeze({
|
|
478
|
+
...body,
|
|
479
|
+
stateDigest: digestControlJsonV1("state", body),
|
|
480
|
+
});
|
|
481
|
+
}
|
|
482
|
+
function stateBody(input) {
|
|
483
|
+
return {
|
|
484
|
+
format: input.format,
|
|
485
|
+
schemaVersion: input.schemaVersion,
|
|
486
|
+
stateKey: input.stateKey,
|
|
487
|
+
revision: input.revision,
|
|
488
|
+
guaranteeStateDigest: input.guaranteeStateDigest,
|
|
489
|
+
guaranteeSequence: input.guaranteeSequence,
|
|
490
|
+
guaranteeLogicalTimeMs: input.guaranteeLogicalTimeMs,
|
|
491
|
+
policyDigest: input.policyDigest,
|
|
492
|
+
assumptionsDigest: input.assumptionsDigest,
|
|
493
|
+
controlPolicyDigest: input.controlPolicyDigest,
|
|
494
|
+
directive: input.directive,
|
|
495
|
+
decisionBindingDigest: input.decisionBindingDigest,
|
|
496
|
+
remainingSteps: input.remainingSteps,
|
|
497
|
+
consumptionEpoch: input.consumptionEpoch,
|
|
498
|
+
compactedConsumptionCount: input.compactedConsumptionCount,
|
|
499
|
+
compactedConsumptionDigest: input.compactedConsumptionDigest,
|
|
500
|
+
consumptions: input.consumptions,
|
|
501
|
+
predecessorStateDigest: input.predecessorStateDigest,
|
|
502
|
+
};
|
|
503
|
+
}
|
|
504
|
+
function compareConsumptions(left, right) {
|
|
505
|
+
return (left.epoch - right.epoch ||
|
|
506
|
+
compareCodeUnits(left.consumptionIdDigest, right.consumptionIdDigest));
|
|
507
|
+
}
|
|
508
|
+
function consumptionDigest(stateKey, consumptionId) {
|
|
509
|
+
return digestControlJsonV1("action", {
|
|
510
|
+
kind: "semantic_horizon_budget_consumption",
|
|
511
|
+
stateKey,
|
|
512
|
+
consumptionId,
|
|
513
|
+
});
|
|
514
|
+
}
|
|
515
|
+
function effectiveDirective(prior, decision, remainingSteps) {
|
|
516
|
+
if (remainingSteps === null)
|
|
517
|
+
return "continue";
|
|
518
|
+
if (remainingSteps > 0)
|
|
519
|
+
return "shorten_horizon";
|
|
520
|
+
if (decision.directive === "safe_stop" || decision.directive === "replan")
|
|
521
|
+
return decision.directive;
|
|
522
|
+
if (prior?.remainingSteps === 0 &&
|
|
523
|
+
(prior.directive === "safe_stop" || prior.directive === "replan"))
|
|
524
|
+
return prior.directive;
|
|
525
|
+
return "shorten_horizon";
|
|
526
|
+
}
|
|
527
|
+
function isDirective(value) {
|
|
528
|
+
return ["continue", "shorten_horizon", "replan", "safe_stop"].includes(value);
|
|
529
|
+
}
|
|
530
|
+
function integer(value, label, minimum, maximum) {
|
|
531
|
+
if (!Number.isSafeInteger(value) || value < minimum)
|
|
532
|
+
throw new RangeError(`${label}_invalid`);
|
|
533
|
+
if (value > maximum)
|
|
534
|
+
throw new RangeError(`${label}_invalid`);
|
|
535
|
+
}
|
|
536
|
+
//# sourceMappingURL=semantic-horizon-budget.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"semantic-horizon-budget.js","sourceRoot":"","sources":["../src/semantic-horizon-budget.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,iCAAiC,GAGlC,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,gBAAgB,EAChB,UAAU,GACX,MAAM,iBAAiB,CAAC;AAEzB,MAAM,CAAC,MAAM,uCAAuC,GAClD,8DAAuE,CAAC;AAwE1E,8EAA8E;AAC9E,MAAM,OAAO,oCAAoC;IACtC,OAAO,GAAG,IAAI,GAAG,EAAwC,CAAC;IAEnE,KAAK,CAAC,IAAI,CAAC,QAAgB;QACzB,gBAAgB,CAAC,QAAQ,EAAE,gCAAgC,CAAC,CAAC;QAC7D,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC;IAC5C,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,KAKnB;QACC,gBAAgB,CAAC,KAAK,CAAC,QAAQ,EAAE,gCAAgC,CAAC,CAAC;QACnE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC;QACzD,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,MAAM,IAAI,GAAG,oCAAoC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9D,IACE,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;YAChC,IAAI,CAAC,QAAQ,KAAK,CAAC,OAAO,EAAE,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC;YAC9C,IAAI,CAAC,sBAAsB,KAAK,CAAC,OAAO,EAAE,WAAW,IAAI,IAAI,CAAC;YAE9D,MAAM,IAAI,SAAS,CAAC,gDAAgD,CAAC,CAAC;QACxE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED,8EAA8E;AAC9E,MAAM,OAAO,8CAA8C;IAChD,QAAQ,GAAG,IAAI,GAAG,EAAyC,CAAC;IAErE,KAAK,CAAC,UAAU,CACd,QAAgB;QAEhB,gBAAgB,CAAC,QAAQ,EAAE,uCAAuC,CAAC,CAAC;QACpE,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC;IAC7C,CAAC;IAED,KAAK,CAAC,mBAAmB,CAAC,KAKzB;QACC,gBAAgB,CAAC,KAAK,CAAC,QAAQ,EAAE,uCAAuC,CAAC,CAAC;QAC1E,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC;QACxD,IACE,CAAC,KAAK,EAAE,QAAQ,IAAI,IAAI,CAAC,KAAK,KAAK,CAAC,gBAAgB;YACpD,CAAC,KAAK,EAAE,WAAW,IAAI,IAAI,CAAC,KAAK,KAAK,CAAC,mBAAmB;YAE1D,OAAO,KAAK,CAAC;QACf,OAAO,CACL,KAAK,CAAC,IAAI,CAAC,QAAQ,EACnB,uCAAuC,EACvC,CAAC,EACD,MAAM,CAAC,gBAAgB,CACxB,CAAC;QACF,YAAY,CACV,KAAK,CAAC,IAAI,CAAC,WAAW,EACtB,0CAA0C,CAC3C,CAAC;QACF,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,KAAK,EAAE,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC;YACpD,MAAM,IAAI,SAAS,CAAC,mDAAmD,CAAC,CAAC;QAC3E,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACjE,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAyBD,MAAM,qCAAqC,GAAG,IAAI,OAAO,EAGtD,CAAC;AAEJ;;;GAGG;AACH,MAAM,OAAO,6BAA6B;IAC/B,QAAQ,CAAS;IACjB,kBAAkB,CAAS;IAC3B,mBAAmB,CAAS;IAC5B,KAAK,CAAuC;IAC5C,cAAc,CAAgD;IAC9D,WAAW,CAA4D;IACvE,oBAAoB,CAAqE;IAElG,YAAY,OAA6C;QACvD,gBAAgB,CAAC,OAAO,CAAC,QAAQ,EAAE,gCAAgC,CAAC,CAAC;QACrE,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC;QACjC,MAAM,aAAa,GAAG,OAAO,CAAC,KAAK,EAAE,aAAa,CAAC;QACnD,IAAI,OAAO,IAAI,KAAK,UAAU,IAAI,OAAO,aAAa,KAAK,UAAU;YACnE,MAAM,IAAI,SAAS,CAAC,wCAAwC,CAAC,CAAC;QAChE,MAAM,eAAe,GACnB,OAAO,CAAC,eAAe;YACvB,CAAC,OAAO,CAAC,KAAK,YAAY,oCAAoC;gBAC5D,CAAC,CAAC,IAAI,8CAA8C,EAAE;gBACtD,CAAC,CAAC,SAAS,CAAC,CAAC;QACjB,IAAI,CAAC,eAAe;YAClB,MAAM,IAAI,SAAS,CAAC,mDAAmD,CAAC,CAAC;QAC3E,MAAM,UAAU,GAAG,eAAe,CAAC,UAAU,CAAC;QAC9C,MAAM,mBAAmB,GAAG,eAAe,CAAC,mBAAmB,CAAC;QAChE,IACE,OAAO,UAAU,KAAK,UAAU;YAChC,OAAO,mBAAmB,KAAK,UAAU;YAEzC,MAAM,IAAI,SAAS,CAAC,mDAAmD,CAAC,CAAC;QAC3E,MAAM,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,IAAI,CAAC,CAAC;QAC3D,MAAM,mBAAmB,GAAG,OAAO,CAAC,mBAAmB,IAAI,KAAK,CAAC;QACjE,OAAO,CACL,kBAAkB,EAClB,0CAA0C,EAC1C,CAAC,EACD,KAAK,CACN,CAAC;QACF,OAAO,CACL,mBAAmB,EACnB,2CAA2C,EAC3C,CAAC,EACD,OAAO,CACR,CAAC;QACF,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;QACjC,IAAI,CAAC,kBAAkB,GAAG,kBAAkB,CAAC;QAC7C,IAAI,CAAC,mBAAmB,GAAG,mBAAmB,CAAC;QAC/C,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,CAAC,cAAc,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACxD,IAAI,CAAC,WAAW,GAAG,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACpD,IAAI,CAAC,oBAAoB,GAAG,mBAAmB,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACtE,MAAM,QAAQ,GAA0C,MAAM,CAAC,MAAM,CAAC;YACpE,OAAO,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE;YAC9B,KAAK,EAAE,CACL,SAAqC,EACrC,QAAmC,EACnC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC;YACrC,OAAO,EAAE,CACP,QAAmC,EACnC,WAAoD,EACpD,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC;YACzC,oBAAoB,EAAE,CACpB,WAAoD,EACpD,EAAE,CAAC,IAAI,CAAC,qBAAqB,CAAC,WAAW,CAAC;SAC7C,CAAC,CAAC;QACH,qCAAqC,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC1D,MAAM,CAAC,gBAAgB,CAAC,IAAI,EAAE;YAC5B,OAAO,EAAE,gBAAgB,CAAC,QAAQ,CAAC,OAAO,CAAC;YAC3C,KAAK,EAAE,gBAAgB,CAAC,QAAQ,CAAC,KAAK,CAAC;YACvC,OAAO,EAAE,gBAAgB,CAAC,QAAQ,CAAC,OAAO,CAAC;YAC3C,oBAAoB,EAAE,gBAAgB,CAAC,QAAQ,CAAC,oBAAoB,CAAC;SACtE,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IAED,KAAK,CAAC,OAAO;QACX,OAAO,6BAA6B,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;IACvD,CAAC;IAED,KAAK,CAAC,QAAQ;QACZ,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACzC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC;YACzB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC;SAChC,CAAC,CAAC;QACH,MAAM,KAAK,GACT,MAAM,KAAK,IAAI;YACb,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,oCAAoC,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClE,IAAI,KAAK,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;YAC7C,IAAI,KAAK,CAAC,sBAAsB,KAAK,IAAI;gBACvC,MAAM,IAAI,SAAS,CAAC,+CAA+C,CAAC,CAAC;YACvE,OAAO,IAAI,CAAC,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACrD,CAAC;QACD,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC;YACxC,MAAM,IAAI,SAAS,CAAC,+CAA+C,CAAC,CAAC;QACvE,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,CACL,MAAM,CAAC,QAAQ,EACf,uCAAuC,EACvC,CAAC,EACD,MAAM,CAAC,gBAAgB,CACxB,CAAC;YACF,YAAY,CACV,MAAM,CAAC,WAAW,EAClB,0CAA0C,CAC3C,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,IAAI,MAAM,EAAE,CAAC;YACpB,IACE,KAAK,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ;gBAClC,KAAK,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW;gBAExC,OAAO,KAAK,CAAC;YACf,IACE,KAAK,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,GAAG,CAAC;gBACtC,KAAK,CAAC,sBAAsB,KAAK,MAAM,CAAC,WAAW;gBAEnD,OAAO,IAAI,CAAC,yBAAyB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACvD,MAAM,IAAI,SAAS,CAAC,4CAA4C,CAAC,CAAC;QACpE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,KAAK,CAAC,yBAAyB,CAC7B,MAA4C,EAC5C,KAAmC;QAEnC,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,oBAAoB,CAAC;YAC/C,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,gBAAgB,EAAE,MAAM,EAAE,QAAQ,IAAI,IAAI;YAC1C,mBAAmB,EAAE,MAAM,EAAE,WAAW,IAAI,IAAI;YAChD,IAAI,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE;SACnE,CAAC,CAAC;QACH,MAAM,aAAa,GAAG,QAAQ;YAC5B,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE;YAC9D,CAAC,CAAC,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC1C,IACE,aAAa,EAAE,QAAQ,KAAK,KAAK,CAAC,QAAQ;YAC1C,aAAa,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW;YAE/C,MAAM,IAAI,SAAS,CACjB,sDAAsD,CACvD,CAAC;QACJ,OAAO,KAAK,CAAC;IACf,CAAC;IAED,KAAK,CAAC,KAAK,CACT,SAAqC,EACrC,QAAmC;QAEnC,OAAO,6BAA6B,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IACxE,CAAC;IAED,KAAK,CAAC,MAAM,CACV,SAAqC,EACrC,QAAmC;QAEnC,iCAAiC,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACvD,MAAM,OAAO,GAAG,eAAe,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QACrD,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,IAAI,CAAC,kBAAkB,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;YACtE,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,KAAK,EAAE,CAAC;gBACV,IACE,SAAS,CAAC,eAAe,GAAG,KAAK,CAAC,iBAAiB;oBACnD,SAAS,CAAC,oBAAoB,GAAG,KAAK,CAAC,sBAAsB;oBAE7D,MAAM,IAAI,SAAS,CAAC,4CAA4C,CAAC,CAAC;gBACpE,IACE,SAAS,CAAC,eAAe,KAAK,KAAK,CAAC,iBAAiB;oBACrD,SAAS,CAAC,WAAW,KAAK,KAAK,CAAC,oBAAoB;oBAEpD,MAAM,IAAI,SAAS,CAAC,gDAAgD,CAAC,CAAC;gBACxE,IAAI,SAAS,CAAC,WAAW,KAAK,KAAK,CAAC,oBAAoB,EAAE,CAAC;oBACzD,IAAI,OAAO,KAAK,KAAK,CAAC,qBAAqB;wBACzC,MAAM,IAAI,SAAS,CACjB,+CAA+C,CAChD,CAAC;oBACJ,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;YACD,MAAM,IAAI,GAAG,WAAW,CAAC;gBACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,KAAK;gBACL,SAAS;gBACT,QAAQ;gBACR,qBAAqB,EAAE,OAAO;gBAC9B,cAAc,EAAE,aAAa,CAAC,KAAK,EAAE,cAAc,IAAI,IAAI,EAAE,QAAQ,CAAC;gBACtE,gBAAgB,EAAE,CAAC,KAAK,EAAE,gBAAgB,IAAI,CAAC,CAAC,GAAG,CAAC;gBACpD,yBAAyB,EAAE,KAAK,EAAE,yBAAyB,IAAI,CAAC;gBAChE,0BAA0B,EAAE,KAAK,EAAE,0BAA0B,IAAI,IAAI;gBACrE,YAAY,EAAE,KAAK,EAAE,YAAY,IAAI,EAAE;aACxC,CAAC,CAAC;YACH,IACE,MAAM,IAAI,CAAC,cAAc,CAAC;gBACxB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,gBAAgB,EAAE,KAAK,EAAE,QAAQ,IAAI,IAAI;gBACzC,mBAAmB,EAAE,KAAK,EAAE,WAAW,IAAI,IAAI;gBAC/C,IAAI;aACL,CAAC;gBAEF,OAAO,IAAI,CAAC,0BAA0B,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACxD,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IAED,KAAK,CAAC,OAAO,CACX,QAAmC,EACnC,WAAoD;QAEpD,OAAO,6BAA6B,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IAC5E,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,oBAAoB,CACxB,WAAoD;QAEpD,OAAO,6BAA6B,CAAC,IAAI,CAAC,CAAC,oBAAoB,CAC7D,WAAW,CACZ,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,qBAAqB,CACzB,WAAoD;QAEpD,gBAAgB,CACd,WAAW,EAAE,aAAa,EAC1B,qCAAqC,CACtC,CAAC;QACF,YAAY,CACV,WAAW,EAAE,aAAa,EAC1B,iDAAiD,CAClD,CAAC;QACF,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,QAAQ,EAAE,CAAC;QACpC,IAAI,CAAC,KAAK;YAAE,OAAO,KAAK,CAAC;QACzB,MAAM,mBAAmB,GAAG,iBAAiB,CAC3C,IAAI,CAAC,QAAQ,EACb,WAAW,CAAC,aAAa,CAC1B,CAAC;QACF,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,CAAC,IAAI,CACtC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,mBAAmB,KAAK,mBAAmB,CAC3D,CAAC;QACF,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,QAAQ,CAAC,aAAa,KAAK,WAAW,CAAC,aAAa;gBACtD,MAAM,IAAI,SAAS,CAAC,kDAAkD,CAAC,CAAC;YAC1E,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,KAAK,CAAC,yBAAyB,GAAG,CAAC;YACrC,MAAM,IAAI,UAAU,CAClB,6DAA6D,CAC9D,CAAC;QACJ,OAAO,KAAK,CAAC;IACf,CAAC;IAED,KAAK,CAAC,QAAQ,CACZ,QAAmC,EACnC,WAAoD;QAEpD,YAAY,CACV,QAAQ,CAAC,oBAAoB,EAC7B,qDAAqD,CACtD,CAAC;QACF,gBAAgB,CACd,WAAW,EAAE,aAAa,EAC1B,qCAAqC,CACtC,CAAC;QACF,YAAY,CACV,WAAW,EAAE,aAAa,EAC1B,iDAAiD,CAClD,CAAC;QACF,MAAM,mBAAmB,GAAG,iBAAiB,CAC3C,IAAI,CAAC,QAAQ,EACb,WAAW,CAAC,aAAa,CAC1B,CAAC;QACF,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,IAAI,CAAC,kBAAkB,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;YACtE,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,CAAC,KAAK;gBAAE,MAAM,IAAI,SAAS,CAAC,wCAAwC,CAAC,CAAC;YAC1E,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,CAAC,IAAI,CACtC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,mBAAmB,KAAK,mBAAmB,CAC3D,CAAC;YACF,IAAI,QAAQ,EAAE,CAAC;gBACb,IAAI,QAAQ,CAAC,aAAa,KAAK,WAAW,CAAC,aAAa;oBACtD,MAAM,IAAI,SAAS,CACjB,kDAAkD,CACnD,CAAC;gBACJ,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IACE,KAAK,CAAC,oBAAoB,KAAK,QAAQ,CAAC,oBAAoB;gBAC5D,KAAK,CAAC,qBAAqB,KAAK,2BAA2B,CAAC,QAAQ,CAAC;gBAErE,OAAO,KAAK,CAAC;YACf,IAAI,KAAK,CAAC,cAAc,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC7C,IAAI,QAAQ,GAAG,KAAK,CAAC,YAAY,CAAC;YAClC,IAAI,yBAAyB,GAAG,KAAK,CAAC,yBAAyB,CAAC;YAChE,IAAI,0BAA0B,GAAG,KAAK,CAAC,0BAA0B,CAAC;YAClE,IAAI,QAAQ,CAAC,MAAM,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;gBAChD,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CACjC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,gBAAgB,CAC9C,CAAC;gBACF,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;oBAC1B,MAAM,IAAI,UAAU,CAClB,4DAA4D,CAC7D,CAAC;gBACJ,QAAQ,GAAG,QAAQ,CAAC,MAAM,CACxB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,gBAAgB,CAChD,CAAC;gBACF,0BAA0B,GAAG,mBAAmB,CAAC,OAAO,EAAE;oBACxD,IAAI,EAAE,gDAAgD;oBACtD,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,KAAK,EAAE,KAAK,CAAC,gBAAgB;oBAC7B,cAAc,EAAE,0BAA0B;oBAC1C,aAAa,EAAE,yBAAyB;oBACxC,OAAO,EAAE,WAAW;iBACG,CAAC,CAAC;gBAC3B,yBAAyB,IAAI,WAAW,CAAC,MAAM,CAAC;YAClD,CAAC;YACD,MAAM,YAAY,GAAG;gBACnB,GAAG,QAAQ;gBACX;oBACE,KAAK,EAAE,KAAK,CAAC,gBAAgB;oBAC7B,mBAAmB;oBACnB,aAAa,EAAE,WAAW,CAAC,aAAa;iBACzC;aACF,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;YAC5B,MAAM,IAAI,GAAG,oBAAoB,CAC/B,KAAK,EACL,KAAK,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,GAAG,CAAC,EAC/D,YAAY,EACZ,yBAAyB,EACzB,0BAA0B,CAC3B,CAAC;YACF,IACE,MAAM,IAAI,CAAC,cAAc,CAAC;gBACxB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,gBAAgB,EAAE,KAAK,CAAC,QAAQ;gBAChC,mBAAmB,EAAE,KAAK,CAAC,WAAW;gBACtC,IAAI;aACL,CAAC,EACF,CAAC;gBACD,MAAM,IAAI,CAAC,0BAA0B,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;gBACnD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IAED,KAAK,CAAC,0BAA0B,CAC9B,KAA0C,EAC1C,QAAsC;QAEtC,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,oBAAoB,CAAC;YAC/C,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,gBAAgB,EAAE,KAAK,EAAE,QAAQ,IAAI,IAAI;YACzC,mBAAmB,EAAE,KAAK,EAAE,WAAW,IAAI,IAAI;YAC/C,IAAI,EAAE;gBACJ,QAAQ,EAAE,QAAQ,CAAC,QAAQ;gBAC3B,WAAW,EAAE,QAAQ,CAAC,WAAW;aAClC;SACF,CAAC,CAAC;QACH,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrD,IACE,MAAM,EAAE,QAAQ,KAAK,QAAQ,CAAC,QAAQ;gBACtC,MAAM,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW;gBAE3C,MAAM,IAAI,SAAS,CAAC,8CAA8C,CAAC,CAAC;QACxE,CAAC;QACD,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,QAAQ,EAAE,CAAC;QACxC,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW;YAC9D,MAAM,IAAI,SAAS,CAAC,+CAA+C,CAAC,CAAC;QACvE,OAAO,SAAS,CAAC;IACnB,CAAC;CACF;AAED,sDAAsD;AACtD,MAAM,UAAU,+BAA+B,CAC7C,KAAc;IAEd,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,qCAAqC,CAAC,GAAG,CAAC,KAAK,CAAC,CACjD,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CACpC,MAAqC;IAErC,MAAM,QAAQ,GACZ,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI;QAC3C,CAAC,CAAC,qCAAqC,CAAC,GAAG,CAAC,MAAM,CAAC;QACnD,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,CAAC,QAAQ;QACX,MAAM,IAAI,SAAS,CAAC,qDAAqD,CAAC,CAAC;IAC7E,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACtC,OAAO;QACL,KAAK;QACL,QAAQ,EAAE,KAAK;QACf,YAAY,EAAE,KAAK;QACnB,UAAU,EAAE,KAAK;KAClB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oCAAoC,CAClD,KAAmC,EACnC,gBAAyB;IAEzB,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QACrC,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAC;IAC/D,MAAM,YAAY,GAAG;QACnB,mBAAmB;QACnB,2BAA2B;QAC3B,4BAA4B;QAC5B,kBAAkB;QAClB,qBAAqB;QACrB,cAAc;QACd,uBAAuB;QACvB,WAAW;QACX,QAAQ;QACR,wBAAwB;QACxB,mBAAmB;QACnB,sBAAsB;QACtB,cAAc;QACd,wBAAwB;QACxB,gBAAgB;QAChB,UAAU;QACV,eAAe;QACf,aAAa;QACb,UAAU;KACX,CAAC,IAAI,EAAE,CAAC;IACT,IACE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC;QAE1E,MAAM,IAAI,SAAS,CAAC,8CAA8C,CAAC,CAAC;IACtE,IACE,KAAK,CAAC,MAAM,KAAK,uCAAuC;QACxD,KAAK,CAAC,aAAa,KAAK,CAAC;QAEzB,MAAM,IAAI,SAAS,CAAC,8CAA8C,CAAC,CAAC;IACtE,gBAAgB,CAAC,KAAK,CAAC,QAAQ,EAAE,gCAAgC,CAAC,CAAC;IACnE,IAAI,gBAAgB,KAAK,SAAS,IAAI,KAAK,CAAC,QAAQ,KAAK,gBAAgB;QACvE,MAAM,IAAI,SAAS,CAAC,4CAA4C,CAAC,CAAC;IACpE,OAAO,CACL,KAAK,CAAC,QAAQ,EACd,gCAAgC,EAChC,CAAC,EACD,MAAM,CAAC,gBAAgB,CACxB,CAAC;IACF,YAAY,CACV,KAAK,CAAC,oBAAoB,EAC1B,4CAA4C,CAC7C,CAAC;IACF,OAAO,CACL,KAAK,CAAC,iBAAiB,EACvB,yCAAyC,EACzC,CAAC,EACD,MAAM,CAAC,gBAAgB,CACxB,CAAC;IACF,OAAO,CACL,KAAK,CAAC,sBAAsB,EAC5B,8CAA8C,EAC9C,CAAC,EACD,MAAM,CAAC,gBAAgB,CACxB,CAAC;IACF,YAAY,CAAC,KAAK,CAAC,YAAY,EAAE,oCAAoC,CAAC,CAAC;IACvE,YAAY,CACV,KAAK,CAAC,iBAAiB,EACvB,yCAAyC,CAC1C,CAAC;IACF,YAAY,CACV,KAAK,CAAC,mBAAmB,EACzB,2CAA2C,CAC5C,CAAC;IACF,YAAY,CACV,KAAK,CAAC,qBAAqB,EAC3B,6CAA6C,CAC9C,CAAC;IACF,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,SAAS,CAAC;QAC/B,MAAM,IAAI,SAAS,CAAC,2CAA2C,CAAC,CAAC;IACnE,IAAI,KAAK,CAAC,cAAc,KAAK,IAAI;QAC/B,OAAO,CACL,KAAK,CAAC,cAAc,EACpB,sCAAsC,EACtC,CAAC,EACD,MAAM,CAAC,gBAAgB,CACxB,CAAC;IACJ,IACE,CAAC,KAAK,CAAC,SAAS,KAAK,UAAU,IAAI,KAAK,CAAC,cAAc,KAAK,IAAI,CAAC;QACjE,CAAC,KAAK,CAAC,SAAS,KAAK,iBAAiB,IAAI,KAAK,CAAC,cAAc,KAAK,IAAI,CAAC;QACxE,CAAC,CAAC,KAAK,CAAC,SAAS,KAAK,QAAQ,IAAI,KAAK,CAAC,SAAS,KAAK,WAAW,CAAC;YAChE,KAAK,CAAC,cAAc,KAAK,CAAC,CAAC;QAE7B,MAAM,IAAI,SAAS,CAAC,qDAAqD,CAAC,CAAC;IAC7E,OAAO,CACL,KAAK,CAAC,gBAAgB,EACtB,wCAAwC,EACxC,CAAC,EACD,MAAM,CAAC,gBAAgB,CACxB,CAAC;IACF,OAAO,CACL,KAAK,CAAC,yBAAyB,EAC/B,iDAAiD,EACjD,CAAC,EACD,MAAM,CAAC,gBAAgB,CACxB,CAAC;IACF,IACE,CAAC,KAAK,CAAC,yBAAyB,KAAK,CAAC,CAAC;QACvC,CAAC,KAAK,CAAC,0BAA0B,KAAK,IAAI,CAAC;QAE3C,MAAM,IAAI,SAAS,CACjB,wDAAwD,CACzD,CAAC;IACJ,IAAI,KAAK,CAAC,0BAA0B,KAAK,IAAI;QAC3C,YAAY,CACV,KAAK,CAAC,0BAA0B,EAChC,kDAAkD,CACnD,CAAC;IACJ,IACE,CAAC,KAAK,CAAC,QAAQ,KAAK,CAAC,IAAI,KAAK,CAAC,sBAAsB,KAAK,IAAI,CAAC;QAC/D,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,IAAI,KAAK,CAAC,sBAAsB,KAAK,IAAI,CAAC;QAE7D,MAAM,IAAI,SAAS,CAAC,sDAAsD,CAAC,CAAC;IAC9E,IAAI,KAAK,CAAC,sBAAsB,KAAK,IAAI;QACvC,YAAY,CACV,KAAK,CAAC,sBAAsB,EAC5B,8CAA8C,CAC/C,CAAC;IACJ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC;QACpC,MAAM,IAAI,SAAS,CAAC,8CAA8C,CAAC,CAAC;IACtE,IAAI,mBAAmB,GAA8C,IAAI,CAAC;IAC1E,KAAK,MAAM,WAAW,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QAC7C,IACE,CAAC,WAAW;YACZ,OAAO,WAAW,KAAK,QAAQ;YAC/B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC7C,IAAI,CAAC,SAAS,CAAC,CAAC,eAAe,EAAE,qBAAqB,EAAE,OAAO,CAAC,CAAC;YAEnE,MAAM,IAAI,SAAS,CAAC,6CAA6C,CAAC,CAAC;QACrE,OAAO,CACL,WAAW,CAAC,KAAK,EACjB,yCAAyC,EACzC,CAAC,EACD,KAAK,CAAC,gBAAgB,CACvB,CAAC;QACF,YAAY,CACV,WAAW,CAAC,mBAAmB,EAC/B,2CAA2C,CAC5C,CAAC;QACF,YAAY,CACV,WAAW,CAAC,aAAa,EACzB,iDAAiD,CAClD,CAAC;QACF,IACE,mBAAmB;YACnB,mBAAmB,CAAC,mBAAmB,EAAE,WAAW,CAAC,IAAI,CAAC;YAE1D,MAAM,IAAI,SAAS,CAAC,oDAAoD,CAAC,CAAC;QAC5E,mBAAmB,GAAG,WAAW,CAAC;IACpC,CAAC;IACD,YAAY,CAAC,KAAK,CAAC,WAAW,EAAE,mCAAmC,CAAC,CAAC;IACrE,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9B,IACE,KAAK,CAAC,WAAW;QACjB,mBAAmB,CAAC,OAAO,EAAE,IAA4B,CAAC;QAE1D,MAAM,IAAI,SAAS,CAAC,8CAA8C,CAAC,CAAC;IACtE,OAAO,UAAU,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,eAAe,CACtB,SAAqC,EACrC,QAAmC;IAEnC,IACE,SAAS,CAAC,WAAW,KAAK,QAAQ,CAAC,oBAAoB;QACvD,SAAS,CAAC,YAAY,KAAK,QAAQ,CAAC,YAAY;QAChD,SAAS,CAAC,iBAAiB,KAAK,QAAQ,CAAC,iBAAiB;QAE1D,MAAM,IAAI,SAAS,CAAC,kDAAkD,CAAC,CAAC;IAC1E,OAAO,2BAA2B,CAAC,QAAQ,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,2BAA2B,CAClC,QAAmC;IAEnC,MAAM,IAAI,GAAG;QACX,WAAW,EAAE,kCAA2C;QACxD,aAAa,EAAE,QAAQ,CAAC,aAAa;QACrC,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,uBAAuB,EAAE,QAAQ,CAAC,uBAAuB;QACzD,cAAc,EAAE,QAAQ,CAAC,cAAc;QACvC,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,oBAAoB,EAAE,QAAQ,CAAC,oBAAoB;QACnD,YAAY,EAAE,QAAQ,CAAC,YAAY;QACnC,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;QAC7C,mBAAmB,EAAE,QAAQ,CAAC,mBAAmB;KAClD,CAAC;IACF,OAAO,mBAAmB,CAAC,QAAQ,EAAE,IAA4B,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,aAAa,CACpB,KAAoB,EACpB,QAAmC;IAEnC,IAAI,QAAQ,CAAC,SAAS,KAAK,UAAU;QAAE,OAAO,KAAK,CAAC;IACpD,IAAI,QAAQ,CAAC,SAAS,KAAK,iBAAiB;QAAE,OAAO,CAAC,CAAC;IACvD,OAAO,KAAK,KAAK,IAAI;QACnB,CAAC,CAAC,QAAQ,CAAC,uBAAuB;QAClC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,uBAAuB,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,WAAW,CAAC,KAWpB;IACC,MAAM,IAAI,GAAG;QACX,MAAM,EAAE,uCAAuC;QAC/C,aAAa,EAAE,CAAU;QACzB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,QAAQ,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC;QAC1C,oBAAoB,EAAE,KAAK,CAAC,SAAS,CAAC,WAAW;QACjD,iBAAiB,EAAE,KAAK,CAAC,SAAS,CAAC,eAAe;QAClD,sBAAsB,EAAE,KAAK,CAAC,SAAS,CAAC,oBAAoB;QAC5D,YAAY,EAAE,KAAK,CAAC,QAAQ,CAAC,YAAY;QACzC,iBAAiB,EAAE,KAAK,CAAC,QAAQ,CAAC,iBAAiB;QACnD,mBAAmB,EAAE,KAAK,CAAC,QAAQ,CAAC,mBAAmB;QACvD,SAAS,EAAE,kBAAkB,CAC3B,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,cAAc,CACrB;QACD,qBAAqB,EAAE,KAAK,CAAC,qBAAqB;QAClD,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,yBAAyB,EAAE,KAAK,CAAC,yBAAyB;QAC1D,0BAA0B,EAAE,KAAK,CAAC,0BAA0B;QAC5D,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,sBAAsB,EAAE,KAAK,CAAC,KAAK,EAAE,WAAW,IAAI,IAAI;KACzD,CAAC;IACF,OAAO,UAAU,CAAC;QAChB,GAAG,IAAI;QACP,WAAW,EAAE,mBAAmB,CAAC,OAAO,EAAE,IAA4B,CAAC;KACxE,CAAC,CAAC;AACL,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAmC,EACnC,cAA6B,EAC7B,YAA2D,EAC3D,yBAAiC,EACjC,0BAAyC;IAEzC,MAAM,IAAI,GAAG;QACX,GAAG,SAAS,CAAC,KAAK,CAAC;QACnB,QAAQ,EAAE,KAAK,CAAC,QAAQ,GAAG,CAAC;QAC5B,cAAc;QACd,YAAY;QACZ,yBAAyB;QACzB,0BAA0B;QAC1B,sBAAsB,EAAE,KAAK,CAAC,WAAW;KAC1C,CAAC;IACF,OAAO,UAAU,CAAC;QAChB,GAAG,IAAI;QACP,WAAW,EAAE,mBAAmB,CAAC,OAAO,EAAE,IAA4B,CAAC;KACxE,CAAC,CAAC;AACL,CAAC;AAED,SAAS,SAAS,CAAC,KAAmC;IACpD,OAAO;QACL,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,oBAAoB,EAAE,KAAK,CAAC,oBAAoB;QAChD,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,sBAAsB,EAAE,KAAK,CAAC,sBAAsB;QACpD,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;QAC9C,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,qBAAqB,EAAE,KAAK,CAAC,qBAAqB;QAClD,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,yBAAyB,EAAE,KAAK,CAAC,yBAAyB;QAC1D,0BAA0B,EAAE,KAAK,CAAC,0BAA0B;QAC5D,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,sBAAsB,EAAE,KAAK,CAAC,sBAAsB;KACrD,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAwC,EACxC,KAAyC;IAEzC,OAAO,CACL,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK;QACxB,gBAAgB,CAAC,IAAI,CAAC,mBAAmB,EAAE,KAAK,CAAC,mBAAmB,CAAC,CACtE,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAgB,EAAE,aAAqB;IAChE,OAAO,mBAAmB,CAAC,QAAQ,EAAE;QACnC,IAAI,EAAE,qCAAqC;QAC3C,QAAQ;QACR,aAAa;KACd,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CACzB,KAA0C,EAC1C,QAAmC,EACnC,cAA6B;IAE7B,IAAI,cAAc,KAAK,IAAI;QAAE,OAAO,UAAU,CAAC;IAC/C,IAAI,cAAc,GAAG,CAAC;QAAE,OAAO,iBAAiB,CAAC;IACjD,IAAI,QAAQ,CAAC,SAAS,KAAK,WAAW,IAAI,QAAQ,CAAC,SAAS,KAAK,QAAQ;QACvE,OAAO,QAAQ,CAAC,SAAS,CAAC;IAC5B,IACE,KAAK,EAAE,cAAc,KAAK,CAAC;QAC3B,CAAC,KAAK,CAAC,SAAS,KAAK,WAAW,IAAI,KAAK,CAAC,SAAS,KAAK,QAAQ,CAAC;QAEjE,OAAO,KAAK,CAAC,SAAS,CAAC;IACzB,OAAO,iBAAiB,CAAC;AAC3B,CAAC;AAED,SAAS,WAAW,CAClB,KAAc;IAEd,OAAO,CAAC,UAAU,EAAE,iBAAiB,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,QAAQ,CACpE,KAAe,CAChB,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CACd,KAAc,EACd,KAAa,EACb,OAAe,EACf,OAAe;IAEf,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAK,KAAgB,GAAG,OAAO;QAC7D,MAAM,IAAI,UAAU,CAAC,GAAG,KAAK,UAAU,CAAC,CAAC;IAC3C,IAAK,KAAgB,GAAG,OAAO;QAAE,MAAM,IAAI,UAAU,CAAC,GAAG,KAAK,UAAU,CAAC,CAAC;AAC5E,CAAC"}
|