@kernlang/evolve 3.0.0

package/dist/pattern-analyzer.js

@@ -0,0 +1,181 @@
+/**
+ * Pattern Analyzer — Phase 2 of the evolve pipeline.
+ *
+ * Groups gaps by structural hash, deduplicates, scores, and selects
+ * representative examples for template generation.
+ */
+import { createHash } from 'crypto';
+import { scorePattern, passesThresholds, DEFAULT_THRESHOLDS } from './quality-scorer.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 function computeStructuralHash(gap) {
+    // Normalize: replace variable values with slot types
+    const paramSignature = gap.extractedParams
+        .map(p => `${p.name}:${p.slotType}`)
+        .sort()
+        .join('|');
+    // The hash key: detector + pattern structure (not values)
+    const normalized = `${gap.detectorId}::${paramSignature}`;
+    return createHash('sha256').update(normalized).digest('hex').substring(0, 12);
+}
+/**
+ * Derive a human-readable template name from a gap.
+ *
+ * Uses the detector ID and key identifiers, not auto-generated garbage.
+ */
+export function deriveTemplateName(gap) {
+    // Start with detector ID which is already descriptive
+    const base = gap.detectorId;
+    // Look for a key identifier param (the main "name" param)
+    const nameParam = gap.extractedParams.find(p => p.slotType === 'identifier' && !p.optional);
+    // If there's a clear naming pattern, use it
+    if (nameParam) {
+        // e.g., react-hook-form + useForm → rhf-useform
+        const abbrev = abbreviateLibrary(gap.libraryName);
+        const paramHint = nameParam.name.replace(/Name$/, '');
+        return `${abbrev}-${paramHint}`.toLowerCase();
+    }
+    return base;
+}
+function abbreviateLibrary(name) {
+    // Common abbreviations
+    const abbrevs = {
+        'React Hook Form': 'rhf',
+        'Formik': 'formik',
+        'Recoil': 'recoil',
+        'Redux Toolkit': 'rtk',
+        'Framer Motion': 'motion',
+        'Axios': 'axios',
+        'Ky': 'ky',
+        'Yup': 'yup',
+        'Valibot': 'valibot',
+        'Express Middleware': 'express-mw',
+        'VueUse': 'vueuse',
+        'Testing Library': 'rtl',
+    };
+    return abbrevs[name] || name.toLowerCase().replace(/\s+/g, '-');
+}
+/**
+ * Extract import declarations from a gap's anchor import and library.
+ */
+function extractImports(gap) {
+    // The anchor import tells us what to import
+    return [{
+            from: gap.anchorImport.includes('/') ? gap.anchorImport : guessImportSource(gap),
+            names: [gap.anchorImport],
+        }];
+}
+function guessImportSource(gap) {
+    // Map library names to package names
+    const packageMap = {
+        'React Hook Form': 'react-hook-form',
+        'Formik': 'formik',
+        'Recoil': 'recoil',
+        'Redux Toolkit': '@reduxjs/toolkit',
+        'Framer Motion': 'framer-motion',
+        'Axios': 'axios',
+        'Ky': 'ky',
+        'Yup': 'yup',
+        'Valibot': 'valibot',
+        'VueUse': '@vueuse/core',
+        'Testing Library': '@testing-library/react',
+    };
+    return packageMap[gap.libraryName] || gap.libraryName.toLowerCase();
+}
+/**
+ * Build a golden example from the representative gap.
+ */
+function buildGoldenExample(gap) {
+    const slotValues = {};
+    for (const param of gap.extractedParams) {
+        slotValues[param.name] = param.value;
+    }
+    return {
+        originalTs: gap.snippet,
+        expectedExpansion: gap.snippet, // Will be refined during template proposal phase
+        slotValues,
+    };
+}
+/**
+ * Merge extracted params from multiple gaps into a union set.
+ * Params that appear in all instances stay required; others become optional.
+ */
+function mergeParams(gaps) {
+    if (gaps.length === 0)
+        return [];
+    if (gaps.length === 1)
+        return [...gaps[0].extractedParams];
+    // Count how many gaps have each param
+    const paramCounts = new Map();
+    const paramMap = new Map();
+    for (const gap of gaps) {
+        for (const param of gap.extractedParams) {
+            paramCounts.set(param.name, (paramCounts.get(param.name) || 0) + 1);
+            if (!paramMap.has(param.name)) {
+                paramMap.set(param.name, { ...param });
+            }
+        }
+    }
+    // Params not in ALL instances become optional
+    const merged = [];
+    for (const [name, param] of paramMap) {
+        const count = paramCounts.get(name) || 0;
+        merged.push({
+            ...param,
+            optional: param.optional || count < gaps.length,
+        });
+    }
+    return merged;
+}
+/**
+ * Analyze structural gaps separately for v3 node proposals.
+ */
+export function analyzeStructuralPatterns(gaps, thresholds = DEFAULT_THRESHOLDS) {
+    const structuralGaps = gaps.filter(g => g.libraryName === 'structural');
+    return groupAndScore(structuralGaps, thresholds);
+}
+/**
+ * Analyze and group pattern gaps into deduplicated, scored patterns.
+ */
+export function analyzePatterns(gaps, thresholds = DEFAULT_THRESHOLDS) {
+    // Structural gaps are findings, not template proposal candidates — filter them out
+    const templateGaps = gaps.filter(g => g.libraryName !== 'structural');
+    return groupAndScore(templateGaps, thresholds);
+}
+function groupAndScore(gaps, thresholds) {
+    const groups = new Map();
+    for (const gap of gaps) {
+        const hash = computeStructuralHash(gap);
+        const key = `${gap.libraryName}::${hash}`;
+        const group = groups.get(key) || [];
+        group.push(gap);
+        groups.set(key, group);
+    }
+    const patterns = [];
+    for (const [key, groupGaps] of groups) {
+        const representative = groupGaps[0];
+        const hash = computeStructuralHash(representative);
+        const qualityScore = scorePattern(groupGaps, thresholds);
+        if (!passesThresholds(qualityScore, thresholds))
+            continue;
+        patterns.push({
+            templateName: deriveTemplateName(representative),
+            structuralHash: hash,
+            namespace: representative.libraryName,
+            slots: mergeParams(groupGaps),
+            instanceCount: groupGaps.length,
+            qualityScore,
+            representativeSnippet: representative.snippet,
+            goldenExample: buildGoldenExample(representative),
+            imports: extractImports(representative),
+            gapIds: groupGaps.map(g => g.id),
+        });
+    }
+    patterns.sort((a, b) => b.qualityScore.overallScore - a.qualityScore.overallScore);
+    return patterns;
+}
+//# sourceMappingURL=pattern-analyzer.js.map

