contradiction-mcp 0.1.0

package/dist/analysis/contradictionEngine.js

@@ -0,0 +1,284 @@
+import { claimMatcher } from './claimMatcher.js';
+import { valueComparator } from './valueComparator.js';
+import { contradictionClassifier } from './contradictionClassifier.js';
+import { confidenceScorer } from './confidenceScorer.js';
+import { explanationBuilder } from './explanationBuilder.js';
+import { contextAnalyzer } from './contextAnalyzer.js';
+export class ContradictionEngine {
+    analyzePair(claimA, claimB, sourceA, sourceB) {
+        // 1. Same claim identity check
+        if (claimA.id && claimB.id && claimA.id === claimB.id) {
+            const emptyMatch = {
+                matches: true,
+                subjectSimilarity: 1.0,
+                predicateSimilarity: 1.0,
+                normalizedSubjectA: claimA.subject,
+                normalizedSubjectB: claimB.subject,
+                normalizedPredicateA: claimA.predicate,
+                normalizedPredicateB: claimB.predicate,
+                reason: 'Identical claim comparison',
+            };
+            const emptyComp = {
+                comparable: true,
+                equal: true,
+                compatible: true,
+                normalizedA: claimA.value,
+                normalizedB: claimB.value,
+                valueType: claimA.valueType,
+                differenceStrength: 0.0,
+            };
+            const relationship = {
+                type: 'SAME_FACT',
+                confidence: 1.0,
+                explanation: 'A claim cannot contradict itself.',
+                isContradictionEligible: false,
+                contextFactors: {
+                    environmentMatch: true,
+                    scopeMatch: true,
+                    roleMatch: true,
+                    temporalMatch: true,
+                    setMembershipMatch: false,
+                },
+            };
+            return {
+                isContradiction: false,
+                analysisStatus: 'NOT_A_CONTRADICTION',
+                relationship,
+                contradictionType: 'UNKNOWN',
+                severity: 'LOW',
+                confidence: 0.0,
+                explanation: 'A claim cannot contradict itself.',
+                evidence: {
+                    claimA,
+                    claimB,
+                    match: emptyMatch,
+                    comparison: emptyComp,
+                },
+            };
+        }
+        // 2. Claim matching (Do they refer to the same conceptual fact?)
+        const match = claimMatcher.match({ subject: claimA.subject, predicate: claimA.predicate }, { subject: claimB.subject, predicate: claimB.predicate });
+        if (!match.matches) {
+            const fallbackComp = valueComparator.compare(claimA.value, claimB.value, claimA.valueType);
+            const relationship = {
+                type: 'UNKNOWN',
+                confidence: 0.0,
+                explanation: `Claims describe distinct subjects or properties (${match.reason}).`,
+                isContradictionEligible: false,
+                contextFactors: {
+                    environmentMatch: claimA.environment === claimB.environment,
+                    scopeMatch: claimA.scope === claimB.scope,
+                    roleMatch: claimA.sourceRole === claimB.sourceRole,
+                    temporalMatch: true,
+                    setMembershipMatch: false,
+                },
+            };
+            return {
+                isContradiction: false,
+                analysisStatus: 'NOT_A_CONTRADICTION',
+                relationship,
+                contradictionType: 'UNKNOWN',
+                severity: 'LOW',
+                confidence: 0.0,
+                explanation: explanationBuilder.buildNonContradictionReason({
+                    match,
+                    comparison: fallbackComp,
+                    claimA,
+                    claimB,
+                    contextRelationship: relationship,
+                }),
+                evidence: {
+                    claimA,
+                    claimB,
+                    match,
+                    comparison: fallbackComp,
+                },
+            };
+        }
+        // 3. Context Analysis (Dimensional context evaluation)
+        const contextResult = contextAnalyzer.analyze(claimA, claimB);
+        if (!contextResult.relationship.isContradictionEligible) {
+            const fallbackComp = valueComparator.compare(claimA.value, claimB.value, claimA.valueType);
+            return {
+                isContradiction: false,
+                analysisStatus: 'NOT_A_CONTRADICTION',
+                relationship: contextResult.relationship,
+                contradictionType: 'UNKNOWN',
+                severity: 'LOW',
+                confidence: contextResult.relationship.confidence,
+                explanation: explanationBuilder.buildNonContradictionReason({
+                    match,
+                    comparison: fallbackComp,
+                    claimA,
+                    claimB,
+                    contextRelationship: contextResult.relationship,
+                }),
+                evidence: {
+                    claimA,
+                    claimB,
+                    match,
+                    comparison: fallbackComp,
+                    context: contextResult,
+                },
+            };
+        }
+        // 4. Value comparison
+        const resolvedValueType = claimA.valueType === claimB.valueType ? claimA.valueType : undefined;
+        const comparison = valueComparator.compare(claimA.value, claimB.value, resolvedValueType);
+        // If values are equivalent after normalization
+        if (comparison.equal) {
+            const relationship = {
+                type: 'SAME_FACT',
+                confidence: 1.0,
+                explanation: `Both claims assert equivalent normalized values ('${comparison.normalizedA}').`,
+                isContradictionEligible: false,
+                contextFactors: contextResult.relationship.contextFactors,
+            };
+            return {
+                isContradiction: false,
+                analysisStatus: 'NOT_A_CONTRADICTION',
+                relationship,
+                contradictionType: 'UNKNOWN',
+                severity: 'LOW',
+                confidence: 0.0,
+                explanation: explanationBuilder.buildNonContradictionReason({
+                    match,
+                    comparison,
+                    claimA,
+                    claimB,
+                    contextRelationship: relationship,
+                }),
+                evidence: {
+                    claimA,
+                    claimB,
+                    match,
+                    comparison,
+                    context: contextResult,
+                },
+            };
+        }
+        // If values are compatible (e.g. SemVer range satisfaction or overlapping range)
+        if (comparison.compatible) {
+            const relationship = {
+                type: 'COMPATIBLE_FACT',
+                confidence: 0.9,
+                explanation: `Values '${claimA.value}' and '${claimB.value}' are compatible (${comparison.differenceType || 'COMPATIBLE'}).`,
+                isContradictionEligible: false,
+                contextFactors: contextResult.relationship.contextFactors,
+            };
+            return {
+                isContradiction: false,
+                analysisStatus: 'NOT_A_CONTRADICTION',
+                relationship,
+                contradictionType: 'UNKNOWN',
+                severity: 'LOW',
+                confidence: 0.1,
+                explanation: explanationBuilder.buildNonContradictionReason({
+                    match,
+                    comparison,
+                    claimA,
+                    claimB,
+                    contextRelationship: relationship,
+                }),
+                evidence: {
+                    claimA,
+                    claimB,
+                    match,
+                    comparison,
+                    context: contextResult,
+                },
+            };
+        }
+        // Inconclusive / uncomparable check
+        if (!comparison.comparable) {
+            const relationship = {
+                type: 'UNKNOWN',
+                confidence: 0.2,
+                explanation: `Values cannot be reliably compared under valueType '${claimA.valueType}'.`,
+                isContradictionEligible: false,
+                contextFactors: contextResult.relationship.contextFactors,
+            };
+            return {
+                isContradiction: false,
+                analysisStatus: 'UNCERTAIN',
+                relationship,
+                contradictionType: 'UNKNOWN',
+                severity: 'LOW',
+                confidence: 0.2,
+                explanation: explanationBuilder.buildNonContradictionReason({
+                    match,
+                    comparison,
+                    claimA,
+                    claimB,
+                    contextRelationship: relationship,
+                }),
+                evidence: {
+                    claimA,
+                    claimB,
+                    match,
+                    comparison,
+                    context: contextResult,
+                },
+            };
+        }
+        // 5. Contradiction classification & severity
+        const classification = contradictionClassifier.classify({
+            predicate: claimA.predicate,
+            valueType: comparison.valueType,
+            comparison,
+        });
+        // 6. Confidence scoring
+        const confidenceResult = confidenceScorer.calculate({
+            subjectSimilarity: match.subjectSimilarity,
+            predicateSimilarity: match.predicateSimilarity,
+            valueComparable: comparison.comparable,
+            valueDifferenceStrength: comparison.differenceStrength,
+            claimAConfidence: claimA.confidence,
+            claimBConfidence: claimB.confidence,
+            sourceATrust: sourceA ? sourceA.trustScore : 1.0,
+            sourceBTrust: sourceB ? sourceB.trustScore : 1.0,
+            isAmbiguous: !comparison.comparable || comparison.differenceStrength < 0.3,
+        });
+        // 7. Explanation generation
+        const explanation = explanationBuilder.build({
+            claimA,
+            claimB,
+            sourceA,
+            sourceB,
+            match,
+            comparison,
+            classification,
+            context: {
+                relationship: contextResult.relationship,
+                compatibilityScore: contextResult.compatibilityScore,
+                divergenceDimensions: contextResult.divergenceDimensions,
+            },
+        });
+        const relationship = {
+            type: 'INCOMPATIBLE_FACT',
+            confidence: confidenceResult.confidence,
+            explanation,
+            isContradictionEligible: true,
+            contextFactors: contextResult.relationship.contextFactors,
+        };
+        return {
+            isContradiction: true,
+            analysisStatus: 'CONFIRMED_CONTRADICTION',
+            relationship,
+            contradictionType: classification.contradictionType,
+            severity: classification.severity,
+            confidence: confidenceResult.confidence,
+            explanation,
+            evidence: {
+                claimA,
+                claimB,
+                match,
+                comparison,
+                context: contextResult,
+                confidenceBreakdown: confidenceResult.breakdown,
+            },
+        };
+    }
+}
+export const contradictionEngine = new ContradictionEngine();
+//# sourceMappingURL=contradictionEngine.js.map

