@aibuildinfra/proofgraph 1.0.0

package/dist/engine/aiDiscoverability.js

@@ -0,0 +1,135 @@
+/**
+ * ProofGraph AI Discoverability Diagnostic Engine
+ * Assesses knowledge completeness for AI agents to accurately synthesize entity information
+ */
+export class AIDiscoverabilityEngine {
+    store;
+    constructor(store) {
+        this.store = store;
+    }
+    evaluate(entityIdOrName) {
+        let entity = this.store.getEntity(entityIdOrName);
+        if (!entity) {
+            const candidates = this.store.searchEntitiesByName(entityIdOrName, 1);
+            if (candidates.length > 0)
+                entity = candidates[0];
+        }
+        if (!entity) {
+            return {
+                entity: entityIdOrName,
+                entity_id: 'unknown',
+                overall_score: 0,
+                checklist: {
+                    identity_clarity: { score: 0, status: 'fail', detail: 'Entity unindexed.' },
+                    source_coverage: { score: 0, status: 'fail', detail: 'No sources found.' },
+                    entity_consistency: { score: 0, status: 'fail', detail: 'No canonical records.' },
+                    relationship_coverage: { score: 0, status: 'fail', detail: 'No relationships.' },
+                    evidence_availability: { score: 0, status: 'fail', detail: 'No evidence excerpts.' },
+                    freshness: { score: 0, status: 'fail', detail: 'No timestamp data.' },
+                    technical_footprint: { score: 0, status: 'fail', detail: 'No technical repositories.' },
+                    third_party_corroboration: { score: 0, status: 'fail', detail: 'No third-party citations.' },
+                },
+                recommendations: ['Register canonical entity and attach verified sources and claims.'],
+            };
+        }
+        const claims = this.store.getClaimsForEntity(entity.id);
+        const relationships = this.store.getRelationships(entity.id);
+        const allEvidence = this.store.getAllEvidence();
+        const entityEvidence = allEvidence.filter(e => claims.some(c => c.id === e.claim_id));
+        const allSources = this.store.getAllSources();
+        const entitySources = allSources.filter(s => entityEvidence.some(e => e.source_id === s.id));
+        // 1. Identity Clarity
+        const idClarityScore = entity.name && entity.description && entity.description.length > 40 ? 1.0 : 0.5;
+        // 2. Source Coverage
+        const sourceScore = entitySources.length >= 3 ? 1.0 : entitySources.length > 0 ? 0.6 : 0.2;
+        // 3. Entity Consistency
+        const consistencyScore = entity.canonical_url && entity.aliases.length >= 1 ? 1.0 : entity.canonical_url ? 0.75 : 0.3;
+        // 4. Relationship Coverage
+        const relScore = relationships.length >= 3 ? 1.0 : relationships.length > 0 ? 0.6 : 0.2;
+        // 5. Evidence Availability
+        const evScore = entityEvidence.length >= 3 ? 1.0 : entityEvidence.length > 0 ? 0.5 : 0.1;
+        // 6. Freshness
+        const hasRecent = entitySources.some(s => {
+            const year = new Date(s.last_verified || s.retrieved_at).getFullYear();
+            return year >= 2025;
+        });
+        const freshnessScore = hasRecent ? 1.0 : 0.6;
+        // 7. Technical Footprint
+        const hasTech = relationships.some(r => ['DEVELOPS', 'MAINTAINS', 'PUBLISHES', 'HAS_REPOSITORY', 'HAS_PACKAGE'].includes(r.relationship.toUpperCase()));
+        const techScore = hasTech ? 1.0 : 0.4;
+        // 8. Third Party Corroboration
+        const hasThirdParty = entitySources.some(s => ['established_publication', 'industry_directory', 'official_registry', 'academic_source'].includes(s.trust_class));
+        const thirdPartyScore = hasThirdParty ? 1.0 : 0.3;
+        const scores = [
+            idClarityScore,
+            sourceScore,
+            consistencyScore,
+            relScore,
+            evScore,
+            freshnessScore,
+            techScore,
+            thirdPartyScore,
+        ];
+        const overallScore = Number((scores.reduce((a, b) => a + b, 0) / scores.length).toFixed(2));
+        const recommendations = [];
+        if (idClarityScore < 0.8)
+            recommendations.push('Provide a rich, factual description of core entity capabilities and origin.');
+        if (sourceScore < 0.8)
+            recommendations.push('Attach additional authoritative source URLs across varied domains.');
+        if (relScore < 0.8)
+            recommendations.push('Map explicit relational edges (e.g. DEVELOPS, OWNS, PUBLISHES) to associated projects.');
+        if (thirdPartyScore < 0.8)
+            recommendations.push('Include third-party registry listings or independent publication citations.');
+        if (evScore < 0.8)
+            recommendations.push('Extract specific supporting text excerpts verifying core claims.');
+        return {
+            entity: entity.name,
+            entity_id: entity.id,
+            overall_score: overallScore,
+            checklist: {
+                identity_clarity: {
+                    score: idClarityScore,
+                    status: idClarityScore >= 0.8 ? 'pass' : idClarityScore >= 0.5 ? 'partial' : 'fail',
+                    detail: 'Entity has comprehensive canonical name and unambiguous description.',
+                },
+                source_coverage: {
+                    score: sourceScore,
+                    status: sourceScore >= 0.8 ? 'pass' : sourceScore >= 0.5 ? 'partial' : 'fail',
+                    detail: `Verified across ${entitySources.length} distinct source records.`,
+                },
+                entity_consistency: {
+                    score: consistencyScore,
+                    status: consistencyScore >= 0.8 ? 'pass' : 'partial',
+                    detail: `Canonical URL defined with ${entity.aliases.length} recorded aliases.`,
+                },
+                relationship_coverage: {
+                    score: relScore,
+                    status: relScore >= 0.8 ? 'pass' : relScore >= 0.5 ? 'partial' : 'fail',
+                    detail: `${relationships.length} structured relational graph edges connected.`,
+                },
+                evidence_availability: {
+                    score: evScore,
+                    status: evScore >= 0.8 ? 'pass' : evScore >= 0.5 ? 'partial' : 'fail',
+                    detail: `${entityEvidence.length} granular proof excerpts verified.`,
+                },
+                freshness: {
+                    score: freshnessScore,
+                    status: freshnessScore >= 0.8 ? 'pass' : 'partial',
+                    detail: hasRecent ? 'Sources verified within active recency window.' : 'Sources need re-verification.',
+                },
+                technical_footprint: {
+                    score: techScore,
+                    status: techScore >= 0.8 ? 'pass' : 'partial',
+                    detail: hasTech ? 'Software repositories, packages, or developer artifacts verified.' : 'No technical repository linkage.',
+                },
+                third_party_corroboration: {
+                    score: thirdPartyScore,
+                    status: thirdPartyScore >= 0.8 ? 'pass' : 'fail',
+                    detail: hasThirdParty ? 'Independent registries or third-party publications corroborate identity.' : 'Lacks third-party corroboration.',
+                },
+            },
+            recommendations,
+        };
+    }
+}
+//# sourceMappingURL=aiDiscoverability.js.map