package/dist/pattern-analyzer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pattern-analyzer.js","sourceRoot":"","sources":["../src/pattern-analyzer.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAEpC,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAEzF;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,GAAe;IACnD,qDAAqD;IACrD,MAAM,cAAc,GAAG,GAAG,CAAC,eAAe;SACvC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;SACnC,IAAI,EAAE;SACN,IAAI,CAAC,GAAG,CAAC,CAAC;IAEb,0DAA0D;IAC1D,MAAM,UAAU,GAAG,GAAG,GAAG,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;IAC1D,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAChF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,GAAe;IAChD,sDAAsD;IACtD,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,CAAC;IAE5B,0DAA0D;IAC1D,MAAM,SAAS,GAAG,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC7C,CAAC,CAAC,QAAQ,KAAK,YAAY,IAAI,CAAC,CAAC,CAAC,QAAQ,CAC3C,CAAC;IAEF,4CAA4C;IAC5C,IAAI,SAAS,EAAE,CAAC;QACd,gDAAgD;QAChD,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAClD,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACtD,OAAO,GAAG,MAAM,IAAI,SAAS,EAAE,CAAC,WAAW,EAAE,CAAC;IAChD,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY;IACrC,uBAAuB;IACvB,MAAM,OAAO,GAA2B;QACtC,iBAAiB,EAAE,KAAK;QACxB,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,QAAQ;QAClB,eAAe,EAAE,KAAK;QACtB,eAAe,EAAE,QAAQ;QACzB,OAAO,EAAE,OAAO;QAChB,IAAI,EAAE,IAAI;QACV,KAAK,EAAE,KAAK;QACZ,SAAS,EAAE,SAAS;QACpB,oBAAoB,EAAE,YAAY;QAClC,QAAQ,EAAE,QAAQ;QAClB,iBAAiB,EAAE,KAAK;KACzB,CAAC;IACF,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AAClE,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,GAAe;IACrC,4CAA4C;IAC5C,OAAO,CAAC;YACN,IAAI,EAAE,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC;YAChF,KAAK,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC;SAC1B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAe;IACxC,qCAAqC;IACrC,MAAM,UAAU,GAA2B;QACzC,iBAAiB,EAAE,iBAAiB;QACpC,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,QAAQ;QAClB,eAAe,EAAE,kBAAkB;QACnC,eAAe,EAAE,eAAe;QAChC,OAAO,EAAE,OAAO;QAChB,IAAI,EAAE,IAAI;QACV,KAAK,EAAE,KAAK;QACZ,SAAS,EAAE,SAAS;QACpB,QAAQ,EAAE,cAAc;QACxB,iBAAiB,EAAE,wBAAwB;KAC5C,CAAC;IACF,OAAO,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;AACtE,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CAAC,GAAe;IACzC,MAAM,UAAU,GAA2B,EAAE,CAAC;IAC9C,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,eAAe,EAAE,CAAC;QACxC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;IACvC,CAAC;IAED,OAAO;QACL,UAAU,EAAE,GAAG,CAAC,OAAO;QACvB,iBAAiB,EAAE,GAAG,CAAC,OAAO,EAAE,iDAAiD;QACjF,UAAU;KACX,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,WAAW,CAAC,IAAkB;IACrC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;IAE3D,sCAAsC;IACtC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA0B,CAAC;IAEnD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,eAAe,EAAE,CAAC;YACxC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACpE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;IACH,CAAC;IAED,8CAA8C;IAC9C,MAAM,MAAM,GAAqB,EAAE,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,QAAQ,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC;YACV,GAAG,KAAK;YACR,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM;SAChD,CAAC,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAAkB,EAClB,aAAgC,kBAAkB;IAElD,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,YAAY,CAAC,CAAC;IACxE,OAAO,aAAa,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;AACnD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAC7B,IAAkB,EAClB,aAAgC,kBAAkB;IAElD,mFAAmF;IACnF,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,YAAY,CAAC,CAAC;IACtE,OAAO,aAAa,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,aAAa,CACpB,IAAkB,EAClB,UAA6B;IAE7B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAC;IAE/C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;QACxC,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACzB,CAAC;IAED,MAAM,QAAQ,GAAsB,EAAE,CAAC;IAEvC,KAAK,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,MAAM,EAAE,CAAC;QACtC,MAAM,cAAc,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,IAAI,GAAG,qBAAqB,CAAC,cAAc,CAAC,CAAC;QACnD,MAAM,YAAY,GAAG,YAAY,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QAEzD,IAAI,CAAC,gBAAgB,CAAC,YAAY,EAAE,UAAU,CAAC;YAAE,SAAS;QAE1D,QAAQ,CAAC,IAAI,CAAC;YACZ,YAAY,EAAE,kBAAkB,CAAC,cAAc,CAAC;YAChD,cAAc,EAAE,IAAI;YACpB,SAAS,EAAE,cAAc,CAAC,WAAW;YACrC,KAAK,EAAE,WAAW,CAAC,SAAS,CAAC;YAC7B,aAAa,EAAE,SAAS,CAAC,MAAM;YAC/B,YAAY;YACZ,qBAAqB,EAAE,cAAc,CAAC,OAAO;YAC7C,aAAa,EAAE,kBAAkB,CAAC,cAAc,CAAC;YACjD,OAAO,EAAE,cAAc,CAAC,cAAc,CAAC;YACvC,MAAM,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACjC,CAAC,CAAC;IACL,CAAC;IAED,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC;IACnF,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/quality-scorer.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Quality Scorer — scores patterns to filter out low-value template candidates.
+ *
+ * Patterns like `cors()` that are one-liners get low relevance scores.
+ * Templates should compress, not wrap.
+ */
+import type { PatternGap, QualityScore, QualityThresholds } from './types.js';
+export declare const DEFAULT_THRESHOLDS: QualityThresholds;
+/**
+ * Calculate quality score for a group of pattern gaps (same structural pattern).
+ */
+export declare function scorePattern(gaps: PatternGap[], thresholds?: QualityThresholds): QualityScore;
+/**
+ * Check if a quality score passes the configured thresholds.
+ */
+export declare function passesThresholds(score: QualityScore, thresholds?: QualityThresholds): boolean;

