{"as_of":"2026-08-08T03:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:dc814bfcfd27130c4dd4b95f37d75e4a6e6709da24e2b1c7ac41309fb9cb1fce","coverage":[{"denominator":31,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T11:34:12.458359Z","state":"measured"},{"denominator":31,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":31,"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/2506.02182/citation-record","integrity":"/paper/2506.02182/integrity","json":"/paper/2506.02182/citation-record.json","paper":"/paper/2506.02182"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3428.20713","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:34:17.640389Z","title":"Better static memory management: improving region-based analysis of higher-order languages","venue":null,"work_id":"c29f8782-ee6a-4035-8480-fb0108112d9d","year":1995},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:08.869712Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:48a83ee21c3f5ac1f7c404b684af83e2ec1602b426a6c3cbbe31f10c03502954","observation_id":"704e5fbe-8687-42d0-987a-477d0cb745fe","resolution":{"observed_at":"2026-08-07T11:34:17.723943Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T11:34:18.551130Z","title":null,"venue":null,"work_id":"a43fa46e-bfcf-4c58-8f56-dfc006c18179","year":1999},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:08.958250Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:35ff6e7806b85612eaa62c1b0f259d54bad25e4560eae5bd8651beb496c7aed5","observation_id":"0c645e66-4c15-4df0-b760-241d1d2bbb9a","resolution":{"observed_at":"2026-08-07T11:34:18.640563Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T11:34:18.248244Z","title":"Barrett, Aaron Stump, and Cesare Tinelli","venue":null,"work_id":"20ff2ca3-9bef-4b72-b7cf-da0f90674e48","year":2010},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:09.090935Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:a2b0f292c920ecd55af04b4b7a0f08a10677d12ad1c45b63b2f960cb06c80f2e","observation_id":"07f5674f-5781-4069-bce6-825a97a76e64","resolution":{"observed_at":"2026-08-07T11:34:18.441944Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7721.23777","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:34:17.341023Z","title":"From region inference to von neumann machines via region representation inference","venue":null,"work_id":"a0da8ae8-51fd-469d-bd77-c8d95134049a","year":1996},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:09.190981Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:523cb6b487f09c1238cf3bbc7512cf0fbcb1e00a86c87c8568ca9c8ff4f16bd6","observation_id":"1c91812e-8151-43c9-a0db-22b6224707da","resolution":{"observed_at":"2026-08-07T11:34:17.456503Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T11:34:18.064400Z","title":"Typing safe deallocation","venue":null,"work_id":"a82061e2-ee8a-4471-a653-eeed6d06679a","year":2008},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:09.275109Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:18ef5308250126580951fa23f037373d676514c4a40ccf52932dd192e33716f8","observation_id":"02fb187e-159c-491f-a6b9-7bd4f494cf97","resolution":{"observed_at":"2026-08-07T11:34:18.146744Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0822.78116","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:34:17.014649Z","title":"Ownership types for safe region-based memory management in real-time java","venue":null,"work_id":"7d095458-2a35-43ab-9d9b-3f45503d9922","year":2003},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:09.395305Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:0f277bffc8f1176d8d574ae46e31d84ed8d42e41470bb79d2812ac915064e0f8","observation_id":"bcbe1565-c4b0-400e-908b-37c33274a1da","resolution":{"observed_at":"2026-08-07T11:34:17.152010Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2001.3112","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:34:16.692510Z","title":"Syntactic type soundness results for the region calculus","venue":null,"work_id":"eb39af18-17ee-4ddc-82d1-4a6b7cd4d86f","year":2002},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:09.525120Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:024fece7172cdcf2b8f3e7e6abac4023f054782b6796aca6dc5ab408a25b28b4","observation_id":"6bd49416-c275-4c83-97dc-431093b86ca5","resolution":{"observed_at":"2026-08-07T11:34:16.782477Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2540.29256","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:34:16.398284Z","title":"Typed memory management in a calculus of capabilities","venue":null,"work_id":"8ff96a69-3f3b-4a48-9d75-20caff51f81e","year":1999},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:09.653946Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:b007c61862db98556b376c98b8df33c8c1bc2d5b1683330c5d49f3d73f4fab16","observation_id":"563eceb0-0588-44cb-bae1-f68511fbbd9b","resolution":{"observed_at":"2026-08-07T11:34:16.486022Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3039.51243","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:34:16.091020Z","title":null,"venue":null,"work_id":"e43ce33d-8cf3-4168-8d9b-dd048b0f8d67","year":2002},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:09.771256Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:fbcd1c6e66d75074f5a7e7bab9dcb8653c1fbc6784ccc1d51631dadf10f29105","observation_id":"cbc21740-681e-4e46-b1aa-58f07a5c9f5e","resolution":{"observed_at":"2026-08-07T11:34:16.211794Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T11:34:09.883418Z","title":"Linear regions are all you need","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:09.883418Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:e609be7aa6fc379cce47cfa8676c72c1dd182863fdfa1a097b6064dea395fb29","observation_id":"b6f6b5df-d023-4907-a6e0-fa13734cfadb","resolution":{"observed_at":"2026-08-07T11:34:09.883418Z","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":"3446.11346","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:34:15.789638Z","title":"Refinement types for ml","venue":null,"work_id":"d9fb7710-06a4-4d0d-a887-555a9dfecc33","year":1991},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:09.993097Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:6c63bfac921217d11cde6e30b58da5e305bbddc181d26ea851e46a2d276eb667","observation_id":"896d0e1c-e133-4d36-b0ac-b229c6b1a001","resolution":{"observed_at":"2026-08-07T11:34:15.896313Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7652.27774","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:34:15.527104Z","title":"Memory management with explicit regions","venue":null,"work_id":"70fd70e6-4f4d-4f23-8300-dd69613c541a","year":1998},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:10.065217Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:fcc33c9361ab4f28dc121aae7f5e4a560241b8a19482b07b0bdc722501bd26d6","observation_id":"491f1d7a-2fb8-4db1-ac50-aa9c448fe2be","resolution":{"observed_at":"2026-08-07T11:34:15.594312Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1694.37881","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:34:15.255315Z","title":"Language support for regions","venue":null,"work_id":"b97fa37e-5511-4223-b5a5-a296dc6e5aa1","year":2001},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:10.177866Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:206196cee2ff5387890503d0bece29006ac1c625c31427c5407c11f2d768434b","observation_id":"015332e7-ec31-4386-94eb-b5a117af6667","resolution":{"observed_at":"2026-08-07T11:34:15.326804Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T11:34:10.294115Z","title":"Gifford and John M","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:10.294115Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:182a7e032638b970a93ef86fc33d462689a88bba5d7b977a2c9919ff8bbb4678","observation_id":"a9efc11d-c0c3-4dec-9c54-4d3daa59ff99","resolution":{"observed_at":"2026-08-07T11:34:10.294115Z","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-07T11:34:10.375191Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:10.375191Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:3afddc53c5e9e6f0bc2220afbadea89add8e9a63a8ff57010f29eda1eeb77be0","observation_id":"e0ab003e-2fe9-4865-a4a5-ae1b990ef500","resolution":{"observed_at":"2026-08-07T11:34:10.375191Z","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":"3552.51254","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:34:14.873606Z","title":"Combining region inference and garbage collection","venue":null,"work_id":"e0622416-c4f2-4d4b-84cc-525273acb184","year":2002},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:10.462297Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:045e28014913bc3ae93f3ca3d88fda9f760c32dee321eb06fbfa92c7958f16d8","observation_id":"c66350de-0e86-4bda-b7c9-f9498c4f7375","resolution":{"observed_at":"2026-08-07T11:34:14.976633Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s1571-0661(04)80870-3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:34:12.628007Z","title":"Syntactic type soundness for the region calculus","venue":null,"work_id":"618bc3ce-27d7-473d-86f2-a302620b59ea","year":2001},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:10.577462Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:2211a9bfaadd10403cb42f70aec783e5a71aceed11370a0cfabd27cdd392dc17","observation_id":"15112383-7fa6-4fdf-abd1-2a6e227448a0","resolution":{"observed_at":"2026-08-07T11:34:12.706554Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T11:34:10.712419Z","title":"Refinement types: A tutorial","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:10.712419Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:04f2c83a0713339d6e9eabd5622baf78e706db0ab5a405bfe0988c96ca4ddb50","observation_id":"c8cf82bb-06cb-4a8c-bcc8-14b64d8140cc","resolution":{"observed_at":"2026-08-07T11:34:10.712419Z","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-07T11:34:10.851139Z","title":"Rustbelt: securing the foundations of the rust programming language","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:10.851139Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:9023786a0aa7dc2a1ada4d7a2b6155bef699c5fa5d41b75c66910456eacad3ee","observation_id":"08b83300-ab4f-4fc6-b859-c6aa3ec71c2c","resolution":{"observed_at":"2026-08-07T11:34:10.851139Z","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-07T11:34:10.958484Z","title":null,"venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:10.958484Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:bec9190b0395a9214cf12c7a8fb7682b41f5553f8144c5df70f00f911d1b4ea1","observation_id":"f9b91807-d37d-4c15-98d7-0e855c371e04","resolution":{"observed_at":"2026-08-07T11:34:10.958484Z","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":"2426.36243","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:34:14.443301Z","title":"A region-based memory manager for prolog","venue":null,"work_id":"01a0dfd8-7872-4ff9-82a4-af8c2b2cadc0","year":2000},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:11.084783Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:23a74009bd841fe60f6daf1567edd124acc8e3ad202ef2fc06565107fbd4b839","observation_id":"dbeac5ea-9dc3-4846-86fc-8ebfff5c7059","resolution":{"observed_at":"2026-08-07T11:34:14.584830Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4746.94472","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:34:14.126239Z","title":"An effective theory of type refinements","venue":null,"work_id":"cd7fb2c7-0014-4442-a001-fcf84a21b147","year":2003},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:11.237788Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:3024a7298963011e147ad2ffe2fab9d48c025232206ca1d0305924499e650e9e","observation_id":"36f1e4d3-0a86-49b9-b03d-14542a2749f8","resolution":{"observed_at":"2026-08-07T11:34:14.230444Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T11:34:11.378076Z","title":"Effect systems revisited--control-flow algebra and semantics","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:11.378076Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:e78e78d1f32d29749e2533704a1f3ea8508686c72e59c20d45a4f29a0a6a4b75","observation_id":"d887593e-e080-44fc-9aa1-c2ee416c76fb","resolution":{"observed_at":"2026-08-07T11:34:11.378076Z","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-07T11:34:11.504081Z","title":"Effects as sessions, sessions as effects","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:11.504081Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:26bf382061ca4ad6dccd9648534bb4b155ad0d6568b8df6948720f2b47f816f7","observation_id":"678d6422-789e-4661-a11c-0246cfb5451c","resolution":{"observed_at":"2026-08-07T11:34:11.504081Z","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":"1891.29189","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:34:13.729937Z","title":"A region inference algorithm","venue":null,"work_id":"5fbf550d-7422-41d9-9a43-1ef12853241b","year":1998},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:11.648716Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:086871ad46ec00370906d23502aa77925fbf52d9fc5b969390b20986f7cf85f1","observation_id":"2e77cd97-c0d6-4182-b1e9-019fa74161c5","resolution":{"observed_at":"2026-08-07T11:34:13.878897Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9446.78563","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:34:13.457701Z","title":"A retrospective on region-based memory management","venue":null,"work_id":"3591be12-dba4-498b-8296-80d73e96a5a9","year":2004},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:11.804400Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:1bcbcf863ffc0ec2035976eb03bb62fd4857ec1f2e2e5d7c9756e910fe446834","observation_id":"697c022f-6b2c-4b24-acba-b3511bf06114","resolution":{"observed_at":"2026-08-07T11:34:13.556573Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T11:34:17.840306Z","title":"Programming with regions in the ml kit (for version 4)","venue":null,"work_id":"2a3a9b3e-eda8-487d-8e27-9a820b55ac79","year":2001},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:11.912854Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:543aeb544bcc319a21f933596570f8af0332acc0cd4f3329fb5186099d246f3f","observation_id":"d5fe9772-266b-49cc-81b3-38742fc419af","resolution":{"observed_at":"2026-08-07T11:34:17.967930Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4675.17785","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:34:13.129975Z","title":"Implementation of the typed call-by-value -calculus using a stack of regions","venue":null,"work_id":"a31050d4-7536-49b3-9397-b972ecf7a29b","year":1994},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:12.038306Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:209865068ab5d5c7b147702c19d2b9ba395f8f64386d09e7596b1ac2d70e5231","observation_id":"3a56e90c-342f-47fa-b67d-a0dddaa4944b","resolution":{"observed_at":"2026-08-07T11:34:13.238118Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T11:34:12.146065Z","title":"Region-based memory management","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:12.146065Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:33b90671cd5707147b878ac17fcc0e2bb16b92b2c093349471904485ac3d9d4a","observation_id":"b5f1a841-7d26-4ac4-8a4c-7fef86b3f580","resolution":{"observed_at":"2026-08-07T11:34:12.146065Z","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-07T11:34:12.302795Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:12.302795Z"},"links":{"citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:1adf3e450281f132c52c41301acebc53919f7ee88a4ba31e1b7be0921b976b25","observation_id":"fce35e4a-75a1-4768-91b6-64b4ce925053","resolution":{"observed_at":"2026-08-07T11:34:12.302795Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1903.00982","last_updated":"2021-10-19T18:35:43Z","snapshot_observed_at":"2026-07-06T07:36:45.191416Z","submitted_at":"2019-03-03T20:22:37Z","title":"Oxide: The Essence of Rust","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1903.00982","snapshot_observed_at":"2026-08-07T11:34:12.458359Z","title":"Oxide: The essence of rust, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-07T11:34:12.458359Z"},"links":{"cited_paper":"/paper/1903.00982","citing_paper":"/paper/2506.02182"},"observation_digest":"sha256:59be4731bb822e3410fd785ac3bfd3b2e4c1794b279e6e812d30b2607e79dc6b","observation_id":"aabfbb99-26e1-4d46-b1ec-f5ae187d08a8","resolution":{"observed_at":"2026-08-07T11:34:12.458359Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2506.02182","last_updated":"2025-06-02T19:11:46Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-07T19:16:44.883887Z","submitted_at":"2025-06-02T19:11:46Z","title":"Spegion: Implicit and Non-Lexical Regions with Sized Allocations"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":0,"metadata_mismatch":13,"parse_uncertain":0,"unresolved":12,"verified_exact":3,"verified_fuzzy":3},"total_outbound_references":31},"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 8 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2506.02182."}