Elaboration and axiom audit #
The #print axioms checks are pinned with #guard_msgs, so a change to the trusted surface fails
the build. The generic results use no axioms; the Ed25519 instances assume only
X25519.p_prime and Ed25519Blinded.ell_prime.