@axiom-core/invariant-engine 0.1.0

package/dist/index.d.ts

@@ -0,0 +1,14 @@
+import type { Token } from '@axiom-core/token-schema';
+export { assertNoPrimitiveLeak, assertNoRawHex, assertAllAxesRegistered, assertNoCyclicReferences, assertAllReferencesResolvable, assertAllReferencesResolvableShallow, assertAllReferencesResolvableDeep, validateTheme, InvariantLevel } from './invariants.js';
+export declare const processToken: (t: Token) => {
+    processed: boolean;
+    tokenId: string;
+};
+export declare const checkInvariant: (t: Token) => {
+    invariantOk: boolean;
+    result: {
+        processed: boolean;
+        tokenId: string;
+    };
+};
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,cAAc,EAAE,uBAAuB,EAAE,wBAAwB,EAAE,6BAA6B,EAAE,oCAAoC,EAAE,iCAAiC,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAElQ,eAAO,MAAM,YAAY,GAAI,GAAG,KAAK;;;CAEpC,CAAC;AAEF,eAAO,MAAM,cAAc,GAAI,GAAG,KAAK;;;;;;CAGtC,CAAC"}

package/dist/index.js

@@ -0,0 +1,9 @@
+export { assertNoPrimitiveLeak, assertNoRawHex, assertAllAxesRegistered, assertNoCyclicReferences, assertAllReferencesResolvable, assertAllReferencesResolvableShallow, assertAllReferencesResolvableDeep, validateTheme, InvariantLevel } from './invariants.js';
+export const processToken = (t) => {
+    return { processed: true, tokenId: t.id };
+};
+export const checkInvariant = (t) => {
+    const res = processToken(t);
+    return { invariantOk: true, result: res };
+};
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,qBAAqB,EAAE,cAAc,EAAE,uBAAuB,EAAE,wBAAwB,EAAE,6BAA6B,EAAE,oCAAoC,EAAE,iCAAiC,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAElQ,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAQ,EAAE,EAAE;IACvC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;AAC5C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAQ,EAAE,EAAE;IACzC,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAC5B,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAC5C,CAAC,CAAC"}

package/dist/invariants.d.ts

@@ -0,0 +1,57 @@
+import type { PrimitiveTokens, SemanticTokens } from '@axiom-core/token-schema';
+import type { AxisRegistry } from '@axiom-core/core-engine';
+/**
+ * Invariant levels describe the scope and cost of checks performed.
+ * - `runtime`: inexpensive, fast checks that should run in production to catch common problems.
+ * - `ci`: expensive, deep-graph analysis and performance guards intended for CI jobs only.
+ */
+export type InvariantLevel = 'runtime' | 'ci';
+export declare const InvariantLevel: {
+    readonly Runtime: InvariantLevel;
+    readonly CI: InvariantLevel;
+};
+export declare function assertNoPrimitiveLeak(semantic: SemanticTokens): void;
+export declare function assertNoRawHex(semantic: SemanticTokens): void;
+export declare function assertNoCyclicReferences(semantic: SemanticTokens, primitives: PrimitiveTokens): void;
+export declare function assertAllReferencesResolvable(semantic: SemanticTokens, primitives: PrimitiveTokens): void;
+export declare function assertAllReferencesResolvableShallow(semantic: SemanticTokens, primitives: PrimitiveTokens): void;
+export declare function assertAllReferencesResolvableDeep(semantic: SemanticTokens, primitives: PrimitiveTokens): void;
+export declare function assertAllAxesRegistered(expectedAxes: readonly string[], registry: AxisRegistry | Record<string, unknown>): void;
+/**
+ * Runtime invariants:
+ * Must remain O(n).
+ * Safe for theme switching at runtime.
+ */
+export declare function runRuntimeInvariants(semantic: SemanticTokens, primitives: PrimitiveTokens, expectedAxes: readonly string[], registry: AxisRegistry | Record<string, unknown>): void;
+/**
+ * Runtime single-pass semantic validator.
+ * Visits each leaf exactly once and enforces:
+ * - leaf must be a TokenReference
+ * - raw hex string leaves are rejected
+ * - token references are shallowly resolvable against `primitives`
+ *
+ * Complexity: O(n) where n is number of nodes in `semantic` (plus shallow path checks).
+ */
+export declare function validateRuntimeSemantic(semantic: SemanticTokens, primitives: PrimitiveTokens): void;
+export declare function assertStateExhaustive(semantic: SemanticTokens): void;
+export declare function assertTypographyExhaustive(semantic: SemanticTokens): void;
+/**
+ * validateTheme runs configured invariants on the provided token graphs.
+ *
+ * Options:
+ * - `level` (default: `InvariantLevel.Runtime`) — selects check set:
+ *    - `Compile`: documented-only; no runtime checks performed here. Intended to indicate TypeScript-enforced rules.
+ *    - `Runtime`: lightweight checks suitable for production (no deep graph analysis).
+ *    - `CI`: includes expensive deep-graph and performance checks intended for CI.
+ */
+export declare function validateTheme(semantic: SemanticTokens, primitives: PrimitiveTokens, expectedAxes: readonly string[], registry: AxisRegistry, options?: {
+    level?: InvariantLevel;
+}): void;
+/**
+ * CI invariants:
+ * Exhaustive validation.
+ * May be O(n + e).
+ * Intended for build/CI enforcement.
+ */
+export declare function runCIInvariants(semantic: SemanticTokens, primitives: PrimitiveTokens): void;
+//# sourceMappingURL=invariants.d.ts.map

