Large Cardinal Analysis Review and Validation Protocol | Large Cardinal Analysis | Mathematics | NEROS