Combinatorial Decomposition Verification and Reporting Protocol | Combinatorial Decomposition | Mathematics | NEROS