@kernlang/evolve 3.0.0

package/dist/llm-provider.js

@@ -0,0 +1,143 @@
+/**
+ * LLM Provider — abstraction over OpenAI, Anthropic, and local models.
+ *
+ * Used only by `kern evolve discover` and `kern evolve backfill`.
+ * Never called during compilation.
+ */
+/**
+ * Create an LLM provider based on configuration.
+ * Checks environment variables for API keys.
+ */
+export function createLLMProvider(options = {}) {
+    const provider = options.provider || detectProvider();
+    switch (provider) {
+        case 'openai':
+            return createOpenAIProvider(options);
+        case 'anthropic':
+            return createAnthropicProvider(options);
+        case 'ollama':
+            return createOllamaProvider(options);
+        default:
+            throw new Error(`No LLM provider configured. Set OPENAI_API_KEY, ANTHROPIC_API_KEY, or use --provider=ollama`);
+    }
+}
+function detectProvider() {
+    if (process.env.OPENAI_API_KEY)
+        return 'openai';
+    if (process.env.ANTHROPIC_API_KEY)
+        return 'anthropic';
+    return null;
+}
+function createOpenAIProvider(options) {
+    const apiKey = options.apiKey || process.env.OPENAI_API_KEY;
+    if (!apiKey)
+        throw new Error('OPENAI_API_KEY not set');
+    const model = options.model || 'gpt-4o';
+    const baseUrl = options.baseUrl || 'https://api.openai.com/v1';
+    const maxTokens = options.maxTokens || 4096;
+    return {
+        name: `openai/${model}`,
+        async complete(prompt) {
+            const response = await fetch(`${baseUrl}/chat/completions`, {
+                method: 'POST',
+                headers: {
+                    'Content-Type': 'application/json',
+                    Authorization: `Bearer ${apiKey}`,
+                },
+                body: JSON.stringify({
+                    model,
+                    messages: [{ role: 'user', content: prompt }],
+                    max_tokens: maxTokens,
+                    temperature: 0.2,
+                }),
+            });
+            if (!response.ok) {
+                const text = await response.text();
+                throw new Error(`OpenAI API error ${response.status}: ${text}`);
+            }
+            const data = await response.json();
+            return data.choices[0]?.message?.content || '';
+        },
+    };
+}
+function createAnthropicProvider(options) {
+    const apiKey = options.apiKey || process.env.ANTHROPIC_API_KEY;
+    if (!apiKey)
+        throw new Error('ANTHROPIC_API_KEY not set');
+    const model = options.model || 'claude-sonnet-4-6';
+    const maxTokens = options.maxTokens || 4096;
+    return {
+        name: `anthropic/${model}`,
+        async complete(prompt) {
+            const response = await fetch('https://api.anthropic.com/v1/messages', {
+                method: 'POST',
+                headers: {
+                    'Content-Type': 'application/json',
+                    'x-api-key': apiKey,
+                    'anthropic-version': '2023-06-01',
+                },
+                body: JSON.stringify({
+                    model,
+                    max_tokens: maxTokens,
+                    messages: [{ role: 'user', content: prompt }],
+                }),
+            });
+            if (!response.ok) {
+                const text = await response.text();
+                throw new Error(`Anthropic API error ${response.status}: ${text}`);
+            }
+            const data = await response.json();
+            return data.content[0]?.text || '';
+        },
+    };
+}
+function createOllamaProvider(options) {
+    const model = options.model || 'llama3';
+    const baseUrl = options.baseUrl || 'http://localhost:11434';
+    return {
+        name: `ollama/${model}`,
+        async complete(prompt) {
+            const response = await fetch(`${baseUrl}/api/generate`, {
+                method: 'POST',
+                headers: { 'Content-Type': 'application/json' },
+                body: JSON.stringify({
+                    model,
+                    prompt,
+                    stream: false,
+                }),
+            });
+            if (!response.ok) {
+                const text = await response.text();
+                throw new Error(`Ollama error ${response.status}: ${text}`);
+            }
+            const data = await response.json();
+            return data.response || '';
+        },
+    };
+}
+/**
+ * Track token usage for cost estimation.
+ */
+export class TokenBudget {
+    limit;
+    used = 0;
+    constructor(limit) {
+        this.limit = limit;
+    }
+    add(tokens) {
+        this.used += tokens;
+    }
+    get remaining() {
+        return Math.max(0, this.limit - this.used);
+    }
+    get exhausted() {
+        return this.used >= this.limit;
+    }
+    get totalUsed() {
+        return this.used;
+    }
+    toString() {
+        return `${this.used}/${this.limit} tokens (${Math.round(this.used / this.limit * 100)}%)`;
+    }
+}
+//# sourceMappingURL=llm-provider.js.map

