@ninebix/nmt-system 1.0.0

package/dist/services/verification-gate.d.ts

@@ -0,0 +1,147 @@
+/**
+ * Verification Gate Service
+ * Merkle 검증 기반 컨텍스트 필터링
+ *
+ * 설계 문서: NMT_Updated.md Step 3 (3.2절)
+ * - 검색된 neuron/chunk에 대해 메타 일관성 검증
+ * - chunk inclusion proof 검증
+ * - 검증 실패 chunk는 폐기 (fail-closed 정책)
+ *
+ * @module services/verification-gate
+ */
+import type { NeuronNode, MerkleProof, SHA3Hash } from '../types/index.js';
+/**
+ * 검증 실패 사유
+ */
+export type VerificationFailReason = 'merkle_root_mismatch' | 'chunk_hash_mismatch' | 'chunk_missing' | 'proof_invalid' | 'metadata_inconsistent' | 'neuron_corrupted';
+/**
+ * 개별 Chunk 검증 결과 (Gate용)
+ * 주의: verify.ts의 GateChunkVerificationResult와 구분
+ */
+export interface GateChunkVerificationResult {
+    chunkHash: SHA3Hash;
+    verified: boolean;
+    failReason?: VerificationFailReason;
+    proof?: MerkleProof;
+}
+/**
+ * 뉴런 검증 결과
+ */
+export interface NeuronVerificationResult {
+    neuronId: string;
+    verified: boolean;
+    merkleRootValid: boolean;
+    chunksVerified: number;
+    chunksFailed: number;
+    failReasons: VerificationFailReason[];
+    chunkResults: GateChunkVerificationResult[];
+    verificationTimeMs: number;
+}
+/**
+ * 배치 검증 결과
+ */
+export interface BatchVerificationResult {
+    totalNeurons: number;
+    verifiedNeurons: number;
+    failedNeurons: number;
+    totalChunks: number;
+    verifiedChunks: number;
+    discardedChunks: number;
+    verifiedNeuronIds: string[];
+    discardedNeuronIds: string[];
+    failureDetails: Map<string, VerificationFailReason[]>;
+    totalTimeMs: number;
+}
+/**
+ * Verification Gate 설정
+ */
+export interface VerificationGateConfig {
+    mode: 'strict' | 'soft';
+    verifyMerkleRoot: boolean;
+    verifyChunkHashes: boolean;
+    verifyInclusionProof: boolean;
+    verifyMetadata: boolean;
+    maxVerificationTimeMs: number;
+    cacheVerificationResults: boolean;
+}
+/**
+ * Chunk 데이터 제공자 인터페이스
+ */
+export interface ChunkProvider {
+    getChunk(hash: SHA3Hash): Promise<Buffer | null>;
+    getChunks(hashes: SHA3Hash[]): Promise<Map<SHA3Hash, Buffer | null>>;
+}
+/**
+ * Verification Gate 클래스
+ */
+export declare class VerificationGate {
+    private merkleEngine;
+    private config;
+    private chunkProvider;
+    private verificationCache;
+    private stats;
+    constructor(config?: Partial<VerificationGateConfig>);
+    /**
+     * Chunk Provider 설정
+     */
+    setChunkProvider(provider: ChunkProvider): void;
+    /**
+     * 단일 뉴런 검증
+     */
+    verifyNeuron(neuron: NeuronNode, chunks?: Map<SHA3Hash, Buffer>): Promise<NeuronVerificationResult>;
+    /**
+     * 메타데이터 일관성 검증
+     */
+    private verifyMetadata;
+    /**
+     * 개별 Chunk 해시 검증
+     */
+    private verifyChunkHash;
+    /**
+     * 배치 뉴런 검증
+     */
+    verifyBatch(neurons: NeuronNode[], chunks?: Map<SHA3Hash, Buffer>): Promise<BatchVerificationResult>;
+    /**
+     * 검색 결과 필터링 (검증 통과한 것만 반환)
+     */
+    filterVerified<T extends {
+        neuron: NeuronNode;
+    }>(results: T[], chunks?: Map<SHA3Hash, Buffer>): Promise<{
+        verified: T[];
+        discarded: T[];
+        verificationResult: BatchVerificationResult;
+    }>;
+    /**
+     * 빠른 검증 (merkleRoot만)
+     */
+    quickVerify(neuron: NeuronNode): boolean;
+    /**
+     * 캐시 무효화
+     */
+    invalidateCache(neuronId?: string): void;
+    /**
+     * 통계 조회
+     */
+    getStats(): {
+        totalVerifications: number;
+        successRate: number;
+        failureRate: number;
+        cacheHitRate: number;
+        avgVerificationTimeMs: number;
+        failuresByReason: Record<string, number>;
+    };
+    /**
+     * 통계 초기화
+     */
+    resetStats(): void;
+    /**
+     * 모드 변경
+     */
+    setMode(mode: 'strict' | 'soft'): void;
+    /**
+     * 설정 업데이트
+     */
+    updateConfig(config: Partial<VerificationGateConfig>): void;
+}
+export declare const verificationGate: VerificationGate;
+//# sourceMappingURL=verification-gate.d.ts.map

