Function get_not_improved_attainment 

pub async fn get_not_improved_attainment(
    conn: &mut PgConnection,
    credit_registration_id: Uuid,
) -> ModelResult<Option<NotImprovedAttainment>>

The registry’s verdict for a row it declined as no improvement. None for every other row, and for one whose answer named no attainment.