package/dist/analysis/contradictionEngine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contradictionEngine.js","sourceRoot":"","sources":["../../src/analysis/contradictionEngine.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,YAAY,EAAoB,MAAM,mBAAmB,CAAC;AACnE,OAAO,EAAE,eAAe,EAAyB,MAAM,sBAAsB,CAAC;AAC9E,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAyB,MAAM,sBAAsB,CAAC;AAwB9E,MAAM,OAAO,mBAAmB;IACvB,WAAW,CAChB,MAAa,EACb,MAAa,EACb,OAAuB,EACvB,OAAuB;QAEvB,+BAA+B;QAC/B,IAAI,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;YACtD,MAAM,UAAU,GAAqB;gBACnC,OAAO,EAAE,IAAI;gBACb,iBAAiB,EAAE,GAAG;gBACtB,mBAAmB,EAAE,GAAG;gBACxB,kBAAkB,EAAE,MAAM,CAAC,OAAO;gBAClC,kBAAkB,EAAE,MAAM,CAAC,OAAO;gBAClC,oBAAoB,EAAE,MAAM,CAAC,SAAS;gBACtC,oBAAoB,EAAE,MAAM,CAAC,SAAS;gBACtC,MAAM,EAAE,4BAA4B;aACrC,CAAC;YACF,MAAM,SAAS,GAA0B;gBACvC,UAAU,EAAE,IAAI;gBAChB,KAAK,EAAE,IAAI;gBACX,UAAU,EAAE,IAAI;gBAChB,WAAW,EAAE,MAAM,CAAC,KAAK;gBACzB,WAAW,EAAE,MAAM,CAAC,KAAK;gBACzB,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,kBAAkB,EAAE,GAAG;aACxB,CAAC;YACF,MAAM,YAAY,GAAsB;gBACtC,IAAI,EAAE,WAAW;gBACjB,UAAU,EAAE,GAAG;gBACf,WAAW,EAAE,mCAAmC;gBAChD,uBAAuB,EAAE,KAAK;gBAC9B,cAAc,EAAE;oBACd,gBAAgB,EAAE,IAAI;oBACtB,UAAU,EAAE,IAAI;oBAChB,SAAS,EAAE,IAAI;oBACf,aAAa,EAAE,IAAI;oBACnB,kBAAkB,EAAE,KAAK;iBAC1B;aACF,CAAC;YAEF,OAAO;gBACL,eAAe,EAAE,KAAK;gBACtB,cAAc,EAAE,qBAAqB;gBACrC,YAAY;gBACZ,iBAAiB,EAAE,SAAS;gBAC5B,QAAQ,EAAE,KAAK;gBACf,UAAU,EAAE,GAAG;gBACf,WAAW,EAAE,mCAAmC;gBAChD,QAAQ,EAAE;oBACR,MAAM;oBACN,MAAM;oBACN,KAAK,EAAE,UAAU;oBACjB,UAAU,EAAE,SAAS;iBACtB;aACF,CAAC;QACJ,CAAC;QAED,iEAAiE;QACjE,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAC9B,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,EACxD,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CACzD,CAAC;QAEF,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACnB,MAAM,YAAY,GAAG,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;YAC3F,MAAM,YAAY,GAAsB;gBACtC,IAAI,EAAE,SAAS;gBACf,UAAU,EAAE,GAAG;gBACf,WAAW,EAAE,oDAAoD,KAAK,CAAC,MAAM,IAAI;gBACjF,uBAAuB,EAAE,KAAK;gBAC9B,cAAc,EAAE;oBACd,gBAAgB,EAAE,MAAM,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW;oBAC3D,UAAU,EAAE,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK;oBACzC,SAAS,EAAE,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU;oBAClD,aAAa,EAAE,IAAI;oBACnB,kBAAkB,EAAE,KAAK;iBAC1B;aACF,CAAC;YAEF,OAAO;gBACL,eAAe,EAAE,KAAK;gBACtB,cAAc,EAAE,qBAAqB;gBACrC,YAAY;gBACZ,iBAAiB,EAAE,SAAS;gBAC5B,QAAQ,EAAE,KAAK;gBACf,UAAU,EAAE,GAAG;gBACf,WAAW,EAAE,kBAAkB,CAAC,2BAA2B,CAAC;oBAC1D,KAAK;oBACL,UAAU,EAAE,YAAY;oBACxB,MAAM;oBACN,MAAM;oBACN,mBAAmB,EAAE,YAAY;iBAClC,CAAC;gBACF,QAAQ,EAAE;oBACR,MAAM;oBACN,MAAM;oBACN,KAAK;oBACL,UAAU,EAAE,YAAY;iBACzB;aACF,CAAC;QACJ,CAAC;QAED,uDAAuD;QACvD,MAAM,aAAa,GAAG,eAAe,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAE9D,IAAI,CAAC,aAAa,CAAC,YAAY,CAAC,uBAAuB,EAAE,CAAC;YACxD,MAAM,YAAY,GAAG,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;YAC3F,OAAO;gBACL,eAAe,EAAE,KAAK;gBACtB,cAAc,EAAE,qBAAqB;gBACrC,YAAY,EAAE,aAAa,CAAC,YAAY;gBACxC,iBAAiB,EAAE,SAAS;gBAC5B,QAAQ,EAAE,KAAK;gBACf,UAAU,EAAE,aAAa,CAAC,YAAY,CAAC,UAAU;gBACjD,WAAW,EAAE,kBAAkB,CAAC,2BAA2B,CAAC;oBAC1D,KAAK;oBACL,UAAU,EAAE,YAAY;oBACxB,MAAM;oBACN,MAAM;oBACN,mBAAmB,EAAE,aAAa,CAAC,YAAY;iBAChD,CAAC;gBACF,QAAQ,EAAE;oBACR,MAAM;oBACN,MAAM;oBACN,KAAK;oBACL,UAAU,EAAE,YAAY;oBACxB,OAAO,EAAE,aAAa;iBACvB;aACF,CAAC;QACJ,CAAC;QAED,sBAAsB;QACtB,MAAM,iBAAiB,GAAG,MAAM,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/F,MAAM,UAAU,GAAG,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;QAE1F,+CAA+C;QAC/C,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YACrB,MAAM,YAAY,GAAsB;gBACtC,IAAI,EAAE,WAAW;gBACjB,UAAU,EAAE,GAAG;gBACf,WAAW,EAAE,qDAAqD,UAAU,CAAC,WAAW,KAAK;gBAC7F,uBAAuB,EAAE,KAAK;gBAC9B,cAAc,EAAE,aAAa,CAAC,YAAY,CAAC,cAAc;aAC1D,CAAC;YAEF,OAAO;gBACL,eAAe,EAAE,KAAK;gBACtB,cAAc,EAAE,qBAAqB;gBACrC,YAAY;gBACZ,iBAAiB,EAAE,SAAS;gBAC5B,QAAQ,EAAE,KAAK;gBACf,UAAU,EAAE,GAAG;gBACf,WAAW,EAAE,kBAAkB,CAAC,2BAA2B,CAAC;oBAC1D,KAAK;oBACL,UAAU;oBACV,MAAM;oBACN,MAAM;oBACN,mBAAmB,EAAE,YAAY;iBAClC,CAAC;gBACF,QAAQ,EAAE;oBACR,MAAM;oBACN,MAAM;oBACN,KAAK;oBACL,UAAU;oBACV,OAAO,EAAE,aAAa;iBACvB;aACF,CAAC;QACJ,CAAC;QAED,iFAAiF;QACjF,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;YAC1B,MAAM,YAAY,GAAsB;gBACtC,IAAI,EAAE,iBAAiB;gBACvB,UAAU,EAAE,GAAG;gBACf,WAAW,EAAE,WAAW,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,KAAK,qBAAqB,UAAU,CAAC,cAAc,IAAI,YAAY,IAAI;gBAC5H,uBAAuB,EAAE,KAAK;gBAC9B,cAAc,EAAE,aAAa,CAAC,YAAY,CAAC,cAAc;aAC1D,CAAC;YAEF,OAAO;gBACL,eAAe,EAAE,KAAK;gBACtB,cAAc,EAAE,qBAAqB;gBACrC,YAAY;gBACZ,iBAAiB,EAAE,SAAS;gBAC5B,QAAQ,EAAE,KAAK;gBACf,UAAU,EAAE,GAAG;gBACf,WAAW,EAAE,kBAAkB,CAAC,2BAA2B,CAAC;oBAC1D,KAAK;oBACL,UAAU;oBACV,MAAM;oBACN,MAAM;oBACN,mBAAmB,EAAE,YAAY;iBAClC,CAAC;gBACF,QAAQ,EAAE;oBACR,MAAM;oBACN,MAAM;oBACN,KAAK;oBACL,UAAU;oBACV,OAAO,EAAE,aAAa;iBACvB;aACF,CAAC;QACJ,CAAC;QAED,oCAAoC;QACpC,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;YAC3B,MAAM,YAAY,GAAsB;gBACtC,IAAI,EAAE,SAAS;gBACf,UAAU,EAAE,GAAG;gBACf,WAAW,EAAE,uDAAuD,MAAM,CAAC,SAAS,IAAI;gBACxF,uBAAuB,EAAE,KAAK;gBAC9B,cAAc,EAAE,aAAa,CAAC,YAAY,CAAC,cAAc;aAC1D,CAAC;YAEF,OAAO;gBACL,eAAe,EAAE,KAAK;gBACtB,cAAc,EAAE,WAAW;gBAC3B,YAAY;gBACZ,iBAAiB,EAAE,SAAS;gBAC5B,QAAQ,EAAE,KAAK;gBACf,UAAU,EAAE,GAAG;gBACf,WAAW,EAAE,kBAAkB,CAAC,2BAA2B,CAAC;oBAC1D,KAAK;oBACL,UAAU;oBACV,MAAM;oBACN,MAAM;oBACN,mBAAmB,EAAE,YAAY;iBAClC,CAAC;gBACF,QAAQ,EAAE;oBACR,MAAM;oBACN,MAAM;oBACN,KAAK;oBACL,UAAU;oBACV,OAAO,EAAE,aAAa;iBACvB;aACF,CAAC;QACJ,CAAC;QAED,6CAA6C;QAC7C,MAAM,cAAc,GAAG,uBAAuB,CAAC,QAAQ,CAAC;YACtD,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,SAAS,EAAE,UAAU,CAAC,SAAS;YAC/B,UAAU;SACX,CAAC,CAAC;QAEH,wBAAwB;QACxB,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,SAAS,CAAC;YAClD,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;YAC1C,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;YAC9C,eAAe,EAAE,UAAU,CAAC,UAAU;YACtC,uBAAuB,EAAE,UAAU,CAAC,kBAAkB;YACtD,gBAAgB,EAAE,MAAM,CAAC,UAAU;YACnC,gBAAgB,EAAE,MAAM,CAAC,UAAU;YACnC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG;YAChD,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG;YAChD,WAAW,EAAE,CAAC,UAAU,CAAC,UAAU,IAAI,UAAU,CAAC,kBAAkB,GAAG,GAAG;SAC3E,CAAC,CAAC;QAEH,4BAA4B;QAC5B,MAAM,WAAW,GAAG,kBAAkB,CAAC,KAAK,CAAC;YAC3C,MAAM;YACN,MAAM;YACN,OAAO;YACP,OAAO;YACP,KAAK;YACL,UAAU;YACV,cAAc;YACd,OAAO,EAAE;gBACP,YAAY,EAAE,aAAa,CAAC,YAAY;gBACxC,kBAAkB,EAAE,aAAa,CAAC,kBAAkB;gBACpD,oBAAoB,EAAE,aAAa,CAAC,oBAAoB;aACzD;SACF,CAAC,CAAC;QAEH,MAAM,YAAY,GAAsB;YACtC,IAAI,EAAE,mBAAmB;YACzB,UAAU,EAAE,gBAAgB,CAAC,UAAU;YACvC,WAAW;YACX,uBAAuB,EAAE,IAAI;YAC7B,cAAc,EAAE,aAAa,CAAC,YAAY,CAAC,cAAc;SAC1D,CAAC;QAEF,OAAO;YACL,eAAe,EAAE,IAAI;YACrB,cAAc,EAAE,yBAAyB;YACzC,YAAY;YACZ,iBAAiB,EAAE,cAAc,CAAC,iBAAiB;YACnD,QAAQ,EAAE,cAAc,CAAC,QAAQ;YACjC,UAAU,EAAE,gBAAgB,CAAC,UAAU;YACvC,WAAW;YACX,QAAQ,EAAE;gBACR,MAAM;gBACN,MAAM;gBACN,KAAK;gBACL,UAAU;gBACV,OAAO,EAAE,aAAa;gBACtB,mBAAmB,EAAE,gBAAgB,CAAC,SAAS;aAChD;SACF,CAAC;IACJ,CAAC;CACF;AAED,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,mBAAmB,EAAE,CAAC"}

