{"as_of":"2026-08-11T18:40:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:abee5ae730bbc368ab8610b7ae6a523532377ee797a4e2f2e4c39343e4df1ce8","coverage":[{"denominator":12,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":12,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T20:09:01.617175Z","state":"measured"},{"denominator":12,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":12,"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.09430/citation-record","integrity":"/paper/2501.09430/integrity","json":"/paper/2501.09430/citation-record.json","paper":"/paper/2501.09430"},"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-10T20:09:02.008488Z","title":"Henzinger, and Pei-Hsin Ho","venue":null,"work_id":"b039e83b-3dd7-47fb-9d05-d5e160764f4b","year":1997},"citing_paper":{"arxiv_id":"2501.09430","last_updated":"2025-01-16T09:58:34Z","snapshot_observed_at":"2026-08-10T22:25:21.743961Z","submitted_at":"2025-01-16T09:58:34Z","title":"HpC: A Calculus for Hybrid and Mobile Systems -- Full Version","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T20:09:01.522839Z"},"links":{"citing_paper":"/paper/2501.09430"},"observation_digest":"sha256:16ef0d5ca5795f9961bc571fe414e7291095e33478da6feb1d5da718c4e6d4f8","observation_id":"5494880c-a440-48ab-b3a0-46b45848b0eb","resolution":{"observed_at":"2026-08-10T20:09:02.020510Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:09:01.977626Z","title":null,"venue":null,"work_id":"e52493ff-fc72-48e6-855c-3fecb38a8ffd","year":2024},"citing_paper":{"arxiv_id":"2501.09430","last_updated":"2025-01-16T09:58:34Z","snapshot_observed_at":"2026-08-10T22:25:21.743961Z","submitted_at":"2025-01-16T09:58:34Z","title":"HpC: A Calculus for Hybrid and Mobile Systems -- Full Version","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T20:09:01.531725Z"},"links":{"citing_paper":"/paper/2501.09430"},"observation_digest":"sha256:d6369b116a353d42c4c59ae2c96f647b9d85161a9236d92294f9ccebfbd94005","observation_id":"06755c22-13e6-4815-b6fd-56850be6e235","resolution":{"observed_at":"2026-08-10T20:09:01.988660Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:09:01.951305Z","title":null,"venue":null,"work_id":"2c2ed697-44af-44c2-930b-82a01561f17c","year":2023},"citing_paper":{"arxiv_id":"2501.09430","last_updated":"2025-01-16T09:58:34Z","snapshot_observed_at":"2026-08-10T22:25:21.743961Z","submitted_at":"2025-01-16T09:58:34Z","title":"HpC: A Calculus for Hybrid and Mobile Systems -- Full Version","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T20:09:01.539700Z"},"links":{"citing_paper":"/paper/2501.09430"},"observation_digest":"sha256:48ef7454c94429f6e3156ae37b3c25e48c526c06a58c1afe49503d9cbca8e013","observation_id":"30cec2f4-f4d7-4af0-921b-a26e4377b3df","resolution":{"observed_at":"2026-08-10T20:09:01.959598Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:09:01.911917Z","title":"Henzinger","venue":null,"work_id":"3397a3c9-2fbb-477c-af91-f5f2911ee28b","year":1996},"citing_paper":{"arxiv_id":"2501.09430","last_updated":"2025-01-16T09:58:34Z","snapshot_observed_at":"2026-08-10T22:25:21.743961Z","submitted_at":"2025-01-16T09:58:34Z","title":"HpC: A Calculus for Hybrid and Mobile Systems -- Full Version","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T20:09:01.545989Z"},"links":{"citing_paper":"/paper/2501.09430"},"observation_digest":"sha256:61af944bce7ac0349528f8415b49d9911dc8f2916e52bf7ae165552b23a56d16","observation_id":"1d483ede-08f1-4461-b696-9302e395e79d","resolution":{"observed_at":"2026-08-10T20:09:01.922720Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:09:01.878031Z","title":null,"venue":null,"work_id":"f9ee7a83-0da3-45bc-8d63-89414f60ce1c","year":1978},"citing_paper":{"arxiv_id":"2501.09430","last_updated":"2025-01-16T09:58:34Z","snapshot_observed_at":"2026-08-10T22:25:21.743961Z","submitted_at":"2025-01-16T09:58:34Z","title":"HpC: A Calculus for Hybrid and Mobile Systems -- Full Version","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T20:09:01.554240Z"},"links":{"citing_paper":"/paper/2501.09430"},"observation_digest":"sha256:2e5341467be029e5fedaace9e9fb2f6eef3f95c6ba1efacb6cffb803d91e749b","observation_id":"4ef54d1f-4331-4d28-9be5-bb239a6c2549","resolution":{"observed_at":"2026-08-10T20:09:01.888568Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:09:01.853408Z","title":null,"venue":null,"work_id":"9834e922-8370-493a-b744-9f1092ec4f50","year":2013},"citing_paper":{"arxiv_id":"2501.09430","last_updated":"2025-01-16T09:58:34Z","snapshot_observed_at":"2026-08-10T22:25:21.743961Z","submitted_at":"2025-01-16T09:58:34Z","title":"HpC: A Calculus for Hybrid and Mobile Systems -- Full Version","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-10T20:09:01.560653Z"},"links":{"citing_paper":"/paper/2501.09430"},"observation_digest":"sha256:699f63bc63202aa7932ab9da4cb91b7072418126fb144efb8c41fbd29979fcb3","observation_id":"b39c431e-c590-462c-bf7e-a22aa0a7822a","resolution":{"observed_at":"2026-08-10T20:09:01.861327Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:09:01.823599Z","title":null,"venue":null,"work_id":"0c69ebca-f926-448b-9a66-2b36901b10c2","year":2013},"citing_paper":{"arxiv_id":"2501.09430","last_updated":"2025-01-16T09:58:34Z","snapshot_observed_at":"2026-08-10T22:25:21.743961Z","submitted_at":"2025-01-16T09:58:34Z","title":"HpC: A Calculus for Hybrid and Mobile Systems -- Full Version","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-10T20:09:01.572188Z"},"links":{"citing_paper":"/paper/2501.09430"},"observation_digest":"sha256:00d23820835ba6fb4743adb03655af9f397aacdf84c80adbc5d8ce828ac7ac6e","observation_id":"8cf87069-c7de-4f1d-8f2b-7d5d6a313a92","resolution":{"observed_at":"2026-08-10T20:09:01.834610Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:09:01.796982Z","title":null,"venue":null,"work_id":"319c433c-f968-4ccc-96bb-b24c0e3f402c","year":1993},"citing_paper":{"arxiv_id":"2501.09430","last_updated":"2025-01-16T09:58:34Z","snapshot_observed_at":"2026-08-10T22:25:21.743961Z","submitted_at":"2025-01-16T09:58:34Z","title":"HpC: A Calculus for Hybrid and Mobile Systems -- Full Version","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-10T20:09:01.578546Z"},"links":{"citing_paper":"/paper/2501.09430"},"observation_digest":"sha256:6531dc3358a242ee1076386f05491a995a656d7c44bd127b6287469f10e0a8a1","observation_id":"c7b507d8-6e96-45ce-a327-52cb328195eb","resolution":{"observed_at":"2026-08-10T20:09:01.803883Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:09:01.763451Z","title":null,"venue":null,"work_id":"9d24f4f7-29f6-4591-b536-39759bb2b8c5","year":1992},"citing_paper":{"arxiv_id":"2501.09430","last_updated":"2025-01-16T09:58:34Z","snapshot_observed_at":"2026-08-10T22:25:21.743961Z","submitted_at":"2025-01-16T09:58:34Z","title":"HpC: A Calculus for Hybrid and Mobile Systems -- Full Version","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-10T20:09:01.589260Z"},"links":{"citing_paper":"/paper/2501.09430"},"observation_digest":"sha256:91fa1f95d2690fe9bf691894bceae161aad8c13ba4d875c230b1cd58c82e6356","observation_id":"6fe25c6b-f5cc-48de-a0b9-eb29afb9e411","resolution":{"observed_at":"2026-08-10T20:09:01.770385Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:09:01.735760Z","title":null,"venue":null,"work_id":"77f7c6f0-3a0e-4d94-88cf-27ba5964ac91","year":2008},"citing_paper":{"arxiv_id":"2501.09430","last_updated":"2025-01-16T09:58:34Z","snapshot_observed_at":"2026-08-10T22:25:21.743961Z","submitted_at":"2025-01-16T09:58:34Z","title":"HpC: A Calculus for Hybrid and Mobile Systems -- Full Version","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-10T20:09:01.600083Z"},"links":{"citing_paper":"/paper/2501.09430"},"observation_digest":"sha256:fc4d5f521c7c3b425a94b85a04f9188dd8b4954e27e8b46e1cc779b9bdc762da","observation_id":"147df06b-e152-4e81-9290-218f1f40c500","resolution":{"observed_at":"2026-08-10T20:09:01.746621Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T20:09:01.704165Z","title":null,"venue":null,"work_id":"354fa06b-0f9b-402f-ac49-8a73e2547323","year":2012},"citing_paper":{"arxiv_id":"2501.09430","last_updated":"2025-01-16T09:58:34Z","snapshot_observed_at":"2026-08-10T22:25:21.743961Z","submitted_at":"2025-01-16T09:58:34Z","title":"HpC: A Calculus for Hybrid and Mobile Systems -- Full Version","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-10T20:09:01.609236Z"},"links":{"citing_paper":"/paper/2501.09430"},"observation_digest":"sha256:6e4b234487bc749dc301d9948eb3473e8d35c37139d593ab5c461a588aae7df8","observation_id":"ffda45c7-e59b-41f5-abd7-c3b3ac99d251","resolution":{"observed_at":"2026-08-10T20:09:01.713307Z","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":{"arxiv_id":"2303.15020","last_updated":"2024-07-13T04:49:07Z","snapshot_observed_at":"2026-08-10T15:01:13.892231Z","submitted_at":"2023-03-27T09:13:38Z","title":"A Generalized Hybrid Hoare Logic","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.15020","snapshot_observed_at":"2026-08-10T20:09:01.617175Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.09430","last_updated":"2025-01-16T09:58:34Z","snapshot_observed_at":"2026-08-10T22:25:21.743961Z","submitted_at":"2025-01-16T09:58:34Z","title":"HpC: A Calculus for Hybrid and Mobile Systems -- Full Version","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-10T20:09:01.617175Z"},"links":{"cited_paper":"/paper/2303.15020","citing_paper":"/paper/2501.09430"},"observation_digest":"sha256:a2791bf1996d880c7c065b00f5cd235c7c8a4f7802a847d829ef2ba6b929bb95","observation_id":"7887780c-f993-433f-ad45-ddb3b9930a0d","resolution":{"observed_at":"2026-08-10T20:09:01.617175Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2501.09430","last_updated":"2025-01-16T09:58:34Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-10T22:25:21.743961Z","submitted_at":"2025-01-16T09:58:34Z","title":"HpC: A Calculus for Hybrid and Mobile Systems -- Full Version"},"reference_resolution":{"displayed":12,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":10,"verified_exact":0,"verified_fuzzy":1},"total_outbound_references":12},"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 12 of 12 outbound references and 0 inbound Pith citation observations for arXiv:2501.09430."}