@kernel.chat/kbot 2.13.1 → 2.14.0

package/dist/entropy-context.js

@@ -0,0 +1,144 @@
+// Information-theoretic context management — inspired by Melvin Vopson's
+// research that the universe minimizes informational load. Uses Shannon
+// entropy to measure actual information content of conversation turns.
+import { estimateTokens } from './context-manager.js';
+export const STOPWORDS = new Set([
+    'the', 'a', 'an', 'is', 'are', 'was', 'were', 'be', 'been', 'being',
+    'have', 'has', 'had', 'do', 'does', 'did', 'will', 'would', 'could',
+    'should', 'may', 'might', 'shall', 'can', 'to', 'of', 'in', 'for',
+    'on', 'with', 'at', 'by', 'from', 'as', 'into', 'through', 'during',
+    'before', 'after', 'and', 'but', 'or', 'nor', 'not', 'so', 'yet',
+    'it', 'its', 'this', 'that', 'these', 'those', 'i', 'you', 'he',
+    'she', 'we', 'they', 'me', 'him', 'her', 'us', 'them', 'my', 'your',
+]);
+/** Shannon entropy — bits per character. Higher = more diverse/novel text. */
+export function calculateEntropy(text) {
+    if (!text || text.length === 0)
+        return 0;
+    const freq = new Map();
+    const lower = text.toLowerCase();
+    for (let i = 0; i < lower.length; i++) {
+        const ch = lower[i];
+        freq.set(ch, (freq.get(ch) || 0) + 1);
+    }
+    let entropy = 0;
+    const len = lower.length;
+    for (const count of freq.values()) {
+        const p = count / len;
+        if (p > 0)
+            entropy -= p * Math.log2(p);
+    }
+    return entropy;
+}
+/** How much new information a turn adds vs what's already in context. */
+export function calculateSemanticNovelty(turn, previousTurns) {
+    if (previousTurns.length === 0)
+        return 1.0;
+    const turnBigrams = extractBigrams(turn);
+    if (turnBigrams.size === 0)
+        return 0.5;
+    const contextBigrams = new Set();
+    for (const prev of previousTurns) {
+        for (const bg of extractBigrams(prev)) {
+            contextBigrams.add(bg);
+        }
+    }
+    if (contextBigrams.size === 0)
+        return 1.0;
+    // Jaccard distance: 1 - (intersection / union)
+    let intersection = 0;
+    for (const bg of turnBigrams) {
+        if (contextBigrams.has(bg))
+            intersection++;
+    }
+    const union = new Set([...turnBigrams, ...contextBigrams]).size;
+    return union === 0 ? 0 : 1 - (intersection / union);
+}
+/** Ratio of unique meaningful tokens to total tokens. */
+export function informationDensity(text) {
+    const words = text.toLowerCase().split(/\s+/).filter(w => w.length > 0);
+    if (words.length === 0)
+        return 0;
+    const meaningful = words.filter(w => !STOPWORDS.has(w) && w.length > 2);
+    const unique = new Set(meaningful);
+    return unique.size / words.length;
+}
+function extractBigrams(text) {
+    const words = text.toLowerCase().split(/\s+/).filter(w => w.length > 1);
+    const bigrams = new Set();
+    for (let i = 0; i < words.length - 1; i++) {
+        bigrams.add(`${words[i]} ${words[i + 1]}`);
+    }
+    return bigrams;
+}
+function turnContent(turn) {
+    return typeof turn.content === 'string' ? turn.content : JSON.stringify(turn.content);
+}
+export class EntropyScorer {
+    /**
+     * Composite score formula:
+     * 0.4 * novelty + 0.35 * density + 0.25 * normalizedEntropy
+     *
+     * Novelty weighted highest: redundant info is the biggest waste.
+     * Density second: filler text wastes tokens.
+     * Raw entropy lowest: can be high for random/noisy text too.
+     */
+    scoreTurn(turn, history) {
+        const content = turnContent(turn);
+        const prevContents = history.map(turnContent);
+        const entropy = calculateEntropy(content);
+        const novelty = calculateSemanticNovelty(content, prevContents);
+        const density = informationDensity(content);
+        // Normalize entropy to 0-1 (English text typically 3.5-4.5 bits/char)
+        const normalizedEntropy = Math.min(1, entropy / 5);
+        const composite = 0.4 * novelty + 0.35 * density + 0.25 * normalizedEntropy;
+        return { entropy, novelty, density, composite };
+    }
+    /** Rank all turns by information value (highest first). */
+    rankTurns(turns) {
+        const scored = turns.map((turn, i) => {
+            const history = turns.slice(0, i);
+            return { turn, score: this.scoreTurn(turn, history), rank: 0 };
+        });
+        scored.sort((a, b) => b.score.composite - a.score.composite);
+        scored.forEach((item, i) => item.rank = i + 1);
+        return scored;
+    }
+    /**
+     * Keep highest-entropy turns within token budget.
+     * Low-entropy turns are summarized or dropped.
+     */
+    compress(turns, tokenBudget, keepRecentCount = 4) {
+        if (turns.length <= keepRecentCount)
+            return turns;
+        // Always keep recent turns
+        const recent = turns.slice(-keepRecentCount);
+        const older = turns.slice(0, -keepRecentCount);
+        const recentTokens = recent.reduce((sum, t) => sum + estimateTokens(turnContent(t)), 0);
+        const remaining = tokenBudget - recentTokens;
+        if (remaining <= 0)
+            return recent;
+        // Rank older turns by entropy, keep highest-value ones
+        const ranked = this.rankTurns(older);
+        const kept = [];
+        let used = 0;
+        for (const item of ranked) {
+            const tokens = estimateTokens(turnContent(item.turn));
+            if (used + tokens <= remaining) {
+                kept.push(item.turn);
+                used += tokens;
+            }
+        }
+        // Restore chronological order
+        const keptSet = new Set(kept);
+        const ordered = older.filter(t => keptSet.has(t));
+        return [...ordered, ...recent];
+    }
+    /** Returns true if turn adds < 0.2 novelty — candidate for eviction. */
+    shouldEvict(turn, history) {
+        const content = turnContent(turn);
+        const novelty = calculateSemanticNovelty(content, history.map(turnContent));
+        return novelty < 0.2;
+    }
+}
+//# sourceMappingURL=entropy-context.js.map

