@kernlang/core 3.1.3 → 3.1.4

package/dist/runtime.js

@@ -0,0 +1,121 @@
+/**
+ * KernRuntime — instance-based state for KERN's parser, codegen, and template engine.
+ *
+ * Centralizes 6 module-level global registries into a single owning instance.
+ * All public APIs (parse, parseDocument, generateCoreNode, isTemplateNode,
+ * expandTemplateNode, isKnownNodeType) accept an optional `runtime` parameter
+ * for true instance isolation (LSP, serverless, worker threads, parallel tests).
+ *
+ * Usage:
+ *   const runtime = new KernRuntime();
+ *   runtime.registerEvolvedType('custom');
+ *   runtime.registerParserHints('custom', { positionalArgs: ['name'] });
+ *   runtime.registerEvolvedGenerator('custom', node => [...]);
+ *
+ * A `defaultRuntime` singleton is provided for backward compatibility.
+ * All existing module-level functions (registerEvolvedType, clearParserHints, etc.)
+ * delegate to `defaultRuntime` so existing code continues to work unchanged.
+ */
+// ── KernRuntime ──────────────────────────────────────────────────────────
+export class KernRuntime {
+    // Parser state
+    parserHints = new Map();
+    multilineBlockTypes = new Set(['logic', 'handler', 'cleanup', 'body']);
+    lastParseDiagnostics = [];
+    // Spec state
+    dynamicNodeTypes = new Set();
+    // Codegen state
+    evolvedGenerators = new Map();
+    evolvedTargetGenerators = new Map();
+    // Template state
+    templateRegistry = new Map();
+    // ── Parser Hints ─────────────────────────────────────────────────────
+    registerParserHints(keyword, hints) {
+        this.parserHints.set(keyword, hints);
+        if (hints.multilineBlock) {
+            this.multilineBlockTypes.add(keyword);
+        }
+    }
+    unregisterParserHints(keyword) {
+        const hints = this.parserHints.get(keyword);
+        if (hints?.multilineBlock) {
+            this.multilineBlockTypes.delete(keyword);
+        }
+        this.parserHints.delete(keyword);
+    }
+    clearParserHints() {
+        for (const [keyword, hints] of this.parserHints) {
+            if (hints.multilineBlock)
+                this.multilineBlockTypes.delete(keyword);
+        }
+        this.parserHints.clear();
+    }
+    // ── Evolved Types (spec) ─────────────────────────────────────────────
+    registerEvolvedType(keyword) {
+        this.dynamicNodeTypes.add(keyword);
+    }
+    unregisterEvolvedType(keyword) {
+        this.dynamicNodeTypes.delete(keyword);
+    }
+    getEvolvedTypes() {
+        return new Set(this.dynamicNodeTypes);
+    }
+    clearEvolvedTypes() {
+        this.dynamicNodeTypes.clear();
+    }
+    // ── Evolved Generators (codegen) ─────────────────────────────────────
+    registerEvolvedGenerator(keyword, fn) {
+        this.evolvedGenerators.set(keyword, fn);
+    }
+    registerEvolvedTargetGenerator(keyword, target, fn) {
+        let targetMap = this.evolvedTargetGenerators.get(keyword);
+        if (!targetMap) {
+            targetMap = new Map();
+            this.evolvedTargetGenerators.set(keyword, targetMap);
+        }
+        targetMap.set(target, fn);
+    }
+    unregisterEvolvedGenerator(keyword) {
+        this.evolvedGenerators.delete(keyword);
+        this.evolvedTargetGenerators.delete(keyword);
+    }
+    hasEvolvedGenerator(keyword) {
+        return this.evolvedGenerators.has(keyword);
+    }
+    clearEvolvedGenerators() {
+        this.evolvedGenerators.clear();
+        this.evolvedTargetGenerators.clear();
+    }
+    // ── Templates ────────────────────────────────────────────────────────
+    registerTemplate(name, def) {
+        this.templateRegistry.set(name, def);
+    }
+    isTemplateNode(type) {
+        return this.templateRegistry.has(type);
+    }
+    getTemplate(name) {
+        return this.templateRegistry.get(name);
+    }
+    templateCount() {
+        return this.templateRegistry.size;
+    }
+    clearTemplates() {
+        this.templateRegistry.clear();
+    }
+    // ── Full Reset ───────────────────────────────────────────────────────
+    /** Reset all runtime state. Useful for test isolation. */
+    reset() {
+        this.clearParserHints();
+        this.clearEvolvedTypes();
+        this.clearEvolvedGenerators();
+        this.clearTemplates();
+        this.lastParseDiagnostics = [];
+    }
+}
+// ── Default Runtime ──────────────────────────────────────────────────────
+/**
+ * Default runtime singleton. All existing module-level registration functions
+ * delegate to this instance for backward compatibility.
+ */
+export const defaultRuntime = new KernRuntime();
+//# sourceMappingURL=runtime.js.map

