{"as_of":"2026-08-11T18:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:343625f75e1d2a831c3b8f6b061517c72d10d6b386ae45b1c26fbb9cf5a1c396","coverage":[{"denominator":62,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":62,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T22:14:42.900480Z","state":"measured"},{"denominator":62,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":62,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.15877/citation-record","integrity":"/paper/2607.15877/integrity","json":"/paper/2607.15877/citation-record.json","paper":"/paper/2607.15877"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:37.168012Z","title":null,"venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:37.168012Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:9f65466a0b3938edfbdce909a4c207d75cbad2c0222afe92735be144a5f32f28","observation_id":"c448227d-b9d4-4671-aa69-aba664cc5ad4","resolution":{"observed_at":"2026-08-01T22:14:37.168012Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:37.314798Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:37.314798Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:a8a1489a8d885941b2785aedce88321b45c31cdb169eb6393441044b42cdf05a","observation_id":"52a75c97-37db-4bfa-999a-5b06c83651c6","resolution":{"observed_at":"2026-08-01T22:14:37.314798Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:37.458581Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:37.458581Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:0b021a4e233fc702b788912ac6f9651ced457b248a17e5084dd1b6105163c549","observation_id":"c9c17b61-45b8-4d8b-90f0-8db8fe2c23a3","resolution":{"observed_at":"2026-08-01T22:14:37.458581Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:37.601768Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:37.601768Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:e4602909ba2d399ce4bc98f6c402e015a494d1c253030c4b8a53793ab48dcf21","observation_id":"c2eb3b47-12f0-41b8-a926-b104c1fb61ad","resolution":{"observed_at":"2026-08-01T22:14:37.601768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:37.723793Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:37.723793Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:743b9949209c412b89be1abc63850d0ac96d4138a2a55733ade508dc35cb9503","observation_id":"2837ec07-a863-43db-ae75-9177b7cca5a7","resolution":{"observed_at":"2026-08-01T22:14:37.723793Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:37.904682Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:37.904682Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:4a80274b78973a39af4d74acbec9412133b12970c4eac3ab6caae01ac42cf3b9","observation_id":"9daa77b1-4276-4aac-b34d-539aced7044b","resolution":{"observed_at":"2026-08-01T22:14:37.904682Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:38.075134Z","title":null,"venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:38.075134Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:7e7cf302971f3a47799e96c1ad8195fce3b50a54478c8ec124ecae8dc4617ce9","observation_id":"464d875a-d578-4bc4-b866-d73dec19fa29","resolution":{"observed_at":"2026-08-01T22:14:38.075134Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:38.264138Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:38.264138Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:2e89bbef0880f27b7f1b36b039f7d629d6bdbaf3f1ed2f39382f90eab2384907","observation_id":"f3343bb4-1aae-4c70-9750-768d2dfc108c","resolution":{"observed_at":"2026-08-01T22:14:38.264138Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:38.549461Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:38.549461Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:e54dad05b5b824d4bf00a3d7fa42e5d7057c7f12a25d06f44f29eea86e4e3543","observation_id":"8356ca86-ce0a-4126-843f-f5637f78949c","resolution":{"observed_at":"2026-08-01T22:14:38.549461Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:38.610048Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:38.610048Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:94a496c81b3afe3cea1dfed846042b537b1e6702f0a9727dfd7c88e513f6a170","observation_id":"3a01827a-25cb-4d6f-9b19-39e745bfefd1","resolution":{"observed_at":"2026-08-01T22:14:38.610048Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:38.680350Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:38.680350Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:f0f19f624d008221ff319aa41cebc0672f1cf836e5ab9221dbaace55abe53ea8","observation_id":"fc6ea6d6-b0ee-4119-a73c-8f2fe2f6d0fd","resolution":{"observed_at":"2026-08-01T22:14:38.680350Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:38.752174Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:38.752174Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:e010c9f8405835de1cdf7f01f90d35dac8d33b2be04553d3c74c8c0d43fa2f30","observation_id":"3a57c7d2-b185-4013-b623-3163dd7f68a2","resolution":{"observed_at":"2026-08-01T22:14:38.752174Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:38.805978Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:38.805978Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:36ec4dfebe4824400c06597c815b00927ce75f4946d93164efb1ce02ea8cad19","observation_id":"18d1bf73-060a-44bb-8067-e958f65bff18","resolution":{"observed_at":"2026-08-01T22:14:38.805978Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:38.907303Z","title":"Chandra, Robert Griesemer, and Joshua Redstone","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:38.907303Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:eaa7bbcbf544bfb69f13b2368f1feb75a1a26b97ec6d071087bb3c72c85e45de","observation_id":"6804b507-87a8-4afe-b875-165424e15d1f","resolution":{"observed_at":"2026-08-01T22:14:38.907303Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:39.004175Z","title":"Frans Kaashoek, and Nickolai Zeldovich","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:39.004175Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:1e7a1776150f83836198e35a95c08d14a77a5515b7cc6e8ce3218c1234c6439c","observation_id":"871a2863-3a46-487c-b067-24d102c28cb5","resolution":{"observed_at":"2026-08-01T22:14:39.004175Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:39.075670Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:39.075670Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:ed643eebb0845f6753b4af26be92ffd844d0e275202a96c7b83dbb073bf983c3","observation_id":"5d83b4f4-7c04-4a1e-90cc-c39731746931","resolution":{"observed_at":"2026-08-01T22:14:39.075670Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:39.151872Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:39.151872Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:e4157de452865c3fa6dd41976055e95480201d231f7fb060b82697be68b19590","observation_id":"b1c30e88-add9-4583-bc9b-c28b09f5b6f3","resolution":{"observed_at":"2026-08-01T22:14:39.151872Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:39.297535Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:39.297535Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:acbfcf0635b2ca1bc1f95331034a2990b9cf6c8c6b987f642e98e3fb827638d8","observation_id":"6f981d5d-5995-480b-9d3b-c57bcfbb5668","resolution":{"observed_at":"2026-08-01T22:14:39.297535Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:39.383718Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:39.383718Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:ca582ab481f9e3163ab1c3972e9b30e2e31ed78980bc63c11bfbe3d419d298ca","observation_id":"fa7d4d32-1534-484d-8eda-7a85ddda68d8","resolution":{"observed_at":"2026-08-01T22:14:39.383718Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:39.428726Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:39.428726Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:d351e4a09cbb2a40ed07145adf1483d1af2c548cf80d694c2c7ae6fd93ee4b6d","observation_id":"fd769264-9501-4378-9216-ec8b6a538f8f","resolution":{"observed_at":"2026-08-01T22:14:39.428726Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3434323","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"de8652e2-df53-40bb-8145-f14770e0547b","year":2021},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:39.487357Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:7df6232b19f16d7a83dda7139cf117699b47999183d16fffdabc2ac5fb4b3f74","observation_id":"35048e31-ad8f-4352-bb01-ff1ff6238df6","resolution":{"observed_at":"2026-08-01T22:18:35.732741Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3607859","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"77918b94-9f3e-4620-8d0f-bd04a9b8a22a","year":2023},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:39.540026Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:6bf52feb6ee3093cff662496458209e6c76f49a52aad3832b37b5e55677e6f14","observation_id":"2338d16c-f8e3-40fb-b69d-fb59660cf40a","resolution":{"observed_at":"2026-08-01T22:18:35.643277Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:39.684251Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:39.684251Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:58041c474327b479358976cefa27d04238bf0590a3046774609f2b2133e2f9a5","observation_id":"e5f2da0f-26a8-4916-b81e-c429199e08ab","resolution":{"observed_at":"2026-08-01T22:14:39.684251Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:39.865564Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:39.865564Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:943391a312a86aa2930da68501aacca7c4a88c561faa9d8e521bcf588bbdcc5c","observation_id":"7a3307ac-e5eb-4e65-a0ce-f29d6c1017ed","resolution":{"observed_at":"2026-08-01T22:14:39.865564Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:40.039717Z","title":"Herlihy and Jeannette M","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:40.039717Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:f5dc89239bc5d16be56f59c4869f8bbaed608bfb0c32caf55b2c94ed86be811b","observation_id":"b15a10aa-bdef-4674-be1b-c999cdd1056a","resolution":{"observed_at":"2026-08-01T22:14:40.039717Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:40.194487Z","title":null,"venue":null,"work_id":null,"year":1969},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:40.194487Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:1a79c2fe2d0d72e5e4112589b5770632b619b2b5ce7bc3159f8b99e041493f73","observation_id":"2d398f3a-0831-4ffc-8b55-c42096a96e23","resolution":{"observed_at":"2026-08-01T22:14:40.194487Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.14778/3583140","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:18:35.406759Z","title":null,"venue":null,"work_id":"84d82365-76da-4cf8-95de-24ae67fc9a8d","year":2023},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:40.332929Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:3d716c4da9626b18642dc48483b79623cff0ccf4c1f69d42acd3496e06eacd67","observation_id":"bf5554f5-bd7c-46f2-8f98-40787a53df54","resolution":{"observed_at":"2026-08-01T22:18:35.547765Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:40.459952Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:40.459952Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:55dad7511a7f5a4eb698a4ae15e1b0221e37fe1ee9377373187629acab37065f","observation_id":"3a2b3a11-85d1-4fb7-a2d8-191f862c4fa1","resolution":{"observed_at":"2026-08-01T22:14:40.459952Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:40.576487Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:40.576487Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:b5dbf332110433bb5879e2e198014e9d5be3b6506537948945eccdb675991ef9","observation_id":"af570f18-be29-4f38-916f-f8e81a18027e","resolution":{"observed_at":"2026-08-01T22:14:40.576487Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:40.700355Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:40.700355Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:3e23949b772ccbf5fa3a1c9ebaa495f4eac2d6a910f2884dad6d53a7d89b47ba","observation_id":"0a5a0715-b7c3-48cd-9a6a-95496da358a5","resolution":{"observed_at":"2026-08-01T22:14:40.700355Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:40.878639Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:40.878639Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:6d56fcbb9920698cc379dea2a39971f14ba1647d44a257bb493491120ee20a93","observation_id":"63901781-9e36-42eb-9cc6-7d2e58c87467","resolution":{"observed_at":"2026-08-01T22:14:40.878639Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3158115","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"24d231b8-aa99-4787-8ac7-e62029aa0b93","year":2017},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.007850Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:9b0b8412df2bf8c44f64eb98c7acf7050b614b836553e2bfed2d52c5bb49648c","observation_id":"d7697c02-3378-4c6e-abdf-904456ee082a","resolution":{"observed_at":"2026-08-01T22:18:35.351083Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:41.077258Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.077258Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:2e0af0687a59ec4fa0ab6e2584a487ee8383f10d62407612cf5d6e7af54a54fd","observation_id":"09e81ac7-648a-41ef-9f8c-0029bab9da16","resolution":{"observed_at":"2026-08-01T22:14:41.077258Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:41.148968Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.148968Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:c558a2a290cad64187cdf5bedf9192e49692274d6b22a9946c30e4181b8f0946","observation_id":"6d25082a-78b1-4475-acbf-bec3282075a3","resolution":{"observed_at":"2026-08-01T22:14:41.148968Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:41.218074Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.218074Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:ab4b36f64d43ef7df805cdca7588c6731a8de5ac403209f6e6ec0feb0079ccff","observation_id":"51bde19e-0532-4bd7-82b6-44b08cd406cb","resolution":{"observed_at":"2026-08-01T22:14:41.218074Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:41.279509Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.279509Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:60838ed591278d7152fbdc40437ddae825645f50babb27da4149f2b48e473fe8","observation_id":"504c1439-3777-4c1f-a054-4764863bc921","resolution":{"observed_at":"2026-08-01T22:14:41.279509Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:41.391238Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.391238Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:accc8f39a7cbee56b2214705dea7575788c3a4904d39fe85363cab44112ee8db","observation_id":"d7435a7b-07b9-4458-912e-32cbbcb98ef2","resolution":{"observed_at":"2026-08-01T22:14:41.391238Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:41.441401Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.441401Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:01fb4855bc32bce238ccadc27ce163fd9003e86331338885067b8f0c3d94d283","observation_id":"414ff136-b0a5-42f0-acbd-55c24f150139","resolution":{"observed_at":"2026-08-01T22:14:41.441401Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:41.547074Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.547074Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:07a2383edd423076fd6ff0828270d0adfba64d95e07390429c1b3e6746d3f713","observation_id":"07431958-489d-43f1-9cf0-e29d4e9aae1c","resolution":{"observed_at":"2026-08-01T22:14:41.547074Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:41.602750Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.602750Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:861fec9e976e56da542360159d615baff6c664eed7ec01eab8c17f1cedf9b3f5","observation_id":"336995dd-77aa-4a01-8d58-5d48a7c57659","resolution":{"observed_at":"2026-08-01T22:14:41.602750Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.ecoop.2023.22","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"arXiv (Cornell University)","work_id":"b52335a4-5aa1-4140-8424-b7ae4022c6bd","year":2023},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.650594Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:b209e2f80b7d6a9ef1807fb94e4acf62b5883c59ddc14f03f5c610a725595bbd","observation_id":"21e7bc03-a52d-4718-a7c1-20ecc6e93d8c","resolution":{"observed_at":"2026-08-01T22:18:35.283159Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:41.701420Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.701420Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:0dafad3ee312cbfe18dac840ac37e83343bf9644e2c919e6193b651e4ae2550b","observation_id":"d5fc6ac4-5c0c-416e-9613-b23186c5fece","resolution":{"observed_at":"2026-08-01T22:14:41.701420Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:41.752155Z","title":null,"venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.752155Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:3dd73403b2c597fda15cb2a9201f1486169f9acc72e5334ee6f24c44ee5b4059","observation_id":"59a2bce8-3049-46f7-bad3-0a8313bceb66","resolution":{"observed_at":"2026-08-01T22:14:41.752155Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:41.816426Z","title":"Papadimitriou","venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.816426Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:a9aed30042715844a9fdc21e22cf74cd47efe67894030eba19e540f8b3d7afcc","observation_id":"6db1f07d-cc07-4998-a4f3-ca2ff0a138b3","resolution":{"observed_at":"2026-08-01T22:14:41.816426Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:41.900141Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.900141Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:d141e008ed23db17e8ba53916b8db6b59ba9d630dcc35427e4032726bbb1fb11","observation_id":"80c0c8c2-d444-4d26-81a5-2f428a4dbfca","resolution":{"observed_at":"2026-08-01T22:14:41.900141Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:41.983204Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.983204Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:5a0b544586cdc72329a8c25cf14c65fc9f3ed39288a18d9f1a40914a56b0b984","observation_id":"54889328-e5b5-473f-a243-c0f7fcead2da","resolution":{"observed_at":"2026-08-01T22:14:41.983204Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1805.06196","last_updated":"2018-09-27T16:36:54Z","snapshot_observed_at":"2026-07-06T06:39:26.409401Z","submitted_at":"2018-05-16T08:59:47Z","title":"On the Semantics of Snapshot Isolation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1805.06196","snapshot_observed_at":"2026-08-01T22:14:42.036609Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.036609Z"},"links":{"cited_paper":"/paper/1805.06196","citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:8ebcf1d4d6590e2228640c71492879895179b1f8018802f902ce42d9e0f1db2e","observation_id":"820c9940-c689-4b79-bba1-37134e6b2eeb","resolution":{"observed_at":"2026-08-01T22:14:42.036609Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.10298","last_updated":"2020-09-03T20:58:25Z","snapshot_observed_at":"2026-07-06T08:59:36.401601Z","submitted_at":"2020-02-24T14:58:39Z","title":"Reducing urban traffic congestion due to localized routing decisions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.10298","snapshot_observed_at":"2026-08-01T22:14:42.096873Z","title":"Reynolds","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.096873Z"},"links":{"cited_paper":"/paper/2002.10298","citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:aa9758363dcbfb36bd114ae27b38a099ad28481213ace763395d03f01d672d37","observation_id":"7796a826-9ee4-4b8e-a5cc-335be82470dd","resolution":{"observed_at":"2026-08-01T22:14:42.096873Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:42.155332Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.155332Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:99a22237ce5bcd7f1c011154a82fe6a51b74aa45176a7431424d66841ccd1907","observation_id":"c2bcfefe-64bc-4966-909e-70668f6b88a8","resolution":{"observed_at":"2026-08-01T22:14:42.155332Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:42.237717Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.237717Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:734c7af59af46c3a45dd66bb377d6601112aa3edbd414c00ab4f0e6108548f4f","observation_id":"6c287cd8-08c4-4efc-a04b-e13f75e26f44","resolution":{"observed_at":"2026-08-01T22:14:42.237717Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:42.312846Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.312846Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:a075f256470d821250d3f8e7d55f591d97dfecefb0e44ef53f61c04cad723d7a","observation_id":"8d649edc-efa3-4773-89db-2a443f1fecf0","resolution":{"observed_at":"2026-08-01T22:14:42.312846Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:42.369071Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.369071Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:88631e7ae2fad21ae8b6e65c0275451e8057d59634d75b6c229e2d170380e99c","observation_id":"b51afad8-d4fb-46d5-aba2-c0e9f87d1758","resolution":{"observed_at":"2026-08-01T22:14:42.369071Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3632851","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"0b989364-087c-43bc-bee9-18e99db7b0f7","year":2024},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.447405Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:10580f2a5f4af316d568f91ee184d0c8ab05d065db68eb00cdd7f28dc8c1ce54","observation_id":"eafd054d-c930-4b91-ba6b-4f848f782b7f","resolution":{"observed_at":"2026-08-01T22:18:35.119748Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:42.528234Z","title":"Pierce, and Steve Zdancewic","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.528234Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:8aff51024ee1875d05d27a1396eebdf7ba45ed51067103d1aca3da1076815797","observation_id":"25982783-511c-4b8d-8366-ba2ac07c53e6","resolution":{"observed_at":"2026-08-01T22:14:42.528234Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:42.683706Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.683706Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:a8fae83222aeb0a36c8a043c049b56fd1c976746539af54153c41ff70b55f7b7","observation_id":"867fc76c-45d4-471b-a5fe-07dd7640b77c","resolution":{"observed_at":"2026-08-01T22:14:42.683706Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:42.762764Z","title":"2020.Parametric Operational Semantics for Consistency Models","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.762764Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:09bdf7d8cca1681ce2fd0bfcd27f1932ca6647af79b7c162250d74a1fd7e3e28","observation_id":"53103ece-2908-48a8-8c22-bbc3c3318ea4","resolution":{"observed_at":"2026-08-01T22:14:42.762764Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:42.840212Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.840212Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:aab1af7b8391b3f902baa130b1f5c9f971942e3d15fd655c558b27e4638136c1","observation_id":"e4564318-a933-49ab-a986-7f212018e1f7","resolution":{"observed_at":"2026-08-01T22:14:42.840212Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:42.900480Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.900480Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:6377285c6c31b880f70e72a056b3db7aec90a97711f1483420ee81565f5a8481","observation_id":"c6a1f06b-e17b-4a2e-9aa1-e9a8b312f6ed","resolution":{"observed_at":"2026-08-01T22:14:42.900480Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:42.606722Z","title":"ACM Program","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:42.606722Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:4e3a976dcf4a88931de7eaa7a0848865093923eccd290d303b130fc2a398b413","observation_id":"b2f8c0ed-b9ef-4cae-b7ce-f67c50cc2473","resolution":{"observed_at":"2026-08-01T22:14:42.606722Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:41.335692Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.335692Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:7db4acc365fcff46a0a26c35baac0204577f950cebb7c5d11faad01f45b8b23d","observation_id":"a3d5b0b3-d786-4d22-b43b-a77afcc41105","resolution":{"observed_at":"2026-08-01T22:14:41.335692Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:38.440939Z","title":"ACM Program","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:38.440939Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:9aa7f66fbba6389ad53bf26aa81aed5a73810c8eabf58159eac860cd09b0928a","observation_id":"4e845684-3074-41e5-b4d2-3a8a1090e76b","resolution":{"observed_at":"2026-08-01T22:14:38.440939Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T22:14:41.498622Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-01T22:14:41.498622Z"},"links":{"citing_paper":"/paper/2607.15877"},"observation_digest":"sha256:25ed5f338b0f45277c269ad57a7f96458de1d03f5ca5f35655a9330a66ac023d","observation_id":"c0885f11-36b3-41e4-a990-6824cc1f2c82","resolution":{"observed_at":"2026-08-01T22:14:41.498622Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.15877","last_updated":"2026-07-17T11:44:35Z","latest_version":1,"primary_category":"cs.DB","snapshot_observed_at":"2026-08-11T02:20:20.684077Z","submitted_at":"2026-07-17T11:44:35Z","title":"Verifying Isolation Levels of Database Implementations for Free Using Separation Logic"},"reference_resolution":{"displayed":62,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":54,"verified_exact":6,"verified_fuzzy":0},"total_outbound_references":62},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 62 of 62 outbound references and 0 inbound Pith citation observations for arXiv:2607.15877."}