{"as_of":"2026-08-16T09:25:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ba41396e1c399437fe3a3fa3f3b86aeac52841dfcd76cbe5d9bad5e4801d7948","coverage":[{"denominator":88,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":88,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-28T09:01:40.641363Z","state":"measured"},{"denominator":91,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":91,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T04:23:15.344030Z","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-02T22:17:26.143543Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"cited_work":{"arxiv_id":"2606.04056","doi":null,"metadata_source":"pith","pith_arxiv_id":"2606.04056","snapshot_observed_at":"2026-07-02T22:17:26.143543Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","venue":"cs.SE","work_id":"563a2b7b-952e-4ecf-8432-f70688cb46d1","year":2026},"citing_paper":{"arxiv_id":"2606.08162","last_updated":"2026-06-06T13:22:07Z","snapshot_observed_at":"2026-08-07T09:41:48.750188Z","submitted_at":"2026-06-06T13:22:07Z","title":"Silent Failure in LLM Agent Systems: The Entropy Principle and the Inevitable Disorder of Autonomous Agents","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-27T19:02:57.114837Z"},"links":{"cited_paper":"/paper/2606.04056","citing_paper":"/paper/2606.08162"},"observation_digest":"sha256:aa5735d5f5c38f770fdddf3c14ba6e98e9ba1a7d7f79a84e87f44e93f19c4488","observation_id":"80f72150-9159-4354-9917-b2ab4fcbe0ff","resolution":{"observed_at":"2026-07-02T22:17:26.145012Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.04056","snapshot_observed_at":"2026-08-05T11:29:37.092895Z","title":"Token budgets: An empirical catalog of budget-overrun incidents in LLM-agent frameworks,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-13T23:17:46.844880Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-05T11:29:37.092895Z"},"links":{"cited_paper":"/paper/2606.04056","citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:4fc3c7046604952c5f1c1b52fa379dd1081c4a233857065598d5d3fa51766daf","observation_id":"f59b3c9f-1a39-432b-a689-d1eb0065991e","resolution":{"observed_at":"2026-08-05T11:29:37.092895Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.04056","snapshot_observed_at":"2026-08-11T04:23:15.344030Z","title":"Token budgets: An empirical catalog of budget-overrun incidents in LLM-agent frameworks,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-13T23:17:46.844880Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.344030Z"},"links":{"cited_paper":"/paper/2606.04056","citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:c564010dffc520f10ee26bd16bce03d937c2ada79c76d9648743feead7431e81","observation_id":"ece43ca9-c717-44d6-8b2d-1a5c0b492e36","resolution":{"observed_at":"2026-08-11T04:23:15.344030Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2606.04056/citation-record","integrity":"/paper/2606.04056/integrity","json":"/paper/2606.04056/citation-record.json","paper":"/paper/2606.04056"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T09:01:40.641363Z","title":"Linear types can change the world","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:14cec7e08fb45110d180b123621bfa4c036aed6383c20f608db9304c25b69f31","observation_id":"969c4aa2-32cb-4fe3-81a1-58ac381520e5","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Guidelines for performing systematic literature reviews in software engineering","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:df4f08f6d693d024a43772e135adacd833e8287ca9d6c19e38ba4f01c1d7dd78","observation_id":"c0470d93-82a7-4859-8be1-07bc6ff94893","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Krippendorff.Content Analysis: An Introduction to Its Methodology","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:709ad4b5520563c8a370350b15867b483a52095195124028e16dfe8908dc81eb","observation_id":"1790c14f-3d9e-43bf-bdcc-c8cdaf5f9352","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":null,"venue":null,"work_id":null,"year":1967},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:fec02bd444f18fe92a1924125dd479a564d7422360dd0337d57b880a7c20b564","observation_id":"30990435-e395-4a2b-bd4f-1efc54bb54e8","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Recommended steps for thematic synthesis in software engineering","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:3f49c23ab4fcd9969482106e38811142c31bf33e7c1ec7703df983bb6953de4b","observation_id":"a685ca63-0810-495d-9531-fc65937bf9cf","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Saldaña.The Coding Manual for Qualitative Researchers.3rd edition, SAGE Publications, 2016","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:b3d59d7f1820769bf5b880cf2b932845fff4080bf4cdbbe4d7d175ce30bb99b5","observation_id":"ecb10afb-05c6-46a0-a014-c33efd0124e2","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Guidelines for conducting and reporting case study research in software engineering","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:0eaffb5bfd0da223d423ae6621450fba3680dc13a3440377f6721db28773810c","observation_id":"b2b082b7-8672-433c-a5f5-532399fe3320","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Wohlin, P","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:eae8e28bab7f0bcd1fbb9b4e89060bab707f00fb452be56d2a4c965269bb44dd","observation_id":"5b1ef194-bcb7-498e-b4ff-a0b4d9613516","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"The promises and perils of mining GitHub","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:cca8a5c0729c375b181329e02bc5d4dcb338d44abed2e0d67af75dd694ad850e","observation_id":"dcf34e3e-9241-4061-99b0-8ef2d4053b0b","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Typestate: a programming language concept for enhancing software reliability","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:570dcdb85d4c422bdda5a6d8e0095ce34d1e037ff011caa44fa3c670a02b5113","observation_id":"83321a3d-0d8e-464d-b531-560fe1e94ffc","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Typestate-oriented programming","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:0d4eb57b096a121857e2f65fea57269d57b1ce82537bb10c4daa5b6ed4a85b51","observation_id":"9d3722e6-79f8-44f2-8a01-a748b7b4afd0","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"RustBelt: securing the foundations of the Rust programming language","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:5cb32c8e9ee10fbf76042eafa7fe24742efd068ba97fe14a3810e887b6782db3","observation_id":"91e8d820-a162-4ae4-8f95-8d39a85fff27","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"https://github.com/sajjadanwar0/ token-budgets-experiments","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:863069a8909ddeb1b0c160da94b5a6b9eebb43be04fdbaf4e501450f26cf02d1","observation_id":"06c6cb5b-53e7-49eb-8ed4-bdf82e1f3490","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"ATXP documentation, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:1f78939f061c210dc85572d451d81348b38ded38887e32b2172f08cf37b1c4c0","observation_id":"d40a67cd-7fc9-4f04-b4c7-fb80a99a5d1a","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"https://docs.rs/tokio/","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:fc09fd6f5f6034389fa81a356315f675e3140b7dd850ddca6fdaf3c50998d579","observation_id":"e27d6d6c-a787-4ab5-b0f0-e2bbd19fed9a","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"https://docs.rs/tokio/","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:bd16cd96230cd2fc6cd1d8007bfb33111b2f8157dbf3043edcbe7741cf5910da","observation_id":"a25deeba-14e5-491d-93aa-438ed0a03430","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Maximum Context Length Ex- ceeded Due to Base64-Encoded Image in Prompt","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:c0f8a3f09bb9fdbb1398e4483bcb8f2f057b96d2f61f06ffa17f245915813b01","observation_id":"ad2a2d7e-8287-470f-b960-267dd548ebd2","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"OM issues in tool heavy environments","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:b51703aa20b694ddec2ff188ecc2c294e9ec15f229067270fe6e7d60241d4874","observation_id":"2e06b97e-9084-487b-8fc0-8f88db2b637c","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Max turns exceeded","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:1f6072278afeba4c3876a9d71912f7c0c37f96bb9255359cc5c607bc10253b70","observation_id":"54c27a34-491e-4913-b9bf-1247d494726a","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Simple testing can prevent most critical failures: an analysis of production failures in distributed data-intensive systems","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:501441be99af9f917f63483402e2e7f237721ef01d76e40e5267748c75ac6312","observation_id":"ac50d6b8-ff73-43e4-b0ad-7f0d08c72b22","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Learning from mistakes: a comprehensive study on real-world concurrency bug characteristics","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:15519317202f843e4801ab977b2afdbdd3d9c7c6d35bed8efc1f1e00b5247311","observation_id":"36e71e64-8430-4cb7-918d-cdf506d39b92","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Move: a language with programmable resources","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:a9f24d5b8fbe1ccba5fe68f990e83e297d7a3668ac5eebfbb6b68ecfe40bd48a","observation_id":"2b15f45c-840a-4d35-b08a-05f4e75a2e28","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"seL4: formal verification of an OS kernel","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:898b8c51c3f0ab80d56785ac987840bd9f90c3c3cfa8f4fa04f89542bd71778f","observation_id":"f690abfd-e8da-404d-9cf1-c64faeb1db0a","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Becker.governor: a Rust crate for rate-limiting via non-cloneable direct token buckets","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:a243320cb50861ebd986cb6b4262c63fd9bf3aee682bc5a35d58ab0ec3713e0c","observation_id":"9c45f6e9-c0a1-42e9-9a55-5072d4fa34d7","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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":"2601.08815","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-04T00:19:13.916138Z","title":"Agent contracts: A formal framework for resource-bounded autonomous AI systems","venue":null,"work_id":"3573fce9-6556-420d-b7ed-27b39d4821a4","year":2025},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:d272a885f8a9f135ca6c44beae00081e7949982e18ccd0b5618ff69fd5b2c91e","observation_id":"ef845033-5c2a-4ded-aa77-a0e410e3b30c","resolution":{"observed_at":"2026-07-02T04:26:36.472298Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T09:01:40.641363Z","title":"Deny capabilities for safe, fast actors","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:089f445d7d3169b429dcb018a29af6153fc54f4ce0ef61b77a5473b21ae17795","observation_id":"e0fd971c-a5e6-462a-bd37-a9a9657ab30f","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"LiteLLM proxy — Budget management","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:b5cb30e27d542b59bd8e2cfc86cfeea216926e9ff2da25c1e016410ab40dcc81","observation_id":"77ec0e03-f820-4c92-888f-7987c3557466","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Loom: A tool for testing concurrent Rust code","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:8dfaeabc3eeee156f33dc6bde4ab0f55e59b640a29b51ee2b333dce4105df6f1","observation_id":"0675e821-52c1-489e-aa29-fa9ff6aff9f8","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.05176","last_updated":"2023-05-09T05:11:02Z","snapshot_observed_at":"2026-08-10T11:59:11.481480Z","submitted_at":"2023-05-09T05:11:02Z","title":"FrugalGPT: How to Use Large Language Models While Reducing Cost and Improving Performance","version":1},"cited_work":{"arxiv_id":"2305.05176","doi":"10.48550/arxiv.2305.05176","metadata_source":"pith","pith_arxiv_id":"2305.05176","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"FrugalGPT: How to Use Large Language Models While Reducing Cost and Improving Performance","venue":"cs.LG","work_id":"5c567414-35de-4373-ae7a-1790da594e8d","year":2023},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"cited_paper":"/paper/2305.05176","citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:27c9e3f02ec4cd81a6c6b819bad899b2683e1239a85eb6a8f932f7f1eecb3c40","observation_id":"3f657c8e-9b08-468d-8260-8833dce07039","resolution":{"observed_at":"2026-07-02T04:26:36.474953Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-15T07:08:14.020381+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-15T07:08:14.020381+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T09:01:40.641363Z","title":"tower::Limit: A middleware that limits the number of in-flight requests","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:3ebe0a3940b83e27ca7867ad22ffd40e875693658eb1c55d8dc342cf8ae3360b","observation_id":"0bb839ae-7768-4b70-baab-270ee3071361","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Verus: Verifying Rust programs using linear ghost types","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:713c40e13935de9d8fcec41664066b718ba646ba545ccc7fc8bac768addd753e","observation_id":"439680fd-91a6-4589-9eab-19a5f5e97c3b","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"tokencap: Token budget enforcement for AI agents. Hard limits, configurable policy, zero infrastructure required","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:90cc217d5182d8bf1bd149c84e9963380e60cc16befd0d2fe1d3d87b0708cc53","observation_id":"82b66fe2-9c0f-43b9-b283-99f4ef3474fb","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:3007f18fc13955c03c6e9d30d3b90ec0b16bdec4eedebedaba337d3974cbbbc7","observation_id":"d66a2656-1914-425f-acf1-3e5ffdbd9fa7","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Multivariate amortized resource analysis","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:c5c0cc8f54c780a252207c3b0cd6a38faa6fa55963ef9fc4d8a16f3fcdf9ce03","observation_id":"e2713477-829f-4752-8d23-679cefcb3a18","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:54cc886ab72ff8e28f2de0432b02a49afc7f84d9c95ed6cc9c17f7468140b1d6","observation_id":"9362716e-9be7-4f42-8801-441418545f30","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Ethereum: A secure decentralised generalized transaction ledger","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:e2220cbbdb5f46c9004a824f811f5c4027d062bd95ca106808dcfb62e8734c76","observation_id":"18a4da10-d7ee-45c1-a181-959a7170409a","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:8099e6e1423b47a79baa860f49e20930c83812a329953169bddbd17e1e4d75f5","observation_id":"f77eb397-a1f9-4e5c-adc6-ca11ef1bec67","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Iris from the ground up: A modular foundation for higher-order concurrent separation logic","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:9eec094e86dac0c66207737a3174878e4c84e38be0e6e52ebeca6e20885a101d","observation_id":"1e50be31-e282-4d19-a4ff-ce04e514791a","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"RustHorn: CHC-based verification for Rust programs","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:87a1a061a2368fb4ca758855507862dd10de22ac2acf06ba95e330c9cf9f54bc","observation_id":"c160fdea-d811-4cd7-b765-e71527f22ecc","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"RefinedRust: A type system for high-assurance verification of Rust programs","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:2456feaa7d5c02838909021ddd06be5cad35d2ac21e91ec9c2b66fcd335ed11c","observation_id":"175a9d0d-5cd4-4ddf-989f-0cc597de78f7","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Syntax and semantics of quantitative type theory","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:626590813f3bcf34b1146d2dbfa8819adb6fb225cad87145ea590eb65eb518b2","observation_id":"f45605f8-6631-4916-b99b-03246a68f0f6","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"The KeyKOS nanokernel architecture","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:d6b4ed7ff5308fe7849e77dfddc35d1614f703e1514f5e0d7efaecb3b1be0736","observation_id":"a7552285-6345-4923-a658-467ad427d5be","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"EROS: A fast capability system","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:a9fc7297da0d5ab9f89ce5ef27eca6d827e2fbeb0d7f5f2278c155820c91a3c9","observation_id":"7f500566-cf4c-4dd2-b095-af036f345d4f","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"CHERI: A hybrid capability-system architecture for scalable software compartmentalization","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:3faeb5be7df0e0589b4b456759ba54847ccf9ba90ec6bdb780bede68fd73973b","observation_id":"33a6d54f-e5ce-4b97-b877-cee3e9f94d71","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Joe-E: A security-oriented subset of Java","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:c97e7d8d3d4e48a4fe4a0ecddc4198b67ad6a6316e25974eabb0e10173a72828","observation_id":"20f97a2a-6f15-4187-8b68-f9e69b68b426","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Robust composition: Towards a unified approach to access control and concurrency control","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:840baf1e478e619ae62ed6ed468312a1696d55bb2ed52be3ce66470c5af21221","observation_id":"c3209688-999a-4593-a0c0-b87c4f57223d","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"GASTAP: A gas analyzer for smart contracts","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:fe086c32dc6526d1edec6344757018eec33f378c6c0ec42ed80db85053616621","observation_id":"f7a7ccef-4f99-45d6-ab24-1e1db095bb63","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"MadMax: Surviving out-of-gas conditions in Ethereum smart contracts","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:4b2b51bf0d748dcf3e788b97f759315584cc6486a230479b7c40889afd697fac","observation_id":"6d072671-3362-4890-8ced-9698c98d7211","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Cost monitoring and budget enforcement for Amazon Bedrock","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:de9ee6383477ecb433973174a3322142a363a6342bf5bd51aca925e641f06b3b","observation_id":"38cd23e3-c34f-49b1-ae57-dea9649f331d","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Refinement types for Haskell","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:d1748097a91dbf02ce0d79c20d3fc98814d143c067022e2fcdc902556ebd6b9e","observation_id":"9df0ade2-ce64-4954-9ea3-b881785e88d6","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Weakest precondition reasoning for expected runtimes of randomized algorithms","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:dc65c84d4e0f3e0f966b08fda5379bca084054fec06a7cc94fd5a3f3c75e283c","observation_id":"465fa9cf-2629-4789-8200-e4ae768ea43f","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Raising expectations: Automating expected cost analysis with types","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:ee68d8611bde47c14e01dc93cf2f5e56d1cebe9788e9ec2648d776a3bc278572","observation_id":"4791ce69-3260-44f3-a30f-52138ca9036a","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Linear Haskell: practical linearity in a higher-order polymorphic language","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:44e0a660e8f86c06f308bc88f20edf4d8969a0a27654ded7b48dc9b9f342b7bf","observation_id":"01a60c65-36b5-489f-aeab-c81a556cd015","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Large-scale cluster management at Google with Borg","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:5c56e084e907246327be90d7c2bb1ee51aacedf5fe70d6f3de15cf35804f19ff","observation_id":"466c20e0-b4cd-4c90-bbfc-3d5f08294748","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Resource quotas","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:43898b87d4fe3065c1cf859220525f5b8f74a0446756c42cbd944bf942a349dc","observation_id":"838fba28-9fca-4f87-883d-a574aed1db12","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"New directions in communications (or which way to the information age?)","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:27c170f5ff5a91096212b51b252523f656d74c5f7863309c5fe0efd29668177e","observation_id":"0a5ce3d3-1010-47d9-a264-97981dfc3ad8","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Garcia-Molina and K","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:e4ddbc8a9dc9df18babd2d5cbf944babd151420d4ecfb4ebda611ddfb240bb44","observation_id":"55362729-206d-4a39-b915-2b09e0f26c72","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Leases: an efficient fault-tolerant mechanism for distributed file cache consistency","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:161e0055aa1b72ef1eea8bd60961058cec59dc9c8d360de01d3c54a43e6fdba2","observation_id":"d6d882bb-d3e5-4a3f-9726-3aaa136aed8e","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Language primitives and type discipline for structured communication-based programming","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:176d839e591f30bdc6661b929fd608ac77b35875e3786ee3435e75ee7d93f1c6","observation_id":"7092b7cf-c99c-46f4-8ba0-db14fc3617fc","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"CosmWasm gas metering","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:894b1e605df9827513421afe0c50c19aab399031cefb3a0c5ea1354055a46af9","observation_id":"49cac8a5-f396-4b0c-bdc5-7184f1750c58","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Gas: The economic model","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:ecb3afbff5c081539968c5b8ddb232ede8988f98f9db4654dc468fe87ec4faac","observation_id":"cd1fae9f-032a-4a8d-8b40-87295b7053c3","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Runtime compute units","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:ffae1b7c8e6e5b44376fee0f9b0f0478abf94a2ace46c77c0247c22076890399","observation_id":"fcb8357e-8a1e-4384-b3b2-d756f6090fd4","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Create, edit, or delete budgets and budget alerts","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:1fec9f15df1426be9051c81eb7a16895f38e0f66b942d0e75ddd07270c932fda","observation_id":"f6583d1d-8e72-4db0-8fba-912ca69cf195","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"The algorithmic foundations of differential privacy","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:fdcad2d47f0a3a5e7f33fc04c5373a1d4de23d1ef1d05ab6127a51612313f5a9","observation_id":"4e35c0fb-ff40-4a2a-ba52-1e0dc15fbaff","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Rényi differential privacy","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:3d16806358d9dd10c5d351ad17b43da8dee71dce459f547e907a3bcec28233b5","observation_id":"ef33b879-dbf7-406f-b761-580639a3f1df","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Deep learning with differential privacy","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:5ba8d66704c1b37674863a8d7e0cd824502011569bc869c6af2b7fe1bf738947","observation_id":"6f00a733-169e-4c28-a827-a183274187d3","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Quantitative program reasoning with graded modal types","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:e3f2117931e81a77b1d5f42be07dda3a38d0a0171ace18354764cdcdcaa638a1","observation_id":"a2c93023-0c3f-45e7-be31-111a9e7b51f7","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Combining effects and coeffects via grading","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:54d6e9c32d319b527ca394418ebb17dd300f0f9d9e5aeb77c5ef51bcb4b4f20f","observation_id":"58d2ac3d-7f1d-46dc-bfb0-85626e366973","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Rate limit service and global rate limiting architec- ture","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:96eeb99860bee1616a77b177605ade898094cede768a6345ccade8c4964822ac","observation_id":"501f3542-7e6a-451b-8f93-95a74c115b42","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Enforcing policies and quotas via the Envoy data plane","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:f46842944864598f6ed2d5fd41fb0af964a5df627befe40660440c5515942b9e","observation_id":"f67e6616-546c-421c-8b8c-2aa8d34b5fea","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Rate-limiting and response-ratelimiting plugins","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:c3c034282cab27628af1e22cb9e1d6801efeb4be6064779c84cc0793ef24c4d4","observation_id":"3d0d174c-4b2a-406e-bb59-c30cd2b4372b","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Scaling your API with rate limiters","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:c69b0169cfbff391bd26795bbedeb29bb199cd7c956cd82294cfd90f1adaa82b","observation_id":"f5ee29de-9ac7-44dd-ba38-535095661515","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:dc0bd2f4a4f39c008404484a0532a9bafb35c2430f909b9eb01606b1c19bf487","observation_id":"a020f8dc-324d-4a3d-b97a-214544dcc9b7","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Dominant resource fairness: Fair allocation of multiple resource types","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:3bfc1b449bc52f3b111b5fdfa6e823f43761e50717fc6671a66cb970c7802964","observation_id":"d315ea2a-049b-4c61-8698-8642d945981c","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"mClock: Handling throughput variability for hypervisor IO scheduling","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:65eda5a539b719e5718a48ca53d23cf4d81615f3acb2116b869ceb3dacb51e1a","observation_id":"4abfdae8-41b9-4db1-99d4-2f44ad9e02cc","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"DSPy: Compiling declarative language model calls into state-of-the-art pipelines","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:e3cff5862ce8758c15cc4f7c2bc895d478a83b518b780e0d2207ec94876aaec4","observation_id":"ed38c967-2abb-4f39-94ab-1029e9b72822","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Capsicum: practical capabilities for UNIX","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:96b0a39a5a78faa739d7004c3da56169444c1a6f1a7ad8b3700c5c9ab78c8379","observation_id":"dd9185f2-1c50-46af-955f-1410376c9606","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"First-class state change in Plaid","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:305edf8e0d939c0d77502e951dac2db46cf338c086b57fcd3ac716e7ec545106","observation_id":"f80c6ad7-759e-4f33-a805-da107249176b","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Obsidian: typestate and assets for safer blockchain programming","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:edd514ab1e01dae0f3f6fe212df9738d15791ae36ece46a8299db48e17747611","observation_id":"98b31a40-3bac-45b7-95ae-309a9fd11346","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Enforcing high-level protocols in low-level software","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:e1b71b8c61604b8f005c0083d6f03aff745bcc72f0eeedd3649346b61f8e8bdb","observation_id":"bd97a411-8f6a-4752-897b-80d471407f31","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Reflexion: language agents with verbal reinforcement learning","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:62262e544e62661e4dae1105634ed559814d7e23a70a05a4a88f17abdb2e2c72","observation_id":"8121fdd9-8083-4eab-a1fe-f8995ebd49b6","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"ReAct: synergising reasoning and acting in language models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:422b98ec19c71196a893371411335dfb449edaf25dc2d7a8f93f932211e27230","observation_id":"32449d71-e9f4-429e-9a65-3975d513f2eb","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"A survey on large language model based autonomous agents","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:c5ebabe2ea3e28327526c982110c4907504d01fe1982f5c0460258ec1f08dfa9","observation_id":"92c27130-62e8-4d88-9755-98d00fe27a51","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"The rise and potential of large language model based agents: a survey","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:43629ab46ec4fb2351caf9380a747eab819bc30fa24fe387fe5d69d20c4d7d84","observation_id":"9522fbd8-e7b4-4e00-b629-c36c3165a11e","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Lost in the middle: how language models use long contexts","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:16764b7955cd9257bc59251960e19f2357ecfc99dd83c74c6f9d7a36b29094f8","observation_id":"432a1326-29ee-4aa9-b800-ef8fdff752bd","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Optimizing instructions and demonstrations for multi- stage language model programs","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:3ac3d2c424c3c1881e9cc956c70f4112a63cde1a4645342401745ce629bd757a","observation_id":"1019d2d3-e6e3-46cc-84a2-a6f551e25237","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Langfuse: open-source LLM engineering platform with cost tracking and budget alerts","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:2f66c8cadbfa8d3f71652eedc77cf823dff8c6b2dd77836f0c3a1649cfa19ae2","observation_id":"ab375922-1739-42af-b701-44cb91a3fbd3","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","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-06-28T09:01:40.641363Z","title":"Braintrust: LLM evaluation platform with per-test budget limits","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-06-28T09:01:40.641363Z"},"links":{"citing_paper":"/paper/2606.04056"},"observation_digest":"sha256:9f2fc4f68b04c882edb6141659d21bbbf6c6e7001f12dd83f0fa0aae552616e9","observation_id":"6d7cddd3-972c-4cf0-a923-88a155134032","resolution":{"observed_at":"2026-06-28T09:01:40.641363Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study"},"reference_resolution":{"displayed":88,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":86,"verified_exact":2,"verified_fuzzy":0},"total_outbound_references":88},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 88 of 88 outbound references and 3 inbound Pith citation observations for arXiv:2606.04056."}