package/dist/quality-scorer.js

@@ -0,0 +1,79 @@
+/**
+ * Quality Scorer — scores patterns to filter out low-value template candidates.
+ *
+ * Patterns like `cors()` that are one-liners get low relevance scores.
+ * Templates should compress, not wrap.
+ */
+export const DEFAULT_THRESHOLDS = {
+    minConfidence: 60,
+    minSupport: 1,
+    maxVariability: 0.7,
+    minRelevance: 0.3,
+};
+/**
+ * Calculate quality score for a group of pattern gaps (same structural pattern).
+ */
+export function scorePattern(gaps, thresholds = DEFAULT_THRESHOLDS) {
+    if (gaps.length === 0) {
+        return { confidence: 0, supportCount: 0, variability: 0, relevanceScore: 0, overallScore: 0 };
+    }
+    // Confidence: average across all instances
+    const confidence = gaps.reduce((sum, g) => sum + g.confidencePct, 0) / gaps.length;
+    // Support count
+    const supportCount = gaps.length;
+    // Variability: how much the params differ between instances (0 = identical, 1 = all different)
+    const variability = calculateVariability(gaps);
+    // Relevance: does this pattern actually compress code?
+    const relevanceScore = calculateRelevance(gaps);
+    // Weighted composite score
+    const overallScore = computeOverall(confidence, supportCount, variability, relevanceScore);
+    return { confidence, supportCount, variability, relevanceScore, overallScore };
+}
+/**
+ * Check if a quality score passes the configured thresholds.
+ */
+export function passesThresholds(score, thresholds = DEFAULT_THRESHOLDS) {
+    return (score.confidence >= thresholds.minConfidence &&
+        score.supportCount >= thresholds.minSupport &&
+        score.variability <= thresholds.maxVariability &&
+        score.relevanceScore >= thresholds.minRelevance);
+}
+function calculateVariability(gaps) {
+    if (gaps.length <= 1)
+        return 0;
+    // Compare the number and names of extracted params across instances
+    const paramSets = gaps.map(g => g.extractedParams.map(p => p.name).sort().join(','));
+    // Count how many unique param signatures there are
+    const uniqueSignatures = new Set(paramSets).size;
+    const variability = (uniqueSignatures - 1) / Math.max(gaps.length - 1, 1);
+    return Math.min(variability, 1);
+}
+function calculateRelevance(gaps) {
+    // Average snippet length as proxy for code complexity
+    const avgSnippetLength = gaps.reduce((sum, g) => sum + g.snippet.length, 0) / gaps.length;
+    const avgParams = gaps.reduce((sum, g) => sum + g.extractedParams.length, 0) / gaps.length;
+    // Short snippets with few params = low relevance (one-liner wrappers)
+    if (avgSnippetLength < 50 && avgParams <= 1)
+        return 0.1;
+    if (avgSnippetLength < 100 && avgParams <= 1)
+        return 0.2;
+    // Multi-line patterns with params are good template candidates
+    const lineBasedScore = Math.min(avgSnippetLength / 300, 1);
+    const paramBasedScore = Math.min(avgParams / 3, 1);
+    return (lineBasedScore * 0.6 + paramBasedScore * 0.4);
+}
+function computeOverall(confidence, supportCount, variability, relevanceScore) {
+    // Normalize confidence to 0-1
+    const confNorm = confidence / 100;
+    // Support bonus (diminishing returns after 5 instances)
+    const supportNorm = Math.min(supportCount / 5, 1);
+    // Variability penalty (higher variability = worse)
+    const varPenalty = 1 - variability;
+    // Weighted composite
+    const overall = confNorm * 0.3 +
+        supportNorm * 0.2 +
+        varPenalty * 0.2 +
+        relevanceScore * 0.3;
+    return Math.round(overall * 100);
+}
+//# sourceMappingURL=quality-scorer.js.map