package/dist/engine/aiDiscoverability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"aiDiscoverability.js","sourceRoot":"","sources":["../../src/engine/aiDiscoverability.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAKH,MAAM,OAAO,uBAAuB;IACd;IAApB,YAAoB,KAAiB;QAAjB,UAAK,GAAL,KAAK,CAAY;IAAG,CAAC;IAElC,QAAQ,CAAC,cAAsB;QACpC,IAAI,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QAClD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;YACtE,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;gBAAE,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QACpD,CAAC;QAED,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO;gBACL,MAAM,EAAE,cAAc;gBACtB,SAAS,EAAE,SAAS;gBACpB,aAAa,EAAE,CAAC;gBAChB,SAAS,EAAE;oBACT,gBAAgB,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,mBAAmB,EAAE;oBAC3E,eAAe,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,mBAAmB,EAAE;oBAC1E,kBAAkB,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,uBAAuB,EAAE;oBACjF,qBAAqB,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,mBAAmB,EAAE;oBAChF,qBAAqB,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,uBAAuB,EAAE;oBACpF,SAAS,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,oBAAoB,EAAE;oBACrE,mBAAmB,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,4BAA4B,EAAE;oBACvF,yBAAyB,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,2BAA2B,EAAE;iBAC7F;gBACD,eAAe,EAAE,CAAC,mEAAmE,CAAC;aACvF,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACxD,MAAM,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC7D,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC;QAChD,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QACtF,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;QAC9C,MAAM,aAAa,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAE7F,sBAAsB;QACtB,MAAM,cAAc,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QAEvG,qBAAqB;QACrB,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QAE3F,wBAAwB;QACxB,MAAM,gBAAgB,GAAG,MAAM,CAAC,aAAa,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;QAEtH,2BAA2B;QAC3B,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QAExF,2BAA2B;QAC3B,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QAEzF,eAAe;QACf,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE;YACvC,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,WAAW,EAAE,CAAC;YACvE,OAAO,IAAI,IAAI,IAAI,CAAC;QACtB,CAAC,CAAC,CAAC;QACH,MAAM,cAAc,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QAE7C,yBAAyB;QACzB,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACrC,CAAC,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,gBAAgB,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,WAAW,EAAE,CAAC,CAC/G,CAAC;QACF,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QAEtC,+BAA+B;QAC/B,MAAM,aAAa,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC3C,CAAC,yBAAyB,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,iBAAiB,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAClH,CAAC;QACF,MAAM,eAAe,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QAElD,MAAM,MAAM,GAAG;YACb,cAAc;YACd,WAAW;YACX,gBAAgB;YAChB,QAAQ;YACR,OAAO;YACP,cAAc;YACd,SAAS;YACT,eAAe;SAChB,CAAC;QAEF,MAAM,YAAY,GAAG,MAAM,CACzB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAC/D,CAAC;QAEF,MAAM,eAAe,GAAa,EAAE,CAAC;QACrC,IAAI,cAAc,GAAG,GAAG;YAAE,eAAe,CAAC,IAAI,CAAC,6EAA6E,CAAC,CAAC;QAC9H,IAAI,WAAW,GAAG,GAAG;YAAE,eAAe,CAAC,IAAI,CAAC,oEAAoE,CAAC,CAAC;QAClH,IAAI,QAAQ,GAAG,GAAG;YAAE,eAAe,CAAC,IAAI,CAAC,wFAAwF,CAAC,CAAC;QACnI,IAAI,eAAe,GAAG,GAAG;YAAE,eAAe,CAAC,IAAI,CAAC,6EAA6E,CAAC,CAAC;QAC/H,IAAI,OAAO,GAAG,GAAG;YAAE,eAAe,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC;QAE5G,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,IAAI;YACnB,SAAS,EAAE,MAAM,CAAC,EAAE;YACpB,aAAa,EAAE,YAAY;YAC3B,SAAS,EAAE;gBACT,gBAAgB,EAAE;oBAChB,KAAK,EAAE,cAAc;oBACrB,MAAM,EAAE,cAAc,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,IAAI,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM;oBACnF,MAAM,EAAE,sEAAsE;iBAC/E;gBACD,eAAe,EAAE;oBACf,KAAK,EAAE,WAAW;oBAClB,MAAM,EAAE,WAAW,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,IAAI,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM;oBAC7E,MAAM,EAAE,mBAAmB,aAAa,CAAC,MAAM,2BAA2B;iBAC3E;gBACD,kBAAkB,EAAE;oBAClB,KAAK,EAAE,gBAAgB;oBACvB,MAAM,EAAE,gBAAgB,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;oBACpD,MAAM,EAAE,8BAA8B,MAAM,CAAC,OAAO,CAAC,MAAM,oBAAoB;iBAChF;gBACD,qBAAqB,EAAE;oBACrB,KAAK,EAAE,QAAQ;oBACf,MAAM,EAAE,QAAQ,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM;oBACvE,MAAM,EAAE,GAAG,aAAa,CAAC,MAAM,+CAA+C;iBAC/E;gBACD,qBAAqB,EAAE;oBACrB,KAAK,EAAE,OAAO;oBACd,MAAM,EAAE,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM;oBACrE,MAAM,EAAE,GAAG,cAAc,CAAC,MAAM,oCAAoC;iBACrE;gBACD,SAAS,EAAE;oBACT,KAAK,EAAE,cAAc;oBACrB,MAAM,EAAE,cAAc,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;oBAClD,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,gDAAgD,CAAC,CAAC,CAAC,+BAA+B;iBACvG;gBACD,mBAAmB,EAAE;oBACnB,KAAK,EAAE,SAAS;oBAChB,MAAM,EAAE,SAAS,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;oBAC7C,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,mEAAmE,CAAC,CAAC,CAAC,kCAAkC;iBAC3H;gBACD,yBAAyB,EAAE;oBACzB,KAAK,EAAE,eAAe;oBACtB,MAAM,EAAE,eAAe,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;oBAChD,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,0EAA0E,CAAC,CAAC,CAAC,kCAAkC;iBACxI;aACF;YACD,eAAe;SAChB,CAAC;IACJ,CAAC;CACF"}