package/dist/llm-provider.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"llm-provider.js","sourceRoot":"","sources":["../src/llm-provider.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAeH;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,UAA8B,EAAE;IAChE,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,cAAc,EAAE,CAAC;IAEtD,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,QAAQ;YACX,OAAO,oBAAoB,CAAC,OAAO,CAAC,CAAC;QACvC,KAAK,WAAW;YACd,OAAO,uBAAuB,CAAC,OAAO,CAAC,CAAC;QAC1C,KAAK,QAAQ;YACX,OAAO,oBAAoB,CAAC,OAAO,CAAC,CAAC;QACvC;YACE,MAAM,IAAI,KAAK,CACb,6FAA6F,CAC9F,CAAC;IACN,CAAC;AACH,CAAC;AAED,SAAS,cAAc;IACrB,IAAI,OAAO,CAAC,GAAG,CAAC,cAAc;QAAE,OAAO,QAAQ,CAAC;IAChD,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB;QAAE,OAAO,WAAW,CAAC;IACtD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,oBAAoB,CAAC,OAA2B;IACvD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC;IAC5D,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;IAEvD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,QAAQ,CAAC;IACxC,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,2BAA2B,CAAC;IAC/D,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,IAAI,CAAC;IAE5C,OAAO;QACL,IAAI,EAAE,UAAU,KAAK,EAAE;QACvB,KAAK,CAAC,QAAQ,CAAC,MAAc;YAC3B,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,GAAG,OAAO,mBAAmB,EAAE;gBAC1D,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE;oBACP,cAAc,EAAE,kBAAkB;oBAClC,aAAa,EAAE,UAAU,MAAM,EAAE;iBAClC;gBACD,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;oBACnB,KAAK;oBACL,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;oBAC7C,UAAU,EAAE,SAAS;oBACrB,WAAW,EAAE,GAAG;iBACjB,CAAC;aACH,CAAC,CAAC;YAEH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;gBACjB,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;gBACnC,MAAM,IAAI,KAAK,CAAC,oBAAoB,QAAQ,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC,CAAC;YAClE,CAAC;YAED,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAA0D,CAAC;YAC3F,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,IAAI,EAAE,CAAC;QACjD,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,OAA2B;IAC1D,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC;IAC/D,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;IAE1D,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,mBAAmB,CAAC;IACnD,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,IAAI,CAAC;IAE5C,OAAO;QACL,IAAI,EAAE,aAAa,KAAK,EAAE;QAC1B,KAAK,CAAC,QAAQ,CAAC,MAAc;YAC3B,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,uCAAuC,EAAE;gBACpE,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE;oBACP,cAAc,EAAE,kBAAkB;oBAClC,WAAW,EAAE,MAAM;oBACnB,mBAAmB,EAAE,YAAY;iBAClC;gBACD,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;oBACnB,KAAK;oBACL,UAAU,EAAE,SAAS;oBACrB,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;iBAC9C,CAAC;aACH,CAAC,CAAC;YAEH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;gBACjB,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;gBACnC,MAAM,IAAI,KAAK,CAAC,uBAAuB,QAAQ,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC,CAAC;YACrE,CAAC;YAED,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAA0C,CAAC;YAC3E,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC;QACrC,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,OAA2B;IACvD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,QAAQ,CAAC;IACxC,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,wBAAwB,CAAC;IAE5D,OAAO;QACL,IAAI,EAAE,UAAU,KAAK,EAAE;QACvB,KAAK,CAAC,QAAQ,CAAC,MAAc;YAC3B,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,GAAG,OAAO,eAAe,EAAE;gBACtD,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE;gBAC/C,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;oBACnB,KAAK;oBACL,MAAM;oBACN,MAAM,EAAE,KAAK;iBACd,CAAC;aACH,CAAC,CAAC;YAEH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;gBACjB,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;gBACnC,MAAM,IAAI,KAAK,CAAC,gBAAgB,QAAQ,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC,CAAC;YAC9D,CAAC;YAED,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAA0B,CAAC;YAC3D,OAAO,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;QAC7B,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,OAAO,WAAW;IAGM;IAFpB,IAAI,GAAG,CAAC,CAAC;IAEjB,YAA4B,KAAa;QAAb,UAAK,GAAL,KAAK,CAAQ;IAAG,CAAC;IAE7C,GAAG,CAAC,MAAc;QAChB,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC;IACtB,CAAC;IAED,IAAI,SAAS;QACX,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC;IAED,IAAI,SAAS;QACX,OAAO,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC;IACjC,CAAC;IAED,IAAI,SAAS;QACX,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IAED,QAAQ;QACN,OAAO,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,YAAY,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC;IAC5F,CAAC;CACF"}

