@nahisaho/musubix-yata-client 1.0.0

package/dist/reasoning/confidence.js

@@ -0,0 +1,278 @@
+/**
+ * Confidence Evaluator
+ *
+ * Evaluates and combines confidence scores from multiple sources
+ *
+ * @packageDocumentation
+ * @module reasoning/confidence
+ *
+ * @see REQ-NS-101 - Symbolic Reasoning
+ * @see REQ-NS-103 - Confidence Scoring
+ */
+/**
+ * Default evaluator configuration
+ */
+export const DEFAULT_EVALUATOR_CONFIG = {
+    defaultMethod: 'weighted-average',
+    defaultWeights: {
+        neural: 0.6,
+        symbolic: 0.9,
+        pattern: 0.8,
+        historical: 0.7,
+        consensus: 0.85,
+        'user-feedback': 0.95,
+    },
+    minimumThreshold: 0.5,
+    enableDecay: false,
+    decayHalfLife: 86400000, // 24 hours
+};
+/**
+ * Confidence Evaluator
+ *
+ * Evaluates, combines, and calibrates confidence scores
+ */
+export class ConfidenceEvaluator {
+    config;
+    calibrationHistory = [];
+    calibrationStats = new Map();
+    constructor(config) {
+        this.config = { ...DEFAULT_EVALUATOR_CONFIG, ...config };
+    }
+    /**
+     * Create a confidence score
+     */
+    createScore(value, source, metadata) {
+        const weight = this.config.defaultWeights[source] ?? 0.5;
+        return {
+            value: this.clamp(value),
+            source,
+            weight,
+            timestamp: Date.now(),
+            metadata,
+        };
+    }
+    /**
+     * Combine multiple confidence scores
+     */
+    combine(scores, method) {
+        const combinationMethod = method ?? this.config.defaultMethod;
+        if (scores.length === 0) {
+            return {
+                score: 0,
+                components: [],
+                method: combinationMethod,
+                explanation: 'No scores to combine',
+            };
+        }
+        // Apply time decay if enabled
+        const adjustedScores = this.config.enableDecay
+            ? scores.map((s) => this.applyDecay(s))
+            : scores;
+        let combinedScore;
+        switch (combinationMethod) {
+            case 'weighted-average':
+                combinedScore = this.weightedAverage(adjustedScores);
+                break;
+            case 'geometric-mean':
+                combinedScore = this.geometricMean(adjustedScores);
+                break;
+            case 'harmonic-mean':
+                combinedScore = this.harmonicMean(adjustedScores);
+                break;
+            case 'minimum':
+                combinedScore = Math.min(...adjustedScores.map((s) => s.value));
+                break;
+            case 'maximum':
+                combinedScore = Math.max(...adjustedScores.map((s) => s.value));
+                break;
+            case 'bayesian':
+                combinedScore = this.bayesianCombine(adjustedScores);
+                break;
+            default:
+                combinedScore = this.weightedAverage(adjustedScores);
+        }
+        return {
+            score: this.clamp(combinedScore),
+            components: adjustedScores,
+            method: combinationMethod,
+            explanation: this.generateExplanation(adjustedScores, combinedScore, combinationMethod),
+        };
+    }
+    /**
+     * Evaluate if confidence meets threshold
+     */
+    meetsThreshold(score, threshold) {
+        const minThreshold = threshold ?? this.config.minimumThreshold;
+        const value = typeof score === 'number'
+            ? score
+            : 'score' in score
+                ? score.score
+                : score.value;
+        return value >= minThreshold;
+    }
+    /**
+     * Record outcome for calibration
+     */
+    recordOutcome(predicted, actual, source) {
+        this.calibrationHistory.push({
+            predicted,
+            actual: actual ? 1 : 0,
+            timestamp: Date.now(),
+            source,
+        });
+        // Update stats periodically
+        if (this.calibrationHistory.length % 100 === 0) {
+            this.updateCalibrationStats();
+        }
+    }
+    /**
+     * Get calibration statistics
+     */
+    getCalibrationStats(source) {
+        if (source) {
+            const stats = this.calibrationStats.get(source);
+            return stats ? [stats] : [];
+        }
+        return Array.from(this.calibrationStats.values());
+    }
+    /**
+     * Calibrate a score based on historical performance
+     */
+    calibrate(score) {
+        const stats = this.calibrationStats.get(score.source);
+        if (!stats || stats.sampleCount < 10) {
+            return score; // Not enough data
+        }
+        // Apply calibration adjustment
+        const calibrationFactor = stats.actualRate / stats.meanPredicted;
+        const calibratedValue = this.clamp(score.value * calibrationFactor);
+        return {
+            ...score,
+            value: calibratedValue,
+            metadata: {
+                ...score.metadata,
+                calibrated: true,
+                originalValue: score.value,
+                calibrationFactor,
+            },
+        };
+    }
+    /**
+     * Apply time decay to score
+     */
+    applyDecay(score) {
+        const age = Date.now() - score.timestamp;
+        const decayFactor = Math.pow(0.5, age / this.config.decayHalfLife);
+        return {
+            ...score,
+            value: score.value * decayFactor,
+            metadata: {
+                ...score.metadata,
+                decayed: true,
+                originalValue: score.value,
+                decayFactor,
+            },
+        };
+    }
+    /**
+     * Weighted average combination
+     */
+    weightedAverage(scores) {
+        const totalWeight = scores.reduce((sum, s) => sum + s.weight, 0);
+        if (totalWeight === 0)
+            return 0;
+        const weightedSum = scores.reduce((sum, s) => sum + s.value * s.weight, 0);
+        return weightedSum / totalWeight;
+    }
+    /**
+     * Geometric mean combination
+     */
+    geometricMean(scores) {
+        if (scores.some((s) => s.value === 0))
+            return 0;
+        const product = scores.reduce((prod, s) => prod * s.value, 1);
+        return Math.pow(product, 1 / scores.length);
+    }
+    /**
+     * Harmonic mean combination
+     */
+    harmonicMean(scores) {
+        if (scores.some((s) => s.value === 0))
+            return 0;
+        const sumReciprocals = scores.reduce((sum, s) => sum + 1 / s.value, 0);
+        return scores.length / sumReciprocals;
+    }
+    /**
+     * Bayesian combination
+     */
+    bayesianCombine(scores) {
+        // Convert confidences to odds, multiply, convert back
+        let combinedOdds = 1;
+        for (const score of scores) {
+            // Avoid division by zero and log of zero
+            const clamped = Math.max(0.001, Math.min(0.999, score.value));
+            const odds = clamped / (1 - clamped);
+            combinedOdds *= Math.pow(odds, score.weight);
+        }
+        // Convert back to probability
+        return combinedOdds / (1 + combinedOdds);
+    }
+    /**
+     * Update calibration statistics
+     */
+    updateCalibrationStats() {
+        const bySource = new Map();
+        for (const data of this.calibrationHistory) {
+            const existing = bySource.get(data.source) ?? [];
+            existing.push(data);
+            bySource.set(data.source, existing);
+        }
+        for (const [source, data] of bySource) {
+            const n = data.length;
+            const meanPredicted = data.reduce((s, d) => s + d.predicted, 0) / n;
+            const actualRate = data.reduce((s, d) => s + d.actual, 0) / n;
+            const calibrationError = Math.abs(meanPredicted - actualRate);
+            const brierScore = data.reduce((s, d) => s + Math.pow(d.predicted - d.actual, 2), 0) / n;
+            this.calibrationStats.set(source, {
+                source,
+                sampleCount: n,
+                meanPredicted,
+                actualRate,
+                calibrationError,
+                brierScore,
+            });
+        }
+    }
+    /**
+     * Generate explanation for combination
+     */
+    generateExplanation(scores, combined, method) {
+        const sourceDescriptions = scores.map((s) => `${s.source}: ${(s.value * 100).toFixed(1)}% (weight: ${s.weight})`);
+        return [
+            `Combined ${scores.length} confidence scores using ${method}.`,
+            `Sources: ${sourceDescriptions.join(', ')}.`,
+            `Result: ${(combined * 100).toFixed(1)}% confidence.`,
+        ].join(' ');
+    }
+    /**
+     * Clamp value to valid range
+     */
+    clamp(value) {
+        return Math.max(0, Math.min(1, value));
+    }
+}
+/**
+ * Create confidence evaluator instance
+ */
+export function createConfidenceEvaluator(config) {
+    return new ConfidenceEvaluator(config);
+}
+/**
+ * Quick confidence combination helper
+ */
+export function combineConfidence(scores, method) {
+    const evaluator = new ConfidenceEvaluator();
+    const fullScores = scores.map((s) => evaluator.createScore(s.value, s.source));
+    return evaluator.combine(fullScores, method).score;
+}
+//# sourceMappingURL=confidence.js.map

