01Requirements-to-invariant mapping and coverage analysis
02Progressive loading for scalable analysis depth
03Numerical stability assessment including precision and conditioning
04Evidence logging with benchmark and notebook execution
05Automated derivation verification against authoritative standards
0610 GitHub stars