package/dist/node-governance.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Node Governance Gate — quality control for IR node proposals.
+ *
+ * Ensures only high-quality, well-evidenced proposals pass through.
+ * Checks: frequency, expressibility, target coverage, quality score.
+ */
+import type { NodeProposal } from './types.js';
+export interface GovernanceResult {
+    pass: boolean;
+    reasons: string[];
+}
+/**
+ * Run the governance gate on a node proposal.
+ * All checks must pass for the proposal to be approved.
+ */
+export declare function governanceGate(proposal: NodeProposal): GovernanceResult;
+/** Get governance thresholds for display. */
+export declare function getGovernanceThresholds(): {
+    minFrequency: number;
+    minExpressibility: number;
+    minTargetCoverage: number;
+    minQualityScore: number;
+};

package/dist/node-governance.js

@@ -0,0 +1,45 @@
+/**
+ * Node Governance Gate — quality control for IR node proposals.
+ *
+ * Ensures only high-quality, well-evidenced proposals pass through.
+ * Checks: frequency, expressibility, target coverage, quality score.
+ */
+const MIN_FREQUENCY = 3;
+const MIN_EXPRESSIBILITY = 7.0;
+const MIN_TARGET_COVERAGE = 8; // out of 11 targets
+const MIN_QUALITY_SCORE = 60;
+/**
+ * Run the governance gate on a node proposal.
+ * All checks must pass for the proposal to be approved.
+ */
+export function governanceGate(proposal) {
+    const reasons = [];
+    if (proposal.frequency < MIN_FREQUENCY) {
+        reasons.push(`frequency ${proposal.frequency} < ${MIN_FREQUENCY} (need more instances)`);
+    }
+    if (proposal.expressibilityScore.overall < MIN_EXPRESSIBILITY) {
+        reasons.push(`expressibility ${proposal.expressibilityScore.overall} < ${MIN_EXPRESSIBILITY} (current IR may suffice)`);
+    }
+    if (proposal.qualityScore < MIN_QUALITY_SCORE) {
+        reasons.push(`quality ${proposal.qualityScore} < ${MIN_QUALITY_SCORE}`);
+    }
+    // Target coverage check: count how many targets the codegen stub covers
+    const targetCount = Object.keys(proposal.targetStubs).length;
+    if (targetCount > 0 && targetCount < MIN_TARGET_COVERAGE) {
+        reasons.push(`target coverage ${targetCount}/${MIN_TARGET_COVERAGE}`);
+    }
+    return {
+        pass: reasons.length === 0,
+        reasons,
+    };
+}
+/** Get governance thresholds for display. */
+export function getGovernanceThresholds() {
+    return {
+        minFrequency: MIN_FREQUENCY,
+        minExpressibility: MIN_EXPRESSIBILITY,
+        minTargetCoverage: MIN_TARGET_COVERAGE,
+        minQualityScore: MIN_QUALITY_SCORE,
+    };
+}
+//# sourceMappingURL=node-governance.js.map