package/dist/entropy-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"entropy-context.js","sourceRoot":"","sources":["../src/entropy-context.ts"],"names":[],"mappings":"AAAA,yEAAyE;AACzE,wEAAwE;AACxE,uEAAuE;AAEvE,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAgBrD,MAAM,CAAC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC;IAC/B,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO;IACnE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO;IACnE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK;IACjE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ;IACnE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK;IAChE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI;IAC/D,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM;CACpE,CAAC,CAAA;AAEF,8EAA8E;AAC9E,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAA;IAExC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAA;IACtC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAA;IAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;QACnB,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;IACvC,CAAC;IAED,IAAI,OAAO,GAAG,CAAC,CAAA;IACf,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAA;IACxB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,KAAK,GAAG,GAAG,CAAA;QACrB,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACxC,CAAC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,wBAAwB,CACtC,IAAY,EACZ,aAAuB;IAEvB,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAA;IAE1C,MAAM,WAAW,GAAG,cAAc,CAAC,IAAI,CAAC,CAAA;IACxC,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,GAAG,CAAA;IAEtC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAA;IACxC,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QACjC,KAAK,MAAM,EAAE,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACxB,CAAC;IACH,CAAC;IACD,IAAI,cAAc,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,GAAG,CAAA;IAEzC,+CAA+C;IAC/C,IAAI,YAAY,GAAG,CAAC,CAAA;IACpB,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;QAC7B,IAAI,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,YAAY,EAAE,CAAA;IAC5C,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,WAAW,EAAE,GAAG,cAAc,CAAC,CAAC,CAAC,IAAI,CAAA;IAC/D,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,GAAG,KAAK,CAAC,CAAA;AACrD,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IACvE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAA;IAEhC,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IACvE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAA;IAClC,OAAO,MAAM,CAAC,IAAI,GAAG,KAAK,CAAC,MAAM,CAAA;AACnC,CAAC;AAED,SAAS,cAAc,CAAC,IAAY;IAClC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IACvE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;IACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAA;IAC5C,CAAC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC;AAED,SAAS,WAAW,CAAC,IAAsB;IACzC,OAAO,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;AACvF,CAAC;AAED,MAAM,OAAO,aAAa;IACxB;;;;;;;OAOG;IACH,SAAS,CAAC,IAAsB,EAAE,OAA2B;QAC3D,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAA;QACjC,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;QAE7C,MAAM,OAAO,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAA;QACzC,MAAM,OAAO,GAAG,wBAAwB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;QAC/D,MAAM,OAAO,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAA;QAE3C,sEAAsE;QACtE,MAAM,iBAAiB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,CAAC,CAAA;QAElD,MAAM,SAAS,GAAG,GAAG,GAAG,OAAO,GAAG,IAAI,GAAG,OAAO,GAAG,IAAI,GAAG,iBAAiB,CAAA;QAE3E,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAA;IACjD,CAAC;IAED,2DAA2D;IAC3D,SAAS,CAAC,KAAyB;QACjC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;YACnC,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;YACjC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAA;QAChE,CAAC,CAAC,CAAA;QAEF,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;QAC5D,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;QAC9C,OAAO,MAAM,CAAA;IACf,CAAC;IAED;;;OAGG;IACH,QAAQ,CACN,KAAyB,EACzB,WAAmB,EACnB,eAAe,GAAG,CAAC;QAEnB,IAAI,KAAK,CAAC,MAAM,IAAI,eAAe;YAAE,OAAO,KAAK,CAAA;QAEjD,2BAA2B;QAC3B,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,eAAe,CAAC,CAAA;QAC5C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,CAAA;QAE9C,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,cAAc,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QACvF,MAAM,SAAS,GAAG,WAAW,GAAG,YAAY,CAAA;QAC5C,IAAI,SAAS,IAAI,CAAC;YAAE,OAAO,MAAM,CAAA;QAEjC,uDAAuD;QACvD,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;QACpC,MAAM,IAAI,GAAuB,EAAE,CAAA;QACnC,IAAI,IAAI,GAAG,CAAC,CAAA;QAEZ,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,cAAc,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;YACrD,IAAI,IAAI,GAAG,MAAM,IAAI,SAAS,EAAE,CAAC;gBAC/B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACpB,IAAI,IAAI,MAAM,CAAA;YAChB,CAAC;QACH,CAAC;QAED,8BAA8B;QAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAA;QAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QAEjD,OAAO,CAAC,GAAG,OAAO,EAAE,GAAG,MAAM,CAAC,CAAA;IAChC,CAAC;IAED,wEAAwE;IACxE,WAAW,CAAC,IAAsB,EAAE,OAA2B;QAC7D,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAA;QACjC,MAAM,OAAO,GAAG,wBAAwB,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAA;QAC3E,OAAO,OAAO,GAAG,GAAG,CAAA;IACtB,CAAC;CACF"}

