{"schemaVersion":1,"target":{"type":"reading","id":"7a089bf0e5f4a607480ce2d4992d9c30d2df82b55329e5f1f5ee6d7a4bb099ef","revision":"90389ee8-c662-49de-8320-2098a3c4f76d","revisionKind":"publication-id","title":"SeVerus tests Rust verification agents by withdrawing proof context","url":"https://escapemeridian.com/readings/severus-tests-rust-verification-agents-by-withdrawing-proof-7a089bf0"},"source":{"type":"source","id":"https://arxiv.org/abs/2611.07194","revision":"4fb792e66efb5df94685b72f40017a5f7a9638930401588b527899b1fd6d6f35","revisionKind":"sha256-source-text","title":"SeVerus: Context-Aware, Gamified Benchmarking for Rust Verification","url":"https://arxiv.org/abs/2611.07194"},"status":"available","items":[],"next":null,"scope":"Explicit citations in public readings and public file attachments to this reading. Shared topics are not citations. Other artifact types need an explicit reference adapter."}