package/dist/node-governance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-governance.js","sourceRoot":"","sources":["../src/node-governance.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AASH,MAAM,aAAa,GAAG,CAAC,CAAC;AACxB,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAC/B,MAAM,mBAAmB,GAAG,CAAC,CAAC,CAAC,oBAAoB;AACnD,MAAM,iBAAiB,GAAG,EAAE,CAAC;AAE7B;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,QAAsB;IACnD,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,IAAI,QAAQ,CAAC,SAAS,GAAG,aAAa,EAAE,CAAC;QACvC,OAAO,CAAC,IAAI,CAAC,aAAa,QAAQ,CAAC,SAAS,MAAM,aAAa,wBAAwB,CAAC,CAAC;IAC3F,CAAC;IAED,IAAI,QAAQ,CAAC,mBAAmB,CAAC,OAAO,GAAG,kBAAkB,EAAE,CAAC;QAC9D,OAAO,CAAC,IAAI,CAAC,kBAAkB,QAAQ,CAAC,mBAAmB,CAAC,OAAO,MAAM,kBAAkB,2BAA2B,CAAC,CAAC;IAC1H,CAAC;IAED,IAAI,QAAQ,CAAC,YAAY,GAAG,iBAAiB,EAAE,CAAC;QAC9C,OAAO,CAAC,IAAI,CAAC,WAAW,QAAQ,CAAC,YAAY,MAAM,iBAAiB,EAAE,CAAC,CAAC;IAC1E,CAAC;IAED,wEAAwE;IACxE,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC;IAC7D,IAAI,WAAW,GAAG,CAAC,IAAI,WAAW,GAAG,mBAAmB,EAAE,CAAC;QACzD,OAAO,CAAC,IAAI,CAAC,mBAAmB,WAAW,IAAI,mBAAmB,EAAE,CAAC,CAAC;IACxE,CAAC;IAED,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC;QAC1B,OAAO;KACR,CAAC;AACJ,CAAC;AAED,6CAA6C;AAC7C,MAAM,UAAU,uBAAuB;IACrC,OAAO;QACL,YAAY,EAAE,aAAa;QAC3B,iBAAiB,EAAE,kBAAkB;QACrC,iBAAiB,EAAE,mBAAmB;QACtC,eAAe,EAAE,iBAAiB;KACnC,CAAC;AACJ,CAAC"}

package/dist/node-proposer.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Node Proposer — generates IR node proposals from structural gap patterns.
+ *
+ * Deterministic: no LLM needed (--llm is optional enhancement).
+ * Maps detected structural patterns to proposed KERN node types.
+ */
+import type { AnalyzedPattern, NodeProposal, ExpressibilityScore } from './types.js';
+export declare function resetNodeProposalIds(): void;
+/**
+ * Derive a KERN node name from a structural pattern's detector ID.
+ */
+export declare function deriveNodeName(pattern: AnalyzedPattern): string;
+/**
+ * Generate example KERN syntax for a proposed node.
+ */
+export declare function generateKernSyntaxExample(nodeName: string, pattern: AnalyzedPattern): string;
+/**
+ * Generate a codegen stub for a proposed node.
+ */
+export declare function generateCodegenStub(nodeName: string, pattern: AnalyzedPattern): string;
+/**
+ * Propose new IR nodes from analyzed structural patterns.
+ *
+ * Each pattern with an expressibility score above the threshold
+ * gets a deterministic node proposal.
+ */
+export declare function proposeNodes(patterns: AnalyzedPattern[], scores: Map<string, ExpressibilityScore>): NodeProposal[];

