_ephemeral_verify_prof_semantic_astra01.ts