Status
Internal simulation results, last run against the corpus’s own load-bearing quantitative claims. Not observational validation — see Observational Tests.
16
PASS
1
NOT TESTABLE
0
FAIL
0
SKIPPED
0
ERROR
Independently audited errors: 15 of 16 candidate objective mathematical errors, found during a full manuscript audit, were independently re-derived and corrected (1 rejected on review) — applied in release v2.
Logged proof gaps: 80, publicly tracked in Open Review.