Paper Citation Record · LEDGER

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2606.04056 v1

Coverage vector

measured 88 of 88 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-28T09:01:40.641363Z

measured 91 of 91 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00

measured 3 of 3 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-11T04:23:15.344030Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-07-02T22:17:26.143543Z

Reference resolution

88 of 88 outbound references displayed

verified exact2
verified fuzzy0
unresolved86
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 969c4aa2-32cb-4fe3-81a1-58ac381520e5 · outbound

This paper cites Linear types can change the world.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Linear types can change the world

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0470d93-82a7-4859-8be1-07bc6ff94893 · outbound

This paper cites Guidelines for performing systematic literature reviews in software engineering.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Guidelines for performing systematic literature reviews in software engineering

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1790c14f-3d9e-43bf-bdcc-c8cdaf5f9352 · outbound

This paper cites Krippendorff.Content Analysis: An Introduction to Its Methodology.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Krippendorff.Content Analysis: An Introduction to Its Methodology

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 30990435-e395-4a2b-bd4f-1efc54bb54e8 · outbound

This paper cites an unresolved cited work.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a685ca63-0810-495d-9531-fc65937bf9cf · outbound

This paper cites Recommended steps for thematic synthesis in software engineering.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Recommended steps for thematic synthesis in software engineering

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ecb10afb-05c6-46a0-a014-c33efd0124e2 · outbound

This paper cites Saldaña.The Coding Manual for Qualitative Researchers.3rd edition, SAGE Publications, 2016.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Saldaña.The Coding Manual for Qualitative Researchers.3rd edition, SAGE Publications, 2016

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2b082b7-8672-433c-a5f5-532399fe3320 · outbound

This paper cites Guidelines for conducting and reporting case study research in software engineering.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Guidelines for conducting and reporting case study research in software engineering

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b1ef194-bcb7-498e-b4ff-a0b4d9613516 · outbound

This paper cites Wohlin, P.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Wohlin, P

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dcf34e3e-9241-4061-99b0-8ef2d4053b0b · outbound

This paper cites The promises and perils of mining GitHub.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study The promises and perils of mining GitHub

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 83321a3d-0d8e-464d-b531-560fe1e94ffc · outbound

This paper cites Typestate: a programming language concept for enhancing software reliability.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Typestate: a programming language concept for enhancing software reliability

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d3722e6-79f8-44f2-8a01-a748b7b4afd0 · outbound

This paper cites Typestate-oriented programming.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Typestate-oriented programming

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91e8d820-a162-4ae4-8f95-8d39a85fff27 · outbound

This paper cites RustBelt: securing the foundations of the Rust programming language.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study RustBelt: securing the foundations of the Rust programming language

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06c6cb5b-53e7-49eb-8ed4-bdf82e1f3490 · outbound

This paper cites https://github.com/sajjadanwar0/ token-budgets-experiments.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study https://github.com/sajjadanwar0/ token-budgets-experiments

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d40a67cd-7fc9-4f04-b4c7-fb80a99a5d1a · outbound

This paper cites ATXP documentation, 2026.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study ATXP documentation, 2026

Reference 14

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e27d6d6c-a787-4ab5-b0f0-e2bbd19fed9a · outbound

This paper cites https://docs.rs/tokio/.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study https://docs.rs/tokio/

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a25deeba-14e5-491d-93aa-438ed0a03430 · outbound

This paper cites https://docs.rs/tokio/.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study https://docs.rs/tokio/

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad2a2d7e-8287-470f-b960-267dd548ebd2 · outbound

This paper cites Maximum Context Length Ex- ceeded Due to Base64-Encoded Image in Prompt.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Maximum Context Length Ex- ceeded Due to Base64-Encoded Image in Prompt

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e06b97e-9084-487b-8fc0-8f88db2b637c · outbound

This paper cites OM issues in tool heavy environments.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study OM issues in tool heavy environments

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54c27a34-491e-4913-b9bf-1247d494726a · outbound

