{"as_of":"2026-08-18T14:55:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7922063dcb60541b3ffd3dfa89c10b67b188439dd5e66a00ebcce774e293b85a","coverage":[{"denominator":61,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":61,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T16:32:47.188801Z","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-18T06:34:40.430872+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T15:18:51.440068Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-15T15:18:51.658452Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"cited_work":{"arxiv_id":"2509.04777","doi":null,"metadata_source":"pith","pith_arxiv_id":"2509.04777","snapshot_observed_at":"2026-08-15T15:18:51.658452Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","venue":"cs.LO","work_id":"e772a64a-e0be-4d8e-86b0-5c7570003678","year":2025},"citing_paper":{"arxiv_id":"2608.00882","last_updated":"2026-08-01T22:12:02Z","snapshot_observed_at":"2026-08-17T15:37:13.082003Z","submitted_at":"2026-08-01T22:12:02Z","title":"Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T15:18:51.440068Z"},"links":{"cited_paper":"/paper/2509.04777","citing_paper":"/paper/2608.00882"},"observation_digest":"sha256:d35150642911b40567ea48414aec237087cbe12294e4ccf54851a31e6c89816c","observation_id":"ce991fc2-70b6-498c-84cf-c3b2aee5402c","resolution":{"observed_at":"2026-08-15T15:18:51.664316Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2509.04777/citation-record","integrity":"/paper/2509.04777/integrity","json":"/paper/2509.04777/citation-record.json","paper":"/paper/2509.04777"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T16:32:46.967183Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:46.967183Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:b00378bb9c378a282f715ea7ad9eebed11636d6b9e510251374d8d4f0e266ecd","observation_id":"956443d3-a79a-4676-8ae5-8380d64492f8","resolution":{"observed_at":"2026-08-15T16:32:46.967183Z","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-15T16:32:48.409464Z","title":"Naumann, and Minh Ngo","venue":null,"work_id":"a2d2f4c6-3e95-4329-97e6-78df38e6c33f","year":null},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:46.972244Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:a148a7a8ea255071e70a7240cb4cb1a0d1c8b0b4c4273b587b5368effae0de53","observation_id":"31c3b2fd-c2a2-46d5-a8b6-a7a85469cd77","resolution":{"observed_at":"2026-08-15T16:32:48.413123Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:32:46.979949Z","title":"Apt, Frank S","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:46.979949Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:cc6d144db09143cf97dda9452aad0b35f0b5ea4bc2b6520f2a93f26e50b9ab07","observation_id":"e9330a36-f417-4130-8f3c-88be3741b83f","resolution":{"observed_at":"2026-08-15T16:32:46.979949Z","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-15T16:32:46.983515Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:46.983515Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:ef2c969908a3fd879cdaa804b37196ae23967eafa114e0ed97b3357532364c40","observation_id":"8df17c73-b671-4ee2-b62b-028230da4762","resolution":{"observed_at":"2026-08-15T16:32:46.983515Z","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-15T16:32:46.987053Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:46.987053Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:0a90dffc1a0724de30ed369c06d7cc37db3a6f2f7c1342175b5d01f4d4cc7183","observation_id":"be99ec63-a8e9-435b-8626-536eb4483205","resolution":{"observed_at":"2026-08-15T16:32:46.987053Z","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/3551497","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T16:32:47.591362Z","title":"Naumann, and Mohammad Nikouei","venue":null,"work_id":"46b1bc5a-958b-49e6-8d75-467250754452","year":2022},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:46.991004Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:d016be444ad5911720cccf32d54e3ac8cd4ef7232c47a422d7cf8e8481ba4437","observation_id":"14ca6067-40de-444a-bce1-f2a57a8e4309","resolution":{"observed_at":"2026-08-15T16:32:47.595372Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:32:48.398539Z","title":"Naumann, and Mohammad Nikouei","venue":null,"work_id":"aedba501-08a1-4104-a80e-d42ce65952db","year":2016},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:46.994863Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:2fc155216b4f641692925742bcae55714541332a1526a56985f99ea8f123e5fb","observation_id":"033cdee8-f080-4492-8e42-c3c5bd7959db","resolution":{"observed_at":"2026-08-15T16:32:48.402272Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:32:48.387270Z","title":null,"venue":null,"work_id":"e1d74fd8-0413-4f39-8d37-be766ec666c6","year":2016},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:46.998378Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:4a86654016c062c48703d91e1722466fe43a6900a6a262576fbeee43cfb333de","observation_id":"8ae7cdd4-0aae-4318-a971-c89ced8eec76","resolution":{"observed_at":"2026-08-15T16:32:48.390736Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:32:47.002094Z","title":"D’Argenio, and Tamara Rezk","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.002094Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:db9ac0f79a5ac4825bf7196c67bf6780b0f17e7ac1cae3029742dd4ecc154e66","observation_id":"eae0ee30-1b27-474b-b564-c632ad9baf25","resolution":{"observed_at":"2026-08-15T16:32:47.002094Z","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-15T16:32:47.005634Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.005634Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:35914fac7c1285b1eadddab1e1c46ad60cdfc6f991b44efcbeec232890d2dd47","observation_id":"48619f7e-4292-41dd-aa9d-c494d8aecb9a","resolution":{"observed_at":"2026-08-15T16:32:47.005634Z","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-15T16:32:47.009214Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.009214Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:9238502172e8d6679c508d67a2cb28166a697eb04ba7d18697a5be72e6f33c00","observation_id":"c8fbf286-6cf9-4c81-afd5-e16df3973085","resolution":{"observed_at":"2026-08-15T16:32:47.009214Z","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-15T16:32:48.375828Z","title":null,"venue":null,"work_id":"7eee4410-630e-4b98-8699-3e62c2b5b42c","year":2005},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.012705Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:b9baa11d1d4306d5a88a304fd7ab04a8e4ab060dd2a28ec62419c17618716719","observation_id":"93e499ee-f421-4b09-9a9c-9481e86d7222","resolution":{"observed_at":"2026-08-15T16:32:48.379465Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:32:47.015954Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.015954Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:9eb6545c89eba6473f34d27a2bfef6c25ca8b74d810ca022b6f7ead4df1c12bf","observation_id":"01b91e23-84b8-425b-b178-85649d5ec583","resolution":{"observed_at":"2026-08-15T16:32:47.015954Z","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-15T16:32:47.019177Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.019177Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:2d7a0c5404e42a721c04750aed33d998775144de3d21a6982dbf4f8118c5e518","observation_id":"ad839d63-1818-4a05-b50a-d8b7310224b2","resolution":{"observed_at":"2026-08-15T16:32:47.019177Z","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-15T16:32:47.029085Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.029085Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:f977a4f1035fce612c95956c6ca9ea5300cd4f965158f43ff3295e2bf1d56706","observation_id":"9e8ffd5d-8289-492d-9096-96bfd29decdd","resolution":{"observed_at":"2026-08-15T16:32:47.029085Z","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-15T16:32:47.032453Z","title":"Churchill, Oded Padon, Rahul Sharma, and Alex Aiken","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.032453Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:3c017d5577cc799ced7149fd321bcd29f0a38b8205ac8a9477f2e08f6c6fc483","observation_id":"47a5049d-78ea-4065-ac45-5d5c4a326d09","resolution":{"observed_at":"2026-08-15T16:32:47.032453Z","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-15T16:32:47.036145Z","title":"Cohen and Philip Johnson-Freyd","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.036145Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:05a91decc524438ce7c8941ee45bbb79736cb372ebf863a941785729e254fb65","observation_id":"f5c98827-90bc-420f-a52b-b151e37f9a2b","resolution":{"observed_at":"2026-08-15T16:32:47.036145Z","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/3689761","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T16:32:47.514258Z","title":null,"venue":null,"work_id":"e01debe0-fd8f-4d1a-8dfd-775e91c83bbf","year":2024},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.039188Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:c8a1144dd5ad5d89233a7c9d1156d671570e8d404907b6eaca6f05ba0263b693","observation_id":"047739e0-f04b-453c-825a-591a99b5a8d7","resolution":{"observed_at":"2026-08-15T16:32:47.517914Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:32:47.042498Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.042498Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:40c843658ea6c5ef361859c3e55fc5c0d68018c35c4b9bd68483a046c9297dcb","observation_id":"cc77b04c-c85b-4a9b-801c-9e7f49b8d47f","resolution":{"observed_at":"2026-08-15T16:32:47.042498Z","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-15T16:32:47.045849Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.045849Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:57ca51a1308c2e1032b436eeff4fac6687fd0f909c02663bbbf8903c40f67e1e","observation_id":"e6077547-cd97-49a8-bb13-1c02645477d2","resolution":{"observed_at":"2026-08-15T16:32:47.045849Z","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-15T16:32:47.049358Z","title":"Summers, and Peter Müller","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.049358Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:8dd1f8ce0601243d3c8e302dcb0a799e2330f758ed668fc105867f160843ccb0","observation_id":"23d26ac8-7fc2-45be-8606-14d601db57cd","resolution":{"observed_at":"2026-08-15T16:32:47.049358Z","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/3720474","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T16:32:47.477848Z","title":null,"venue":null,"work_id":"84d53d43-b2db-4065-b8ba-420fc05c38ef","year":2025},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.052790Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:6abd9c679966b115b7a2cb0feee32fea872d8e9d59d44f9c55c457bf865e461c","observation_id":"3e2640d8-e7c6-45b0-9eaa-5c113bfad7a8","resolution":{"observed_at":"2026-08-15T16:32:47.481575Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:32:47.056432Z","title":"Zhang, and Benjamin Delaware","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.056432Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:cf59d357f9aee8c649e09f20363e8710b0fc3753dfd26e3664a7b975ae47c3ad","observation_id":"33867fa9-d4bd-4e40-b52e-47f96cb1ec15","resolution":{"observed_at":"2026-08-15T16:32:47.056432Z","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-15T16:32:48.364691Z","title":"Dijkstra","venue":null,"work_id":"50af1c97-4472-4da5-83a9-659dd4f93106","year":1976},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.059518Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:050bb80d41c99cc264115b8fd1ad0c58eeb37c79847a811b7448f3afa58a7266","observation_id":"8e9fffcc-a75b-40f1-b704-e7bdafc79763","resolution":{"observed_at":"2026-08-15T16:32:48.368110Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:32:47.062993Z","title":"Dijkstra and Carel S","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.062993Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:ed1aead536a70a691bedb7b24a22e6e0afa062cd11b499de5888915ea3855733","observation_id":"b21cf7d5-8494-4e29-842b-0d05682a144d","resolution":{"observed_at":"2026-08-15T16:32:47.062993Z","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-15T16:32:47.066336Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.066336Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:5ad8edc0dc31f45ccdc39990d558121ee01b58686a20896f2df5fa66513b75e7","observation_id":"c6080954-7ad3-4cee-99cf-86499fb452f2","resolution":{"observed_at":"2026-08-15T16:32:47.066336Z","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/3591289","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T16:32:47.441012Z","title":null,"venue":null,"work_id":"ce01b264-561f-4c21-bcfa-525e7f018911","year":2023},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.069726Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:793d98048b183b470c2d9ad42363d98a22acbc9649a958283639f914156ecf2a","observation_id":"48469f87-3b5f-43c0-bf55-c75a7b8879ac","resolution":{"observed_at":"2026-08-15T16:32:47.444912Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:32:48.353202Z","title":null,"venue":null,"work_id":"95b9694d-c3dd-4240-92a8-b7868c0e8eb5","year":2013},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.073094Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:7b7abb458912487c82320aab166f4a6c4e5c19b4ac35a632db3ba293ec675a48","observation_id":"ac57f94b-751b-49d2-8293-6381bad51e83","resolution":{"observed_at":"2026-08-15T16:32:48.356921Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:32:48.341754Z","title":null,"venue":null,"work_id":"6aecb04e-9a2d-4094-aa47-072b8d087d55","year":1967},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.076579Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:5f1b9de3f791902b7fb87e98033e9489e1c3f7112753e302d3ef8432fda8f680","observation_id":"86ba0c13-aa1a-429f-b5d9-4f4763f16d70","resolution":{"observed_at":"2026-08-15T16:32:48.345333Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:32:47.080223Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.080223Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:0c9358bcf4c0d8e6eeddbc3fe8957c8c190ab4ef55bc8cfe7549787c4508d9ea","observation_id":"a78c92b9-0336-43b9-b494-cd2d0eda7027","resolution":{"observed_at":"2026-08-15T16:32:47.080223Z","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-15T16:32:47.083276Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.083276Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:5d3a1112be39080f56e79c179b0767977316e0a26f6397abdd5c0dec6765e608","observation_id":"4d086e4b-e083-4d0f-9cf0-97d04d6c74b8","resolution":{"observed_at":"2026-08-15T16:32:47.083276Z","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-15T16:32:48.329215Z","title":"Amarasinghe, and Ilya Sergey","venue":null,"work_id":"84cc271a-940d-4210-8083-a99e809a0531","year":2024},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.086843Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:fe23f46348f94e235bf6630ab195b9aed65c64e5ab0c4717ffb75ce67328fa89","observation_id":"03abe73c-dc18-4270-8002-867f936d6e8c","resolution":{"observed_at":"2026-08-15T16:32:48.333407Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:32:47.090484Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.090484Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:42811b745f961307a68c5e43f08521f98c5b1bcbb5a36f793dc84d903688b426","observation_id":"ef29dad5-74ed-42b0-8237-70480ca05d6b","resolution":{"observed_at":"2026-08-15T16:32:47.090484Z","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-15T16:32:47.094210Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.094210Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:15214a24846e941cca328de7f58d55a4740b7ed550ac9f8bd8817b21f036c870","observation_id":"b7632fe1-b1b7-476a-aeaa-52e849d560ef","resolution":{"observed_at":"2026-08-15T16:32:47.094210Z","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-15T16:32:47.097641Z","title":"Haselwarter, Joseph Tassarotti, and Lars Birkedal","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.097641Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:de11f176c22be4369e582a5e860eea96ed3ec00e608ec9254146c733e27ffade","observation_id":"8ccd4515-9077-4b2b-b359-19a04c435cdf","resolution":{"observed_at":"2026-08-15T16:32:47.097641Z","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-15T16:32:47.101210Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.101210Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:85c982df8fd7e27213a8aa10ae5bbebccd2ca7e916806690e552d3b3d7aa3b69","observation_id":"fa15d840-67f8-40f8-a928-257776085c8e","resolution":{"observed_at":"2026-08-15T16:32:47.101210Z","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-15T16:32:48.315272Z","title":null,"venue":null,"work_id":"a8600652-42ce-4b4e-bf21-4efd7948bfb6","year":1978},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.107831Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:f7ac44e1d13d92f18eec8dd50e280d3b1970552bc1c3f4c279c06aec759a3054","observation_id":"8b01ee29-a039-4c78-a9d5-f56204121726","resolution":{"observed_at":"2026-08-15T16:32:48.319546Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:32:47.111477Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.111477Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:dbff7989eb20e00f3bffa8e1ffe6313cb7d4e73b5f7f7a5e7e151099f24ae0d4","observation_id":"dcb4b052-86e4-4934-827f-1bf09c26605f","resolution":{"observed_at":"2026-08-15T16:32:47.111477Z","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-15T16:32:47.115052Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.115052Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:ade1137a0da6bcadd4fc992ede7896502f57035bd8ddb473effd8ed118f9b117","observation_id":"9bb01ae0-9a0f-480e-bc3e-77501908cb44","resolution":{"observed_at":"2026-08-15T16:32:47.115052Z","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-15T16:32:47.118696Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.118696Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:9819c081938b4e60f464c8c918c702b766406e213070045ed1518d30c6372234","observation_id":"89a385d5-1cba-43cc-b198-b2d955ed26ae","resolution":{"observed_at":"2026-08-15T16:32:47.118696Z","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-15T16:32:47.122115Z","title":null,"venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.122115Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:ae221e095e7505b8780e1d1739e8a30b6b7bd11e8a6e64238469fbfe1be31403","observation_id":"e0d281a0-4bae-4b11-91d4-18aa7e68db69","resolution":{"observed_at":"2026-08-15T16:32:47.122115Z","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-15T16:32:47.125485Z","title":"Schneider","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.125485Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:87f06e58919089e80532011e741dad8e2cfa582e0596864aa75e0eb59d235b9f","observation_id":"7a706616-2f4c-4040-a0dd-12ec791354f3","resolution":{"observed_at":"2026-08-15T16:32:47.125485Z","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-15T16:32:47.129026Z","title":"Rustan M","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.129026Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:64589b971b76385cc9cd144ccd8c21b43c695db6775a689db3481eaf3e73a178","observation_id":"24d0f284-6410-47eb-afd0-7490d71f6fcd","resolution":{"observed_at":"2026-08-15T16:32:47.129026Z","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-15T16:32:47.132226Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.132226Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:701681bfa7238d88e1170fe6d23443edc555dbc14dc1ad5c3c7af99bfd619014","observation_id":"da436cac-8092-4ad9-a95d-c07f7fb69442","resolution":{"observed_at":"2026-08-15T16:32:47.132226Z","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-15T16:32:48.301636Z","title":null,"venue":null,"work_id":"b85a1cfd-6dce-450c-87cf-3cf81c8723ca","year":2017},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.135593Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:4be69447b60fbf90f9d0db19ecd841bb90e82097737e6b45d477827497c36961","observation_id":"bb924013-63e1-4c66-ba09-9d4b86c2556c","resolution":{"observed_at":"2026-08-15T16:32:48.305454Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:32:47.138693Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.138693Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:bbb40424f88b91ff5846e592701358a12e7be312bc18bb9e21ccd997a81d6a68","observation_id":"4cd6a0ac-593d-421b-be0f-003beced8d11","resolution":{"observed_at":"2026-08-15T16:32:47.138693Z","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":"10.1007/s10009-025-00786-1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-18T11:03:46.223893Z","title":"Nagasamudram, A","venue":"International Journal on Software Tools for Technology Transfer","work_id":"b405b933-8793-4db9-af84-1fd0dfefb532","year":2025},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.141685Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:cea3c1afe8e582e7b7063e1211e8aeda9be3b848eca094bdab5b54799987ab49","observation_id":"f5e6df4d-6507-429b-9d5d-ec0f11a8b9ac","resolution":{"observed_at":"2026-08-15T16:32:47.369477Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.48550/arxiv.2307.10045","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T16:32:47.352084Z","title":null,"venue":null,"work_id":"cb83f5a8-5746-4e2a-ae51-8e294e63feac","year":2025},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.148477Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:d98ac336334610f7b26e938ec4257316b0d4b62e57f77fa27e4badad5f7ce8af","observation_id":"794abcaf-3851-46eb-b7b9-ac5b44ba14b2","resolution":{"observed_at":"2026-08-15T16:32:47.355589Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:32:48.289300Z","title":"1992.Semantics with Applications - a Formal Introduction","venue":null,"work_id":"c1de4cd2-81a5-4617-92a5-24e2c2055e23","year":1992},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.151964Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:1719d3b1f5c04a3f8385f15e459191dbd74f6569ab1d6db15dd78b174c09209c","observation_id":"c81a3f86-0022-4768-ab08-c8895aa552fb","resolution":{"observed_at":"2026-08-15T16:32:48.293053Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:32:48.277049Z","title":"Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cătălin Hriţcu, Vilhelm Sjöberg, Andrew Tolmach, and Brent Yorgey","venue":null,"work_id":"0cd4c1c8-5f2d-41b9-baa3-cd15278197d6","year":2024},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.155177Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:9014071762f820c209418b23c2d35f45abefde51fe70234886350444db97cbed","observation_id":"d0fe2055-8f53-491f-8916-1cf2c35e254d","resolution":{"observed_at":"2026-08-15T16:32:48.281331Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:32:47.158383Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.158383Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:ab9c8edf72fd5c0ecafef9ac45cd1a3e31a5a7fc40037a7c3aede2c6fad62473","observation_id":"408302c2-2bac-4429-839b-ecd4bc0d64ef","resolution":{"observed_at":"2026-08-15T16:32:47.158383Z","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-15T16:32:47.161922Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.161922Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:307d7ac35af6425584bde1ed592bdb5f7df28cc367b15a73ebc9cc8f34c515c6","observation_id":"99294996-6d50-4a78-8ef9-5a142f6b67be","resolution":{"observed_at":"2026-08-15T16:32:47.161922Z","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-15T16:32:48.264747Z","title":null,"venue":null,"work_id":"89577702-7686-498e-8fc3-514b0a944134","year":2016},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.165279Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:ec0f8e1ffbf5eb220210ebc6edce10763ec77a29b2e9a0b2267c7eaa7404cd47","observation_id":"a5b0167f-6746-4e4c-8b58-e150a50318cc","resolution":{"observed_at":"2026-08-15T16:32:48.268611Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T16:32:47.168727Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.168727Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:7daa8087f2e4bba13123251e26e77528cc0745bbe0c96cd270ccb38bcd732236","observation_id":"2771177e-caef-4f20-8bee-d88cd225c8db","resolution":{"observed_at":"2026-08-15T16:32:47.168727Z","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.1007/978-3-030-81685-8_35","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":null,"venue":"Lecture notes in computer science","work_id":"4f1d0286-80cf-4a03-b248-b61fdb7e9490","year":2021},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.172153Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:8d3c0b232bb375f03f5bd5e56a7d5269c7e0cdd8a63265abd088bd73b2db7697","observation_id":"2256ab91-35f8-4ac4-b2d9-e2099de91456","resolution":{"observed_at":"2026-08-15T16:32:47.256396Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-024-09706-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T16:32:47.240338Z","title":null,"venue":null,"work_id":"4378a96c-0564-41d2-9354-556120f7d7c8","year":2024},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.175510Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:0342bd26797338b43218978f38949a10db4ec3ac008554c37fdd4679fe93f7d0","observation_id":"73592b74-2d5f-498a-be75-56eab497dedf","resolution":{"observed_at":"2026-08-15T16:32:47.244746Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.17444","last_updated":"2025-08-21T05:06:36Z","snapshot_observed_at":"2026-08-16T10:37:39.603272Z","submitted_at":"2025-04-24T11:13:54Z","title":"Encode the $\\forall\\exists$ Relational Hoare Logic into Standard Hoare Logic","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.17444","snapshot_observed_at":"2026-08-15T16:32:47.178890Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.178890Z"},"links":{"cited_paper":"/paper/2504.17444","citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:d5bcf7851178010b3120dcd3b9ef686a12f4277b921354fceb441b2721332b96","observation_id":"38ceca70-5855-4ebe-8efb-24ec9e189cf2","resolution":{"observed_at":"2026-08-15T16:32:47.178890Z","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-15T16:32:47.182398Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.182398Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:ab456506d6a992c072177b5ed0a8672d9e506ab0a50eadb6fbeaef58fc1fb762","observation_id":"c5efeb55-40cc-46d2-b8ea-d578c6cdc2cd","resolution":{"observed_at":"2026-08-15T16:32:47.182398Z","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-15T16:32:47.185560Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.185560Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:b6113b2ada68baecbf0c955b82919caaed0420a3b2e284e7d779a57cfc341972","observation_id":"b8abb513-f766-4ddc-926c-31e87d9bf7aa","resolution":{"observed_at":"2026-08-15T16:32:47.185560Z","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-15T16:32:47.188801Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:47.188801Z"},"links":{"citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:c39014f63452c3edd28df579dae2a545fc170b2b28fb7ee4bc2eb710a57c7fa0","observation_id":"84798eab-1f27-42d6-afee-a46833e1dd95","resolution":{"observed_at":"2026-08-15T16:32:47.188801Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.04278","last_updated":"2023-03-23T18:05:57Z","snapshot_observed_at":"2026-08-16T17:22:37.703536Z","submitted_at":"2022-02-09T04:53:04Z","title":"An algebra of alignment for relational verification","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.04278","snapshot_observed_at":"2026-08-15T16:32:46.975703Z","title":"ACM Program","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-15T16:32:46.975703Z"},"links":{"cited_paper":"/paper/2202.04278","citing_paper":"/paper/2509.04777"},"observation_digest":"sha256:954ab39f2c5e8b1f25bc0eeb6e79d80530fe3125b9b04389bc4f2442ef9826b7","observation_id":"d4bfdd40-69fc-4207-862f-c66ad5cb4345","resolution":{"observed_at":"2026-08-15T16:32:46.975703Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2509.04777","last_updated":"2025-09-05T03:15:27Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-17T19:17:40.019909Z","submitted_at":"2025-09-05T03:15:27Z","title":"Forall-Exists Relational Verification by Filtering to Forall-Forall"},"reference_resolution":{"displayed":61,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":45,"verified_exact":8,"verified_fuzzy":6},"total_outbound_references":61},"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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 61 of 61 outbound references and 1 inbound Pith citation observation for arXiv:2509.04777."}