Verify the cryptographic trail.

Paste a TDAP proof bundle. The verifier recomputes the signed record commitment, verifies Ed25519, reconstructs the Merkle root and manifest commitment, and—when anchored—checks the TWIX EVM transaction.