contradiction-mcp 0.1.0

package/dist/analysis/contextAnalyzer.js

@@ -0,0 +1,187 @@
+export class ContextAnalyzer {
+    analyze(claimA, claimB) {
+        const divergences = [];
+        // 1. Check Set Membership (e.g., CI matrix items)
+        const mvcA = claimA.multiValueContext;
+        const mvcB = claimB.multiValueContext;
+        const isSetMembership = Boolean(mvcA && mvcB) &&
+            mvcA === mvcB &&
+            (mvcA === 'ci_matrix' || (mvcA ? mvcA.includes('matrix') || mvcA.includes('set') : false));
+        if (isSetMembership && mvcA) {
+            return {
+                relationship: {
+                    type: 'SET_MEMBERSHIP',
+                    confidence: 0.95,
+                    explanation: `Both claims are members of the same multi-value context (${claimA.multiValueContext}), representing parallel configurations or matrix dimensions rather than conflicting assertions.`,
+                    isContradictionEligible: false,
+                    contextFactors: {
+                        environmentMatch: claimA.environment === claimB.environment,
+                        scopeMatch: claimA.scope === claimB.scope,
+                        roleMatch: claimA.sourceRole === claimB.sourceRole,
+                        temporalMatch: true,
+                        setMembershipMatch: true,
+                    },
+                },
+                isContextCompatible: true,
+                compatibilityScore: 1.0,
+                reason: 'Claims belong to a valid multi-value set/matrix.',
+                divergenceDimensions: [],
+            };
+        }
+        // 2. Check Historical / Temporal Disjointness
+        const isTemporalDisjoint = claimA.isHistorical ||
+            claimB.isHistorical ||
+            claimA.sourceRole === 'historical' ||
+            claimB.sourceRole === 'historical' ||
+            (claimA.validUntil && claimB.validFrom && claimA.validUntil <= claimB.validFrom) ||
+            (claimB.validUntil && claimA.validFrom && claimB.validUntil <= claimA.validFrom);
+        if (isTemporalDisjoint) {
+            divergences.push('temporal');
+            const historicalClaim = claimA.isHistorical || claimA.sourceRole === 'historical' ? 'Claim A' : 'Claim B';
+            return {
+                relationship: {
+                    type: 'HISTORICAL',
+                    confidence: 0.9,
+                    explanation: `${historicalClaim} describes a historical, previous, or non-overlapping time state. Historical states do not contradict active or subsequent specifications.`,
+                    isContradictionEligible: false,
+                    contextFactors: {
+                        environmentMatch: claimA.environment === claimB.environment,
+                        scopeMatch: claimA.scope === claimB.scope,
+                        roleMatch: claimA.sourceRole === claimB.sourceRole,
+                        temporalMatch: false,
+                        setMembershipMatch: false,
+                    },
+                },
+                isContextCompatible: false,
+                compatibilityScore: 0.2,
+                reason: 'One or both claims are historical or temporally disjoint.',
+                divergenceDimensions: divergences,
+            };
+        }
+        // 3. Check Examples / Illustrative Samples
+        const isExample = claimA.sourceRole === 'example' ||
+            claimB.sourceRole === 'example' ||
+            (claimA.metadata &&
+                String(claimA.metadata.evidence || '')
+                    .toLowerCase()
+                    .includes('example')) ||
+            (claimB.metadata &&
+                String(claimB.metadata.evidence || '')
+                    .toLowerCase()
+                    .includes('example'));
+        if (isExample) {
+            divergences.push('sourceRole');
+            return {
+                relationship: {
+                    type: 'EXAMPLE',
+                    confidence: 0.85,
+                    explanation: 'At least one claim originates from an illustrative tutorial, sample snippet, or example command rather than a normative production specification.',
+                    isContradictionEligible: false,
+                    contextFactors: {
+                        environmentMatch: claimA.environment === claimB.environment,
+                        scopeMatch: claimA.scope === claimB.scope,
+                        roleMatch: false,
+                        temporalMatch: true,
+                        setMembershipMatch: false,
+                    },
+                },
+                isContextCompatible: false,
+                compatibilityScore: 0.3,
+                reason: 'Illustrative examples do not contradict canonical configuration.',
+                divergenceDimensions: divergences,
+            };
+        }
+        // 4. Check Environment Divergence (e.g. dev vs prod, staging vs prod)
+        const envA = (claimA.environment || 'unknown').toLowerCase();
+        const envB = (claimB.environment || 'unknown').toLowerCase();
+        const isEnvDisjoint = (envA === 'development' && (envB === 'production' || envB === 'deployment')) ||
+            (envB === 'development' && (envA === 'production' || envA === 'deployment')) ||
+            (envA === 'staging' && envB === 'production') ||
+            (envB === 'staging' && envA === 'production') ||
+            (envA === 'testing' && envB === 'production') ||
+            (envB === 'testing' && envA === 'production');
+        if (isEnvDisjoint) {
+            divergences.push('environment');
+            return {
+                relationship: {
+                    type: 'DIFFERENT_ENVIRONMENT',
+                    confidence: 0.9,
+                    explanation: `Claims apply to distinct non-overlapping environments (${envA} vs ${envB}). Distinct environments legitimately maintain different parameter values.`,
+                    isContradictionEligible: false,
+                    contextFactors: {
+                        environmentMatch: false,
+                        scopeMatch: claimA.scope === claimB.scope,
+                        roleMatch: claimA.sourceRole === claimB.sourceRole,
+                        temporalMatch: true,
+                        setMembershipMatch: false,
+                    },
+                },
+                isContextCompatible: false,
+                compatibilityScore: 0.2,
+                reason: `Environments '${envA}' and '${envB}' are distinct operational tiers.`,
+                divergenceDimensions: divergences,
+            };
+        }
+        // 5. Check Scope Divergence
+        const scopeA = (claimA.scope || 'unknown').toLowerCase();
+        const scopeB = (claimB.scope || 'unknown').toLowerCase();
+        // If scope differs, but both describe global repo requirement, evaluate cautiously
+        if (scopeA !== 'unknown' &&
+            scopeB !== 'unknown' &&
+            scopeA !== scopeB &&
+            scopeA === 'service' &&
+            scopeB === 'repository') {
+            divergences.push('scope');
+            return {
+                relationship: {
+                    type: 'DIFFERENT_SCOPE',
+                    confidence: 0.8,
+                    explanation: `Claims operate at distinct architectural scopes (${scopeA} vs ${scopeB}).`,
+                    isContradictionEligible: false,
+                    contextFactors: {
+                        environmentMatch: envA === envB,
+                        scopeMatch: false,
+                        roleMatch: claimA.sourceRole === claimB.sourceRole,
+                        temporalMatch: true,
+                        setMembershipMatch: false,
+                    },
+                },
+                isContextCompatible: false,
+                compatibilityScore: 0.4,
+                reason: `Scopes '${scopeA}' and '${scopeB}' represent distinct structural layers.`,
+                divergenceDimensions: divergences,
+            };
+        }
+        // 6. Contexts are compatible / comparable
+        const envMatch = envA === envB ||
+            envA === 'unknown' ||
+            envB === 'unknown' ||
+            envA === 'documentation' ||
+            envB === 'documentation';
+        const scopeMatch = scopeA === scopeB || scopeA === 'unknown' || scopeB === 'unknown';
+        const roleMatch = claimA.sourceRole === claimB.sourceRole ||
+            claimA.sourceRole === 'unknown' ||
+            claimB.sourceRole === 'unknown';
+        return {
+            relationship: {
+                type: 'SAME_FACT',
+                confidence: 0.9,
+                explanation: 'Both claims share compatible operational environments, scopes, and source roles.',
+                isContradictionEligible: true,
+                contextFactors: {
+                    environmentMatch: envMatch,
+                    scopeMatch,
+                    roleMatch,
+                    temporalMatch: true,
+                    setMembershipMatch: false,
+                },
+            },
+            isContextCompatible: true,
+            compatibilityScore: 0.95,
+            reason: 'Claims share compatible operational context.',
+            divergenceDimensions: [],
+        };
+    }
+}
+export const contextAnalyzer = new ContextAnalyzer();
+//# sourceMappingURL=contextAnalyzer.js.map