package/dist/invariants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariants.d.ts","sourceRoot":"","sources":["../src/invariants.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAChF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAG5D;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,IAAI,CAAC;AAG9C,eAAO,MAAM,cAAc;sBACH,cAAc;iBACxB,cAAc;CAClB,CAAC;AAuCX,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,cAAc,GAAG,IAAI,CA4BpE;AAID,wBAAgB,cAAc,CAAC,QAAQ,EAAE,cAAc,GAAG,IAAI,CAuB7D;AAqFD,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,cAAc,EAAE,UAAU,EAAE,eAAe,GAAG,IAAI,CAkEpG;AAGD,wBAAgB,6BAA6B,CAAC,QAAQ,EAAE,cAAc,EAAE,UAAU,EAAE,eAAe,GAAG,IAAI,CAazG;AAGD,wBAAgB,oCAAoC,CAAC,QAAQ,EAAE,cAAc,EAAE,UAAU,EAAE,eAAe,GAAG,IAAI,CAsDhH;AAGD,wBAAgB,iCAAiC,CAAC,QAAQ,EAAE,cAAc,EAAE,UAAU,EAAE,eAAe,GAAG,IAAI,CAa7G;AAGD,wBAAgB,uBAAuB,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,EAAE,QAAQ,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAK/H;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,cAAc,EACxB,UAAU,EAAE,eAAe,EAC3B,YAAY,EAAE,SAAS,MAAM,EAAE,EAC/B,QAAQ,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,QAQjD;AAED;;;;;;;;GAQG;AACH,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,cAAc,EAAE,UAAU,EAAE,eAAe,GAAG,IAAI,CA8BnG;AAyED,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,cAAc,GAAG,IAAI,CA4CpE;AAGD,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,cAAc,GAAG,IAAI,CA0DzE;AAED;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAC3B,QAAQ,EAAE,cAAc,EACxB,UAAU,EAAE,eAAe,EAC3B,YAAY,EAAE,SAAS,MAAM,EAAE,EAC/B,QAAQ,EAAE,YAAY,EACtB,OAAO,CAAC,EAAE;IAAE,KAAK,CAAC,EAAE,cAAc,CAAA;CAAE,GACnC,IAAI,CAYN;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,QAAQ,EAAE,cAAc,EAAE,UAAU,EAAE,eAAe,QAiBpF"}

package/dist/invariants.js

