@kernlang/core 3.1.2 → 3.1.4

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"}

package/dist/spec.d.ts

@@ -11,19 +11,20 @@
  */
 export declare const KERN_VERSION = "2.0.0";
 export declare const IR_GRAMMAR = "\ndocument   = node+\nnode       = indent type (SP prop)* (SP style)? (SP themeref)* NL child*\nchild      = node\nindent     = \"  \"*\ntype       = ident\nprop       = ident \"=\" value\nvalue      = quoted | bare\nquoted     = '\"' [^\"]* '\"'\nbare       = [^\\s{$]+\nstyle      = \"{\" spair (\",\" spair)* \"}\"\nspair      = sident \":\" svalue | \":\" pseudo \":\" sident \":\" svalue\npseudo     = \"press\" | \"hover\" | \"active\" | \"focus\"\nsident     = shorthand | ident\nsvalue     = [^,}]+\nthemeref   = \"$\" ident\nident      = [A-Za-z_][A-Za-z0-9_-]*\nSP         = \" \"+\nNL         = \"\\n\" | EOF\n";
-export declare const NODE_TYPES: readonly ["screen", "row", "col", "card", "scroll", "text", "image", "progress", "divider", "codeblock", "section", "button", "input", "modal", "list", "item", "tabs", "tab", "header", "theme", "server", "route", "middleware", "handler", "schema", "stream", "spawn", "timer", "on", "env", "websocket", "params", "auth", "validate", "respond", "trigger", "cli", "command", "arg", "flag", "import", "separator", "table", "thead", "tbody", "tr", "th", "td", "scoreboard", "metric", "spinner", "progress", "box", "gradient", "state", "repl", "guard", "parallel", "dispatch", "then", "each", "generateMetadata", "notFound", "redirect", "fetch", "type", "interface", "field", "fn", "union", "variant", "service", "method", "singleton", "constructor", "signal", "cleanup", "machine", "transition", "error", "module", "export", "config", "store", "test", "describe", "it", "event", "hook", "provider", "effect", "memo", "callback", "ref", "context", "cleanup", "prop", "returns", "input-area", "output-area", "text-input", "select-input", "model", "column", "relation", "repository", "dependency", "inject", "cache", "entry", "invalidate", "conditional", "select", "option", "template", "slot", "body", "derive", "transform", "action", "assume", "invariant", "branch", "path", "resolve", "candidate", "discriminator", "collect", "pattern", "apply", "expect", "recover", "strategy", "reason", "evidence", "needs", "rule", "message"];
+export declare const NODE_TYPES: readonly ["screen", "page", "row", "col", "card", "grid", "scroll", "text", "image", "progress", "divider", "codeblock", "section", "form", "button", "input", "textarea", "slider", "toggle", "modal", "list", "item", "tabs", "tab", "header", "link", "theme", "server", "route", "middleware", "handler", "schema", "stream", "spawn", "timer", "on", "env", "websocket", "params", "auth", "validate", "respond", "trigger", "cli", "command", "arg", "flag", "import", "separator", "table", "thead", "tbody", "tr", "th", "td", "scoreboard", "metric", "spinner", "box", "gradient", "state", "repl", "guard", "parallel", "dispatch", "then", "each", "layout", "loading", "metadata", "generateMetadata", "notFound", "redirect", "fetch", "type", "interface", "field", "fn", "const", "union", "variant", "service", "method", "singleton", "constructor", "signal", "cleanup", "machine", "transition", "error", "module", "export", "config", "store", "test", "describe", "it", "event", "hook", "provider", "effect", "logic", "memo", "callback", "ref", "context", "prop", "returns", "input-area", "output-area", "text-input", "select-input", "model", "column", "relation", "repository", "dependency", "inject", "cache", "entry", "invalidate", "conditional", "component", "select", "option", "icon", "svg", "template", "slot", "body", "derive", "transform", "action", "assume", "invariant", "branch", "path", "resolve", "candidate", "discriminator", "collect", "pattern", "apply", "expect", "recover", "strategy", "reason", "evidence", "needs", "rule", "message"];
 export type IRNodeType = (typeof NODE_TYPES)[number];