package/dist/analysis/contextAnalyzer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contextAnalyzer.js","sourceRoot":"","sources":["../../src/analysis/contextAnalyzer.ts"],"names":[],"mappings":"AAWA,MAAM,OAAO,eAAe;IACnB,OAAO,CAAC,MAAa,EAAE,MAAa;QACzC,MAAM,WAAW,GAAa,EAAE,CAAC;QAEjC,kDAAkD;QAClD,MAAM,IAAI,GAAG,MAAM,CAAC,iBAAiB,CAAC;QACtC,MAAM,IAAI,GAAG,MAAM,CAAC,iBAAiB,CAAC;QACtC,MAAM,eAAe,GACnB,OAAO,CAAC,IAAI,IAAI,IAAI,CAAC;YACrB,IAAI,KAAK,IAAI;YACb,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAE7F,IAAI,eAAe,IAAI,IAAI,EAAE,CAAC;YAC5B,OAAO;gBACL,YAAY,EAAE;oBACZ,IAAI,EAAE,gBAAgB;oBACtB,UAAU,EAAE,IAAI;oBAChB,WAAW,EAAE,4DAA4D,MAAM,CAAC,iBAAiB,kGAAkG;oBACnM,uBAAuB,EAAE,KAAK;oBAC9B,cAAc,EAAE;wBACd,gBAAgB,EAAE,MAAM,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW;wBAC3D,UAAU,EAAE,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK;wBACzC,SAAS,EAAE,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU;wBAClD,aAAa,EAAE,IAAI;wBACnB,kBAAkB,EAAE,IAAI;qBACzB;iBACF;gBACD,mBAAmB,EAAE,IAAI;gBACzB,kBAAkB,EAAE,GAAG;gBACvB,MAAM,EAAE,kDAAkD;gBAC1D,oBAAoB,EAAE,EAAE;aACzB,CAAC;QACJ,CAAC;QAED,8CAA8C;QAC9C,MAAM,kBAAkB,GACtB,MAAM,CAAC,YAAY;YACnB,MAAM,CAAC,YAAY;YACnB,MAAM,CAAC,UAAU,KAAK,YAAY;YAClC,MAAM,CAAC,UAAU,KAAK,YAAY;YAClC,CAAC,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,SAAS,CAAC;YAChF,CAAC,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC;QAEnF,IAAI,kBAAkB,EAAE,CAAC;YACvB,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC7B,MAAM,eAAe,GACnB,MAAM,CAAC,YAAY,IAAI,MAAM,CAAC,UAAU,KAAK,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;YACpF,OAAO;gBACL,YAAY,EAAE;oBACZ,IAAI,EAAE,YAAY;oBAClB,UAAU,EAAE,GAAG;oBACf,WAAW,EAAE,GAAG,eAAe,4IAA4I;oBAC3K,uBAAuB,EAAE,KAAK;oBAC9B,cAAc,EAAE;wBACd,gBAAgB,EAAE,MAAM,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW;wBAC3D,UAAU,EAAE,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK;wBACzC,SAAS,EAAE,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU;wBAClD,aAAa,EAAE,KAAK;wBACpB,kBAAkB,EAAE,KAAK;qBAC1B;iBACF;gBACD,mBAAmB,EAAE,KAAK;gBAC1B,kBAAkB,EAAE,GAAG;gBACvB,MAAM,EAAE,2DAA2D;gBACnE,oBAAoB,EAAE,WAAW;aAClC,CAAC;QACJ,CAAC;QAED,2CAA2C;QAC3C,MAAM,SAAS,GACb,MAAM,CAAC,UAAU,KAAK,SAAS;YAC/B,MAAM,CAAC,UAAU,KAAK,SAAS;YAC/B,CAAC,MAAM,CAAC,QAAQ;gBACd,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,IAAI,EAAE,CAAC;qBACnC,WAAW,EAAE;qBACb,QAAQ,CAAC,SAAS,CAAC,CAAC;YACzB,CAAC,MAAM,CAAC,QAAQ;gBACd,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,IAAI,EAAE,CAAC;qBACnC,WAAW,EAAE;qBACb,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;QAE5B,IAAI,SAAS,EAAE,CAAC;YACd,WAAW,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YAC/B,OAAO;gBACL,YAAY,EAAE;oBACZ,IAAI,EAAE,SAAS;oBACf,UAAU,EAAE,IAAI;oBAChB,WAAW,EACT,mJAAmJ;oBACrJ,uBAAuB,EAAE,KAAK;oBAC9B,cAAc,EAAE;wBACd,gBAAgB,EAAE,MAAM,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW;wBAC3D,UAAU,EAAE,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK;wBACzC,SAAS,EAAE,KAAK;wBAChB,aAAa,EAAE,IAAI;wBACnB,kBAAkB,EAAE,KAAK;qBAC1B;iBACF;gBACD,mBAAmB,EAAE,KAAK;gBAC1B,kBAAkB,EAAE,GAAG;gBACvB,MAAM,EAAE,kEAAkE;gBAC1E,oBAAoB,EAAE,WAAW;aAClC,CAAC;QACJ,CAAC;QAED,sEAAsE;QACtE,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,IAAI,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7D,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,IAAI,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QAE7D,MAAM,aAAa,GACjB,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,YAAY,CAAC,CAAC;YAC5E,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,YAAY,CAAC,CAAC;YAC5E,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,YAAY,CAAC;YAC7C,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,YAAY,CAAC;YAC7C,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,YAAY,CAAC;YAC7C,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,YAAY,CAAC,CAAC;QAEhD,IAAI,aAAa,EAAE,CAAC;YAClB,WAAW,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;YAChC,OAAO;gBACL,YAAY,EAAE;oBACZ,IAAI,EAAE,uBAAuB;oBAC7B,UAAU,EAAE,GAAG;oBACf,WAAW,EAAE,0DAA0D,IAAI,OAAO,IAAI,4EAA4E;oBAClK,uBAAuB,EAAE,KAAK;oBAC9B,cAAc,EAAE;wBACd,gBAAgB,EAAE,KAAK;wBACvB,UAAU,EAAE,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK;wBACzC,SAAS,EAAE,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU;wBAClD,aAAa,EAAE,IAAI;wBACnB,kBAAkB,EAAE,KAAK;qBAC1B;iBACF;gBACD,mBAAmB,EAAE,KAAK;gBAC1B,kBAAkB,EAAE,GAAG;gBACvB,MAAM,EAAE,iBAAiB,IAAI,UAAU,IAAI,mCAAmC;gBAC9E,oBAAoB,EAAE,WAAW;aAClC,CAAC;QACJ,CAAC;QAED,4BAA4B;QAC5B,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,IAAI,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QACzD,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,IAAI,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QAEzD,mFAAmF;QACnF,IACE,MAAM,KAAK,SAAS;YACpB,MAAM,KAAK,SAAS;YACpB,MAAM,KAAK,MAAM;YACjB,MAAM,KAAK,SAAS;YACpB,MAAM,KAAK,YAAY,EACvB,CAAC;YACD,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC1B,OAAO;gBACL,YAAY,EAAE;oBACZ,IAAI,EAAE,iBAAiB;oBACvB,UAAU,EAAE,GAAG;oBACf,WAAW,EAAE,oDAAoD,MAAM,OAAO,MAAM,IAAI;oBACxF,uBAAuB,EAAE,KAAK;oBAC9B,cAAc,EAAE;wBACd,gBAAgB,EAAE,IAAI,KAAK,IAAI;wBAC/B,UAAU,EAAE,KAAK;wBACjB,SAAS,EAAE,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU;wBAClD,aAAa,EAAE,IAAI;wBACnB,kBAAkB,EAAE,KAAK;qBAC1B;iBACF;gBACD,mBAAmB,EAAE,KAAK;gBAC1B,kBAAkB,EAAE,GAAG;gBACvB,MAAM,EAAE,WAAW,MAAM,UAAU,MAAM,yCAAyC;gBAClF,oBAAoB,EAAE,WAAW;aAClC,CAAC;QACJ,CAAC;QAED,0CAA0C;QAC1C,MAAM,QAAQ,GACZ,IAAI,KAAK,IAAI;YACb,IAAI,KAAK,SAAS;YAClB,IAAI,KAAK,SAAS;YAClB,IAAI,KAAK,eAAe;YACxB,IAAI,KAAK,eAAe,CAAC;QAC3B,MAAM,UAAU,GAAG,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,CAAC;QACrF,MAAM,SAAS,GACb,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU;YACvC,MAAM,CAAC,UAAU,KAAK,SAAS;YAC/B,MAAM,CAAC,UAAU,KAAK,SAAS,CAAC;QAElC,OAAO;YACL,YAAY,EAAE;gBACZ,IAAI,EAAE,WAAW;gBACjB,UAAU,EAAE,GAAG;gBACf,WAAW,EACT,kFAAkF;gBACpF,uBAAuB,EAAE,IAAI;gBAC7B,cAAc,EAAE;oBACd,gBAAgB,EAAE,QAAQ;oBAC1B,UAAU;oBACV,SAAS;oBACT,aAAa,EAAE,IAAI;oBACnB,kBAAkB,EAAE,KAAK;iBAC1B;aACF;YACD,mBAAmB,EAAE,IAAI;YACzB,kBAAkB,EAAE,IAAI;YACxB,MAAM,EAAE,8CAA8C;YACtD,oBAAoB,EAAE,EAAE;SACzB,CAAC;IACJ,CAAC;CACF;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,eAAe,EAAE,CAAC"}

