mark_c9_t3_proof_ineligible.ts