package/dist/engine/claimVerifier.d.ts

@@ -0,0 +1,26 @@
+/**
+ * ProofGraph Claim Verification & Contradiction Detection Engine
+ */
+import { Evidence, Source, ClaimStatus } from '../types/index.js';
+import { GraphStore } from '../storage/graphStore.js';
+export interface ClaimVerificationResult {
+    claim: string;
+    entity_id?: string;
+    status: ClaimStatus;
+    confidence: number;
+    explanation: string;
+    supporting_evidence: Evidence[];
+    contradicting_evidence: Evidence[];
+    sources_used: Source[];
+    has_conflicts: boolean;
+}
+export declare class ClaimVerifier {
+    private store;
+    constructor(store: GraphStore);
+    verify(claimStatement: string, entityId?: string): ClaimVerificationResult;
+    compareClaims(claims: string[]): {
+        comparisons: ClaimVerificationResult[];
+        consensus_summary: string;
+        discrepancies: string[];
+    };
+}

package/dist/engine/claimVerifier.js

@@ -0,0 +1,130 @@
+/**
+ * ProofGraph Claim Verification & Contradiction Detection Engine
+ */
+export class ClaimVerifier {
+    store;
+    constructor(store) {
+        this.store = store;
+    }
+    verify(claimStatement, entityId) {
+        const allClaims = this.store.getAllClaims();
+        const allEvidence = this.store.getAllEvidence();
+        const sourcesMap = new Map(this.store.getAllSources().map(s => [s.id, s]));
+        // 1. Find closest existing claim using token-based Jaccard similarity and semantic overlap
+        let matchedClaim;
+        const normStatement = claimStatement.toLowerCase().trim();
+        const stopWords = new Set(['the', 'a', 'an', 'is', 'are', 'was', 'were', 'in', 'on', 'at', 'to', 'for', 'of', 'and', 'or', 'with', 'by', 'that', 'this', 'does', 'do', 'as', 'it']);
+        const queryWords = normStatement
+            .split(/[^\w]+/)
+            .filter(w => w.length > 1 && !stopWords.has(w));
+        let bestScore = 0;
+        for (const c of allClaims) {
+            if (entityId && c.subject_id !== entityId && c.object_id !== entityId)
+                continue;
+            const claimLower = c.statement.toLowerCase();
+            if (claimLower === normStatement) {
+                matchedClaim = c;
+                break;
+            }
+            const claimWords = claimLower
+                .split(/[^\w]+/)
+                .filter(w => w.length > 1 && !stopWords.has(w));
+            // Calculate Jaccard similarity of non-stop words
+            const intersection = queryWords.filter(w => claimWords.includes(w)).length;
+            const union = new Set([...queryWords, ...claimWords]).size;
+            const jaccard = union > 0 ? intersection / union : 0;
+            // Ensure key distinguishing non-entity words are matched
+            if (jaccard >= 0.50 && jaccard > bestScore) {
+                bestScore = jaccard;
+                matchedClaim = c;
+            }
+        }
+        const relevantEvidence = [];
+        if (matchedClaim) {
+            for (const evId of matchedClaim.evidence_ids) {
+                const ev = this.store.getEvidence(evId);
+                if (ev)
+                    relevantEvidence.push(ev);
+            }
+        }
+        else {
+            // Lexical search across evidence excerpts requiring majority of query terms to be present
+            if (queryWords.length >= 2) {
+                for (const ev of allEvidence) {
+                    const excerptLower = ev.excerpt.toLowerCase();
+                    const matchCount = queryWords.filter(term => excerptLower.includes(term)).length;
+                    if (matchCount / queryWords.length >= 0.70) {
+                        relevantEvidence.push(ev);
+                    }
+                }
+            }
+        }
+        const supporting = relevantEvidence.filter(e => e.supports_claim);
+        const contradicting = relevantEvidence.filter(e => !e.supports_claim);
+        let status = 'unverified';
+        let confidence = 0.0;
+        let explanation = '';
+        const hasConflicts = supporting.length > 0 && contradicting.length > 0;
+        if (hasConflicts) {
+            status = 'conflicting';
+            confidence = 0.5;
+            explanation = `Conflicting evidence detected. ${supporting.length} sources support this assertion while ${contradicting.length} sources contradict it.`;
+        }
+        else if (supporting.length > 0) {
+            status = 'supported';
+            const maxConf = Math.max(...supporting.map(s => s.confidence));
+            confidence = Math.min(maxConf + (supporting.length > 1 ? 0.05 : 0), 0.99);
+            explanation = `Claim is directly supported by ${supporting.length} verified evidence source(s).`;
+        }
+        else if (contradicting.length > 0) {
+            status = 'contradicted';
+            const maxConf = Math.max(...contradicting.map(c => c.confidence));
+            confidence = maxConf;
+            explanation = `Claim is refuted by ${contradicting.length} verified evidence source(s).`;
+        }
+        else {
+            status = 'unverified';
+            confidence = 0.0;
+            explanation = 'No verifiable evidence currently exists in the graph to substantiate or refute this claim.';
+        }
+        const usedSources = [];
+        for (const ev of [...supporting, ...contradicting]) {
+            const src = sourcesMap.get(ev.source_id);
+            if (src && !usedSources.some(s => s.id === src.id)) {
+                usedSources.push(src);
+            }
+        }
+        return {
+            claim: claimStatement,
+            entity_id: entityId,
+            status,
+            confidence: Number(confidence.toFixed(2)),
+            explanation,
+            supporting_evidence: supporting,
+            contradicting_evidence: contradicting,
+            sources_used: usedSources,
+            has_conflicts: hasConflicts,
+        };
+    }
+    compareClaims(claims) {
+        const results = claims.map(c => this.verify(c));
+        const discrepancies = [];
+        for (let i = 0; i < results.length; i++) {
+            for (let j = i + 1; j < results.length; j++) {
+                if (results[i].status !== results[j].status && results[i].status !== 'unverified' && results[j].status !== 'unverified') {
+                    discrepancies.push(`Divergence detected: "${results[i].claim}" is [${results[i].status}] whereas "${results[j].claim}" is [${results[j].status}].`);
+                }
+            }
+        }
+        let consensusSummary = 'All claims evaluated independently based on grounded evidence.';
+        if (discrepancies.length > 0) {
+            consensusSummary = `Found ${discrepancies.length} discrepancy points between evaluated statements.`;
+        }
+        return {
+            comparisons: results,
+            consensus_summary: consensusSummary,
+            discrepancies,
+        };
+    }
+}
+//# sourceMappingURL=claimVerifier.js.map

