mcp-usage-control 1.0.0

package/dist/operational.js

@@ -0,0 +1,193 @@
+export const MCP_USAGE_CONTROL_PACKAGE_NAME = 'mcp-usage-control';
+export const MCP_USAGE_CONTROL_VERSION = '1.0.0';
+/**
+ * Build a bounded, static runtime descriptor suitable for health output.
+ * Identity is diagnostic only and must never participate in admission decisions.
+ */
+export function createUsageRuntimeIdentity(input) {
+    const packageName = input.packageName ?? MCP_USAGE_CONTROL_PACKAGE_NAME;
+    const packageVersion = input.packageVersion ?? MCP_USAGE_CONTROL_VERSION;
+    validateStaticIdentifier(packageName, 'packageName', 128);
+    validateStaticIdentifier(packageVersion, 'packageVersion', 64);
+    validateProvider(input.provider);
+    if (input.storageSchemaVersion !== undefined) {
+        validateStaticIdentifier(input.storageSchemaVersion, 'storageSchemaVersion', 64);
+    }
+    const capabilities = [...new Set(input.capabilities ?? [])];
+    for (const capability of capabilities)
+        validateCapability(capability);
+    capabilities.sort();
+    return {
+        packageName,
+        packageVersion,
+        provider: input.provider,
+        capabilities,
+        ...(input.storageSchemaVersion === undefined
+            ? {}
+            : { storageSchemaVersion: input.storageSchemaVersion }),
+    };
+}
+/**
+ * Project one explicitly selected authoritative budget balance into a safe quota view.
+ * Callers own the budget/window identity and must select the correct scoped balance.
+ */
+export function projectScopedQuota(limit, remaining) {
+    assertNonNegativeSafeInteger(limit, 'limit');
+    assertNonNegativeSafeInteger(remaining, 'remaining');
+    if (remaining > limit)
+        throw new RangeError('remaining cannot exceed limit');
+    return {
+        limit,
+        remaining,
+        used: limit - remaining,
+        exhausted: remaining === 0,
+        utilization: limit === 0 ? 1 : (limit - remaining) / limit,
+    };
+}
+/**
+ * Add a caller-selected known reset boundary to one scoped quota projection.
+ * The boundary is policy/UX metadata only and is never inferred from a budget key.
+ */
+export function projectScopedQuotaWindow(limit, remaining, resetsAt) {
+    assertNonNegativeSafeInteger(resetsAt, 'resetsAt');
+    return { ...projectScopedQuota(limit, remaining), resetsAt };
+}
+/**
+ * Process-local bounded lifecycle counters derived from UsageEvent.
+ * This observer is deliberately non-authoritative and never infers quota truth.
+ */
+export class UsageOperationalMonitor {
+    identity;
+    counters = emptyCounters();
+    lastEventAt;
+    constructor(identity) {
+        this.identity = identity === undefined ? undefined : createUsageRuntimeIdentity(identity);
+    }
+    onInvalidSettlementOutcome() {
+        this.counters.invalidSettlementOutcomes = increment(this.counters.invalidSettlementOutcomes);
+    }
+    onEvent(event) {
+        this.counters.eventsObserved = increment(this.counters.eventsObserved);
+        this.lastEventAt = event.timestamp;
+        switch (event.type) {
+            case 'reserve.accepted':
+            case 'vector.reserve.accepted':
+                this.counters.reserveAccepted = increment(this.counters.reserveAccepted);
+                this.counters.observedAttempts.reserve = increment(this.counters.observedAttempts.reserve);
+                return;
+            case 'reserve.denied':
+            case 'vector.reserve.denied':
+                this.counters.reserveDenied = increment(this.counters.reserveDenied);
+                this.counters.observedAttempts.reserve = increment(this.counters.observedAttempts.reserve);
+                return;
+            case 'settlement.completed':
+            case 'vector.settlement.completed':
+                this.counters.settlementsCompleted = increment(this.counters.settlementsCompleted);
+                this.counters.observedAttempts.settle = increment(this.counters.observedAttempts.settle);
+                return;
+            case 'reservation.recovered':
+            case 'vector.reservation.recovered':
+                if (event.recovery === 'pending_released') {
+                    this.counters.pendingReservationsReleased = add(this.counters.pendingReservationsReleased, event.count);
+                }
+                else {
+                    this.counters.liableReservationsRetained = add(this.counters.liableReservationsRetained, event.count);
+                }
+                return;
+            case 'operation.error': {
+                const key = errorCounterKey(event.phase);
+                this.counters.errors[key] = increment(this.counters.errors[key]);
+                if (event.phase === 'reserve') {
+                    this.counters.observedAttempts.reserve = increment(this.counters.observedAttempts.reserve);
+                }
+                else if (event.phase === 'settle') {
+                    this.counters.observedAttempts.settle = increment(this.counters.observedAttempts.settle);
+                }
+                return;
+            }
+        }
+    }
+    snapshot() {
+        return {
+            ...(this.identity === undefined ? {} : { identity: cloneIdentity(this.identity) }),
+            lifecycle: {
+                ...this.counters,
+                observedAttempts: { ...this.counters.observedAttempts },
+                errors: { ...this.counters.errors },
+            },
+            ...(this.lastEventAt === undefined ? {} : { lastEventAt: this.lastEventAt }),
+        };
+    }
+}
+function emptyCounters() {
+    return {
+        eventsObserved: 0,
+        reserveAccepted: 0,
+        reserveDenied: 0,
+        settlementsCompleted: 0,
+        pendingReservationsReleased: 0,
+        liableReservationsRetained: 0,
+        invalidSettlementOutcomes: 0,
+        observedAttempts: {
+            reserve: 0,
+            settle: 0,
+        },
+        errors: {
+            quote: 0,
+            reserve: 0,
+            markLiable: 0,
+            renew: 0,
+            settle: 0,
+        },
+    };
+}
+function errorCounterKey(phase) {
+    return phase === 'mark_liable' ? 'markLiable' : phase;
+}
+function increment(value) {
+    return add(value, 1);
+}
+function add(value, amount) {
+    if (!Number.isSafeInteger(amount) || amount < 0)
+        return Number.MAX_SAFE_INTEGER;
+    if (value >= Number.MAX_SAFE_INTEGER - amount)
+        return Number.MAX_SAFE_INTEGER;
+    return value + amount;
+}
+function cloneIdentity(identity) {
+    return {
+        ...identity,
+        capabilities: [...identity.capabilities],
+    };
+}
+function validateProvider(value) {
+    if (value !== 'memory' &&
+        value !== 'redis' &&
+        value !== 'firestore' &&
+        value !== 'cloudflare' &&
+        value !== 'custom') {
+        throw new TypeError('Unsupported usage runtime provider');
+    }
+}
+function validateCapability(value) {
+    if (value !== 'progressive' &&
+        value !== 'vector' &&
+        value !== 'reconciliation' &&
+        value !== 'mcp_multi_round') {
+        throw new TypeError('Unsupported usage runtime capability');
+    }
+}
+function validateStaticIdentifier(value, name, maxLength) {
+    if (typeof value !== 'string' ||
+        value.length === 0 ||
+        value.length > maxLength ||
+        !/^[A-Za-z0-9@/._+-]+$/.test(value)) {
+        throw new TypeError(`${name} must be a bounded static identifier`);
+    }
+}
+function assertNonNegativeSafeInteger(value, name) {
+    if (!Number.isSafeInteger(value) || value < 0) {
+        throw new RangeError(`${name} must be a non-negative safe integer`);
+    }
+}
+//# sourceMappingURL=operational.js.map

