limen-ai 1.0.0

package/dist/budget/impl/dba_impl.js

@@ -0,0 +1,402 @@
+/**
+ * DBA Implementation — Limen v1.0
+ * Spec ref: DBA v1.0 Design Source (FINAL DRAFT)
+ *
+ * Implements all 7 DBA service interfaces from dba_types.ts.
+ * Constitutional invariants: DBA-I1 through DBA-I16.
+ *
+ * Architecture — Three-tier budget model:
+ *
+ *   1. ADMISSION TIER (module-level, PSD-14):
+ *      Token reservation ledger per mission. When a pre-check passes for
+ *      the token dimension, the envelope is reserved (committed), reducing
+ *      headroom for future admissibility checks. Deliberation is checked
+ *      but not reserved (deliberation costs are estimated, DBA-I3/DBA-I4,
+ *      and therefore not suitable for hard reservation).
+ *      - token=1000, deliberation=50 per mission
+ *
+ *   2. MISSION TIER (per-instance, PSD-10):
+ *      Cumulative consumption tracker per mission within a DBA instance.
+ *      Threshold events fire at [25, 50, 75, 90]% of mission allocation.
+ *      - token=10000, deliberation=1000
+ *
+ *   3. INVOCATION TIER (per-reconcile-call, PSD-14):
+ *      Fresh per-invocation budget allocation. budgetAfter and exceeded
+ *      events are computed against this tier.
+ *      - token=200, deliberation=100
+ *
+ * DBA-I1: Token and deliberation dimensions are INDEPENDENT at all tiers.
+ *
+ * DC-DBA-109: Reconciliation and budget deduction are atomic within the
+ *             closure — no intermediate state is observable between
+ *             consumption and threshold evaluation.
+ */
+// ============================================================================
+// Constants
+// ============================================================================
+const THRESHOLD_PERCENTAGES = [25, 50, 75, 90];
+const ESTIMATOR_ID = 'limen-dba-estimator';
+const ESTIMATOR_VERSION = 'v1.0.0';
+const OVERHEAD_COMPUTATION_VERSION = 'limen-overhead-v1.0';
+// ============================================================================
+// Budget Configuration — Three-Tier Model
+// ============================================================================
+/** Admission tier: per-mission reservation budget (PSD-14) */
+const ADMISSION_TOKEN_BUDGET = 1_000;
+const ADMISSION_DELIBERATION_BUDGET = 50;
+/** Mission tier: aggregate budget for threshold calculation (PSD-10) */
+const MISSION_TOKEN_BUDGET = 10_000;
+const MISSION_DELIBERATION_BUDGET = 1_000;
+/** Invocation tier: per-reconcile fresh allocation (PSD-14, §12.1) */
+const INVOCATION_TOKEN_BUDGET = 200;
+const INVOCATION_DELIBERATION_BUDGET = 100;
+function makeDimension(allocated, consumed) {
+    const remaining = Math.max(0, allocated - consumed);
+    const overage = Math.max(0, consumed - allocated);
+    return Object.freeze({ allocated, consumed, remaining, overage });
+}
+function makeDimensionState(allocated) {
+    return { allocated, consumed: 0, firedThresholds: new Set() };
+}
+const admissionReservations = new Map();
+// ============================================================================
+// ECB Computation Service — §7.3, DBA-I5, DBA-I14
+// ============================================================================
+function createECBComputationImpl() {
+    return Object.freeze({
+        compute(input) {
+            // §7.3 Formula:
+            //   if effectivePolicyCeiling present:
+            //     ECB = min(availableInputWindow - systemOverhead, effectivePolicyCeiling)
+            //   else:
+            //     ECB = availableInputWindow - systemOverhead
+            //   if ECB < 0: ECB = 0 (DBA-I14)
+            const windowMinusOverhead = input.availableInputWindow - input.systemOverhead;
+            let rawValue;
+            if (input.effectivePolicyCeiling !== null) {
+                rawValue = Math.min(windowMinusOverhead, input.effectivePolicyCeiling);
+            }
+            else {
+                rawValue = windowMinusOverhead;
+            }
+            const wasNormalized = rawValue < 0;
+            const effectiveContextBudget = wasNormalized ? 0 : rawValue;
+            return Object.freeze({
+                effectiveContextBudget,
+                wasNormalized,
+                rawValue,
+            });
+        },
+    });
+}
+// ============================================================================
+// Context Policy Governor — §7.1, §7.2, DBA-I8, DBA-I12
+// ============================================================================
+function createContextPolicyGovernorImpl() {
+    return Object.freeze({
+        validateInheritance(parentCeiling, childCeiling) {
+            // DBA-I8: child ceiling ≤ parent ceiling. Widening is non-conforming.
+            if (childCeiling === null) {
+                return Object.freeze({ valid: true, reason: null });
+            }
+            if (parentCeiling === null) {
+                return Object.freeze({ valid: true, reason: null });
+            }
+            if (childCeiling <= parentCeiling) {
+                return Object.freeze({ valid: true, reason: null });
+            }
+            return Object.freeze({
+                valid: false,
+                reason: `DBA-I8: child ceiling ${childCeiling} exceeds parent ceiling ${parentCeiling}`,
+            });
+        },
+        mergeEffectiveCeiling(missionCeiling, taskCeiling) {
+            // DBA-I12: Most restrictive ceiling wins.
+            if (missionCeiling === null && taskCeiling === null) {
+                return null;
+            }
+            if (missionCeiling === null) {
+                return taskCeiling;
+            }
+            if (taskCeiling === null) {
+                return missionCeiling;
+            }
+            return Math.min(missionCeiling, taskCeiling);
+        },
+    });
+}
+// ============================================================================
+// System Overhead Service — §7.5, DBA-I15
+// ============================================================================
+function createSystemOverheadImpl() {
+    const basis = Object.freeze({
+        computationVersion: OVERHEAD_COMPUTATION_VERSION,
+        tokenizer: 'limen-tokenizer',
+        tokenizerVersion: 'v1.0',
+    });
+    return Object.freeze({
+        computeOverhead(systemContent, _basis) {
+            // DBA-I15: governed, replay-stable, versioned, deterministic.
+            // ~4 chars per token heuristic. Deterministic: same content = same result.
+            return Math.ceil(systemContent.length / 4);
+        },
+        getBasis() {
+            return basis;
+        },
+    });
+}
+// ============================================================================
+// Substrate Window Service — §7.4, PSD-4, PSD-12
+// ============================================================================
+function createSubstrateWindowImpl() {
+    return Object.freeze({
+        getAvailableInputWindow(_modelId) {
+            const providerWindow = 128_000;
+            const kernelWindow = 127_500;
+            // PSD-12: When both exist, more restrictive (lower) value wins
+            const chosenValue = Math.min(providerWindow, kernelWindow);
+            const discrepancyDetected = providerWindow !== kernelWindow;
+            return Object.freeze({
+                chosenValue,
+                derivationMode: 'provider_authoritative',
+                providerReportedWindow: providerWindow,
+                kernelDerivedWindow: kernelWindow,
+                kernelDerivationVersion: 'limen-kernel-v1.0',
+                discrepancyDetected,
+            });
+        },
+    });
+}
+// ============================================================================
+// Deliberation Estimator — §6.3, DBA-I3
+// ============================================================================
+function createDeliberationEstimatorImpl() {
+    return Object.freeze({
+        estimatorId: ESTIMATOR_ID,
+        estimatorVersion: ESTIMATOR_VERSION,
+        estimate(basis) {
+            // DBA-I3: deterministic. Same inputs + same version = same charge.
+            // DBA-I3: MUST NOT use wall-clock time, latency, queue delay, hidden state.
+            //
+            // Input validation: negative token counts are invalid (would produce
+            // negative charges, violating the non-negative integer contract).
+            if (basis.completionTokens < 0) {
+                throw new Error('INVALID_INPUT: completionTokens must be non-negative');
+            }
+            //
+            // Governed algorithm v1.0:
+            //   charge = ceil(completionTokens * 0.3)
+            const charge = Math.ceil(basis.completionTokens * 0.3);
+            return charge;
+        },
+    });
+}
+// ============================================================================
+// Reconciliation Service — §5.1 Phase 2, DBA-I13, DBA-I16
+// ============================================================================
+/**
+ * Create the reconciliation service with per-instance mission state
+ * and per-invocation task budgets.
+ *
+ * Mission state (thresholds): cumulative within this DBA instance.
+ * Task state (budgetAfter, exceeded): fresh per reconcile() call.
+ */
+function createInvocationReconciliationImpl() {
+    // Per-instance mission state for threshold tracking
+    const missionStates = new Map();
+    return Object.freeze({
+        reconcile(input) {
+            const missionId = input.missionId;
+            // Get or create mission state (per-instance, cumulative for thresholds)
+            let mission = missionStates.get(missionId);
+            if (!mission) {
+                mission = {
+                    token: makeDimensionState(MISSION_TOKEN_BUDGET),
+                    deliberation: makeDimensionState(MISSION_DELIBERATION_BUDGET),
+                };
+                missionStates.set(missionId, mission);
+            }
+            // Fresh per-invocation task budget (PSD-14)
+            const taskToken = {
+                allocated: INVOCATION_TOKEN_BUDGET,
+                consumed: 0,
+                firedThresholds: new Set(),
+            };
+            const taskDelib = {
+                allocated: INVOCATION_DELIBERATION_BUDGET,
+                consumed: 0,
+                firedThresholds: new Set(),
+            };
+            // DBA-I16: Charge usage actually incurred at provider boundary.
+            // If provider call was never emitted, the invocation was rejected before
+            // reaching the provider — zero consumption regardless of reported values.
+            let tokenConsumption;
+            let deliberationConsumption;
+            if (!input.providerCallEmitted) {
+                tokenConsumption = 0;
+                deliberationConsumption = 0;
+            }
+            else {
+                tokenConsumption = input.promptCompletionAccounting.chosenPromptTokens
+                    + input.promptCompletionAccounting.chosenCompletionTokens;
+                deliberationConsumption = input.deliberationAccounting.deliberationTokens;
+            }
+            // Record previous mission consumption for threshold crossing detection
+            const prevMissionTokenConsumed = mission.token.consumed;
+            const prevMissionDelibConsumed = mission.deliberation.consumed;
+            // Atomically update mission tier (DC-DBA-109)
+            mission.token.consumed += tokenConsumption;
+            mission.deliberation.consumed += deliberationConsumption;
+            // Update per-invocation task tier
+            taskToken.consumed = tokenConsumption;
+            taskDelib.consumed = deliberationConsumption;
+            // budgetAfter reflects INVOCATION allocation (PSD-14: per-invocation headroom)
+            const tokenAfter = makeDimension(taskToken.allocated, taskToken.consumed);
+            const deliberationAfter = makeDimension(taskDelib.allocated, taskDelib.consumed);
+            // Threshold events fire against MISSION allocation (PSD-10: aggregate thresholds)
+            const tokenThresholdEvents = evaluateThresholds('token', mission.token.allocated, prevMissionTokenConsumed, mission.token.consumed, mission.token.firedThresholds, null, null);
+            const deliberationThresholdEvents = evaluateThresholds('deliberation', mission.deliberation.allocated, prevMissionDelibConsumed, mission.deliberation.consumed, mission.deliberation.firedThresholds, input.deliberationAccounting.accountingMode, input.deliberationAccounting.estimatorVersion);
+            // Exceeded events fire against INVOCATION allocation (per-invocation overage)
+            const tokenExceededEvent = evaluateExceeded('token', taskToken.allocated, 0, taskToken.consumed, null);
+            const deliberationExceededEvent = evaluateExceeded('deliberation', taskDelib.allocated, 0, taskDelib.consumed, input.deliberationAccounting.accountingMode);
+            return Object.freeze({
+                tokenBudgetAfter: tokenAfter,
+                deliberationBudgetAfter: deliberationAfter,
+                tokenThresholdEvents: Object.freeze(tokenThresholdEvents),
+                deliberationThresholdEvents: Object.freeze(deliberationThresholdEvents),
+                tokenExceededEvent,
+                deliberationExceededEvent,
+            });
+        },
+    });
+}
+function evaluateThresholds(dimension, allocated, prevConsumed, newConsumed, firedSet, accountingMode, estimatorVersion) {
+    if (allocated <= 0)
+        return [];
+    const events = [];
+    const prevPercent = (prevConsumed / allocated) * 100;
+    const newPercent = (newConsumed / allocated) * 100;
+    for (const threshold of THRESHOLD_PERCENTAGES) {
+        if (newPercent >= threshold && prevPercent < threshold && !firedSet.has(threshold)) {
+            firedSet.add(threshold);
+            const remaining = Math.max(0, allocated - newConsumed);
+            events.push(Object.freeze({
+                dimension,
+                thresholdPercent: threshold,
+                allocated,
+                consumed: newConsumed,
+                remaining,
+                accountingMode: dimension === 'deliberation' ? accountingMode : null,
+                estimatorVersion: dimension === 'deliberation' ? estimatorVersion : null,
+            }));
+        }
+    }
+    return events;
+}
+function evaluateExceeded(dimension, allocated, prevConsumed, newConsumed, accountingMode) {
+    if (newConsumed > allocated && prevConsumed <= allocated) {
+        return Object.freeze({
+            dimension,
+            allocated,
+            consumed: newConsumed,
+            overage: newConsumed - allocated,
+            accountingMode: dimension === 'deliberation' ? accountingMode : null,
+        });
+    }
+    return null;
+}
+// ============================================================================
+// Admissibility Service — §5.1 Phase 1, DBA-I10, PSD-11, PSD-14
+// ============================================================================
+/**
+ * Create the admissibility service using the module-level reservation ledger.
+ *
+ * Token reservations persist across DBA instances (module-level) because
+ * the admission ledger is conceptually process-wide. Two DBA facades
+ * querying the same mission must see each other's reservations.
+ *
+ * When tokenPass=true, the token envelope is reserved (committed).
+ * When deliberationPass=true, the deliberation envelope is reserved
+ * (hard cap enforcement at admissibility tier).
+ */
+function createInvocationAdmissibilityImpl() {
+    return Object.freeze({
+        checkAdmissibility(input) {
+            const missionId = input.missionId;
+            // Get or create admission state for this mission
+            let admission = admissionReservations.get(missionId);
+            if (!admission) {
+                admission = { tokenConsumed: 0, deliberationConsumed: 0 };
+                admissionReservations.set(missionId, admission);
+            }
+            // PSD-14: headroom = admission budget - cumulative reservations
+            const tokenRemaining = Math.max(0, ADMISSION_TOKEN_BUDGET - admission.tokenConsumed);
+            // Deliberation: track cumulative consumption for hard cap enforcement.
+            // When deliberation budget is exhausted, reasoning-mode invocations are
+            // rejected at admissibility (pre-admission), not just recorded post-hoc.
+            const deliberationRemaining = Math.max(0, ADMISSION_DELIBERATION_BUDGET - admission.deliberationConsumed);
+            // PSD-11: Per-dimension vector — never combined into single scalar
+            const tokenPass = input.tokenEnvelope <= tokenRemaining;
+            const deliberationPass = input.deliberationEnvelope <= deliberationRemaining;
+            // PSD-14: Reserve token envelope when token dimension passes
+            if (tokenPass) {
+                admission.tokenConsumed += input.tokenEnvelope;
+            }
+            // Reserve deliberation envelope when deliberation dimension passes.
+            // Mirrors token reservation logic — pessimistic hedge for concurrent
+            // admissibility checks on the same mission.
+            if (deliberationPass) {
+                admission.deliberationConsumed += input.deliberationEnvelope;
+            }
+            // DBA-I10: Joint feasibility — ALL dimensions must pass
+            const admissible = tokenPass && deliberationPass;
+            let rejectionDimension;
+            if (admissible) {
+                rejectionDimension = 'admitted';
+            }
+            else if (!tokenPass && !deliberationPass) {
+                rejectionDimension = 'rejected_both';
+            }
+            else if (!tokenPass) {
+                rejectionDimension = 'rejected_token';
+            }
+            else {
+                rejectionDimension = 'rejected_deliberation';
+            }
+            return Object.freeze({
+                admissible,
+                tokenHeadroom: tokenRemaining,
+                deliberationHeadroom: deliberationRemaining,
+                tokenPass,
+                deliberationPass,
+                rejectionDimension,
+            });
+        },
+    });
+}
+// ============================================================================
+// DBA Facade Factory
+// ============================================================================
+/**
+ * Create a fully functional DBA implementation.
+ *
+ * Three-tier budget model:
+ *   - Admission tier (module-level): token reservation ledger per mission
+ *   - Mission tier (per-instance): threshold tracking per mission
+ *   - Invocation tier (per-reconcile): fresh per-invocation task budget
+ *
+ * Stateless services (ECB, PolicyGovernor, Overhead, Window, Estimator)
+ * are created fresh per instance but have no mutable state.
+ */
+export function createDBAImpl() {
+    return Object.freeze({
+        ecb: createECBComputationImpl(),
+        policyGovernor: createContextPolicyGovernorImpl(),
+        admissibility: createInvocationAdmissibilityImpl(),
+        reconciliation: createInvocationReconciliationImpl(),
+        overhead: createSystemOverheadImpl(),
+        window: createSubstrateWindowImpl(),
+        estimator: createDeliberationEstimatorImpl(),
+    });
+}
+//# sourceMappingURL=dba_impl.js.map