+import { type KernRuntime } from './runtime.js';
 /** Register an evolved node type (called at startup from .kern/evolved/). */
 export declare function registerEvolvedType(keyword: string): void;
 /** Unregister an evolved node type (for rollback/testing). */
 export declare function unregisterEvolvedType(keyword: string): void;
 /** Check if a type is a known node type (core or evolved). */
-export declare function isKnownNodeType(type: string): boolean;
-/** Get all dynamically registered evolved types. */
+export declare function isKnownNodeType(type: string, runtime?: KernRuntime): boolean;
+/** Get all dynamically registered evolved types (defensive copy). */
 export declare function getEvolvedTypes(): ReadonlySet<string>;
 /** Clear all dynamic types (for test isolation). */
 export declare function clearEvolvedTypes(): void;
 /** Reserved keywords — evolved nodes cannot use these. */
-export declare const KERN_RESERVED: Set<"route" | "middleware" | "config" | "entry" | "command" | "hook" | "theme" | "template" | "websocket" | "model" | "service" | "error" | "type" | "slot" | "import" | "body" | "handler" | "then" | "export" | "field" | "variant" | "constructor" | "params" | "method" | "stream" | "returns" | "singleton" | "signal" | "cleanup" | "message" | "state" | "transition" | "path" | "describe" | "it" | "event" | "scroll" | "on" | "reason" | "evidence" | "needs" | "guard" | "invariant" | "item" | "branch" | "candidate" | "discriminator" | "select" | "metric" | "strategy" | "pattern" | "option" | "table" | "column" | "relation" | "text" | "inject" | "invalidate" | "interface" | "fn" | "union" | "machine" | "module" | "store" | "test" | "derive" | "transform" | "action" | "assume" | "each" | "collect" | "resolve" | "expect" | "recover" | "apply" | "repository" | "dependency" | "cache" | "conditional" | "effect" | "auth" | "screen" | "row" | "col" | "card" | "image" | "progress" | "divider" | "codeblock" | "section" | "button" | "input" | "modal" | "list" | "tabs" | "tab" | "header" | "server" | "schema" | "spawn" | "timer" | "env" | "validate" | "respond" | "trigger" | "cli" | "arg" | "flag" | "separator" | "thead" | "tbody" | "tr" | "th" | "td" | "scoreboard" | "spinner" | "box" | "gradient" | "repl" | "parallel" | "dispatch" | "generateMetadata" | "notFound" | "redirect" | "fetch" | "provider" | "memo" | "callback" | "ref" | "context" | "prop" | "input-area" | "output-area" | "text-input" | "select-input" | "rule">;
+export declare const KERN_RESERVED: ReadonlySet<string>;
 export declare const STYLE_SHORTHANDS: Record<string, string>;
 export declare const VALUE_SHORTHANDS: Record<string, string>;

package/dist/spec.js

