Expand description
256-bit content hash for checkpoint integrity verification.
§Formal proof reference
proofs/Retrieval/HNSW.lean — hash identity used in checkpoint
compatibility checks (khive.Retrieval.HNSW.checkpoint_correctness).
Structs§
- Hash32
- 256-bit (32-byte) content hash.