{"schemaVersion":1,"verified":true,"date":"2026-07-02T02:50:35Z","displayDate":"Jul 02, 2026","commit":"533ad3d","leanVersion":"4.29.0","theoremCount":136,"files":{"AEAD":14,"Auth":37,"Counter":6,"KeyExchange":10,"Oversight":12,"Pairing":7,"Sandbox":16,"UCAN":16,"Webhook":10,"Wire":8},"checks":{"sorryFree":true,"axiomFree":true}}