{"as_of":"2026-08-11T20:32:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:330cb03f57f708bcaf62e8378331a5d6bbab7e48f4fd69012f8936009f8015db","coverage":[{"denominator":34,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":34,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T20:39:51.604693Z","state":"measured"},{"denominator":34,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":34,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2501.07918/citation-record","integrity":"/paper/2501.07918/integrity","json":"/paper/2501.07918/citation-record.json","paper":"/paper/2501.07918"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:39:51.455857Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.455857Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:8064953bddc2d390b19caf56d40828e981ec4869000af1b6d278f933f2eb7e5d","observation_id":"01b47dce-5585-4479-83c7-2a47da2b13d7","resolution":{"observed_at":"2026-08-10T20:39:51.455857Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2004.13107","last_updated":"2020-04-27T19:13:09Z","snapshot_observed_at":"2026-08-11T18:23:08.560712Z","submitted_at":"2020-04-27T19:13:09Z","title":"Identity Management on Blockchain -- Privacy and Security Aspects","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2004.13107","snapshot_observed_at":"2026-08-10T20:39:51.461021Z","title":"Barthe, P.R","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.461021Z"},"links":{"cited_paper":"/paper/2004.13107","citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:b28b6bfda61abcb1429f935f14d330f9593c1972b90259b418715ca6c1e1a8e8","observation_id":"7e3d978a-b31f-4361-abc8-21e995d9cafd","resolution":{"observed_at":"2026-08-10T20:39:51.461021Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:39:52.537759Z","title":null,"venue":null,"work_id":"28e8686b-562d-4ee7-8612-88702f827c5b","year":1977},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.469644Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:c2223872751e65b9da7f1823e3ff9265dd1667dda31329399deafe345c4ae2b7","observation_id":"74635f01-d14e-4d75-b5f8-58da9d128cc0","resolution":{"observed_at":"2026-08-10T20:39:52.542242Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:39:51.474438Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.474438Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:143f4d39adeeb2a4eaf58e470e0840de957bc30b5fb39ce2b9723c59f2ba8077","observation_id":"d59c8971-cce3-4abd-96fc-af0be44ecb1a","resolution":{"observed_at":"2026-08-10T20:39:51.474438Z","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-10T20:39:51.478260Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.478260Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:e38380f5cc481c18509ca35ce66f324ec1e5ee8f34bc8e433ba947b989185088","observation_id":"76cb3173-f644-46db-be73-9b68e8a11fbc","resolution":{"observed_at":"2026-08-10T20:39:51.478260Z","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-10T20:39:51.482572Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.482572Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:3e64b24992505f0993fa9219ea5e628eb461f37e538d5335186547cedc0d8af0","observation_id":"085ddabf-ffff-409b-b7f5-a5dba4d16ce1","resolution":{"observed_at":"2026-08-10T20:39:51.482572Z","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-10T20:39:51.486592Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.486592Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:e8e4e68a986007153bb6292e55bacede704f6747a9021e70471fcff8535946fe","observation_id":"cb8078fd-3d26-4940-9895-b7062c8ea5b2","resolution":{"observed_at":"2026-08-10T20:39:51.486592Z","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-10T20:39:51.490441Z","title":"Clarke, Ofer Strichman, and Yunshan Zhu","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.490441Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:190665fee8e5aa4f273a915075acaaff81e84515ab0a077de581d7cb9f713d39","observation_id":"05a822f7-4d85-47bc-ba0f-b69597082c98","resolution":{"observed_at":"2026-08-10T20:39:51.490441Z","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-10T20:39:52.519825Z","title":null,"venue":null,"work_id":"c76f98a8-3653-4809-bd81-c0141b79daba","year":2008},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.495030Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:ff05bd51d63fa1c01e06a71841a7f8f675ced4a12d353d936f70161243d131fa","observation_id":"3fc9853e-debd-4d0f-af1d-bac771787563","resolution":{"observed_at":"2026-08-10T20:39:52.524859Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:39:51.499435Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.499435Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:0fdc09a38a393bf6398c6073767f8e1d9493a80963af595b61783f0175e30205","observation_id":"22f4ea9f-52e0-435a-931a-0f7ab51cf71e","resolution":{"observed_at":"2026-08-10T20:39:51.499435Z","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-10T20:39:51.504042Z","title":"Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.504042Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:2fb11ae9f7fd75247224aceb1979766094215c3e48a3a2fc16f8f01a9f5f7ba5","observation_id":"d8ef9d86-7099-4fb3-8938-3e610a4dcd4e","resolution":{"observed_at":"2026-08-10T20:39:51.504042Z","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-10T20:39:51.512688Z","title":"Clarkson and Fred B","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.512688Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:611413412959d6a3b4f582454cd3d2d8675e44c63f729d54633948173dca6bcd","observation_id":"e79697ac-4194-419c-964a-a14f7a0597bc","resolution":{"observed_at":"2026-08-10T20:39:51.512688Z","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-10T20:39:51.516802Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.516802Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:822be7e461ba911a41922fec9b4a2a6155d1d044e0f0ba56b4ab79a406728490","observation_id":"59f27558-dd20-4409-a869-23c8063891ca","resolution":{"observed_at":"2026-08-10T20:39:51.516802Z","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":"2021.24286","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:39:52.268424Z","title":null,"venue":null,"work_id":"7f685c2a-6265-42b8-b13a-97b7e8927776","year":2021},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.521220Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:cec14febc7bc803becd197ce598d5d98081c85505c9b41e79a99bf4057a07779","observation_id":"bd0d004f-ca18-44b3-82a9-803a6876c72a","resolution":{"observed_at":"2026-08-10T20:39:52.273979Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3563037","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:39:51.731481Z","title":null,"venue":null,"work_id":"914be426-b917-45dc-817b-4d5ab5996d21","year":2023},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.525341Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:4fede43bf6823692a5c6aa0fc1d4227435ed239e6c9abed523c3d85e4f82ab18","observation_id":"4bc367d4-4df0-4f2f-b246-b837ec5acf2d","resolution":{"observed_at":"2026-08-10T20:39:51.735613Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-30942-8_6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:39:51.720197Z","title":"de Boer and Marcello Bonsangue","venue":null,"work_id":"39e1f41f-0f15-475f-a6dd-d7f353304dfb","year":2019},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.529698Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:51117b538793eccf48ffdf9cbec7c7607460f816b0c879b1ca7cced9fcf410e0","observation_id":"0c9542c6-283e-4c9d-b11e-7383740f3a56","resolution":{"observed_at":"2026-08-10T20:39:51.723992Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:39:51.534468Z","title":"Zhang, and Benjamin Delaware","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.534468Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:1ed131ffadc252f9f4c28b44631ff2b3f840c0ee02fa20a9ea0f3adf2d601e5d","observation_id":"8d10c807-cd8a-4aaf-9c61-7b1e041f1c68","resolution":{"observed_at":"2026-08-10T20:39:51.534468Z","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-10T20:39:51.539113Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.539113Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:adaee1987379362516d0fc0238eb6c81d48569af7a7d8b52868c4512fc90ed8d","observation_id":"92fa7197-6282-4178-975d-6bca2ceadfb9","resolution":{"observed_at":"2026-08-10T20:39:51.539113Z","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-10T20:39:51.543424Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.543424Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:d6fed5a96fde681ff371844633e2c6776507405e230204b9b694279e3aba3264","observation_id":"bcc03913-3c10-46be-a332-e437b25b87a4","resolution":{"observed_at":"2026-08-10T20:39:51.543424Z","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-10T20:39:51.548047Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.548047Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:1d2370f49943e74c064ce07b5cf69acb37a53117dd9ad8bc9f04d53f10ea6d9f","observation_id":"4f75ff95-3992-48c6-a6ea-c6b63407a44b","resolution":{"observed_at":"2026-08-10T20:39:51.548047Z","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-10T20:39:52.496243Z","title":null,"venue":null,"work_id":"86e39f72-92e3-4e5c-b987-46a3db4a5f49","year":2005},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.552380Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:4d141f2d8f525a7b5661e0471dd42d88d0a30b422fae6bd2fe33f1af1a352298","observation_id":"eb29235d-1b89-467c-9d51-cfc6493b4489","resolution":{"observed_at":"2026-08-10T20:39:52.500198Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:39:51.556487Z","title":null,"venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.556487Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:1b85cf39581b0aa0ebe913d9e03e491ae71cff1ed84653a349384e270773015a","observation_id":"692e5fa9-b927-470c-b787-8f44a3f025d0","resolution":{"observed_at":"2026-08-10T20:39:51.556487Z","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-10T20:39:51.560713Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.560713Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:82150a4ea8bd99d64780764c6b9eeb676276c83711881444788c4ab3254881c4","observation_id":"0c0e7f82-90f6-4370-b35b-cd0e007ac9af","resolution":{"observed_at":"2026-08-10T20:39:51.560713Z","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-10T20:39:51.565275Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.565275Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:7a663640eee818d69bcb5e2a5a5ff04207dbc51c7d36e11269ab58e07dc43569","observation_id":"301cf7e4-77d6-4893-a613-82fbf45f585d","resolution":{"observed_at":"2026-08-10T20:39:51.565275Z","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-10T20:39:51.569548Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.569548Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:875ab2d727016e2afce89750d1c9910743f23ca303a8db01ec3892ac96eb3dde","observation_id":"fd128780-00eb-4a7d-a1dc-8cc9bacde590","resolution":{"observed_at":"2026-08-10T20:39:51.569548Z","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-10T20:39:51.574169Z","title":null,"venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.574169Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:f1c9d4a8f907f01640c9bc837865acfe87caf87ef7950e5f881c244ec2510d80","observation_id":"af7c45e3-54d1-41e0-87e0-3b2a00e945cb","resolution":{"observed_at":"2026-08-10T20:39:51.574169Z","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-10T20:39:51.578366Z","title":"Manes, HyungSeok Han, Choongwoo Han, Sang Kil Cha, Manuel Egele, Edward J","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.578366Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:5e8b75fe699ab90ba797347aa2d7d6339409727d0ccb8078f445f9ec94e23eeb","observation_id":"d59542d6-e7b1-470d-a6f9-5a7a244910b9","resolution":{"observed_at":"2026-08-10T20:39:51.578366Z","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.1109/secpri.1988","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:39:51.660934Z","title":"McCullough","venue":null,"work_id":"8a940105-10c6-4739-9b8f-30f4935d0e0b","year":1988},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.582815Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:96b84052c0559f777beb36611dcadc383112a29db0d7e18649821010600712ae","observation_id":"a1f2d0b2-fc2e-4721-a75f-ff688183dba7","resolution":{"observed_at":"2026-08-10T20:39:51.665157Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1994.29659","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:39:51.937078Z","title":null,"venue":null,"work_id":"43d03a57-7371-4c6d-b15c-b13f79b58872","year":1994},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.587254Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:2b3d75590470c1b491118c4973b477e853c4295bf8b3f9c0a0622fe933166be4","observation_id":"0e4deac0-bb49-4465-9dfe-00d563e6eb74","resolution":{"observed_at":"2026-08-10T20:39:51.943406Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:39:51.591665Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.591665Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:f68a38ffdafd8e5d944fd8601578b510da63d476063f8d2b568444f6ce0ccd3a","observation_id":"fc8c9995-8083-4bac-af3f-da45ec01810c","resolution":{"observed_at":"2026-08-10T20:39:51.591665Z","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":"5430.10817","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:39:51.847761Z","title":null,"venue":null,"work_id":"5cd79920-bd68-4170-b4b8-87d431061e9c","year":2005},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.596198Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:c710626fdf525026d43caffbda029b859f3de97bbf8c18ac1d71d3cf2b96460c","observation_id":"b9ab35a5-2d94-4223-be25-16106d5c5e4f","resolution":{"observed_at":"2026-08-10T20:39:51.853957Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:39:51.600350Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.600350Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:51359dcbe454ad0d46310529f962d7aee7668e6ad947d5c0babc7a53df2762fc","observation_id":"c0b7a572-698c-48db-a998-b6cc40a01973","resolution":{"observed_at":"2026-08-10T20:39:51.600350Z","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-319-96142-2_11","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:39:51.632844Z","title":null,"venue":null,"work_id":"311f478b-454b-47bf-832c-dca6cc949e07","year":2018},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.604693Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:0c23ca85fe77018b163a5843df8f52e34247b593d2f14270ba7af6635a063db5","observation_id":"6a341208-4793-4ebe-9c83-b987f1bf37b5","resolution":{"observed_at":"2026-08-10T20:39:51.637849Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:39:51.508326Z","title":"InPrinciples of Security and Trust (Lecture Notes in Computer Science), Martín Abadi and Steve Kremer (Eds.)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution","version":1},"reference_index":2014,"source":"pdf_text","source_observed_at":"2026-08-10T20:39:51.508326Z"},"links":{"citing_paper":"/paper/2501.07918"},"observation_digest":"sha256:06fd74e563ef17bd1001ee893911b46ea1e7547c7563fba809e4b8c9467088f3","observation_id":"74d3dd64-c10c-48a6-bf64-c8803810392b","resolution":{"observed_at":"2026-08-10T20:39:51.508326Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2501.07918","last_updated":"2025-01-14T08:01:00Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-10T20:27:31.670324Z","submitted_at":"2025-01-14T08:01:00Z","title":"Finding $\\forall\\exists$ Hyperbugs using Symbolic Execution"},"reference_resolution":{"displayed":34,"state_counts":{"malformed_identifier":5,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":22,"verified_exact":5,"verified_fuzzy":0},"total_outbound_references":34},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 0 inbound Pith citation observations for arXiv:2501.07918."}