package/dist/error-correction.d.ts

@@ -0,0 +1,37 @@
+export declare enum ErrorType {
+    hallucination = "hallucination",
+    wrong_tool = "wrong_tool",
+    stale_context = "stale_context",
+    incomplete = "incomplete",
+    off_topic = "off_topic",
+    syntax_error = "syntax_error",
+    logic_error = "logic_error"
+}
+export interface CorrectionStrategy {
+    errorType: ErrorType;
+    description: string;
+    correctionPrompt: string;
+    severity: number;
+}
+export interface ClassificationResult {
+    errorType: ErrorType;
+    confidence: number;
+    evidence: string;
+}
+export interface CorrectionRecord {
+    errorType: ErrorType;
+    confidence: number;
+    evidence: string;
+    correctionApplied: string;
+    attempt: number;
+}
+export interface ErrorCorrectionResult {
+    response: string;
+    corrections: CorrectionRecord[];
+    retries: number;
+}
+export declare const CORRECTION_STRATEGIES: Record<ErrorType, CorrectionStrategy>;
+export declare function classifyError(query: string, response: string, context?: string): Promise<ClassificationResult | null>;
+export declare function applyCorrection(query: string, response: string, errorType: ErrorType, evidence: string): string;
+export declare function withErrorCorrection(generateFn: (injectedPrompt?: string) => Promise<string>, query: string, context?: string, maxRetries?: number): Promise<ErrorCorrectionResult>;
+//# sourceMappingURL=error-correction.d.ts.map

