qualify_v6_deterministic_proofs.ts