package/dist/engine/claimVerifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"claimVerifier.js","sourceRoot":"","sources":["../../src/engine/claimVerifier.ts"],"names":[],"mappings":"AAAA;;GAEG;AAmBH,MAAM,OAAO,aAAa;IACJ;IAApB,YAAoB,KAAiB;QAAjB,UAAK,GAAL,KAAK,CAAY;IAAG,CAAC;IAElC,MAAM,CAAC,cAAsB,EAAE,QAAiB;QACrD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC;QAC5C,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC;QAChD,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAC/C,CAAC;QAEF,2FAA2F;QAC3F,IAAI,YAA+B,CAAC;QACpC,MAAM,aAAa,GAAG,cAAc,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC;QAC1D,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAEpL,MAAM,UAAU,GAAG,aAAa;aAC7B,KAAK,CAAC,QAAQ,CAAC;aACf,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAElD,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,IAAI,QAAQ,IAAI,CAAC,CAAC,UAAU,KAAK,QAAQ,IAAI,CAAC,CAAC,SAAS,KAAK,QAAQ;gBAAE,SAAS;YAChF,MAAM,UAAU,GAAG,CAAC,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;YAE7C,IAAI,UAAU,KAAK,aAAa,EAAE,CAAC;gBACjC,YAAY,GAAG,CAAC,CAAC;gBACjB,MAAM;YACR,CAAC;YAED,MAAM,UAAU,GAAG,UAAU;iBAC1B,KAAK,CAAC,QAAQ,CAAC;iBACf,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAElD,iDAAiD;YACjD,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YAC3E,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;YAC3D,MAAM,OAAO,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAErD,yDAAyD;YACzD,IAAI,OAAO,IAAI,IAAI,IAAI,OAAO,GAAG,SAAS,EAAE,CAAC;gBAC3C,SAAS,GAAG,OAAO,CAAC;gBACpB,YAAY,GAAG,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;QAED,MAAM,gBAAgB,GAAe,EAAE,CAAC;QACxC,IAAI,YAAY,EAAE,CAAC;YACjB,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,YAAY,EAAE,CAAC;gBAC7C,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;gBACxC,IAAI,EAAE;oBAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;aAAM,CAAC;YACN,0FAA0F;YAC1F,IAAI,UAAU,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBAC3B,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;oBAC7B,MAAM,YAAY,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;oBAC9C,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;oBACjF,IAAI,UAAU,GAAG,UAAU,CAAC,MAAM,IAAI,IAAI,EAAE,CAAC;wBAC3C,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBAC5B,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;QAClE,MAAM,aAAa,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;QAEtE,IAAI,MAAM,GAAgB,YAAY,CAAC;QACvC,IAAI,UAAU,GAAG,GAAG,CAAC;QACrB,IAAI,WAAW,GAAG,EAAE,CAAC;QACrB,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC;QAEvE,IAAI,YAAY,EAAE,CAAC;YACjB,MAAM,GAAG,aAAa,CAAC;YACvB,UAAU,GAAG,GAAG,CAAC;YACjB,WAAW,GAAG,kCAAkC,UAAU,CAAC,MAAM,yCAAyC,aAAa,CAAC,MAAM,yBAAyB,CAAC;QAC1J,CAAC;aAAM,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjC,MAAM,GAAG,WAAW,CAAC;YACrB,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;YAC/D,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAC1E,WAAW,GAAG,kCAAkC,UAAU,CAAC,MAAM,+BAA+B,CAAC;QACnG,CAAC;aAAM,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpC,MAAM,GAAG,cAAc,CAAC;YACxB,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;YAClE,UAAU,GAAG,OAAO,CAAC;YACrB,WAAW,GAAG,uBAAuB,aAAa,CAAC,MAAM,+BAA+B,CAAC;QAC3F,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,YAAY,CAAC;YACtB,UAAU,GAAG,GAAG,CAAC;YACjB,WAAW,GAAG,4FAA4F,CAAC;QAC7G,CAAC;QAED,MAAM,WAAW,GAAa,EAAE,CAAC;QACjC,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,UAAU,EAAE,GAAG,aAAa,CAAC,EAAE,CAAC;YACnD,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;YACzC,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACnD,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;QAED,OAAO;YACL,KAAK,EAAE,cAAc;YACrB,SAAS,EAAE,QAAQ;YACnB,MAAM;YACN,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACzC,WAAW;YACX,mBAAmB,EAAE,UAAU;YAC/B,sBAAsB,EAAE,aAAa;YACrC,YAAY,EAAE,WAAW;YACzB,aAAa,EAAE,YAAY;SAC5B,CAAC;IACJ,CAAC;IAEM,aAAa,CAAC,MAAgB;QAKnC,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,aAAa,GAAa,EAAE,CAAC;QAEnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACxC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC5C,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;oBACxH,aAAa,CAAC,IAAI,CAChB,yBAAyB,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,cAAc,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAChI,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,gBAAgB,GAAG,gEAAgE,CAAC;QACxF,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,gBAAgB,GAAG,SAAS,aAAa,CAAC,MAAM,mDAAmD,CAAC;QACtG,CAAC;QAED,OAAO;YACL,WAAW,EAAE,OAAO;YACpB,iBAAiB,EAAE,gBAAgB;YACnC,aAAa;SACd,CAAC;IACJ,CAAC;CACF"}