@@ -34,17 +34,17 @@ NL         = "\\n" | EOF
 // ── Node Types ──────────────────────────────────────────────────────────
 export const NODE_TYPES = [
     // Layout
-    'screen', 'row', 'col', 'card', 'scroll',
+    'screen', 'page', 'row', 'col', 'card', 'grid', 'scroll',
     // Content
     'text', 'image', 'progress', 'divider', 'codeblock',
     // Structural
-    'section',
+    'section', 'form',
     // Interactive
-    'button', 'input', 'modal',
+    'button', 'input', 'textarea', 'slider', 'toggle', 'modal',
     // Lists
     'list', 'item',
     // Navigation
-    'tabs', 'tab', 'header',
+    'tabs', 'tab', 'header', 'link',
     // Meta
     'theme',
     // Backend
@@ -56,12 +56,14 @@ export const NODE_TYPES = [
     'cli', 'command', 'arg', 'flag', 'import',
     // Terminal
     'separator', 'table', 'thead', 'tbody', 'tr', 'th', 'td', 'scoreboard', 'metric',
-    'spinner', 'progress', 'box', 'gradient',
+    'spinner', 'box', 'gradient',
     'state', 'repl', 'guard', 'parallel', 'dispatch', 'then', 'each',
+    // Next.js App Router
+    'layout', 'loading',
     // Next.js production patterns
-    'generateMetadata', 'notFound', 'redirect', 'fetch',
+    'metadata', 'generateMetadata', 'notFound', 'redirect', 'fetch',
     // Core Language — type system, functions, state machines
-    'type', 'interface', 'field', 'fn',
+    'type', 'interface', 'field', 'fn', 'const',
     'union', 'variant',
     'service', 'method', 'singleton', 'constructor',
     'signal', 'cleanup',
@@ -71,8 +73,8 @@ export const NODE_TYPES = [
     'test', 'describe', 'it',
     'event',
     // React — hooks, providers, effects
-    'hook', 'provider', 'effect',
-    'memo', 'callback', 'ref', 'context', 'cleanup',
+    'hook', 'provider', 'effect', 'logic',
+    'memo', 'callback', 'ref', 'context',
     'prop', 'returns',
     // Ink — terminal React (Ink) specific nodes
     'input-area', 'output-area', 'text-input', 'select-input',
@@ -82,8 +84,10 @@ export const NODE_TYPES = [
     'dependency', 'inject',
     'cache', 'entry', 'invalidate',
     // UI controls
-    'conditional',
+    'conditional', 'component',
     'select', 'option',
+    // Graphics
+    'icon', 'svg',
     // Template system
     'template', 'slot', 'body',
     // Ground layer — semantic reasoning
@@ -100,39 +104,46 @@ export const NODE_TYPES = [
 ];
 // ── Dynamic Node Types (Evolve v4 — graduated nodes) ────────────────────
 // Evolved nodes register here at startup. Checked by parser alongside NODE_TYPES.
-const _dynamicNodeTypes = new Set();
+import { defaultRuntime } from './runtime.js';
 /** Register an evolved node type (called at startup from .kern/evolved/). */
 export function registerEvolvedType(keyword) {
-    _dynamicNodeTypes.add(keyword);
+    defaultRuntime.registerEvolvedType(keyword);
 }
 /** Unregister an evolved node type (for rollback/testing). */
 export function unregisterEvolvedType(keyword) {
-    _dynamicNodeTypes.delete(keyword);
+    defaultRuntime.unregisterEvolvedType(keyword);
 }
 /** Check if a type is a known node type (core or evolved). */
-export function isKnownNodeType(type) {
-    return NODE_TYPES.includes(type) || _dynamicNodeTypes.has(type);
+export function isKnownNodeType(type, runtime) {
+    const rt = runtime ?? defaultRuntime;
+    return NODE_TYPES.includes(type) || rt.dynamicNodeTypes.has(type);
 }
-/** Get all dynamically registered evolved types. */
+/** Get all dynamically registered evolved types (defensive copy). */
 export function getEvolvedTypes() {
-    return _dynamicNodeTypes;
+    return defaultRuntime.getEvolvedTypes();
 }
 /** Clear all dynamic types (for test isolation). */
 export function clearEvolvedTypes() {
-    _dynamicNodeTypes.clear();
+    defaultRuntime.clearEvolvedTypes();
 }
 /** Reserved keywords — evolved nodes cannot use these. */
-export const KERN_RESERVED = new Set(NODE_TYPES);
+export const KERN_RESERVED = Object.freeze(new Set(NODE_TYPES));
 // ── Style Shorthands (FROZEN at v1.0 — 30 entries) ──────────────────────
 // Any CSS property not in this map uses the escape hatch: "property":"value"
 // This map will NOT grow. Use quoted keys for new CSS properties.
 export const STYLE_SHORTHANDS = {
     // Spacing
     p: 'padding', m: 'margin',
+    px: 'paddingX', py: 'paddingY',
     pt: 'paddingTop', pb: 'paddingBottom', pl: 'paddingLeft', pr: 'paddingRight',
+    mx: 'marginX', my: 'marginY',
     mt: 'marginTop', mb: 'marginBottom', ml: 'marginLeft', mr: 'marginRight',
     // Sizing
     w: 'width', h: 'height', f: 'flex',
+    'max-width': 'maxWidth', 'min-width': 'minWidth',
+    'max-height': 'maxHeight', 'min-height': 'minHeight',
+    // Positioning
+    'z-index': 'zIndex',
     // Colors
     bg: 'backgroundColor', c: 'color', bc: 'borderColor',
     // Typography