package/dist/analysis/contradictionClassifier.d.ts

@@ -0,0 +1,16 @@
+import { ContradictionSeverity, ContradictionType } from '../domain/entities/contradiction.js';
+import { ValueComparisonResult } from './valueComparator.js';
+export interface ClassificationResult {
+    contradictionType: ContradictionType;
+    severity: ContradictionSeverity;
+    categoryReason: string;
+}
+export declare class ContradictionClassifier {
+    classify(options: {
+        predicate: string;
+        valueType: string;
+        comparison: ValueComparisonResult;
+    }): ClassificationResult;
+    private determineSeverity;
+}
+export declare const contradictionClassifier: ContradictionClassifier;

package/dist/analysis/contradictionClassifier.js

@@ -0,0 +1,141 @@
+export class ContradictionClassifier {
+    classify(options) {
+        const { predicate, valueType, comparison } = options;
+        const pred = predicate.toLowerCase().trim();
+        const type = valueType.toLowerCase().trim();
+        // 1. Determine Contradiction Type
+        let contradictionType = 'VALUE_MISMATCH';
+        let categoryReason = 'Values represent distinct or incompatible data';
+        if (type === 'version' || pred.includes('version') || pred.includes('release')) {
+            contradictionType = 'VERSION_MISMATCH';
+            categoryReason =
+                'Claims specify different version specifications for the same dependency or component';
+        }
+        else if (type === 'date' ||
+            pred.includes('date') ||
+            pred.includes('deadline') ||
+            pred.includes('expires')) {
+            contradictionType = 'DATE_MISMATCH';
+            categoryReason = 'Claims report conflicting temporal milestones or dates';
+        }
+        else if (type === 'status' ||
+            pred.includes('status') ||
+            pred.includes('state') ||
+            pred.includes('phase') ||
+            pred.includes('condition')) {
+            contradictionType = 'STATUS_MISMATCH';
+            categoryReason = 'Claims assert contradictory lifecycle, operational, or execution statuses';
+        }
+        else if (type === 'quantity' ||
+            type === 'number' ||
+            pred.includes('count') ||
+            pred.includes('quantity') ||
+            pred.includes('limit') ||
+            pred.includes('capacity') ||
+            pred.includes('quota')) {
+            contradictionType = 'QUANTITY_MISMATCH';
+            categoryReason = 'Claims state differing numeric quantities, counts, or capacity thresholds';
+        }
+        else if (type === 'policy' ||
+            pred.includes('policy') ||
+            pred.includes('rule') ||
+            pred.includes('permission') ||
+            pred.includes('access') ||
+            pred.includes('auth') ||
+            pred.includes('security')) {
+            contradictionType = 'POLICY_MISMATCH';
+            categoryReason = 'Claims define mutually incompatible policies, security controls, or rules';
+        }
+        else if (pred.includes('exists') ||
+            pred.includes('deleted') ||
+            pred.includes('presence') ||
+            pred.includes('available') ||
+            comparison.differenceType === 'EMPTY_VS_NONEMPTY') {
+            contradictionType = 'EXISTENCE_MISMATCH';
+            categoryReason =
+                'One claim asserts the presence or existence of an entity while the other negates or omits it';
+        }
+        else if (type === 'configuration' ||
+            pred.includes('config') ||
+            pred.includes('setting') ||
+            pred.includes('parameter') ||
+            pred.includes('port') ||
+            pred.includes('host')) {
+            contradictionType = 'CONFIGURATION_MISMATCH';
+            categoryReason = 'Claims assert contradictory configuration parameters or runtime settings';
+        }
+        else if (type === 'requirement' ||
+            pred.includes('require') ||
+            pred.includes('need') ||
+            pred.includes('prerequisite')) {
+            contradictionType = 'REQUIREMENT_MISMATCH';
+            categoryReason =
+                'Claims specify mutually incompatible operational prerequisites or requirements';
+        }
+        else if (pred.includes('duration') || pred.includes('interval') || pred.includes('period')) {
+            contradictionType = 'TEMPORAL_MISMATCH';
+            categoryReason = 'Claims assert inconsistent temporal intervals or durations';
+        }
+        else if (pred.includes('owner') ||
+            pred.includes('assignee') ||
+            pred.includes('author') ||
+            pred.includes('lead') ||
+            pred.includes('entity')) {
+            contradictionType = 'ENTITY_MISMATCH';
+            categoryReason =
+                'Claims associate different entities, identities, or owners with the same role';
+        }
+        // 2. Determine Severity
+        const severity = this.determineSeverity({
+            contradictionType,
+            predicate: pred,
+            valueType: type,
+            comparison,
+        });
+        return {
+            contradictionType,
+            severity,
+            categoryReason,
+        };
+    }
+    determineSeverity(options) {
+        const { contradictionType, predicate, valueType, comparison } = options;
+        // CRITICAL cases: security, authorization, destructive configs
+        if (contradictionType === 'POLICY_MISMATCH' ||
+            predicate.includes('security') ||
+            predicate.includes('auth') ||
+            predicate.includes('permission')) {
+            return 'CRITICAL';
+        }
+        // HIGH cases: environment conflicts (production vs development/staging), financial/price differences, major version differences
+        if (predicate.includes('environment') ||
+            predicate.includes('env') ||
+            (comparison.normalizedA === 'production' && comparison.normalizedB !== 'production') ||
+            (comparison.normalizedB === 'production' && comparison.normalizedA !== 'production')) {
+            return 'HIGH';
+        }
+        if (valueType === 'price' ||
+            predicate.includes('price') ||
+            predicate.includes('amount') ||
+            predicate.includes('cost')) {
+            return 'HIGH';
+        }
+        if (comparison.differenceType === 'MAJOR_VERSION_MISMATCH') {
+            return 'HIGH';
+        }
+        // MEDIUM cases: standard version, dates, quantities
+        if (contradictionType === 'VERSION_MISMATCH' ||
+            contradictionType === 'DATE_MISMATCH' ||
+            contradictionType === 'STATUS_MISMATCH' ||
+            contradictionType === 'QUANTITY_MISMATCH') {
+            return 'MEDIUM';
+        }
+        // LOW cases: minor string variation or weak difference
+        if (comparison.differenceStrength < 0.6) {
+            return 'LOW';
+        }
+        return 'MEDIUM';
+    }
+}
+export const contradictionClassifier = new ContradictionClassifier();
+//# sourceMappingURL=contradictionClassifier.js.map

