@kernlang/evolve 3.0.0

package/dist/evolve-validator-v4.js

@@ -0,0 +1,253 @@
+/**
+ * Evolve v4 Validation Pipeline — 9-step validation for node proposals.
+ *
+ * Steps: schema → keyword → parse → codegen compile → codegen run →
+ *        typescript check → golden diff → dedup → (LLM retry on failure)
+ */
+import { parse } from '@kernlang/core';
+import { KERN_RESERVED, registerParserHints, unregisterParserHints } from '@kernlang/core';
+import { ts } from 'ts-morph';
+import { compileSandboxedGenerator } from './sandboxed-generator.js';
+import { checkDedup } from './evolve-dedup.js';
+import { compareGoldenOutput } from './golden-test-runner.js';
+/**
+ * Run the full 9-step validation pipeline on a node proposal.
+ */
+export function validateEvolveProposal(proposal, existingKeywords) {
+    const result = {
+        schemaOk: false,
+        keywordOk: false,
+        parseOk: false,
+        codegenCompileOk: false,
+        codegenRunOk: false,
+        typescriptOk: false,
+        goldenDiffOk: false,
+        dedupOk: false,
+        errors: [],
+        retryCount: 0,
+    };
+    // Step 1: Schema check
+    result.schemaOk = validateSchema(proposal, result.errors);
+    if (!result.schemaOk)
+        return result;
+    // Step 2: Keyword check
+    result.keywordOk = validateKeyword(proposal.keyword, result.errors, existingKeywords);
+    if (!result.keywordOk)
+        return result;
+    // Step 3: Parse check
+    result.parseOk = validateParse(proposal, result.errors);
+    // Step 4: Codegen compile
+    let generator = null;
+    try {
+        generator = compileSandboxedGenerator(wrapAsCommonJS(proposal.codegenSource));
+        result.codegenCompileOk = true;
+    }
+    catch (err) {
+        result.errors.push(`Codegen compile failed: ${err.message}`);
+        result.codegenCompileOk = false;
+    }
+    // Step 5: Codegen dry-run
+    if (generator && result.parseOk) {
+        result.codegenRunOk = validateCodegenRun(proposal, generator, result.errors);
+    }
+    // Step 6: TypeScript syntax check
+    if (result.codegenRunOk && generator) {
+        result.typescriptOk = validateTypeScript(proposal, generator, result.errors);
+    }
+    // Step 7: Golden diff
+    if (result.codegenRunOk && generator) {
+        result.goldenDiffOk = validateGoldenDiff(proposal, generator, result.errors);
+    }
+    // Step 8: Dedup check
+    result.dedupOk = checkDedup(proposal, existingKeywords || []);
+    if (!result.dedupOk) {
+        result.errors.push(`Duplicate: keyword '${proposal.keyword}' is too similar to an existing node`);
+    }
+    return result;
+}
+// ── Step implementations ─────────────────────────────────────────────────
+function validateSchema(proposal, errors) {
+    if (!proposal.keyword || typeof proposal.keyword !== 'string') {
+        errors.push('Missing or invalid keyword');
+        return false;
+    }
+    if (!/^[a-z][a-z0-9-]*$/.test(proposal.keyword)) {
+        errors.push(`Keyword '${proposal.keyword}' must be lowercase alphanumeric with hyphens`);
+        return false;
+    }
+    if (!proposal.kernExample || typeof proposal.kernExample !== 'string') {
+        errors.push('Missing kernExample');
+        return false;
+    }
+    if (!proposal.codegenSource || typeof proposal.codegenSource !== 'string') {
+        errors.push('Missing codegenSource');
+        return false;
+    }
+    if (!proposal.expectedOutput || typeof proposal.expectedOutput !== 'string') {
+        errors.push('Missing expectedOutput');
+        return false;
+    }
+    if (!proposal.reason || typeof proposal.reason.observation !== 'string') {
+        errors.push('Missing or invalid reason');
+        return false;
+    }
+    if (!Array.isArray(proposal.props)) {
+        errors.push('Missing props array');
+        return false;
+    }
+    return true;
+}
+function validateKeyword(keyword, errors, existing) {
+    if (KERN_RESERVED.has(keyword)) {
+        errors.push(`Keyword '${keyword}' is a reserved KERN core type`);
+        return false;
+    }
+    if (existing?.includes(keyword)) {
+        errors.push(`Keyword '${keyword}' is already graduated`);
+        return false;
+    }
+    return true;
+}
+function validateParse(proposal, errors) {
+    // Temporarily register parser hints if provided
+    if (proposal.parserHints) {
+        registerParserHints(proposal.keyword, proposal.parserHints);
+    }
+    try {
+        const ast = parse(proposal.kernExample);
+        if (!ast || !ast.type) {
+            errors.push('kernExample parsed to empty AST');
+            return false;
+        }
+        // Root node should match the proposed keyword
+        if (ast.type !== proposal.keyword) {
+            errors.push(`kernExample root type '${ast.type}' does not match keyword '${proposal.keyword}'`);
+            return false;
+        }
+        return true;
+    }
+    catch (err) {
+        errors.push(`Parse failed: ${err.message}`);
+        return false;
+    }
+    finally {
+        if (proposal.parserHints) {
+            unregisterParserHints(proposal.keyword);
+        }
+    }
+}
+function validateCodegenRun(proposal, generator, errors) {
+    if (proposal.parserHints) {
+        registerParserHints(proposal.keyword, proposal.parserHints);
+    }
+    try {
+        const ast = parse(proposal.kernExample);
+        const output = generator(ast);
+        if (!Array.isArray(output) || output.length === 0) {
+            errors.push('Codegen produced empty output');
+            return false;
+        }
+        return true;
+    }
+    catch (err) {
+        errors.push(`Codegen run failed: ${err.message}`);
+        return false;
+    }
+    finally {
+        if (proposal.parserHints) {
+            unregisterParserHints(proposal.keyword);
+        }
+    }
+}
+function validateTypeScript(proposal, generator, errors) {
+    if (proposal.parserHints) {
+        registerParserHints(proposal.keyword, proposal.parserHints);
+    }
+    try {
+        const ast = parse(proposal.kernExample);
+        const output = generator(ast).join('\n');
+        // Real TypeScript syntax validation via ts.transpileModule
+        // Enable JSX since KERN generates React/JSX output for frontend targets
+        const result = ts.transpileModule(output, {
+            compilerOptions: {
+                target: ts.ScriptTarget.ES2022,
+                module: ts.ModuleKind.ES2022,
+                jsx: ts.JsxEmit.ReactJSX,
+                strict: false,
+                noEmit: false,
+                skipLibCheck: true,
+            },
+            reportDiagnostics: true,
+            fileName: 'evolved-output.tsx',
+        });
+        const diagnostics = result.diagnostics || [];
+        // Only fail on syntax errors (category 1 = Error), not semantic warnings
+        const syntaxErrors = diagnostics.filter(d => d.category === ts.DiagnosticCategory.Error);
+        if (syntaxErrors.length > 0) {
+            for (const d of syntaxErrors.slice(0, 3)) {
+                const msg = ts.flattenDiagnosticMessageText(d.messageText, '\n');
+                errors.push(`TypeScript syntax error: ${msg}`);
+            }
+            return false;
+        }
+        return true;
+    }
+    catch (err) {
+        errors.push(`TypeScript check failed: ${err.message}`);
+        return false;
+    }
+    finally {
+        if (proposal.parserHints) {
+            unregisterParserHints(proposal.keyword);
+        }
+    }
+}
+function validateGoldenDiff(proposal, generator, errors) {
+    if (proposal.parserHints) {
+        registerParserHints(proposal.keyword, proposal.parserHints);
+    }
+    try {
+        const ast = parse(proposal.kernExample);
+        const actual = generator(ast).join('\n');
+        const match = compareGoldenOutput(actual, proposal.expectedOutput);
+        if (!match) {
+            errors.push('Golden diff mismatch: codegen output differs from expectedOutput');
+            return false;
+        }
+        return true;
+    }
+    catch (err) {
+        errors.push(`Golden diff failed: ${err.message}`);
+        return false;
+    }
+    finally {
+        if (proposal.parserHints) {
+            unregisterParserHints(proposal.keyword);
+        }
+    }
+}
+/**
+ * Wrap raw generator source as CommonJS for the sandbox.
+ * Handles both "export default function..." and plain "function generate..." patterns.
+ */
+function wrapAsCommonJS(source) {
+    // Already CommonJS
+    if (source.includes('module.exports'))
+        return source;
+    // ES module: export default function(node, helpers) { ... }
+    let wrapped = source
+        .replace(/^export\s+default\s+/m, 'module.exports = ')
+        .replace(/^export\s+function\s+(\w+)/m, 'module.exports = function $1');
+    // If still no module.exports, wrap the whole thing
+    if (!wrapped.includes('module.exports')) {
+        wrapped = `module.exports = ${wrapped}`;
+    }
+    // Strip TypeScript type annotations for the sandbox (runs as JS)
+    wrapped = wrapped
+        .replace(/:\s*IRNode/g, '')
+        .replace(/:\s*string\[\]/g, '')
+        .replace(/:\s*CodegenHelpers/g, '')
+        .replace(/import\s+.*?from\s+['"].*?['"];?\n?/g, '');
+    return wrapped;
+}
+//# sourceMappingURL=evolve-validator-v4.js.map

package/dist/evolve-validator-v4.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evolve-validator-v4.js","sourceRoot":"","sources":["../src/evolve-validator-v4.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AACvC,OAAO,EAAE,aAAa,EAAc,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACvG,OAAO,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAC9B,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AACrE,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAG9D;;GAEG;AACH,MAAM,UAAU,sBAAsB,CACpC,QAA4B,EAC5B,gBAA2B;IAE3B,MAAM,MAAM,GAA6B;QACvC,QAAQ,EAAE,KAAK;QACf,SAAS,EAAE,KAAK;QAChB,OAAO,EAAE,KAAK;QACd,gBAAgB,EAAE,KAAK;QACvB,YAAY,EAAE,KAAK;QACnB,YAAY,EAAE,KAAK;QACnB,YAAY,EAAE,KAAK;QACnB,OAAO,EAAE,KAAK;QACd,MAAM,EAAE,EAAE;QACV,UAAU,EAAE,CAAC;KACd,CAAC;IAEF,uBAAuB;IACvB,MAAM,CAAC,QAAQ,GAAG,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IAC1D,IAAI,CAAC,MAAM,CAAC,QAAQ;QAAE,OAAO,MAAM,CAAC;IAEpC,wBAAwB;IACxB,MAAM,CAAC,SAAS,GAAG,eAAe,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IACtF,IAAI,CAAC,MAAM,CAAC,SAAS;QAAE,OAAO,MAAM,CAAC;IAErC,sBAAsB;IACtB,MAAM,CAAC,OAAO,GAAG,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IAExD,0BAA0B;IAC1B,IAAI,SAAS,GAAqC,IAAI,CAAC;IACvD,IAAI,CAAC;QACH,SAAS,GAAG,yBAAyB,CAAC,cAAc,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;QAC9E,MAAM,CAAC,gBAAgB,GAAG,IAAI,CAAC;IACjC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,2BAA4B,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;QACxE,MAAM,CAAC,gBAAgB,GAAG,KAAK,CAAC;IAClC,CAAC;IAED,0BAA0B;IAC1B,IAAI,SAAS,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAChC,MAAM,CAAC,YAAY,GAAG,kBAAkB,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IAC/E,CAAC;IAED,kCAAkC;IAClC,IAAI,MAAM,CAAC,YAAY,IAAI,SAAS,EAAE,CAAC;QACrC,MAAM,CAAC,YAAY,GAAG,kBAAkB,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IAC/E,CAAC;IAED,sBAAsB;IACtB,IAAI,MAAM,CAAC,YAAY,IAAI,SAAS,EAAE,CAAC;QACrC,MAAM,CAAC,YAAY,GAAG,kBAAkB,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IAC/E,CAAC;IAED,sBAAsB;IACtB,MAAM,CAAC,OAAO,GAAG,UAAU,CAAC,QAAQ,EAAE,gBAAgB,IAAI,EAAE,CAAC,CAAC;IAC9D,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,uBAAuB,QAAQ,CAAC,OAAO,sCAAsC,CAAC,CAAC;IACpG,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,4EAA4E;AAE5E,SAAS,cAAc,CAAC,QAA4B,EAAE,MAAgB;IACpE,IAAI,CAAC,QAAQ,CAAC,OAAO,IAAI,OAAO,QAAQ,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QAC9D,MAAM,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;QAC1C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC,YAAY,QAAQ,CAAC,OAAO,+CAA+C,CAAC,CAAC;QACzF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,WAAW,IAAI,OAAO,QAAQ,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;QACtE,MAAM,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QACnC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,aAAa,IAAI,OAAO,QAAQ,CAAC,aAAa,KAAK,QAAQ,EAAE,CAAC;QAC1E,MAAM,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QACrC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,cAAc,IAAI,OAAO,QAAQ,CAAC,cAAc,KAAK,QAAQ,EAAE,CAAC;QAC5E,MAAM,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACtC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,OAAO,QAAQ,CAAC,MAAM,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;QACxE,MAAM,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QACzC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACnC,MAAM,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QACnC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CAAC,OAAe,EAAE,MAAgB,EAAE,QAAmB;IAC7E,IAAI,aAAa,CAAC,GAAG,CAAC,OAAc,CAAC,EAAE,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,YAAY,OAAO,gCAAgC,CAAC,CAAC;QACjE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,YAAY,OAAO,wBAAwB,CAAC,CAAC;QACzD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,aAAa,CAAC,QAA4B,EAAE,MAAgB;IACnE,gDAAgD;IAChD,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;QACzB,mBAAmB,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC;IAC9D,CAAC;IAED,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACxC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YACtB,MAAM,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;YAC/C,OAAO,KAAK,CAAC;QACf,CAAC;QACD,8CAA8C;QAC9C,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,OAAO,EAAE,CAAC;YAClC,MAAM,CAAC,IAAI,CAAC,0BAA0B,GAAG,CAAC,IAAI,6BAA6B,QAAQ,CAAC,OAAO,GAAG,CAAC,CAAC;YAChG,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,CAAC,IAAI,CAAC,iBAAkB,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;QACvD,OAAO,KAAK,CAAC;IACf,CAAC;YAAS,CAAC;QACT,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;YACzB,qBAAqB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,QAA4B,EAC5B,SAAkC,EAClC,MAAgB;IAEhB,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;QACzB,mBAAmB,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClD,MAAM,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;YAC7C,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,CAAC,IAAI,CAAC,uBAAwB,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;QAC7D,OAAO,KAAK,CAAC;IACf,CAAC;YAAS,CAAC;QACT,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;YACzB,qBAAqB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,QAA4B,EAC5B,SAAkC,EAClC,MAAgB;IAEhB,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;QACzB,mBAAmB,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEzC,2DAA2D;QAC3D,wEAAwE;QACxE,MAAM,MAAM,GAAG,EAAE,CAAC,eAAe,CAAC,MAAM,EAAE;YACxC,eAAe,EAAE;gBACf,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;gBAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM;gBAC5B,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ;gBACxB,MAAM,EAAE,KAAK;gBACb,MAAM,EAAE,KAAK;gBACb,YAAY,EAAE,IAAI;aACnB;YACD,iBAAiB,EAAE,IAAI;YACvB,QAAQ,EAAE,oBAAoB;SAC/B,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,IAAI,EAAE,CAAC;QAC7C,yEAAyE;QACzE,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;QACzF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,KAAK,MAAM,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBACzC,MAAM,GAAG,GAAG,EAAE,CAAC,4BAA4B,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;gBACjE,MAAM,CAAC,IAAI,CAAC,4BAA4B,GAAG,EAAE,CAAC,CAAC;YACjD,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,CAAC,IAAI,CAAC,4BAA6B,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;QAClE,OAAO,KAAK,CAAC;IACf,CAAC;YAAS,CAAC;QACT,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;YACzB,qBAAqB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,QAA4B,EAC5B,SAAkC,EAClC,MAAgB;IAEhB,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;QACzB,mBAAmB,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,mBAAmB,CAAC,MAAM,EAAE,QAAQ,CAAC,cAAc,CAAC,CAAC;QACnE,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC;YAChF,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,CAAC,IAAI,CAAC,uBAAwB,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;QAC7D,OAAO,KAAK,CAAC;IACf,CAAC;YAAS,CAAC;QACT,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;YACzB,qBAAqB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,cAAc,CAAC,MAAc;IACpC,mBAAmB;IACnB,IAAI,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC;QAAE,OAAO,MAAM,CAAC;IAErD,4DAA4D;IAC5D,IAAI,OAAO,GAAG,MAAM;SACjB,OAAO,CAAC,uBAAuB,EAAE,mBAAmB,CAAC;SACrD,OAAO,CAAC,6BAA6B,EAAE,8BAA8B,CAAC,CAAC;IAE1E,mDAAmD;IACnD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACxC,OAAO,GAAG,oBAAoB,OAAO,EAAE,CAAC;IAC1C,CAAC;IAED,iEAAiE;IACjE,OAAO,GAAG,OAAO;SACd,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC;SAC1B,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC;SAC9B,OAAO,CAAC,qBAAqB,EAAE,EAAE,CAAC;SAClC,OAAO,CAAC,sCAAsC,EAAE,EAAE,CAAC,CAAC;IAEvD,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/evolved-node-loader.d.ts

@@ -0,0 +1,61 @@
+/**
+ * Evolved Node Loader — reads .kern/evolved/ at startup, registers types + generators.
+ *
+ * Called once before any parsing/codegen. Makes graduated nodes available
+ * to the parser (via dynamic types + hints) and codegen (via generator map).
+ */
+import type { IRNode } from '@kernlang/core';
+import type { EvolvedManifest, EvolvedNodeDefinition, ParserHints } from './evolved-types.js';
+/** Get the generator for an evolved node type. */
+export declare function getEvolvedGenerator(type: string): ((node: IRNode) => string[]) | undefined;
+/** Get parser hints for an evolved node type. */
+export declare function getParserHints(type: string): ParserHints | undefined;
+/** Check if any evolved nodes are loaded. */
+export declare function hasEvolvedNodes(): boolean;
+/** Get count of loaded evolved nodes. */
+export declare function evolvedNodeCount(): number;
+/** Get all evolved keywords. */
+export declare function getEvolvedKeywords(): string[];
+/** Clear all loaded evolved nodes (for test isolation). */
+export declare function clearEvolvedNodes(): void;
+export interface LoadResult {
+    loaded: number;
+    errors: Array<{
+        keyword: string;
+        error: string;
+    }>;
+}
+/**
+ * Load all evolved nodes from .kern/evolved/ directory.
+ *
+ * Reads the manifest, verifies hashes, loads sandboxed generators,
+ * registers types in spec.ts's dynamic set, and stores parser hints.
+ *
+ * @param baseDir — project root (defaults to cwd)
+ * @param verify — check SHA256 hashes (recommended for CI)
+ */
+export declare function loadEvolvedNodes(baseDir?: string, verify?: boolean): LoadResult;
+/**
+ * Read the manifest without loading generators (for listing/inspection).
+ */
+export declare function readManifest(baseDir?: string): EvolvedManifest | null;
+/**
+ * Read a single node's full definition.
+ */
+export declare function readNodeDefinition(keyword: string, baseDir?: string): EvolvedNodeDefinition | null;
+export interface RebuildResult {
+    rebuilt: number;
+    errors: string[];
+}
+/**
+ * Rebuild manifest.json from disk by scanning .kern/evolved/ subdirectories.
+ *
+ * Reads each subdirectory's definition.json, extracts manifest-level fields,
+ * and writes a fresh manifest.json. Skips .trash/ and any directory missing
+ * a valid definition.json.
+ *
+ * Use when the manifest is out of sync, corrupted, or missing.
+ *
+ * @param baseDir — project root (defaults to cwd)
+ */
+export declare function rebuildManifest(baseDir?: string): RebuildResult;

package/dist/evolved-node-loader.js

@@ -0,0 +1,228 @@
+/**
+ * Evolved Node Loader — reads .kern/evolved/ at startup, registers types + generators.
+ *
+ * Called once before any parsing/codegen. Makes graduated nodes available
+ * to the parser (via dynamic types + hints) and codegen (via generator map).
+ */
+import { existsSync, readFileSync, readdirSync, writeFileSync, mkdirSync, statSync } from 'fs';
+import { resolve, join } from 'path';
+import { createHash } from 'crypto';
+import { registerEvolvedType, registerEvolvedGenerator as registerCoreEvolvedGenerator, registerEvolvedTargetGenerator, KERN_RESERVED } from '@kernlang/core';
+import { loadSandboxedGenerator } from './sandboxed-generator.js';
+// ── Runtime registries (populated at startup) ────────────────────────────
+const _evolvedGenerators = new Map();
+const _parserHints = new Map();
+let _loaded = false;
+/** Get the generator for an evolved node type. */
+export function getEvolvedGenerator(type) {
+    return _evolvedGenerators.get(type);
+}
+/** Get parser hints for an evolved node type. */
+export function getParserHints(type) {
+    return _parserHints.get(type);
+}
+/** Check if any evolved nodes are loaded. */
+export function hasEvolvedNodes() {
+    return _evolvedGenerators.size > 0;
+}
+/** Get count of loaded evolved nodes. */
+export function evolvedNodeCount() {
+    return _evolvedGenerators.size;
+}
+/** Get all evolved keywords. */
+export function getEvolvedKeywords() {
+    return Array.from(_evolvedGenerators.keys());
+}
+/** Clear all loaded evolved nodes (for test isolation). */
+export function clearEvolvedNodes() {
+    _evolvedGenerators.clear();
+    _parserHints.clear();
+    _loaded = false;
+}
+/**
+ * Load all evolved nodes from .kern/evolved/ directory.
+ *
+ * Reads the manifest, verifies hashes, loads sandboxed generators,
+ * registers types in spec.ts's dynamic set, and stores parser hints.
+ *
+ * @param baseDir — project root (defaults to cwd)
+ * @param verify — check SHA256 hashes (recommended for CI)
+ */
+export function loadEvolvedNodes(baseDir = process.cwd(), verify = false) {
+    if (_loaded)
+        return { loaded: _evolvedGenerators.size, errors: [] };
+    const evolvedDir = resolve(baseDir, '.kern', 'evolved');
+    const manifestPath = join(evolvedDir, 'manifest.json');
+    if (!existsSync(manifestPath)) {
+        _loaded = true;
+        return { loaded: 0, errors: [] };
+    }
+    let manifest;
+    try {
+        manifest = JSON.parse(readFileSync(manifestPath, 'utf-8'));
+    }
+    catch {
+        _loaded = true;
+        return { loaded: 0, errors: [{ keyword: '*', error: 'Failed to parse manifest.json' }] };
+    }
+    const errors = [];
+    let loaded = 0;
+    for (const [keyword, entry] of Object.entries(manifest.nodes)) {
+        try {
+            loadSingleNode(evolvedDir, keyword, entry, verify);
+            loaded++;
+        }
+        catch (err) {
+            errors.push({ keyword, error: err.message });
+        }
+    }
+    _loaded = true;
+    return { loaded, errors };
+}
+function loadSingleNode(evolvedDir, keyword, entry, verify) {
+    // Safety: cannot shadow core types
+    if (KERN_RESERVED.has(keyword)) {
+        throw new Error(`Evolved keyword '${keyword}' conflicts with core KERN type`);
+    }
+    const nodeDir = join(evolvedDir, keyword);
+    const codegenPath = join(nodeDir, 'codegen.js');
+    if (!existsSync(codegenPath)) {
+        throw new Error(`Missing codegen.js for evolved node '${keyword}'`);
+    }
+    // Hash verification
+    if (verify) {
+        const content = readFileSync(codegenPath, 'utf-8');
+        const hash = 'sha256:' + createHash('sha256').update(content).digest('hex');
+        if (hash !== entry.hash) {
+            throw new Error(`Hash mismatch for '${keyword}': expected ${entry.hash}, got ${hash}`);
+        }
+    }
+    // Load sandboxed generator
+    const generator = loadSandboxedGenerator(codegenPath);
+    _evolvedGenerators.set(keyword, generator);
+    // Also register in codegen-core so generateCoreNode() can dispatch
+    registerCoreEvolvedGenerator(keyword, generator);
+    // Register type in spec
+    registerEvolvedType(keyword);
+    for (const child of entry.childTypes || []) {
+        registerEvolvedType(child);
+    }
+    // Store parser hints
+    if (entry.parserHints) {
+        _parserHints.set(keyword, entry.parserHints);
+    }
+    // Load target-specific overrides from targets/ directory
+    const targetsDir = join(nodeDir, 'targets');
+    if (existsSync(targetsDir)) {
+        try {
+            for (const file of readdirSync(targetsDir)) {
+                if (!file.endsWith('.js'))
+                    continue;
+                const targetName = file.replace(/\.js$/, '');
+                const targetPath = join(targetsDir, file);
+                const targetGenerator = loadSandboxedGenerator(targetPath);
+                registerEvolvedTargetGenerator(keyword, targetName, targetGenerator);
+            }
+        }
+        catch { // file may not exist
+        }
+    }
+}
+/**
+ * Read the manifest without loading generators (for listing/inspection).
+ */
+export function readManifest(baseDir = process.cwd()) {
+    const manifestPath = resolve(baseDir, '.kern', 'evolved', 'manifest.json');
+    if (!existsSync(manifestPath))
+        return null;
+    try {
+        return JSON.parse(readFileSync(manifestPath, 'utf-8'));
+    }
+    catch {
+        return null;
+    }
+}
+/**
+ * Read a single node's full definition.
+ */
+export function readNodeDefinition(keyword, baseDir = process.cwd()) {
+    const defPath = resolve(baseDir, '.kern', 'evolved', keyword, 'definition.json');
+    if (!existsSync(defPath))
+        return null;
+    try {
+        return JSON.parse(readFileSync(defPath, 'utf-8'));
+    }
+    catch {
+        return null;
+    }
+}
+/**
+ * Rebuild manifest.json from disk by scanning .kern/evolved/ subdirectories.
+ *
+ * Reads each subdirectory's definition.json, extracts manifest-level fields,
+ * and writes a fresh manifest.json. Skips .trash/ and any directory missing
+ * a valid definition.json.
+ *
+ * Use when the manifest is out of sync, corrupted, or missing.
+ *
+ * @param baseDir — project root (defaults to cwd)
+ */
+export function rebuildManifest(baseDir = process.cwd()) {
+    const evolvedDir = resolve(baseDir, '.kern', 'evolved');
+    const errors = [];
+    if (!existsSync(evolvedDir)) {
+        return { rebuilt: 0, errors: ['No .kern/evolved/ directory found'] };
+    }
+    const entries = readdirSync(evolvedDir);
+    const nodes = {};
+    let rebuilt = 0;
+    for (const entry of entries) {
+        // Skip manifest.json itself, .trash, and hidden dirs
+        if (entry === 'manifest.json' || entry === '.trash' || entry.startsWith('.')) {
+            continue;
+        }
+        const entryPath = join(evolvedDir, entry);
+        // Only process directories
+        try {
+            if (!statSync(entryPath).isDirectory())
+                continue;
+        }
+        catch {
+            continue;
+        }
+        const defPath = join(entryPath, 'definition.json');
+        if (!existsSync(defPath)) {
+            errors.push(`${entry}: missing definition.json, skipped`);
+            continue;
+        }
+        let def;
+        try {
+            def = JSON.parse(readFileSync(defPath, 'utf-8'));
+        }
+        catch (err) {
+            errors.push(`${entry}: failed to parse definition.json — ${err.message}`);
+            continue;
+        }
+        // Build manifest entry from definition
+        const manifestEntry = {
+            keyword: def.keyword,
+            displayName: def.displayName,
+            codegenTier: 1, // default; definition.json doesn't store tier
+            childTypes: def.childTypes,
+            parserHints: def.parserHints,
+            hash: def.hash,
+            graduatedBy: def.graduatedBy,
+            graduatedAt: def.graduatedAt,
+            evolveRunId: def.evolveRunId,
+            kernVersion: def.kernVersion,
+        };
+        nodes[def.keyword] = manifestEntry;
+        rebuilt++;
+    }
+    // Write the fresh manifest
+    const manifest = { version: 1, nodes };
+    mkdirSync(evolvedDir, { recursive: true });
+    writeFileSync(join(evolvedDir, 'manifest.json'), JSON.stringify(manifest, null, 2));
+    return { rebuilt, errors };
+}
+//# sourceMappingURL=evolved-node-loader.js.map

package/dist/evolved-node-loader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evolved-node-loader.js","sourceRoot":"","sources":["../src/evolved-node-loader.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,IAAI,CAAC;AAC/F,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AACpC,OAAO,EAAE,mBAAmB,EAAE,wBAAwB,IAAI,4BAA4B,EAAE,8BAA8B,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC9J,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAIlE,4EAA4E;AAE5E,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAsC,CAAC;AACzE,MAAM,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;AACpD,IAAI,OAAO,GAAG,KAAK,CAAC;AAEpB,kDAAkD;AAClD,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,OAAO,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACtC,CAAC;AAED,iDAAiD;AACjD,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,OAAO,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,6CAA6C;AAC7C,MAAM,UAAU,eAAe;IAC7B,OAAO,kBAAkB,CAAC,IAAI,GAAG,CAAC,CAAC;AACrC,CAAC;AAED,yCAAyC;AACzC,MAAM,UAAU,gBAAgB;IAC9B,OAAO,kBAAkB,CAAC,IAAI,CAAC;AACjC,CAAC;AAED,gCAAgC;AAChC,MAAM,UAAU,kBAAkB;IAChC,OAAO,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,CAAC,CAAC;AAC/C,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,iBAAiB;IAC/B,kBAAkB,CAAC,KAAK,EAAE,CAAC;IAC3B,YAAY,CAAC,KAAK,EAAE,CAAC;IACrB,OAAO,GAAG,KAAK,CAAC;AAClB,CAAC;AASD;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAC9B,UAAkB,OAAO,CAAC,GAAG,EAAE,EAC/B,MAAM,GAAG,KAAK;IAEd,IAAI,OAAO;QAAE,OAAO,EAAE,MAAM,EAAE,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAEpE,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;IACxD,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;IAEvD,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9B,OAAO,GAAG,IAAI,CAAC;QACf,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACnC,CAAC;IAED,IAAI,QAAyB,CAAC;IAC9B,IAAI,CAAC;QACH,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC;IAC7D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,GAAG,IAAI,CAAC;QACf,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,+BAA+B,EAAE,CAAC,EAAE,CAAC;IAC3F,CAAC;IAED,MAAM,MAAM,GAA8C,EAAE,CAAC;IAC7D,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9D,IAAI,CAAC;YACH,cAAc,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YACnD,MAAM,EAAE,CAAC;QACX,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,EAAG,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,OAAO,GAAG,IAAI,CAAC;IACf,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,cAAc,CACrB,UAAkB,EAClB,OAAe,EACf,KAA2B,EAC3B,MAAe;IAEf,mCAAmC;IACnC,IAAI,aAAa,CAAC,GAAG,CAAC,OAAc,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CAAC,oBAAoB,OAAO,iCAAiC,CAAC,CAAC;IAChF,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1C,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IAEhD,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,wCAAwC,OAAO,GAAG,CAAC,CAAC;IACtE,CAAC;IAED,oBAAoB;IACpB,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,OAAO,GAAG,YAAY,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QACnD,MAAM,IAAI,GAAG,SAAS,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC5E,IAAI,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CAAC,sBAAsB,OAAO,eAAe,KAAK,CAAC,IAAI,SAAS,IAAI,EAAE,CAAC,CAAC;QACzF,CAAC;IACH,CAAC;IAED,2BAA2B;IAC3B,MAAM,SAAS,GAAG,sBAAsB,CAAC,WAAW,CAAC,CAAC;IACtD,kBAAkB,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC3C,mEAAmE;IACnE,4BAA4B,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAEjD,wBAAwB;IACxB,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC7B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;QAC3C,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IAED,qBAAqB;IACrB,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QACtB,YAAY,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IAC/C,CAAC;IAED,yDAAyD;IACzD,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC5C,IAAI,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3B,IAAI,CAAC;YACH,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC3C,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;oBAAE,SAAS;gBACpC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;gBAC7C,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;gBAC1C,MAAM,eAAe,GAAG,sBAAsB,CAAC,UAAU,CAAC,CAAC;gBAC3D,8BAA8B,CAAC,OAAO,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;YACvE,CAAC;QACH,CAAC;QAAC,MAAM,CAAC,CAAC,qBAAqB;QAC/B,CAAC;IACH,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,UAAkB,OAAO,CAAC,GAAG,EAAE;IAC1D,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,eAAe,CAAC,CAAC;IAC3E,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC;IACzD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAChC,OAAe,EACf,UAAkB,OAAO,CAAC,GAAG,EAAE;IAE/B,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,iBAAiB,CAAC,CAAC;IACjF,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IACpD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AASD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,eAAe,CAC7B,UAAkB,OAAO,CAAC,GAAG,EAAE;IAE/B,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;IACxD,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5B,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,mCAAmC,CAAC,EAAE,CAAC;IACvE,CAAC;IAED,MAAM,OAAO,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;IACxC,MAAM,KAAK,GAAyC,EAAE,CAAC;IACvD,IAAI,OAAO,GAAG,CAAC,CAAC;IAEhB,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,qDAAqD;QACrD,IAAI,KAAK,KAAK,eAAe,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7E,SAAS;QACX,CAAC;QAED,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QAE1C,2BAA2B;QAC3B,IAAI,CAAC;YACH,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE;gBAAE,SAAS;QACnD,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC;QACnD,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,oCAAoC,CAAC,CAAC;YAC1D,SAAS;QACX,CAAC;QAED,IAAI,GAA0B,CAAC;QAC/B,IAAI,CAAC;YACH,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QACnD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,uCAAwC,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;YACrF,SAAS;QACX,CAAC;QAED,uCAAuC;QACvC,MAAM,aAAa,GAAyB;YAC1C,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,WAAW,EAAE,GAAG,CAAC,WAAW;YAC5B,WAAW,EAAE,CAAC,EAAG,8CAA8C;YAC/D,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,WAAW,EAAE,GAAG,CAAC,WAAW;YAC5B,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,WAAW,EAAE,GAAG,CAAC,WAAW;YAC5B,WAAW,EAAE,GAAG,CAAC,WAAW;YAC5B,WAAW,EAAE,GAAG,CAAC,WAAW;YAC5B,WAAW,EAAE,GAAG,CAAC,WAAW;SAC7B,CAAC;QAEF,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,aAAa,CAAC;QACnC,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,2BAA2B;IAC3B,MAAM,QAAQ,GAAoB,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC;IACxD,SAAS,CAAC,UAAU,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3C,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,eAAe,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAEpF,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AAC7B,CAAC"}

package/dist/evolved-types.d.ts

@@ -0,0 +1,110 @@
+/**
+ * Evolve v4 Types — Self-Extending IR
+ *
+ * These types define the schema for evolved nodes: proposals from LLM discovery,
+ * graduated node definitions on disk, parser hints, and validation results.
+ */
+export interface ParserHints {
+    /** Positional args consumed before key=value props.
+     *  e.g. ["method", "path"] → "api-route GET /users" → props.method="GET", props.path="/users" */
+    positionalArgs?: string[];
+    /** A bare word consumed as a named prop.
+     *  e.g. "name" → "auth-guard admin" → props.name="admin" */
+    bareWord?: string;
+    /** Registers this node type for <<<...>>> multiline block parsing.
+     *  The value is the prop name that receives the block content.
+     *  e.g. "code" → "my-node <<<...>>>" → props.code="..." */
+    multilineBlock?: string;
+}
+export interface EvolvedNodeDefinition {
+    keyword: string;
+    displayName: string;
+    description: string;
+    props: EvolvedNodeProp[];
+    childTypes: string[];
+    parserHints?: ParserHints;
+    reason: EvolvedNodeReason;
+    hash: string;
+    graduatedBy: string;
+    graduatedAt: string;
+    evolveRunId: string;
+    kernVersion: string;
+}
+export interface EvolvedNodeProp {
+    name: string;
+    type: 'string' | 'boolean' | 'number' | 'expression';
+    required: boolean;
+    description: string;
+}
+export interface EvolvedNodeReason {
+    observation: string;
+    inefficiency: string;
+    kernBenefit: string;
+    frequency: number;
+    avgLines: number;
+    instances: string[];
+}
+export interface EvolvedManifest {
+    version: number;
+    nodes: Record<string, EvolvedManifestEntry>;
+}
+export interface EvolvedManifestEntry {
+    keyword: string;
+    displayName: string;
+    codegenTier: 1 | 2;
+    childTypes: string[];
+    parserHints?: ParserHints;
+    hash: string;
+    graduatedBy: string;
+    graduatedAt: string;
+    evolveRunId: string;
+    kernVersion: string;
+}
+export interface EvolveNodeProposal {
+    id: string;
+    keyword: string;
+    displayName: string;
+    description: string;
+    props: EvolvedNodeProp[];
+    childTypes: string[];
+    kernExample: string;
+    expectedOutput: string;
+    codegenSource: string;
+    parserHints?: ParserHints;
+    targetOverrides?: Record<string, string>;
+    reason: EvolvedNodeReason;
+    codegenTier: 1 | 2;
+    proposedAt: string;
+    evolveRunId: string;
+}
+export interface EvolveV4ValidationResult {
+    schemaOk: boolean;
+    keywordOk: boolean;
+    parseOk: boolean;
+    codegenCompileOk: boolean;
+    codegenRunOk: boolean;
+    typescriptOk: boolean;
+    goldenDiffOk: boolean;
+    dedupOk: boolean;
+    errors: string[];
+    retryCount: number;
+}
+export type EvolveV4ProposalStatus = 'pending' | 'approved' | 'rejected';
+export interface StagedEvolveProposal {
+    id: string;
+    proposal: EvolveNodeProposal;
+    validation: EvolveV4ValidationResult;
+    status: EvolveV4ProposalStatus;
+    stagedAt: string;
+    reviewedAt?: string;
+}
+export interface CodegenHelpers {
+    capitalize: (s: string) => string;
+    parseParamList: (params: string) => string;
+    dedent: (code: string) => string;
+    kids: (node: any, type?: string) => any[];
+    firstChild: (node: any, type: string) => any | undefined;
+    p: (node: any) => Record<string, unknown>;
+    handlerCode: (node: any) => string;
+    exportPrefix: (node: any) => string;
+}