Crate tdln_proof 

TDLN Proof Bundle — captures deterministic proof of translation.

ProofBundle references canonical content by CID and may carry signatures (plain Ed25519 and/or DV25 Seal via logline-core feature).

Structs

ProofBundle

Enums

ProofError

Functions

build_proof

Build a proof bundle from AST + canonical bytes + rule ids.

sign

verify_proof

Verifies determinism & integrity relationships within the bundle (shape-level).

verify_signatures