package/dist/runtime.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime.js","sourceRoot":"","sources":["../src/runtime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAYH,4EAA4E;AAE5E,MAAM,OAAO,WAAW;IACtB,eAAe;IACN,WAAW,GAAG,IAAI,GAAG,EAA6B,CAAC;IACnD,mBAAmB,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;IAChF,oBAAoB,GAAsB,EAAE,CAAC;IAE7C,aAAa;IACJ,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAE9C,gBAAgB;IACP,iBAAiB,GAAG,IAAI,GAAG,EAAsC,CAAC;IAClE,uBAAuB,GAAG,IAAI,GAAG,EAAmD,CAAC;IAE9F,iBAAiB;IACR,gBAAgB,GAAG,IAAI,GAAG,EAA8B,CAAC;IAElE,wEAAwE;IAExE,mBAAmB,CAAC,OAAe,EAAE,KAAwB;QAC3D,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACrC,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;YACzB,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IAED,qBAAqB,CAAC,OAAe;QACnC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC5C,IAAI,KAAK,EAAE,cAAc,EAAE,CAAC;YAC1B,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC3C,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC;IAED,gBAAgB;QACd,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YAChD,IAAI,KAAK,CAAC,cAAc;gBAAE,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACrE,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;IAC3B,CAAC;IAED,wEAAwE;IAExE,mBAAmB,CAAC,OAAe;QACjC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACrC,CAAC;IAED,qBAAqB,CAAC,OAAe;QACnC,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC;IAED,eAAe;QACb,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACxC,CAAC;IAED,iBAAiB;QACf,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;IAChC,CAAC;IAED,wEAAwE;IAExE,wBAAwB,CAAC,OAAe,EAAE,EAA8B;QACtE,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAC1C,CAAC;IAED,8BAA8B,CAAC,OAAe,EAAE,MAAc,EAAE,EAA8B;QAC5F,IAAI,SAAS,GAAG,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC1D,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,SAAS,GAAG,IAAI,GAAG,EAAE,CAAC;YACtB,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACvD,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC5B,CAAC;IAED,0BAA0B,CAAC,OAAe;QACxC,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACvC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC/C,CAAC;IAED,mBAAmB,CAAC,OAAe;QACjC,OAAO,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC7C,CAAC;IAED,sBAAsB;QACpB,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,uBAAuB,CAAC,KAAK,EAAE,CAAC;IACvC,CAAC;IAED,wEAAwE;IAExE,gBAAgB,CAAC,IAAY,EAAE,GAAuB;QACpD,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACvC,CAAC;IAED,cAAc,CAAC,IAAY;QACzB,OAAO,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC;IAED,WAAW,CAAC,IAAY;QACtB,OAAO,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC;IAED,aAAa;QACX,OAAO,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC;IACpC,CAAC;IAED,cAAc;QACZ,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;IAChC,CAAC;IAED,wEAAwE;IAExE,0DAA0D;IAC1D,KAAK;QACH,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACxB,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACzB,IAAI,CAAC,sBAAsB,EAAE,CAAC;QAC9B,IAAI,CAAC,cAAc,EAAE,CAAC;QACtB,IAAI,CAAC,oBAAoB,GAAG,EAAE,CAAC;IACjC,CAAC;CACF;AAED,4EAA4E;AAE5E;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,WAAW,EAAE,CAAC"}