package/dist/operational.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"operational.js","sourceRoot":"","sources":["../src/operational.ts"],"names":[],"mappings":"AAGA,MAAM,CAAC,MAAM,8BAA8B,GAAG,mBAAmB,CAAC;AAClE,MAAM,CAAC,MAAM,yBAAyB,GAAG,OAAO,CAAC;AAqEjD;;;GAGG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAAgC;IACzE,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,IAAI,8BAA8B,CAAC;IACxE,MAAM,cAAc,GAAG,KAAK,CAAC,cAAc,IAAI,yBAAyB,CAAC;IACzE,wBAAwB,CAAC,WAAW,EAAE,aAAa,EAAE,GAAG,CAAC,CAAC;IAC1D,wBAAwB,CAAC,cAAc,EAAE,gBAAgB,EAAE,EAAE,CAAC,CAAC;IAC/D,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACjC,IAAI,KAAK,CAAC,oBAAoB,KAAK,SAAS,EAAE,CAAC;QAC7C,wBAAwB,CAAC,KAAK,CAAC,oBAAoB,EAAE,sBAAsB,EAAE,EAAE,CAAC,CAAC;IACnF,CAAC;IACD,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,CAAC;IAC5D,KAAK,MAAM,UAAU,IAAI,YAAY;QAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACtE,YAAY,CAAC,IAAI,EAAE,CAAC;IACpB,OAAO;QACL,WAAW;QACX,cAAc;QACd,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,YAAY;QACZ,GAAG,CAAC,KAAK,CAAC,oBAAoB,KAAK,SAAS;YAC1C,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,oBAAoB,EAAE,KAAK,CAAC,oBAAoB,EAAE,CAAC;KAC1D,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAa,EAAE,SAAiB;IACjE,4BAA4B,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC7C,4BAA4B,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IACrD,IAAI,SAAS,GAAG,KAAK;QAAE,MAAM,IAAI,UAAU,CAAC,+BAA+B,CAAC,CAAC;IAC7E,OAAO;QACL,KAAK;QACL,SAAS;QACT,IAAI,EAAE,KAAK,GAAG,SAAS;QACvB,SAAS,EAAE,SAAS,KAAK,CAAC;QAC1B,WAAW,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,SAAS,CAAC,GAAG,KAAK;KAC3D,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CACtC,KAAa,EACb,SAAiB,EACjB,QAAgB;IAEhB,4BAA4B,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACnD,OAAO,EAAE,GAAG,kBAAkB,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,QAAQ,EAAE,CAAC;AAC/D,CAAC;AAED;;;GAGG;AACH,MAAM,OAAO,uBAAuB;IAGjB,QAAQ,CAAmC;IACpD,QAAQ,GAAsC,aAAa,EAAE,CAAC;IAC9D,WAAW,CAAqB;IAExC,YAAY,QAA+B;QACzC,IAAI,CAAC,QAAQ,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,0BAA0B,CAAC,QAAQ,CAAC,CAAC;IAC5F,CAAC;IAED,0BAA0B;QACxB,IAAI,CAAC,QAAQ,CAAC,yBAAyB,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,yBAAyB,CAAC,CAAC;IAC/F,CAAC;IAED,OAAO,CAAC,KAAiB;QACvB,IAAI,CAAC,QAAQ,CAAC,cAAc,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;QACvE,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC,SAAS,CAAC;QAEnC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,kBAAkB,CAAC;YACxB,KAAK,yBAAyB;gBAC5B,IAAI,CAAC,QAAQ,CAAC,eAAe,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;gBACzE,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;gBAC3F,OAAO;YACT,KAAK,gBAAgB,CAAC;YACtB,KAAK,uBAAuB;gBAC1B,IAAI,CAAC,QAAQ,CAAC,aAAa,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;gBACrE,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;gBAC3F,OAAO;YACT,KAAK,sBAAsB,CAAC;YAC5B,KAAK,6BAA6B;gBAChC,IAAI,CAAC,QAAQ,CAAC,oBAAoB,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC;gBACnF,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;gBACzF,OAAO;YACT,KAAK,uBAAuB,CAAC;YAC7B,KAAK,8BAA8B;gBACjC,IAAI,KAAK,CAAC,QAAQ,KAAK,kBAAkB,EAAE,CAAC;oBAC1C,IAAI,CAAC,QAAQ,CAAC,2BAA2B,GAAG,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,2BAA2B,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC1G,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,QAAQ,CAAC,0BAA0B,GAAG,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,0BAA0B,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;gBACxG,CAAC;gBACD,OAAO;YACT,KAAK,iBAAiB,CAAC,CAAC,CAAC;gBACvB,MAAM,GAAG,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACzC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;gBACjE,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;oBAC9B,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;gBAC7F,CAAC;qBAAM,IAAI,KAAK,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;oBACpC,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;gBAC3F,CAAC;gBACD,OAAO;YACT,CAAC;QACH,CAAC;IACH,CAAC;IAED,QAAQ;QACN,OAAO;YACL,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClF,SAAS,EAAE;gBACT,GAAG,IAAI,CAAC,QAAQ;gBAChB,gBAAgB,EAAE,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE;gBACvD,MAAM,EAAE,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE;aACpC;YACD,GAAG,CAAC,IAAI,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;SAC7E,CAAC;IACJ,CAAC;CACF;AAED,SAAS,aAAa;IACpB,OAAO;QACL,cAAc,EAAE,CAAC;QACjB,eAAe,EAAE,CAAC;QAClB,aAAa,EAAE,CAAC;QAChB,oBAAoB,EAAE,CAAC;QACvB,2BAA2B,EAAE,CAAC;QAC9B,0BAA0B,EAAE,CAAC;QAC7B,yBAAyB,EAAE,CAAC;QAC5B,gBAAgB,EAAE;YAChB,OAAO,EAAE,CAAC;YACV,MAAM,EAAE,CAAC;SACV;QACD,MAAM,EAAE;YACN,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC;YACV,UAAU,EAAE,CAAC;YACb,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,CAAC;SACV;KACF,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,KAA+D;IAE/D,OAAO,KAAK,KAAK,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC;AACxD,CAAC;AAED,SAAS,SAAS,CAAC,KAAa;IAC9B,OAAO,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,GAAG,CAAC,KAAa,EAAE,MAAc;IACxC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC,gBAAgB,CAAC;IAChF,IAAI,KAAK,IAAI,MAAM,CAAC,gBAAgB,GAAG,MAAM;QAAE,OAAO,MAAM,CAAC,gBAAgB,CAAC;IAC9E,OAAO,KAAK,GAAG,MAAM,CAAC;AACxB,CAAC;AAED,SAAS,aAAa,CAAC,QAA8B;IACnD,OAAO;QACL,GAAG,QAAQ;QACX,YAAY,EAAE,CAAC,GAAG,QAAQ,CAAC,YAAY,CAAC;KACzC,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa;IACrC,IACE,KAAK,KAAK,QAAQ;QAClB,KAAK,KAAK,OAAO;QACjB,KAAK,KAAK,WAAW;QACrB,KAAK,KAAK,YAAY;QACtB,KAAK,KAAK,QAAQ,EAClB,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,oCAAoC,CAAC,CAAC;IAC5D,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa;IACvC,IACE,KAAK,KAAK,aAAa;QACvB,KAAK,KAAK,QAAQ;QAClB,KAAK,KAAK,gBAAgB;QAC1B,KAAK,KAAK,iBAAiB,EAC3B,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,sCAAsC,CAAC,CAAC;IAC9D,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAa,EAAE,IAAY,EAAE,SAAiB;IAC9E,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,CAAC,MAAM,KAAK,CAAC;QAClB,KAAK,CAAC,MAAM,GAAG,SAAS;QACxB,CAAC,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,EACnC,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,sCAAsC,CAAC,CAAC;IACrE,CAAC;AACH,CAAC;AAED,SAAS,4BAA4B,CAAC,KAAa,EAAE,IAAY;IAC/D,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,UAAU,CAAC,GAAG,IAAI,sCAAsC,CAAC,CAAC;IACtE,CAAC;AACH,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"progressive-store-conformance.d.ts","sourceRoot":"","sources":["../src/progressive-store-conformance.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAEV,4BAA4B,EAC5B,2BAA2B,EAC5B,MAAM,wBAAwB,CAAC;AAEhC,uFAAuF;AACvF,wBAAsB,mCAAmC,CACvD,OAAO,EAAE,4BAA4B,GACpC,OAAO,CAAC,2BAA2B,CAAC,CAsTtC"}