package/dist/analysis/contradictionClassifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contradictionClassifier.js","sourceRoot":"","sources":["../../src/analysis/contradictionClassifier.ts"],"names":[],"mappings":"AASA,MAAM,OAAO,uBAAuB;IAC3B,QAAQ,CAAC,OAIf;QACC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;QACrD,MAAM,IAAI,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC;QAE5C,kCAAkC;QAClC,IAAI,iBAAiB,GAAsB,gBAAgB,CAAC;QAC5D,IAAI,cAAc,GAAG,gDAAgD,CAAC;QAEtE,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YAC/E,iBAAiB,GAAG,kBAAkB,CAAC;YACvC,cAAc;gBACZ,sFAAsF,CAAC;QAC3F,CAAC;aAAM,IACL,IAAI,KAAK,MAAM;YACf,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;YACrB,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;YACzB,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EACxB,CAAC;YACD,iBAAiB,GAAG,eAAe,CAAC;YACpC,cAAc,GAAG,wDAAwD,CAAC;QAC5E,CAAC;aAAM,IACL,IAAI,KAAK,QAAQ;YACjB,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;YACvB,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;YACtB,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;YACtB,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAC1B,CAAC;YACD,iBAAiB,GAAG,iBAAiB,CAAC;YACtC,cAAc,GAAG,2EAA2E,CAAC;QAC/F,CAAC;aAAM,IACL,IAAI,KAAK,UAAU;YACnB,IAAI,KAAK,QAAQ;YACjB,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;YACtB,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;YACzB,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;YACtB,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;YACzB,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EACtB,CAAC;YACD,iBAAiB,GAAG,mBAAmB,CAAC;YACxC,cAAc,GAAG,2EAA2E,CAAC;QAC/F,CAAC;aAAM,IACL,IAAI,KAAK,QAAQ;YACjB,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;YACvB,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;YACrB,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC;YAC3B,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;YACvB,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;YACrB,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EACzB,CAAC;YACD,iBAAiB,GAAG,iBAAiB,CAAC;YACtC,cAAc,GAAG,2EAA2E,CAAC;QAC/F,CAAC;aAAM,IACL,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;YACvB,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;YACxB,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;YACzB,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;YAC1B,UAAU,CAAC,cAAc,KAAK,mBAAmB,EACjD,CAAC;YACD,iBAAiB,GAAG,oBAAoB,CAAC;YACzC,cAAc;gBACZ,8FAA8F,CAAC;QACnG,CAAC;aAAM,IACL,IAAI,KAAK,eAAe;YACxB,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;YACvB,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;YACxB,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;YAC1B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;YACrB,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EACrB,CAAC;YACD,iBAAiB,GAAG,wBAAwB,CAAC;YAC7C,cAAc,GAAG,0EAA0E,CAAC;QAC9F,CAAC;aAAM,IACL,IAAI,KAAK,aAAa;YACtB,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;YACxB,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;YACrB,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,EAC7B,CAAC;YACD,iBAAiB,GAAG,sBAAsB,CAAC;YAC3C,cAAc;gBACZ,gFAAgF,CAAC;QACrF,CAAC;aAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7F,iBAAiB,GAAG,mBAAmB,CAAC;YACxC,cAAc,GAAG,4DAA4D,CAAC;QAChF,CAAC;aAAM,IACL,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;YACtB,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;YACzB,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;YACvB,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;YACrB,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EACvB,CAAC;YACD,iBAAiB,GAAG,iBAAiB,CAAC;YACtC,cAAc;gBACZ,+EAA+E,CAAC;QACpF,CAAC;QAED,wBAAwB;QACxB,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC;YACtC,iBAAiB;YACjB,SAAS,EAAE,IAAI;YACf,SAAS,EAAE,IAAI;YACf,UAAU;SACX,CAAC,CAAC;QAEH,OAAO;YACL,iBAAiB;YACjB,QAAQ;YACR,cAAc;SACf,CAAC;IACJ,CAAC;IAEO,iBAAiB,CAAC,OAKzB;QACC,MAAM,EAAE,iBAAiB,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;QAExE,+DAA+D;QAC/D,IACE,iBAAiB,KAAK,iBAAiB;YACvC,SAAS,CAAC,QAAQ,CAAC,UAAU,CAAC;YAC9B,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC;YAC1B,SAAS,CAAC,QAAQ,CAAC,YAAY,CAAC,EAChC,CAAC;YACD,OAAO,UAAU,CAAC;QACpB,CAAC;QAED,gIAAgI;QAChI,IACE,SAAS,CAAC,QAAQ,CAAC,aAAa,CAAC;YACjC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC;YACzB,CAAC,UAAU,CAAC,WAAW,KAAK,YAAY,IAAI,UAAU,CAAC,WAAW,KAAK,YAAY,CAAC;YACpF,CAAC,UAAU,CAAC,WAAW,KAAK,YAAY,IAAI,UAAU,CAAC,WAAW,KAAK,YAAY,CAAC,EACpF,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,IACE,SAAS,KAAK,OAAO;YACrB,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC;YAC3B,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAC5B,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,EAC1B,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,IAAI,UAAU,CAAC,cAAc,KAAK,wBAAwB,EAAE,CAAC;YAC3D,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,oDAAoD;QACpD,IACE,iBAAiB,KAAK,kBAAkB;YACxC,iBAAiB,KAAK,eAAe;YACrC,iBAAiB,KAAK,iBAAiB;YACvC,iBAAiB,KAAK,mBAAmB,EACzC,CAAC;YACD,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,uDAAuD;QACvD,IAAI,UAAU,CAAC,kBAAkB,GAAG,GAAG,EAAE,CAAC;YACxC,OAAO,KAAK,CAAC;QACf,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF;AAED,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,uBAAuB,EAAE,CAAC"}