package/dist/engine/consistencyAudit.d.ts

@@ -0,0 +1,11 @@
+/**
+ * ProofGraph Entity Consistency Audit Engine
+ * Internal diagnostic for identifying cross-platform footprint mismatches
+ */
+import { ConsistencyAuditResult } from '../types/index.js';
+import { GraphStore } from '../storage/graphStore.js';
+export declare class ConsistencyAuditor {
+    private store;
+    constructor(store: GraphStore);
+    audit(entityIdOrName: string): ConsistencyAuditResult;
+}

package/dist/engine/consistencyAudit.js

@@ -0,0 +1,172 @@
+/**
+ * ProofGraph Entity Consistency Audit Engine
+ * Internal diagnostic for identifying cross-platform footprint mismatches
+ */
+export class ConsistencyAuditor {
+    store;
+    constructor(store) {
+        this.store = store;
+    }
+    audit(entityIdOrName) {
+        let entity = this.store.getEntity(entityIdOrName);
+        if (!entity) {
+            const byName = this.store.searchEntitiesByName(entityIdOrName, 1);
+            if (byName.length > 0)
+                entity = byName[0];
+        }
+        if (!entity) {
+            return {
+                entity: entityIdOrName,
+                entity_id: 'unknown',
+                consistency_score: 0,
+                footprint: {
+                    company_name: false,
+                    website: false,
+                    github_organization: false,
+                    npm_scope: false,
+                    mcp_registry: false,
+                    schema_org: false,
+                    email_domain: false,
+                },
+                issues: [
+                    {
+                        severity: 'high',
+                        component: 'Entity Index',
+                        message: `Entity "${entityIdOrName}" was not found in the verified graph.`,
+                        recommendation: 'Register the canonical entity with verified source proofs.',
+                    },
+                ],
+                verified_presence: {},
+            };
+        }
+        const meta = entity.metadata || {};
+        const issues = [];
+        const verifiedPresence = {};
+        let verifiedPoints = 0;
+        const totalPoints = 7;
+        // 1. Company / Entity Name
+        const hasName = Boolean(entity.name && entity.name.trim().length > 1);
+        if (hasName) {
+            verifiedPoints++;
+            verifiedPresence['name'] = entity.name;
+        }
+        else {
+            issues.push({
+                severity: 'high',
+                component: 'Name',
+                message: 'Primary canonical name is missing or ambiguous.',
+                recommendation: 'Set a formal canonical entity name.',
+            });
+        }
+        // 2. Canonical Website
+        const hasWebsite = Boolean(entity.canonical_url);
+        if (hasWebsite) {
+            verifiedPoints++;
+            verifiedPresence['website'] = entity.canonical_url;
+            if (!entity.canonical_url.startsWith('https://')) {
+                issues.push({
+                    severity: 'medium',
+                    component: 'Security',
+                    message: 'Website is not served over secure HTTPS.',
+                    recommendation: 'Enforce HTTPS for canonical URLs.',
+                });
+            }
+        }
+        else {
+            issues.push({
+                severity: 'high',
+                component: 'Website',
+                message: 'No official canonical website URL registered.',
+                recommendation: 'Link the official domain to the entity record.',
+            });
+        }
+        // 3. GitHub Organization
+        const hasGithub = Boolean(meta.github || meta.github_org);
+        if (hasGithub) {
+            verifiedPoints++;
+            verifiedPresence['github'] = meta.github || meta.github_org;
+        }
+        else {
+            issues.push({
+                severity: 'low',
+                component: 'GitHub Footprint',
+                message: 'No official GitHub organization or repository linkage discovered.',
+                recommendation: 'Add GitHub organization URL or repository links.',
+            });
+        }
+        // 4. npm Scope / Package Ecosystem
+        const hasNpm = Boolean(meta.npm || meta.npm_scope || meta.packages);
+        if (hasNpm) {
+            verifiedPoints++;
+            verifiedPresence['npm'] = meta.npm || meta.npm_scope || 'registered-packages';
+        }
+        else {
+            issues.push({
+                severity: 'low',
+                component: 'Package Footprint',
+                message: 'No official npm scope or package registry presence verified.',
+                recommendation: 'Verify package namespace ownership.',
+            });
+        }
+        // 5. MCP Registry
+        const hasMcp = Boolean(meta.mcp_name || meta.mcp_registry);
+        if (hasMcp) {
+            verifiedPoints++;
+            verifiedPresence['mcp'] = meta.mcp_name || meta.mcp_registry;
+        }
+        else {
+            issues.push({
+                severity: 'low',
+                component: 'MCP Registry',
+                message: 'No Model Context Protocol registry identifier listed.',
+                recommendation: 'Register server namespace on the official MCP registry.',
+            });
+        }
+        // 6. Schema.org / Structured Data
+        const hasSchema = Boolean(meta.schema_org || meta.structured_data);
+        if (hasSchema) {
+            verifiedPoints++;
+            verifiedPresence['schema_org'] = 'valid-json-ld';
+        }
+        else {
+            issues.push({
+                severity: 'medium',
+                component: 'Structured Data',
+                message: 'Missing Schema.org JSON-LD markup verification.',
+                recommendation: 'Implement Organization or SoftwareApplication JSON-LD schema on official pages.',
+            });
+        }
+        // 7. Email Domain Match
+        const hasEmail = Boolean(meta.email || meta.email_domain);
+        if (hasEmail) {
+            verifiedPoints++;
+            verifiedPresence['email'] = meta.email || meta.email_domain;
+        }
+        else {
+            issues.push({
+                severity: 'low',
+                component: 'Contact Provenance',
+                message: 'No verified official email domain linked.',
+                recommendation: 'Associate corporate email domain matching canonical website.',
+            });
+        }
+        const consistencyScore = Number((verifiedPoints / totalPoints).toFixed(2));
+        return {
+            entity: entity.name,
+            entity_id: entity.id,
+            consistency_score: consistencyScore,
+            footprint: {
+                company_name: hasName,
+                website: hasWebsite,
+                github_organization: hasGithub,
+                npm_scope: hasNpm,
+                mcp_registry: hasMcp,
+                schema_org: hasSchema,
+                email_domain: hasEmail,
+            },
+            issues,
+            verified_presence: verifiedPresence,
+        };
+    }
+}
+//# sourceMappingURL=consistencyAudit.js.map