@@ -0,0 +1,589 @@
+import { AxiomInvariantError } from '@axiom-core/internal-utils';
+// Backwards-compatible runtime value object used by callers in the codebase.
+export const InvariantLevel = {
+    Runtime: 'runtime',
+    CI: 'ci'
+};
+function isPlainObject(v) {
+    return typeof v === 'object' && v !== null && !Array.isArray(v) && (Object.getPrototypeOf(v) === Object.prototype || Object.getPrototypeOf(v) === null);
+}
+function isPrimitiveValue(v) {
+    return typeof v === 'string' || typeof v === 'number';
+}
+function isTokenReference(obj) {
+    return isPlainObject(obj) && typeof obj.ref === 'string';
+}
+function joinPath(path) {
+    return path.map(String).join('.');
+}
+// Traverse semantic tokens and call callback for each leaf value, providing path
+function traverseSemantic(obj, cb, path = []) {
+    if (isTokenReference(obj)) {
+        cb(obj, path);
+        return;
+    }
+    if (isPlainObject(obj)) {
+        for (const [key, val] of Object.entries(obj)) {
+            traverseSemantic(val, cb, path.concat(key));
+        }
+        return;
+    }
+    cb(obj, path);
+}
+// 1. assertNoPrimitiveLeak
+export function assertNoPrimitiveLeak(semantic) {
+    // Ensure explicit checks for surface, elevation, and effect namespaces
+    const checkNamespaces = (nsObj) => {
+        if (nsObj !== undefined)
+            traverseSemantic(nsObj, (value, path) => {
+                if (isTokenReference(value))
+                    return; // ok
+                if (value === undefined || value === null)
+                    return;
+                if (typeof value === 'string' || typeof value === 'number' || typeof value === 'boolean') {
+                    throw new AxiomInvariantError('invariant-engine', `Primitive leak detected at semantic.${joinPath(path)} — found primitive value (${String(value)}). Leaves must be TokenReference objects.`, { path: joinPath(path) });
+                }
+            });
+    };
+    // Check explicit namespaces first
+    checkNamespaces(semantic.surface);
+    checkNamespaces(semantic.elevation);
+    checkNamespaces(semantic.typography);
+    checkNamespaces(semantic.state);
+    checkNamespaces(semantic.effect);
+    // Fallback: traverse entire semantic object to catch any other primitive leaks
+    traverseSemantic(semantic, (value, path) => {
+        if (isTokenReference(value))
+            return; // ok
+        // if it's an object, it's nested map and was traversed; only primitives reach here
+        if (value === undefined || value === null)
+            return; // allow empty? treat as ok
+        if (typeof value === 'string' || typeof value === 'number' || typeof value === 'boolean') {
+            throw new AxiomInvariantError('invariant-engine', `Primitive leak detected at semantic.${joinPath(path)} — found primitive value (${String(value)}). Leaves must be TokenReference objects.`, { path: joinPath(path) });
+        }
+    });
+}
+// 2. assertNoRawHex
+const HEX_RE = /^#[0-9A-Fa-f]{3,8}$/;
+export function assertNoRawHex(semantic) {
+    const checkNs = (nsObj) => {
+        if (nsObj === undefined)
+            return;
+        traverseSemantic(nsObj, (value, path) => {
+            if (typeof value === 'string' && HEX_RE.test(value)) {
+                throw new AxiomInvariantError('invariant-engine', `Raw hex value detected at semantic.${joinPath(path)} — found "${value}". Use TokenReference instead.`, { path: joinPath(path), value });
+            }
+        }, []);
+    };
+    // Explicit namespaces
+    checkNs(semantic.surface);
+    checkNs(semantic.elevation);
+    checkNs(semantic.typography);
+    checkNs(semantic.state);
+    checkNs(semantic.effect);
+    // Fallback full traverse
+    traverseSemantic(semantic, (value, path) => {
+        if (typeof value === 'string' && HEX_RE.test(value)) {
+            throw new AxiomInvariantError('invariant-engine', `Raw hex value detected at semantic.${joinPath(path)} — found "${value}". Use TokenReference instead.`, { path: joinPath(path), value });
+        }
+    });
+}
+// Helpers to collect primitive paths and map values
+function collectPrimitiveMap(primitives) {
+    const map = new Map();
+    function walk(obj, parts) {
+        if (isPlainObject(obj)) {
+            for (const [k, v] of Object.entries(obj))
+                walk(v, parts.concat(k));
+            return;
+        }
+        if (isPrimitiveValue(obj) || isTokenReference(obj)) {
+            map.set(parts.join('.'), obj);
+            return;
+        }
+        if (obj === null || obj === undefined) {
+            // allow empty categories? treat as absent
+            return;
+        }
+        throw new AxiomInvariantError('invariant-engine', `collectPrimitiveMap: unsupported primitive value at ${parts.join('.')}: ${String(obj)}`, { path: parts.join('.') });
+    }
+    for (const [cat, val] of Object.entries(primitives)) {
+        walk(val, [cat]);
+    }
+    return map;
+}
+// Lightweight key set collector optimized for runtime validation.
+// Builds a Set of primitive paths (e.g., 'color.gray.50') using an iterative
+// traversal that minimizes intermediate array/string allocations.
+function collectPrimitiveKeySet(primitives) {
+    const out = new Set();
+    const root = primitives;
+    const stack = [];
+    const path = [];
+    if (!isPlainObject(root))
+        return out;
+    stack.push({ node: root, keys: Object.keys(root), idx: 0 });
+    while (stack.length) {
+        const frame = stack[stack.length - 1];
+        if (frame.idx >= frame.keys.length) {
+            stack.pop();
+            if (path.length)
+                path.pop();
+            continue;
+        }
+        const key = frame.keys[frame.idx++];
+        const val = frame.node[key];
+        if (isPlainObject(val)) {
+            path.push(key);
+            stack.push({ node: val, keys: Object.keys(val), idx: 0 });
+            continue;
+        }
+        if (isPrimitiveValue(val) || isTokenReference(val)) {
+            const full = path.length ? path.concat(key).join('.') : key;
+            out.add(full);
+            continue;
+        }
+        // ignore null/undefined categories
+        if (val === null || val === undefined)
+            continue;
+        throw new AxiomInvariantError('invariant-engine', `collectPrimitiveKeySet: unsupported primitive value at ${path.concat(key).join('.')}: ${String(val)}`, { path: path.concat(key).join('.') });
+    }
+    return out;
+}
+// Module-scoped cache to avoid rebuilding the key set when `primitives`
+// object identity is stable across calls (common at runtime).
+const primitiveKeyCache = new WeakMap();
+function getPrimitiveKeySet(primitives) {
+    const cached = primitiveKeyCache.get(primitives);
+    if (cached)
+        return cached;
+    const set = collectPrimitiveKeySet(primitives);
+    primitiveKeyCache.set(primitives, set);
+    return set;
+}
+// 4. assertNoCyclicReferences
+export function assertNoCyclicReferences(semantic, primitives) {
+    const primMap = collectPrimitiveMap(primitives);
+    // Build graph edges for primitive refs only
+    const edges = new Map();
+    for (const [key, val] of primMap.entries()) {
+        if (isTokenReference(val)) {
+            const target = val.ref;
+            edges.set(key, [target]);
+        }
+    }
+    // DFS for cycles
+    const temp = new Set();
+    const perm = new Set();
+    function visit(n, stack) {
+        if (perm.has(n))
+            return;
+        if (temp.has(n)) {
+            const cycleStart = stack.indexOf(n);
+            const cycle = stack.slice(cycleStart).concat(n);
+            throw new AxiomInvariantError('invariant-engine', `Cyclic token reference detected: ${cycle.join(' -> ')}`, { cycle });
+        }
+        temp.add(n);
+        stack.push(n);
+        const nbrs = edges.get(n) || [];
+        for (const m of nbrs) {
+            visit(m, stack);
+        }
+        stack.pop();
+        temp.delete(n);
+        perm.add(n);
+    }
+    for (const n of edges.keys()) {
+        visit(n, []);
+    }
+    // Also check chains starting from semantic refs following primitive edges
+    const semanticRefs = new Set();
+    traverseSemantic(semantic, (value) => {
+        if (isTokenReference(value))
+            semanticRefs.add(value.ref);
+    });
+    for (const ref of semanticRefs) {
+        // follow chain until resolves to non-ref or detect cycle
+        const visited = new Set();
+        let current = ref;
+        const path = [];
+        while (true) {
+            if (visited.has(current)) {
+                const cycleStart = path.indexOf(current);
+                const cycle = path.slice(cycleStart).concat(current);
+                throw new AxiomInvariantError('invariant-engine', `Cyclic token reference chain detected starting from semantic ref ${ref}: ${cycle.join(' -> ')}`, { ref, cycle });
+            }
+            visited.add(current);
+            path.push(current);
+            const target = primMap.get(current);
+            if (target === undefined)
+                break; // unresolved handled elsewhere
+            if (isTokenReference(target)) {
+                current = target.ref;
+                continue;
+            }
+            break;
+        }
+    }
+}
+// 5. assertAllReferencesResolvable
+export function assertAllReferencesResolvable(semantic, primitives) {
+    const primMap = collectPrimitiveMap(primitives);
+    const missing = [];
+    traverseSemantic(semantic, (value, path) => {
+        if (isTokenReference(value)) {
+            const ref = value.ref;
+            if (!primMap.has(ref))
+                missing.push(`semantic.${joinPath(path)} -> ${ref}`);
+        }
+    });
+    if (missing.length) {
+        throw new AxiomInvariantError('invariant-engine', `Unresolvable TokenReferences found:\n${missing.join('\n')}`, { missing });
+    }
+}
+// Shallow/resolved checks for runtime
+export function assertAllReferencesResolvableShallow(semantic, primitives) {
+    const missing = [];
+    // shallow-check references in primary namespaces including surface/elevation/effect
+    const checkNs = (nsObj) => {
+        if (nsObj === undefined)
+            return;
+        traverseSemantic(nsObj, (value, path) => {
+            if (isTokenReference(value)) {
+                const ref = String(value.ref);
+                const parts = ref.split('.');
+                let node = primitives;
+                for (let i = 0; i < parts.length; i++) {
+                    const p = parts[i];
+                    if (node && typeof node === 'object' && p in node) {
+                        node = node[p];
+                    }
+                    else {
+                        missing.push(`semantic.${joinPath(path)} -> ${ref}`);
+                        return;
+                    }
+                }
+                if (node === undefined)
+                    missing.push(`semantic.${joinPath(path)} -> ${ref}`);
+            }
+        });
+    };
+    checkNs(semantic.surface);
+    checkNs(semantic.elevation);
+    checkNs(semantic.typography);
+    checkNs(semantic.state);
+    checkNs(semantic.effect);
+    // fallback full traversal to catch any other namespaces
+    traverseSemantic(semantic, (value, path) => {
+        if (isTokenReference(value)) {
+            const ref = value.ref;
+            const parts = ref.split('.');
+            // walk primitives object shallowly to ensure path exists
+            let node = primitives;
+            for (let i = 0; i < parts.length; i++) {
+                const p = parts[i];
+                if (node && typeof node === 'object' && p in node) {
+                    node = node[p];
+                }
+                else {
+                    missing.push(`semantic.${joinPath(path)} -> ${ref}`);
+                    break;
+                }
+            }
+            // if we walked to the end and found undefined/null, treat as missing
+            if (node === undefined)
+                missing.push(`semantic.${joinPath(path)} -> ${ref}`);
+        }
+    });
+    if (missing.length) {
+        throw new AxiomInvariantError('invariant-engine', `Unresolvable TokenReferences found (shallow):\n${missing.join('\n')}`, { missing });
+    }
+}
+// Deep resolver retained for CI and callers expecting full primitive map behavior
+export function assertAllReferencesResolvableDeep(semantic, primitives) {
+    // original behavior: build primitive map and check existence of exact ref keys
+    const primMap = collectPrimitiveMap(primitives);
+    const missing = [];
+    traverseSemantic(semantic, (value, path) => {
+        if (isTokenReference(value)) {
+            const ref = value.ref;
+            if (!primMap.has(ref))
+                missing.push(`semantic.${joinPath(path)} -> ${ref}`);
+        }
+    });
+    if (missing.length) {
+        throw new AxiomInvariantError('invariant-engine', `Unresolvable TokenReferences found (deep):\n${missing.join('\n')}`, { missing });
+    }
+}
+// 3. assertAllAxesRegistered
+export function assertAllAxesRegistered(expectedAxes, registry) {
+    const missing = expectedAxes.filter(a => !(a in registry));
+    if (missing.length) {
+        throw new AxiomInvariantError('invariant-engine', `AxisRegistry missing handlers for axes: ${missing.join(', ')}`, { missing });
+    }
+}
+/**
+ * Runtime invariants:
+ * Must remain O(n).
+ * Safe for theme switching at runtime.
+ */
+export function runRuntimeInvariants(semantic, primitives, expectedAxes, registry) {
+    // Single-pass runtime validation combining primitive leak, raw-hex detection,
+    // and shallow reference resolvability in one DFS to remain O(n).
+    validateRuntimeSemantic(semantic, primitives);
+    // Axis existence check is cheap
+    assertAllAxesRegistered(expectedAxes, registry);
+}
+/**
+ * Runtime single-pass semantic validator.
+ * Visits each leaf exactly once and enforces:
+ * - leaf must be a TokenReference
+ * - raw hex string leaves are rejected
+ * - token references are shallowly resolvable against `primitives`
+ *
+ * Complexity: O(n) where n is number of nodes in `semantic` (plus shallow path checks).
+ */
+export function validateRuntimeSemantic(semantic, primitives) {
+    // Precompute primitive key set once for O(n) shallow lookups (cached)
+    const primSet = getPrimitiveKeySet(primitives);
+    traverseSemantic(semantic, (value, path) => {
+        if (value === undefined || value === null)
+            return; // allow empty nodes
+        if (isTokenReference(value)) {
+            // shallow resolvability check using precomputed map
+            const ref = value.ref;
+            if (!primSet.has(ref)) {
+                throw new AxiomInvariantError('invariant-engine', `Unresolvable TokenReference found: semantic.${joinPath(path)} -> ${ref}`, { path: joinPath(path), ref });
+            }
+            return;
+        }
+        if (typeof value === 'string') {
+            if (HEX_RE.test(value)) {
+                throw new AxiomInvariantError('invariant-engine', `Raw hex value detected at semantic.${joinPath(path)} — found \"${value}\". Use TokenReference instead.`, { path: joinPath(path), value });
+            }
+            // any other string leaf is considered a primitive leak
+            throw new AxiomInvariantError('invariant-engine', `Primitive leak detected at semantic.${joinPath(path)} — found primitive value (${String(value)}). Leaves must be TokenReference objects.`, { path: joinPath(path) });
+        }
+        if (typeof value === 'number' || typeof value === 'boolean') {
+            throw new AxiomInvariantError('invariant-engine', `Primitive leak detected at semantic.${joinPath(path)} — found primitive value (${String(value)}). Leaves must be TokenReference objects.`, { path: joinPath(path) });
+        }
+        // other unexpected types are caught by original checks in full traversal
+    });
+}
+// CI-only expensive check: detect deep chains and very large resolution depth
+function assertResolutionDepthWithinLimit(semantic, primitives, maxDepth = 1000) {
+    const primMap = collectPrimitiveMap(primitives);
+    // follow reference chains starting from every primitive and semantic ref
+    const startPoints = new Set();
+    for (const k of primMap.keys())
+        startPoints.add(k);
+    traverseSemantic(semantic, (value) => {
+        if (isTokenReference(value))
+            startPoints.add(value.ref);
+    });
+    const visitedGlobal = new Set();
+    function depthVisit(node, depth, stack) {
+        if (depth > maxDepth) {
+            throw new AxiomInvariantError('invariant-engine', `Resolution depth exceeded ${maxDepth} while following chain: ${stack.concat(node).join(' -> ')}`, { maxDepth, stack });
+        }
+        if (visitedGlobal.has(node))
+            return;
+        visitedGlobal.add(node);
+        const target = primMap.get(node);
+        if (!target)
+            return; // unresolved handled elsewhere
+        if (isTokenReference(target)) {
+            depthVisit(target.ref, depth + 1, stack.concat(node));
+        }
+    }
+    for (const s of startPoints) {
+        depthVisit(s, 0, []);
+    }
+}
+// CI-only: run a more exhaustive cycle detection across the flattened graph.
+function assertNoDeepGraphCycles(semantic, primitives) {
+    const primMap = collectPrimitiveMap(primitives);
+    const edges = new Map();
+    // Build edges for primitives where value is a reference
+    for (const [k, v] of primMap.entries()) {
+        if (isTokenReference(v)) {
+            edges.set(k, [v.ref]);
+        }
+        else {
+            edges.set(k, []);
+        }
+    }
+    // Standard DFS cycle detection across all nodes
+    const temp = new Set();
+    const perm = new Set();
+    function visit(n, stack) {
+        if (perm.has(n))
+            return;
+        if (temp.has(n)) {
+            const cycleStart = stack.indexOf(n);
+            const cycle = stack.slice(cycleStart).concat(n);
+            throw new AxiomInvariantError('invariant-engine', `CI Deep cycle detected: ${cycle.join(' -> ')}`, { cycle });
+        }
+        temp.add(n);
+        stack.push(n);
+        const nbrs = edges.get(n) || [];
+        for (const m of nbrs) {
+            visit(m, stack);
+        }
+        stack.pop();
+        temp.delete(n);
+        perm.add(n);
+    }
+    for (const n of edges.keys())
+        visit(n, []);
+}
+// CI-only: ensure state namespace contains required roles and no unexpected keys
+export function assertStateExhaustive(semantic) {
+    const st = semantic?.state;
+    if (!isPlainObject(st)) {
+        throw new AxiomInvariantError('invariant-engine', 'Missing or invalid state namespace in semantic tokens', { path: 'state' });
+    }
+    const allowedTop = new Set(['hover', 'active', 'focus', 'disabled', 'selected']);
+    for (const k of Object.keys(st)) {
+        if (!allowedTop.has(k)) {
+            throw new AxiomInvariantError('invariant-engine', `Unexpected state namespace key: state.${k}`, { path: `state.${k}` });
+        }
+    }
+    // Expected structure
+    const expected = {
+        hover: ['overlay'],
+        active: ['overlay', 'elevation'],
+        focus: ['border'],
+        disabled: ['opacity'],
+        selected: ['overlay', 'border']
+    };
+    for (const [section, subs] of Object.entries(expected)) {
+        if (!(section in st)) {
+            throw new AxiomInvariantError('invariant-engine', `Missing state.${section} namespace`, { path: `state.${section}` });
+        }
+        const node = st[section];
+        if (!isPlainObject(node)) {
+            throw new AxiomInvariantError('invariant-engine', `state.${section} must be an object`, { path: `state.${section}` });
+        }
+        const foundKeys = Object.keys(node);
+        for (const want of subs) {
+            if (!(want in node)) {
+                throw new AxiomInvariantError('invariant-engine', `Missing state.${section}.${want}`, { path: `state.${section}.${want}` });
+            }
+        }
+        for (const found of foundKeys) {
+            if (!subs.includes(found)) {
+                throw new AxiomInvariantError('invariant-engine', `Unexpected state role found: state.${section}.${found}`, { path: `state.${section}.${found}` });
+            }
+        }
+    }
+}
+// CI-only: ensure typography namespace contains required roles and no unexpected keys
+export function assertTypographyExhaustive(semantic) {
+    const ty = semantic?.typography;
+    if (!isPlainObject(ty)) {
+        throw new AxiomInvariantError('invariant-engine', 'Missing or invalid typography namespace in semantic tokens', { path: 'typography' });
+    }
+    const allowedTop = new Set(['display', 'heading', 'title', 'body', 'label', 'caption', 'overline']);
+    // no unknown top-level keys under typography
+    for (const k of Object.keys(ty)) {
+        if (!allowedTop.has(k)) {
+            throw new AxiomInvariantError('invariant-engine', `Unexpected typography namespace key: typography.${k}`, { path: `typography.${k}` });
+        }
+    }
+    const expected = {
+        display: ['xl', 'lg'],
+        heading: ['h1', 'h2', 'h3', 'h4'],
+        title: ['lg', 'md', 'sm'],
+        body: ['lg', 'md', 'sm'],
+        label: ['lg', 'md', 'sm'],
+        caption: null,
+        overline: null
+    };
+    for (const [section, subs] of Object.entries(expected)) {
+        if (!(section in ty)) {
+            throw new AxiomInvariantError('invariant-engine', `Missing typography.${section} namespace`, { path: `typography.${section}` });
+        }
+        const node = ty[section];
+        if (subs === null) {
+            // caption/overline should exist and be an object (leaf role definition)
+            if (!isPlainObject(node)) {
+                throw new AxiomInvariantError('invariant-engine', `Typography.${section} must be an object role definition`, { path: `typography.${section}` });
+            }
+            continue;
+        }
+        if (!isPlainObject(node)) {
+            throw new AxiomInvariantError('invariant-engine', `Typography.${section} must be an object containing roles`, { path: `typography.${section}` });
+        }
+        const foundKeys = Object.keys(node);
+        // ensure all expected roles present
+        for (const want of subs) {
+            if (!(want in node)) {
+                throw new AxiomInvariantError('invariant-engine', `Missing typography.${section}.${want}`, { path: `typography.${section}.${want}` });
+            }
+        }
+        // reject unexpected role keys
+        for (const found of foundKeys) {
+            if (!subs.includes(found)) {
+                throw new AxiomInvariantError('invariant-engine', `Unexpected typography role found: typography.${section}.${found}`, { path: `typography.${section}.${found}` });
+            }
+        }
+    }
+}
+/**
+ * validateTheme runs configured invariants on the provided token graphs.
+ *
+ * Options:
+ * - `level` (default: `InvariantLevel.Runtime`) — selects check set:
+ *    - `Compile`: documented-only; no runtime checks performed here. Intended to indicate TypeScript-enforced rules.
+ *    - `Runtime`: lightweight checks suitable for production (no deep graph analysis).
+ *    - `CI`: includes expensive deep-graph and performance checks intended for CI.
+ */
+export function validateTheme(semantic, primitives, expectedAxes, registry, options) {
+    const level = options?.level ?? 'runtime';
+    // Route runtime-safe checks through a single helper that guarantees O(n) behavior.
+    if (level === 'runtime' || level === 'ci') {
+        runRuntimeInvariants(semantic, primitives, expectedAxes, registry);
+    }
+    // CI-only invariants (expensive, deep graph analysis)
+    if (level === 'ci') {
+        runCIInvariants(semantic, primitives);
+    }
+}
+/**
+ * CI invariants:
+ * Exhaustive validation.
+ * May be O(n + e).
+ * Intended for build/CI enforcement.
+ */
+export function runCIInvariants(semantic, primitives) {
+    // CI-only structural checks for specific namespaces
+    // Ensure typography namespace contains required roles and no unknown keys
+    assertTypographyExhaustive(semantic);
+    // Ensure state namespace contains required roles and no unknown keys
+    assertStateExhaustive(semantic);
+    // 1) Re-run cyclic checks that inspect primitive graphs and semantic->primitive chains
+    assertNoCyclicReferences(semantic, primitives);
+    // 2) Deep graph cycle detection across the flattened primitive graph (expensive)
+    assertNoDeepGraphCycles(semantic, primitives);
+    // 3) Performance guard: detect extremely long resolution chains
+    assertResolutionDepthWithinLimit(semantic, primitives, 1000);
+    // 4) Deep reference resolvability check
+    assertAllReferencesResolvableDeep(semantic, primitives);
+}
+// Example usage (no runtime resolution):
+/*
+import { validateTheme } from './invariants';
+import type { SemanticTokens, PrimitiveTokens } from '@axiom-core/token-schema';
+import type { ThemeAxis } from '@axiom-core/core-engine';
+
+const primitives: PrimitiveTokens = { color: { gray100: '#f7f7f7' }, spacing: {}, radius: {}, typography: {} };
+const semantic: SemanticTokens = {
+  surface: { card: { background: { ref: 'color.gray100' } } },
+  content: {}, border: {}, overlay: {}, elevation: {}, shadow: {}
+};
+const axes: ThemeAxis[] = ['mode','brand','density','contrast','material'];
+const registry = { mode: {}, brand: {}, density: {}, contrast: {}, material: {} };
+validateTheme(semantic, primitives, axes, registry);
+*/
+//# sourceMappingURL=invariants.js.map

