{"as_of":"2026-08-07T19:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9d347285994fd26f18753f2e5782c0d5ad071e296a17c6768b44efd159416687","coverage":[{"denominator":36,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":36,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T10:47:09.747207Z","state":"measured"},{"denominator":36,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":36,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+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/2510.08889/citation-record","integrity":"/paper/2510.08889/integrity","json":"/paper/2510.08889/citation-record.json","paper":"/paper/2510.08889"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T10:47:08.685216Z","title":"ACM Program","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:08.685216Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:63083f29a5797887f1f63f79a9e434f37b855fff5dbaaa77317a438b8ecb4396","observation_id":"a29fcea8-0890-48e6-b7cc-8737451d67da","resolution":{"observed_at":"2026-08-04T10:47:08.685216Z","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-04T10:47:08.855677Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:08.855677Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:b57fff9420368a5ee7525ef6e48208ebae60b9c4251684e831888b700e337511","observation_id":"bea892d2-3204-49d3-b39c-cad2841d068c","resolution":{"observed_at":"2026-08-04T10:47:08.855677Z","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-04T10:47:08.973461Z","title":"Surv.54, 5 (2022), 98:1–98:38","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:08.973461Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:8fc1ed56566dce98875a304afaf354b1c7a6c2abfabd451b39c085f36574a012","observation_id":"dab55245-eaaa-4faa-9a04-98d2c63e565b","resolution":{"observed_at":"2026-08-04T10:47:08.973461Z","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-04T10:47:09.394288Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.394288Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:d16d2b72ea6f02775644159e2cb68ef595925c38ff429146b9798da89b15a9cb","observation_id":"b36b8f5b-a6a8-468c-9385-2fa74cce947a","resolution":{"observed_at":"2026-08-04T10:47:09.394288Z","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-04T10:47:09.515945Z","title":"arXiv:2509.04253 [cs] Fritz Henglein, Henning Makholm, and Henning Niss","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.515945Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:9d48363fc800e7e77cc8821fad13bf9b48d5cdf828c9ba251bc58884f57ff85e","observation_id":"99526a31-e6ca-4496-bd49-3bff0f08c695","resolution":{"observed_at":"2026-08-04T10:47:09.515945Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.08217","last_updated":"2026-06-10T15:25:44Z","snapshot_observed_at":"2026-07-06T17:59:12.103146Z","submitted_at":"2024-04-12T03:03:00Z","title":"Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.08217","snapshot_observed_at":"2026-08-04T10:47:09.669246Z","title":"arXiv:2404.08217 [cs] Oleg Kiselyov and Hiromi Ishii","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.669246Z"},"links":{"cited_paper":"/paper/2404.08217","citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:b348743998881923da8cae3eb12b2c551188825a3dc17d6efe99e8db2e9a2f5a","observation_id":"302a098d-17fa-41b6-90d1-7531b0182a2f","resolution":{"observed_at":"2026-08-04T10:47:09.669246Z","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-04T10:47:09.679064Z","title":"InOOPSLA","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.679064Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:9fc51a5d4da3f5966ea21bcdbee9e2f433a88ff8fa6bcbf1ff7f7abd9c78852f","observation_id":"7cfda408-68ca-42e9-9111-d68c79dce45c","resolution":{"observed_at":"2026-08-04T10:47:09.679064Z","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-04T10:47:09.693199Z","title":"ACM Program","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.693199Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:d6a6322a752e2e0b75e3242642e923af632e24b21af53f7b881fc619772a6ed5","observation_id":"5ef7e875-1287-4db1-be72-2047947fc040","resolution":{"observed_at":"2026-08-04T10:47:09.693199Z","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-04T10:47:09.697838Z","title":"Methods Comput","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.697838Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:f5f747d16938f01dae46252d29a92885272e3846968f2e54f9a45a2ab852db2e","observation_id":"2573083f-a1bb-4e60-b66e-7240b20133d3","resolution":{"observed_at":"2026-08-04T10:47:09.697838Z","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-04T10:47:09.702084Z","title":"ACM Program","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.702084Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:738e0a54f196f0bdddc6d5174dca9f437a7cae66b306f1a77482bb51ba6f527d","observation_id":"416f25d9-0719-433c-be48-5b4d6d9df487","resolution":{"observed_at":"2026-08-04T10:47:09.702084Z","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-04T10:47:09.712763Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.712763Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:f6265cfb9a9803c04fb442dffae3a5c125446ae9b24fa4c12cfb763e28c9bdb9","observation_id":"bdc3956f-c4b4-4eb3-880b-def071b51333","resolution":{"observed_at":"2026-08-04T10:47:09.712763Z","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-04T10:47:09.717251Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.717251Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:f0616962b4312a0ed4e02ea9f7b88ab7d3d3a0131e9e3b178227dc77d0e45b10","observation_id":"10dbb0d0-c275-44c8-b853-bf405fb07123","resolution":{"observed_at":"2026-08-04T10:47:09.717251Z","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-04T10:47:09.732301Z","title":"ACM Program","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.732301Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:2eb5b316e08baf6a958af60dad05d38a298aa8f7d071cd099b53c9c7d594185f","observation_id":"c5fe3e07-a2e1-48d3-9ef2-e2f1b45330ba","resolution":{"observed_at":"2026-08-04T10:47:09.732301Z","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-04T10:47:09.737250Z","title":"ACM Program","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.737250Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:e07a0f4a6028e16801f842fe496d46c3e09f804ec4c0a62a527688d412e5b807","observation_id":"a08bb045-b1a7-435c-8406-38ea09cedf1c","resolution":{"observed_at":"2026-08-04T10:47:09.737250Z","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-04T10:47:09.742750Z","title":"ACM Program","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.742750Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:44a9e491c995dc759eaaa6252c39f4f75704d9bec0d5495f1f3b5244476328a6","observation_id":"ae23b9cd-bb35-47d6-a9eb-383a6a3748c5","resolution":{"observed_at":"2026-08-04T10:47:09.742750Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.06496","last_updated":"2023-06-10T17:42:06Z","snapshot_observed_at":"2026-07-06T15:41:09.392388Z","submitted_at":"2023-06-10T17:42:06Z","title":"Formalizing Box Inference for Capture Calculus","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.06496","snapshot_observed_at":"2026-08-04T10:47:09.747207Z","title":"arXiv:2306.06496 [cs]","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.747207Z"},"links":{"cited_paper":"/paper/2306.06496","citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:e2e93600fd334ac62e1118ee932d9ff74cc1da441f6f8ec6d31e83359d50c37b","observation_id":"0ab53480-fac9-488d-88ee-b3f4e64cb42b","resolution":{"observed_at":"2026-08-04T10:47:09.747207Z","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-04T10:47:08.941306Z","title":"ACM9, 3 (1966), 143–155","venue":null,"work_id":null,"year":1966},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":1966,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:08.941306Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:27dffb079114842f2f40a4cc35fee1b74acd1d431100b23be463e4e4ba5874e0","observation_id":"44e21a37-7ae4-40de-93e6-81ec287add70","resolution":{"observed_at":"2026-08-04T10:47:08.941306Z","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-04T10:47:09.706835Z","title":"IEEE Trans","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":1986,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.706835Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:64df970b0e240d78cd4d5abc0fc6d19488a31658fbb5db930a43bdad82265bbf","observation_id":"20157975-54a7-412c-9a76-191a3ad112f1","resolution":{"observed_at":"2026-08-04T10:47:09.706835Z","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-04T10:47:09.314488Z","title":null,"venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":1987,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.314488Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:6c81aa588c2f93de6b2f475d9ac4e5ddf34a9710d1a80e0a9ec5dfdced7dcb71","observation_id":"20a9494c-47d4-4e07-b1b8-ecc5f3cd98b0","resolution":{"observed_at":"2026-08-04T10:47:09.314488Z","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-04T10:47:08.899879Z","title":null,"venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":1992,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:08.899879Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:67c11caacc323af80a90594c38c972f5caa9ebc5d7045f1e68c509a6fab87aea","observation_id":"bc3df858-8fdd-4ce8-ac9c-ba180ecefe35","resolution":{"observed_at":"2026-08-04T10:47:08.899879Z","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-04T10:47:09.134180Z","title":"In Proceedings of the ACM SIGPLAN’93 Conference on Programming Language Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June 23-25, 1993, Robert Cartwright (Ed.)","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":1993,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.134180Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:f91f3deb3befa6da1c4e85adcf902a971a6b5d221f75ef3cfabc2dcd5b0bf132","observation_id":"7ce436be-2a1a-4a0f-8a63-c1ace6979e9b","resolution":{"observed_at":"2026-08-04T10:47:09.134180Z","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-04T10:47:09.727615Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":2003,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.727615Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:c9ad119d934b03321b64e52dbf385866ece0afe4665ce33de4f99c6dbd7e8f1a","observation_id":"1741b093-38c7-4483-9b98-79cab354e7ec","resolution":{"observed_at":"2026-08-04T10:47:09.727615Z","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-04T10:47:09.722548Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":2006,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.722548Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:5d92d6889d2a2c9f27e1170ed515d7acd17bdbf4fe89027d7ccde7a72b1c707b","observation_id":"b3ac3b45-f282-4c94-ac06-0ce6c0b10395","resolution":{"observed_at":"2026-08-04T10:47:09.722548Z","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-04T10:47:09.004636Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":2008,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.004636Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:16542be7e65f91782e12b71d5911a952961aeafc12a28bb99ecb5473136bb0ab","observation_id":"c4888628-d3fd-41de-9114-4c9dda4f5d19","resolution":{"observed_at":"2026-08-04T10:47:09.004636Z","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-04T10:47:09.214504Z","title":"ACM Trans","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":2014,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.214504Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:d808fe2d023422ffc019052e4771d88d301236aba35e939817646c6bfe9175e0","observation_id":"de50862f-b093-4078-987e-a16822cb4e79","resolution":{"observed_at":"2026-08-04T10:47:09.214504Z","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-04T10:47:09.664647Z","title":"InProceedings of the 11th ACM SIGPLAN Workshop on Generic Programming(Vancouver, BC, Canada)(WGP 2015)","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.664647Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:897fda93ff222c6a02f638f75148537c9d9461d0afbe214d74c1550d159c9754","observation_id":"3ec1049f-98f0-41b6-8aa1-6baf2c9b9cc1","resolution":{"observed_at":"2026-08-04T10:47:09.664647Z","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-04T10:47:09.637707Z","title":"Surv.49, 1 (2016), 3:1–3:36","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.637707Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:517e91d050d5ce0fab94ddb2a7358b379b7b2f52632193f9276c5feffc0999cb","observation_id":"8a7bf2bd-a6ee-4120-ad19-fbf57e452d0f","resolution":{"observed_at":"2026-08-04T10:47:09.637707Z","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-04T10:47:09.684222Z","title":"ACM Program","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.684222Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:3315966a12242796fb96d6492a319181a713a5575d8cffc34e28b1f2c7126bbd","observation_id":"b1922dda-ebca-46f8-a0be-b47eaf2845bc","resolution":{"observed_at":"2026-08-04T10:47:09.684222Z","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-04T10:47:08.751877Z","title":"ACM Program","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:08.751877Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:5baa9b9eab95dbe7a9d18d45fd92ace210f75263c222dc8197c5fd1890c1567a","observation_id":"214b6c21-c0f7-4692-ab07-3900e0cd20e5","resolution":{"observed_at":"2026-08-04T10:47:08.751877Z","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-04T10:47:09.674675Z","title":"InProceedings 12th Interaction and Concurrency Experience, ICE 2019, Copenhagen, Denmark, 20-21 June 2019 (EPTCS, Vol","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.674675Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:2b9f052c85bdb1375f02140ca4b94f60609c92b37c8445843ace770a8caf3ab2","observation_id":"8865f809-ff41-4351-bfb0-d16992611432","resolution":{"observed_at":"2026-08-04T10:47:09.674675Z","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-04T10:47:08.807771Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:08.807771Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:9a99d8be2468924bce1326a8bd27e319cc60497ad092b7734452283a7685410f","observation_id":"db2cab18-f4ee-4de3-925b-407c32ddd7e9","resolution":{"observed_at":"2026-08-04T10:47:08.807771Z","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-04T10:47:08.508756Z","title":"ACM Program","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:08.508756Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:14ca4d7c3f15f7adc7c82d53f22f99703c4d5c426ded2d14d702c6ad4772ad29","observation_id":"e7a65615-5f8f-46ef-bd09-d77bf42a7312","resolution":{"observed_at":"2026-08-04T10:47:08.508756Z","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-04T10:47:08.560136Z","title":"ACM Program","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:08.560136Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:a3aef556a92c42ad9a0b4f799e01a6d75786f2ac6f680c293601d772fd0cddf2","observation_id":"68046964-a17f-4797-a441-18ed880510eb","resolution":{"observed_at":"2026-08-04T10:47:08.560136Z","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-04T10:47:08.601255Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:08.601255Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:2d16e39e08129957db44d57ced79a5b4b16047984695cb4fa7ec5b7a09b3c9e0","observation_id":"1c58d025-0294-4bd9-be8a-27d2f728f181","resolution":{"observed_at":"2026-08-04T10:47:08.601255Z","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-04T10:47:09.688699Z","title":"ACM Program","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:09.688699Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:2e3096a7c7d2bdd190993670e82f4d9eb442e0847c86694113ab1fe014992b6b","observation_id":"e1f6355d-3200-42ae-9e63-7db53a27a893","resolution":{"observed_at":"2026-08-04T10:47:09.688699Z","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-04T10:47:08.472305Z","title":"ACM Program","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities","version":2},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-04T10:47:08.472305Z"},"links":{"citing_paper":"/paper/2510.08889"},"observation_digest":"sha256:527add57be030ff209a2269b2e72714ddbb3d389f2b8c4786ecf768796bb7240","observation_id":"f32c4f7d-9daa-4e24-ab5a-bb49173017f6","resolution":{"observed_at":"2026-08-04T10:47:08.472305Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2510.08889","last_updated":"2026-06-10T19:16:05Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-04T10:47:07.253882Z","submitted_at":"2025-10-10T00:59:11Z","title":"Typestate via Revocable Capabilities"},"reference_resolution":{"displayed":36,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":36,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":36},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 0 inbound Pith citation observations for arXiv:2510.08889."}