package/dist/engine/consistencyAudit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"consistencyAudit.js","sourceRoot":"","sources":["../../src/engine/consistencyAudit.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAKH,MAAM,OAAO,kBAAkB;IACT;IAApB,YAAoB,KAAiB;QAAjB,UAAK,GAAL,KAAK,CAAY;IAAG,CAAC;IAElC,KAAK,CAAC,cAAsB;QACjC,IAAI,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QAClD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;YAClE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QAC5C,CAAC;QAED,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO;gBACL,MAAM,EAAE,cAAc;gBACtB,SAAS,EAAE,SAAS;gBACpB,iBAAiB,EAAE,CAAC;gBACpB,SAAS,EAAE;oBACT,YAAY,EAAE,KAAK;oBACnB,OAAO,EAAE,KAAK;oBACd,mBAAmB,EAAE,KAAK;oBAC1B,SAAS,EAAE,KAAK;oBAChB,YAAY,EAAE,KAAK;oBACnB,UAAU,EAAE,KAAK;oBACjB,YAAY,EAAE,KAAK;iBACpB;gBACD,MAAM,EAAE;oBACN;wBACE,QAAQ,EAAE,MAAM;wBAChB,SAAS,EAAE,cAAc;wBACzB,OAAO,EAAE,WAAW,cAAc,wCAAwC;wBAC1E,cAAc,EAAE,4DAA4D;qBAC7E;iBACF;gBACD,iBAAiB,EAAE,EAAE;aACtB,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC;QACnC,MAAM,MAAM,GAAqC,EAAE,CAAC;QACpD,MAAM,gBAAgB,GAA2B,EAAE,CAAC;QAEpD,IAAI,cAAc,GAAG,CAAC,CAAC;QACvB,MAAM,WAAW,GAAG,CAAC,CAAC;QAEtB,2BAA2B;QAC3B,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACtE,IAAI,OAAO,EAAE,CAAC;YACZ,cAAc,EAAE,CAAC;YACjB,gBAAgB,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC;QACzC,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,MAAM;gBAChB,SAAS,EAAE,MAAM;gBACjB,OAAO,EAAE,iDAAiD;gBAC1D,cAAc,EAAE,qCAAqC;aACtD,CAAC,CAAC;QACL,CAAC;QAED,uBAAuB;QACvB,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;QACjD,IAAI,UAAU,EAAE,CAAC;YACf,cAAc,EAAE,CAAC;YACjB,gBAAgB,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,aAAc,CAAC;YACpD,IAAI,CAAC,MAAM,CAAC,aAAc,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;gBAClD,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ,EAAE,QAAQ;oBAClB,SAAS,EAAE,UAAU;oBACrB,OAAO,EAAE,0CAA0C;oBACnD,cAAc,EAAE,mCAAmC;iBACpD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,MAAM;gBAChB,SAAS,EAAE,SAAS;gBACpB,OAAO,EAAE,+CAA+C;gBACxD,cAAc,EAAE,gDAAgD;aACjE,CAAC,CAAC;QACL,CAAC;QAED,yBAAyB;QACzB,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC;QAC1D,IAAI,SAAS,EAAE,CAAC;YACd,cAAc,EAAE,CAAC;YACjB,gBAAgB,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC;QAC9D,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,KAAK;gBACf,SAAS,EAAE,kBAAkB;gBAC7B,OAAO,EAAE,mEAAmE;gBAC5E,cAAc,EAAE,kDAAkD;aACnE,CAAC,CAAC;QACL,CAAC;QAED,mCAAmC;QACnC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpE,IAAI,MAAM,EAAE,CAAC;YACX,cAAc,EAAE,CAAC;YACjB,gBAAgB,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,SAAS,IAAI,qBAAqB,CAAC;QAChF,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,KAAK;gBACf,SAAS,EAAE,mBAAmB;gBAC9B,OAAO,EAAE,8DAA8D;gBACvE,cAAc,EAAE,qCAAqC;aACtD,CAAC,CAAC;QACL,CAAC;QAED,kBAAkB;QAClB,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,YAAY,CAAC,CAAC;QAC3D,IAAI,MAAM,EAAE,CAAC;YACX,cAAc,EAAE,CAAC;YACjB,gBAAgB,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,YAAY,CAAC;QAC/D,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,KAAK;gBACf,SAAS,EAAE,cAAc;gBACzB,OAAO,EAAE,uDAAuD;gBAChE,cAAc,EAAE,yDAAyD;aAC1E,CAAC,CAAC;QACL,CAAC;QAED,kCAAkC;QAClC,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,eAAe,CAAC,CAAC;QACnE,IAAI,SAAS,EAAE,CAAC;YACd,cAAc,EAAE,CAAC;YACjB,gBAAgB,CAAC,YAAY,CAAC,GAAG,eAAe,CAAC;QACnD,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,QAAQ;gBAClB,SAAS,EAAE,iBAAiB;gBAC5B,OAAO,EAAE,iDAAiD;gBAC1D,cAAc,EAAE,iFAAiF;aAClG,CAAC,CAAC;QACL,CAAC;QAED,wBAAwB;QACxB,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,YAAY,CAAC,CAAC;QAC1D,IAAI,QAAQ,EAAE,CAAC;YACb,cAAc,EAAE,CAAC;YACjB,gBAAgB,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,YAAY,CAAC;QAC9D,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,KAAK;gBACf,SAAS,EAAE,oBAAoB;gBAC/B,OAAO,EAAE,2CAA2C;gBACpD,cAAc,EAAE,8DAA8D;aAC/E,CAAC,CAAC;QACL,CAAC;QAED,MAAM,gBAAgB,GAAG,MAAM,CAAC,CAAC,cAAc,GAAG,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAE3E,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,IAAI;YACnB,SAAS,EAAE,MAAM,CAAC,EAAE;YACpB,iBAAiB,EAAE,gBAAgB;YACnC,SAAS,EAAE;gBACT,YAAY,EAAE,OAAO;gBACrB,OAAO,EAAE,UAAU;gBACnB,mBAAmB,EAAE,SAAS;gBAC9B,SAAS,EAAE,MAAM;gBACjB,YAAY,EAAE,MAAM;gBACpB,UAAU,EAAE,SAAS;gBACrB,YAAY,EAAE,QAAQ;aACvB;YACD,MAAM;YACN,iBAAiB,EAAE,gBAAgB;SACpC,CAAC;IACJ,CAAC;CACF"}