This paper cites Max turns exceeded.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Max turns exceeded

Reference 19

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac50d6b8-ff73-43e4-b0ad-7f0d08c72b22 · outbound

This paper cites Simple testing can prevent most critical failures: an analysis of production failures in distributed data-intensive systems.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Simple testing can prevent most critical failures: an analysis of production failures in distributed data-intensive systems

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36e71e64-8430-4cb7-918d-cdf506d39b92 · outbound

This paper cites Learning from mistakes: a comprehensive study on real-world concurrency bug characteristics.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Learning from mistakes: a comprehensive study on real-world concurrency bug characteristics

Reference 21

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b15f45c-840a-4d35-b08a-05f4e75a2e28 · outbound

This paper cites Move: a language with programmable resources.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Move: a language with programmable resources

Reference 22

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f690abfd-e8da-404d-9cf1-c64faeb1db0a · outbound

This paper cites seL4: formal verification of an OS kernel.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study seL4: formal verification of an OS kernel

Reference 23

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c45f6e9-c0a1-42e9-9a55-5072d4fa34d7 · outbound

This paper cites Becker.governor: a Rust crate for rate-limiting via non-cloneable direct token buckets.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Becker.governor: a Rust crate for rate-limiting via non-cloneable direct token buckets

Reference 24

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef845033-5c2a-4ded-aa77-a0e410e3b30c · outbound

This paper cites Agent contracts: A formal framework for resource-bounded autonomous AI systems.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Agent contracts: A formal framework for resource-bounded autonomous AI systems

Reference 25

Resolution: verified exact; arxiv_id, observed 2026-07-02T04:26:36.472298Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation e0fd971c-a5e6-462a-bd37-a9a9657ab30f · outbound

This paper cites Deny capabilities for safe, fast actors.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Deny capabilities for safe, fast actors

Reference 26

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77ec0e03-f820-4c92-888f-7987c3557466 · outbound

This paper cites LiteLLM proxy — Budget management.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study LiteLLM proxy — Budget management

Reference 27

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0675e821-52c1-489e-aa29-fa9ff6aff9f8 · outbound

This paper cites Loom: A tool for testing concurrent Rust code.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Loom: A tool for testing concurrent Rust code

Reference 28

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f657c8e-9b08-468d-8260-8833dce07039 · outbound

This paper cites FrugalGPT: How to Use Large Language Models While Reducing Cost and Improving Performance.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study FrugalGPT: How to Use Large Language Models While Reducing Cost and Improving Performance

Reference 29

Resolution: verified exact; local_arxiv, observed 2026-07-02T04:26:36.474953Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 0bb839ae-7768-4b70-baab-270ee3071361 · outbound

This paper cites tower::Limit: A middleware that limits the number of in-flight requests.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study tower::Limit: A middleware that limits the number of in-flight requests

Reference 30

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 439680fd-91a6-4589-9eab-19a5f5e97c3b · outbound

This paper cites Verus: Verifying Rust programs using linear ghost types.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Verus: Verifying Rust programs using linear ghost types

Reference 31

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82b66fe2-9c0f-43b9-b283-99f4ef3474fb · outbound

This paper cites tokencap: Token budget enforcement for AI agents. Hard limits, configurable policy, zero infrastructure required.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study tokencap: Token budget enforcement for AI agents. Hard limits, configurable policy, zero infrastructure required

Reference 32

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d66a2656-1914-425f-acf1-3e5ffdbd9fa7 · outbound

This paper cites VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System

Reference 33

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2713477-829f-4752-8d23-679cefcb3a18 · outbound

This paper cites Multivariate amortized resource analysis.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Multivariate amortized resource analysis

Reference 34

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9362716e-9be7-4f42-8801-441418545f30 · outbound

This paper cites KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

Reference 35

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18a4da10-d7ee-45c1-a181-959a7170409a · outbound

