Local-to-Global Topological Argument Verification and Reporting Protocol | Local-to-Global Topological Argument | Mathematics | NEROS