package/dist/schema.d.ts

@@ -0,0 +1,39 @@
+/**
+ * AST Schema Validation — validates IRNode shape after parsing, before codegen.
+ *
+ * Defines required/optional props and allowed child types per node type.
+ * Catches malformed ASTs (missing required props, wrong children) at the
+ * parse boundary instead of scattering validation across 76 codegen functions.
+ *
+ * Props are classified by kind:
+ *   - 'identifier'     → validated by emitIdentifier
+ *   - 'typeAnnotation' → validated by emitTypeAnnotation
+ *   - 'importPath'     → validated by emitImportSpecifier
+ *   - 'rawExpr'        → intentional escape hatch (handler code, expressions)
+ *   - 'rawBlock'       → intentional escape hatch (<<<...>>> blocks)
+ *   - 'string'         → free-form string value
+ *   - 'boolean'        → 'true'/'false'
+ *   - 'number'         → numeric value
+ */
+import type { IRNode } from './types.js';
+export type PropKind = 'identifier' | 'typeAnnotation' | 'importPath' | 'rawExpr' | 'rawBlock' | 'string' | 'boolean' | 'number';
+export interface PropSchema {
+    required?: boolean;
+    kind: PropKind;
+}
+export interface NodeSchema {
+    props: Record<string, PropSchema>;
+    allowedChildren?: string[];
+}
+export declare const NODE_SCHEMAS: Record<string, NodeSchema>;
+export interface SchemaViolation {
+    nodeType: string;
+    message: string;
+    line?: number;
+    col?: number;
+}
+/**
+ * Validate an IRNode tree against the schema definitions.
+ * Returns violations found. Empty array = valid.
+ */
+export declare function validateSchema(root: IRNode): SchemaViolation[];

package/dist/schema.js

