mark_c9_t2_proof_ineligible.ts