Tightness Analysis Execution Protocol | Tightness Analysis | Mathematics | NEROS