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