Proof-Theoretic Derivation Protocol for Structured Analytical Execution | Proof-Theoretic Derivation | Mathematics | NEROS