package/dist/analysis/explanationBuilder.d.ts

@@ -0,0 +1,36 @@
+import { Claim } from '../domain/entities/claim.js';
+import { Source } from '../domain/entities/source.js';
+import { ClaimMatchResult } from './claimMatcher.js';
+import { ValueComparisonResult } from './valueComparator.js';
+import { ClassificationResult } from './contradictionClassifier.js';
+export interface ExplanationContext {
+    claimA: Claim;
+    claimB: Claim;
+    sourceA?: Source | null;
+    sourceB?: Source | null;
+    match: ClaimMatchResult;
+    comparison: ValueComparisonResult;
+    classification: ClassificationResult;
+    context?: {
+        relationship?: {
+            type: string;
+            explanation: string;
+        };
+        compatibilityScore?: number;
+        divergenceDimensions?: string[];
+    };
+}
+export declare class ExplanationBuilder {
+    build(context: ExplanationContext): string;
+    buildNonContradictionReason(options: {
+        match: ClaimMatchResult;
+        comparison: ValueComparisonResult;
+        claimA: Claim;
+        claimB: Claim;
+        contextRelationship?: {
+            type: string;
+            explanation: string;
+        };
+    }): string;
+}
+export declare const explanationBuilder: ExplanationBuilder;

package/dist/analysis/explanationBuilder.js

