Notes on verification-as-evidence and building a certification authority for software.
Why we built a certification authority for software correctness, why the trial gives you everything except the certificate, and why mis-issuance — saying “verified” when it isn’t — is the one risk we organize the whole company around.