@@ -0,0 +1,481 @@
+/**
+ * AST Schema Validation — validates IRNode shape after parsing, before codegen.
+ *
+ * Defines required/optional props and allowed child types per node type.
+ * Catches malformed ASTs (missing required props, wrong children) at the
+ * parse boundary instead of scattering validation across 76 codegen functions.
+ *
+ * Props are classified by kind:
+ *   - 'identifier'     → validated by emitIdentifier
+ *   - 'typeAnnotation' → validated by emitTypeAnnotation
+ *   - 'importPath'     → validated by emitImportSpecifier
+ *   - 'rawExpr'        → intentional escape hatch (handler code, expressions)
+ *   - 'rawBlock'       → intentional escape hatch (<<<...>>> blocks)
+ *   - 'string'         → free-form string value
+ *   - 'boolean'        → 'true'/'false'
+ *   - 'number'         → numeric value
+ */
+// ── Schema Definitions ──────────────────────────────────────────────────
+export const NODE_SCHEMAS = {
+    type: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            values: { kind: 'string' },
+            alias: { kind: 'rawExpr' },
+            export: { kind: 'boolean' },
+        },
+    },
+    interface: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            extends: { kind: 'typeAnnotation' },
+            export: { kind: 'boolean' },
+        },
+        allowedChildren: ['field'],
+    },
+    union: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            discriminant: { required: true, kind: 'identifier' },
+            export: { kind: 'boolean' },
+        },
+        allowedChildren: ['variant'],
+    },
+    variant: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+        },
+        allowedChildren: ['field'],
+    },
+    field: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            type: { kind: 'typeAnnotation' },
+            optional: { kind: 'boolean' },
+            default: { kind: 'rawExpr' },
+            private: { kind: 'boolean' },
+            readonly: { kind: 'boolean' },
+        },
+    },
+    service: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            implements: { kind: 'typeAnnotation' },
+            export: { kind: 'boolean' },
+        },
+        allowedChildren: ['field', 'method', 'constructor', 'singleton'],
+    },
+    method: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            params: { kind: 'string' },
+            returns: { kind: 'typeAnnotation' },
+            async: { kind: 'boolean' },
+            stream: { kind: 'boolean' },
+            private: { kind: 'boolean' },
+            static: { kind: 'boolean' },
+        },
+        allowedChildren: ['handler'],
+    },
+    fn: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            params: { kind: 'string' },
+            returns: { kind: 'typeAnnotation' },
+            async: { kind: 'boolean' },
+            stream: { kind: 'boolean' },
+            export: { kind: 'boolean' },
+        },
+        allowedChildren: ['handler', 'signal', 'cleanup'],
+    },
+    machine: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            export: { kind: 'boolean' },
+        },
+        allowedChildren: ['state', 'transition'],
+    },
+    state: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            initial: { kind: 'boolean' },
+        },
+    },
+    transition: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            from: { required: true, kind: 'string' },
+            to: { required: true, kind: 'identifier' },
+        },
+        allowedChildren: ['handler'],
+    },
+    error: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            extends: { required: true, kind: 'identifier' },
+            message: { kind: 'string' },
+            export: { kind: 'boolean' },
+        },
+        allowedChildren: ['field', 'handler'],
+    },
+    config: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            export: { kind: 'boolean' },
+        },
+        allowedChildren: ['field'],
+    },
+    store: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            path: { required: true, kind: 'string' },
+            key: { required: true, kind: 'identifier' },
+            model: { required: true, kind: 'identifier' },
+            export: { kind: 'boolean' },
+        },
+    },
+    test: {
+        props: {
+            name: { required: true, kind: 'string' },
+        },
+        allowedChildren: ['describe', 'it', 'handler'],
+    },
+    event: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            export: { kind: 'boolean' },
+        },
+        allowedChildren: ['type'],
+    },
+    import: {
+        props: {
+            from: { required: true, kind: 'importPath' },
+            names: { kind: 'string' },
+            default: { kind: 'identifier' },
+            types: { kind: 'boolean' },
+        },
+    },
+    const: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            type: { kind: 'typeAnnotation' },
+            value: { kind: 'rawExpr' },
+            export: { kind: 'boolean' },
+        },
+        allowedChildren: ['handler'],
+    },
+    on: {
+        props: {
+            event: { required: true, kind: 'string' },
+            handler: { kind: 'identifier' },
+            key: { kind: 'string' },
+            async: { kind: 'boolean' },
+        },
+        allowedChildren: ['handler'],
+    },
+    websocket: {
+        props: {
+            path: { kind: 'string' },
+            name: { kind: 'identifier' },
+            export: { kind: 'boolean' },
+        },
+        allowedChildren: ['on'],
+    },
+    derive: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            expr: { required: true, kind: 'rawExpr' },
+            type: { kind: 'typeAnnotation' },
+            export: { kind: 'boolean' },
+        },
+    },
+    transform: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            target: { kind: 'rawExpr' },
+            via: { kind: 'rawExpr' },
+            type: { kind: 'typeAnnotation' },
+            export: { kind: 'boolean' },
+        },
+        allowedChildren: ['handler'],
+    },
+    action: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            params: { kind: 'string' },
+            returns: { kind: 'typeAnnotation' },
+            idempotent: { kind: 'boolean' },
+            reversible: { kind: 'boolean' },
+            export: { kind: 'boolean' },
+        },
+        allowedChildren: ['handler'],
+    },
+    guard: {
+        props: {
+            name: { kind: 'string' },
+            expr: { required: true, kind: 'rawExpr' },
+            else: { kind: 'rawExpr' },
+            confidence: { kind: 'number' },
+        },
+    },
+    assume: {
+        props: {
+            expr: { required: true, kind: 'rawExpr' },
+            scope: { kind: 'string' },
+            evidence: { required: true, kind: 'string' },
+            fallback: { required: true, kind: 'rawExpr' },
+            confidence: { kind: 'number' },
+        },
+    },
+    invariant: {
+        props: {
+            name: { kind: 'string' },
+            expr: { required: true, kind: 'rawExpr' },
+            confidence: { kind: 'number' },
+        },
+    },
+    each: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            in: { required: true, kind: 'rawExpr' },
+            index: { kind: 'identifier' },
+        },
+    },
+    collect: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            from: { required: true, kind: 'rawExpr' },
+            where: { kind: 'rawExpr' },
+            order: { kind: 'rawExpr' },
+            limit: { kind: 'number' },
+            export: { kind: 'boolean' },
+        },
+    },
+    branch: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            on: { required: true, kind: 'rawExpr' },
+        },
+        allowedChildren: ['path'],
+    },
+    model: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            table: { kind: 'string' },
+            export: { kind: 'boolean' },
+        },
+        allowedChildren: ['column', 'relation'],
+    },
+    repository: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            model: { required: true, kind: 'identifier' },
+            export: { kind: 'boolean' },
+        },
+        allowedChildren: ['method'],
+    },
+    dependency: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            scope: { kind: 'string' },
+            export: { kind: 'boolean' },
+        },
+        allowedChildren: ['inject', 'returns'],
+    },
+    cache: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            backend: { kind: 'string' },
+            prefix: { kind: 'string' },
+            ttl: { kind: 'number' },
+            export: { kind: 'boolean' },
+        },
+        allowedChildren: ['entry', 'invalidate'],
+    },
+    module: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            export: { kind: 'boolean' },
+        },
+    },
+    provider: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            type: { required: true, kind: 'typeAnnotation' },
+        },
+        allowedChildren: ['prop', 'handler'],
+    },
+    hook: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            params: { kind: 'string' },
+            returns: { kind: 'typeAnnotation' },
+        },
+        allowedChildren: ['handler', 'memo', 'callback', 'ref', 'effect'],
+    },
+    effect: {
+        props: {
+            name: { kind: 'identifier' },
+            deps: { kind: 'string' },
+            once: { kind: 'boolean' },
+        },
+        allowedChildren: ['prop', 'handler', 'cleanup'],
+    },
+    // ── Web / UI node types ──────────────────────────────────────────────
+    page: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+            client: { kind: 'boolean' },
+            async: { kind: 'boolean' },
+            route: { kind: 'string' },
+            segment: { kind: 'string' },
+        },
+    },
+    layout: {
+        props: {
+            lang: { kind: 'string' },
+            route: { kind: 'string' },
+        },
+    },
+    loading: {
+        props: {},
+    },
+    metadata: {
+        props: {
+            title: { kind: 'string' },
+            description: { kind: 'string' },
+            keywords: { kind: 'string' },
+            ogImage: { kind: 'string' },
+        },
+    },
+    link: {
+        props: {
+            to: { required: true, kind: 'string' },
+        },
+    },
+    textarea: {
+        props: {
+            bind: { kind: 'identifier' },
+            placeholder: { kind: 'string' },
+            spellcheck: { kind: 'boolean' },
+        },
+    },
+    slider: {
+        props: {
+            bind: { kind: 'identifier' },
+            min: { kind: 'number' },
+            max: { kind: 'number' },
+            step: { kind: 'number' },
+        },
+    },
+    toggle: {
+        props: {
+            bind: { kind: 'identifier' },
+        },
+    },
+    grid: {
+        props: {
+            cols: { kind: 'number' },
+            gap: { kind: 'number' },
+        },
+    },
+    component: {
+        props: {
+            ref: { kind: 'identifier' },
+            name: { kind: 'identifier' },
+            bind: { kind: 'identifier' },
+            onChange: { kind: 'rawExpr' },
+            props: { kind: 'string' },
+            disabled: { kind: 'rawExpr' },
+        },
+    },
+    icon: {
+        props: {
+            name: { required: true, kind: 'identifier' },
+        },
+    },
+    logic: {
+        props: {
+            code: { kind: 'rawBlock' },
+        },
+        allowedChildren: ['handler'],
+    },
+    form: {
+        props: {
+            action: { kind: 'string' },
+            method: { kind: 'string' },
+        },
+    },
+    svg: {
+        props: {
+            icon: { kind: 'string' },
+            size: { kind: 'number' },
+            viewBox: { kind: 'string' },
+            width: { kind: 'number' },
+            height: { kind: 'number' },
+            content: { kind: 'string' },
+            fill: { kind: 'string' },
+            stroke: { kind: 'string' },
+        },
+    },
+};
+/**
+ * Validate an IRNode tree against the schema definitions.
+ * Returns violations found. Empty array = valid.
+ */
+export function validateSchema(root) {
+    const violations = [];
+    validateNode(root, violations);
+    return violations;
+}
+function validateNode(node, violations) {
+    const schema = Object.hasOwn(NODE_SCHEMAS, node.type) ? NODE_SCHEMAS[node.type] : undefined;
+    if (schema) {
+        const props = node.props || {};
+        // Check required props
+        for (const [propName, propSchema] of Object.entries(schema.props)) {
+            if (propSchema.required && !(propName in props)) {
+                violations.push({
+                    nodeType: node.type,
+                    message: `'${node.type}' requires prop '${propName}'`,
+                    line: node.loc?.line,
+                    col: node.loc?.col,
+                });
+            }
+        }
+        // Cross-prop validation: component needs ref or name
+        if (node.type === 'component' && !('ref' in props) && !('name' in props)) {
+            violations.push({
+                nodeType: 'component',
+                message: "'component' requires either 'ref' or 'name' prop",
+                line: node.loc?.line,
+                col: node.loc?.col,
+            });
+        }
+        // Check allowed children
+        if (schema.allowedChildren && node.children) {
+            for (const child of node.children) {
+                if (!schema.allowedChildren.includes(child.type)) {
+                    // Don't flag structural children that are consumed by parents
+                    // (handler, reason, evidence, needs, etc.)
+                    const universalChildren = ['handler', 'cleanup', 'reason', 'evidence', 'needs', 'signal'];
+                    if (!universalChildren.includes(child.type)) {
+                        violations.push({
+                            nodeType: node.type,
+                            message: `'${node.type}' does not allow child type '${child.type}' (allowed: ${schema.allowedChildren.join(', ')})`,
+                            line: child.loc?.line,
+                            col: child.loc?.col,
+                        });
+                    }
+                }
+            }
+        }
+    }
+    // Recurse into children
+    if (node.children) {
+        for (const child of node.children) {
+            validateNode(child, violations);
+        }
+    }
+}
+//# sourceMappingURL=schema.js.map