package/dist/reasoning/confidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"confidence.js","sourceRoot":"","sources":["../../src/reasoning/confidence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAsEH;;GAEG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAA8B;IACjE,aAAa,EAAE,kBAAkB;IACjC,cAAc,EAAE;QACd,MAAM,EAAE,GAAG;QACX,QAAQ,EAAE,GAAG;QACb,OAAO,EAAE,GAAG;QACZ,UAAU,EAAE,GAAG;QACf,SAAS,EAAE,IAAI;QACf,eAAe,EAAE,IAAI;KACtB;IACD,gBAAgB,EAAE,GAAG;IACrB,WAAW,EAAE,KAAK;IAClB,aAAa,EAAE,QAAQ,EAAE,WAAW;CACrC,CAAC;AAkCF;;;;GAIG;AACH,MAAM,OAAO,mBAAmB;IACtB,MAAM,CAA4B;IAClC,kBAAkB,GAAsB,EAAE,CAAC;IAC3C,gBAAgB,GAA4C,IAAI,GAAG,EAAE,CAAC;IAE9E,YAAY,MAA2C;QACrD,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,wBAAwB,EAAE,GAAG,MAAM,EAAE,CAAC;IAC3D,CAAC;IAED;;OAEG;IACH,WAAW,CACT,KAAa,EACb,MAAwB,EACxB,QAAkC;QAElC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC;QAEzD,OAAO;YACL,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;YACxB,MAAM;YACN,MAAM;YACN,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,QAAQ;SACT,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,OAAO,CACL,MAAyB,EACzB,MAA0B;QAE1B,MAAM,iBAAiB,GAAG,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC;QAE9D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,OAAO;gBACL,KAAK,EAAE,CAAC;gBACR,UAAU,EAAE,EAAE;gBACd,MAAM,EAAE,iBAAiB;gBACzB,WAAW,EAAE,sBAAsB;aACpC,CAAC;QACJ,CAAC;QAED,8BAA8B;QAC9B,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,WAAW;YAC5C,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACvC,CAAC,CAAC,MAAM,CAAC;QAEX,IAAI,aAAqB,CAAC;QAE1B,QAAQ,iBAAiB,EAAE,CAAC;YAC1B,KAAK,kBAAkB;gBACrB,aAAa,GAAG,IAAI,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC;gBACrD,MAAM;YAER,KAAK,gBAAgB;gBACnB,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC;gBACnD,MAAM;YAER,KAAK,eAAe;gBAClB,aAAa,GAAG,IAAI,CAAC,YAAY,CAAC,cAAc,CAAC,CAAC;gBAClD,MAAM;YAER,KAAK,SAAS;gBACZ,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;gBAChE,MAAM;YAER,KAAK,SAAS;gBACZ,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;gBAChE,MAAM;YAER,KAAK,UAAU;gBACb,aAAa,GAAG,IAAI,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC;gBACrD,MAAM;YAER;gBACE,aAAa,GAAG,IAAI,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC;QACzD,CAAC;QAED,OAAO;YACL,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC;YAChC,UAAU,EAAE,cAAc;YAC1B,MAAM,EAAE,iBAAiB;YACzB,WAAW,EAAE,IAAI,CAAC,mBAAmB,CAAC,cAAc,EAAE,aAAa,EAAE,iBAAiB,CAAC;SACxF,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,cAAc,CACZ,KAAoD,EACpD,SAAkB;QAElB,MAAM,YAAY,GAAG,SAAS,IAAI,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC;QAC/D,MAAM,KAAK,GAAG,OAAO,KAAK,KAAK,QAAQ;YACrC,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,OAAO,IAAI,KAAK;gBAChB,CAAC,CAAC,KAAK,CAAC,KAAK;gBACb,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;QAElB,OAAO,KAAK,IAAI,YAAY,CAAC;IAC/B,CAAC;IAED;;OAEG;IACH,aAAa,CACX,SAAiB,EACjB,MAAe,EACf,MAAwB;QAExB,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAC3B,SAAS;YACT,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACtB,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,MAAM;SACP,CAAC,CAAC;QAEH,4BAA4B;QAC5B,IAAI,IAAI,CAAC,kBAAkB,CAAC,MAAM,GAAG,GAAG,KAAK,CAAC,EAAE,CAAC;YAC/C,IAAI,CAAC,sBAAsB,EAAE,CAAC;QAChC,CAAC;IACH,CAAC;IAED;;OAEG;IACH,mBAAmB,CAAC,MAAyB;QAC3C,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAChD,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9B,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC;IACpD,CAAC;IAED;;OAEG;IACH,SAAS,CAAC,KAAsB;QAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAEtD,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,WAAW,GAAG,EAAE,EAAE,CAAC;YACrC,OAAO,KAAK,CAAC,CAAC,kBAAkB;QAClC,CAAC;QAED,+BAA+B;QAC/B,MAAM,iBAAiB,GAAG,KAAK,CAAC,UAAU,GAAG,KAAK,CAAC,aAAa,CAAC;QACjE,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,iBAAiB,CAAC,CAAC;QAEpE,OAAO;YACL,GAAG,KAAK;YACR,KAAK,EAAE,eAAe;YACtB,QAAQ,EAAE;gBACR,GAAG,KAAK,CAAC,QAAQ;gBACjB,UAAU,EAAE,IAAI;gBAChB,aAAa,EAAE,KAAK,CAAC,KAAK;gBAC1B,iBAAiB;aAClB;SACF,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,UAAU,CAAC,KAAsB;QACvC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC;QACzC,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;QAEnE,OAAO;YACL,GAAG,KAAK;YACR,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,WAAW;YAChC,QAAQ,EAAE;gBACR,GAAG,KAAK,CAAC,QAAQ;gBACjB,OAAO,EAAE,IAAI;gBACb,aAAa,EAAE,KAAK,CAAC,KAAK;gBAC1B,WAAW;aACZ;SACF,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,eAAe,CAAC,MAAyB;QAC/C,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACjE,IAAI,WAAW,KAAK,CAAC;YAAE,OAAO,CAAC,CAAC;QAEhC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAC/B,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,MAAM,EACpC,CAAC,CACF,CAAC;QAEF,OAAO,WAAW,GAAG,WAAW,CAAC;IACnC,CAAC;IAED;;OAEG;IACK,aAAa,CAAC,MAAyB;QAC7C,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QAEhD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC9D,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAC9C,CAAC;IAED;;OAEG;IACK,YAAY,CAAC,MAAyB;QAC5C,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QAEhD,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACvE,OAAO,MAAM,CAAC,MAAM,GAAG,cAAc,CAAC;IACxC,CAAC;IAED;;OAEG;IACK,eAAe,CAAC,MAAyB;QAC/C,sDAAsD;QACtD,IAAI,YAAY,GAAG,CAAC,CAAC;QAErB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,yCAAyC;YACzC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;YAC9D,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC;YACrC,YAAY,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAC/C,CAAC;QAED,8BAA8B;QAC9B,OAAO,YAAY,GAAG,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC;IAC3C,CAAC;IAED;;OAEG;IACK,sBAAsB;QAC5B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuC,CAAC;QAEhE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,kBAAkB,EAAE,CAAC;YAC3C,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YACjD,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpB,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACtC,CAAC;QAED,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC;YACtC,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;YACtB,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;YACpE,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;YAC9D,MAAM,gBAAgB,GAAG,IAAI,CAAC,GAAG,CAAC,aAAa,GAAG,UAAU,CAAC,CAAC;YAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAC5B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,EACjD,CAAC,CACF,GAAG,CAAC,CAAC;YAEN,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,EAAE;gBAChC,MAAM;gBACN,WAAW,EAAE,CAAC;gBACd,aAAa;gBACb,UAAU;gBACV,gBAAgB;gBAChB,UAAU;aACX,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED;;OAEG;IACK,mBAAmB,CACzB,MAAyB,EACzB,QAAgB,EAChB,MAAyB;QAEzB,MAAM,kBAAkB,GAAG,MAAM,CAAC,GAAG,CACnC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,MAAM,GAAG,CAC3E,CAAC;QAEF,OAAO;YACL,YAAY,MAAM,CAAC,MAAM,4BAA4B,MAAM,GAAG;YAC9D,YAAY,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YAC5C,WAAW,CAAC,QAAQ,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe;SACtD,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACd,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,KAAa;QACzB,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACzC,CAAC;CACF;AAED;;GAEG;AACH,MAAM,UAAU,yBAAyB,CACvC,MAA2C;IAE3C,OAAO,IAAI,mBAAmB,CAAC,MAAM,CAAC,CAAC;AACzC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAC/B,MAA0D,EAC1D,MAA0B;IAE1B,MAAM,SAAS,GAAG,IAAI,mBAAmB,EAAE,CAAC;IAC5C,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAClC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CACzC,CAAC;IACF,OAAO,SAAS,CAAC,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC;AACrD,CAAC"}