@@ -0,0 +1,77 @@
+export class ExplanationBuilder {
+    build(context) {
+        const { claimA, claimB, sourceA, sourceB, match, comparison, classification } = context;
+        const sourceAName = sourceA ? sourceA.name : `Source (${claimA.sourceId})`;
+        const sourceBName = sourceB ? sourceB.name : `Source (${claimB.sourceId})`;
+        // 1. Same fact statement
+        const factStatement = `Both claims describe the ${claimA.predicate} for '${claimA.subject}' (${match.reason}).`;
+        // 2. Context detail
+        let contextStatement = '';
+        if (claimA.environment && claimB.environment && claimA.environment !== 'unknown') {
+            contextStatement = ` Operational context: ${claimA.environment} vs ${claimB.environment}.`;
+        }
+        // 3. What each source claims
+        const claimAStatement = `${sourceAName} reports '${claimA.value}' (observed on ${claimA.observedAt.toISOString().split('T')[0]}).`;
+        const claimBStatement = `${sourceBName} reports '${claimB.value}' (observed on ${claimB.observedAt.toISOString().split('T')[0]}).`;
+        // 4. Why the values conflict
+        let conflictDetail = '';
+        if (comparison.normalizedA !== claimA.value || comparison.normalizedB !== claimB.value) {
+            conflictDetail = `Normalized as '${comparison.normalizedA}' vs '${comparison.normalizedB}'.`;
+        }
+        let conflictReason;
+        switch (classification.contradictionType) {
+            case 'VERSION_MISMATCH':
+                conflictReason = `The versions are mutually exclusive. ${conflictDetail}`.trim();
+                break;
+            case 'DATE_MISMATCH':
+                conflictReason =
+                    `The dates represent conflicting milestones or deadlines. ${conflictDetail}`.trim();
+                break;
+            case 'QUANTITY_MISMATCH':
+                conflictReason =
+                    `The specified numeric quantities or limits do not match. ${conflictDetail}`.trim();
+                break;
+            case 'STATUS_MISMATCH':
+                conflictReason =
+                    `The reported lifecycle or operational statuses conflict. ${conflictDetail}`.trim();
+                break;
+            case 'POLICY_MISMATCH':
+                conflictReason =
+                    `The stated rules or access policies are contradictory. ${conflictDetail}`.trim();
+                break;
+            case 'EXISTENCE_MISMATCH':
+                conflictReason = `One statement asserts presence while the other indicates omission or non-existence.`;
+                break;
+            default:
+                conflictReason =
+                    `The reported values are incompatible and cannot both hold simultaneously. ${conflictDetail}`.trim();
+                break;
+        }
+        // 5. Classification & severity summary
+        const summary = `Classified as ${classification.contradictionType} with ${classification.severity} severity.`;
+        return `${factStatement}${contextStatement} However, ${claimAStatement} Meanwhile, ${claimBStatement} ${conflictReason} ${summary}`;
+    }
+    buildNonContradictionReason(options) {
+        const { match, comparison, claimA, claimB, contextRelationship } = options;
+        if (contextRelationship &&
+            contextRelationship.type !== 'SAME_FACT' &&
+            contextRelationship.type !== 'INCOMPATIBLE_FACT') {
+            return `No contradiction detected (${contextRelationship.type}): ${contextRelationship.explanation}`;
+        }
+        if (!match.matches) {
+            return `No contradiction detected: Claims refer to distinct subjects or predicates (${match.reason}).`;
+        }
+        if (comparison.equal) {
+            return `No contradiction detected: Both claims specify equivalent values for '${claimA.subject}' ('${comparison.normalizedA}').`;
+        }
+        if (comparison.compatible) {
+            return `No contradiction detected (COMPATIBLE_FACT): Values '${claimA.value}' and '${claimB.value}' are compatible (e.g. version range satisfied or overlapping constraints).`;
+        }
+        if (!comparison.comparable) {
+            return `Inconclusive comparison: Values '${claimA.value}' and '${claimB.value}' cannot be reliably compared under valueType '${claimA.valueType}'.`;
+        }
+        return `No contradiction detected.`;
+    }
+}
+export const explanationBuilder = new ExplanationBuilder();
+//# sourceMappingURL=explanationBuilder.js.map