package/dist/error-correction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"error-correction.d.ts","sourceRoot":"","sources":["../src/error-correction.ts"],"names":[],"mappings":"AAMA,oBAAY,SAAS;IACnB,aAAa,kBAAkB;IAC/B,UAAU,eAAe;IACzB,aAAa,kBAAkB;IAC/B,UAAU,eAAe;IACzB,SAAS,cAAc;IACvB,YAAY,iBAAiB;IAC7B,WAAW,gBAAgB;CAC5B;AAED,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,SAAS,CAAA;IACpB,WAAW,EAAE,MAAM,CAAA;IACnB,gBAAgB,EAAE,MAAM,CAAA;IACxB,QAAQ,EAAE,MAAM,CAAA;CACjB;AAED,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,SAAS,CAAA;IACpB,UAAU,EAAE,MAAM,CAAA;IAClB,QAAQ,EAAE,MAAM,CAAA;CACjB;AAED,MAAM,WAAW,gBAAgB;IAC/B,SAAS,EAAE,SAAS,CAAA;IACpB,UAAU,EAAE,MAAM,CAAA;IAClB,QAAQ,EAAE,MAAM,CAAA;IAChB,iBAAiB,EAAE,MAAM,CAAA;IACzB,OAAO,EAAE,MAAM,CAAA;CAChB;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,EAAE,MAAM,CAAA;IAChB,WAAW,EAAE,gBAAgB,EAAE,CAAA;IAC/B,OAAO,EAAE,MAAM,CAAA;CAChB;AAED,eAAO,MAAM,qBAAqB,EAAE,MAAM,CAAC,SAAS,EAAE,kBAAkB,CA2CvE,CAAA;AAkBD,wBAAsB,aAAa,CACjC,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,MAAM,EAChB,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CAAC,oBAAoB,GAAG,IAAI,CAAC,CAgCtC;AAED,wBAAgB,eAAe,CAC7B,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,SAAS,EACpB,QAAQ,EAAE,MAAM,GACf,MAAM,CASR;AAED,wBAAsB,mBAAmB,CACvC,UAAU,EAAE,CAAC,cAAc,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,EACxD,KAAK,EAAE,MAAM,EACb,OAAO,CAAC,EAAE,MAAM,EAChB,UAAU,SAAI,GACb,OAAO,CAAC,qBAAqB,CAAC,CA0BhC"}

package/dist/error-correction.js

