mcp-usage-control 1.0.0

package/dist/store-conformance.js

@@ -0,0 +1,378 @@
+export * from './reconciliation-conformance.js';
+export * from './progressive-store-conformance.js';
+export * from './vector-store-conformance.js';
+export class UsageStoreConformanceError extends Error {
+    report;
+    constructor(report) {
+        const failed = report.cases.filter(result => !result.passed);
+        super(`UsageStore conformance failed: ${failed
+            .map(result => `${result.name}: ${result.error ?? 'unknown failure'}`)
+            .join('; ')}`);
+        this.report = report;
+        this.name = 'UsageStoreConformanceError';
+    }
+}
+/**
+ * Run the portable, provider-neutral behavioral contract for a UsageStore.
+ *
+ * Passing this suite means that the public store semantics are compatible. It
+ * does not by itself prove persistence/HA, store-time authority, network ACK
+ * ambiguity behavior, or platform-specific fault tolerance. Those production
+ * safety requirements need adapter-specific evidence in addition to this suite.
+ */
+export async function runUsageStoreConformance(harness) {
+    const leaseTtlMs = harness.leaseTtlMs ?? 40;
+    const concurrency = harness.concurrency ?? 16;
+    assertPositiveInteger(leaseTtlMs, 'leaseTtlMs');
+    assertPositiveInteger(concurrency, 'concurrency');
+    const cases = [];
+    await runCase(harness, cases, 'atomic-multi-budget-denial', async (store) => {
+        const blocking = await store.reserve({
+            request: request('seed-blocking'),
+            units: 1,
+            budgets: [{ key: 'contract:blocking', limit: 1 }],
+            ttlMs: 5_000,
+        });
+        assertAccepted(blocking, 'seed reservation');
+        const denied = await store.reserve({
+            request: request('must-not-partially-reserve'),
+            units: 1,
+            budgets: [
+                { key: 'contract:free', limit: 1 },
+                { key: 'contract:blocking', limit: 1 },
+            ],
+            ttlMs: 5_000,
+        });
+        assertDenied(denied, 'quota_exceeded', 'multi-budget denial');
+        const probe = await store.reserve({
+            request: request('probe-free-budget'),
+            units: 1,
+            budgets: [{ key: 'contract:free', limit: 1 }],
+            ttlMs: 5_000,
+        });
+        assertAccepted(probe, 'free budget after denied multi-budget reservation');
+    });
+    await runCase(harness, cases, 'concurrent-admission', async (store) => {
+        const results = await Promise.all(Array.from({ length: concurrency }, (_, index) => store.reserve({
+            request: request(`concurrent-${index}`, `user-${index}`),
+            units: 1,
+            budgets: [{ key: 'contract:shared-concurrent', limit: 1 }],
+            ttlMs: 5_000,
+        })));
+        const accepted = results.filter(result => result.accepted);
+        const denied = results.filter(result => !result.accepted);
+        assert(accepted.length === 1, `expected exactly one concurrent admission, got ${accepted.length}`);
+        assert(denied.length === concurrency - 1 &&
+            denied.every(result => result.reason === 'quota_exceeded'), 'all losing concurrent admissions must be quota_exceeded');
+    });
+    await runCase(harness, cases, 'mutable-limit-increase-preserves-usage', async (store) => {
+        const budgetKey = 'contract:mutable-increase';
+        const seed = await store.reserve({
+            request: request('mutable-increase-seed'),
+            units: 2,
+            budgets: [{ key: budgetKey, limit: 2 }],
+            ttlMs: 5_000,
+        });
+        assertAccepted(seed, 'initial full bucket');
+        const deniedAtOldLimit = await store.reserve({
+            request: request('mutable-increase-old-limit'),
+            units: 1,
+            budgets: [{ key: budgetKey, limit: 2 }],
+            ttlMs: 5_000,
+        });
+        assertDenied(deniedAtOldLimit, 'quota_exceeded', 'admission at old full limit');
+        const admittedAtHigherLimit = await store.reserve({
+            request: request('mutable-increase-new-limit'),
+            units: 1,
+            budgets: [{ key: budgetKey, limit: 3 }],
+            ttlMs: 5_000,
+        });
+        assertAccepted(admittedAtHigherLimit, 'admission after limit increase');
+        const exhaustedAtHigherLimit = await store.reserve({
+            request: request('mutable-increase-exhausted'),
+            units: 1,
+            budgets: [{ key: budgetKey, limit: 3 }],
+            ttlMs: 5_000,
+        });
+        assertDenied(exhaustedAtHigherLimit, 'quota_exceeded', 'existing usage must remain counted after limit increase');
+    });
+    await runCase(harness, cases, 'mutable-limit-decrease-preserves-active-and-used-state', async (store) => {
+        const budgetKey = 'contract:mutable-decrease';
+        const active = await store.reserve({
+            request: request('mutable-decrease-active'),
+            units: 2,
+            budgets: [{ key: budgetKey, limit: 3 }],
+            ttlMs: 5_000,
+        });
+        assertAccepted(active, 'active reservation before decrease');
+        const deniedWhilePending = await store.reserve({
+            request: request('mutable-decrease-pending-denied'),
+            units: 1,
+            budgets: [{ key: budgetKey, limit: 1 }],
+            ttlMs: 5_000,
+        });
+        assertDenied(deniedWhilePending, 'quota_exceeded', 'lower limit must not rewrite pending reserved usage');
+        await store.markLiable({ reservationId: active.reservation.id });
+        const deniedWhileLiable = await store.reserve({
+            request: request('mutable-decrease-liable-denied'),
+            units: 1,
+            budgets: [{ key: budgetKey, limit: 1 }],
+            ttlMs: 5_000,
+        });
+        assertDenied(deniedWhileLiable, 'quota_exceeded', 'lower limit must not rewrite cost-liable reserved usage');
+        await store.settle({
+            reservationId: active.reservation.id,
+            actualUnits: 2,
+            outcome: 'completed-under-lower-limit',
+        });
+        const deniedAfterSettlement = await store.reserve({
+            request: request('mutable-decrease-settled-denied'),
+            units: 1,
+            budgets: [{ key: budgetKey, limit: 1 }],
+            ttlMs: 5_000,
+        });
+        assertDenied(deniedAfterSettlement, 'quota_exceeded', 'limit decrease must not refund already-incurred usage');
+        const admittedWithRoom = await store.reserve({
+            request: request('mutable-decrease-room-restored'),
+            units: 1,
+            budgets: [{ key: budgetKey, limit: 3 }],
+            ttlMs: 5_000,
+        });
+        assertAccepted(admittedWithRoom, 'raising the effective limit must reuse the same bucket state');
+    });
+    await runCase(harness, cases, 'mutable-limit-concurrent-policy-views', async (store) => {
+        const budgetKey = 'contract:mutable-concurrent';
+        const seed = await store.reserve({
+            request: request('mutable-concurrent-seed'),
+            units: 1,
+            budgets: [{ key: budgetKey, limit: 2 }],
+            ttlMs: 5_000,
+        });
+        assertAccepted(seed, 'seed usage for concurrent policy views');
+        const [strictResult, staleHigherResult] = await Promise.all([
+            store.reserve({
+                request: request('mutable-concurrent-strict'),
+                units: 1,
+                budgets: [{ key: budgetKey, limit: 1 }],
+                ttlMs: 5_000,
+            }),
+            store.reserve({
+                request: request('mutable-concurrent-stale-higher'),
+                units: 1,
+                budgets: [{ key: budgetKey, limit: 2 }],
+                ttlMs: 5_000,
+            }),
+        ]);
+        assertDenied(strictResult, 'quota_exceeded', 'caller using the stricter limit must deny when usage is already at that limit');
+        assertAccepted(staleHigherResult, 'caller still using the higher effective limit remains able to admit within that limit');
+    });
+    await runCase(harness, cases, 'logical-operation-replay-scope', async (store) => {
+        const base = {
+            request: request('same-operation', 'user-1', 'tenant-a', 'read'),
+            units: 0,
+            budgets: [{ key: 'contract:replay', limit: 1 }],
+            ttlMs: 5_000,
+        };
+        assertAccepted(await store.reserve(base), 'initial logical operation');
+        assertDenied(await store.reserve(base), 'duplicate_operation', 'duplicate logical operation');
+        assertAccepted(await store.reserve({
+            ...base,
+            request: request('same-operation', 'user-1', 'tenant-b', 'read'),
+        }), 'same operationId in another tenant');
+        assertAccepted(await store.reserve({
+            ...base,
+            request: request('same-operation', 'user-1', 'tenant-a', 'write'),
+        }), 'same operationId for another tool');
+    });
+    await runCase(harness, cases, 'liability-is-idempotent', async (store) => {
+        const admission = await store.reserve({
+            request: request('liable-idempotent'),
+            units: 1,
+            budgets: [{ key: 'contract:liability', limit: 1 }],
+            ttlMs: 5_000,
+        });
+        assertAccepted(admission, 'liability reservation');
+        const first = await store.markLiable({ reservationId: admission.reservation.id });
+        const second = await store.markLiable({ reservationId: admission.reservation.id });
+        assert(first.reservationId === admission.reservation.id, 'first liability result changed reservationId');
+        assert(second.reservationId === admission.reservation.id, 'replayed liability result changed reservationId');
+        assert(second.expiresAt === first.expiresAt, 'idempotent markLiable replay changed lease expiry');
+    });
+    await runCase(harness, cases, 'renew-active-lease', async (store) => {
+        const admission = await store.reserve({
+            request: request('renew-active'),
+            units: 1,
+            budgets: [{ key: 'contract:renew', limit: 1 }],
+            ttlMs: 1_000,
+        });
+        assertAccepted(admission, 'renew reservation');
+        const renewed = await store.renew({ reservationId: admission.reservation.id, ttlMs: 5_000 });
+        assert(renewed.reservationId === admission.reservation.id, 'renew changed reservationId');
+        assert(renewed.expiresAt >= admission.reservation.expiresAt, 'renew with a longer TTL moved expiry backwards');
+        await store.settle({
+            reservationId: admission.reservation.id,
+            actualUnits: 1,
+            outcome: 'renewed_then_completed',
+        });
+    });
+    await runCase(harness, cases, 'settlement-idempotency-and-conflict', async (store) => {
+        const admission = await store.reserve({
+            request: request('settlement-replay'),
+            units: 2,
+            budgets: [{ key: 'contract:settlement', limit: 2 }],
+            ttlMs: 5_000,
+        });
+        assertAccepted(admission, 'settlement reservation');
+        const input = {
+            reservationId: admission.reservation.id,
+            actualUnits: 1,
+            outcome: 'completed',
+        };
+        const first = await store.settle(input);
+        const replay = await store.settle(input);
+        assertSameSettlement(first, replay);
+        await assertRejects(() => store.settle({
+            reservationId: admission.reservation.id,
+            actualUnits: 0,
+            outcome: 'different',
+        }), 'conflicting settlement must fail');
+    });
+    await runCase(harness, cases, 'invalid-settlement-does-not-corrupt-state', async (store) => {
+        const admission = await store.reserve({
+            request: request('invalid-units'),
+            units: 1,
+            budgets: [{ key: 'contract:invalid-units', limit: 1 }],
+            ttlMs: 5_000,
+        });
+        assertAccepted(admission, 'invalid-units reservation');
+        await assertRejects(() => store.settle({
+            reservationId: admission.reservation.id,
+            actualUnits: 2,
+            outcome: 'invalid',
+        }), 'actualUnits above reservedUnits must fail');
+        const valid = await store.settle({
+            reservationId: admission.reservation.id,
+            actualUnits: 1,
+            outcome: 'valid-after-rejection',
+        });
+        assert(valid.actualUnits === 1, 'valid settlement failed after invalid attempt');
+    });
+    await runCase(harness, cases, 'pending-expiry-releases-capacity', async (store) => {
+        const first = await store.reserve({
+            request: request('pending-expiry'),
+            units: 1,
+            budgets: [{ key: 'contract:pending-expiry', limit: 1 }],
+            ttlMs: leaseTtlMs,
+        });
+        assertAccepted(first, 'pending-expiry reservation');
+        await harness.waitForLeaseExpiry(leaseTtlMs, 'pending-expiry-releases-capacity');
+        const replacement = await store.reserve({
+            request: request('pending-expiry-replacement'),
+            units: 1,
+            budgets: [{ key: 'contract:pending-expiry', limit: 1 }],
+            ttlMs: 5_000,
+        });
+        assertAccepted(replacement, 'replacement after pending expiry');
+    });
+    await runCase(harness, cases, 'liable-expiry-retains-charge-and-replay-protection', async (store) => {
+        const first = await store.reserve({
+            request: request('liable-expiry'),
+            units: 1,
+            budgets: [{ key: 'contract:liable-expiry', limit: 1 }],
+            ttlMs: leaseTtlMs,
+        });
+        assertAccepted(first, 'liable-expiry reservation');
+        await store.markLiable({ reservationId: first.reservation.id });
+        await harness.waitForLeaseExpiry(leaseTtlMs, 'liable-expiry-retains-charge-and-replay-protection');
+        const another = await store.reserve({
+            request: request('after-liable-expiry'),
+            units: 1,
+            budgets: [{ key: 'contract:liable-expiry', limit: 1 }],
+            ttlMs: 5_000,
+        });
+        assertDenied(another, 'quota_exceeded', 'new operation after liable expiry');
+        const replay = await store.reserve({
+            request: request('liable-expiry'),
+            units: 1,
+            budgets: [{ key: 'contract:liable-expiry', limit: 1 }],
+            ttlMs: 5_000,
+        });
+        assertDenied(replay, 'duplicate_operation', 'original operation after liable expiry');
+    });
+    return {
+        passed: cases.every(result => result.passed),
+        cases,
+    };
+}
+/** Run the suite and throw a single detailed error if any case fails. */
+export async function assertUsageStoreConformance(harness) {
+    const report = await runUsageStoreConformance(harness);
+    if (!report.passed)
+        throw new UsageStoreConformanceError(report);
+    return report;
+}
+async function runCase(harness, results, name, body) {
+    try {
+        const store = await harness.createStore(name);
+        await body(store);
+        results.push({ name, passed: true });
+    }
+    catch (error) {
+        results.push({ name, passed: false, error: errorMessage(error) });
+    }
+    finally {
+        try {
+            await harness.cleanup?.(name);
+        }
+        catch (error) {
+            results.push({ name: `${name}:cleanup`, passed: false, error: errorMessage(error) });
+        }
+    }
+}
+function request(operationId, principalId = 'user-1', tenantId = 'tenant-1', tool = 'contract-tool') {
+    return {
+        operationId,
+        principal: { id: principalId, tenantId },
+        tool,
+        args: { conformance: true },
+    };
+}
+function assertAccepted(result, context) {
+    assert(result.accepted, `${context}: expected accepted reservation`);
+}
+function assertDenied(result, reason, context) {
+    assert(!result.accepted, `${context}: expected denial`);
+    assert(result.reason === reason, `${context}: expected ${reason}, got ${result.reason}`);
+}
+function assertSameSettlement(left, right) {
+    assert(left.reservationId === right.reservationId, 'idempotent settlement changed reservationId');
+    assert(left.reservedUnits === right.reservedUnits, 'idempotent settlement changed reservedUnits');
+    assert(left.actualUnits === right.actualUnits, 'idempotent settlement changed actualUnits');
+    assert(left.releasedUnits === right.releasedUnits, 'idempotent settlement changed releasedUnits');
+    assert(left.outcome === right.outcome, 'idempotent settlement changed outcome');
+}
+async function assertRejects(action, message) {
+    let rejected = false;
+    try {
+        await action();
+    }
+    catch {
+        rejected = true;
+    }
+    assert(rejected, message);
+}
+function assert(condition, message) {
+    if (!condition)
+        throw new Error(message);
+}
+function assertPositiveInteger(value, name) {
+    if (!Number.isSafeInteger(value) || value <= 0) {
+        throw new RangeError(`${name} must be a positive safe integer`);
+    }
+}
+function errorMessage(error) {
+    if (error instanceof Error)
+        return `${error.name}: ${error.message}`;
+    return String(error);
+}
+//# sourceMappingURL=store-conformance.js.map