package/dist/invariants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariants.js","sourceRoot":"","sources":["../src/invariants.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AASjE,6EAA6E;AAC7E,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,OAAO,EAAE,SAA2B;IACpC,EAAE,EAAE,IAAsB;CAClB,CAAC;AAKX,SAAS,aAAa,CAAC,CAAU;IAC/B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;AAC1J,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAU;IAClC,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,CAAC;AACxD,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAY;IACpC,OAAO,aAAa,CAAC,GAAG,CAAC,IAAI,OAAQ,GAA+B,CAAC,GAAG,KAAK,QAAQ,CAAC;AACxF,CAAC;AAED,SAAS,QAAQ,CAAC,IAAyB;IACzC,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACpC,CAAC;AAED,iFAAiF;AACjF,SAAS,gBAAgB,CAAC,GAAY,EAAE,EAAuD,EAAE,OAA4B,EAAE;IAC7H,IAAI,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1B,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACd,OAAO;IACT,CAAC;IAED,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7C,gBAAgB,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,CAAC;QACD,OAAO;IACT,CAAC;IAED,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,2BAA2B;AAC3B,MAAM,UAAU,qBAAqB,CAAC,QAAwB;IAC5D,uEAAuE;IACvE,MAAM,eAAe,GAAG,CAAC,KAAc,EAAE,EAAE;QACzC,IAAI,KAAK,KAAK,SAAS;YAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;gBAC/D,IAAI,gBAAgB,CAAC,KAAK,CAAC;oBAAE,OAAO,CAAC,KAAK;gBAC1C,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;oBAAE,OAAO;gBAClD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;oBACzF,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,uCAAuC,QAAQ,CAAC,IAAI,CAAC,6BAA6B,MAAM,CAAC,KAAK,CAAC,2CAA2C,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAC1N,CAAC;YACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,kCAAkC;IAClC,eAAe,CAAE,QAAgB,CAAC,OAAO,CAAC,CAAC;IAC3C,eAAe,CAAE,QAAgB,CAAC,SAAS,CAAC,CAAC;IAC7C,eAAe,CAAE,QAAgB,CAAC,UAAU,CAAC,CAAC;IAC9C,eAAe,CAAE,QAAgB,CAAC,KAAK,CAAC,CAAC;IACzC,eAAe,CAAE,QAAgB,CAAC,MAAM,CAAC,CAAC;IAE1C,+EAA+E;IAC/E,gBAAgB,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;QACzC,IAAI,gBAAgB,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,KAAK;QAC1C,mFAAmF;QACnF,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,CAAC,2BAA2B;QAC9E,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;YACzF,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,uCAAuC,QAAQ,CAAC,IAAI,CAAC,6BAA6B,MAAM,CAAC,KAAK,CAAC,2CAA2C,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1N,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,oBAAoB;AACpB,MAAM,MAAM,GAAG,qBAAqB,CAAC;AACrC,MAAM,UAAU,cAAc,CAAC,QAAwB;IACrD,MAAM,OAAO,GAAG,CAAC,KAAc,EAAE,EAAE;QACjC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO;QAChC,gBAAgB,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;YACtC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpD,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,sCAAsC,QAAQ,CAAC,IAAI,CAAC,aAAa,KAAK,gCAAgC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YAC7L,CAAC;QACH,CAAC,EAAE,EAAE,CAAC,CAAC;IACT,CAAC,CAAC;IAEF,sBAAsB;IACtB,OAAO,CAAE,QAAgB,CAAC,OAAO,CAAC,CAAC;IACnC,OAAO,CAAE,QAAgB,CAAC,SAAS,CAAC,CAAC;IACrC,OAAO,CAAE,QAAgB,CAAC,UAAU,CAAC,CAAC;IACtC,OAAO,CAAE,QAAgB,CAAC,KAAK,CAAC,CAAC;IACjC,OAAO,CAAE,QAAgB,CAAC,MAAM,CAAC,CAAC;IAElC,yBAAyB;IACzB,gBAAgB,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;QACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACpD,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,sCAAsC,QAAQ,CAAC,IAAI,CAAC,aAAa,KAAK,gCAAgC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAC7L,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,oDAAoD;AACpD,SAAS,mBAAmB,CAAC,UAA2B;IACtD,MAAM,GAAG,GAAG,IAAI,GAAG,EAA2C,CAAC;IAE/D,SAAS,IAAI,CAAC,GAAY,EAAE,KAAe;QACzC,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;gBAAE,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YACnE,OAAO;QACT,CAAC;QAED,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;YACnD,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;YAC9B,OAAO;QACT,CAAC;QAED,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtC,0CAA0C;YAC1C,OAAO;QACT,CAAC;QAED,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,uDAAuD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACzK,CAAC;IAED,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACpD,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACnB,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED,kEAAkE;AAClE,6EAA6E;AAC7E,kEAAkE;AAClE,SAAS,sBAAsB,CAAC,UAA2B;IACzD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,IAAI,GAAG,UAAgD,CAAC;IAC9D,MAAM,KAAK,GAA0E,EAAE,CAAC;IACxF,MAAM,IAAI,GAAa,EAAE,CAAC;IAE1B,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;QAAE,OAAO,GAAG,CAAC;IAErC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IAE5D,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACtC,IAAI,KAAK,CAAC,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YACnC,KAAK,CAAC,GAAG,EAAE,CAAC;YACZ,IAAI,IAAI,CAAC,MAAM;gBAAE,IAAI,CAAC,GAAG,EAAE,CAAC;YAC5B,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;QACpC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAA8B,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,GAA8B,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;YAChH,SAAS;QACX,CAAC;QACD,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;YACnD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YAC5D,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACd,SAAS;QACX,CAAC;QACD,mCAAmC;QACnC,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS;YAAE,SAAS;QAChD,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,0DAA0D,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClM,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED,wEAAwE;AACxE,8DAA8D;AAC9D,MAAM,iBAAiB,GAAG,IAAI,OAAO,EAAgC,CAAC;AAEtE,SAAS,kBAAkB,CAAC,UAA2B;IACrD,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACjD,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,MAAM,GAAG,GAAG,sBAAsB,CAAC,UAAU,CAAC,CAAC;IAC/C,iBAAiB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACvC,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8BAA8B;AAC9B,MAAM,UAAU,wBAAwB,CAAC,QAAwB,EAAE,UAA2B;IAC5F,MAAM,OAAO,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC;IAEhD,4CAA4C;IAC5C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC1C,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QAC3C,IAAI,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC;YACvB,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,iBAAiB;IACjB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,SAAS,KAAK,CAAC,CAAS,EAAE,KAAe;QACvC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO;QACxB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAChB,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAChD,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,oCAAoC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QACzH,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACZ,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACd,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAClB,CAAC;QACD,KAAK,CAAC,GAAG,EAAE,CAAC;QACZ,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACf,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACd,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QAC7B,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACf,CAAC;IAED,0EAA0E;IAC1E,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,gBAAgB,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE;QACnC,IAAI,gBAAgB,CAAC,KAAK,CAAC;YAAE,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,yDAAyD;QACzD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,IAAI,OAAO,GAAG,GAAG,CAAC;QAClB,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,OAAO,IAAI,EAAE,CAAC;YACZ,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBACzB,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;gBACzC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBACrD,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,oEAAoE,GAAG,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YACtK,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACrB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACnB,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACpC,IAAI,MAAM,KAAK,SAAS;gBAAE,MAAM,CAAC,+BAA+B;YAChE,IAAI,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC7B,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC;gBACrB,SAAS;YACX,CAAC;YACD,MAAM;QACR,CAAC;IACH,CAAC;AACH,CAAC;AAED,mCAAmC;AACnC,MAAM,UAAU,6BAA6B,CAAC,QAAwB,EAAE,UAA2B;IACjG,MAAM,OAAO,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC;IAChD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,gBAAgB,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;QACzC,IAAI,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;YACtB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,YAAY,QAAQ,CAAC,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnB,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,wCAAwC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IAC/H,CAAC;AACH,CAAC;AAED,sCAAsC;AACtC,MAAM,UAAU,oCAAoC,CAAC,QAAwB,EAAE,UAA2B;IACxG,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,oFAAoF;IACpF,MAAM,OAAO,GAAG,CAAC,KAAc,EAAE,EAAE;QACjC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO;QAChC,gBAAgB,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;YACtC,IAAI,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5B,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAC9B,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAC7B,IAAI,IAAI,GAAQ,UAAiB,CAAC;gBAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACtC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;oBACnB,IAAI,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;wBAClD,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;oBACjB,CAAC;yBAAM,CAAC;wBACN,OAAO,CAAC,IAAI,CAAC,YAAY,QAAQ,CAAC,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC;wBACrD,OAAO;oBACT,CAAC;gBACH,CAAC;gBACD,IAAI,IAAI,KAAK,SAAS;oBAAE,OAAO,CAAC,IAAI,CAAC,YAAY,QAAQ,CAAC,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC;YAC/E,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,OAAO,CAAE,QAAgB,CAAC,OAAO,CAAC,CAAC;IACnC,OAAO,CAAE,QAAgB,CAAC,SAAS,CAAC,CAAC;IACrC,OAAO,CAAE,QAAgB,CAAC,UAAU,CAAC,CAAC;IACtC,OAAO,CAAE,QAAgB,CAAC,KAAK,CAAC,CAAC;IACjC,OAAO,CAAE,QAAgB,CAAC,MAAM,CAAC,CAAC;IAElC,wDAAwD;IACxD,gBAAgB,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;QACzC,IAAI,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;YACtB,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC7B,yDAAyD;YACzD,IAAI,IAAI,GAAQ,UAAiB,CAAC;YAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACnB,IAAI,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;oBAClD,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;gBACjB,CAAC;qBAAM,CAAC;oBACN,OAAO,CAAC,IAAI,CAAC,YAAY,QAAQ,CAAC,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC;oBACrD,MAAM;gBACR,CAAC;YACH,CAAC;YACD,qEAAqE;YACrE,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO,CAAC,IAAI,CAAC,YAAY,QAAQ,CAAC,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnB,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,kDAAkD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IACzI,CAAC;AACH,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,iCAAiC,CAAC,QAAwB,EAAE,UAA2B;IACrG,+EAA+E;IAC/E,MAAM,OAAO,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC;IAChD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,gBAAgB,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;QACzC,IAAI,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;YACtB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,YAAY,QAAQ,CAAC,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC,CAAC,CAAC;IACH,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnB,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,+CAA+C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IACtI,CAAC;AACH,CAAC;AAED,6BAA6B;AAC7B,MAAM,UAAU,uBAAuB,CAAC,YAA+B,EAAE,QAAgD;IACvH,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC;IAC3D,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnB,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,2CAA2C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IAClI,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAClC,QAAwB,EACxB,UAA2B,EAC3B,YAA+B,EAC/B,QAAgD;IAEhD,8EAA8E;IAC9E,iEAAiE;IACjE,uBAAuB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAE9C,gCAAgC;IAChC,uBAAuB,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;AAClD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,uBAAuB,CAAC,QAAwB,EAAE,UAA2B;IAC3F,sEAAsE;IACtE,MAAM,OAAO,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAE/C,gBAAgB,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;QACzC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,CAAC,oBAAoB;QAEvE,IAAI,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,oDAAoD;YACpD,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;YACtB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACtB,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,+CAA+C,QAAQ,CAAC,IAAI,CAAC,OAAO,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;YAC9J,CAAC;YACD,OAAO;QACT,CAAC;QAED,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACvB,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,sCAAsC,QAAQ,CAAC,IAAI,CAAC,cAAc,KAAK,iCAAiC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YAC/L,CAAC;YACD,uDAAuD;YACvD,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,uCAAuC,QAAQ,CAAC,IAAI,CAAC,6BAA6B,MAAM,CAAC,KAAK,CAAC,2CAA2C,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1N,CAAC;QAED,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;YAC5D,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,uCAAuC,QAAQ,CAAC,IAAI,CAAC,6BAA6B,MAAM,CAAC,KAAK,CAAC,2CAA2C,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1N,CAAC;QAED,yEAAyE;IAC3E,CAAC,CAAC,CAAC;AACL,CAAC;AAED,8EAA8E;AAC9E,SAAS,gCAAgC,CAAC,QAAwB,EAAE,UAA2B,EAAE,QAAQ,GAAG,IAAI;IAC9G,MAAM,OAAO,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC;IAEhD,yEAAyE;IACzE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE;QAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACnD,gBAAgB,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE;QACnC,IAAI,gBAAgB,CAAC,KAAK,CAAC;YAAE,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IAExC,SAAS,UAAU,CAAC,IAAY,EAAE,KAAa,EAAE,KAAe;QAC9D,IAAI,KAAK,GAAG,QAAQ,EAAE,CAAC;YACrB,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,6BAA6B,QAAQ,2BAA2B,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QAC5K,CAAC;QACD,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QACpC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxB,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,MAAM;YAAE,OAAO,CAAC,+BAA+B;QACpD,IAAI,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7B,UAAU,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IACvB,CAAC;AACH,CAAC;AAED,6EAA6E;AAC7E,SAAS,uBAAuB,CAAC,QAAwB,EAAE,UAA2B;IACpF,MAAM,OAAO,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;IAE1C,wDAAwD;IACxD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QACvC,IAAI,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACxB,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IAED,gDAAgD;IAChD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,SAAS,KAAK,CAAC,CAAS,EAAE,KAAe;QACvC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO;QACxB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAChB,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAChD,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,2BAA2B,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QAChH,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACZ,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACd,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAClB,CAAC;QACD,KAAK,CAAC,GAAG,EAAE,CAAC;QACZ,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACf,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACd,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE;QAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAC7C,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,qBAAqB,CAAC,QAAwB;IAC5D,MAAM,EAAE,GAAI,QAAgB,EAAE,KAAK,CAAC;IACpC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,uDAAuD,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IAChI,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;IACjF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QAChC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,yCAAyC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC;QAC1H,CAAC;IACH,CAAC;IAED,qBAAqB;IACrB,MAAM,QAAQ,GAAoC;QAChD,KAAK,EAAE,CAAC,SAAS,CAAC;QAClB,MAAM,EAAE,CAAC,SAAS,EAAE,WAAW,CAAC;QAChC,KAAK,EAAE,CAAC,QAAQ,CAAC;QACjB,QAAQ,EAAE,CAAC,SAAS,CAAC;QACrB,QAAQ,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC;KAChC,CAAC;IAEF,KAAK,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvD,IAAI,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,iBAAiB,OAAO,YAAY,EAAE,EAAE,IAAI,EAAE,SAAS,OAAO,EAAE,EAAE,CAAC,CAAC;QACxH,CAAC;QACD,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC;QACzB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,SAAS,OAAO,oBAAoB,EAAE,EAAE,IAAI,EAAE,SAAS,OAAO,EAAE,EAAE,CAAC,CAAC;QACxH,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,KAAK,MAAM,IAAI,IAAI,IAAK,EAAE,CAAC;YACzB,IAAI,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;gBACpB,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,iBAAiB,OAAO,IAAI,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,OAAO,IAAI,IAAI,EAAE,EAAE,CAAC,CAAC;YAC9H,CAAC;QACH,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;YAC9B,IAAI,CAAC,IAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC3B,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,sCAAsC,OAAO,IAAI,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,OAAO,IAAI,KAAK,EAAE,EAAE,CAAC,CAAC;YACrJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,0BAA0B,CAAC,QAAwB;IACjE,MAAM,EAAE,GAAI,QAAgB,EAAE,UAAU,CAAC;IACzC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,4DAA4D,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;IAC1I,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;IACpG,6CAA6C;IAC7C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QAChC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,mDAAmD,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC;QACzI,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAoC;QAChD,OAAO,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;QACrB,OAAO,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC;QACjC,KAAK,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC;QACzB,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC;QACxB,KAAK,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC;QACzB,OAAO,EAAE,IAAI;QACb,QAAQ,EAAE,IAAI;KACf,CAAC;IAEF,KAAK,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvD,IAAI,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,sBAAsB,OAAO,YAAY,EAAE,EAAE,IAAI,EAAE,cAAc,OAAO,EAAE,EAAE,CAAC,CAAC;QAClI,CAAC;QAED,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC;QACzB,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,wEAAwE;YACxE,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,cAAc,OAAO,oCAAoC,EAAE,EAAE,IAAI,EAAE,cAAc,OAAO,EAAE,EAAE,CAAC,CAAC;YAClJ,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,cAAc,OAAO,qCAAqC,EAAE,EAAE,IAAI,EAAE,cAAc,OAAO,EAAE,EAAE,CAAC,CAAC;QACnJ,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEpC,oCAAoC;QACpC,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;gBACpB,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,sBAAsB,OAAO,IAAI,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,cAAc,OAAO,IAAI,IAAI,EAAE,EAAE,CAAC,CAAC;YACxI,CAAC;QACH,CAAC;QAED,8BAA8B;QAC9B,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;YAC9B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,MAAM,IAAI,mBAAmB,CAAC,kBAAkB,EAAE,gDAAgD,OAAO,IAAI,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,cAAc,OAAO,IAAI,KAAK,EAAE,EAAE,CAAC,CAAC;YACpK,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAC3B,QAAwB,EACxB,UAA2B,EAC3B,YAA+B,EAC/B,QAAsB,EACtB,OAAoC;IAEpC,MAAM,KAAK,GAAoB,OAAO,EAAE,KAAwB,IAAI,SAAS,CAAC;IAE9E,mFAAmF;IACnF,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAC1C,oBAAoB,CAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;IACrE,CAAC;IAED,sDAAsD;IACtD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,eAAe,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACxC,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,QAAwB,EAAE,UAA2B;IACnF,oDAAoD;IACpD,0EAA0E;IAC1E,0BAA0B,CAAC,QAAQ,CAAC,CAAC;IACrC,qEAAqE;IACrE,qBAAqB,CAAC,QAAQ,CAAC,CAAC;IAEhC,uFAAuF;IACvF,wBAAwB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAE/C,iFAAiF;IACjF,uBAAuB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAE9C,gEAAgE;IAChE,gCAAgC,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IAC7D,wCAAwC;IACxC,iCAAiC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;AAC1D,CAAC;AAED,yCAAyC;AACzC;;;;;;;;;;;;;EAaE"}

package/package.json

@@ -0,0 +1,41 @@
+{
+  "name": "@axiom-core/invariant-engine",
+  "version": "0.1.0",
+  "description": "Axiom Core — runtime invariant validation engine",
+  "private": false,
+  "type": "module",
+  "main": "./dist/index.js",
+  "module": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "sideEffects": false,
+  "dependencies": {
+    "@axiom-core/token-schema": "0.1.0",
+    "@axiom-core/core-engine": "0.1.0"
+  },
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/Haneefe/Axiom-Core.git"
+  },
+  "homepage": "https://github.com/Haneefe/Axiom-Core",
+  "bugs": {
+    "url": "https://github.com/Haneefe/Axiom-Core/issues"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "scripts": {
+    "build": "tsc -b",
+    "clean": "rimraf dist",
+    "dev": "tsc -w -p tsconfig.json"
+  }
+}