@@ -0,0 +1,174 @@
+// Error-Correcting Code patterns — inspired by James Gates' discovery of
+// error-correcting codes in string theory. Classifies errors by type and
+// applies targeted corrections instead of blind retry.
+import { loadConfig } from './auth.js';
+export var ErrorType;
+(function (ErrorType) {
+    ErrorType["hallucination"] = "hallucination";
+    ErrorType["wrong_tool"] = "wrong_tool";
+    ErrorType["stale_context"] = "stale_context";
+    ErrorType["incomplete"] = "incomplete";
+    ErrorType["off_topic"] = "off_topic";
+    ErrorType["syntax_error"] = "syntax_error";
+    ErrorType["logic_error"] = "logic_error";
+})(ErrorType || (ErrorType = {}));
+export const CORRECTION_STRATEGIES = {
+    [ErrorType.hallucination]: {
+        errorType: ErrorType.hallucination,
+        description: 'Response contains unsupported claims',
+        correctionPrompt: 'Your previous response contained claims not supported by the provided context. Stick strictly to what\'s in the conversation and tool results. Do not invent facts, file paths, function names, or behaviors.',
+        severity: 4,
+    },
+    [ErrorType.wrong_tool]: {
+        errorType: ErrorType.wrong_tool,
+        description: 'Incorrect tool selection',
+        correctionPrompt: 'You used an incorrect tool for this task. Reconsider which tool best fits the user\'s request. Re-read the available tools and their descriptions before choosing.',
+        severity: 3,
+    },
+    [ErrorType.stale_context]: {
+        errorType: ErrorType.stale_context,
+        description: 'Referenced outdated information',
+        correctionPrompt: 'Your response referenced outdated information. Focus on the most recent context and tool results. Earlier conversation turns may contain stale state — prioritize the latest data.',
+        severity: 3,
+    },
+    [ErrorType.incomplete]: {
+        errorType: ErrorType.incomplete,
+        description: 'Response did not address all parts',
+        correctionPrompt: 'Your response was incomplete. Address all parts of the user\'s request. Re-read the original message and ensure every question or requirement is covered.',
+        severity: 2,
+    },
+    [ErrorType.off_topic]: {
+        errorType: ErrorType.off_topic,
+        description: 'Response diverged from the question',
+        correctionPrompt: 'Your response diverged from the user\'s question. Re-read the original request and answer directly. Do not add tangential information.',
+        severity: 2,
+    },
+    [ErrorType.syntax_error]: {
+        errorType: ErrorType.syntax_error,
+        description: 'Code output has syntax errors',
+        correctionPrompt: 'Your code output contained syntax errors. Fix the syntax and verify it compiles. Check for missing brackets, semicolons, type annotations, and import statements.',
+        severity: 5,
+    },
+    [ErrorType.logic_error]: {
+        errorType: ErrorType.logic_error,
+        description: 'Code has logical flaws',
+        correctionPrompt: 'Your code has a logical error. Trace through the logic step by step. Check edge cases, off-by-one errors, null handling, and conditional branches.',
+        severity: 4,
+    },
+};
+const CLASSIFY_PROMPT = `You are an error classifier for an AI agent's output. Analyze the response and classify any errors found.
+
+USER QUERY:
+{query}
+
+AGENT RESPONSE:
+{response}
+
+{context_section}
+
+Classify the primary error (if any). Respond in JSON:
+{"errorType": "hallucination|wrong_tool|stale_context|incomplete|off_topic|syntax_error|logic_error|none", "confidence": 0.0-1.0, "evidence": "brief explanation"}
+
+If no error found, use errorType "none" with confidence 1.0.
+Respond ONLY with the JSON object.`;
+export async function classifyError(query, response, context) {
+    const config = loadConfig();
+    if (!config)
+        return null;
+    const contextSection = context
+        ? `CONTEXT PROVIDED:\n${context.slice(0, 2000)}`
+        : '';
+    const prompt = CLASSIFY_PROMPT
+        .replace('{query}', query)
+        .replace('{response}', response.slice(0, 3000))
+        .replace('{context_section}', contextSection);
+    try {
+        const text = await callFastModel(config, prompt);
+        const match = text.match(/\{[\s\S]*\}/);
+        if (!match)
+            return null;
+        const parsed = JSON.parse(match[0]);
+        if (parsed.errorType === 'none')
+            return null;
+        const errorType = parsed.errorType;
+        if (!Object.values(ErrorType).includes(errorType))
+            return null;
+        return {
+            errorType,
+            confidence: Math.max(0, Math.min(1, parsed.confidence || 0)),
+            evidence: parsed.evidence || '',
+        };
+    }
+    catch {
+        return null;
+    }
+}
+export function applyCorrection(query, response, errorType, evidence) {
+    const strategy = CORRECTION_STRATEGIES[errorType];
+    return [
+        `[ERROR CORRECTION — ${strategy.description}]`,
+        strategy.correctionPrompt,
+        `Evidence of error: ${evidence}`,
+        `Original query: ${query}`,
+        'Please provide a corrected response.',
+    ].join('\n');
+}
+export async function withErrorCorrection(generateFn, query, context, maxRetries = 2) {
+    const corrections = [];
+    let response = await generateFn();
+    let retries = 0;
+    for (let attempt = 0; attempt < maxRetries; attempt++) {
+        const classification = await classifyError(query, response, context);
+        if (!classification || classification.confidence < 0.7)
+            break;
+        const correctionPrompt = applyCorrection(query, response, classification.errorType, classification.evidence);
+        corrections.push({
+            errorType: classification.errorType,
+            confidence: classification.confidence,
+            evidence: classification.evidence,
+            correctionApplied: CORRECTION_STRATEGIES[classification.errorType].description,
+            attempt: attempt + 1,
+        });
+        response = await generateFn(correctionPrompt);
+        retries++;
+    }
+    return { response, corrections, retries };
+}
+// ── Multi-provider fast model call ──────────────────────────────────
+async function callFastModel(config, prompt) {
+    const provider = config.provider || 'anthropic';
+    const key = config.apiKey || config.key;
+    if (provider === 'anthropic' || provider === 'claude') {
+        const res = await fetch('https://api.anthropic.com/v1/messages', {
+            method: 'POST',
+            headers: {
+                'Content-Type': 'application/json',
+                'x-api-key': key,
+                'anthropic-version': '2023-06-01',
+            },
+            body: JSON.stringify({
+                model: 'claude-haiku-4-5-20251001',
+                max_tokens: 256,
+                messages: [{ role: 'user', content: prompt }],
+            }),
+        });
+        const data = await res.json();
+        return data?.content?.[0]?.text || '';
+    }
+    if (provider === 'openai') {
+        const res = await fetch('https://api.openai.com/v1/chat/completions', {
+            method: 'POST',
+            headers: { 'Content-Type': 'application/json', Authorization: `Bearer ${key}` },
+            body: JSON.stringify({
+                model: 'gpt-4o-mini',
+                max_tokens: 256,
+                messages: [{ role: 'user', content: prompt }],
+            }),
+        });
+        const data = await res.json();
+        return data?.choices?.[0]?.message?.content || '';
+    }
+    // Fallback: skip classification for unsupported providers
+    return '';
+}
+//# sourceMappingURL=error-correction.js.map