package/dist/store-conformance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"store-conformance.js","sourceRoot":"","sources":["../src/store-conformance.ts"],"names":[],"mappings":"AAAA,cAAc,iCAAiC,CAAC;AAChD,cAAc,oCAAoC,CAAC;AACnD,cAAc,+BAA+B,CAAC;AAyC9C,MAAM,OAAO,0BAA2B,SAAQ,KAAK;IACvB;IAA5B,YAA4B,MAAmC;QAC7D,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC7D,KAAK,CACH,kCAAkC,MAAM;aACrC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,IAAI,iBAAiB,EAAE,CAAC;aACrE,IAAI,CAAC,IAAI,CAAC,EAAE,CAChB,CAAC;QANwB,WAAM,GAAN,MAAM,CAA6B;QAO7D,IAAI,CAAC,IAAI,GAAG,4BAA4B,CAAC;IAC3C,CAAC;CACF;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,OAAqC;IAErC,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;IAC5C,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,EAAE,CAAC;IAC9C,qBAAqB,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IAChD,qBAAqB,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IAElD,MAAM,KAAK,GAAsC,EAAE,CAAC;IAEpD,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,4BAA4B,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;QACxE,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YACnC,OAAO,EAAE,OAAO,CAAC,eAAe,CAAC;YACjC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,mBAAmB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACjD,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QACH,cAAc,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAC;QAE7C,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YACjC,OAAO,EAAE,OAAO,CAAC,4BAA4B,CAAC;YAC9C,KAAK,EAAE,CAAC;YACR,OAAO,EAAE;gBACP,EAAE,GAAG,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE;gBAClC,EAAE,GAAG,EAAE,mBAAmB,EAAE,KAAK,EAAE,CAAC,EAAE;aACvC;YACD,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QACH,YAAY,CAAC,MAAM,EAAE,gBAAgB,EAAE,qBAAqB,CAAC,CAAC;QAE9D,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YAChC,OAAO,EAAE,OAAO,CAAC,mBAAmB,CAAC;YACrC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YAC7C,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QACH,cAAc,CAAC,KAAK,EAAE,mDAAmD,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,sBAAsB,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;QAClE,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAC/B,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAC/C,KAAK,CAAC,OAAO,CAAC;YACZ,OAAO,EAAE,OAAO,CAAC,cAAc,KAAK,EAAE,EAAE,QAAQ,KAAK,EAAE,CAAC;YACxD,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,4BAA4B,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YAC1D,KAAK,EAAE,KAAK;SACb,CAAC,CACH,CACF,CAAC;QACF,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1D,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,kDAAkD,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QACnG,MAAM,CACJ,MAAM,CAAC,MAAM,KAAK,WAAW,GAAG,CAAC;YAC/B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,gBAAgB,CAAC,EAC5D,yDAAyD,CAC1D,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,wCAAwC,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;QACpF,MAAM,SAAS,GAAG,2BAA2B,CAAC;QAC9C,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YAC/B,OAAO,EAAE,OAAO,CAAC,uBAAuB,CAAC;YACzC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACvC,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QACH,cAAc,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;QAE5C,MAAM,gBAAgB,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YAC3C,OAAO,EAAE,OAAO,CAAC,4BAA4B,CAAC;YAC9C,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACvC,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QACH,YAAY,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,6BAA6B,CAAC,CAAC;QAEhF,MAAM,qBAAqB,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YAChD,OAAO,EAAE,OAAO,CAAC,4BAA4B,CAAC;YAC9C,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACvC,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QACH,cAAc,CAAC,qBAAqB,EAAE,gCAAgC,CAAC,CAAC;QAExE,MAAM,sBAAsB,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YACjD,OAAO,EAAE,OAAO,CAAC,4BAA4B,CAAC;YAC9C,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACvC,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QACH,YAAY,CACV,sBAAsB,EACtB,gBAAgB,EAChB,yDAAyD,CAC1D,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,wDAAwD,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;QACpG,MAAM,SAAS,GAAG,2BAA2B,CAAC;QAC9C,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YACjC,OAAO,EAAE,OAAO,CAAC,yBAAyB,CAAC;YAC3C,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACvC,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QACH,cAAc,CAAC,MAAM,EAAE,oCAAoC,CAAC,CAAC;QAE7D,MAAM,kBAAkB,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YAC7C,OAAO,EAAE,OAAO,CAAC,iCAAiC,CAAC;YACnD,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACvC,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QACH,YAAY,CACV,kBAAkB,EAClB,gBAAgB,EAChB,qDAAqD,CACtD,CAAC;QAEF,MAAM,KAAK,CAAC,UAAU,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC;QACjE,MAAM,iBAAiB,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YAC5C,OAAO,EAAE,OAAO,CAAC,gCAAgC,CAAC;YAClD,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACvC,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QACH,YAAY,CACV,iBAAiB,EACjB,gBAAgB,EAChB,yDAAyD,CAC1D,CAAC;QAEF,MAAM,KAAK,CAAC,MAAM,CAAC;YACjB,aAAa,EAAE,MAAM,CAAC,WAAW,CAAC,EAAE;YACpC,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,6BAA6B;SACvC,CAAC,CAAC;QAEH,MAAM,qBAAqB,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YAChD,OAAO,EAAE,OAAO,CAAC,iCAAiC,CAAC;YACnD,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACvC,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QACH,YAAY,CACV,qBAAqB,EACrB,gBAAgB,EAChB,uDAAuD,CACxD,CAAC;QAEF,MAAM,gBAAgB,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YAC3C,OAAO,EAAE,OAAO,CAAC,gCAAgC,CAAC;YAClD,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACvC,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QACH,cAAc,CAAC,gBAAgB,EAAE,8DAA8D,CAAC,CAAC;IACnG,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,uCAAuC,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;QACnF,MAAM,SAAS,GAAG,6BAA6B,CAAC;QAChD,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YAC/B,OAAO,EAAE,OAAO,CAAC,yBAAyB,CAAC;YAC3C,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACvC,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QACH,cAAc,CAAC,IAAI,EAAE,wCAAwC,CAAC,CAAC;QAE/D,MAAM,CAAC,YAAY,EAAE,iBAAiB,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAC1D,KAAK,CAAC,OAAO,CAAC;gBACZ,OAAO,EAAE,OAAO,CAAC,2BAA2B,CAAC;gBAC7C,KAAK,EAAE,CAAC;gBACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;gBACvC,KAAK,EAAE,KAAK;aACb,CAAC;YACF,KAAK,CAAC,OAAO,CAAC;gBACZ,OAAO,EAAE,OAAO,CAAC,iCAAiC,CAAC;gBACnD,KAAK,EAAE,CAAC;gBACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;gBACvC,KAAK,EAAE,KAAK;aACb,CAAC;SACH,CAAC,CAAC;QAEH,YAAY,CACV,YAAY,EACZ,gBAAgB,EAChB,+EAA+E,CAChF,CAAC;QACF,cAAc,CACZ,iBAAiB,EACjB,uFAAuF,CACxF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,gCAAgC,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;QAC5E,MAAM,IAAI,GAAG;YACX,OAAO,EAAE,OAAO,CAAC,gBAAgB,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC;YAChE,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAoB;YAClE,KAAK,EAAE,KAAK;SACb,CAAC;QACF,cAAc,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,2BAA2B,CAAC,CAAC;QACvE,YAAY,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,qBAAqB,EAAE,6BAA6B,CAAC,CAAC;QAE9F,cAAc,CACZ,MAAM,KAAK,CAAC,OAAO,CAAC;YAClB,GAAG,IAAI;YACP,OAAO,EAAE,OAAO,CAAC,gBAAgB,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC;SACjE,CAAC,EACF,oCAAoC,CACrC,CAAC;QACF,cAAc,CACZ,MAAM,KAAK,CAAC,OAAO,CAAC;YAClB,GAAG,IAAI;YACP,OAAO,EAAE,OAAO,CAAC,gBAAgB,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC;SAClE,CAAC,EACF,mCAAmC,CACpC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,yBAAyB,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;QACrE,MAAM,SAAS,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YACpC,OAAO,EAAE,OAAO,CAAC,mBAAmB,CAAC;YACrC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YAClD,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QACH,cAAc,CAAC,SAAS,EAAE,uBAAuB,CAAC,CAAC;QACnD,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,UAAU,CAAC,EAAE,aAAa,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC;QAClF,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,UAAU,CAAC,EAAE,aAAa,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC;QACnF,MAAM,CAAC,KAAK,CAAC,aAAa,KAAK,SAAS,CAAC,WAAW,CAAC,EAAE,EAAE,8CAA8C,CAAC,CAAC;QACzG,MAAM,CAAC,MAAM,CAAC,aAAa,KAAK,SAAS,CAAC,WAAW,CAAC,EAAE,EAAE,iDAAiD,CAAC,CAAC;QAC7G,MAAM,CAAC,MAAM,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,EAAE,mDAAmD,CAAC,CAAC;IACpG,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,oBAAoB,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;QAChE,MAAM,SAAS,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YACpC,OAAO,EAAE,OAAO,CAAC,cAAc,CAAC;YAChC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YAC9C,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QACH,cAAc,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;QAC/C,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,KAAK,CAAC,EAAE,aAAa,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QAC7F,MAAM,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS,CAAC,WAAW,CAAC,EAAE,EAAE,6BAA6B,CAAC,CAAC;QAC1F,MAAM,CACJ,OAAO,CAAC,SAAS,IAAI,SAAS,CAAC,WAAW,CAAC,SAAS,EACpD,gDAAgD,CACjD,CAAC;QACF,MAAM,KAAK,CAAC,MAAM,CAAC;YACjB,aAAa,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE;YACvC,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,wBAAwB;SAClC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,qCAAqC,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;QACjF,MAAM,SAAS,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YACpC,OAAO,EAAE,OAAO,CAAC,mBAAmB,CAAC;YACrC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,qBAAqB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACnD,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QACH,cAAc,CAAC,SAAS,EAAE,wBAAwB,CAAC,CAAC;QAEpD,MAAM,KAAK,GAAG;YACZ,aAAa,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE;YACvC,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,WAAW;SACrB,CAAC;QACF,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACzC,oBAAoB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAEpC,MAAM,aAAa,CACjB,GAAG,EAAE,CACH,KAAK,CAAC,MAAM,CAAC;YACX,aAAa,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE;YACvC,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,WAAW;SACrB,CAAC,EACJ,kCAAkC,CACnC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,2CAA2C,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;QACvF,MAAM,SAAS,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YACpC,OAAO,EAAE,OAAO,CAAC,eAAe,CAAC;YACjC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,wBAAwB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACtD,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QACH,cAAc,CAAC,SAAS,EAAE,2BAA2B,CAAC,CAAC;QACvD,MAAM,aAAa,CACjB,GAAG,EAAE,CACH,KAAK,CAAC,MAAM,CAAC;YACX,aAAa,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE;YACvC,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,SAAS;SACnB,CAAC,EACJ,2CAA2C,CAC5C,CAAC;QACF,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,MAAM,CAAC;YAC/B,aAAa,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE;YACvC,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,uBAAuB;SACjC,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,WAAW,KAAK,CAAC,EAAE,+CAA+C,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,kCAAkC,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;QAC9E,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YAChC,OAAO,EAAE,OAAO,CAAC,gBAAgB,CAAC;YAClC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,yBAAyB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACvD,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,cAAc,CAAC,KAAK,EAAE,4BAA4B,CAAC,CAAC;QACpD,MAAM,OAAO,CAAC,kBAAkB,CAAC,UAAU,EAAE,kCAAkC,CAAC,CAAC;QAEjF,MAAM,WAAW,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YACtC,OAAO,EAAE,OAAO,CAAC,4BAA4B,CAAC;YAC9C,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,yBAAyB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACvD,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QACH,cAAc,CAAC,WAAW,EAAE,kCAAkC,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,oDAAoD,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;QAChG,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YAChC,OAAO,EAAE,OAAO,CAAC,eAAe,CAAC;YACjC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,wBAAwB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACtD,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;QACH,cAAc,CAAC,KAAK,EAAE,2BAA2B,CAAC,CAAC;QACnD,MAAM,KAAK,CAAC,UAAU,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC;QAChE,MAAM,OAAO,CAAC,kBAAkB,CAC9B,UAAU,EACV,oDAAoD,CACrD,CAAC;QAEF,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YAClC,OAAO,EAAE,OAAO,CAAC,qBAAqB,CAAC;YACvC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,wBAAwB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACtD,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QACH,YAAY,CAAC,OAAO,EAAE,gBAAgB,EAAE,mCAAmC,CAAC,CAAC;QAE7E,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YACjC,OAAO,EAAE,OAAO,CAAC,eAAe,CAAC;YACjC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,wBAAwB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACtD,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QACH,YAAY,CAAC,MAAM,EAAE,qBAAqB,EAAE,wCAAwC,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;QAC5C,KAAK;KACN,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,OAAqC;IAErC,MAAM,MAAM,GAAG,MAAM,wBAAwB,CAAC,OAAO,CAAC,CAAC;IACvD,IAAI,CAAC,MAAM,CAAC,MAAM;QAAE,MAAM,IAAI,0BAA0B,CAAC,MAAM,CAAC,CAAC;IACjE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,KAAK,UAAU,OAAO,CACpB,OAAqC,EACrC,OAA0C,EAC1C,IAAY,EACZ,IAA0C;IAE1C,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACvC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACpE,CAAC;YAAS,CAAC;QACT,IAAI,CAAC;YACH,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,IAAI,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CACd,WAAmB,EACnB,WAAW,GAAG,QAAQ,EACtB,QAAQ,GAAG,UAAU,EACrB,IAAI,GAAG,eAAe;IAEtB,OAAO;QACL,WAAW;QACX,SAAS,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE;QACxC,IAAI;QACJ,IAAI,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE;KAC5B,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,MAA0B,EAC1B,OAAe;IAEf,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,OAAO,iCAAiC,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,YAAY,CACnB,MAA0B,EAC1B,MAAkE,EAClE,OAAe;IAEf,MAAM,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,OAAO,mBAAmB,CAAC,CAAC;IACxD,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,EAAE,GAAG,OAAO,cAAc,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;AAC3F,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAA+C,EAC/C,KAAgD;IAEhD,MAAM,CAAC,IAAI,CAAC,aAAa,KAAK,KAAK,CAAC,aAAa,EAAE,6CAA6C,CAAC,CAAC;IAClG,MAAM,CAAC,IAAI,CAAC,aAAa,KAAK,KAAK,CAAC,aAAa,EAAE,6CAA6C,CAAC,CAAC;IAClG,MAAM,CAAC,IAAI,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW,EAAE,2CAA2C,CAAC,CAAC;IAC5F,MAAM,CAAC,IAAI,CAAC,aAAa,KAAK,KAAK,CAAC,aAAa,EAAE,6CAA6C,CAAC,CAAC;IAClG,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,EAAE,uCAAuC,CAAC,CAAC;AAClF,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,MAA8B,EAAE,OAAe;IAC1E,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,CAAC;QACH,MAAM,MAAM,EAAE,CAAC;IACjB,CAAC;IAAC,MAAM,CAAC;QACP,QAAQ,GAAG,IAAI,CAAC;IAClB,CAAC;IACD,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,MAAM,CAAC,SAAkB,EAAE,OAAe;IACjD,IAAI,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAa,EAAE,IAAY;IACxD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,UAAU,CAAC,GAAG,IAAI,kCAAkC,CAAC,CAAC;IAClE,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,KAAK,YAAY,KAAK;QAAE,OAAO,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;IACrE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC"}