package/dist/node-proposer.js

@@ -0,0 +1,127 @@
+/**
+ * Node Proposer — generates IR node proposals from structural gap patterns.
+ *
+ * Deterministic: no LLM needed (--llm is optional enhancement).
+ * Maps detected structural patterns to proposed KERN node types.
+ */
+let _nodeProposalCounter = 0;
+function nextNodeProposalId() {
+    return `node-proposal-${++_nodeProposalCounter}`;
+}
+export function resetNodeProposalIds() {
+    _nodeProposalCounter = 0;
+}
+/**
+ * Derive a KERN node name from a structural pattern's detector ID.
+ */
+export function deriveNodeName(pattern) {
+    // Strip gap- prefix and trailing counter: gap-structural-model-1 → structural-model
+    const detectorId = pattern.gapIds[0]?.replace(/^gap-/, '').replace(/-\d+$/, '') || pattern.templateName;
+    const nameMap = {
+        'structural-model': 'model',
+        'structural-repository': 'repository',
+        'structural-dependency': 'dependency',
+        'structural-cache': 'cache',
+        'structural-conditional': 'conditional',
+        'structural-select': 'select',
+    };
+    // Direct match on stripped detector ID
+    if (nameMap[detectorId])
+        return nameMap[detectorId];
+    // Try to match from template name
+    for (const [prefix, name] of Object.entries(nameMap)) {
+        if (pattern.templateName.includes(prefix.replace('structural-', ''))) {
+            return name;
+        }
+    }
+    // Fallback: derive from template name
+    const cleaned = pattern.templateName
+        .replace(/^structural-?/, '')
+        .replace(/-\w+$/, '');
+    return cleaned || 'unknown';
+}
+/**
+ * Generate example KERN syntax for a proposed node.
+ */
+export function generateKernSyntaxExample(nodeName, pattern) {
+    const examples = {
+        model: [
+            `model name=Example table=examples`,
+            `  column name=id type=uuid primary=true`,
+            `  column name=name type=string`,
+        ].join('\n'),
+        repository: [
+            `repository name=ExampleRepo model=Example`,
+            `  method name=findById params="id:string" returns="Example|null"`,
+            `    handler <<<return this.findOne({ id });>>>`,
+        ].join('\n'),
+        dependency: [
+            `dependency name=exampleService scope=singleton`,
+            `  inject name=repo type=ExampleRepository`,
+            `  returns ExampleService with=repo`,
+        ].join('\n'),
+        cache: [
+            `cache name=exampleCache backend=redis prefix="ex:" ttl=3600`,
+            `  entry name=item key="ex:{id}"`,
+            `    strategy read-through`,
+        ].join('\n'),
+        conditional: [
+            `conditional if=isEnabled`,
+            `  text value="Feature enabled"`,
+        ].join('\n'),
+        select: [
+            `select name=status value=current placeholder="Choose"`,
+            `  option value=active label="Active"`,
+            `  option value=inactive label="Inactive"`,
+        ].join('\n'),
+    };
+    return examples[nodeName] || `${nodeName} name=example\n  // TODO: define syntax`;
+}
+/**
+ * Generate a codegen stub for a proposed node.
+ */
+export function generateCodegenStub(nodeName, pattern) {
+    const fnName = `generate${nodeName[0].toUpperCase()}${nodeName.slice(1)}`;
+    return [
+        `export function ${fnName}(node: IRNode): string[] {`,
+        `  const props = p(node);`,
+        `  const name = props.name as string;`,
+        `  const lines: string[] = [];`,
+        `  // TODO: implement codegen for ${nodeName}`,
+        `  lines.push(\`// ${nodeName}: \${name}\`);`,
+        `  return lines;`,
+        `}`,
+    ].join('\n');
+}
+/**
+ * Propose new IR nodes from analyzed structural patterns.
+ *
+ * Each pattern with an expressibility score above the threshold
+ * gets a deterministic node proposal.
+ */
+export function proposeNodes(patterns, scores) {
+    const proposals = [];
+    for (const pattern of patterns) {
+        const score = scores.get(pattern.structuralHash);
+        if (!score)
+            continue;
+        const nodeName = deriveNodeName(pattern);
+        const kernSyntax = generateKernSyntaxExample(nodeName, pattern);
+        const codegenStub = generateCodegenStub(nodeName, pattern);
+        proposals.push({
+            id: nextNodeProposalId(),
+            nodeName,
+            kernSyntax,
+            codegenStub,
+            targetStubs: {},
+            expressibilityScore: score,
+            frequency: pattern.instanceCount,
+            qualityScore: pattern.qualityScore.overallScore,
+            supportingGapIds: pattern.gapIds,
+        });
+    }
+    // Sort by quality score descending
+    proposals.sort((a, b) => b.qualityScore - a.qualityScore);
+    return proposals;
+}
+//# sourceMappingURL=node-proposer.js.map