package/dist/services/verification-gate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-gate.d.ts","sourceRoot":"","sources":["../../src/services/verification-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAc,MAAM,mBAAmB,CAAC;AAGvF;;GAEG;AACH,MAAM,MAAM,sBAAsB,GAC9B,sBAAsB,GACtB,qBAAqB,GACrB,eAAe,GACf,eAAe,GACf,uBAAuB,GACvB,kBAAkB,CAAC;AAEvB;;;GAGG;AACH,MAAM,WAAW,2BAA2B;IAC1C,SAAS,EAAE,QAAQ,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,CAAC,EAAE,sBAAsB,CAAC;IACpC,KAAK,CAAC,EAAE,WAAW,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;IAClB,eAAe,EAAE,OAAO,CAAC;IACzB,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,sBAAsB,EAAE,CAAC;IACtC,YAAY,EAAE,2BAA2B,EAAE,CAAC;IAC5C,kBAAkB,EAAE,MAAM,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,sBAAsB,EAAE,CAAC,CAAC;IACtD,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,QAAQ,GAAG,MAAM,CAAC;IACxB,gBAAgB,EAAE,OAAO,CAAC;IAC1B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,oBAAoB,EAAE,OAAO,CAAC;IAC9B,cAAc,EAAE,OAAO,CAAC;IACxB,qBAAqB,EAAE,MAAM,CAAC;IAC9B,wBAAwB,EAAE,OAAO,CAAC;CACnC;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;IACjD,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;CACtE;AAED;;GAEG;AACH,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,YAAY,CAAe;IACnC,OAAO,CAAC,MAAM,CAAmC;IACjD,OAAO,CAAC,aAAa,CAA8B;IAGnD,OAAO,CAAC,iBAAiB,CAAoD;IAG7E,OAAO,CAAC,KAAK,CAOX;gBAEU,MAAM,GAAE,OAAO,CAAC,sBAAsB,CAAM;IAaxD;;OAEG;IACH,gBAAgB,CAAC,QAAQ,EAAE,aAAa,GAAG,IAAI;IAI/C;;OAEG;IACG,YAAY,CAChB,MAAM,EAAE,UAAU,EAClB,MAAM,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,GAC7B,OAAO,CAAC,wBAAwB,CAAC;IA6HpC;;OAEG;IACH,OAAO,CAAC,cAAc;IA4BtB;;OAEG;IACH,OAAO,CAAC,eAAe;IA2BvB;;OAEG;IACG,WAAW,CACf,OAAO,EAAE,UAAU,EAAE,EACrB,MAAM,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,GAC7B,OAAO,CAAC,uBAAuB,CAAC;IA0CnC;;OAEG;IACG,cAAc,CAAC,CAAC,SAAS;QAAE,MAAM,EAAE,UAAU,CAAA;KAAE,EACnD,OAAO,EAAE,CAAC,EAAE,EACZ,MAAM,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,GAC7B,OAAO,CAAC;QACT,QAAQ,EAAE,CAAC,EAAE,CAAC;QACd,SAAS,EAAE,CAAC,EAAE,CAAC;QACf,kBAAkB,EAAE,uBAAuB,CAAC;KAC7C,CAAC;IA0BF;;OAEG;IACH,WAAW,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO;IAaxC;;OAEG;IACH,eAAe,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI;IAQxC;;OAEG;IACH,QAAQ,IAAI;QACV,kBAAkB,EAAE,MAAM,CAAC;QAC3B,WAAW,EAAE,MAAM,CAAC;QACpB,WAAW,EAAE,MAAM,CAAC;QACpB,YAAY,EAAE,MAAM,CAAC;QACrB,qBAAqB,EAAE,MAAM,CAAC;QAC9B,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;KAC1C;IAaD;;OAEG;IACH,UAAU,IAAI,IAAI;IAWlB;;OAEG;IACH,OAAO,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,GAAG,IAAI;IAItC;;OAEG;IACH,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,sBAAsB,CAAC,GAAG,IAAI;CAG5D;AAGD,eAAO,MAAM,gBAAgB,kBAAyB,CAAC"}

package/dist/services/verification-gate.js