This paper cites Ethereum: A secure decentralised generalized transaction ledger.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Ethereum: A secure decentralised generalized transaction ledger

Reference 36

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f77eb397-a1f9-4e5c-adc6-ca11ef1bec67 · outbound

This paper cites Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time

Reference 37

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e50be31-e282-4d19-a4ff-ce04e514791a · outbound

This paper cites Iris from the ground up: A modular foundation for higher-order concurrent separation logic.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Iris from the ground up: A modular foundation for higher-order concurrent separation logic

Reference 38

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c160fdea-d811-4cd7-b765-e71527f22ecc · outbound

This paper cites RustHorn: CHC-based verification for Rust programs.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study RustHorn: CHC-based verification for Rust programs

Reference 39

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 175a9d0d-5cd4-4ddf-989f-0cc597de78f7 · outbound

This paper cites RefinedRust: A type system for high-assurance verification of Rust programs.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study RefinedRust: A type system for high-assurance verification of Rust programs

Reference 40

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f45605f8-6631-4916-b99b-03246a68f0f6 · outbound

This paper cites Syntax and semantics of quantitative type theory.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Syntax and semantics of quantitative type theory

Reference 41

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7552285-6345-4923-a658-467ad427d5be · outbound

This paper cites The KeyKOS nanokernel architecture.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study The KeyKOS nanokernel architecture

Reference 42

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f500566-cf4c-4dd2-b095-af036f345d4f · outbound

This paper cites EROS: A fast capability system.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study EROS: A fast capability system

Reference 43

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33a6d54f-e5ce-4b97-b877-cee3e9f94d71 · outbound

This paper cites CHERI: A hybrid capability-system architecture for scalable software compartmentalization.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study CHERI: A hybrid capability-system architecture for scalable software compartmentalization

Reference 44

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20f97a2a-6f15-4187-8b68-f9e69b68b426 · outbound

This paper cites Joe-E: A security-oriented subset of Java.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Joe-E: A security-oriented subset of Java

Reference 45

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3209688-999a-4593-a0c0-b87c4f57223d · outbound

This paper cites Robust composition: Towards a unified approach to access control and concurrency control.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Robust composition: Towards a unified approach to access control and concurrency control

Reference 46

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f7a7ccef-4f99-45d6-ab24-1e1db095bb63 · outbound

This paper cites GASTAP: A gas analyzer for smart contracts.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study GASTAP: A gas analyzer for smart contracts

Reference 47

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d072671-3362-4890-8ced-9698c98d7211 · outbound

This paper cites MadMax: Surviving out-of-gas conditions in Ethereum smart contracts.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study MadMax: Surviving out-of-gas conditions in Ethereum smart contracts

Reference 48

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38cd23e3-c34f-49b1-ae57-dea9649f331d · outbound

This paper cites Cost monitoring and budget enforcement for Amazon Bedrock.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Cost monitoring and budget enforcement for Amazon Bedrock

Reference 49

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9df0ade2-ce64-4954-9ea3-b881785e88d6 · outbound

This paper cites Refinement types for Haskell.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Refinement types for Haskell

Reference 50

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 465fa9cf-2629-4789-8200-e4ae768ea43f · outbound

This paper cites Weakest precondition reasoning for expected runtimes of randomized algorithms.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Weakest precondition reasoning for expected runtimes of randomized algorithms

Reference 51

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4791ce69-3260-44f3-a30f-52138ca9036a · outbound

This paper cites Raising expectations: Automating expected cost analysis with types.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Raising expectations: Automating expected cost analysis with types

Reference 52

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01a60c65-36b5-489f-aeab-c81a556cd015 · outbound

This paper cites Linear Haskell: practical linearity in a higher-order polymorphic language.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Linear Haskell: practical linearity in a higher-order polymorphic language

Reference 53

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 466c20e0-b4cd-4c90-bbfc-3d5f08294748 · outbound

This paper cites Large-scale cluster management at Google with Borg.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Large-scale cluster management at Google with Borg

