Evidence infrastructure for safety-critical AI: the system that proves a model works and keeps proving it.
