Recursive Proof Protocol for Structured Analytical Execution | Recursive Proof | Mathematics | NEROS