package/dist/quality-scorer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"quality-scorer.js","sourceRoot":"","sources":["../src/quality-scorer.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,MAAM,CAAC,MAAM,kBAAkB,GAAsB;IACnD,aAAa,EAAE,EAAE;IACjB,UAAU,EAAE,CAAC;IACb,cAAc,EAAE,GAAG;IACnB,YAAY,EAAE,GAAG;CAClB,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,YAAY,CAC1B,IAAkB,EAClB,aAAgC,kBAAkB;IAElD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;IAChG,CAAC;IAED,2CAA2C;IAC3C,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IAEnF,gBAAgB;IAChB,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC;IAEjC,+FAA+F;IAC/F,MAAM,WAAW,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAE/C,uDAAuD;IACvD,MAAM,cAAc,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAEhD,2BAA2B;IAC3B,MAAM,YAAY,GAAG,cAAc,CAAC,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,cAAc,CAAC,CAAC;IAE3F,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,cAAc,EAAE,YAAY,EAAE,CAAC;AACjF,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAmB,EACnB,aAAgC,kBAAkB;IAElD,OAAO,CACL,KAAK,CAAC,UAAU,IAAI,UAAU,CAAC,aAAa;QAC5C,KAAK,CAAC,YAAY,IAAI,UAAU,CAAC,UAAU;QAC3C,KAAK,CAAC,WAAW,IAAI,UAAU,CAAC,cAAc;QAC9C,KAAK,CAAC,cAAc,IAAI,UAAU,CAAC,YAAY,CAChD,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAkB;IAC9C,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC;IAE/B,oEAAoE;IACpE,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAC7B,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CACpD,CAAC;IAEF,mDAAmD;IACnD,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC;IACjD,MAAM,WAAW,GAAG,CAAC,gBAAgB,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAE1E,OAAO,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAkB;IAC5C,sDAAsD;IACtD,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1F,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IAE3F,sEAAsE;IACtE,IAAI,gBAAgB,GAAG,EAAE,IAAI,SAAS,IAAI,CAAC;QAAE,OAAO,GAAG,CAAC;IACxD,IAAI,gBAAgB,GAAG,GAAG,IAAI,SAAS,IAAI,CAAC;QAAE,OAAO,GAAG,CAAC;IAEzD,+DAA+D;IAC/D,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,gBAAgB,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC;IAC3D,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAEnD,OAAO,CAAC,cAAc,GAAG,GAAG,GAAG,eAAe,GAAG,GAAG,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,cAAc,CACrB,UAAkB,EAClB,YAAoB,EACpB,WAAmB,EACnB,cAAsB;IAEtB,8BAA8B;IAC9B,MAAM,QAAQ,GAAG,UAAU,GAAG,GAAG,CAAC;IAElC,wDAAwD;IACxD,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,YAAY,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAElD,mDAAmD;IACnD,MAAM,UAAU,GAAG,CAAC,GAAG,WAAW,CAAC;IAEnC,qBAAqB;IACrB,MAAM,OAAO,GACX,QAAQ,GAAG,GAAG;QACd,WAAW,GAAG,GAAG;QACjB,UAAU,GAAG,GAAG;QAChB,cAAc,GAAG,GAAG,CAAC;IAEvB,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC;AACnC,CAAC"}