package/dist/reasoning/contradiction.d.ts

@@ -0,0 +1,236 @@
+/**
+ * Contradiction Detector
+ *
+ * Detects and resolves contradictions between knowledge sources
+ *
+ * @packageDocumentation
+ * @module reasoning/contradiction
+ *
+ * @see REQ-NS-101 - Symbolic Reasoning
+ * @see REQ-NS-104 - Contradiction Detection
+ */
+import type { KnowledgeNode, KnowledgeEdge } from '../types.js';
+/**
+ * Contradiction types
+ */
+export type ContradictionType = 'logical' | 'temporal' | 'cardinality' | 'semantic' | 'structural' | 'requirement' | 'priority';
+/**
+ * Contradiction severity levels
+ */
+export type ContradictionSeverity = 'critical' | 'high' | 'medium' | 'low';
+/**
+ * Detected contradiction
+ */
+export interface Contradiction {
+    /** Unique ID */
+    id: string;
+    /** Contradiction type */
+    type: ContradictionType;
+    /** Severity level */
+    severity: ContradictionSeverity;
+    /** Description */
+    description: string;
+    /** First conflicting element */
+    element1: ConflictingElement;
+    /** Second conflicting element */
+    element2: ConflictingElement;
+    /** Suggested resolutions */
+    resolutions: Resolution[];
+    /** Detected timestamp */
+    detectedAt: number;
+    /** Confidence in detection */
+    confidence: number;
+}
+/**
+ * Conflicting element
+ */
+export interface ConflictingElement {
+    /** Element ID */
+    id: string;
+    /** Element type */
+    type: string;
+    /** Element content/value */
+    content: string;
+    /** Source document/location */
+    source: string;
+    /** Priority if applicable */
+    priority?: number;
+    /** Timestamp */
+    timestamp?: number;
+}
+/**
+ * Resolution suggestion
+ */
+export interface Resolution {
+    /** Resolution ID */
+    id: string;
+    /** Resolution strategy */
+    strategy: ResolutionStrategy;
+    /** Description */
+    description: string;
+    /** Which element to prefer */
+    preferElement?: 'element1' | 'element2' | 'neither' | 'merge';
+    /** Confidence this will resolve */
+    confidence: number;
+    /** Side effects of resolution */
+    sideEffects?: string[];
+}
+/**
+ * Resolution strategies
+ */
+export type ResolutionStrategy = 'prefer-newer' | 'prefer-higher-priority' | 'prefer-more-specific' | 'merge-both' | 'escalate-to-user' | 'invalidate-both' | 'use-knowledge-graph' | 'majority-vote';
+/**
+ * Detection rule
+ */
+export interface DetectionRule {
+    /** Rule ID */
+    id: string;
+    /** Rule name */
+    name: string;
+    /** Contradiction types this rule detects */
+    types: ContradictionType[];
+    /** Detection function */
+    detect: (nodes: KnowledgeNode[], edges: KnowledgeEdge[], context: DetectionContext) => Contradiction[];
+}
+/**
+ * Detection context
+ */
+export interface DetectionContext {
+    /** Current timestamp */
+    now: number;
+    /** Configuration */
+    config: ContradictionDetectorConfig;
+    /** Helper functions */
+    helpers: DetectionHelpers;
+}
+/**
+ * Detection helpers
+ */
+export interface DetectionHelpers {
+    /** Generate unique ID */
+    generateId: () => string;
+    /** Calculate semantic similarity */
+    semanticSimilarity: (text1: string, text2: string) => number;
+    /** Parse requirement pattern */
+    parseRequirement: (text: string) => RequirementParts | null;
+}
+/**
+ * Parsed requirement parts
+ */
+export interface RequirementParts {
+    condition?: string;
+    subject: string;
+    action: string;
+    object?: string;
+    constraint?: string;
+}
+/**
+ * Detector configuration
+ */
+export interface ContradictionDetectorConfig {
+    /** Enabled detection types */
+    enabledTypes: ContradictionType[];
+    /** Semantic similarity threshold */
+    similarityThreshold: number;
+    /** Minimum confidence to report */
+    minimumConfidence: number;
+    /** Maximum results */
+    maxResults: number;
+    /** Enable auto-resolution */
+    autoResolve: boolean;
+    /** Default resolution strategy */
+    defaultStrategy: ResolutionStrategy;
+}
+/**
+ * Default configuration
+ */
+export declare const DEFAULT_DETECTOR_CONFIG: ContradictionDetectorConfig;
+/**
+ * Detection report
+ */
+export interface DetectionReport {
+    /** Detection timestamp */
+    timestamp: number;
+    /** Total contradictions found */
+    totalFound: number;
+    /** Contradictions by type */
+    byType: Record<ContradictionType, number>;
+    /** Contradictions by severity */
+    bySeverity: Record<ContradictionSeverity, number>;
+    /** Contradictions list */
+    contradictions: Contradiction[];
+    /** Auto-resolved count */
+    autoResolved: number;
+}
+/**
+ * Contradiction Detector
+ *
+ * Detects contradictions in knowledge and requirements
+ */
+export declare class ContradictionDetector {
+    private config;
+    private rules;
+    private idCounter;
+    constructor(config?: Partial<ContradictionDetectorConfig>);
+    /**
+     * Initialize built-in detection rules
+     */
+    private initializeBuiltinRules;
+    /**
+     * Add detection rule
+     */
+    addRule(rule: DetectionRule): void;
+    /**
+     * Remove detection rule
+     */
+    removeRule(ruleId: string): boolean;
+    /**
+     * Detect contradictions in knowledge
+     */
+    detect(nodes: KnowledgeNode[], edges: KnowledgeEdge[]): DetectionReport;
+    /**
+     * Check if one statement negates another
+     */
+    private isNegation;
+    /**
+     * Check if actions conflict
+     */
+    private actionsConflict;
+    /**
+     * Simple semantic similarity (Jaccard-like)
+     */
+    private semanticSimilarity;
+    /**
+     * Parse EARS requirement
+     */
+    private parseRequirement;
+    /**
+     * Find temporal cycles using DFS
+     */
+    private findTemporalCycles;
+    /**
+     * Convert node to conflicting element
+     */
+    private nodeToElement;
+    /**
+     * Generate resolution suggestions
+     */
+    private generateResolutions;
+    /**
+     * Auto-resolve contradictions
+     */
+    private autoResolve;
+    /**
+     * Count contradictions by type
+     */
+    private countByType;
+    /**
+     * Count contradictions by severity
+     */
+    private countBySeverity;
+}
+/**
+ * Create contradiction detector instance
+ */
+export declare function createContradictionDetector(config?: Partial<ContradictionDetectorConfig>): ContradictionDetector;
+//# sourceMappingURL=contradiction.d.ts.map

