{"as_of":"2026-08-17T00:06:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:715072afa56a7e193309e8db05a6e9a3af6548fbf5ed5fde58b6f7fe8262c421","coverage":[{"denominator":11,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":11,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T15:19:20.841667Z","state":"measured"},{"denominator":11,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":11,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/1908.01324/citation-record","integrity":"/paper/1908.01324/integrity","json":"/paper/1908.01324/citation-record.json","paper":"/paper/1908.01324"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:19:21.029261Z","title":null,"venue":null,"work_id":"7f2d095e-af9f-4d46-8534-1ebfae350387","year":2019},"citing_paper":{"arxiv_id":"1908.01324","last_updated":"2019-08-04T12:18:50Z","snapshot_observed_at":"2026-08-16T22:20:29.615581Z","submitted_at":"2019-08-04T12:18:50Z","title":"CREST: Hardware Formal Verification with ANSI-C Reference Specifications","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-14T15:19:20.788547Z"},"links":{"citing_paper":"/paper/1908.01324"},"observation_digest":"sha256:2b8295ff06c6ca1b1a203b5641e4567c3a7d9869ec293083a621870709025f2f","observation_id":"5143455f-6c17-4437-9f47-d0d92c934b33","resolution":{"observed_at":"2026-08-14T15:19:21.034027Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:19:21.012869Z","title":null,"venue":null,"work_id":"98733c94-1210-49cc-9cb7-98ffc4bc55a0","year":2001},"citing_paper":{"arxiv_id":"1908.01324","last_updated":"2019-08-04T12:18:50Z","snapshot_observed_at":"2026-08-16T22:20:29.615581Z","submitted_at":"2019-08-04T12:18:50Z","title":"CREST: Hardware Formal Verification with ANSI-C Reference Specifications","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-14T15:19:20.795554Z"},"links":{"citing_paper":"/paper/1908.01324"},"observation_digest":"sha256:8bc8c61e54960f9caa05890941724241a779f87735b3ccbb578efd6596a6d110","observation_id":"701e9e61-073c-4110-a78a-0e541efffcfb","resolution":{"observed_at":"2026-08-14T15:19:21.017782Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:19:20.997692Z","title":"Mukherjee, S","venue":null,"work_id":"70d670ad-58de-4f85-bb0f-33b969e337bf","year":2016},"citing_paper":{"arxiv_id":"1908.01324","last_updated":"2019-08-04T12:18:50Z","snapshot_observed_at":"2026-08-16T22:20:29.615581Z","submitted_at":"2019-08-04T12:18:50Z","title":"CREST: Hardware Formal Verification with ANSI-C Reference Specifications","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-14T15:19:20.801257Z"},"links":{"citing_paper":"/paper/1908.01324"},"observation_digest":"sha256:8c4f624a471c267b7a4ca3e079ea9bf1667c5a815c3bf8200b1dec375d36e74c","observation_id":"1fc112b9-f77c-45cc-b46d-01974d9f59bc","resolution":{"observed_at":"2026-08-14T15:19:21.002028Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:19:20.980846Z","title":"Clarke, D","venue":null,"work_id":"982369a1-9b72-4205-95be-af59abec7990","year":2004},"citing_paper":{"arxiv_id":"1908.01324","last_updated":"2019-08-04T12:18:50Z","snapshot_observed_at":"2026-08-16T22:20:29.615581Z","submitted_at":"2019-08-04T12:18:50Z","title":"CREST: Hardware Formal Verification with ANSI-C Reference Specifications","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-14T15:19:20.806256Z"},"links":{"citing_paper":"/paper/1908.01324"},"observation_digest":"sha256:3817b8c532d34e2a2c1443f0e2597f10d6ad1f104ddc6ab1ea554b301e114161","observation_id":"38bb7c46-6f7d-42d8-b8b0-15d4ce11c7ef","resolution":{"observed_at":"2026-08-14T15:19:20.986094Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:19:20.811419Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.01324","last_updated":"2019-08-04T12:18:50Z","snapshot_observed_at":"2026-08-16T22:20:29.615581Z","submitted_at":"2019-08-04T12:18:50Z","title":"CREST: Hardware Formal Verification with ANSI-C Reference Specifications","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-14T15:19:20.811419Z"},"links":{"citing_paper":"/paper/1908.01324"},"observation_digest":"sha256:58f76504b46594fa0d2bf4b253f4eb700fd178cd2a99bfcf3ad5250b115efbd3","observation_id":"fd47a2fc-5aad-4e26-8279-5ebf0feedbdb","resolution":{"observed_at":"2026-08-14T15:19:20.811419Z","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-14T15:19:20.963789Z","title":"Hauser, ``Berkeley SoftFloat ,'' (Accessed 22 Jan","venue":null,"work_id":"bd4b9862-70a5-4fc9-970d-778a2a12cf97","year":2019},"citing_paper":{"arxiv_id":"1908.01324","last_updated":"2019-08-04T12:18:50Z","snapshot_observed_at":"2026-08-16T22:20:29.615581Z","submitted_at":"2019-08-04T12:18:50Z","title":"CREST: Hardware Formal Verification with ANSI-C Reference Specifications","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-14T15:19:20.816950Z"},"links":{"citing_paper":"/paper/1908.01324"},"observation_digest":"sha256:87eff1641d810b9ac38902458bd0aa3a44dcce96967a52cdb7f14f30730b8bf8","observation_id":"66130601-2fae-4731-915f-aea85bf8c8b0","resolution":{"observed_at":"2026-08-14T15:19:20.969414Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:19:20.947397Z","title":null,"venue":null,"work_id":"e6a73b37-941d-4df0-8f40-19d614e2eca1","year":2005},"citing_paper":{"arxiv_id":"1908.01324","last_updated":"2019-08-04T12:18:50Z","snapshot_observed_at":"2026-08-16T22:20:29.615581Z","submitted_at":"2019-08-04T12:18:50Z","title":"CREST: Hardware Formal Verification with ANSI-C Reference Specifications","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-14T15:19:20.822320Z"},"links":{"citing_paper":"/paper/1908.01324"},"observation_digest":"sha256:5cb3874da97d6673c15d69cc6e5062d5bf05f76310ab1bf7653960a80bba1b9d","observation_id":"ca343d98-480d-4ce9-b80f-843426a45318","resolution":{"observed_at":"2026-08-14T15:19:20.952418Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:19:20.931894Z","title":"O'Leary, R","venue":null,"work_id":"1397f7d8-9b3e-4fc3-b23b-24fe8f279a52","year":2013},"citing_paper":{"arxiv_id":"1908.01324","last_updated":"2019-08-04T12:18:50Z","snapshot_observed_at":"2026-08-16T22:20:29.615581Z","submitted_at":"2019-08-04T12:18:50Z","title":"CREST: Hardware Formal Verification with ANSI-C Reference Specifications","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-14T15:19:20.827252Z"},"links":{"citing_paper":"/paper/1908.01324"},"observation_digest":"sha256:3f604b83a51e8458fba73160c1b6ea2368c37fb42c9af5b3205d86e353e2adb0","observation_id":"da107a23-81f7-4110-9fa2-4331bf87591c","resolution":{"observed_at":"2026-08-14T15:19:20.936631Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:19:20.916451Z","title":null,"venue":null,"work_id":"2ec3385b-f0a8-4b12-be41-136061b6b9c5","year":2019},"citing_paper":{"arxiv_id":"1908.01324","last_updated":"2019-08-04T12:18:50Z","snapshot_observed_at":"2026-08-16T22:20:29.615581Z","submitted_at":"2019-08-04T12:18:50Z","title":"CREST: Hardware Formal Verification with ANSI-C Reference Specifications","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-14T15:19:20.832133Z"},"links":{"citing_paper":"/paper/1908.01324"},"observation_digest":"sha256:34d142c250a5627547dd87a65141b0d279fae42efe0386ae83983f12e7ea67cd","observation_id":"291a5ff9-ba08-4194-98a2-b6094d3362fb","resolution":{"observed_at":"2026-08-14T15:19:20.921249Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:19:20.900906Z","title":null,"venue":null,"work_id":"43a5dbde-7019-4e75-9986-dd7a84ce42b3","year":2019},"citing_paper":{"arxiv_id":"1908.01324","last_updated":"2019-08-04T12:18:50Z","snapshot_observed_at":"2026-08-16T22:20:29.615581Z","submitted_at":"2019-08-04T12:18:50Z","title":"CREST: Hardware Formal Verification with ANSI-C Reference Specifications","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-14T15:19:20.836723Z"},"links":{"citing_paper":"/paper/1908.01324"},"observation_digest":"sha256:83b49195f73f7ce839bebdb9d7647ffb66ebaeb95713d41d319e0e6ea16daff5","observation_id":"f70b7271-f0a6-47c5-a5e1-f04046f8c30c","resolution":{"observed_at":"2026-08-14T15:19:20.905599Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:19:20.883434Z","title":"Dawson, ``Sequential floating point adder,'' (Accessed 22 Jan","venue":null,"work_id":"cceb94d4-04c0-4e37-8f06-845b36f4cbb5","year":2019},"citing_paper":{"arxiv_id":"1908.01324","last_updated":"2019-08-04T12:18:50Z","snapshot_observed_at":"2026-08-16T22:20:29.615581Z","submitted_at":"2019-08-04T12:18:50Z","title":"CREST: Hardware Formal Verification with ANSI-C Reference Specifications","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-14T15:19:20.841667Z"},"links":{"citing_paper":"/paper/1908.01324"},"observation_digest":"sha256:945f28626ed64144cb0d88032876a50bb2d8f5f97c4abfecd734b5b65748954a","observation_id":"045cc979-d964-4225-98ae-b58847c7e30f","resolution":{"observed_at":"2026-08-14T15:19:20.890093Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.01324","last_updated":"2019-08-04T12:18:50Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-16T22:20:29.615581Z","submitted_at":"2019-08-04T12:18:50Z","title":"CREST: Hardware Formal Verification with ANSI-C Reference Specifications"},"reference_resolution":{"displayed":11,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":6,"verified_exact":0,"verified_fuzzy":5},"total_outbound_references":11},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 11 of 11 outbound references and 0 inbound Pith citation observations for arXiv:1908.01324."}