package/dist/progressive-store-conformance.js

@@ -0,0 +1,333 @@
+/** Portable proof suite for the optional progressive reservation growth capability. */
+export async function runProgressiveUsageStoreConformance(harness) {
+    const ttlMs = harness.leaseTtlMs ?? 40;
+    assertPositiveInteger(ttlMs, 'leaseTtlMs');
+    const cases = [];
+    await runCase(harness, cases, 'growth-success-replay-conflict', async (store) => {
+        const admission = await reserveGrowable(store, 'growth-success', 1, [
+            { key: 'growth:success', limit: 4 },
+        ]);
+        const cursor = growthCursor(admission);
+        const firstInput = {
+            reservationId: admission.reservation.id,
+            incrementId: 'inc-1',
+            expectedGrowthCursor: cursor,
+            additionalUnits: 1,
+            budgets: [{ key: 'growth:success', limit: 4 }],
+        };
+        const first = await store.growReservation(firstInput);
+        assertAcceptedGrowth(first, 'first growth');
+        assert(first.reservedUnits === 2, 'first growth total mismatch');
+        const replay = await store.growReservation(firstInput);
+        assertAcceptedGrowth(replay, 'growth replay');
+        assert(replay.replayed, 'duplicate increment must replay');
+        assert(replay.reservedUnits === 2, 'duplicate increment reserved twice');
+        await assertRejects(() => store.growReservation({ ...firstInput, additionalUnits: 2 }), 'same incrementId with conflicting parameters must fail');
+        const second = await store.growReservation({
+            reservationId: admission.reservation.id,
+            incrementId: 'inc-2',
+            expectedGrowthCursor: first.growthCursor,
+            additionalUnits: 2,
+            budgets: [{ key: 'growth:success', limit: 4 }],
+        });
+        assertAcceptedGrowth(second, 'second growth');
+        assert(second.reservedUnits === 4, 'sequential growth total mismatch');
+    });
+    await runCase(harness, cases, 'growth-concurrency', async (store) => {
+        const same = await reserveGrowable(store, 'growth-concurrent-same', 1, [
+            { key: 'growth:concurrent-same', limit: 2 },
+        ]);
+        const sameInput = {
+            reservationId: same.reservation.id,
+            incrementId: 'same-inc',
+            expectedGrowthCursor: growthCursor(same),
+            additionalUnits: 1,
+            budgets: [{ key: 'growth:concurrent-same', limit: 2 }],
+        };
+        const sameResults = await Promise.all([
+            store.growReservation(sameInput),
+            store.growReservation(sameInput),
+        ]);
+        sameResults.forEach(result => assertAcceptedGrowth(result, 'concurrent same increment'));
+        assert(sameResults.filter(result => result.replayed).length === 1, 'same increment committed more than once');
+        const distinct = await reserveGrowable(store, 'growth-concurrent-distinct', 1, [
+            { key: 'growth:concurrent-distinct', limit: 3 },
+        ]);
+        const cursor = growthCursor(distinct);
+        const distinctResults = await Promise.allSettled([
+            store.growReservation({
+                reservationId: distinct.reservation.id,
+                incrementId: 'inc-a',
+                expectedGrowthCursor: cursor,
+                additionalUnits: 1,
+                budgets: [{ key: 'growth:concurrent-distinct', limit: 3 }],
+            }),
+            store.growReservation({
+                reservationId: distinct.reservation.id,
+                incrementId: 'inc-b',
+                expectedGrowthCursor: cursor,
+                additionalUnits: 1,
+                budgets: [{ key: 'growth:concurrent-distinct', limit: 3 }],
+            }),
+        ]);
+        assert(distinctResults.filter(result => result.status === 'fulfilled').length === 1, 'one distinct increment must win');
+        assert(distinctResults.filter(result => result.status === 'rejected').length === 1, 'stale distinct increment must fail closed');
+    });
+    await runCase(harness, cases, 'growth-denial-cursor-and-atomic-budgets', async (store) => {
+        const admission = await reserveGrowable(store, 'growth-atomic', 1, [
+            { key: 'growth:atomic-free', limit: 3 },
+            { key: 'growth:atomic-blocked', limit: 2 },
+        ]);
+        const blocker = await store.reserve({
+            request: request('growth-blocker', 'blocker'),
+            units: 1,
+            budgets: [{ key: 'growth:atomic-blocked', limit: 2 }],
+            ttlMs: 5_000,
+        });
+        assertReserveAccepted(blocker, 'blocking reservation');
+        const cursor = growthCursor(admission);
+        const deniedInput = {
+            reservationId: admission.reservation.id,
+            incrementId: 'denied-inc',
+            expectedGrowthCursor: cursor,
+            additionalUnits: 1,
+            budgets: [
+                { key: 'growth:atomic-free', limit: 3 },
+                { key: 'growth:atomic-blocked', limit: 2 },
+            ],
+        };
+        const denied = await store.growReservation(deniedInput);
+        assertDeniedGrowth(denied, 'growth denial');
+        assert(denied.growthCursor !== cursor, 'authoritative denial must rotate cursor');
+        const replay = await store.growReservation(deniedInput);
+        assertDeniedGrowth(replay, 'growth denial replay');
+        assert(replay.replayed, 'denied growth retry must replay');
+        await assertRejects(() => store.growReservation({
+            ...deniedInput,
+            incrementId: 'new-id-on-stale-cursor',
+        }), 'different increment on stale cursor must fail closed');
+        const freeProbe = await store.reserve({
+            request: request('growth-free-probe'),
+            units: 2,
+            budgets: [{ key: 'growth:atomic-free', limit: 3 }],
+            ttlMs: 5_000,
+        });
+        assertReserveAccepted(freeProbe, 'denied multi-budget growth must not partially reserve');
+    });
+    await runCase(harness, cases, 'growth-pending-and-liable-expiry', async (store) => {
+        const pending = await reserveGrowable(store, 'growth-pending-expiry', 1, [{ key: 'growth:pending-expiry', limit: 3 }], ttlMs);
+        const pendingGrowth = await store.growReservation({
+            reservationId: pending.reservation.id,
+            incrementId: 'pending-inc',
+            expectedGrowthCursor: growthCursor(pending),
+            additionalUnits: 2,
+            budgets: [{ key: 'growth:pending-expiry', limit: 3 }],
+        });
+        assertAcceptedGrowth(pendingGrowth, 'pending growth');
+        const pendingCursor = pendingGrowth.growthCursor;
+        await harness.waitForLeaseExpiry(ttlMs, 'growth-pending-and-liable-expiry');
+        await assertRejects(() => store.growReservation({
+            reservationId: pending.reservation.id,
+            incrementId: 'pending-inc',
+            expectedGrowthCursor: growthCursor(pending),
+            additionalUnits: 2,
+            budgets: [{ key: 'growth:pending-expiry', limit: 3 }],
+        }), 'growth replay after expiry must fail closed');
+        assert(typeof pendingCursor === 'string' && pendingCursor.length > 0, 'growth cursor missing');
+        const pendingReplacement = await store.reserve({
+            request: request('growth-pending-replacement'),
+            units: 3,
+            budgets: [{ key: 'growth:pending-expiry', limit: 3 }],
+            ttlMs: 5_000,
+        });
+        assertReserveAccepted(pendingReplacement, 'pending grown total must be released');
+        const liable = await reserveGrowable(store, 'growth-liable-expiry', 1, [{ key: 'growth:liable-expiry', limit: 2 }], ttlMs);
+        await store.markLiable({ reservationId: liable.reservation.id });
+        const liableGrowth = await store.growReservation({
+            reservationId: liable.reservation.id,
+            incrementId: 'liable-inc',
+            expectedGrowthCursor: growthCursor(liable),
+            additionalUnits: 1,
+            budgets: [{ key: 'growth:liable-expiry', limit: 2 }],
+        });
+        assertAcceptedGrowth(liableGrowth, 'liable growth');
+        await harness.waitForLeaseExpiry(ttlMs, 'growth-pending-and-liable-expiry');
+        const liableReplacement = await store.reserve({
+            request: request('growth-liable-replacement'),
+            units: 1,
+            budgets: [{ key: 'growth:liable-expiry', limit: 2 }],
+            ttlMs: 5_000,
+        });
+        assertReserveDenied(liableReplacement, 'quota_exceeded', 'liable grown total must be retained');
+    });
+    await runCase(harness, cases, 'growth-vs-reserve-race', async (store) => {
+        const admission = await reserveGrowable(store, 'growth-vs-reserve', 1, [
+            { key: 'growth:vs-reserve', limit: 2 },
+        ]);
+        const [growth, competingReserve] = await Promise.all([
+            store.growReservation({
+                reservationId: admission.reservation.id,
+                incrementId: 'growth-vs-reserve-inc',
+                expectedGrowthCursor: growthCursor(admission),
+                additionalUnits: 1,
+                budgets: [{ key: 'growth:vs-reserve', limit: 2 }],
+            }),
+            store.reserve({
+                request: request('growth-vs-reserve-competitor', 'user-2'),
+                units: 1,
+                budgets: [{ key: 'growth:vs-reserve', limit: 2 }],
+                ttlMs: 5_000,
+            }),
+        ]);
+        const admittedCount = Number(growth.accepted) + Number(competingReserve.accepted);
+        assert(admittedCount === 1, 'reserve/growth race oversubscribed or denied both contenders');
+    });
+    await runCase(harness, cases, 'growth-vs-expiry-recovery-race', async (store) => {
+        const admission = await reserveGrowable(store, 'growth-vs-recovery', 1, [{ key: 'growth:vs-recovery', limit: 1 }], ttlMs);
+        const cursor = growthCursor(admission);
+        await harness.waitForLeaseExpiry(ttlMs, 'growth-vs-expiry-recovery-race');
+        const [growth, replacement] = await Promise.allSettled([
+            store.growReservation({
+                reservationId: admission.reservation.id,
+                incrementId: 'expired-growth',
+                expectedGrowthCursor: cursor,
+                additionalUnits: 1,
+                budgets: [{ key: 'growth:vs-recovery', limit: 2 }],
+            }),
+            store.reserve({
+                request: request('growth-vs-recovery-replacement', 'user-2'),
+                units: 1,
+                budgets: [{ key: 'growth:vs-recovery', limit: 1 }],
+                ttlMs: 5_000,
+            }),
+        ]);
+        assert(growth.status === 'rejected', 'expired growth must fail closed during recovery race');
+        assert(replacement.status === 'fulfilled', 'replacement reserve must complete after pending expiry');
+        if (replacement.status === 'fulfilled') {
+            assertReserveAccepted(replacement.value, 'replacement after expiry/recovery race');
+        }
+    });
+    await runCase(harness, cases, 'growth-settlement-bound-and-terminal-state', async (store) => {
+        const admission = await reserveGrowable(store, 'growth-settlement', 1, [
+            { key: 'growth:settlement', limit: 3 },
+        ]);
+        const grown = await store.growReservation({
+            reservationId: admission.reservation.id,
+            incrementId: 'settlement-inc',
+            expectedGrowthCursor: growthCursor(admission),
+            additionalUnits: 2,
+            budgets: [{ key: 'growth:settlement', limit: 3 }],
+        });
+        assertAcceptedGrowth(grown, 'settlement growth');
+        await assertRejects(() => store.settle({ reservationId: admission.reservation.id, actualUnits: 4, outcome: 'invalid' }), 'settlement above grown total must fail');
+        const settled = await store.settle({
+            reservationId: admission.reservation.id,
+            actualUnits: 3,
+            outcome: 'exact',
+        });
+        assert(settled.reservedUnits === 3 && settled.actualUnits === 3, 'exact grown settlement failed');
+        await assertRejects(() => store.growReservation({
+            reservationId: admission.reservation.id,
+            incrementId: 'after-settle',
+            expectedGrowthCursor: grown.growthCursor,
+            additionalUnits: 1,
+            budgets: [{ key: 'growth:settlement', limit: 4 }],
+        }), 'new growth after settlement must fail');
+    });
+    await runCase(harness, cases, 'growth-vs-settle-race', async (store) => {
+        const admission = await reserveGrowable(store, 'growth-settle-race', 1, [
+            { key: 'growth:settle-race', limit: 2 },
+        ]);
+        const results = await Promise.allSettled([
+            store.growReservation({
+                reservationId: admission.reservation.id,
+                incrementId: 'race-inc',
+                expectedGrowthCursor: growthCursor(admission),
+                additionalUnits: 1,
+                budgets: [{ key: 'growth:settle-race', limit: 2 }],
+            }),
+            store.settle({ reservationId: admission.reservation.id, actualUnits: 1, outcome: 'race' }),
+        ]);
+        assert(results[1].status === 'fulfilled', 'settlement side of race must complete');
+        if (results[0].status === 'fulfilled' && results[1].status === 'fulfilled') {
+            assertAcceptedGrowth(results[0].value, 'growth side of race');
+            assert(results[1].value.reservedUnits === 2, 'settlement did not observe prior growth commit');
+        }
+    });
+    return { passed: cases.every(result => result.passed), cases };
+}
+async function runCase(harness, cases, name, body) {
+    try {
+        const store = await harness.createStore(name);
+        if (!isProgressiveStore(store))
+            throw new Error('Store does not support progressive reservation growth');
+        await body(store);
+        cases.push({ name, passed: true });
+    }
+    catch (error) {
+        cases.push({ name, passed: false, error: errorMessage(error) });
+    }
+    finally {
+        try {
+            await harness.cleanup?.(name);
+        }
+        catch (error) {
+            cases.push({ name: `${name}:cleanup`, passed: false, error: errorMessage(error) });
+        }
+    }
+}
+function isProgressiveStore(store) {
+    return typeof store.growReservation === 'function';
+}
+async function reserveGrowable(store, operationId, units, budgets, ttlMs = 5_000) {
+    const result = await store.reserve({ request: request(operationId), units, budgets, ttlMs });
+    assertReserveAccepted(result, `${operationId} reservation`);
+    growthCursor(result);
+    return result;
+}
+function growthCursor(result) {
+    const cursor = result.reservation.growthCursor;
+    assert(typeof cursor === 'string' && cursor.length > 0, 'growable reservation missing growthCursor');
+    return cursor;
+}
+function request(operationId, principalId = 'user-1') {
+    return {
+        operationId,
+        principal: { id: principalId, tenantId: 'tenant-1' },
+        tool: 'growth-conformance',
+        args: { conformance: true },
+    };
+}
+function assertReserveAccepted(result, context) {
+    assert(result.accepted, `${context}: expected accepted reservation`);
+}
+function assertReserveDenied(result, reason, context) {
+    assert(!result.accepted && result.reason === reason, `${context}: expected ${reason}`);
+}
+function assertAcceptedGrowth(result, context) {
+    assert(result.accepted, `${context}: expected accepted growth`);
+}
+function assertDeniedGrowth(result, context) {
+    assert(!result.accepted && result.reason === 'quota_exceeded', `${context}: expected quota denial`);
+}
+async function assertRejects(action, message) {
+    try {
+        await action();
+    }
+    catch {
+        return;
+    }
+    throw new Error(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 positive`);
+}
+function errorMessage(error) {
+    return error instanceof Error ? `${error.name}: ${error.message}` : String(error);
+}
+//# sourceMappingURL=progressive-store-conformance.js.map

package/dist/progressive-store-conformance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"progressive-store-conformance.js","sourceRoot":"","sources":["../src/progressive-store-conformance.ts"],"names":[],"mappings":"AAcA,uFAAuF;AACvF,MAAM,CAAC,KAAK,UAAU,mCAAmC,CACvD,OAAqC;IAErC,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;IACvC,qBAAqB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAsC,EAAE,CAAC;IAEpD,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,gCAAgC,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;QAC5E,MAAM,SAAS,GAAG,MAAM,eAAe,CAAC,KAAK,EAAE,gBAAgB,EAAE,CAAC,EAAE;YAClE,EAAE,GAAG,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC,EAAE;SACpC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;QACvC,MAAM,UAAU,GAAG;YACjB,aAAa,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE;YACvC,WAAW,EAAE,OAAO;YACpB,oBAAoB,EAAE,MAAM;YAC5B,eAAe,EAAE,CAAC;YAClB,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACtC,CAAC;QACX,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;QACtD,oBAAoB,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;QAC5C,MAAM,CAAC,KAAK,CAAC,aAAa,KAAK,CAAC,EAAE,6BAA6B,CAAC,CAAC;QAEjE,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;QACvD,oBAAoB,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,iCAAiC,CAAC,CAAC;QAC3D,MAAM,CAAC,MAAM,CAAC,aAAa,KAAK,CAAC,EAAE,oCAAoC,CAAC,CAAC;QAEzE,MAAM,aAAa,CACjB,GAAG,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,GAAG,UAAU,EAAE,eAAe,EAAE,CAAC,EAAE,CAAC,EAClE,wDAAwD,CACzD,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,eAAe,CAAC;YACzC,aAAa,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE;YACvC,WAAW,EAAE,OAAO;YACpB,oBAAoB,EAAE,KAAK,CAAC,YAAY;YACxC,eAAe,EAAE,CAAC;YAClB,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SAC/C,CAAC,CAAC;QACH,oBAAoB,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,aAAa,KAAK,CAAC,EAAE,kCAAkC,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,oBAAoB,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;QAChE,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,KAAK,EAAE,wBAAwB,EAAE,CAAC,EAAE;YACrE,EAAE,GAAG,EAAE,wBAAwB,EAAE,KAAK,EAAE,CAAC,EAAE;SAC5C,CAAC,CAAC;QACH,MAAM,SAAS,GAAG;YAChB,aAAa,EAAE,IAAI,CAAC,WAAW,CAAC,EAAE;YAClC,WAAW,EAAE,UAAU;YACvB,oBAAoB,EAAE,YAAY,CAAC,IAAI,CAAC;YACxC,eAAe,EAAE,CAAC;YAClB,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,wBAAwB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SAC9C,CAAC;QACX,MAAM,WAAW,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACpC,KAAK,CAAC,eAAe,CAAC,SAAS,CAAC;YAChC,KAAK,CAAC,eAAe,CAAC,SAAS,CAAC;SACjC,CAAC,CAAC;QACH,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,oBAAoB,CAAC,MAAM,EAAE,2BAA2B,CAAC,CAAC,CAAC;QACzF,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,yCAAyC,CAAC,CAAC;QAE9G,MAAM,QAAQ,GAAG,MAAM,eAAe,CAAC,KAAK,EAAE,4BAA4B,EAAE,CAAC,EAAE;YAC7E,EAAE,GAAG,EAAE,4BAA4B,EAAE,KAAK,EAAE,CAAC,EAAE;SAChD,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACtC,MAAM,eAAe,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC;YAC/C,KAAK,CAAC,eAAe,CAAC;gBACpB,aAAa,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE;gBACtC,WAAW,EAAE,OAAO;gBACpB,oBAAoB,EAAE,MAAM;gBAC5B,eAAe,EAAE,CAAC;gBAClB,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,4BAA4B,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;aAC3D,CAAC;YACF,KAAK,CAAC,eAAe,CAAC;gBACpB,aAAa,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE;gBACtC,WAAW,EAAE,OAAO;gBACpB,oBAAoB,EAAE,MAAM;gBAC5B,eAAe,EAAE,CAAC;gBAClB,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,4BAA4B,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;aAC3D,CAAC;SACH,CAAC,CAAC;QACH,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,iCAAiC,CAAC,CAAC;QACxH,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,2CAA2C,CAAC,CAAC;IACnI,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,yCAAyC,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;QACrF,MAAM,SAAS,GAAG,MAAM,eAAe,CAAC,KAAK,EAAE,eAAe,EAAE,CAAC,EAAE;YACjE,EAAE,GAAG,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,EAAE;YACvC,EAAE,GAAG,EAAE,uBAAuB,EAAE,KAAK,EAAE,CAAC,EAAE;SAC3C,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YAClC,OAAO,EAAE,OAAO,CAAC,gBAAgB,EAAE,SAAS,CAAC;YAC7C,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,uBAAuB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACrD,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QACH,qBAAqB,CAAC,OAAO,EAAE,sBAAsB,CAAC,CAAC;QAEvD,MAAM,MAAM,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;QACvC,MAAM,WAAW,GAAG;YAClB,aAAa,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE;YACvC,WAAW,EAAE,YAAY;YACzB,oBAAoB,EAAE,MAAM;YAC5B,eAAe,EAAE,CAAC;YAClB,OAAO,EAAE;gBACP,EAAE,GAAG,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,EAAE;gBACvC,EAAE,GAAG,EAAE,uBAAuB,EAAE,KAAK,EAAE,CAAC,EAAE;aAC3C;SACO,CAAC;QACX,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC;QACxD,kBAAkB,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;QAC5C,MAAM,CAAC,MAAM,CAAC,YAAY,KAAK,MAAM,EAAE,yCAAyC,CAAC,CAAC;QAClF,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC;QACxD,kBAAkB,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,iCAAiC,CAAC,CAAC;QAE3D,MAAM,aAAa,CACjB,GAAG,EAAE,CACH,KAAK,CAAC,eAAe,CAAC;YACpB,GAAG,WAAW;YACd,WAAW,EAAE,wBAAwB;SACtC,CAAC,EACJ,sDAAsD,CACvD,CAAC;QAEF,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,qBAAqB,CAAC,SAAS,EAAE,uDAAuD,CAAC,CAAC;IAC5F,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,kCAAkC,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;QAC9E,MAAM,OAAO,GAAG,MAAM,eAAe,CACnC,KAAK,EACL,uBAAuB,EACvB,CAAC,EACD,CAAC,EAAE,GAAG,EAAE,uBAAuB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAC5C,KAAK,CACN,CAAC;QACF,MAAM,aAAa,GAAG,MAAM,KAAK,CAAC,eAAe,CAAC;YAChD,aAAa,EAAE,OAAO,CAAC,WAAW,CAAC,EAAE;YACrC,WAAW,EAAE,aAAa;YAC1B,oBAAoB,EAAE,YAAY,CAAC,OAAO,CAAC;YAC3C,eAAe,EAAE,CAAC;YAClB,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,uBAAuB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACtD,CAAC,CAAC;QACH,oBAAoB,CAAC,aAAa,EAAE,gBAAgB,CAAC,CAAC;QACtD,MAAM,aAAa,GAAG,aAAa,CAAC,YAAY,CAAC;QACjD,MAAM,OAAO,CAAC,kBAAkB,CAAC,KAAK,EAAE,kCAAkC,CAAC,CAAC;QAC5E,MAAM,aAAa,CACjB,GAAG,EAAE,CACH,KAAK,CAAC,eAAe,CAAC;YACpB,aAAa,EAAE,OAAO,CAAC,WAAW,CAAC,EAAE;YACrC,WAAW,EAAE,aAAa;YAC1B,oBAAoB,EAAE,YAAY,CAAC,OAAO,CAAC;YAC3C,eAAe,EAAE,CAAC;YAClB,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,uBAAuB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACtD,CAAC,EACJ,6CAA6C,CAC9C,CAAC;QACF,MAAM,CAAC,OAAO,aAAa,KAAK,QAAQ,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,uBAAuB,CAAC,CAAC;QAC/F,MAAM,kBAAkB,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YAC7C,OAAO,EAAE,OAAO,CAAC,4BAA4B,CAAC;YAC9C,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,uBAAuB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACrD,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QACH,qBAAqB,CAAC,kBAAkB,EAAE,sCAAsC,CAAC,CAAC;QAElF,MAAM,MAAM,GAAG,MAAM,eAAe,CAClC,KAAK,EACL,sBAAsB,EACtB,CAAC,EACD,CAAC,EAAE,GAAG,EAAE,sBAAsB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAC3C,KAAK,CACN,CAAC;QACF,MAAM,KAAK,CAAC,UAAU,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC;QACjE,MAAM,YAAY,GAAG,MAAM,KAAK,CAAC,eAAe,CAAC;YAC/C,aAAa,EAAE,MAAM,CAAC,WAAW,CAAC,EAAE;YACpC,WAAW,EAAE,YAAY;YACzB,oBAAoB,EAAE,YAAY,CAAC,MAAM,CAAC;YAC1C,eAAe,EAAE,CAAC;YAClB,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,sBAAsB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACrD,CAAC,CAAC;QACH,oBAAoB,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC;QACpD,MAAM,OAAO,CAAC,kBAAkB,CAAC,KAAK,EAAE,kCAAkC,CAAC,CAAC;QAC5E,MAAM,iBAAiB,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC;YAC5C,OAAO,EAAE,OAAO,CAAC,2BAA2B,CAAC;YAC7C,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,sBAAsB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACpD,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QACH,mBAAmB,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,qCAAqC,CAAC,CAAC;IAClG,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,wBAAwB,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;QACpE,MAAM,SAAS,GAAG,MAAM,eAAe,CAAC,KAAK,EAAE,mBAAmB,EAAE,CAAC,EAAE;YACrE,EAAE,GAAG,EAAE,mBAAmB,EAAE,KAAK,EAAE,CAAC,EAAE;SACvC,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACnD,KAAK,CAAC,eAAe,CAAC;gBACpB,aAAa,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE;gBACvC,WAAW,EAAE,uBAAuB;gBACpC,oBAAoB,EAAE,YAAY,CAAC,SAAS,CAAC;gBAC7C,eAAe,EAAE,CAAC;gBAClB,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,mBAAmB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;aAClD,CAAC;YACF,KAAK,CAAC,OAAO,CAAC;gBACZ,OAAO,EAAE,OAAO,CAAC,8BAA8B,EAAE,QAAQ,CAAC;gBAC1D,KAAK,EAAE,CAAC;gBACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,mBAAmB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;gBACjD,KAAK,EAAE,KAAK;aACb,CAAC;SACH,CAAC,CAAC;QACH,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QAClF,MAAM,CAAC,aAAa,KAAK,CAAC,EAAE,8DAA8D,CAAC,CAAC;IAC9F,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,gCAAgC,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;QAC5E,MAAM,SAAS,GAAG,MAAM,eAAe,CACrC,KAAK,EACL,oBAAoB,EACpB,CAAC,EACD,CAAC,EAAE,GAAG,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EACzC,KAAK,CACN,CAAC;QACF,MAAM,MAAM,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;QACvC,MAAM,OAAO,CAAC,kBAAkB,CAAC,KAAK,EAAE,gCAAgC,CAAC,CAAC;QAE1E,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC;YACrD,KAAK,CAAC,eAAe,CAAC;gBACpB,aAAa,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE;gBACvC,WAAW,EAAE,gBAAgB;gBAC7B,oBAAoB,EAAE,MAAM;gBAC5B,eAAe,EAAE,CAAC;gBAClB,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;aACnD,CAAC;YACF,KAAK,CAAC,OAAO,CAAC;gBACZ,OAAO,EAAE,OAAO,CAAC,gCAAgC,EAAE,QAAQ,CAAC;gBAC5D,KAAK,EAAE,CAAC;gBACR,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;gBAClD,KAAK,EAAE,KAAK;aACb,CAAC;SACH,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,UAAU,EAAE,sDAAsD,CAAC,CAAC;QAC7F,MAAM,CAAC,WAAW,CAAC,MAAM,KAAK,WAAW,EAAE,wDAAwD,CAAC,CAAC;QACrG,IAAI,WAAW,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YACvC,qBAAqB,CAAC,WAAW,CAAC,KAAK,EAAE,wCAAwC,CAAC,CAAC;QACrF,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,4CAA4C,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;QACxF,MAAM,SAAS,GAAG,MAAM,eAAe,CAAC,KAAK,EAAE,mBAAmB,EAAE,CAAC,EAAE;YACrE,EAAE,GAAG,EAAE,mBAAmB,EAAE,KAAK,EAAE,CAAC,EAAE;SACvC,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,eAAe,CAAC;YACxC,aAAa,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE;YACvC,WAAW,EAAE,gBAAgB;YAC7B,oBAAoB,EAAE,YAAY,CAAC,SAAS,CAAC;YAC7C,eAAe,EAAE,CAAC;YAClB,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,mBAAmB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SAClD,CAAC,CAAC;QACH,oBAAoB,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;QACjD,MAAM,aAAa,CACjB,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,EACnG,wCAAwC,CACzC,CAAC;QACF,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,MAAM,CAAC;YACjC,aAAa,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE;YACvC,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,OAAO;SACjB,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,aAAa,KAAK,CAAC,IAAI,OAAO,CAAC,WAAW,KAAK,CAAC,EAAE,+BAA+B,CAAC,CAAC;QAClG,MAAM,aAAa,CACjB,GAAG,EAAE,CACH,KAAK,CAAC,eAAe,CAAC;YACpB,aAAa,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE;YACvC,WAAW,EAAE,cAAc;YAC3B,oBAAoB,EAAE,KAAK,CAAC,YAAY;YACxC,eAAe,EAAE,CAAC;YAClB,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,mBAAmB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SAClD,CAAC,EACJ,uCAAuC,CACxC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,uBAAuB,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;QACnE,MAAM,SAAS,GAAG,MAAM,eAAe,CAAC,KAAK,EAAE,oBAAoB,EAAE,CAAC,EAAE;YACtE,EAAE,GAAG,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,EAAE;SACxC,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC;YACvC,KAAK,CAAC,eAAe,CAAC;gBACpB,aAAa,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE;gBACvC,WAAW,EAAE,UAAU;gBACvB,oBAAoB,EAAE,YAAY,CAAC,SAAS,CAAC;gBAC7C,eAAe,EAAE,CAAC;gBAClB,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;aACnD,CAAC;YACF,KAAK,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,SAAS,CAAC,WAAW,CAAC,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;SAC3F,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,MAAM,KAAK,WAAW,EAAE,uCAAuC,CAAC,CAAC;QACpF,IAAI,OAAO,CAAC,CAAC,CAAE,CAAC,MAAM,KAAK,WAAW,IAAI,OAAO,CAAC,CAAC,CAAE,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YAC7E,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,KAAK,EAAE,qBAAqB,CAAC,CAAC;YAC/D,MAAM,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,aAAa,KAAK,CAAC,EAAE,gDAAgD,CAAC,CAAC;QAClG,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC;AACjE,CAAC;AAED,KAAK,UAAU,OAAO,CACpB,OAAqC,EACrC,KAAwC,EACxC,IAAY,EACZ,IAAqD;IAErD,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;QACzG,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACrC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAClE,CAAC;YAAS,CAAC;QACT,IAAI,CAAC;YACH,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,IAAI,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACrF,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAiB;IAC3C,OAAO,OAAQ,KAAwC,CAAC,eAAe,KAAK,UAAU,CAAC;AACzF,CAAC;AAED,KAAK,UAAU,eAAe,CAC5B,KAA4B,EAC5B,WAAmB,EACnB,KAAa,EACb,OAA0B,EAC1B,KAAK,GAAG,KAAK;IAEb,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7F,qBAAqB,CAAC,MAAM,EAAE,GAAG,WAAW,cAAc,CAAC,CAAC;IAC5D,YAAY,CAAC,MAAM,CAAC,CAAC;IACrB,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,YAAY,CAAC,MAAuD;IAC3E,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC;IAC/C,MAAM,CAAC,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,2CAA2C,CAAC,CAAC;IACrG,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,OAAO,CAAC,WAAmB,EAAE,WAAW,GAAG,QAAQ;IAC1D,OAAO;QACL,WAAW;QACX,SAAS,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE;QACpD,IAAI,EAAE,oBAAoB;QAC1B,IAAI,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE;KAC5B,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,MAA0B,EAC1B,OAAe;IAEf,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,OAAO,iCAAiC,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,mBAAmB,CAC1B,MAA0B,EAC1B,MAAkE,EAClE,OAAe;IAEf,MAAM,CAAC,CAAC,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,EAAE,GAAG,OAAO,cAAc,MAAM,EAAE,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,oBAAoB,CAC3B,MAAuB,EACvB,OAAe;IAEf,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,OAAO,4BAA4B,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,kBAAkB,CACzB,MAAuB,EACvB,OAAe;IAEf,MAAM,CAAC,CAAC,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,gBAAgB,EAAE,GAAG,OAAO,yBAAyB,CAAC,CAAC;AACtG,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,MAA8B,EAAE,OAAe;IAC1E,IAAI,CAAC;QACH,MAAM,MAAM,EAAE,CAAC;IACjB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;IACT,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC;AAC3B,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;QAAE,MAAM,IAAI,UAAU,CAAC,GAAG,IAAI,mBAAmB,CAAC,CAAC;AACnG,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACpF,CAAC"}

package/dist/reconciliation-conformance.d.ts

@@ -0,0 +1,36 @@
+import type { OperationReconciliationStore, VectorOperationReconciliationStore } from './index.js';
+type MaybePromise<T> = T | Promise<T>;
+export interface OperationReconciliationConformanceHarness {
+    createStore(scenario: string): MaybePromise<OperationReconciliationStore>;
+    waitForLeaseExpiry(ttlMs: number, scenario: string): MaybePromise<void>;
+    cleanup?(scenario: string): MaybePromise<void>;
+    leaseTtlMs?: number;
+}
+export interface OperationReconciliationConformanceCaseResult {
+    name: string;
+    passed: boolean;
+    error?: string;
+}
+export interface OperationReconciliationConformanceReport {
+    passed: boolean;
+    cases: OperationReconciliationConformanceCaseResult[];
+}
+export declare class OperationReconciliationConformanceError extends Error {
+    readonly report: OperationReconciliationConformanceReport;
+    constructor(report: OperationReconciliationConformanceReport);
+}
+/** Portable scalar-only read-only reconciliation contract for optional Store implementations. */
+export declare function runOperationReconciliationStoreConformance(harness: OperationReconciliationConformanceHarness): Promise<OperationReconciliationConformanceReport>;
+export interface VectorOperationReconciliationConformanceHarness {
+    createStore(scenario: string): MaybePromise<VectorOperationReconciliationStore>;
+    waitForLeaseExpiry(ttlMs: number, scenario: string): MaybePromise<void>;
+    cleanup?(scenario: string): MaybePromise<void>;
+    leaseTtlMs?: number;
+}
+export type VectorOperationReconciliationConformanceReport = OperationReconciliationConformanceReport;
+/** Portable read-only initial-vector-reserve reconciliation contract. */
+export declare function runVectorOperationReconciliationStoreConformance(harness: VectorOperationReconciliationConformanceHarness): Promise<VectorOperationReconciliationConformanceReport>;
+export declare function assertVectorOperationReconciliationStoreConformance(harness: VectorOperationReconciliationConformanceHarness): Promise<void>;
+export declare function assertOperationReconciliationStoreConformance(harness: OperationReconciliationConformanceHarness): Promise<void>;
+export {};
+//# sourceMappingURL=reconciliation-conformance.d.ts.map

package/dist/reconciliation-conformance.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reconciliation-conformance.d.ts","sourceRoot":"","sources":["../src/reconciliation-conformance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,4BAA4B,EAM5B,kCAAkC,EAEnC,MAAM,YAAY,CAAC;AAEpB,KAAK,YAAY,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAEtC,MAAM,WAAW,yCAAyC;IACxD,WAAW,CAAC,QAAQ,EAAE,MAAM,GAAG,YAAY,CAAC,4BAA4B,CAAC,CAAC;IAC1E,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACxE,OAAO,CAAC,CAAC,QAAQ,EAAE,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/C,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,4CAA4C;IAC3D,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,OAAO,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,wCAAwC;IACvD,MAAM,EAAE,OAAO,CAAC;IAChB,KAAK,EAAE,4CAA4C,EAAE,CAAC;CACvD;AAED,qBAAa,uCAAwC,SAAQ,KAAK;aACpC,MAAM,EAAE,wCAAwC;gBAAhD,MAAM,EAAE,wCAAwC;CAS7E;AAED,iGAAiG;AACjG,wBAAsB,0CAA0C,CAC9D,OAAO,EAAE,yCAAyC,GACjD,OAAO,CAAC,wCAAwC,CAAC,CAiEnD;AAGD,MAAM,WAAW,+CAA+C;IAC9D,WAAW,CAAC,QAAQ,EAAE,MAAM,GAAG,YAAY,CAAC,kCAAkC,CAAC,CAAC;IAChF,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACxE,OAAO,CAAC,CAAC,QAAQ,EAAE,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/C,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,MAAM,8CAA8C,GAAG,wCAAwC,CAAC;AAEtG,yEAAyE;AACzE,wBAAsB,gDAAgD,CACpE,OAAO,EAAE,+CAA+C,GACvD,OAAO,CAAC,8CAA8C,CAAC,CAsDzD;AAED,wBAAsB,mDAAmD,CACvE,OAAO,EAAE,+CAA+C,GACvD,OAAO,CAAC,IAAI,CAAC,CAGf;AAED,wBAAsB,6CAA6C,CACjE,OAAO,EAAE,yCAAyC,GACjD,OAAO,CAAC,IAAI,CAAC,CAGf"}