458 binary/API contracts checked; 0 failures. Static verification only.
