tdln-proof 0.1.1

TDLN — proof bundle (deterministic translation proof + optional DV25 signatures).
Documentation

tdln-proof

docs.rs license MSRV

Proof bundle for TDLN: binds AST and canonical bytes with deterministic rule set. Optional signatures (Ed25519 / DV25) can be attached via features.