mark_c9_t1_proof_ineligible.ts