Reference 54

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 838fba28-9fca-4f87-883d-a574aed1db12 · outbound

This paper cites Resource quotas.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Resource quotas

Reference 55

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a5ce3d3-1010-47d9-a264-97981dfc3ad8 · outbound

This paper cites New directions in communications (or which way to the information age?).

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study New directions in communications (or which way to the information age?)

Reference 56

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55362729-206d-4a39-b915-2b09e0f26c72 · outbound

This paper cites Garcia-Molina and K.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Garcia-Molina and K

Reference 57

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6d882bb-d3e5-4a3f-9726-3aaa136aed8e · outbound

This paper cites Leases: an efficient fault-tolerant mechanism for distributed file cache consistency.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Leases: an efficient fault-tolerant mechanism for distributed file cache consistency

Reference 58

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7092b7cf-c99c-46f4-8ba0-db14fc3617fc · outbound

This paper cites Language primitives and type discipline for structured communication-based programming.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Language primitives and type discipline for structured communication-based programming

Reference 59

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49cac8a5-f396-4b0c-bdc5-7184f1750c58 · outbound

This paper cites CosmWasm gas metering.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study CosmWasm gas metering

Reference 60

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd1fae9f-032a-4a8d-8b40-87295b7053c3 · outbound

This paper cites Gas: The economic model.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Gas: The economic model

Reference 61

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fcb8357e-8a1e-4384-b3b2-d756f6090fd4 · outbound

This paper cites Runtime compute units.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Runtime compute units

Reference 62

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6583d1d-8e72-4db0-8fba-912ca69cf195 · outbound

This paper cites Create, edit, or delete budgets and budget alerts.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Create, edit, or delete budgets and budget alerts

Reference 63

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e35c0fb-ff40-4a2a-ba52-1e0dc15fbaff · outbound

This paper cites The algorithmic foundations of differential privacy.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study The algorithmic foundations of differential privacy

Reference 64

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef33b879-dbf7-406f-b761-580639a3f1df · outbound

This paper cites Rényi differential privacy.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Rényi differential privacy

Reference 65

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f00a733-169e-4c28-a827-a183274187d3 · outbound

This paper cites Deep learning with differential privacy.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Deep learning with differential privacy

Reference 66

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2c93023-0c3f-45e7-be31-111a9e7b51f7 · outbound

This paper cites Quantitative program reasoning with graded modal types.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Quantitative program reasoning with graded modal types

Reference 67

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58d2ac3d-7f1d-46dc-bfb0-85626e366973 · outbound

This paper cites Combining effects and coeffects via grading.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Combining effects and coeffects via grading

Reference 68

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 501f3542-7e6a-451b-8f93-95a74c115b42 · outbound

This paper cites Rate limit service and global rate limiting architec- ture.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Rate limit service and global rate limiting architec- ture

Reference 69

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f67e6616-546c-421c-8b8c-2aa8d34b5fea · outbound

This paper cites Enforcing policies and quotas via the Envoy data plane.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Enforcing policies and quotas via the Envoy data plane

Reference 70

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d0d174c-4b2a-406e-bb59-c30cd2b4372b · outbound

This paper cites Rate-limiting and response-ratelimiting plugins.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Rate-limiting and response-ratelimiting plugins

Reference 71

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5ee29de-9ac7-44dd-ba38-535095661515 · outbound

This paper cites Scaling your API with rate limiters.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Scaling your API with rate limiters

Reference 72

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a020f8dc-324d-4a3d-b97a-214544dcc9b7 · outbound

This paper cites an unresolved cited work.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Unresolved cited work

Reference 73

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d315ea2a-049b-4c61-8698-8642d945981c · outbound

This paper cites Dominant resource fairness: Fair allocation of multiple resource types.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Dominant resource fairness: Fair allocation of multiple resource types

Reference 74

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4abfdae8-41b9-4db1-99d4-2f44ad9e02cc · outbound