package/dist/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAgBH,2EAA2E;AAE3E,MAAM,CAAC,MAAM,YAAY,GAA+B;IACtD,IAAI,EAAE;QACJ,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC1B,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC1B,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;KACF;IACD,SAAS,EAAE;QACT,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,OAAO,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE;YACnC,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;QACD,eAAe,EAAE,CAAC,OAAO,CAAC;KAC3B;IACD,KAAK,EAAE;QACL,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,YAAY,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YACpD,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;QACD,eAAe,EAAE,CAAC,SAAS,CAAC;KAC7B;IACD,OAAO,EAAE;QACP,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;SAC7C;QACD,eAAe,EAAE,CAAC,OAAO,CAAC;KAC3B;IACD,KAAK,EAAE;QACL,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE;YAChC,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC7B,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC5B,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC5B,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC9B;KACF;IACD,OAAO,EAAE;QACP,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,UAAU,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE;YACtC,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;QACD,eAAe,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,WAAW,CAAC;KACjE;IACD,MAAM,EAAE;QACN,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC1B,OAAO,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE;YACnC,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC1B,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC3B,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC5B,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;QACD,eAAe,EAAE,CAAC,SAAS,CAAC;KAC7B;IACD,EAAE,EAAE;QACF,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC1B,OAAO,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE;YACnC,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC1B,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC3B,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;QACD,eAAe,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC;KAClD;IACD,OAAO,EAAE;QACP,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;QACD,eAAe,EAAE,CAAC,OAAO,EAAE,YAAY,CAAC;KACzC;IACD,KAAK,EAAE;QACL,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC7B;KACF;IACD,UAAU,EAAE;QACV,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE;YACxC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;SAC3C;QACD,eAAe,EAAE,CAAC,SAAS,CAAC;KAC7B;IACD,KAAK,EAAE;QACL,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,OAAO,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC/C,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC3B,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;QACD,eAAe,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC;KACtC;IACD,MAAM,EAAE;QACN,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;QACD,eAAe,EAAE,CAAC,OAAO,CAAC;KAC3B;IACD,KAAK,EAAE;QACL,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE;YACxC,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC3C,KAAK,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC7C,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;KACF;IACD,IAAI,EAAE;QACJ,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE;SACzC;QACD,eAAe,EAAE,CAAC,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC;KAC/C;IACD,KAAK,EAAE;QACL,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;QACD,eAAe,EAAE,CAAC,MAAM,CAAC;KAC1B;IACD,MAAM,EAAE;QACN,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,OAAO,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;YAC/B,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC3B;KACF;IACD,KAAK,EAAE;QACL,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE;YAChC,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC1B,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;QACD,eAAe,EAAE,CAAC,SAAS,CAAC;KAC7B;IACD,EAAE,EAAE;QACF,KAAK,EAAE;YACL,KAAK,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzC,OAAO,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;YAC/B,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvB,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC3B;QACD,eAAe,EAAE,CAAC,SAAS,CAAC;KAC7B;IACD,SAAS,EAAE;QACT,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACxB,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5B,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;QACD,eAAe,EAAE,CAAC,IAAI,CAAC;KACxB;IACD,MAAM,EAAE;QACN,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE;YACzC,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE;YAChC,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;KACF;IACD,SAAS,EAAE;QACT,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC3B,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YACxB,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE;YAChC,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;QACD,eAAe,EAAE,CAAC,SAAS,CAAC;KAC7B;IACD,MAAM,EAAE;QACN,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC1B,OAAO,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE;YACnC,UAAU,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC/B,UAAU,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC/B,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;QACD,eAAe,EAAE,CAAC,SAAS,CAAC;KAC7B;IACD,KAAK,EAAE;QACL,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACxB,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE;YACzC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YACzB,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IACD,MAAM,EAAE;QACN,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE;YACzC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC5C,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE;YAC7C,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IACD,SAAS,EAAE;QACT,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACxB,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE;YACzC,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;KACF;IACD,IAAI,EAAE;QACJ,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE;YACvC,KAAK,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;SAC9B;KACF;IACD,OAAO,EAAE;QACP,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE;YACzC,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC1B,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC1B,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;KACF;IACD,MAAM,EAAE;QACN,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE;SACxC;QACD,eAAe,EAAE,CAAC,MAAM,CAAC;KAC1B;IACD,KAAK,EAAE;QACL,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;QACD,eAAe,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC;KACxC;IACD,UAAU,EAAE;QACV,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,KAAK,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC7C,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;QACD,eAAe,EAAE,CAAC,QAAQ,CAAC;KAC5B;IACD,UAAU,EAAE;QACV,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;QACD,eAAe,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC;KACvC;IACD,KAAK,EAAE;QACL,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC3B,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC1B,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvB,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;QACD,eAAe,EAAE,CAAC,OAAO,EAAE,YAAY,CAAC;KACzC;IACD,MAAM,EAAE;QACN,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;KACF;IACD,QAAQ,EAAE;QACR,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE;SACjD;QACD,eAAe,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;KACrC;IACD,IAAI,EAAE;QACJ,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC1B,OAAO,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE;SACpC;QACD,eAAe,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC;KAClE;IACD,MAAM,EAAE;QACN,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5B,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACxB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC1B;QACD,eAAe,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,CAAC;KAChD;IACD,wEAAwE;IACxE,IAAI,EAAE;QACJ,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5C,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC3B,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC1B,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC5B;KACF;IACD,MAAM,EAAE;QACN,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACxB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC1B;KACF;IACD,OAAO,EAAE;QACP,KAAK,EAAE,EAAE;KACV;IACD,QAAQ,EAAE;QACR,KAAK,EAAE;YACL,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC/B,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC5B,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC5B;KACF;IACD,IAAI,EAAE;QACJ,KAAK,EAAE;YACL,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE;SACvC;KACF;IACD,QAAQ,EAAE;QACR,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5B,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC/B,UAAU,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAChC;KACF;IACD,MAAM,EAAE;QACN,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5B,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvB,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SACzB;KACF;IACD,MAAM,EAAE;QACN,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;SAC7B;KACF;IACD,IAAI,EAAE;QACJ,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACxB,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SACxB;KACF;IACD,SAAS,EAAE;QACT,KAAK,EAAE;YACL,GAAG,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;YAC3B,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5B,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;YAC5B,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC7B,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC9B;KACF;IACD,IAAI,EAAE;QACJ,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;SAC7C;KACF;IACD,KAAK,EAAE;QACL,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;SAC3B;QACD,eAAe,EAAE,CAAC,SAAS,CAAC;KAC7B;IACD,IAAI,EAAE;QACJ,KAAK,EAAE;YACL,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC1B,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC3B;KACF;IACD,GAAG,EAAE;QACH,KAAK,EAAE;YACL,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACxB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACxB,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC3B,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC1B,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC3B,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACxB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC3B;KACF;CACF,CAAC;AAWF;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,UAAU,GAAsB,EAAE,CAAC;IACzC,YAAY,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAC/B,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,UAA6B;IAC/D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAE5F,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QAE/B,uBAAuB;QACvB,KAAK,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YAClE,IAAI,UAAU,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,IAAI,KAAK,CAAC,EAAE,CAAC;gBAChD,UAAU,CAAC,IAAI,CAAC;oBACd,QAAQ,EAAE,IAAI,CAAC,IAAI;oBACnB,OAAO,EAAE,IAAI,IAAI,CAAC,IAAI,oBAAoB,QAAQ,GAAG;oBACrD,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI;oBACpB,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG;iBACnB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,qDAAqD;QACrD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,EAAE,CAAC;YACzE,UAAU,CAAC,IAAI,CAAC;gBACd,QAAQ,EAAE,WAAW;gBACrB,OAAO,EAAE,kDAAkD;gBAC3D,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI;gBACpB,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG;aACnB,CAAC,CAAC;QACL,CAAC;QAED,yBAAyB;QACzB,IAAI,MAAM,CAAC,eAAe,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC5C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClC,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjD,8DAA8D;oBAC9D,2CAA2C;oBAC3C,MAAM,iBAAiB,GAAG,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;oBAC1F,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC5C,UAAU,CAAC,IAAI,CAAC;4BACd,QAAQ,EAAE,IAAI,CAAC,IAAI;4BACnB,OAAO,EAAE,IAAI,IAAI,CAAC,IAAI,gCAAgC,KAAK,CAAC,IAAI,eAAe,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;4BACnH,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI;4BACrB,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG;yBACpB,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,wBAAwB;IACxB,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClC,YAAY,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;AACH,CAAC"}