Compactness-Based Existence Workflow Protocol | Compactness-Based Existence | Mathematics | NEROS