Artifact bundle: A Conditional Proof of Pre-Use Root Key Indistinguishability for the Auris v5 Handshake (revision 1.16)

Artifact bundle accompanying the preprint "A Conditional Proof of Pre-Use Root Key Indistinguishability for the Auris v5 Handshake", revision 1.16. Contains the complete sealed proof package (paper source and deterministic-build PDF, pinned X-Wing draft-10 test vectors, byte-exact reproduction suite including the mechanical cross-restatement consistency check, per-file SHA-256 manifests) and the companion Tamarin model of the v5 authentication layer (theory, canonical proved artifact with embedded proof objects, validation logs). Reproduce with "bash reproduction/run_all.sh"; see HOW_TO_REVIEW.md in the bundle. This is an author-side artifact, not an independent review.