package/dist/thresholds.d.ts

@@ -0,0 +1,26 @@
+import type { ScopedQuotaSnapshot } from './operational.js';
+export type UsageQuotaThreshold = {
+    kind: 'remaining_units';
+    value: number;
+} | {
+    kind: 'remaining_ratio';
+    value: number;
+};
+export interface UsageQuotaThresholdEvaluation {
+    reached: boolean;
+    exhausted: boolean;
+    remaining: number;
+    remainingRatio: number;
+}
+/**
+ * Evaluate one threshold against one explicitly scoped authoritative quota snapshot.
+ * This helper is pure and owns no accounting-window or delivery state.
+ */
+export declare function evaluateUsageQuotaThreshold(quota: ScopedQuotaSnapshot, threshold: UsageQuotaThreshold): UsageQuotaThresholdEvaluation;
+/**
+ * Return true only when the same scoped accounting window moves from above a threshold
+ * to at-or-below it. Replaying the same result therefore does not create another crossing.
+ * Applications remain responsible for resetting previous state when their window changes.
+ */
+export declare function didUsageQuotaThresholdCross(previous: ScopedQuotaSnapshot, current: ScopedQuotaSnapshot, threshold: UsageQuotaThreshold): boolean;
+//# sourceMappingURL=thresholds.d.ts.map