package/dist/analysis/explanationBuilder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"explanationBuilder.js","sourceRoot":"","sources":["../../src/analysis/explanationBuilder.ts"],"names":[],"mappings":"AAqBA,MAAM,OAAO,kBAAkB;IACtB,KAAK,CAAC,OAA2B;QACtC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,GAAG,OAAO,CAAC;QAExF,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,MAAM,CAAC,QAAQ,GAAG,CAAC;QAC3E,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,MAAM,CAAC,QAAQ,GAAG,CAAC;QAE3E,yBAAyB;QACzB,MAAM,aAAa,GAAG,4BAA4B,MAAM,CAAC,SAAS,SAAS,MAAM,CAAC,OAAO,MAAM,KAAK,CAAC,MAAM,IAAI,CAAC;QAEhH,oBAAoB;QACpB,IAAI,gBAAgB,GAAG,EAAE,CAAC;QAC1B,IAAI,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACjF,gBAAgB,GAAG,yBAAyB,MAAM,CAAC,WAAW,OAAO,MAAM,CAAC,WAAW,GAAG,CAAC;QAC7F,CAAC;QAED,6BAA6B;QAC7B,MAAM,eAAe,GAAG,GAAG,WAAW,aAAa,MAAM,CAAC,KAAK,kBAAkB,MAAM,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACnI,MAAM,eAAe,GAAG,GAAG,WAAW,aAAa,MAAM,CAAC,KAAK,kBAAkB,MAAM,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAEnI,6BAA6B;QAC7B,IAAI,cAAc,GAAG,EAAE,CAAC;QACxB,IAAI,UAAU,CAAC,WAAW,KAAK,MAAM,CAAC,KAAK,IAAI,UAAU,CAAC,WAAW,KAAK,MAAM,CAAC,KAAK,EAAE,CAAC;YACvF,cAAc,GAAG,kBAAkB,UAAU,CAAC,WAAW,SAAS,UAAU,CAAC,WAAW,IAAI,CAAC;QAC/F,CAAC;QAED,IAAI,cAAsB,CAAC;QAC3B,QAAQ,cAAc,CAAC,iBAAiB,EAAE,CAAC;YACzC,KAAK,kBAAkB;gBACrB,cAAc,GAAG,wCAAwC,cAAc,EAAE,CAAC,IAAI,EAAE,CAAC;gBACjF,MAAM;YACR,KAAK,eAAe;gBAClB,cAAc;oBACZ,4DAA4D,cAAc,EAAE,CAAC,IAAI,EAAE,CAAC;gBACtF,MAAM;YACR,KAAK,mBAAmB;gBACtB,cAAc;oBACZ,4DAA4D,cAAc,EAAE,CAAC,IAAI,EAAE,CAAC;gBACtF,MAAM;YACR,KAAK,iBAAiB;gBACpB,cAAc;oBACZ,4DAA4D,cAAc,EAAE,CAAC,IAAI,EAAE,CAAC;gBACtF,MAAM;YACR,KAAK,iBAAiB;gBACpB,cAAc;oBACZ,0DAA0D,cAAc,EAAE,CAAC,IAAI,EAAE,CAAC;gBACpF,MAAM;YACR,KAAK,oBAAoB;gBACvB,cAAc,GAAG,qFAAqF,CAAC;gBACvG,MAAM;YACR;gBACE,cAAc;oBACZ,6EAA6E,cAAc,EAAE,CAAC,IAAI,EAAE,CAAC;gBACvG,MAAM;QACV,CAAC;QAED,uCAAuC;QACvC,MAAM,OAAO,GAAG,iBAAiB,cAAc,CAAC,iBAAiB,SAAS,cAAc,CAAC,QAAQ,YAAY,CAAC;QAE9G,OAAO,GAAG,aAAa,GAAG,gBAAgB,aAAa,eAAe,eAAe,eAAe,IAAI,cAAc,IAAI,OAAO,EAAE,CAAC;IACtI,CAAC;IAEM,2BAA2B,CAAC,OAMlC;QACC,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,mBAAmB,EAAE,GAAG,OAAO,CAAC;QAE3E,IACE,mBAAmB;YACnB,mBAAmB,CAAC,IAAI,KAAK,WAAW;YACxC,mBAAmB,CAAC,IAAI,KAAK,mBAAmB,EAChD,CAAC;YACD,OAAO,8BAA8B,mBAAmB,CAAC,IAAI,MAAM,mBAAmB,CAAC,WAAW,EAAE,CAAC;QACvG,CAAC;QAED,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACnB,OAAO,+EAA+E,KAAK,CAAC,MAAM,IAAI,CAAC;QACzG,CAAC;QAED,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YACrB,OAAO,yEAAyE,MAAM,CAAC,OAAO,OAAO,UAAU,CAAC,WAAW,KAAK,CAAC;QACnI,CAAC;QAED,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;YAC1B,OAAO,wDAAwD,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,KAAK,6EAA6E,CAAC;QACjL,CAAC;QAED,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;YAC3B,OAAO,oCAAoC,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,KAAK,kDAAkD,MAAM,CAAC,SAAS,IAAI,CAAC;QACtJ,CAAC;QAED,OAAO,4BAA4B,CAAC;IACtC,CAAC;CACF;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,kBAAkB,EAAE,CAAC"}

package/dist/analysis/valueComparator.d.ts

@@ -0,0 +1,38 @@
+export interface ValueComparisonResult {
+    comparable: boolean;
+    equal: boolean;
+    compatible?: boolean;
+    normalizedA: string;
+    normalizedB: string;
+    valueType: string;
+    differenceStrength: number;
+    differenceType?: string;
+    details?: Record<string, unknown>;
+}
+export declare class ValueComparator {
+    compare(valA: string, valB: string, explicitValueType?: string): ValueComparisonResult;
+    private inferValueType;
+    private isLikelyVersion;
+    cleanSemverRange(val: string): string | null;
+    normalizeVersion(val: string): {
+        canonical: string;
+        segments: number[];
+    } | null;
+    private compareVersions;
+    private isLikelyDate;
+    normalizeDate(val: string): string | null;
+    private compareDates;
+    private isLikelyPrice;
+    normalizePrice(val: string): {
+        amount: number;
+        currency?: string;
+    } | null;
+    private comparePrices;
+    private isLikelyNumber;
+    private compareNumbers;
+    private compareStatuses;
+    private normalizeBoolean;
+    private compareBooleans;
+    private compareStrings;
+}
+export declare const valueComparator: ValueComparator;