package/dist/sandboxed-generator.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Sandboxed Generator — loads evolved codegen.js files in a restricted vm context.
+ *
+ * Security: Only approved helpers are available. No require, process, fs, or network.
+ * The generator function signature matches core: (node: IRNode) => string[]
+ */
+import type { IRNode } from '@kernlang/core';
+import type { CodegenHelpers } from './evolved-types.js';
+/**
+ * Load a pre-compiled codegen.js file into a sandboxed vm context.
+ * Returns a generator function: (node: IRNode) => string[]
+ *
+ * The sandbox only exposes:
+ * - `helpers` — the CodegenHelpers object
+ * - `exports` — the module's export target
+ *
+ * No require, process, fs, Buffer, setTimeout, fetch, or any global.
+ */
+export declare function loadSandboxedGenerator(jsPath: string): (node: IRNode) => string[];
+/**
+ * Compile a codegen source string into a sandboxed generator function.
+ * Used both for loading from disk and for validation dry-runs.
+ */
+export declare function compileSandboxedGenerator(code: string): (node: IRNode) => string[];
+/** Get a fresh copy of codegen helpers (for testing). */
+export declare function getCodegenHelpers(): CodegenHelpers;

package/dist/sandboxed-generator.js

@@ -0,0 +1,133 @@
+/**
+ * Sandboxed Generator — loads evolved codegen.js files in a restricted vm context.
+ *
+ * Security: Only approved helpers are available. No require, process, fs, or network.
+ * The generator function signature matches core: (node: IRNode) => string[]
+ */
+import { createContext, Script } from 'vm';
+import { readFileSync } from 'fs';
+/**
+ * Build the set of helpers available to sandboxed generators.
+ * These mirror the private helpers in codegen-core.ts.
+ */
+function buildHelpers() {
+    return {
+        capitalize: (s) => s.charAt(0).toUpperCase() + s.slice(1),
+        parseParamList: (params) => {
+            return params.split(',').map(p => {
+                const trimmed = p.trim();
+                const eqIdx = trimmed.indexOf('=');
+                if (eqIdx > 0) {
+                    const paramPart = trimmed.slice(0, eqIdx);
+                    const defaultVal = trimmed.slice(eqIdx + 1);
+                    const colonIdx = paramPart.indexOf(':');
+                    if (colonIdx > 0) {
+                        return `${paramPart.slice(0, colonIdx)}: ${paramPart.slice(colonIdx + 1)} = ${defaultVal}`;
+                    }
+                    return `${paramPart} = ${defaultVal}`;
+                }
+                const colonIdx = trimmed.indexOf(':');
+                if (colonIdx > 0) {
+                    return `${trimmed.slice(0, colonIdx)}: ${trimmed.slice(colonIdx + 1)}`;
+                }
+                return trimmed;
+            }).join(', ');
+        },
+        dedent: (code) => {
+            const lines = code.split('\n');
+            const nonEmpty = lines.filter(l => l.trim().length > 0);
+            if (nonEmpty.length === 0)
+                return code;
+            const min = Math.min(...nonEmpty.map(l => l.match(/^(\s*)/)?.[1].length ?? 0));
+            return lines.map(l => l.slice(min)).join('\n');
+        },
+        kids: (node, type) => {
+            const c = node.children || [];
+            return type ? c.filter(n => n.type === type) : c;
+        },
+        firstChild: (node, type) => {
+            return (node.children || []).find(n => n.type === type);
+        },
+        p: (node) => node.props || {},
+        handlerCode: (node) => {
+            const handler = (node.children || []).find(n => n.type === 'handler');
+            if (!handler)
+                return '';
+            const raw = handler.props?.code || '';
+            // Dedent
+            const lines = raw.split('\n');
+            const nonEmpty = lines.filter(l => l.trim().length > 0);
+            if (nonEmpty.length === 0)
+                return raw;
+            const min = Math.min(...nonEmpty.map(l => l.match(/^(\s*)/)?.[1].length ?? 0));
+            return lines.map(l => l.slice(min)).join('\n');
+        },
+        exportPrefix: (node) => {
+            return (node.props || {}).export === 'false' ? '' : 'export ';
+        },
+    };
+}
+/**
+ * Load a pre-compiled codegen.js file into a sandboxed vm context.
+ * Returns a generator function: (node: IRNode) => string[]
+ *
+ * The sandbox only exposes:
+ * - `helpers` — the CodegenHelpers object
+ * - `exports` — the module's export target
+ *
+ * No require, process, fs, Buffer, setTimeout, fetch, or any global.
+ */
+export function loadSandboxedGenerator(jsPath) {
+    const code = readFileSync(jsPath, 'utf-8');
+    return compileSandboxedGenerator(code);
+}
+/**
+ * Compile a codegen source string into a sandboxed generator function.
+ * Used both for loading from disk and for validation dry-runs.
+ */
+export function compileSandboxedGenerator(code) {
+    const helpers = buildHelpers();
+    const sandbox = {
+        exports: {},
+        module: { exports: {} },
+        helpers,
+        // Explicitly blocked — undefined, not missing (prevents prototype chain access)
+        require: undefined,
+        process: undefined,
+        global: undefined,
+        globalThis: undefined,
+        Buffer: undefined,
+        setTimeout: undefined,
+        setInterval: undefined,
+        fetch: undefined,
+        console: undefined,
+    };
+    const ctx = createContext(sandbox, {
+        name: 'kern-evolved-codegen',
+        codeGeneration: { strings: false, wasm: false },
+    });
+    const script = new Script(code, { filename: 'evolved-codegen.js' });
+    script.runInContext(ctx);
+    // Support both `module.exports = fn` and `exports.default = fn` patterns
+    const fn = sandbox.module.exports.default
+        || sandbox.module.exports.generate
+        || sandbox.module.exports
+        || sandbox.exports.default
+        || sandbox.exports.generate;
+    if (typeof fn !== 'function') {
+        throw new Error('Evolved codegen must export a function: module.exports = function(node, helpers) { ... }');
+    }
+    // Wrap to inject helpers as second argument
+    return (node) => {
+        const result = fn(node, helpers);
+        if (!Array.isArray(result)) {
+            throw new Error(`Evolved codegen must return string[], got ${typeof result}`);
+        }
+        return result;
+    };
+}
+/** Get a fresh copy of codegen helpers (for testing). */
+export function getCodegenHelpers() {
+    return buildHelpers();
+}
+//# sourceMappingURL=sandboxed-generator.js.map