package/dist/engine/exporter.d.ts

@@ -0,0 +1,17 @@
+/**
+ * ProofGraph Multi-Format Exporter
+ * Supports JSON, JSON-LD, CSV, and GraphML
+ */
+import { GraphStore } from '../storage/graphStore.js';
+export declare class GraphExporter {
+    private store;
+    constructor(store: GraphStore);
+    toJSON(): string;
+    toJSONLD(): string;
+    toCSV(): {
+        entitiesCSV: string;
+        relationshipsCSV: string;
+        claimsCSV: string;
+    };
+    toGraphML(): string;
+}

package/dist/engine/exporter.js

@@ -0,0 +1,83 @@
+/**
+ * ProofGraph Multi-Format Exporter
+ * Supports JSON, JSON-LD, CSV, and GraphML
+ */
+import { SchemaOrgGenerator } from './schemaOrg.js';
+export class GraphExporter {
+    store;
+    constructor(store) {
+        this.store = store;
+    }
+    toJSON() {
+        return JSON.stringify(this.store.toJSON(), null, 2);
+    }
+    toJSONLD() {
+        const entities = this.store.getAllEntities();
+        const graphNodes = entities.map(e => SchemaOrgGenerator.generateForEntity(e));
+        const jsonld = {
+            '@context': 'https://schema.org',
+            '@graph': graphNodes,
+        };
+        return JSON.stringify(jsonld, null, 2);
+    }
+    toCSV() {
+        // 1. Entities CSV
+        const entities = this.store.getAllEntities();
+        const entityRows = ['id,name,type,canonical_url,aliases,created_at'];
+        for (const e of entities) {
+            const escapedName = `"${e.name.replace(/"/g, '""')}"`;
+            const escapedAliases = `"${e.aliases.join(';').replace(/"/g, '""')}"`;
+            entityRows.push(`${e.id},${escapedName},${e.type},${e.canonical_url || ''},${escapedAliases},${e.created_at}`);
+        }
+        // 2. Relationships CSV
+        const relationships = this.store.getAllRelationships();
+        const relRows = ['source_id,relationship,target_id,confidence,created_at'];
+        for (const r of relationships) {
+            relRows.push(`${r.source_id},${r.relationship},${r.target_id},${r.confidence},${r.created_at || ''}`);
+        }
+        // 3. Claims CSV
+        const claims = this.store.getAllClaims();
+        const claimRows = ['id,subject_id,statement,status,confidence'];
+        for (const c of claims) {
+            const escapedStmt = `"${c.statement.replace(/"/g, '""')}"`;
+            claimRows.push(`${c.id},${c.subject_id},${escapedStmt},${c.status},${c.confidence}`);
+        }
+        return {
+            entitiesCSV: entityRows.join('\n'),
+            relationshipsCSV: relRows.join('\n'),
+            claimsCSV: claimRows.join('\n'),
+        };
+    }
+    toGraphML() {
+        const entities = this.store.getAllEntities();
+        const relationships = this.store.getAllRelationships();
+        let xml = `<?xml version="1.0" encoding="UTF-8"?>
+<graphml xmlns="http://graphml.graphdrawing.org/xmlns"
+         xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+         xsi:schemaLocation="http://graphml.graphdrawing.org/xmlns http://graphml.graphdrawing.org/xmlns/1.0/graphml.xsd">
+  <key id="name" for="node" attr.name="name" attr.type="string"/>
+  <key id="type" for="node" attr.name="type" attr.type="string"/>
+  <key id="relationship" for="edge" attr.name="relationship" attr.type="string"/>
+  <key id="confidence" for="edge" attr.name="confidence" attr.type="double"/>
+  <graph id="ProofGraph" edgedefault="directed">
+`;
+        for (const e of entities) {
+            const cleanName = e.name.replace(/&/g, '&amp;').replace(/</g, '&lt;').replace(/>/g, '&gt;');
+            xml += `    <node id="${e.id}">
+      <data key="name">${cleanName}</data>
+      <data key="type">${e.type}</data>
+    </node>\n`;
+        }
+        let edgeCounter = 1;
+        for (const r of relationships) {
+            xml += `    <edge id="e${edgeCounter++}" source="${r.source_id}" target="${r.target_id}">
+      <data key="relationship">${r.relationship}</data>
+      <data key="confidence">${r.confidence}</data>
+    </edge>\n`;
+        }
+        xml += `  </graph>
+</graphml>`;
+        return xml;
+    }
+}
+//# sourceMappingURL=exporter.js.map