@@ -0,0 +1,344 @@
+/**
+ * Verification Gate Service
+ * Merkle 검증 기반 컨텍스트 필터링
+ *
+ * 설계 문서: NMT_Updated.md Step 3 (3.2절)
+ * - 검색된 neuron/chunk에 대해 메타 일관성 검증
+ * - chunk inclusion proof 검증
+ * - 검증 실패 chunk는 폐기 (fail-closed 정책)
+ *
+ * @module services/verification-gate
+ */
+import { MerkleEngine } from '../core/merkle-engine.js';
+import { hash } from '../utils/hash.js';
+/**
+ * Verification Gate 클래스
+ */
+export class VerificationGate {
+    merkleEngine;
+    config;
+    chunkProvider = null;
+    // 검증 결과 캐시 (neuronId -> result)
+    verificationCache = new Map();
+    // 통계
+    stats = {
+        totalVerifications: 0,
+        successfulVerifications: 0,
+        failedVerifications: 0,
+        cacheHits: 0,
+        avgVerificationTimeMs: 0,
+        failuresByReason: new Map()
+    };
+    constructor(config = {}) {
+        this.merkleEngine = new MerkleEngine();
+        this.config = {
+            mode: config.mode ?? 'strict',
+            verifyMerkleRoot: config.verifyMerkleRoot ?? true,
+            verifyChunkHashes: config.verifyChunkHashes ?? true,
+            verifyInclusionProof: config.verifyInclusionProof ?? false, // 기본 비활성화 (비용)
+            verifyMetadata: config.verifyMetadata ?? true,
+            maxVerificationTimeMs: config.maxVerificationTimeMs ?? 5000,
+            cacheVerificationResults: config.cacheVerificationResults ?? true
+        };
+    }
+    /**
+     * Chunk Provider 설정
+     */
+    setChunkProvider(provider) {
+        this.chunkProvider = provider;
+    }
+    /**
+     * 단일 뉴런 검증
+     */
+    async verifyNeuron(neuron, chunks) {
+        const startTime = Date.now();
+        this.stats.totalVerifications++;
+        // 캐시 확인
+        if (this.config.cacheVerificationResults && this.verificationCache.has(neuron.id)) {
+            this.stats.cacheHits++;
+            return this.verificationCache.get(neuron.id);
+        }
+        const chunkResults = [];
+        const failReasons = [];
+        let merkleRootValid = true;
+        try {
+            // 1. 메타데이터 일관성 검증
+            if (this.config.verifyMetadata) {
+                const metadataValid = this.verifyMetadata(neuron);
+                if (!metadataValid) {
+                    failReasons.push('metadata_inconsistent');
+                }
+            }
+            // 2. Merkle Root 검증
+            if (this.config.verifyMerkleRoot && neuron.chunkHashes.length > 0) {
+                const computedRoot = this.merkleEngine.computeRoot(neuron.chunkHashes);
+                if (computedRoot !== neuron.merkleRoot) {
+                    merkleRootValid = false;
+                    failReasons.push('merkle_root_mismatch');
+                }
+            }
+            // 3. 개별 Chunk 해시 검증
+            if (this.config.verifyChunkHashes && chunks) {
+                for (const chunkHash of neuron.chunkHashes) {
+                    const chunkData = chunks.get(chunkHash);
+                    const result = this.verifyChunkHash(chunkHash, chunkData);
+                    chunkResults.push(result);
+                    if (!result.verified && result.failReason) {
+                        if (!failReasons.includes(result.failReason)) {
+                            failReasons.push(result.failReason);
+                        }
+                    }
+                }
+            }
+            else if (this.config.verifyChunkHashes && this.chunkProvider) {
+                // Chunk Provider로 데이터 가져오기
+                const chunkMap = await this.chunkProvider.getChunks(neuron.chunkHashes);
+                for (const chunkHash of neuron.chunkHashes) {
+                    const chunkData = chunkMap.get(chunkHash) ?? null;
+                    const result = this.verifyChunkHash(chunkHash, chunkData);
+                    chunkResults.push(result);
+                    if (!result.verified && result.failReason) {
+                        if (!failReasons.includes(result.failReason)) {
+                            failReasons.push(result.failReason);
+                        }
+                    }
+                }
+            }
+            // 4. Inclusion Proof 검증 (선택적)
+            if (this.config.verifyInclusionProof && neuron.chunkHashes.length > 0) {
+                const tree = this.merkleEngine.buildTree(neuron.chunkHashes);
+                for (let i = 0; i < chunkResults.length; i++) {
+                    if (chunkResults[i].verified) {
+                        const proof = this.merkleEngine.generateProof(tree, i);
+                        const proofValid = this.merkleEngine.verifyProof(proof);
+                        chunkResults[i].proof = proof;
+                        if (!proofValid) {
+                            chunkResults[i].verified = false;
+                            chunkResults[i].failReason = 'proof_invalid';
+                            if (!failReasons.includes('proof_invalid')) {
+                                failReasons.push('proof_invalid');
+                            }
+                        }
+                    }
+                }
+            }
+        }
+        catch (error) {
+            failReasons.push('neuron_corrupted');
+        }
+        const verificationTimeMs = Date.now() - startTime;
+        const chunksVerified = chunkResults.filter(r => r.verified).length;
+        const chunksFailed = chunkResults.filter(r => !r.verified).length;
+        const verified = failReasons.length === 0 && merkleRootValid;
+        // 통계 업데이트
+        if (verified) {
+            this.stats.successfulVerifications++;
+        }
+        else {
+            this.stats.failedVerifications++;
+            for (const reason of failReasons) {
+                this.stats.failuresByReason.set(reason, (this.stats.failuresByReason.get(reason) ?? 0) + 1);
+            }
+        }
+        this.stats.avgVerificationTimeMs =
+            (this.stats.avgVerificationTimeMs * (this.stats.totalVerifications - 1) + verificationTimeMs)
+                / this.stats.totalVerifications;
+        const result = {
+            neuronId: neuron.id,
+            verified,
+            merkleRootValid,
+            chunksVerified,
+            chunksFailed,
+            failReasons,
+            chunkResults,
+            verificationTimeMs
+        };
+        // 캐시 저장
+        if (this.config.cacheVerificationResults) {
+            this.verificationCache.set(neuron.id, result);
+        }
+        return result;
+    }
+    /**
+     * 메타데이터 일관성 검증
+     */
+    verifyMetadata(neuron) {
+        // embedding 차원 검증
+        if (neuron.embedding) {
+            const expectedDim = 384; // 설정 가능하게 변경 가능
+            if (neuron.embedding.length !== expectedDim) {
+                return false;
+            }
+        }
+        // chunkHashes와 merkleRoot 존재 여부
+        if (neuron.chunkHashes.length > 0 && !neuron.merkleRoot) {
+            return false;
+        }
+        // 타임스탬프 유효성
+        if (neuron.metadata) {
+            const now = Date.now();
+            if (neuron.metadata.createdAt) {
+                const createdTime = new Date(neuron.metadata.createdAt).getTime();
+                if (createdTime > now) {
+                    return false; // 미래 시간
+                }
+            }
+        }
+        return true;
+    }
+    /**
+     * 개별 Chunk 해시 검증
+     */
+    verifyChunkHash(expectedHash, chunkData) {
+        if (!chunkData) {
+            return {
+                chunkHash: expectedHash,
+                verified: false,
+                failReason: 'chunk_missing'
+            };
+        }
+        const actualHash = hash(chunkData);
+        if (actualHash !== expectedHash) {
+            return {
+                chunkHash: expectedHash,
+                verified: false,
+                failReason: 'chunk_hash_mismatch'
+            };
+        }
+        return {
+            chunkHash: expectedHash,
+            verified: true
+        };
+    }
+    /**
+     * 배치 뉴런 검증
+     */
+    async verifyBatch(neurons, chunks) {
+        const startTime = Date.now();
+        const results = await Promise.all(neurons.map(n => this.verifyNeuron(n, chunks)));
+        const verifiedNeuronIds = [];
+        const discardedNeuronIds = [];
+        const failureDetails = new Map();
+        let totalChunks = 0;
+        let verifiedChunks = 0;
+        let discardedChunks = 0;
+        for (const result of results) {
+            totalChunks += result.chunksVerified + result.chunksFailed;
+            verifiedChunks += result.chunksVerified;
+            discardedChunks += result.chunksFailed;
+            if (result.verified) {
+                verifiedNeuronIds.push(result.neuronId);
+            }
+            else {
+                discardedNeuronIds.push(result.neuronId);
+                failureDetails.set(result.neuronId, result.failReasons);
+            }
+        }
+        return {
+            totalNeurons: neurons.length,
+            verifiedNeurons: verifiedNeuronIds.length,
+            failedNeurons: discardedNeuronIds.length,
+            totalChunks,
+            verifiedChunks,
+            discardedChunks,
+            verifiedNeuronIds,
+            discardedNeuronIds,
+            failureDetails,
+            totalTimeMs: Date.now() - startTime
+        };
+    }
+    /**
+     * 검색 결과 필터링 (검증 통과한 것만 반환)
+     */
+    async filterVerified(results, chunks) {
+        const neurons = results.map(r => r.neuron);
+        const batchResult = await this.verifyBatch(neurons, chunks);
+        const verifiedSet = new Set(batchResult.verifiedNeuronIds);
+        const verified = [];
+        const discarded = [];
+        for (const result of results) {
+            if (verifiedSet.has(result.neuron.id)) {
+                verified.push(result);
+            }
+            else {
+                // soft mode에서는 경고만 하고 포함
+                if (this.config.mode === 'soft') {
+                    verified.push(result);
+                    console.warn(`[VerificationGate] Soft mode: including unverified neuron ${result.neuron.id}`);
+                }
+                else {
+                    discarded.push(result);
+                }
+            }
+        }
+        return { verified, discarded, verificationResult: batchResult };
+    }
+    /**
+     * 빠른 검증 (merkleRoot만)
+     */
+    quickVerify(neuron) {
+        if (neuron.chunkHashes.length === 0) {
+            return true;
+        }
+        try {
+            const computedRoot = this.merkleEngine.computeRoot(neuron.chunkHashes);
+            return computedRoot === neuron.merkleRoot;
+        }
+        catch {
+            return false;
+        }
+    }
+    /**
+     * 캐시 무효화
+     */
+    invalidateCache(neuronId) {
+        if (neuronId) {
+            this.verificationCache.delete(neuronId);
+        }
+        else {
+            this.verificationCache.clear();
+        }
+    }
+    /**
+     * 통계 조회
+     */
+    getStats() {
+        const total = this.stats.totalVerifications;
+        return {
+            totalVerifications: total,
+            successRate: total > 0 ? this.stats.successfulVerifications / total : 0,
+            failureRate: total > 0 ? this.stats.failedVerifications / total : 0,
+            cacheHitRate: total > 0 ? this.stats.cacheHits / total : 0,
+            avgVerificationTimeMs: this.stats.avgVerificationTimeMs,
+            failuresByReason: Object.fromEntries(this.stats.failuresByReason)
+        };
+    }
+    /**
+     * 통계 초기화
+     */
+    resetStats() {
+        this.stats = {
+            totalVerifications: 0,
+            successfulVerifications: 0,
+            failedVerifications: 0,
+            cacheHits: 0,
+            avgVerificationTimeMs: 0,
+            failuresByReason: new Map()
+        };
+    }
+    /**
+     * 모드 변경
+     */
+    setMode(mode) {
+        this.config.mode = mode;
+    }
+    /**
+     * 설정 업데이트
+     */
+    updateConfig(config) {
+        this.config = { ...this.config, ...config };
+    }
+}
+// 싱글톤 인스턴스
+export const verificationGate = new VerificationGate();
+//# sourceMappingURL=verification-gate.js.map