package/dist/sandboxed-generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sandboxed-generator.js","sourceRoot":"","sources":["../src/sandboxed-generator.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,IAAI,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAIlC;;;GAGG;AACH,SAAS,YAAY;IACnB,OAAO;QACL,UAAU,EAAE,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAEjE,cAAc,EAAE,CAAC,MAAc,EAAE,EAAE;YACjC,OAAO,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;gBAC/B,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;gBACzB,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBACnC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;oBACd,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;oBAC1C,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;oBAC5C,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;oBACxC,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;wBACjB,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,KAAK,SAAS,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,MAAM,UAAU,EAAE,CAAC;oBAC7F,CAAC;oBACD,OAAO,GAAG,SAAS,MAAM,UAAU,EAAE,CAAC;gBACxC,CAAC;gBACD,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBACtC,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;oBACjB,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,KAAK,OAAO,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,EAAE,CAAC;gBACzE,CAAC;gBACD,OAAO,OAAO,CAAC;YACjB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChB,CAAC;QAED,MAAM,EAAE,CAAC,IAAY,EAAE,EAAE;YACvB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC/B,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACxD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YACvC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC;YAC/E,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,CAAC;QAED,IAAI,EAAE,CAAC,IAAY,EAAE,IAAa,EAAE,EAAE;YACpC,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,CAAC;QAED,UAAU,EAAE,CAAC,IAAY,EAAE,IAAY,EAAE,EAAE;YACzC,OAAO,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAC1D,CAAC;QAED,CAAC,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE;QAErC,WAAW,EAAE,CAAC,IAAY,EAAE,EAAE;YAC5B,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACtE,IAAI,CAAC,OAAO;gBAAE,OAAO,EAAE,CAAC;YACxB,MAAM,GAAG,GAAI,OAAO,CAAC,KAAK,EAAE,IAAe,IAAI,EAAE,CAAC;YAClD,SAAS;YACT,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACxD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,GAAG,CAAC;YACtC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC;YAC/E,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,CAAC;QAED,YAAY,EAAE,CAAC,IAAY,EAAE,EAAE;YAC7B,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAChE,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAAc;IACnD,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3C,OAAO,yBAAyB,CAAC,IAAI,CAAC,CAAC;AACzC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CAAC,IAAY;IACpD,MAAM,OAAO,GAAG,YAAY,EAAE,CAAC;IAE/B,MAAM,OAAO,GAAG;QACd,OAAO,EAAE,EAA6B;QACtC,MAAM,EAAE,EAAE,OAAO,EAAE,EAA6B,EAAE;QAClD,OAAO;QACP,gFAAgF;QAChF,OAAO,EAAE,SAAS;QAClB,OAAO,EAAE,SAAS;QAClB,MAAM,EAAE,SAAS;QACjB,UAAU,EAAE,SAAS;QACrB,MAAM,EAAE,SAAS;QACjB,UAAU,EAAE,SAAS;QACrB,WAAW,EAAE,SAAS;QACtB,KAAK,EAAE,SAAS;QAChB,OAAO,EAAE,SAAS;KACnB,CAAC;IAEF,MAAM,GAAG,GAAG,aAAa,CAAC,OAAO,EAAE;QACjC,IAAI,EAAE,sBAAsB;QAC5B,cAAc,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE;KAChD,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,oBAAoB,EAAE,CAAC,CAAC;IACpE,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IAEzB,yEAAyE;IACzE,MAAM,EAAE,GAAI,OAAO,CAAC,MAAM,CAAC,OAAe,CAAC,OAAO;WAC5C,OAAO,CAAC,MAAM,CAAC,OAAe,CAAC,QAAQ;WACxC,OAAO,CAAC,MAAM,CAAC,OAAO;WACrB,OAAO,CAAC,OAAe,CAAC,OAAO;WAC/B,OAAO,CAAC,OAAe,CAAC,QAAQ,CAAC;IAEvC,IAAI,OAAO,EAAE,KAAK,UAAU,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CACb,0FAA0F,CAC3F,CAAC;IACJ,CAAC;IAED,4CAA4C;IAC5C,OAAO,CAAC,IAAY,EAAY,EAAE;QAChC,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CAAC,6CAA6C,OAAO,MAAM,EAAE,CAAC,CAAC;QAChF,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;AACJ,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,iBAAiB;IAC/B,OAAO,YAAY,EAAE,CAAC;AACxB,CAAC"}