package/dist/engine/exporter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exporter.js","sourceRoot":"","sources":["../../src/engine/exporter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAEpD,MAAM,OAAO,aAAa;IACJ;IAApB,YAAoB,KAAiB;QAAjB,UAAK,GAAL,KAAK,CAAY;IAAG,CAAC;IAElC,MAAM;QACX,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IACtD,CAAC;IAEM,QAAQ;QACb,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC;QAC7C,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;QAE9E,MAAM,MAAM,GAAG;YACb,UAAU,EAAE,oBAAoB;YAChC,QAAQ,EAAE,UAAU;SACrB,CAAC;QAEF,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IACzC,CAAC;IAEM,KAAK;QACV,kBAAkB;QAClB,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC;QAC7C,MAAM,UAAU,GAAG,CAAC,+CAA+C,CAAC,CAAC;QACrE,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;YACtD,MAAM,cAAc,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;YACtE,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,WAAW,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,aAAa,IAAI,EAAE,IAAI,cAAc,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;QACjH,CAAC;QAED,uBAAuB;QACvB,MAAM,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC;QACvD,MAAM,OAAO,GAAG,CAAC,wDAAwD,CAAC,CAAC;QAC3E,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;YAC9B,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC,CAAC;QACxG,CAAC;QAED,gBAAgB;QAChB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC;QACzC,MAAM,SAAS,GAAG,CAAC,2CAA2C,CAAC,CAAC;QAChE,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;YAC3D,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,UAAU,IAAI,WAAW,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;QACvF,CAAC;QAED,OAAO;YACL,WAAW,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;YAClC,gBAAgB,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;YACpC,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;SAChC,CAAC;IACJ,CAAC;IAEM,SAAS;QACd,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC;QAC7C,MAAM,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC;QAEvD,IAAI,GAAG,GAAG;;;;;;;;;CASb,CAAC;QAEE,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,MAAM,SAAS,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC5F,GAAG,IAAI,iBAAiB,CAAC,CAAC,EAAE;yBACT,SAAS;yBACT,CAAC,CAAC,IAAI;cACjB,CAAC;QACX,CAAC;QAED,IAAI,WAAW,GAAG,CAAC,CAAC;QACpB,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;YAC9B,GAAG,IAAI,kBAAkB,WAAW,EAAE,aAAa,CAAC,CAAC,SAAS,aAAa,CAAC,CAAC,SAAS;iCAC3D,CAAC,CAAC,YAAY;+BAChB,CAAC,CAAC,UAAU;cAC7B,CAAC;QACX,CAAC;QAED,GAAG,IAAI;WACA,CAAC;QAER,OAAO,GAAG,CAAC;IACb,CAAC;CACF"}

package/dist/engine/graphTraversal.d.ts

@@ -0,0 +1,25 @@
+/**
+ * ProofGraph Relationship Traversal & Path Discovery Engine
+ */
+import { Entity, Relationship, Evidence } from '../types/index.js';
+import { GraphStore } from '../storage/graphStore.js';
+export interface TraversalPathResult {
+    from_entity: Entity;
+    to_entity?: Entity;
+    hops: number;
+    path_sequence: string[];
+    relationships: Relationship[];
+    connecting_evidence: Evidence[];
+    summary: string;
+}
+export declare class GraphTraversalEngine {
+    private store;
+    constructor(store: GraphStore);
+    findRelationships(entityId: string, relationshipType?: string, depth?: number): {
+        origin: Entity | undefined;
+        direct_relationships: Relationship[];
+        traversal_nodes: Entity[];
+        traversal_edges: Relationship[];
+    };
+    explainConnection(sourceEntityId: string, targetEntityId: string): TraversalPathResult | null;
+}