{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:7NR6CDQZMT7ST247SLY3WXL4W7","merge_version":"pith-open-graph-merge-v1","event_count":4,"valid_event_count":4,"invalid_event_count":0,"equivocation_count":1,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"e2d7e57cedae2e0cc277e1024e13f2004afd609027788c1718dad9aa604d0acf","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2026-07-17T11:44:35Z","title_canon_sha256":"f003865ba45bed250cbac49a5bb5fac084daca2cee42f9b37e442f455776222c"},"schema_version":"1.0","source":{"id":"2607.15877","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.15877","created_at":"2026-07-20T01:19:14Z"},{"alias_kind":"arxiv_version","alias_value":"2607.15877v1","created_at":"2026-07-20T01:19:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.15877","created_at":"2026-07-20T01:19:14Z"},{"alias_kind":"pith_short_12","alias_value":"7NR6CDQZMT7S","created_at":"2026-07-20T01:19:14Z"},{"alias_kind":"pith_short_16","alias_value":"7NR6CDQZMT7ST247","created_at":"2026-07-20T01:19:14Z"},{"alias_kind":"pith_short_8","alias_value":"7NR6CDQZ","created_at":"2026-07-20T01:19:14Z"}],"graph_snapshots":[{"event_id":"sha256:70eb798aff85b731d72a13567653a9e7ec67cce3286bf4c398af4be477df0cab","target":"graph","created_at":"2026-07-20T01:19:14Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2607.15877/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Modern databases are highly concurrent and provide transactions as a mean of grouping several database operations into atomically applied units. Database vendors and software engineers use isolation levels to describe the consistency guarantees of transactions. The popular isolation levels give weak guarantees, with intricate semantics, to optimize performance of applications. The problem of assuring that database implementations actually implement the isolation level guarantees that application developers build their systems upon has received a great deal of attention from the testing communi","authors_text":"Amin Timany, Anders Alnor Mathiasen, Lars Birkedal","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.15877","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:8fc15339756faf4d25451f7e02acba3bcf162941bd275c05b4fc913e5af081e0","target":"record","created_at":"2026-07-20T01:19:14Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"e2d7e57cedae2e0cc277e1024e13f2004afd609027788c1718dad9aa604d0acf","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2026-07-17T11:44:35Z","title_canon_sha256":"f003865ba45bed250cbac49a5bb5fac084daca2cee42f9b37e442f455776222c"},"schema_version":"1.0","source":{"id":"2607.15877","kind":"arxiv","version":1}},"canonical_sha256":"fb63e10e1964ff29eb9f92f1bb5d7cb7dc22e7490ab8f13b677d136ee0363c0d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fb63e10e1964ff29eb9f92f1bb5d7cb7dc22e7490ab8f13b677d136ee0363c0d","first_computed_at":"2026-07-20T01:19:14.995558Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-20T01:19:14.995558Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lDDN5JkO4zZzY7wVkxhN1JNZd0YWLq8WnhzwIweLVzsPaorDutAMWqvE/bx8pWRkwDJINppy2BJ3zDy5YCS1Bw==","signature_status":"signed_v1","signed_at":"2026-07-20T01:19:14.996467Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.15877","source_kind":"arxiv","source_version":1}}},"equivocations":[{"signer_id":"pith.science","event_type":"integrity_finding","target":"integrity","event_ids":["sha256:769f910aeb296104e84314d6f422bcae52f4895ecfb030d6a5f929a6ff8524de","sha256:e5ba79213b955ba4cef813c3975b28228e4a39e9e2a3b87d93c53ec59e18c32d"]}],"invalid_events":[],"applied_event_ids":["sha256:8fc15339756faf4d25451f7e02acba3bcf162941bd275c05b4fc913e5af081e0","sha256:70eb798aff85b731d72a13567653a9e7ec67cce3286bf4c398af4be477df0cab"],"state_sha256":"d74706b7de4880b2cfd66a31bdc0aab65a24cb9e5c711e5236ffcb40c9df4c0b"}