package/dist/error-correction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"error-correction.js","sourceRoot":"","sources":["../src/error-correction.ts"],"names":[],"mappings":"AAAA,yEAAyE;AACzE,yEAAyE;AACzE,uDAAuD;AAEvD,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAA;AAEtC,MAAM,CAAN,IAAY,SAQX;AARD,WAAY,SAAS;IACnB,4CAA+B,CAAA;IAC/B,sCAAyB,CAAA;IACzB,4CAA+B,CAAA;IAC/B,sCAAyB,CAAA;IACzB,oCAAuB,CAAA;IACvB,0CAA6B,CAAA;IAC7B,wCAA2B,CAAA;AAC7B,CAAC,EARW,SAAS,KAAT,SAAS,QAQpB;AA6BD,MAAM,CAAC,MAAM,qBAAqB,GAA0C;IAC1E,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE;QACzB,SAAS,EAAE,SAAS,CAAC,aAAa;QAClC,WAAW,EAAE,sCAAsC;QACnD,gBAAgB,EAAE,+MAA+M;QACjO,QAAQ,EAAE,CAAC;KACZ;IACD,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE;QACtB,SAAS,EAAE,SAAS,CAAC,UAAU;QAC/B,WAAW,EAAE,0BAA0B;QACvC,gBAAgB,EAAE,oKAAoK;QACtL,QAAQ,EAAE,CAAC;KACZ;IACD,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE;QACzB,SAAS,EAAE,SAAS,CAAC,aAAa;QAClC,WAAW,EAAE,iCAAiC;QAC9C,gBAAgB,EAAE,oLAAoL;QACtM,QAAQ,EAAE,CAAC;KACZ;IACD,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE;QACtB,SAAS,EAAE,SAAS,CAAC,UAAU;QAC/B,WAAW,EAAE,oCAAoC;QACjD,gBAAgB,EAAE,2JAA2J;QAC7K,QAAQ,EAAE,CAAC;KACZ;IACD,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE;QACrB,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,WAAW,EAAE,qCAAqC;QAClD,gBAAgB,EAAE,wIAAwI;QAC1J,QAAQ,EAAE,CAAC;KACZ;IACD,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE;QACxB,SAAS,EAAE,SAAS,CAAC,YAAY;QACjC,WAAW,EAAE,+BAA+B;QAC5C,gBAAgB,EAAE,mKAAmK;QACrL,QAAQ,EAAE,CAAC;KACZ;IACD,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE;QACvB,SAAS,EAAE,SAAS,CAAC,WAAW;QAChC,WAAW,EAAE,wBAAwB;QACrC,gBAAgB,EAAE,oJAAoJ;QACtK,QAAQ,EAAE,CAAC;KACZ;CACF,CAAA;AAED,MAAM,eAAe,GAAG;;;;;;;;;;;;;;mCAcW,CAAA;AAEnC,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,KAAa,EACb,QAAgB,EAChB,OAAgB;IAEhB,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAA;IAExB,MAAM,cAAc,GAAG,OAAO;QAC5B,CAAC,CAAC,sBAAsB,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE;QAChD,CAAC,CAAC,EAAE,CAAA;IAEN,MAAM,MAAM,GAAG,eAAe;SAC3B,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC;SACzB,OAAO,CAAC,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;SAC9C,OAAO,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAA;IAE/C,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAChD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAA;QACvC,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAA;QAEvB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;QACnC,IAAI,MAAM,CAAC,SAAS,KAAK,MAAM;YAAE,OAAO,IAAI,CAAA;QAE5C,MAAM,SAAS,GAAG,MAAM,CAAC,SAAsB,CAAA;QAC/C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,OAAO,IAAI,CAAA;QAE9D,OAAO;YACL,SAAS;YACT,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC;YAC5D,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,EAAE;SAChC,CAAA;IACH,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,KAAa,EACb,QAAgB,EAChB,SAAoB,EACpB,QAAgB;IAEhB,MAAM,QAAQ,GAAG,qBAAqB,CAAC,SAAS,CAAC,CAAA;IACjD,OAAO;QACL,uBAAuB,QAAQ,CAAC,WAAW,GAAG;QAC9C,QAAQ,CAAC,gBAAgB;QACzB,sBAAsB,QAAQ,EAAE;QAChC,mBAAmB,KAAK,EAAE;QAC1B,sCAAsC;KACvC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACd,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,UAAwD,EACxD,KAAa,EACb,OAAgB,EAChB,UAAU,GAAG,CAAC;IAEd,MAAM,WAAW,GAAuB,EAAE,CAAA;IAC1C,IAAI,QAAQ,GAAG,MAAM,UAAU,EAAE,CAAA;IACjC,IAAI,OAAO,GAAG,CAAC,CAAA;IAEf,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,UAAU,EAAE,OAAO,EAAE,EAAE,CAAC;QACtD,MAAM,cAAc,GAAG,MAAM,aAAa,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;QACpE,IAAI,CAAC,cAAc,IAAI,cAAc,CAAC,UAAU,GAAG,GAAG;YAAE,MAAK;QAE7D,MAAM,gBAAgB,GAAG,eAAe,CACtC,KAAK,EAAE,QAAQ,EAAE,cAAc,CAAC,SAAS,EAAE,cAAc,CAAC,QAAQ,CACnE,CAAA;QAED,WAAW,CAAC,IAAI,CAAC;YACf,SAAS,EAAE,cAAc,CAAC,SAAS;YACnC,UAAU,EAAE,cAAc,CAAC,UAAU;YACrC,QAAQ,EAAE,cAAc,CAAC,QAAQ;YACjC,iBAAiB,EAAE,qBAAqB,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,WAAW;YAC9E,OAAO,EAAE,OAAO,GAAG,CAAC;SACrB,CAAC,CAAA;QAEF,QAAQ,GAAG,MAAM,UAAU,CAAC,gBAAgB,CAAC,CAAA;QAC7C,OAAO,EAAE,CAAA;IACX,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,CAAA;AAC3C,CAAC;AAED,uEAAuE;AACvE,KAAK,UAAU,aAAa,CAAC,MAAW,EAAE,MAAc;IACtD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,WAAW,CAAA;IAC/C,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,GAAG,CAAA;IAEvC,IAAI,QAAQ,KAAK,WAAW,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACtD,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,uCAAuC,EAAE;YAC/D,MAAM,EAAE,MAAM;YACd,OAAO,EAAE;gBACP,cAAc,EAAE,kBAAkB;gBAClC,WAAW,EAAE,GAAG;gBAChB,mBAAmB,EAAE,YAAY;aAClC;YACD,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;gBACnB,KAAK,EAAE,2BAA2B;gBAClC,UAAU,EAAE,GAAG;gBACf,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;aAC9C,CAAC;SACH,CAAC,CAAA;QACF,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,IAAI,EAAS,CAAA;QACpC,OAAO,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE,CAAA;IACvC,CAAC;IAED,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,4CAA4C,EAAE;YACpE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE,aAAa,EAAE,UAAU,GAAG,EAAE,EAAE;YAC/E,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;gBACnB,KAAK,EAAE,aAAa;gBACpB,UAAU,EAAE,GAAG;gBACf,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;aAC9C,CAAC;SACH,CAAC,CAAA;QACF,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,IAAI,EAAS,CAAA;QACpC,OAAO,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,IAAI,EAAE,CAAA;IACnD,CAAC;IAED,0DAA0D;IAC1D,OAAO,EAAE,CAAA;AACX,CAAC"}

