{"as_of":"2026-08-17T03:17:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:09d5f0b152f8208d1a95f7be0f8fe271e9c2a61cd18e058438695218a7bcac13","coverage":[{"denominator":15,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":15,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T23:04:10.524562Z","state":"measured"},{"denominator":15,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":15,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+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/2509.06872/citation-record","integrity":"/paper/2509.06872/integrity","json":"/paper/2509.06872/citation-record.json","paper":"/paper/2509.06872"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1993.27494","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T23:04:10.635396Z","title":"Leveson and C.S","venue":null,"work_id":"860031fb-dcb2-4db1-a734-dca0c06d0459","year":1993},"citing_paper":{"arxiv_id":"2509.06872","last_updated":"2025-09-08T16:42:02Z","snapshot_observed_at":"2026-08-13T07:42:30.100411Z","submitted_at":"2025-09-08T16:42:02Z","title":"Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-04T23:04:10.507976Z"},"links":{"citing_paper":"/paper/2509.06872"},"observation_digest":"sha256:50b28a27ce23f1b04f5b197f73080ed7c826b0fa63471c5fe842dbfeea4fbba4","observation_id":"f5a98847-40c2-452b-93ba-a39986a7fa23","resolution":{"observed_at":"2026-08-04T23:04:10.641882Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-04T23:04:10.492007Z","title":"16 Prasad Jayanti, Siddhartha Jayanti, Ugur Yavuz, and Lizzie Hernandez","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.06872","last_updated":"2025-09-08T16:42:02Z","snapshot_observed_at":"2026-08-13T07:42:30.100411Z","submitted_at":"2025-09-08T16:42:02Z","title":"Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs","version":1},"reference_index":1990,"source":"pdf_text","source_observed_at":"2026-08-04T23:04:10.492007Z"},"links":{"citing_paper":"/paper/2509.06872"},"observation_digest":"sha256:4979c38e239db8db97e3249c8de7770c9c191e62f5548a92fba4d0318314f088","observation_id":"e9fa6573-2ff7-4e8f-bf2e-dec294e6d086","resolution":{"observed_at":"2026-08-04T23:04:10.492007Z","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-04T23:04:10.511678Z","title":"Visibility reasoning for concurrent snapshot algorithms.Proc","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.06872","last_updated":"2025-09-08T16:42:02Z","snapshot_observed_at":"2026-08-13T07:42:30.100411Z","submitted_at":"2025-09-08T16:42:02Z","title":"Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs","version":1},"reference_index":1996,"source":"pdf_text","source_observed_at":"2026-08-04T23:04:10.511678Z"},"links":{"citing_paper":"/paper/2509.06872"},"observation_digest":"sha256:63a1c4a651839129bbd6f9e14d8e9907285715b8c9c053f3a08203d1189f81ef","observation_id":"581bb6e3-4e02-4138-aff9-543e6c19bed0","resolution":{"observed_at":"2026-08-04T23:04:10.511678Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T23:04:10.725242Z","title":"On decomposing and refining specifications of distributed systems","venue":null,"work_id":"97ebd03c-6b8c-459c-aa41-09e0224d37ce","year":1989},"citing_paper":{"arxiv_id":"2509.06872","last_updated":"2025-09-08T16:42:02Z","snapshot_observed_at":"2026-08-13T07:42:30.100411Z","submitted_at":"2025-09-08T16:42:02Z","title":"Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs","version":1},"reference_index":1997,"source":"pdf_text","source_observed_at":"2026-08-04T23:04:10.500126Z"},"links":{"citing_paper":"/paper/2509.06872"},"observation_digest":"sha256:8950f7fb0934ab1af834c6c3d63bd01c708c3a4d67f354c1d3d5a5e48a09b985","observation_id":"899a70e8-7865-4192-8c31-9bae5f05234c","resolution":{"observed_at":"2026-08-04T23:04:10.729495Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/2629496","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"A sound and complete proof technique for linearizability of concurrent data structures.ACM Trans","venue":"ACM Transactions on Computational Logic","work_id":"883a32da-0a3b-4ef3-a78b-baaf761155a0","year":2014},"citing_paper":{"arxiv_id":"2509.06872","last_updated":"2025-09-08T16:42:02Z","snapshot_observed_at":"2026-08-13T07:42:30.100411Z","submitted_at":"2025-09-08T16:42:02Z","title":"Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs","version":1},"reference_index":1998,"source":"pdf_text","source_observed_at":"2026-08-04T23:04:10.516585Z"},"links":{"citing_paper":"/paper/2509.06872"},"observation_digest":"sha256:7a7d46911f0a3dbf7b9749969bb4bf04127ee87eaca0672117ca2e52e1d2948c","observation_id":"98251ba0-ddfe-4525-a546-f50b283f1dbe","resolution":{"observed_at":"2026-08-04T23:04:10.587426Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.48456/tr-726","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"cam.ac.uk/techreports/UCAM-CL-TR-726.pdf,doi:10.48456/tr-726","venue":null,"work_id":"4af15a8d-a9e9-48ea-853a-c46c2bcd256c","year":2009},"citing_paper":{"arxiv_id":"2509.06872","last_updated":"2025-09-08T16:42:02Z","snapshot_observed_at":"2026-08-13T07:42:30.100411Z","submitted_at":"2025-09-08T16:42:02Z","title":"Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs","version":1},"reference_index":2008,"source":"pdf_text","source_observed_at":"2026-08-04T23:04:10.520602Z"},"links":{"citing_paper":"/paper/2509.06872"},"observation_digest":"sha256:33668249799137e5e0bb0b1cced1c7d05c619026d0a9cd6c83eeb6e8a7867bb0","observation_id":"a2d3c47b-0859-45a7-828b-304332e69eb8","resolution":{"observed_at":"2026-08-04T23:04:10.572822Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-93900-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Springer, 2009.doi:10.1007/978-3-540-93900-9\\_27","venue":null,"work_id":"115fc24c-1eb1-4ef1-a516-52052d2908b9","year":2009},"citing_paper":{"arxiv_id":"2509.06872","last_updated":"2025-09-08T16:42:02Z","snapshot_observed_at":"2026-08-13T07:42:30.100411Z","submitted_at":"2025-09-08T16:42:02Z","title":"Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs","version":1},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-04T23:04:10.524562Z"},"links":{"citing_paper":"/paper/2509.06872"},"observation_digest":"sha256:5dcaf3f55e2c1583d5a14afe498ddf8e217a6cec719315cf6b60aaf500948321","observation_id":"7b4d45f8-62a5-42b8-8d46-3402f96f7191","resolution":{"observed_at":"2026-08-04T23:04:10.558951Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3636.19936","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T23:04:10.693148Z","title":"13 Google Graph Mining team","venue":null,"work_id":"f332bfd0-72f5-4561-b6a2-e43352c208a4","year":null},"citing_paper":{"arxiv_id":"2509.06872","last_updated":"2025-09-08T16:42:02Z","snapshot_observed_at":"2026-08-13T07:42:30.100411Z","submitted_at":"2025-09-08T16:42:02Z","title":"Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs","version":1},"reference_index":2011,"source":"pdf_text","source_observed_at":"2026-08-04T23:04:10.483782Z"},"links":{"citing_paper":"/paper/2509.06872"},"observation_digest":"sha256:71fe7965c4b27c8dba18c806ba8823a90fbec95bd441cddf0b4ad1845de7450e","observation_id":"bf6bfde1-78cb-420c-a708-47854090d7ea","resolution":{"observed_at":"2026-08-04T23:04:10.700078Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T23:04:10.751951Z","title":"9 Pedro da Rocha Pinto, Thomas Dinsdale-Young, and Philippa Gardner","venue":null,"work_id":"9849d703-2d08-4a41-8e54-2c9ef40ed8e8","year":2014},"citing_paper":{"arxiv_id":"2509.06872","last_updated":"2025-09-08T16:42:02Z","snapshot_observed_at":"2026-08-13T07:42:30.100411Z","submitted_at":"2025-09-08T16:42:02Z","title":"Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs","version":1},"reference_index":2012,"source":"pdf_text","source_observed_at":"2026-08-04T23:04:10.475436Z"},"links":{"citing_paper":"/paper/2509.06872"},"observation_digest":"sha256:9d05ba8c5562c14916a7c9b43940145a126c8eb255d538f7293458fbac4177de","observation_id":"a084b9b9-d1bc-42db-95b2-db44521ce1f5","resolution":{"observed_at":"2026-08-04T23:04:10.756621Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-04T23:04:10.479542Z","title":"11 Brijesh Dongol and John Derrick","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2509.06872","last_updated":"2025-09-08T16:42:02Z","snapshot_observed_at":"2026-08-13T07:42:30.100411Z","submitted_at":"2025-09-08T16:42:02Z","title":"Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs","version":1},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-04T23:04:10.479542Z"},"links":{"citing_paper":"/paper/2509.06872"},"observation_digest":"sha256:24154b1851ea6e1690d7ddd57c9b1ee64474d4b44fbc050278012c83896d5be0","observation_id":"8baf1f4f-7277-42b9-82d6-b79e910a5aba","resolution":{"observed_at":"2026-08-04T23:04:10.479542Z","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":"3057.29331","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T23:04:10.656577Z","title":"doi:10.1145/2933057.2933108","venue":null,"work_id":"d5b9ab02-0667-4466-af76-161fe46396ea","year":null},"citing_paper":{"arxiv_id":"2509.06872","last_updated":"2025-09-08T16:42:02Z","snapshot_observed_at":"2026-08-13T07:42:30.100411Z","submitted_at":"2025-09-08T16:42:02Z","title":"Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs","version":1},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-04T23:04:10.496303Z"},"links":{"citing_paper":"/paper/2509.06872"},"observation_digest":"sha256:465fa091c2ac7457abdf567298e7930321ad00aa825a1de5a52c1a068069b709","observation_id":"94b0a3db-9c0e-41b2-af82-e38caf458e74","resolution":{"observed_at":"2026-08-04T23:04:10.663236Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10009-016-0415-4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"3 Daphna Amit, Noam Rinetzky, Thomas W","venue":"International Journal on Software Tools for Technology Transfer","work_id":"042ee51d-eb11-43c1-942e-4523a560a9b8","year":2007},"citing_paper":{"arxiv_id":"2509.06872","last_updated":"2025-09-08T16:42:02Z","snapshot_observed_at":"2026-08-13T07:42:30.100411Z","submitted_at":"2025-09-08T16:42:02Z","title":"Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs","version":1},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-04T23:04:10.453013Z"},"links":{"citing_paper":"/paper/2509.06872"},"observation_digest":"sha256:4f7d5b9ba6f289d1bf4f569c4bdad07e2996fbed76a65d2cd6648ce5174d3fe9","observation_id":"24d7118a-a522-4007-b3fa-f35010729cc8","resolution":{"observed_at":"2026-08-04T23:04:10.620577Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[{"edge_observation":{"observed_at":"2026-08-05T00:18:39.400129+00:00","source":"paper_reference_links","state":"open"},"event_date":"2021-05-31","event_type":"correction","notice_doi":"10.1007/s10009-021-00629-9","provenance":{"observed_at":"2026-07-11T03:01:03.704457+00:00","source":"crossref","source_record_id":"10.1007/s10009-021-00629-9->10.1007/s10009-016-0415-4:correction"}}],"reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-04T23:04:10.503989Z","title":"doi:10.1017/S0956796818000151","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.06872","last_updated":"2025-09-08T16:42:02Z","snapshot_observed_at":"2026-08-13T07:42:30.100411Z","submitted_at":"2025-09-08T16:42:02Z","title":"Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs","version":1},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-04T23:04:10.503989Z"},"links":{"citing_paper":"/paper/2509.06872"},"observation_digest":"sha256:028b88bf2bbb6bb457c3ff50b1bc70c385224f4efbab6a5fc37f909a8c0bba0c","observation_id":"47b7fe15-f3ff-482e-b441-e8e25b55ee09","resolution":{"observed_at":"2026-08-04T23:04:10.503989Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T23:04:10.738671Z","title":"Henzinger, Ali Sezgin, and Viktor Vafeiadis","venue":null,"work_id":"565b6fcb-d9dd-483a-bb4f-a432b0bbf466","year":2016},"citing_paper":{"arxiv_id":"2509.06872","last_updated":"2025-09-08T16:42:02Z","snapshot_observed_at":"2026-08-13T07:42:30.100411Z","submitted_at":"2025-09-08T16:42:02Z","title":"Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-04T23:04:10.487988Z"},"links":{"citing_paper":"/paper/2509.06872"},"observation_digest":"sha256:0854ca22cd6fbf2db8d43bdcdf20ef6612f31681c7c19807edcc4f67dcddd8be","observation_id":"349dc55e-9c63-4e3b-b6a1-fe1f2df907a4","resolution":{"observed_at":"2026-08-04T23:04:10.742693Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T23:04:10.766437Z","title":"TLA+ proofs","venue":null,"work_id":"5322c6d0-a003-4d26-954c-45aea3d38305","year":2012},"citing_paper":{"arxiv_id":"2509.06872","last_updated":"2025-09-08T16:42:02Z","snapshot_observed_at":"2026-08-13T07:42:30.100411Z","submitted_at":"2025-09-08T16:42:02Z","title":"Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-04T23:04:10.471268Z"},"links":{"citing_paper":"/paper/2509.06872"},"observation_digest":"sha256:081a83c87c8b6a1ab20af1df046e8b1bff6efb24a38f8c2082ac810db86cf89d","observation_id":"6cd8d18b-f610-438c-989d-eacda37ddbb8","resolution":{"observed_at":"2026-08-04T23:04:10.770507Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2509.06872","last_updated":"2025-09-08T16:42:02Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-13T07:42:30.100411Z","submitted_at":"2025-09-08T16:42:02Z","title":"Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs"},"reference_resolution":{"displayed":15,"state_counts":{"malformed_identifier":0,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":4,"verified_exact":4,"verified_fuzzy":4},"total_outbound_references":15},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 0 inbound Pith citation observations for arXiv:2509.06872."}