Running Equational Theory Trajectory Atlas ๐ SAIR reasoning, trained models and RAG failure analysis