package/dist/godel-limits.d.ts

@@ -0,0 +1,46 @@
+export declare enum LoopPattern {
+    tool_repetition = "tool_repetition",
+    output_oscillation = "output_oscillation",
+    cost_spiral = "cost_spiral",
+    context_exhaustion = "context_exhaustion",
+    semantic_stagnation = "semantic_stagnation",
+    circular_reasoning = "circular_reasoning"
+}
+export interface DecidabilityScore {
+    decidable: boolean;
+    confidence: number;
+    pattern?: LoopPattern;
+    evidence: string;
+    recommendation: 'continue' | 'simplify' | 'handoff' | 'decompose';
+    tokensBurned: number;
+    costBurned: number;
+}
+interface Options {
+    maxToolRepeats: number;
+    maxCostUsd: number;
+    maxTokens: number;
+    similarityThreshold: number;
+}
+export declare function jaccardSimilarity(a: string, b: string): number;
+export declare function detectOscillation(outputs: string[]): boolean;
+export declare class LoopDetector {
+    private toolHistory;
+    private outputs;
+    private totalCost;
+    private costHistory;
+    private totalTokens;
+    private opts;
+    constructor(options?: Partial<Options>);
+    recordToolCall(toolName: string, args: string, result: string): void;
+    recordOutput(output: string): void;
+    recordCost(costUsd: number): void;
+    recordTokens(tokens: number): void;
+    check(): DecidabilityScore;
+    reset(): void;
+    private checkToolRepetition;
+    private checkCostSpiral;
+    private checkSemanticStagnation;
+    private checkCircularReasoning;
+}
+export {};
+//# sourceMappingURL=godel-limits.d.ts.map

