Module retrieval_proof 

Canonical durable-retrieval proofs and complete offline verification.

Structs

ExactRetrievalProof

Canonical exact-retrieval proof with embedded request and outcome.

ExactRetrievalProofArtifact

Newly created proof and the canonical snapshot witness it references.

ExactRetrievalVerificationReport

Successful offline exact-retrieval verification evidence.

HybridRetrievalProof

Canonical hybrid-retrieval proof with both complete branch executions.

HybridRetrievalProofArtifact

Newly created hybrid proof and canonical snapshot witness.

HybridRetrievalVerificationReport

Successful offline hybrid-retrieval verification evidence.

LexicalRetrievalProof

Canonical lexical-retrieval proof with embedded request and outcome.

LexicalRetrievalProofArtifact

Newly created lexical proof and canonical snapshot witness.

LexicalRetrievalVerificationReport

Successful offline lexical-retrieval verification evidence.

RetrievalProofAnchor

Snapshot and log checkpoint identity trusted by one retrieval proof.

RetrievalVerificationLimits

Resource limits for complete offline exact-retrieval verification.

Enums

RetrievalProofError

Failure while encoding, reading, or verifying a retrieval proof.

Constants

EXACT_RETRIEVAL_SEMANTICS_VERSION

Durable exact-retrieval semantics version bound into proofs.

HYBRID_RETRIEVAL_SEMANTICS_VERSION

Deterministic hybrid-retrieval semantics version bound into proofs.

LEXICAL_RETRIEVAL_SEMANTICS_VERSION

Durable lexical-retrieval semantics version bound into proofs.

MAX_RETRIEVAL_PROOF_BYTES

Hard maximum canonical retrieval-proof file length.

RETRIEVAL_PROOF_FORMAT_VERSION

Version of the canonical retrieval-proof envelope.

Functions

read_exact_retrieval_proof

Reads and verifies one canonical exact-retrieval proof under a byte limit.

read_hybrid_retrieval_proof

Reads and verifies one canonical hybrid-retrieval proof.

read_lexical_retrieval_proof

Reads and verifies one canonical lexical-retrieval proof.

verify_exact_retrieval_proof

Verifies an exact-retrieval proof completely offline against a trusted anchor and canonical format-2 snapshot witness.

verify_hybrid_retrieval_proof

Verifies a hybrid-retrieval proof completely offline.

verify_lexical_retrieval_proof

Verifies a lexical-retrieval proof completely offline.

write_exact_retrieval_proof

Writes a canonical exact-retrieval proof to a new synchronized file.

write_hybrid_retrieval_proof

Writes a canonical hybrid-retrieval proof to a new synchronized file.

write_lexical_retrieval_proof

Writes a canonical lexical-retrieval proof to a new synchronized file.