package/dist/services/verification-gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-gate.js","sourceRoot":"","sources":["../../src/services/verification-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAExD,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AA2ExC;;GAEG;AACH,MAAM,OAAO,gBAAgB;IACnB,YAAY,CAAe;IAC3B,MAAM,CAAmC;IACzC,aAAa,GAAyB,IAAI,CAAC;IAEnD,gCAAgC;IACxB,iBAAiB,GAA0C,IAAI,GAAG,EAAE,CAAC;IAE7E,KAAK;IACG,KAAK,GAAG;QACd,kBAAkB,EAAE,CAAC;QACrB,uBAAuB,EAAE,CAAC;QAC1B,mBAAmB,EAAE,CAAC;QACtB,SAAS,EAAE,CAAC;QACZ,qBAAqB,EAAE,CAAC;QACxB,gBAAgB,EAAE,IAAI,GAAG,EAAkC;KAC5D,CAAC;IAEF,YAAY,SAA0C,EAAE;QACtD,IAAI,CAAC,YAAY,GAAG,IAAI,YAAY,EAAE,CAAC;QACvC,IAAI,CAAC,MAAM,GAAG;YACZ,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,QAAQ;YAC7B,gBAAgB,EAAE,MAAM,CAAC,gBAAgB,IAAI,IAAI;YACjD,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,IAAI,IAAI;YACnD,oBAAoB,EAAE,MAAM,CAAC,oBAAoB,IAAI,KAAK,EAAE,eAAe;YAC3E,cAAc,EAAE,MAAM,CAAC,cAAc,IAAI,IAAI;YAC7C,qBAAqB,EAAE,MAAM,CAAC,qBAAqB,IAAI,IAAI;YAC3D,wBAAwB,EAAE,MAAM,CAAC,wBAAwB,IAAI,IAAI;SAClE,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,gBAAgB,CAAC,QAAuB;QACtC,IAAI,CAAC,aAAa,GAAG,QAAQ,CAAC;IAChC,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,YAAY,CAChB,MAAkB,EAClB,MAA8B;QAE9B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC7B,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,CAAC;QAEhC,QAAQ;QACR,IAAI,IAAI,CAAC,MAAM,CAAC,wBAAwB,IAAI,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YAClF,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;YACvB,OAAO,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAE,CAAC;QAChD,CAAC;QAED,MAAM,YAAY,GAAkC,EAAE,CAAC;QACvD,MAAM,WAAW,GAA6B,EAAE,CAAC;QACjD,IAAI,eAAe,GAAG,IAAI,CAAC;QAE3B,IAAI,CAAC;YACH,kBAAkB;YAClB,IAAI,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;gBAC/B,MAAM,aAAa,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;gBAClD,IAAI,CAAC,aAAa,EAAE,CAAC;oBACnB,WAAW,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;gBAC5C,CAAC;YACH,CAAC;YAED,oBAAoB;YACpB,IAAI,IAAI,CAAC,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClE,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;gBACvE,IAAI,YAAY,KAAK,MAAM,CAAC,UAAU,EAAE,CAAC;oBACvC,eAAe,GAAG,KAAK,CAAC;oBACxB,WAAW,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;gBAC3C,CAAC;YACH,CAAC;YAED,oBAAoB;YACpB,IAAI,IAAI,CAAC,MAAM,CAAC,iBAAiB,IAAI,MAAM,EAAE,CAAC;gBAC5C,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;oBAC3C,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;oBACxC,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;oBAC1D,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBAE1B,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;wBAC1C,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;4BAC7C,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;wBACtC,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;iBAAM,IAAI,IAAI,CAAC,MAAM,CAAC,iBAAiB,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBAC/D,2BAA2B;gBAC3B,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;gBACxE,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;oBAC3C,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC;oBAClD,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;oBAC1D,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBAE1B,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;wBAC1C,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;4BAC7C,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;wBACtC,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAED,8BAA8B;YAC9B,IAAI,IAAI,CAAC,MAAM,CAAC,oBAAoB,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtE,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;gBAC7D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC7C,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;wBAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;wBACvD,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;wBACxD,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC;wBAE9B,IAAI,CAAC,UAAU,EAAE,CAAC;4BAChB,YAAY,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,KAAK,CAAC;4BACjC,YAAY,CAAC,CAAC,CAAC,CAAC,UAAU,GAAG,eAAe,CAAC;4BAC7C,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;gCAC3C,WAAW,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;4BACpC,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QAEH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,WAAW,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACvC,CAAC;QAED,MAAM,kBAAkB,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;QAClD,MAAM,cAAc,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;QACnE,MAAM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;QAClE,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,eAAe,CAAC;QAE7D,UAAU;QACV,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC,KAAK,CAAC,uBAAuB,EAAE,CAAC;QACvC,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC;YACjC,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,CAAC;gBACjC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAC7B,MAAM,EACN,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CACnD,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,qBAAqB;YAC9B,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,GAAG,CAAC,CAAC,GAAG,kBAAkB,CAAC;kBAC3F,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC;QAElC,MAAM,MAAM,GAA6B;YACvC,QAAQ,EAAE,MAAM,CAAC,EAAE;YACnB,QAAQ;YACR,eAAe;YACf,cAAc;YACd,YAAY;YACZ,WAAW;YACX,YAAY;YACZ,kBAAkB;SACnB,CAAC;QAEF,QAAQ;QACR,IAAI,IAAI,CAAC,MAAM,CAAC,wBAAwB,EAAE,CAAC;YACzC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QAChD,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,cAAc,CAAC,MAAkB;QACvC,kBAAkB;QAClB,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACrB,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,gBAAgB;YACzC,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;gBAC5C,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QAED,gCAAgC;QAChC,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;YACxD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,YAAY;QACZ,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACvB,IAAI,MAAM,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC;gBAC9B,MAAM,WAAW,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,CAAC;gBAClE,IAAI,WAAW,GAAG,GAAG,EAAE,CAAC;oBACtB,OAAO,KAAK,CAAC,CAAC,QAAQ;gBACxB,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACK,eAAe,CACrB,YAAsB,EACtB,SAAoC;QAEpC,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO;gBACL,SAAS,EAAE,YAAY;gBACvB,QAAQ,EAAE,KAAK;gBACf,UAAU,EAAE,eAAe;aAC5B,CAAC;QACJ,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC;QACnC,IAAI,UAAU,KAAK,YAAY,EAAE,CAAC;YAChC,OAAO;gBACL,SAAS,EAAE,YAAY;gBACvB,QAAQ,EAAE,KAAK;gBACf,UAAU,EAAE,qBAAqB;aAClC,CAAC;QACJ,CAAC;QAED,OAAO;YACL,SAAS,EAAE,YAAY;YACvB,QAAQ,EAAE,IAAI;SACf,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,WAAW,CACf,OAAqB,EACrB,MAA8B;QAE9B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAE7B,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAC/B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAC/C,CAAC;QAEF,MAAM,iBAAiB,GAAa,EAAE,CAAC;QACvC,MAAM,kBAAkB,GAAa,EAAE,CAAC;QACxC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAoC,CAAC;QAEnE,IAAI,WAAW,GAAG,CAAC,CAAC;QACpB,IAAI,cAAc,GAAG,CAAC,CAAC;QACvB,IAAI,eAAe,GAAG,CAAC,CAAC;QAExB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,WAAW,IAAI,MAAM,CAAC,cAAc,GAAG,MAAM,CAAC,YAAY,CAAC;YAC3D,cAAc,IAAI,MAAM,CAAC,cAAc,CAAC;YACxC,eAAe,IAAI,MAAM,CAAC,YAAY,CAAC;YAEvC,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACpB,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC1C,CAAC;iBAAM,CAAC;gBACN,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;gBACzC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;YAC1D,CAAC;QACH,CAAC;QAED,OAAO;YACL,YAAY,EAAE,OAAO,CAAC,MAAM;YAC5B,eAAe,EAAE,iBAAiB,CAAC,MAAM;YACzC,aAAa,EAAE,kBAAkB,CAAC,MAAM;YACxC,WAAW;YACX,cAAc;YACd,eAAe;YACf,iBAAiB;YACjB,kBAAkB;YAClB,cAAc;YACd,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;SACpC,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,cAAc,CAClB,OAAY,EACZ,MAA8B;QAM9B,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC3C,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAE5D,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC;QAE3D,MAAM,QAAQ,GAAQ,EAAE,CAAC;QACzB,MAAM,SAAS,GAAQ,EAAE,CAAC;QAE1B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACxB,CAAC;iBAAM,CAAC;gBACN,yBAAyB;gBACzB,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBAChC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBACtB,OAAO,CAAC,IAAI,CAAC,6DAA6D,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;gBAChG,CAAC;qBAAM,CAAC;oBACN,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,kBAAkB,EAAE,WAAW,EAAE,CAAC;IAClE,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,MAAkB;QAC5B,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpC,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IAAI,CAAC;YACH,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;YACvE,OAAO,YAAY,KAAK,MAAM,CAAC,UAAU,CAAC;QAC5C,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED;;OAEG;IACH,eAAe,CAAC,QAAiB;QAC/B,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1C,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC;QACjC,CAAC;IACH,CAAC;IAED;;OAEG;IACH,QAAQ;QAQN,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC;QAE5C,OAAO;YACL,kBAAkB,EAAE,KAAK;YACzB,WAAW,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,uBAAuB,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACvE,WAAW,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACnE,YAAY,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YAC1D,qBAAqB,EAAE,IAAI,CAAC,KAAK,CAAC,qBAAqB;YACvD,gBAAgB,EAAE,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC;SAClE,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,UAAU;QACR,IAAI,CAAC,KAAK,GAAG;YACX,kBAAkB,EAAE,CAAC;YACrB,uBAAuB,EAAE,CAAC;YAC1B,mBAAmB,EAAE,CAAC;YACtB,SAAS,EAAE,CAAC;YACZ,qBAAqB,EAAE,CAAC;YACxB,gBAAgB,EAAE,IAAI,GAAG,EAAE;SAC5B,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,IAAuB;QAC7B,IAAI,CAAC,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC;IAC1B,CAAC;IAED;;OAEG;IACH,YAAY,CAAC,MAAuC;QAClD,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;IAC9C,CAAC;CACF;AAED,WAAW;AACX,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,gBAAgB,EAAE,CAAC"}