package/dist/thresholds.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"thresholds.d.ts","sourceRoot":"","sources":["../src/thresholds.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAE5D,MAAM,MAAM,mBAAmB,GAC3B;IAAE,IAAI,EAAE,iBAAiB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC1C;IAAE,IAAI,EAAE,iBAAiB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAE/C,MAAM,WAAW,6BAA6B;IAC5C,OAAO,EAAE,OAAO,CAAC;IACjB,SAAS,EAAE,OAAO,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;CACxB;AAED;;;GAGG;AACH,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,mBAAmB,EAC1B,SAAS,EAAE,mBAAmB,GAC7B,6BAA6B,CAc/B;AAED;;;;GAIG;AACH,wBAAgB,2BAA2B,CACzC,QAAQ,EAAE,mBAAmB,EAC7B,OAAO,EAAE,mBAAmB,EAC5B,SAAS,EAAE,mBAAmB,GAC7B,OAAO,CAUT"}

package/dist/thresholds.js

@@ -0,0 +1,56 @@
+/**
+ * Evaluate one threshold against one explicitly scoped authoritative quota snapshot.
+ * This helper is pure and owns no accounting-window or delivery state.
+ */
+export function evaluateUsageQuotaThreshold(quota, threshold) {
+    validateQuota(quota);
+    validateThreshold(threshold);
+    const remainingRatio = quota.limit === 0 ? 0 : quota.remaining / quota.limit;
+    const reached = threshold.kind === 'remaining_units'
+        ? quota.remaining <= threshold.value
+        : remainingRatio <= threshold.value;
+    return {
+        reached,
+        exhausted: quota.remaining === 0,
+        remaining: quota.remaining,
+        remainingRatio,
+    };
+}
+/**
+ * Return true only when the same scoped accounting window moves from above a threshold
+ * to at-or-below it. Replaying the same result therefore does not create another crossing.
+ * Applications remain responsible for resetting previous state when their window changes.
+ */
+export function didUsageQuotaThresholdCross(previous, current, threshold) {
+    validateQuota(previous);
+    validateQuota(current);
+    if (previous.limit !== current.limit) {
+        throw new RangeError('Threshold crossing requires snapshots from the same configured limit');
+    }
+    return (!evaluateUsageQuotaThreshold(previous, threshold).reached &&
+        evaluateUsageQuotaThreshold(current, threshold).reached);
+}
+function validateQuota(quota) {
+    if (!Number.isSafeInteger(quota.limit) ||
+        quota.limit < 0 ||
+        !Number.isSafeInteger(quota.remaining) ||
+        quota.remaining < 0 ||
+        quota.remaining > quota.limit) {
+        throw new RangeError('Quota snapshot must contain a valid non-negative limit and remaining value');
+    }
+}
+function validateThreshold(threshold) {
+    if (threshold.kind === 'remaining_units') {
+        if (!Number.isSafeInteger(threshold.value) || threshold.value < 0) {
+            throw new RangeError('remaining_units threshold must be a non-negative safe integer');
+        }
+        return;
+    }
+    if (threshold.kind !== 'remaining_ratio' ||
+        !Number.isFinite(threshold.value) ||
+        threshold.value < 0 ||
+        threshold.value > 1) {
+        throw new RangeError('remaining_ratio threshold must be between 0 and 1');
+    }
+}
+//# sourceMappingURL=thresholds.js.map