package/dist/node-proposer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-proposer.js","sourceRoot":"","sources":["../src/node-proposer.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,IAAI,oBAAoB,GAAG,CAAC,CAAC;AAE7B,SAAS,kBAAkB;IACzB,OAAO,iBAAiB,EAAE,oBAAoB,EAAE,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,oBAAoB;IAClC,oBAAoB,GAAG,CAAC,CAAC;AAC3B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,OAAwB;IACrD,oFAAoF;IACpF,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,YAAY,CAAC;IAExG,MAAM,OAAO,GAA2B;QACtC,kBAAkB,EAAE,OAAO;QAC3B,uBAAuB,EAAE,YAAY;QACrC,uBAAuB,EAAE,YAAY;QACrC,kBAAkB,EAAE,OAAO;QAC3B,wBAAwB,EAAE,aAAa;QACvC,mBAAmB,EAAE,QAAQ;KAC9B,CAAC;IAEF,uCAAuC;IACvC,IAAI,OAAO,CAAC,UAAU,CAAC;QAAE,OAAO,OAAO,CAAC,UAAU,CAAC,CAAC;IAEpD,kCAAkC;IAClC,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACrD,IAAI,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;YACrE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,sCAAsC;IACtC,MAAM,OAAO,GAAG,OAAO,CAAC,YAAY;SACjC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC;SAC5B,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACxB,OAAO,OAAO,IAAI,SAAS,CAAC;AAC9B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,yBAAyB,CAAC,QAAgB,EAAE,OAAwB;IAClF,MAAM,QAAQ,GAA2B;QACvC,KAAK,EAAE;YACL,mCAAmC;YACnC,yCAAyC;YACzC,gCAAgC;SACjC,CAAC,IAAI,CAAC,IAAI,CAAC;QACZ,UAAU,EAAE;YACV,2CAA2C;YAC3C,kEAAkE;YAClE,gDAAgD;SACjD,CAAC,IAAI,CAAC,IAAI,CAAC;QACZ,UAAU,EAAE;YACV,gDAAgD;YAChD,2CAA2C;YAC3C,oCAAoC;SACrC,CAAC,IAAI,CAAC,IAAI,CAAC;QACZ,KAAK,EAAE;YACL,6DAA6D;YAC7D,iCAAiC;YACjC,2BAA2B;SAC5B,CAAC,IAAI,CAAC,IAAI,CAAC;QACZ,WAAW,EAAE;YACX,0BAA0B;YAC1B,gCAAgC;SACjC,CAAC,IAAI,CAAC,IAAI,CAAC;QACZ,MAAM,EAAE;YACN,uDAAuD;YACvD,sCAAsC;YACtC,0CAA0C;SAC3C,CAAC,IAAI,CAAC,IAAI,CAAC;KACb,CAAC;IAEF,OAAO,QAAQ,CAAC,QAAQ,CAAC,IAAI,GAAG,QAAQ,yCAAyC,CAAC;AACpF,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAAgB,EAAE,OAAwB;IAC5E,MAAM,MAAM,GAAG,WAAW,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1E,OAAO;QACL,mBAAmB,MAAM,4BAA4B;QACrD,0BAA0B;QAC1B,sCAAsC;QACtC,+BAA+B;QAC/B,oCAAoC,QAAQ,EAAE;QAC9C,qBAAqB,QAAQ,gBAAgB;QAC7C,iBAAiB;QACjB,GAAG;KACJ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAC1B,QAA2B,EAC3B,MAAwC;IAExC,MAAM,SAAS,GAAmB,EAAE,CAAC;IAErC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;QACjD,IAAI,CAAC,KAAK;YAAE,SAAS;QAErB,MAAM,QAAQ,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;QACzC,MAAM,UAAU,GAAG,yBAAyB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAChE,MAAM,WAAW,GAAG,mBAAmB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAE3D,SAAS,CAAC,IAAI,CAAC;YACb,EAAE,EAAE,kBAAkB,EAAE;YACxB,QAAQ;YACR,UAAU;YACV,WAAW;YACX,WAAW,EAAE,EAAE;YACf,mBAAmB,EAAE,KAAK;YAC1B,SAAS,EAAE,OAAO,CAAC,aAAa;YAChC,YAAY,EAAE,OAAO,CAAC,YAAY,CAAC,YAAY;YAC/C,gBAAgB,EAAE,OAAO,CAAC,MAAM;SACjC,CAAC,CAAC;IACL,CAAC;IAED,mCAAmC;IACnC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC;IAC1D,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/node-validator.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Node Validator — validates IR node proposals by parsing + codegen dry-run.
+ *
+ * Checks:
+ *   1. KERN syntax parses without errors
+ *   2. Codegen stub compiles (syntax check)
+ *   3. Count target coverage
+ */
+import type { NodeProposal, NodeValidationResult } from './types.js';
+/**
+ * Validate a node proposal.
+ *
+ * In v3, this is a lightweight structural check.
+ * Full validation (typecheck output, run against all targets) is deferred to promotion.
+ */
+export declare function validateNodeProposal(proposal: NodeProposal): NodeValidationResult;