package/dist/services/verify.d.ts

@@ -0,0 +1,114 @@
+/**
+ * Verification Service - Data integrity verification
+ * @module services/verify
+ */
+import type { UUID, MerkleProof, SHA3Hash, IChunkStore, INeuronStore } from '../types/index.js';
+import { MerkleEngine } from '../core/merkle-engine.js';
+/**
+ * Verification result
+ */
+export interface VerificationResult {
+    valid: boolean;
+    neuronId: UUID;
+    merkleRoot: string;
+    errors: string[];
+    details: {
+        chunksVerified: number;
+        chunksFailed: number;
+        merkleValid: boolean;
+        embeddingValid: boolean;
+    };
+}
+/**
+ * Chunk verification result
+ */
+export interface ChunkVerificationResult {
+    hash: SHA3Hash;
+    valid: boolean;
+    exists: boolean;
+    integrityPassed: boolean;
+}
+/**
+ * Proof verification options
+ */
+export interface ProofVerifyOptions {
+    verifyChunkData?: boolean;
+}
+/**
+ * Verification Service
+ */
+export declare class VerificationService {
+    private merkleEngine;
+    private chunkStore;
+    private neuronStore;
+    constructor(merkleEngine: MerkleEngine, chunkStore: IChunkStore, neuronStore: INeuronStore);
+    /**
+     * Verify complete neuron integrity
+     */
+    verifyNeuron(neuronId: UUID): Promise<VerificationResult>;
+    /**
+     * Verify a single chunk
+     */
+    verifyChunk(chunkHash: SHA3Hash): Promise<ChunkVerificationResult>;
+    /**
+     * Verify Merkle root matches chunk hashes
+     */
+    verifyMerkleRoot(chunkHashes: SHA3Hash[], expectedRoot: string): Promise<boolean>;
+    /**
+     * Verify a Merkle proof
+     */
+    verifyProof(proof: MerkleProof): boolean;
+    /**
+     * Verify proof with explicit values
+     */
+    verifyProofWithValues(proof: MerkleProof, expectedRoot: string, expectedLeaf: SHA3Hash): boolean;
+    /**
+     * Generate and verify proof for a specific chunk
+     */
+    generateAndVerifyProof(neuronId: UUID, chunkIndex: number, options?: ProofVerifyOptions): Promise<{
+        proof: MerkleProof | null;
+        valid: boolean;
+        chunkValid?: boolean;
+    }>;
+    /**
+     * Verify all neurons in the store
+     */
+    verifyAll(): Promise<{
+        total: number;
+        valid: number;
+        invalid: number;
+        results: VerificationResult[];
+    }>;
+    /**
+     * Verify chunk store integrity
+     */
+    verifyChunkStore(): Promise<{
+        total: number;
+        valid: number;
+        corrupted: SHA3Hash[];
+        missing: SHA3Hash[];
+    }>;
+    /**
+     * Verify data against expected hash
+     */
+    verifyData(data: Buffer | string, expectedHash: SHA3Hash): boolean;
+    /**
+     * Compute hash for data
+     */
+    computeHash(data: Buffer | string): SHA3Hash;
+    /**
+     * Get verification summary for a neuron
+     */
+    getVerificationSummary(neuronId: UUID): Promise<{
+        exists: boolean;
+        merkleRoot?: string;
+        chunkCount?: number;
+        allChunksExist?: boolean;
+        merkleValid?: boolean;
+    }>;
+}
+/**
+ * Create a VerificationService instance
+ */
+export declare function createVerificationService(merkleEngine: MerkleEngine, chunkStore: IChunkStore, neuronStore: INeuronStore): VerificationService;
+//# sourceMappingURL=verify.d.ts.map