package/dist/analysis/contradictionEngine.d.ts

@@ -0,0 +1,29 @@
+import { Claim } from '../domain/entities/claim.js';
+import { Source } from '../domain/entities/source.js';
+import { ContradictionSeverity, ContradictionType } from '../domain/entities/contradiction.js';
+import { ClaimMatchResult } from './claimMatcher.js';
+import { ValueComparisonResult } from './valueComparator.js';
+import { ContextAnalysisResult } from './contextAnalyzer.js';
+import { ClaimRelationship } from './claimRelationship.js';
+export type ContradictionAnalysisStatus = 'CONFIRMED_CONTRADICTION' | 'NOT_A_CONTRADICTION' | 'UNCERTAIN';
+export interface ContradictionAnalysis {
+    isContradiction: boolean;
+    analysisStatus: ContradictionAnalysisStatus;
+    relationship: ClaimRelationship;
+    contradictionType: ContradictionType;
+    severity: ContradictionSeverity;
+    confidence: number;
+    explanation: string;
+    evidence: {
+        claimA: Claim;
+        claimB: Claim;
+        match: ClaimMatchResult;
+        comparison: ValueComparisonResult;
+        context?: ContextAnalysisResult;
+        confidenceBreakdown?: Record<string, unknown>;
+    };
+}
+export declare class ContradictionEngine {
+    analyzePair(claimA: Claim, claimB: Claim, sourceA?: Source | null, sourceB?: Source | null): ContradictionAnalysis;
+}
+export declare const contradictionEngine: ContradictionEngine;