package/dist/node-validator.js

@@ -0,0 +1,74 @@
+/**
+ * Node Validator — validates IR node proposals by parsing + codegen dry-run.
+ *
+ * Checks:
+ *   1. KERN syntax parses without errors
+ *   2. Codegen stub compiles (syntax check)
+ *   3. Count target coverage
+ */
+/**
+ * Validate a node proposal.
+ *
+ * In v3, this is a lightweight structural check.
+ * Full validation (typecheck output, run against all targets) is deferred to promotion.
+ */
+export function validateNodeProposal(proposal) {
+    const errors = [];
+    // 1. Check KERN syntax is non-empty and parseable-looking
+    const parseOk = validateKernSyntax(proposal.kernSyntax, errors);
+    // 2. Check codegen stub has expected structure
+    const codegenOk = validateCodegenStub(proposal.codegenStub, proposal.nodeName, errors);
+    // 3. Count target coverage
+    const targetCoverage = countTargetCoverage(proposal);
+    return {
+        parseOk,
+        codegenOk,
+        targetCoverage,
+        errors,
+    };
+}
+function validateKernSyntax(syntax, errors) {
+    if (!syntax || syntax.trim().length === 0) {
+        errors.push('KERN syntax is empty');
+        return false;
+    }
+    // Check the syntax has proper indentation structure
+    const lines = syntax.split('\n').filter(l => l.trim().length > 0);
+    if (lines.length === 0) {
+        errors.push('KERN syntax has no non-empty lines');
+        return false;
+    }
+    // First line should start with a node type (alpha chars)
+    const firstLine = lines[0].trimStart();
+    if (!/^[a-zA-Z]/.test(firstLine)) {
+        errors.push(`KERN syntax first line doesn't start with a node type: "${firstLine}"`);
+        return false;
+    }
+    return true;
+}
+function validateCodegenStub(stub, nodeName, errors) {
+    if (!stub || stub.trim().length === 0) {
+        errors.push('Codegen stub is empty');
+        return false;
+    }
+    // Check it contains a function definition
+    if (!stub.includes('function')) {
+        errors.push('Codegen stub missing function definition');
+        return false;
+    }
+    // Check it references the node name
+    const expectedFn = `generate${nodeName[0].toUpperCase()}${nodeName.slice(1)}`;
+    if (!stub.includes(expectedFn)) {
+        errors.push(`Codegen stub missing expected function name: ${expectedFn}`);
+        return false;
+    }
+    return true;
+}
+function countTargetCoverage(proposal) {
+    // Core node types work across all targets (11)
+    // Target stubs add specific coverage
+    const baseCoverage = 11; // core nodes work everywhere
+    const stubs = Object.keys(proposal.targetStubs).length;
+    return stubs > 0 ? stubs : baseCoverage;
+}
+//# sourceMappingURL=node-validator.js.map

