MAS-I: Keep an assumption-first error log | ActNet