package/dist/staging.d.ts

@@ -0,0 +1,81 @@
+/**
+ * Staging — Phase 5 of the evolve pipeline.
+ *
+ * Per-proposal file staging + approval workflow.
+ * Each proposal gets its own JSON file to avoid merge conflicts in teams.
+ */
+import type { TemplateProposal, ValidationResult, StagedProposal, ProposalStatus, EvolveConfig, NodeProposal, NodeValidationResult, StagedNodeProposal, NodeProposalStatus } from './types.js';
+import type { EvolveNodeProposal, EvolveV4ValidationResult, StagedEvolveProposal, EvolveV4ProposalStatus } from './evolved-types.js';
+/**
+ * Stage a validated proposal for human review.
+ */
+export declare function stageProposal(proposal: TemplateProposal, validation: ValidationResult, config?: Partial<EvolveConfig>): StagedProposal;
+/**
+ * List all staged proposals.
+ */
+export declare function listStaged(config?: Partial<EvolveConfig>): StagedProposal[];
+/**
+ * Get a single staged proposal by ID.
+ */
+export declare function getStaged(id: string, config?: Partial<EvolveConfig>): StagedProposal | undefined;
+/**
+ * Update the status of a staged proposal.
+ */
+export declare function updateStagedStatus(id: string, status: ProposalStatus, config?: Partial<EvolveConfig>): StagedProposal | undefined;
+/**
+ * Promote approved proposals to project-local templates directory.
+ */
+export declare function promoteLocal(config?: Partial<EvolveConfig>): string[];
+/**
+ * Remove rejected proposals from staging.
+ */
+export declare function cleanRejected(config?: Partial<EvolveConfig>): number;
+/**
+ * Format a staged proposal for split-view display.
+ */
+export declare function formatSplitView(staged: StagedProposal): string;
+/**
+ * Stage a validated node proposal for human review.
+ */
+export declare function stageNodeProposal(proposal: NodeProposal, validation: NodeValidationResult, config?: Partial<EvolveConfig>): StagedNodeProposal;
+/**
+ * List all staged node proposals.
+ */
+export declare function listStagedNodes(config?: Partial<EvolveConfig>): StagedNodeProposal[];
+/**
+ * Update the status of a staged node proposal.
+ */
+export declare function updateStagedNodeStatus(id: string, status: NodeProposalStatus, config?: Partial<EvolveConfig>): StagedNodeProposal | undefined;
+/**
+ * Format a staged node proposal for split-view display.
+ */
+export declare function formatNodeSplitView(staged: StagedNodeProposal): string;
+/**
+ * Stage a validated v4 proposal for human review.
+ */
+export declare function stageEvolveV4Proposal(proposal: EvolveNodeProposal, validation: EvolveV4ValidationResult): StagedEvolveProposal;
+/**
+ * List all staged v4 proposals.
+ */
+export declare function listStagedEvolveV4(): StagedEvolveProposal[];
+/**
+ * Get a single staged v4 proposal by ID.
+ */
+export declare function getStagedEvolveV4(id: string): StagedEvolveProposal | undefined;
+/**
+ * Update the status of a staged v4 proposal.
+ */
+export declare function updateStagedEvolveV4Status(id: string, status: EvolveV4ProposalStatus): StagedEvolveProposal | undefined;
+/**
+ * Remove rejected v4 proposals from staging.
+ */
+export declare function cleanRejectedEvolveV4(): number;
+/**
+ * Remove approved v4 proposals from staging (after graduation).
+ */
+export declare function cleanApprovedEvolveV4(id: string): boolean;
+/**
+ * Format a staged v4 proposal for split-view display.
+ * Matches the design doc UX: KERN syntax | Generated TypeScript, validation badges, reason.
+ */
+export declare function formatEvolveV4SplitView(staged: StagedEvolveProposal): string;