contradiction-mcp 0.1.0

package/dist/intelligence/semanticMatcher.js

@@ -0,0 +1,71 @@
+export class SemanticMatcher {
+    enabled;
+    threshold;
+    constructor(config = { enabled: false, threshold: 0.75 }) {
+        this.enabled = config.enabled;
+        this.threshold = config.threshold ?? 0.75;
+    }
+    isEnabled() {
+        return this.enabled;
+    }
+    /**
+     * Compares two phrases or textual predicates using an explainable n-gram and token-set similarity algorithm.
+     */
+    match(textA, textB) {
+        if (!this.enabled) {
+            return {
+                matched: false,
+                confidence: 0.0,
+                reason: 'Semantic matching is disabled by configuration',
+                matchedFeatures: [],
+            };
+        }
+        const tokensA = this.tokenize(textA);
+        const tokensB = this.tokenize(textB);
+        if (tokensA.length === 0 || tokensB.length === 0) {
+            return {
+                matched: false,
+                confidence: 0.0,
+                reason: 'Empty tokens extracted from input',
+                matchedFeatures: [],
+            };
+        }
+        const setA = new Set(tokensA);
+        const setB = new Set(tokensB);
+        const intersection = [...setA].filter((t) => setB.has(t));
+        const union = new Set([...setA, ...setB]);
+        const jaccard = intersection.length / union.size;
+        // Sub-token or prefix alignment
+        const partialMatches = [];
+        for (const a of setA) {
+            for (const b of setB) {
+                if (a !== b && (a.startsWith(b) || b.startsWith(a)) && Math.min(a.length, b.length) >= 4) {
+                    partialMatches.push(`${a}~${b}`);
+                }
+            }
+        }
+        const boost = Math.min(0.25, partialMatches.length * 0.1);
+        const confidence = Number(Math.min(1.0, jaccard + boost).toFixed(3));
+        const matched = confidence >= this.threshold;
+        const matchedFeatures = [
+            ...intersection.map((t) => `exact:${t}`),
+            ...partialMatches.map((m) => `stem:${m}`),
+        ];
+        return {
+            matched,
+            confidence,
+            reason: matched
+                ? `Semantic similarity ${confidence.toFixed(2)} exceeds threshold ${this.threshold}`
+                : `Semantic similarity ${confidence.toFixed(2)} is below threshold ${this.threshold}`,
+            matchedFeatures,
+        };
+    }
+    tokenize(text) {
+        return text
+            .toLowerCase()
+            .replace(/[^a-z0-9\s]/g, ' ')
+            .split(/\s+/)
+            .filter((t) => t.length > 2 && !['the', 'and', 'for', 'with', 'from'].includes(t));
+    }
+}
+//# sourceMappingURL=semanticMatcher.js.map

package/dist/intelligence/semanticMatcher.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semanticMatcher.js","sourceRoot":"","sources":["../../src/intelligence/semanticMatcher.ts"],"names":[],"mappings":"AAYA,MAAM,OAAO,eAAe;IACT,OAAO,CAAU;IACjB,SAAS,CAAS;IAEnC,YAAY,SAAgC,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE;QAC7E,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;QAC9B,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,IAAI,IAAI,CAAC;IAC5C,CAAC;IAEM,SAAS;QACd,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAED;;OAEG;IACI,KAAK,CAAC,KAAa,EAAE,KAAa;QACvC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAClB,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,UAAU,EAAE,GAAG;gBACf,MAAM,EAAE,gDAAgD;gBACxD,eAAe,EAAE,EAAE;aACpB,CAAC;QACJ,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACrC,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAErC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjD,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,UAAU,EAAE,GAAG;gBACf,MAAM,EAAE,mCAAmC;gBAC3C,eAAe,EAAE,EAAE;aACpB,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;QAE9B,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;QAE1C,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC;QAEjD,gCAAgC;QAChC,MAAM,cAAc,GAAa,EAAE,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;oBACzF,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACnC,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,cAAc,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC;QAC1D,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QACrE,MAAM,OAAO,GAAG,UAAU,IAAI,IAAI,CAAC,SAAS,CAAC;QAE7C,MAAM,eAAe,GAAG;YACtB,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC;YACxC,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;SAC1C,CAAC;QAEF,OAAO;YACL,OAAO;YACP,UAAU;YACV,MAAM,EAAE,OAAO;gBACb,CAAC,CAAC,uBAAuB,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,sBAAsB,IAAI,CAAC,SAAS,EAAE;gBACpF,CAAC,CAAC,uBAAuB,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,uBAAuB,IAAI,CAAC,SAAS,EAAE;YACvF,eAAe;SAChB,CAAC;IACJ,CAAC;IAEO,QAAQ,CAAC,IAAY;QAC3B,OAAO,IAAI;aACR,WAAW,EAAE;aACb,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC;aAC5B,KAAK,CAAC,KAAK,CAAC;aACZ,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACvF,CAAC;CACF"}

package/dist/scripts/comprehensiveVerification.d.ts

@@ -0,0 +1,5 @@
+/**
+ * Comprehensive Production Verification Suite
+ * Executes real verification for Phases 4, 5, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 34
+ */
+export {};