{"as_of":"2026-08-16T05:48:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f680c4f9d2ba7bb5c326a06232776ff0fe4994c0c40c188ae9448f3cc49ea5a4","coverage":[{"denominator":9,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":9,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T19:55:50.844602Z","state":"measured"},{"denominator":9,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":9,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2509.09019/citation-record","integrity":"/paper/2509.09019/integrity","json":"/paper/2509.09019/citation-record.json","paper":"/paper/2509.09019"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T19:55:50.810335Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.09019","last_updated":"2025-09-10T21:27:35Z","snapshot_observed_at":"2026-08-04T19:55:49.803605Z","submitted_at":"2025-09-10T21:27:35Z","title":"Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T19:55:50.810335Z"},"links":{"citing_paper":"/paper/2509.09019"},"observation_digest":"sha256:67e7e20bcb5e5d039faf0c66a2d051bc714fa4801fd8e3ce2acdc75ce38751b0","observation_id":"028a9fef-b2a7-47ba-bed2-8707dab1277c","resolution":{"observed_at":"2026-08-04T19:55:50.810335Z","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-04T19:55:50.815477Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2509.09019","last_updated":"2025-09-10T21:27:35Z","snapshot_observed_at":"2026-08-04T19:55:49.803605Z","submitted_at":"2025-09-10T21:27:35Z","title":"Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-04T19:55:50.815477Z"},"links":{"citing_paper":"/paper/2509.09019"},"observation_digest":"sha256:08f68b159e47382f66edca5e507d707392851a163da215db15dd694182850c6c","observation_id":"7faa45cb-56eb-4e12-beb2-7e9694c4d0fc","resolution":{"observed_at":"2026-08-04T19:55:50.815477Z","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-04T19:55:50.819572Z","title":null,"venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2509.09019","last_updated":"2025-09-10T21:27:35Z","snapshot_observed_at":"2026-08-04T19:55:49.803605Z","submitted_at":"2025-09-10T21:27:35Z","title":"Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-04T19:55:50.819572Z"},"links":{"citing_paper":"/paper/2509.09019"},"observation_digest":"sha256:b0eadb1ca14600c374628110e066dc3bc036d925815f5a823a7dcefef202efe6","observation_id":"e8a87655-7400-402f-ad7b-6345f0f8eadf","resolution":{"observed_at":"2026-08-04T19:55:50.819572Z","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-04T19:55:50.823668Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.09019","last_updated":"2025-09-10T21:27:35Z","snapshot_observed_at":"2026-08-04T19:55:49.803605Z","submitted_at":"2025-09-10T21:27:35Z","title":"Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-04T19:55:50.823668Z"},"links":{"citing_paper":"/paper/2509.09019"},"observation_digest":"sha256:074b402f7e1034c5261bbe7eea0ed188b5d23f0f7a3b66e77fe06b86b3c5dd46","observation_id":"efc3bf5e-892d-4bc7-8313-25b97a1bfbad","resolution":{"observed_at":"2026-08-04T19:55:50.823668Z","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-04T19:55:50.827760Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2509.09019","last_updated":"2025-09-10T21:27:35Z","snapshot_observed_at":"2026-08-04T19:55:49.803605Z","submitted_at":"2025-09-10T21:27:35Z","title":"Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-04T19:55:50.827760Z"},"links":{"citing_paper":"/paper/2509.09019"},"observation_digest":"sha256:657df04518f008831f481b5c49b7c98638862a292318bc63ae36803f9bf9e364","observation_id":"4298343f-df9d-4862-aa88-b0a110159276","resolution":{"observed_at":"2026-08-04T19:55:50.827760Z","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-04T19:55:50.831698Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.09019","last_updated":"2025-09-10T21:27:35Z","snapshot_observed_at":"2026-08-04T19:55:49.803605Z","submitted_at":"2025-09-10T21:27:35Z","title":"Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-04T19:55:50.831698Z"},"links":{"citing_paper":"/paper/2509.09019"},"observation_digest":"sha256:fa27dd7e1ffac2fea91d1a48e6f25e1bce4d7d5f20850eb58e6487d4a29cfdf8","observation_id":"d26de120-a384-4633-a72f-047674db1ca9","resolution":{"observed_at":"2026-08-04T19:55:50.831698Z","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-04T19:55:50.836563Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.09019","last_updated":"2025-09-10T21:27:35Z","snapshot_observed_at":"2026-08-04T19:55:49.803605Z","submitted_at":"2025-09-10T21:27:35Z","title":"Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-04T19:55:50.836563Z"},"links":{"citing_paper":"/paper/2509.09019"},"observation_digest":"sha256:2871e1c47aa31ac67e9ce752c0cbad480aa0a4f4d4485229909f7baa25f51e84","observation_id":"50be0d62-4ad0-4884-9d44-3653a6c92cde","resolution":{"observed_at":"2026-08-04T19:55:50.836563Z","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-04T19:55:50.840750Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.09019","last_updated":"2025-09-10T21:27:35Z","snapshot_observed_at":"2026-08-04T19:55:49.803605Z","submitted_at":"2025-09-10T21:27:35Z","title":"Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T19:55:50.840750Z"},"links":{"citing_paper":"/paper/2509.09019"},"observation_digest":"sha256:c974fe77a1c703ec110a032005c81d426df20ba6c413b2220f65fa236d100799","observation_id":"ff320ac9-3bdd-4e92-a5de-3b7058f84cf0","resolution":{"observed_at":"2026-08-04T19:55:50.840750Z","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-04T19:55:50.844602Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2509.09019","last_updated":"2025-09-10T21:27:35Z","snapshot_observed_at":"2026-08-04T19:55:49.803605Z","submitted_at":"2025-09-10T21:27:35Z","title":"Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-04T19:55:50.844602Z"},"links":{"citing_paper":"/paper/2509.09019"},"observation_digest":"sha256:36f1cdff76e5d076acceaeb5beeec747bc3b85cdd8cfa7f8db2020b3f886ddef","observation_id":"5cfdfc7e-6412-433e-b8f2-86d5db45d3c5","resolution":{"observed_at":"2026-08-04T19:55:50.844602Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2509.09019","last_updated":"2025-09-10T21:27:35Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-04T19:55:49.803605Z","submitted_at":"2025-09-10T21:27:35Z","title":"Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs"},"reference_resolution":{"displayed":9,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":9,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":9},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 9 of 9 outbound references and 0 inbound Pith citation observations for arXiv:2509.09019."}