Topological Obstruction Argument Verification and Reporting Protocol | Topological Obstruction Argument | Mathematics | NEROS