package/dist/thresholds.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"thresholds.js","sourceRoot":"","sources":["../src/thresholds.ts"],"names":[],"mappings":"AAaA;;;GAGG;AACH,MAAM,UAAU,2BAA2B,CACzC,KAA0B,EAC1B,SAA8B;IAE9B,aAAa,CAAC,KAAK,CAAC,CAAC;IACrB,iBAAiB,CAAC,SAAS,CAAC,CAAC;IAC7B,MAAM,cAAc,GAAG,KAAK,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC;IAC7E,MAAM,OAAO,GACX,SAAS,CAAC,IAAI,KAAK,iBAAiB;QAClC,CAAC,CAAC,KAAK,CAAC,SAAS,IAAI,SAAS,CAAC,KAAK;QACpC,CAAC,CAAC,cAAc,IAAI,SAAS,CAAC,KAAK,CAAC;IACxC,OAAO;QACL,OAAO;QACP,SAAS,EAAE,KAAK,CAAC,SAAS,KAAK,CAAC;QAChC,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,cAAc;KACf,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,2BAA2B,CACzC,QAA6B,EAC7B,OAA4B,EAC5B,SAA8B;IAE9B,aAAa,CAAC,QAAQ,CAAC,CAAC;IACxB,aAAa,CAAC,OAAO,CAAC,CAAC;IACvB,IAAI,QAAQ,CAAC,KAAK,KAAK,OAAO,CAAC,KAAK,EAAE,CAAC;QACrC,MAAM,IAAI,UAAU,CAAC,sEAAsE,CAAC,CAAC;IAC/F,CAAC;IACD,OAAO,CACL,CAAC,2BAA2B,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,OAAO;QACzD,2BAA2B,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,OAAO,CACxD,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,KAA0B;IAC/C,IACE,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC;QAClC,KAAK,CAAC,KAAK,GAAG,CAAC;QACf,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC;QACtC,KAAK,CAAC,SAAS,GAAG,CAAC;QACnB,KAAK,CAAC,SAAS,GAAG,KAAK,CAAC,KAAK,EAC7B,CAAC;QACD,MAAM,IAAI,UAAU,CAAC,4EAA4E,CAAC,CAAC;IACrG,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,SAA8B;IACvD,IAAI,SAAS,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACzC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;YAClE,MAAM,IAAI,UAAU,CAAC,+DAA+D,CAAC,CAAC;QACxF,CAAC;QACD,OAAO;IACT,CAAC;IACD,IACE,SAAS,CAAC,IAAI,KAAK,iBAAiB;QACpC,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC;QACjC,SAAS,CAAC,KAAK,GAAG,CAAC;QACnB,SAAS,CAAC,KAAK,GAAG,CAAC,EACnB,CAAC;QACD,MAAM,IAAI,UAAU,CAAC,mDAAmD,CAAC,CAAC;IAC5E,CAAC;AACH,CAAC"}

package/dist/vector-store-conformance.d.ts

@@ -0,0 +1,4 @@
+import type { UsageStoreConformanceHarness, UsageStoreConformanceReport } from './store-conformance.js';
+/** Portable proof suite for the optional atomic heterogeneous usage capability. */
+export declare function runVectorUsageStoreConformance(harness: UsageStoreConformanceHarness): Promise<UsageStoreConformanceReport>;
+//# sourceMappingURL=vector-store-conformance.d.ts.map

package/dist/vector-store-conformance.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"vector-store-conformance.d.ts","sourceRoot":"","sources":["../src/vector-store-conformance.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAEV,4BAA4B,EAC5B,2BAA2B,EAC5B,MAAM,wBAAwB,CAAC;AAEhC,mFAAmF;AACnF,wBAAsB,8BAA8B,CAClD,OAAO,EAAE,4BAA4B,GACpC,OAAO,CAAC,2BAA2B,CAAC,CAsOtC"}