{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:7NR6CDQZMT7ST247SLY3WXL4W7","short_pith_number":"pith:7NR6CDQZ","canonical_record":{"source":{"id":"2607.15877","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2026-07-17T11:44:35Z","cross_cats_sorted":[],"title_canon_sha256":"f003865ba45bed250cbac49a5bb5fac084daca2cee42f9b37e442f455776222c","abstract_canon_sha256":"e2d7e57cedae2e0cc277e1024e13f2004afd609027788c1718dad9aa604d0acf"},"schema_version":"1.0"},"canonical_sha256":"fb63e10e1964ff29eb9f92f1bb5d7cb7dc22e7490ab8f13b677d136ee0363c0d","source":{"kind":"arxiv","id":"2607.15877","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:7NR6CDQZMT7ST247SLY3WXL4W7","target":"record","payload":{"canonical_record":{"source":{"id":"2607.15877","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2026-07-17T11:44:35Z","cross_cats_sorted":[],"title_canon_sha256":"f003865ba45bed250cbac49a5bb5fac084daca2cee42f9b37e442f455776222c","abstract_canon_sha256":"e2d7e57cedae2e0cc277e1024e13f2004afd609027788c1718dad9aa604d0acf"},"schema_version":"1.0"},"canonical_sha256":"fb63e10e1964ff29eb9f92f1bb5d7cb7dc22e7490ab8f13b677d136ee0363c0d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-20T01:19:14.996467Z","signature_b64":"lDDN5JkO4zZzY7wVkxhN1JNZd0YWLq8WnhzwIweLVzsPaorDutAMWqvE/bx8pWRkwDJINppy2BJ3zDy5YCS1Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fb63e10e1964ff29eb9f92f1bb5d7cb7dc22e7490ab8f13b677d136ee0363c0d","last_reissued_at":"2026-07-20T01:19:14.995558Z","signature_status":"signed_v1","first_computed_at":"2026-07-20T01:19:14.995558Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.15877","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-20T01:19:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3xdvZgDBTIpxIhUnkC7m/7tGEODzxD4XQR3Q1wKYODFUp5SID5vhbPd1lG4qAp6ioAzUzvTZueRmpQixLULXBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T01:16:37.211405Z"},"content_sha256":"8fc15339756faf4d25451f7e02acba3bcf162941bd275c05b4fc913e5af081e0","schema_version":"1.0","event_id":"sha256:8fc15339756faf4d25451f7e02acba3bcf162941bd275c05b4fc913e5af081e0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:7NR6CDQZMT7ST247SLY3WXL4W7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Amin Timany, Anders Alnor Mathiasen, Lars Birkedal","submitted_at":"2026-07-17T11:44:35Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.15877","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2607.15877/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-20T01:19:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nPEzH/2QnhSjjLxik9fLkfRJ9bCLPGUzO+B+xah5mcwD35GRj77+YGucry8S8+uwR5szNh3m7YTMhEkzWyrYDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T01:16:37.211895Z"},"content_sha256":"70eb798aff85b731d72a13567653a9e7ec67cce3286bf4c398af4be477df0cab","schema_version":"1.0","event_id":"sha256:70eb798aff85b731d72a13567653a9e7ec67cce3286bf4c398af4be477df0cab"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:7NR6CDQZMT7ST247SLY3WXL4W7","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-030-44914-8_13) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems. InProgramming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of So","arxiv_id":"2607.15877","detector":"doi_compliance","evidence":{"ref_index":2020,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/978-3-","reconstructed_doi":"10.1007/978-3-030-44914-8_13"},"severity":"advisory","ref_index":2020,"audited_at":"2026-08-01T22:19:47.828627Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-030-44914-8_13","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"35f99c0a3607f907d88d3353e3591d182b174a27a44a170dbf22daf87ed5df76","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":16742,"payload_sha256":"c5110d6cf45a02448743e58094cfe3ccb502cb5d45b42322974039bb08e6c486","signature_b64":"Q0qrHmETITFDwenDNfCeIlzqACos8QAsJQy57bAjn69VYOAGVQ+6Aczfdwf7F8bjikTEp6O6IM3HB23G7TwMBA==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-01T22:23:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s+JMN8PpkkhJjFVgC5WwXOomgz1cyLUJOcoTXZ/UX2f9d6FbF1+Qh/TLBqZMbB0UAdYr+fjDOh46cfiEd5GoCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T01:16:37.215492Z"},"content_sha256":"e5ba79213b955ba4cef813c3975b28228e4a39e9e2a3b87d93c53ec59e18c32d","schema_version":"1.0","event_id":"sha256:e5ba79213b955ba4cef813c3975b28228e4a39e9e2a3b87d93c53ec59e18c32d"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:7NR6CDQZMT7ST247SLY3WXL4W7","target":"integrity","payload":{"note":"DOI is split by whitespace or line breaks in the printed bibliography. Reconstructed DOI 10.14778/3583140.3583145 resolves to 'Efficient Black-Box Checking of Snapshot Isolation in Databases'. A reader following the printed text alone cannot reach it.","snippet":"Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei, David Basin, Haixiang Li, and Anqun Pan. 2023. Efficient Black-Box Checking of Snapshot Isolation in Databases.Proc. VLDB Endow.16, 6 (Feb. 2023), 1264–1276. doi:10.14778/3583140. 3583145","arxiv_id":"2607.15877","detector":"doi_compliance","evidence":{"ref_index":27,"verdict_class":"incontrovertible","resolved_title":"Efficient Black-Box Checking of Snapshot Isolation in Databases","printed_excerpt":"10.14778/3583140","reconstructed_doi":"10.14778/3583140.3583145"},"severity":"advisory","ref_index":27,"audited_at":"2026-08-01T22:19:47.828627Z","event_type":"pith.integrity.v1","detected_doi":"10.14778/3583140.3583145","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"241d91ee0c29e630c6d8c5a7eb5dcb956973edc15649a8f98704d2796a2638a8","paper_version":1,"verdict_class":"incontrovertible","resolved_title":"Efficient Black-Box Checking of Snapshot Isolation in Databases","detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":16741,"payload_sha256":"079d1848019f3f9169d6d6cd93a7e78693231929770edec46706e6297d68be8e","signature_b64":"V8l8cPNjhj5+LKGlUHyAxtb+zuBMNKdxrzFmRER8HPog+e3Ck0mUYZdKjd3bVNTqjHf3AoAyjQ88UxL4P8CEAg==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-01T22:23:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cGHr3TFss4XG4/3t5J3fWLXG+ROUbA7Ie2GeH1MZATngoxr50Pq4Jem/buYoLvRyduLbNYpXN1/SS5Uw6kqSCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T01:16:37.215880Z"},"content_sha256":"769f910aeb296104e84314d6f422bcae52f4895ecfb030d6a5f929a6ff8524de","schema_version":"1.0","event_id":"sha256:769f910aeb296104e84314d6f422bcae52f4895ecfb030d6a5f929a6ff8524de"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7NR6CDQZMT7ST247SLY3WXL4W7/bundle.json","state_url":"https://pith.science/pith/7NR6CDQZMT7ST247SLY3WXL4W7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7NR6CDQZMT7ST247SLY3WXL4W7/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-09T01:16:37Z","links":{"resolver":"https://pith.science/pith/7NR6CDQZMT7ST247SLY3WXL4W7","bundle":"https://pith.science/pith/7NR6CDQZMT7ST247SLY3WXL4W7/bundle.json","state":"https://pith.science/pith/7NR6CDQZMT7ST247SLY3WXL4W7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7NR6CDQZMT7ST247SLY3WXL4W7/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RXEHrOvgd+Bq8LU+K97hORAggBATalZapiy2yqtde6uftWhGafZLM4WrVVIb5NkaLk+ji1XgnJnX0l1bguKwAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T01:16:37.218365Z","bundle_sha256":"c9d144063fc4fa8d859674d13d05673f78f729f9fbc9849a9f456938f0fb6452"}}