This paper cites mClock: Handling throughput variability for hypervisor IO scheduling.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study mClock: Handling throughput variability for hypervisor IO scheduling

Reference 75

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed38c967-2abb-4f39-94ab-1029e9b72822 · outbound

This paper cites DSPy: Compiling declarative language model calls into state-of-the-art pipelines.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study DSPy: Compiling declarative language model calls into state-of-the-art pipelines

Reference 76

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd9185f2-1c50-46af-955f-1410376c9606 · outbound

This paper cites Capsicum: practical capabilities for UNIX.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Capsicum: practical capabilities for UNIX

Reference 77

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f80c6ad7-759e-4f33-a805-da107249176b · outbound

This paper cites First-class state change in Plaid.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study First-class state change in Plaid

Reference 78

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98b31a40-3bac-45b7-95ae-309a9fd11346 · outbound

This paper cites Obsidian: typestate and assets for safer blockchain programming.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Obsidian: typestate and assets for safer blockchain programming

Reference 79

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd97a411-8f6a-4752-897b-80d471407f31 · outbound

This paper cites Enforcing high-level protocols in low-level software.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Enforcing high-level protocols in low-level software

Reference 80

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8121fdd9-8083-4eab-a1fe-f8995ebd49b6 · outbound

This paper cites Reflexion: language agents with verbal reinforcement learning.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Reflexion: language agents with verbal reinforcement learning

Reference 81

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32449d71-e9f4-429e-9a65-3975d513f2eb · outbound

This paper cites ReAct: synergising reasoning and acting in language models.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study ReAct: synergising reasoning and acting in language models

Reference 82

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92c27130-62e8-4d88-9755-98d00fe27a51 · outbound

This paper cites A survey on large language model based autonomous agents.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study A survey on large language model based autonomous agents

Reference 83

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9522fbd8-e7b4-4e00-b629-c36c3165a11e · outbound

This paper cites The rise and potential of large language model based agents: a survey.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study The rise and potential of large language model based agents: a survey

Reference 84

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 432a1326-29ee-4aa9-b800-ef8fdff752bd · outbound

This paper cites Lost in the middle: how language models use long contexts.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Lost in the middle: how language models use long contexts

Reference 85

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1019d2d3-e6e3-46cc-84a2-a6f551e25237 · outbound

This paper cites Optimizing instructions and demonstrations for multi- stage language model programs.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Optimizing instructions and demonstrations for multi- stage language model programs

Reference 86

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab375922-1739-42af-b701-44cb91a3fbd3 · outbound

This paper cites Langfuse: open-source LLM engineering platform with cost tracking and budget alerts.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Langfuse: open-source LLM engineering platform with cost tracking and budget alerts

Reference 87

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d7cddd3-972c-4cf0-a923-88a155134032 · outbound

This paper cites Braintrust: LLM evaluation platform with per-test budget limits.

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study Braintrust: LLM evaluation platform with per-test budget limits

Reference 88

Resolution: unresolved; no resolver link, observed 2026-06-28T09:01:40.641363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 80f72150-9159-4354-9917-b2ab4fcbe0ff · inbound

Silent Failure in LLM Agent Systems: The Entropy Principle and the Inevitable Disorder of Autonomous Agents cites this paper.

Silent Failure in LLM Agent Systems: The Entropy Principle and the Inevitable Disorder of Autonomous Agents Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study

Reference 20

Resolution: verified exact; local_arxiv, observed 2026-07-02T22:17:26.145012Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation f59b3c9f-1a39-432b-a689-d1eb0065991e · inbound

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers cites this paper.

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study

Reference 95

Resolution: unresolved; no resolver link, observed 2026-08-05T11:29:37.092895Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ece43ca9-c717-44d6-8b2d-1a5c0b492e36 · inbound

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers cites this paper.

Reference 95

Resolution: unresolved; no resolver link, observed 2026-08-11T04:23:15.344030Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.