{"as_of":"2026-08-06T10:04:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e58075d8bbe3a8a8591a89c63bedf462402d713ea7a5a25a6c1975e99bf37a6c","coverage":[{"denominator":33,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":33,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-12T02:30:31.668162Z","state":"measured"},{"denominator":35,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":35,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-06T06:34:29.942622+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-13T06:35:40.030219Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-10T05:36:48.482210Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"cited_work":{"arxiv_id":"2605.09411","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.09411","snapshot_observed_at":"2026-07-10T05:36:48.482210Z","title":"Persistent Amortised Analysis, Operationally","venue":"cs.PL","work_id":"54d27317-cb2a-4df5-a5af-cc3b0c227dc2","year":2026},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-06T09:10:20.000970Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-10T05:34:59.964919Z"},"links":{"cited_paper":"/paper/2605.09411","citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:ef1b490fe5c1598e8467ae9ea5353439d44fa3ceecd7d64f05056d99e6746ab8","observation_id":"90ec2514-9770-4495-87f7-8c0fb31ac847","resolution":{"observed_at":"2026-07-10T05:36:48.483528Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.09411","snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"https://doi.org/arXiv:2605.09411 Lambert Meertens","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-06T09:10:20.000970Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"cited_paper":"/paper/2605.09411","citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:df8fdbf3109c840e230b5982dac687a390872513eda3a5dd2d653a8c8bb55049","observation_id":"d6d08911-b9b4-44b7-9b65-734f92f64909","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2605.09411/citation-record","integrity":"/paper/2605.09411/integrity","json":"/paper/2605.09411/citation-record.json","paper":"/paper/2605.09411"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"2004 , publisher =","venue":null,"work_id":"7eda0a97-e595-47d0-9d20-aba15c07f085","year":2004},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:00d4dce2192f5dbf49d4757011912c3ec545195761885cf04ef2da6abb68dff7","observation_id":"dad08e13-c43a-4857-b705-0e60a2e11a97","resolution":{"observed_at":"2026-05-12T22:36:54.868825Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3674637","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Proceedings of the ACM on Programming Languages , volume =","venue":"Proceedings of the ACM on Programming Languages","work_id":"f289fdc8-cc3c-4ae5-a243-ef74b7491b86","year":2024},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:21a374f83f7563cbbae28f5cc91b999704b9c53ebea5087f1f3145dfd88599d7","observation_id":"e404741a-821a-4c6f-9323-eaaf73e47330","resolution":{"observed_at":"2026-05-12T02:31:15.896524Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4164.224210","doi":"10.1145/224164.224210","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Blelloch and John Greiner","venue":null,"work_id":"8ce5dc1d-b465-44a2-9fb9-6e63fa1c0fd5","year":1995},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:d095d562b8e56de9b02cc1c3db1c1565636a7677e38b52ac5e1fc740378ae23f","observation_id":"6527653b-f7a0-405f-a6fc-1581990a84da","resolution":{"observed_at":"2026-05-12T02:31:15.894127Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8438.132845","doi":"10.1145/1328438.1328457","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"2008 , publisher =","venue":null,"work_id":"5417c0f6-8021-427f-ac86-27883b6a320e","year":2008},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:264610c5b178c4669be3d7177f3f8f7bd94949bd1f172704df6a493b4fde892c","observation_id":"42943bbf-df2a-405a-b28e-0f337a2936b1","resolution":{"observed_at":"2026-05-12T02:31:15.850399Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0022-0000(89)90034-2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"[FL93] Joel Friedman and Nathan Linial","venue":"Journal of Computer and System Sciences","work_id":"70c4e159-6fb3-47ae-bff3-551c245bc634","year":1989},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:7ee3b16e9f3c0fdb2e82908e6092969ae3fbbdd60c60dd744bd1e3abf5c27511","observation_id":"35ba76cd-93fe-42c0-950b-9575a9bda98a","resolution":{"observed_at":"2026-05-12T02:31:15.872338Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-07-13T16:20:14.456543+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-13T16:20:14.456543+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5675.185791","doi":"10.1145/185675.185791","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Journal of the ACM (JACM) , volume =","venue":"Journal of the ACM","work_id":"08d45f48-c128-4357-8df9-7f06673b09cd","year":1994},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:2e4ab87bb5a1508a7153a50d5b7d3ed2a4b03a6fb35b1ceef1b7709e5d50c6fd","observation_id":"ed37806a-f437-420d-a2d4-da404d4e757e","resolution":{"observed_at":"2026-05-12T02:31:15.839609Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO) , year =","venue":null,"work_id":"7d5d7f32-3b67-4486-b740-3866af019a18","year":null},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:8651bfe5c2283268f8b4d82e6965dd69c7e5b1adf258d082b34d9c6af7de3567","observation_id":"ce649c22-7ab8-4f5d-af50-35be729cfe5f","resolution":{"observed_at":"2026-05-12T22:36:54.851616Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3236797","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Proceedings of the ACM on Programming Languages , volume =","venue":"Proceedings of the ACM on Programming Languages","work_id":"cbf481ac-f603-4dac-822e-0c442267db05","year":2018},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:9e58cfecec22c942523be7c61606fe0d872df445d1cc33d1efe07061c585dc5d","observation_id":"aba101ef-9ad3-4d23-ac20-acc6c86d9e22","resolution":{"observed_at":"2026-05-12T02:31:15.858055Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3341718","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Proceedings of the ACM on Programming Languages , volume =","venue":"Proceedings of the ACM on Programming Languages","work_id":"b30788af-f7ec-4e76-8e64-d7e1c332a3df","year":2019},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:142558e2d9812f80b332faf978b5c705dc8deef585e0d644d6a7c17df2cf24c0","observation_id":"79d84301-73d5-4e5d-90a0-61a9dbb08149","resolution":{"observed_at":"2026-05-12T02:31:15.847147Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-016-9398-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Type-Based Cost Analysis for Lazy Functional Languages , ty =","venue":"Journal of Automated Reasoning","work_id":"e6f7701a-c225-4ac3-a4f8-6e9ca848bfb5","year":2017},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:15b8f8312e8f60d7d92e17646a44f0176be55d477d4b7c2d12b5083083495145","observation_id":"d71b994a-3395-4252-bab6-034cc07b7bd5","resolution":{"observed_at":"2026-05-12T02:31:15.853218Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1137/s0097539798339430","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"2000 , publisher =","venue":"SIAM Journal on Computing","work_id":"11d75ba1-0d8f-4a77-9170-51eb19947ebd","year":2000},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:4b7da55eb115e1d80dd7224bd3d04cad186a8391a188e70e7624f93e4f3a0703","observation_id":"aebc1d8d-7a10-43fb-8519-212797f46308","resolution":{"observed_at":"2026-05-12T02:31:15.890801Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2323.250232","doi":"10.1145/2502323.2502326","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing , pages =","venue":null,"work_id":"3bf26b8a-50c5-4576-a72b-cb7f775ef5b1","year":2013},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:72eb20df90db6c5a241d9b7882e619b1806fe5afa4ca1a16c08ff847241c7af7","observation_id":"8e4cac10-a89b-4014-ae94-40eb2f586ddb","resolution":{"observed_at":"2026-05-12T02:31:15.866546Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8511.158618","doi":"10.1145/158511.158618","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages , series =","venue":null,"work_id":"c51376f3-d587-439d-aa10-c5446c36c27c","year":1993},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:ce1777e68984abd3b0a7d1ead9a39f5507a2db127c970268100487c0bc407de4","observation_id":"438877e5-c172-4f09-9b21-143f3b40288a","resolution":{"observed_at":"2026-05-12T02:31:15.843092Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0890-5401(03)00088-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Information and computation , volume =","venue":"Information and Computation","work_id":"cada7449-3c65-4fa1-9401-c5a281be27eb","year":2003},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:536c1b59d101acf76172790b2584a212de4c5984060a83344788b05d520bcfcf","observation_id":"39dc5681-a1c7-4cdd-82b0-52fee90236f9","resolution":{"observed_at":"2026-05-12T02:31:15.855638Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-07-20T15:53:48.448324+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-20T15:53:48.448324+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3473585","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Proceedings of the ACM on Programming Languages , volume =","venue":"Proceedings of the ACM on Programming Languages","work_id":"e98bb3ea-70d5-49d0-8a6b-bd7d8f820791","year":2021},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:24f068aecb7834e7dc4ee5edc563fdb279a1273ad1c7bdc24d9f3fa740199527","observation_id":"4e3d8f7f-89a7-41d0-b8c8-196faec6db3a","resolution":{"observed_at":"2026-05-12T02:31:15.845057Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9164.375935","doi":"10.1145/3759164.3759351","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Proceedings of the 18th ACM SIGPLAN International Haskell Symposium , year =","venue":null,"work_id":"07adf31f-cf0b-49f5-89bb-9c99ac2bae86","year":null},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:6202822d927305c798dfcd14fda00f1c294dd3366274f5eb427036a082473cf2","observation_id":"0acdabf9-e7de-4578-a42b-2849db2f359a","resolution":{"observed_at":"2026-05-12T02:31:15.870209Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3747530","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Proceedings of the ACM on Programming Languages , number =","venue":"Proceedings of the ACM on Programming Languages","work_id":"931bd1a3-82f9-4a55-a803-de019abd231b","year":2025},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:8120c692a7c85988277db3ed5193999145cb97a98974038973d53b77d94b6be6","observation_id":"aa4ca120-ed98-4335-99df-06c5859aa79d","resolution":{"observed_at":"2026-05-12T02:31:15.878392Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9837.300987","doi":"10.1145/3009837.3009872","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Proceedings of the 44th ACM SIGPLAN Sympo- sium on Principles of Programming Languages (POPL)","venue":null,"work_id":"25d2dd51-ddc6-455f-a5e7-a9d8e8f76bf2","year":2017},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:967c4c404ada0f38249e9cd1e4e655002a1a7da9db455b4c0041e337dd28ed89","observation_id":"42156c3b-4e89-4df5-a135-b1eff3d93482","resolution":{"observed_at":"2026-05-12T02:31:15.887370Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-17184-1_1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"024bfe66-dced-4903-bc51-eb2e5d8cff77","year":2019},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:22ba097b556062c6c8a85bf7aa56079c5191b49792c06abfb83e044379c49be0","observation_id":"decf488c-c981-47d9-a5b9-c910db6f944f","resolution":{"observed_at":"2026-05-12T02:31:15.901431Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"1998 , publisher =","venue":null,"work_id":"47ad8f8a-bf0e-4f33-98e8-c4dfcab584b5","year":1998},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:95cf37278714d4675c7d128e3d9e4daa7cd3668734c742c1729f79138c0735cf","observation_id":"2ca55ff1-2982-4cc5-a992-d799362afc58","resolution":{"observed_at":"2026-05-12T22:36:54.862900Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9553.192956","doi":"10.1145/1929553.1929565","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Proceedings of the 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation , pages =","venue":null,"work_id":"b5c399b4-06cd-443d-bad1-534608f906a8","year":2011},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:e5f5cbc399dfbf164cdf01d27ab0831f1fba91504e10b8d31be605dafd7ecaf4","observation_id":"6d4a65ed-147f-44ab-b7b7-229aff4daf54","resolution":{"observed_at":"2026-05-12T02:31:15.911687Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-05T21:23:00.469572Z","title":"2026 , month =","venue":null,"work_id":"7eaf9b2b-1dff-4d13-b340-906e1c346632","year":2026},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:4d42a8fff2e78feddf1f4f24e7718754b4e43d562044e41bf476810272749463","observation_id":"7ef3d9f0-2a70-4f32-9268-653df648c08c","resolution":{"observed_at":"2026-05-12T22:36:54.855621Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3632892","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Proceedings of the ACM on Programming Languages , volume =","venue":"Proceedings of the ACM on Programming Languages","work_id":"ee5aa0b9-5959-4caa-88e3-102ad8a9c371","year":2024},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:f9f852620f94976aebad5c8744a2be928a07996296e3201e48246a15f06142bb","observation_id":"1ee46c57-b440-44af-8f78-4a38014c7556","resolution":{"observed_at":"2026-05-12T02:31:15.883810Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-07-14T07:49:47.876641+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T07:49:47.876641+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6138.6151","doi":"10.1145/6138.6151","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"1986 , month = jul, journal =","venue":"Communications of the ACM","work_id":"fdcb75b1-eb5f-44a7-bc32-ed23a35c1ba3","year":1986},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:59f6c4a6899d2d1f3938eeeeb6bff332874bb688478d07c622493d6d85605a7a","observation_id":"6d95b3a4-aa40-48d2-90aa-2290da346825","resolution":{"observed_at":"2026-05-12T02:31:15.881649Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-07-13T16:20:20.073533+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-13T16:20:20.073533+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3408997","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Proceedings of the ACM on Programming Languages , volume =","venue":"Proceedings of the ACM on Programming Languages","work_id":"b1c9ef21-8fe4-4c8d-b5cc-68ba37576074","year":2020},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:589934be6c94ad621cffb49403928d32d2afddf8d5c905ae36049a08d3f83bf1","observation_id":"7a47fbfe-e6c6-421e-bd57-fa64ce571c25","resolution":{"observed_at":"2026-05-12T02:31:15.876294Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1137/0606031","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"SIAM Journal on Algebraic Discrete Methods , volume =","venue":"SIAM Journal on Algebraic and Discrete Methods","work_id":"f9665c8e-cba9-4b2e-afc4-71f7dab21b52","year":1985},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:69dae15c25a604fb1896587fccac0adfd0e0e9b2af2df974ff61d082e93451f3","observation_id":"c5ac4586-aff3-4563-b5a1-6c3257a1cb30","resolution":{"observed_at":"2026-05-12T02:31:15.908722Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-07-18T00:51:27.171736+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T00:51:27.171736+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9460.359478","doi":"10.1145/359460.359478","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Communications of the ACM , volume =","venue":"Communications of the ACM","work_id":"9fd7b5e3-96d7-4df3-8c98-b6b169f1a946","year":1978},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:f4c751834f1558b65a9e34e46ee4f64f40921c79b4f37eda6664773449b44a0f","observation_id":"af771d76-2416-4d0d-85bd-72c0b3697833","resolution":{"observed_at":"2026-05-12T02:31:15.899601Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3674626","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"ef124d45-5685-4bdf-9a2f-02aece3e1664","year":2024},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:b98ec447c748dc551f34a5568e7a883a78eee1a408a439354ee4980acf7c0c24","observation_id":"79b132dd-8e07-4777-8f5c-09bb072e0119","resolution":{"observed_at":"2026-05-12T02:31:15.913760Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.46298/entics.14797","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Electronic Notes in Theoretical Informatics and Computer Science , volume =","venue":"Electronic Notes in Theoretical Informatics and Computer Science","work_id":"46ab2878-bde9-4927-918b-70558cd487a2","year":2024},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:9d6d940c40465c3f786f7d5534d96b96901a085e7069ee5b3a61e7ccadf91855","observation_id":"81a608c7-16ff-41b9-bb73-0da072e2e59e","resolution":{"observed_at":"2026-05-12T02:31:15.874277Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-07-18T00:51:17.953019+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T00:51:17.953019+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/11693024_3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"European Symposium on Programming , pages =","venue":"Lecture notes in computer science","work_id":"0417b809-f5b5-48f2-9801-4fe96944d860","year":2006},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:9834d4dd868c83037afb890a4bf8148ad3dac90901607b38f9ca593d28805e13","observation_id":"8aa24558-7aa3-49f8-9e5b-07888cf3aacb","resolution":{"observed_at":"2026-05-12T02:31:15.863202Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2389.236239","doi":"10.1145/2362389.2362393","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"ACM Transactions on Programming Languages and Systems (TOPLAS) , volume =","venue":"ACM Transactions on Programming Languages and Systems","work_id":"6a06f8a4-fb49-446a-9fa0-c98ba94b95ee","year":2012},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:b06b2b478c235830b68e87601ca3500bd8357975fa42c5692a2e604711072da4","observation_id":"3ece243d-72bc-4be1-99aa-c7d87221a5a8","resolution":{"observed_at":"2026-05-12T02:31:15.861150Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s0960129521000487","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Two decades of automatic amortized resource analysis.Math","venue":"Mathematical Structures in Computer Science","work_id":"edb2235a-c1f1-42cb-8d0d-6c2e706fb068","year":2022},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:1965b3d4a59e1fd75328582d3b24a449b9cc75733a50e5e931064eb936cdd8c8","observation_id":"b2fc2b44-4424-4136-bb67-f019da504682","resolution":{"observed_at":"2026-05-12T02:31:15.906640Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-07-18T00:51:19.932051+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T00:51:19.932051+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4527.236457","doi":"10.1145/2364527.2364575","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Proceedings of the 17th ACM SIGPLAN international conference on Functional programming , pages =","venue":null,"work_id":"c1cfe586-3018-4150-a339-d92f2e788a4b","year":2012},"citing_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-05-12T02:30:31.668162Z"},"links":{"citing_paper":"/paper/2605.09411"},"observation_digest":"sha256:0933092a28dc55d93a9c59506ea2d6ee858d091d533d2b878cc6df00f0696283","observation_id":"4a1a7db1-ffbd-4daf-8c83-3d245a9d6a38","resolution":{"observed_at":"2026-05-12T02:31:15.904445Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-07-06T23:21:30.897592Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally"},"reference_resolution":{"displayed":33,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":0,"verified_exact":27,"verified_fuzzy":4},"total_outbound_references":33},"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-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"thesis":"As of 6 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 2 inbound Pith citation observations for arXiv:2605.09411."}