package/dist/services/verify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../src/services/verify.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EACV,IAAI,EAEJ,WAAW,EAGX,QAAQ,EACR,WAAW,EACX,YAAY,EACb,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAGxD;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,OAAO,CAAC;IACf,QAAQ,EAAE,IAAI,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,OAAO,EAAE;QACP,cAAc,EAAE,MAAM,CAAC;QACvB,YAAY,EAAE,MAAM,CAAC;QACrB,WAAW,EAAE,OAAO,CAAC;QACrB,cAAc,EAAE,OAAO,CAAC;KACzB,CAAC;CACH;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,OAAO,CAAC;IAChB,eAAe,EAAE,OAAO,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B;AAED;;GAEG;AACH,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,YAAY,CAAe;IACnC,OAAO,CAAC,UAAU,CAAc;IAChC,OAAO,CAAC,WAAW,CAAe;gBAGhC,YAAY,EAAE,YAAY,EAC1B,UAAU,EAAE,WAAW,EACvB,WAAW,EAAE,YAAY;IAO3B;;OAEG;IACG,YAAY,CAAC,QAAQ,EAAE,IAAI,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAsE/D;;OAEG;IACG,WAAW,CAAC,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAC,uBAAuB,CAAC;IAgCxE;;OAEG;IACG,gBAAgB,CACpB,WAAW,EAAE,QAAQ,EAAE,EACvB,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,OAAO,CAAC;IAOnB;;OAEG;IACH,WAAW,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO;IAIxC;;OAEG;IACH,qBAAqB,CACnB,KAAK,EAAE,WAAW,EAClB,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,QAAQ,GACrB,OAAO;IAIV;;OAEG;IACG,sBAAsB,CAC1B,QAAQ,EAAE,IAAI,EACd,UAAU,EAAE,MAAM,EAClB,OAAO,GAAE,kBAAuB,GAC/B,OAAO,CAAC;QACT,KAAK,EAAE,WAAW,GAAG,IAAI,CAAC;QAC1B,KAAK,EAAE,OAAO,CAAC;QACf,UAAU,CAAC,EAAE,OAAO,CAAC;KACtB,CAAC;IA4BF;;OAEG;IACG,SAAS,IAAI,OAAO,CAAC;QACzB,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,EAAE,MAAM,CAAC;QACd,OAAO,EAAE,MAAM,CAAC;QAChB,OAAO,EAAE,kBAAkB,EAAE,CAAC;KAC/B,CAAC;IAyBF;;OAEG;IACG,gBAAgB,IAAI,OAAO,CAAC;QAChC,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,EAAE,MAAM,CAAC;QACd,SAAS,EAAE,QAAQ,EAAE,CAAC;QACtB,OAAO,EAAE,QAAQ,EAAE,CAAC;KACrB,CAAC;IAWF;;OAEG;IACH,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,YAAY,EAAE,QAAQ,GAAG,OAAO;IAIlE;;OAEG;IACH,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,QAAQ;IAI5C;;OAEG;IACG,sBAAsB,CAAC,QAAQ,EAAE,IAAI,GAAG,OAAO,CAAC;QACpD,MAAM,EAAE,OAAO,CAAC;QAChB,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,cAAc,CAAC,EAAE,OAAO,CAAC;QACzB,WAAW,CAAC,EAAE,OAAO,CAAC;KACvB,CAAC;CA6BH;AAED;;GAEG;AACH,wBAAgB,yBAAyB,CACvC,YAAY,EAAE,YAAY,EAC1B,UAAU,EAAE,WAAW,EACvB,WAAW,EAAE,YAAY,GACxB,mBAAmB,CAErB"}