package/dist/godel-limits.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"godel-limits.d.ts","sourceRoot":"","sources":["../src/godel-limits.ts"],"names":[],"mappings":"AAIA,oBAAY,WAAW;IACrB,eAAe,oBAAoB;IACnC,kBAAkB,uBAAuB;IACzC,WAAW,gBAAgB;IAC3B,kBAAkB,uBAAuB;IACzC,mBAAmB,wBAAwB;IAC3C,kBAAkB,uBAAuB;CAC1C;AAED,MAAM,WAAW,iBAAiB;IAChC,SAAS,EAAE,OAAO,CAAA;IAClB,UAAU,EAAE,MAAM,CAAA;IAClB,OAAO,CAAC,EAAE,WAAW,CAAA;IACrB,QAAQ,EAAE,MAAM,CAAA;IAChB,cAAc,EAAE,UAAU,GAAG,UAAU,GAAG,SAAS,GAAG,WAAW,CAAA;IACjE,YAAY,EAAE,MAAM,CAAA;IACpB,UAAU,EAAE,MAAM,CAAA;CACnB;AASD,UAAU,OAAO;IACf,cAAc,EAAE,MAAM,CAAA;IACtB,UAAU,EAAE,MAAM,CAAA;IAClB,SAAS,EAAE,MAAM,CAAA;IACjB,mBAAmB,EAAE,MAAM,CAAA;CAC5B;AAoBD,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAU9D;AAED,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,OAAO,CAiB5D;AAED,qBAAa,YAAY;IACvB,OAAO,CAAC,WAAW,CAAmB;IACtC,OAAO,CAAC,OAAO,CAAe;IAC9B,OAAO,CAAC,SAAS,CAAI;IACrB,OAAO,CAAC,WAAW,CAAe;IAClC,OAAO,CAAC,WAAW,CAAI;IACvB,OAAO,CAAC,IAAI,CAAS;gBAET,OAAO,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC;IAStC,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IAIpE,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAIlC,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI;IAKjC,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAIlC,KAAK,IAAI,iBAAiB;IAgF1B,KAAK,IAAI,IAAI;IAQb,OAAO,CAAC,mBAAmB;IAqC3B,OAAO,CAAC,eAAe;IAevB,OAAO,CAAC,uBAAuB;IAU/B,OAAO,CAAC,sBAAsB;CAsB/B"}