package/dist/budget/impl/dba_impl.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dba_impl.js","sourceRoot":"","sources":["../../../src/budget/impl/dba_impl.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AA6BH,+EAA+E;AAC/E,YAAY;AACZ,+EAA+E;AAE/E,MAAM,qBAAqB,GAAmC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;AAE/E,MAAM,YAAY,GAAG,qBAAqB,CAAC;AAC3C,MAAM,iBAAiB,GAAG,QAA8B,CAAC;AAEzD,MAAM,4BAA4B,GAAG,qBAAqB,CAAC;AAE3D,+EAA+E;AAC/E,0CAA0C;AAC1C,+EAA+E;AAE/E,8DAA8D;AAC9D,MAAM,sBAAsB,GAAG,KAAK,CAAC;AACrC,MAAM,6BAA6B,GAAG,EAAE,CAAC;AAEzC,wEAAwE;AACxE,MAAM,oBAAoB,GAAG,MAAM,CAAC;AACpC,MAAM,2BAA2B,GAAG,KAAK,CAAC;AAE1C,sEAAsE;AACtE,MAAM,uBAAuB,GAAG,GAAG,CAAC;AACpC,MAAM,8BAA8B,GAAG,GAAG,CAAC;AAY3C,SAAS,aAAa,CAAC,SAAiB,EAAE,QAAgB;IACxD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,GAAG,QAAQ,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAC,CAAC;IAClD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,kBAAkB,CAAC,SAAiB;IAC3C,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,EAAE,eAAe,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;AAChE,CAAC;AAyBD,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAA0B,CAAC;AAEhE,+EAA+E;AAC/E,kDAAkD;AAClD,+EAA+E;AAE/E,SAAS,wBAAwB;IAC/B,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO,CAAC,KAA0B;YAChC,gBAAgB;YAChB,uCAAuC;YACvC,+EAA+E;YAC/E,UAAU;YACV,kDAAkD;YAClD,kCAAkC;YAClC,MAAM,mBAAmB,GAAG,KAAK,CAAC,oBAAoB,GAAG,KAAK,CAAC,cAAc,CAAC;YAC9E,IAAI,QAAgB,CAAC;YAErB,IAAI,KAAK,CAAC,sBAAsB,KAAK,IAAI,EAAE,CAAC;gBAC1C,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,mBAAmB,EAAE,KAAK,CAAC,sBAAsB,CAAC,CAAC;YACzE,CAAC;iBAAM,CAAC;gBACN,QAAQ,GAAG,mBAAmB,CAAC;YACjC,CAAC;YAED,MAAM,aAAa,GAAG,QAAQ,GAAG,CAAC,CAAC;YACnC,MAAM,sBAAsB,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;YAE5D,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,sBAAsB;gBACtB,aAAa;gBACb,QAAQ;aACT,CAAC,CAAC;QACL,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAC/E,wDAAwD;AACxD,+EAA+E;AAE/E,SAAS,+BAA+B;IACtC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,mBAAmB,CACjB,aAA4B,EAC5B,YAA2B;YAE3B,sEAAsE;YACtE,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;gBAC1B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YACtD,CAAC;YACD,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;gBAC3B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YACtD,CAAC;YACD,IAAI,YAAY,IAAI,aAAa,EAAE,CAAC;gBAClC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YACtD,CAAC;YACD,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,KAAK,EAAE,KAAK;gBACZ,MAAM,EAAE,yBAAyB,YAAY,2BAA2B,aAAa,EAAE;aACxF,CAAC,CAAC;QACL,CAAC;QAED,qBAAqB,CACnB,cAA6B,EAC7B,WAA0B;YAE1B,0CAA0C;YAC1C,IAAI,cAAc,KAAK,IAAI,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;gBACpD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,cAAc,KAAK,IAAI,EAAE,CAAC;gBAC5B,OAAO,WAAW,CAAC;YACrB,CAAC;YACD,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;gBACzB,OAAO,cAAc,CAAC;YACxB,CAAC;YACD,OAAO,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;QAC/C,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAC/E,0CAA0C;AAC1C,+EAA+E;AAE/E,SAAS,wBAAwB;IAC/B,MAAM,KAAK,GAAwB,MAAM,CAAC,MAAM,CAAC;QAC/C,kBAAkB,EAAE,4BAA4B;QAChD,SAAS,EAAE,iBAAiB;QAC5B,gBAAgB,EAAE,MAAM;KACzB,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,eAAe,CAAC,aAAqB,EAAE,MAA2B;YAChE,8DAA8D;YAC9D,2EAA2E;YAC3E,OAAO,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC7C,CAAC;QAED,QAAQ;YACN,OAAO,KAAK,CAAC;QACf,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAC/E,iDAAiD;AACjD,+EAA+E;AAE/E,SAAS,yBAAyB;IAChC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,uBAAuB,CAAC,QAAgB;YAQtC,MAAM,cAAc,GAAW,OAAO,CAAC;YACvC,MAAM,YAAY,GAAW,OAAO,CAAC;YAErC,+DAA+D;YAC/D,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;YAC3D,MAAM,mBAAmB,GAAG,cAAc,KAAK,YAAY,CAAC;YAE5D,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,WAAW;gBACX,cAAc,EAAE,wBAAiC;gBACjD,sBAAsB,EAAE,cAAc;gBACtC,mBAAmB,EAAE,YAAY;gBACjC,uBAAuB,EAAE,mBAAmB;gBAC5C,mBAAmB;aACpB,CAAC,CAAC;QACL,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAC/E,wCAAwC;AACxC,+EAA+E;AAE/E,SAAS,+BAA+B;IACtC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,WAAW,EAAE,YAAY;QACzB,gBAAgB,EAAE,iBAAiB;QAEnC,QAAQ,CAAC,KAA0B;YACjC,mEAAmE;YACnE,4EAA4E;YAC5E,EAAE;YACF,qEAAqE;YACrE,kEAAkE;YAClE,IAAI,KAAK,CAAC,gBAAgB,GAAG,CAAC,EAAE,CAAC;gBAC/B,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;YAC1E,CAAC;YACD,EAAE;YACF,2BAA2B;YAC3B,0CAA0C;YAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,GAAG,GAAG,CAAC,CAAC;YACvD,OAAO,MAAM,CAAC;QAChB,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAC/E,0DAA0D;AAC1D,+EAA+E;AAE/E;;;;;;GAMG;AACH,SAAS,kCAAkC;IACzC,oDAAoD;IACpD,MAAM,aAAa,GAAG,IAAI,GAAG,EAGzB,CAAC;IAEL,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,SAAS,CAAC,KAAwC;YAChD,MAAM,SAAS,GAAG,KAAK,CAAC,SAAmB,CAAC;YAE5C,wEAAwE;YACxE,IAAI,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAC3C,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,GAAG;oBACR,KAAK,EAAE,kBAAkB,CAAC,oBAAoB,CAAC;oBAC/C,YAAY,EAAE,kBAAkB,CAAC,2BAA2B,CAAC;iBAC9D,CAAC;gBACF,aAAa,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YACxC,CAAC;YAED,4CAA4C;YAC5C,MAAM,SAAS,GAAmB;gBAChC,SAAS,EAAE,uBAAuB;gBAClC,QAAQ,EAAE,CAAC;gBACX,eAAe,EAAE,IAAI,GAAG,EAAE;aAC3B,CAAC;YACF,MAAM,SAAS,GAAmB;gBAChC,SAAS,EAAE,8BAA8B;gBACzC,QAAQ,EAAE,CAAC;gBACX,eAAe,EAAE,IAAI,GAAG,EAAE;aAC3B,CAAC;YAEF,gEAAgE;YAChE,yEAAyE;YACzE,0EAA0E;YAC1E,IAAI,gBAAwB,CAAC;YAC7B,IAAI,uBAA+B,CAAC;YAEpC,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC;gBAC/B,gBAAgB,GAAG,CAAC,CAAC;gBACrB,uBAAuB,GAAG,CAAC,CAAC;YAC9B,CAAC;iBAAM,CAAC;gBACN,gBAAgB,GAAG,KAAK,CAAC,0BAA0B,CAAC,kBAAkB;sBAClE,KAAK,CAAC,0BAA0B,CAAC,sBAAsB,CAAC;gBAC5D,uBAAuB,GAAG,KAAK,CAAC,sBAAsB,CAAC,kBAAkB,CAAC;YAC5E,CAAC;YAED,uEAAuE;YACvE,MAAM,wBAAwB,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC;YACxD,MAAM,wBAAwB,GAAG,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC;YAE/D,8CAA8C;YAC9C,OAAO,CAAC,KAAK,CAAC,QAAQ,IAAI,gBAAgB,CAAC;YAC3C,OAAO,CAAC,YAAY,CAAC,QAAQ,IAAI,uBAAuB,CAAC;YAEzD,kCAAkC;YAClC,SAAS,CAAC,QAAQ,GAAG,gBAAgB,CAAC;YACtC,SAAS,CAAC,QAAQ,GAAG,uBAAuB,CAAC;YAE7C,+EAA+E;YAC/E,MAAM,UAAU,GAAG,aAAa,CAAC,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC;YAC1E,MAAM,iBAAiB,GAAG,aAAa,CAAC,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC;YAEjF,kFAAkF;YAClF,MAAM,oBAAoB,GAAG,kBAAkB,CAC7C,OAAO,EACP,OAAO,CAAC,KAAK,CAAC,SAAS,EACvB,wBAAwB,EACxB,OAAO,CAAC,KAAK,CAAC,QAAQ,EACtB,OAAO,CAAC,KAAK,CAAC,eAAe,EAC7B,IAAI,EACJ,IAAI,CACL,CAAC;YAEF,MAAM,2BAA2B,GAAG,kBAAkB,CACpD,cAAc,EACd,OAAO,CAAC,YAAY,CAAC,SAAS,EAC9B,wBAAwB,EACxB,OAAO,CAAC,YAAY,CAAC,QAAQ,EAC7B,OAAO,CAAC,YAAY,CAAC,eAAe,EACpC,KAAK,CAAC,sBAAsB,CAAC,cAAc,EAC3C,KAAK,CAAC,sBAAsB,CAAC,gBAAgB,CAC9C,CAAC;YAEF,8EAA8E;YAC9E,MAAM,kBAAkB,GAAG,gBAAgB,CACzC,OAAO,EACP,SAAS,CAAC,SAAS,EACnB,CAAC,EACD,SAAS,CAAC,QAAQ,EAClB,IAAI,CACL,CAAC;YAEF,MAAM,yBAAyB,GAAG,gBAAgB,CAChD,cAAc,EACd,SAAS,CAAC,SAAS,EACnB,CAAC,EACD,SAAS,CAAC,QAAQ,EAClB,KAAK,CAAC,sBAAsB,CAAC,cAAc,CAC5C,CAAC;YAEF,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,gBAAgB,EAAE,UAAU;gBAC5B,uBAAuB,EAAE,iBAAiB;gBAC1C,oBAAoB,EAAE,MAAM,CAAC,MAAM,CAAC,oBAAoB,CAAC;gBACzD,2BAA2B,EAAE,MAAM,CAAC,MAAM,CAAC,2BAA2B,CAAC;gBACvE,kBAAkB;gBAClB,yBAAyB;aAC1B,CAAC,CAAC;QACL,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CACzB,SAA6B,EAC7B,SAAiB,EACjB,YAAoB,EACpB,WAAmB,EACnB,QAAqB,EACrB,cAAiD,EACjD,gBAA+B;IAE/B,IAAI,SAAS,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAE9B,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,MAAM,WAAW,GAAG,CAAC,YAAY,GAAG,SAAS,CAAC,GAAG,GAAG,CAAC;IACrD,MAAM,UAAU,GAAG,CAAC,WAAW,GAAG,SAAS,CAAC,GAAG,GAAG,CAAC;IAEnD,KAAK,MAAM,SAAS,IAAI,qBAAqB,EAAE,CAAC;QAC9C,IAAI,UAAU,IAAI,SAAS,IAAI,WAAW,GAAG,SAAS,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YACnF,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACxB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,GAAG,WAAW,CAAC,CAAC;YACvD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACxB,SAAS;gBACT,gBAAgB,EAAE,SAAS;gBAC3B,SAAS;gBACT,QAAQ,EAAE,WAAW;gBACrB,SAAS;gBACT,cAAc,EAAE,SAAS,KAAK,cAAc,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI;gBACpE,gBAAgB,EAAE,SAAS,KAAK,cAAc,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI;aACzE,CAAC,CAAC,CAAC;QACN,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,gBAAgB,CACvB,SAA6B,EAC7B,SAAiB,EACjB,YAAoB,EACpB,WAAmB,EACnB,cAAiD;IAEjD,IAAI,WAAW,GAAG,SAAS,IAAI,YAAY,IAAI,SAAS,EAAE,CAAC;QACzD,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,SAAS;YACT,SAAS;YACT,QAAQ,EAAE,WAAW;YACrB,OAAO,EAAE,WAAW,GAAG,SAAS;YAChC,cAAc,EAAE,SAAS,KAAK,cAAc,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI;SACrE,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+EAA+E;AAC/E,gEAAgE;AAChE,+EAA+E;AAE/E;;;;;;;;;;GAUG;AACH,SAAS,iCAAiC;IACxC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,kBAAkB,CAAC,KAA8B;YAC/C,MAAM,SAAS,GAAG,KAAK,CAAC,SAAmB,CAAC;YAE5C,iDAAiD;YACjD,IAAI,SAAS,GAAG,qBAAqB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACrD,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,SAAS,GAAG,EAAE,aAAa,EAAE,CAAC,EAAE,oBAAoB,EAAE,CAAC,EAAE,CAAC;gBAC1D,qBAAqB,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;YAClD,CAAC;YAED,gEAAgE;YAChE,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,sBAAsB,GAAG,SAAS,CAAC,aAAa,CAAC,CAAC;YACrF,uEAAuE;YACvE,wEAAwE;YACxE,yEAAyE;YACzE,MAAM,qBAAqB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,6BAA6B,GAAG,SAAS,CAAC,oBAAoB,CAAC,CAAC;YAE1G,mEAAmE;YACnE,MAAM,SAAS,GAAG,KAAK,CAAC,aAAa,IAAI,cAAc,CAAC;YACxD,MAAM,gBAAgB,GAAG,KAAK,CAAC,oBAAoB,IAAI,qBAAqB,CAAC;YAE7E,6DAA6D;YAC7D,IAAI,SAAS,EAAE,CAAC;gBACd,SAAS,CAAC,aAAa,IAAI,KAAK,CAAC,aAAa,CAAC;YACjD,CAAC;YAED,oEAAoE;YACpE,qEAAqE;YACrE,4CAA4C;YAC5C,IAAI,gBAAgB,EAAE,CAAC;gBACrB,SAAS,CAAC,oBAAoB,IAAI,KAAK,CAAC,oBAAoB,CAAC;YAC/D,CAAC;YAED,wDAAwD;YACxD,MAAM,UAAU,GAAG,SAAS,IAAI,gBAAgB,CAAC;YAEjD,IAAI,kBAAuC,CAAC;YAC5C,IAAI,UAAU,EAAE,CAAC;gBACf,kBAAkB,GAAG,UAAU,CAAC;YAClC,CAAC;iBAAM,IAAI,CAAC,SAAS,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBAC3C,kBAAkB,GAAG,eAAe,CAAC;YACvC,CAAC;iBAAM,IAAI,CAAC,SAAS,EAAE,CAAC;gBACtB,kBAAkB,GAAG,gBAAgB,CAAC;YACxC,CAAC;iBAAM,CAAC;gBACN,kBAAkB,GAAG,uBAAuB,CAAC;YAC/C,CAAC;YAED,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,UAAU;gBACV,aAAa,EAAE,cAAc;gBAC7B,oBAAoB,EAAE,qBAAqB;gBAC3C,SAAS;gBACT,gBAAgB;gBAChB,kBAAkB;aACnB,CAAC,CAAC;QACL,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAC/E,qBAAqB;AACrB,+EAA+E;AAE/E;;;;;;;;;;GAUG;AACH,MAAM,UAAU,aAAa;IAC3B,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,EAAE,wBAAwB,EAAE;QAC/B,cAAc,EAAE,+BAA+B,EAAE;QACjD,aAAa,EAAE,iCAAiC,EAAE;QAClD,cAAc,EAAE,kCAAkC,EAAE;QACpD,QAAQ,EAAE,wBAAwB,EAAE;QACpC,MAAM,EAAE,yBAAyB,EAAE;QACnC,SAAS,EAAE,+BAA+B,EAAE;KAC7C,CAAC,CAAC;AACL,CAAC"}