package/dist/node-validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-validator.js","sourceRoot":"","sources":["../src/node-validator.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,QAAsB;IACzD,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,0DAA0D;IAC1D,MAAM,OAAO,GAAG,kBAAkB,CAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAEhE,+CAA+C;IAC/C,MAAM,SAAS,GAAG,mBAAmB,CAAC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAEvF,2BAA2B;IAC3B,MAAM,cAAc,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAErD,OAAO;QACL,OAAO;QACP,SAAS;QACT,cAAc;QACd,MAAM;KACP,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAc,EAAE,MAAgB;IAC1D,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QACpC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,oDAAoD;IACpD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAClE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;QAClD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,yDAAyD;IACzD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;IACvC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC,2DAA2D,SAAS,GAAG,CAAC,CAAC;QACrF,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY,EAAE,QAAgB,EAAE,MAAgB;IAC3E,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QACrC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,0CAA0C;IAC1C,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/B,MAAM,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;QACxD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,oCAAoC;IACpC,MAAM,UAAU,GAAG,WAAW,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9E,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/B,MAAM,CAAC,IAAI,CAAC,gDAAgD,UAAU,EAAE,CAAC,CAAC;QAC1E,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,mBAAmB,CAAC,QAAsB;IACjD,+CAA+C;IAC/C,qCAAqC;IACrC,MAAM,YAAY,GAAG,EAAE,CAAC,CAAC,6BAA6B;IACtD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC;IACvD,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC;AAC1C,CAAC"}

package/dist/pattern-analyzer.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Pattern Analyzer — Phase 2 of the evolve pipeline.
+ *
+ * Groups gaps by structural hash, deduplicates, scores, and selects
+ * representative examples for template generation.
+ */
+import type { PatternGap, AnalyzedPattern, QualityThresholds } from './types.js';
+/**
+ * Compute a structural hash for a pattern gap.
+ *
+ * Variables are replaced with placeholders so structurally equivalent
+ * patterns (same shape, different values) get the same hash.
+ */
+export declare function computeStructuralHash(gap: PatternGap): string;
+/**
+ * Derive a human-readable template name from a gap.
+ *
+ * Uses the detector ID and key identifiers, not auto-generated garbage.
+ */
+export declare function deriveTemplateName(gap: PatternGap): string;
+/**
+ * Analyze structural gaps separately for v3 node proposals.
+ */
+export declare function analyzeStructuralPatterns(gaps: PatternGap[], thresholds?: QualityThresholds): AnalyzedPattern[];
+/**
+ * Analyze and group pattern gaps into deduplicated, scored patterns.
+ */
+export declare function analyzePatterns(gaps: PatternGap[], thresholds?: QualityThresholds): AnalyzedPattern[];