package/dist/reasoning/contradiction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contradiction.d.ts","sourceRoot":"","sources":["../../src/reasoning/contradiction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAEhE;;GAEG;AACH,MAAM,MAAM,iBAAiB,GACzB,SAAS,GACT,UAAU,GACV,aAAa,GACb,UAAU,GACV,YAAY,GACZ,aAAa,GACb,UAAU,CAAC;AAEf;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG,UAAU,GAAG,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;AAE3E;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,gBAAgB;IAChB,EAAE,EAAE,MAAM,CAAC;IACX,yBAAyB;IACzB,IAAI,EAAE,iBAAiB,CAAC;IACxB,qBAAqB;IACrB,QAAQ,EAAE,qBAAqB,CAAC;IAChC,kBAAkB;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,gCAAgC;IAChC,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,iCAAiC;IACjC,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,4BAA4B;IAC5B,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,yBAAyB;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,8BAA8B;IAC9B,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,iBAAiB;IACjB,EAAE,EAAE,MAAM,CAAC;IACX,mBAAmB;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,4BAA4B;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,+BAA+B;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,6BAA6B;IAC7B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,gBAAgB;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,oBAAoB;IACpB,EAAE,EAAE,MAAM,CAAC;IACX,0BAA0B;IAC1B,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,kBAAkB;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,8BAA8B;IAC9B,aAAa,CAAC,EAAE,UAAU,GAAG,UAAU,GAAG,SAAS,GAAG,OAAO,CAAC;IAC9D,mCAAmC;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,iCAAiC;IACjC,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAC1B,cAAc,GACd,wBAAwB,GACxB,sBAAsB,GACtB,YAAY,GACZ,kBAAkB,GAClB,iBAAiB,GACjB,qBAAqB,GACrB,eAAe,CAAC;AAEpB;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,cAAc;IACd,EAAE,EAAE,MAAM,CAAC;IACX,gBAAgB;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,4CAA4C;IAC5C,KAAK,EAAE,iBAAiB,EAAE,CAAC;IAC3B,yBAAyB;IACzB,MAAM,EAAE,CACN,KAAK,EAAE,aAAa,EAAE,EACtB,KAAK,EAAE,aAAa,EAAE,EACtB,OAAO,EAAE,gBAAgB,KACtB,aAAa,EAAE,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,wBAAwB;IACxB,GAAG,EAAE,MAAM,CAAC;IACZ,oBAAoB;IACpB,MAAM,EAAE,2BAA2B,CAAC;IACpC,uBAAuB;IACvB,OAAO,EAAE,gBAAgB,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,yBAAyB;IACzB,UAAU,EAAE,MAAM,MAAM,CAAC;IACzB,oCAAoC;IACpC,kBAAkB,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;IAC7D,gCAAgC;IAChC,gBAAgB,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,gBAAgB,GAAG,IAAI,CAAC;CAC7D;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,2BAA2B;IAC1C,8BAA8B;IAC9B,YAAY,EAAE,iBAAiB,EAAE,CAAC;IAClC,oCAAoC;IACpC,mBAAmB,EAAE,MAAM,CAAC;IAC5B,mCAAmC;IACnC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,sBAAsB;IACtB,UAAU,EAAE,MAAM,CAAC;IACnB,6BAA6B;IAC7B,WAAW,EAAE,OAAO,CAAC;IACrB,kCAAkC;IAClC,eAAe,EAAE,kBAAkB,CAAC;CACrC;AAED;;GAEG;AACH,eAAO,MAAM,uBAAuB,EAAE,2BAOrC,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,0BAA0B;IAC1B,SAAS,EAAE,MAAM,CAAC;IAClB,iCAAiC;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,6BAA6B;IAC7B,MAAM,EAAE,MAAM,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;IAC1C,iCAAiC;IACjC,UAAU,EAAE,MAAM,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IAClD,0BAA0B;IAC1B,cAAc,EAAE,aAAa,EAAE,CAAC;IAChC,0BAA0B;IAC1B,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,qBAAa,qBAAqB;IAChC,OAAO,CAAC,MAAM,CAA8B;IAC5C,OAAO,CAAC,KAAK,CAAyC;IACtD,OAAO,CAAC,SAAS,CAAK;gBAEV,MAAM,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC;IAKzD;;OAEG;IACH,OAAO,CAAC,sBAAsB;IA+K9B;;OAEG;IACH,OAAO,CAAC,IAAI,EAAE,aAAa,GAAG,IAAI;IAIlC;;OAEG;IACH,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO;IAInC;;OAEG;IACH,MAAM,CACJ,KAAK,EAAE,aAAa,EAAE,EACtB,KAAK,EAAE,aAAa,EAAE,GACrB,eAAe;IAkDlB;;OAEG;IACH,OAAO,CAAC,UAAU;IAmClB;;OAEG;IACH,OAAO,CAAC,eAAe;IAyBvB;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAU1B;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAgCxB;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAwC1B;;OAEG;IACH,OAAO,CAAC,aAAa;IAUrB;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAwD3B;;OAEG;IACH,OAAO,CAAC,WAAW;IAiBnB;;OAEG;IACH,OAAO,CAAC,WAAW;IAoBnB;;OAEG;IACH,OAAO,CAAC,eAAe;CAgBxB;AAED;;GAEG;AACH,wBAAgB,2BAA2B,CACzC,MAAM,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,GAC5C,qBAAqB,CAEvB"}