Paper Citation Record · LEDGER

Stateful CARS: Exact Cross-History Reuse for Policy-Constrained LLM Agents

As of 20 August 2026, this Paper Citation Record lists 12 of 12 outbound references and 0 inbound Pith citation observations for arXiv:2608.08282.

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

pith.paper-citation-record.v1
2608.08282 v1

Coverage vector

measured 12 of 12 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T00:19:36.433216Z

measured 12 of 12 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

12 of 12 outbound references displayed

verified exact0
verified fuzzy2
unresolved8
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 02dbcbc4-ebce-46a6-821b-e04548311ffe · outbound

This paper cites an unresolved cited work.

Stateful CARS: Exact Cross-History Reuse for Policy-Constrained LLM Agents Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-12T00:19:36.911384Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e2bfbcd3-0621-4e97-846b-a058f409893d · outbound

This paper cites an unresolved cited work.

Stateful CARS: Exact Cross-History Reuse for Policy-Constrained LLM Agents Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-12T00:19:36.887176Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 35071ba7-0eb4-4262-81fc-65d3c0d1e16d · outbound

This paper cites Fast Controlled Generation from Language Models with Adaptive Weighted Rejection Sampling.

Stateful CARS: Exact Cross-History Reuse for Policy-Constrained LLM Agents Fast Controlled Generation from Language Models with Adaptive Weighted Rejection Sampling

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-12T00:19:36.373945Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60b5f90a-d5b1-4be1-a1fa-a4280cf5c762 · outbound

This paper cites an unresolved cited work.

Stateful CARS: Exact Cross-History Reuse for Policy-Constrained LLM Agents Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-12T00:19:36.846899Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 62f28fd1-ce5c-48c3-822e-b04b45743f3c · outbound

This paper cites Paweł Parys, Sairam Vaidya, Taylor Berg-Kirkpatrick, and Loris D’Antoni.

Stateful CARS: Exact Cross-History Reuse for Policy-Constrained LLM Agents Paweł Parys, Sairam Vaidya, Taylor Berg-Kirkpatrick, and Loris D’Antoni

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-12T00:19:36.387161Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ccd78eb-6d16-4bf7-95cb-03b6da7706b2 · outbound

This paper cites cannot see.

Stateful CARS: Exact Cross-History Reuse for Policy-Constrained LLM Agents cannot see

Reference 6

Resolution: malformed identifier; raw_fallback, observed 2026-08-12T00:19:36.805327Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation d5399355-6c62-4040-b82b-00f0207bcc65 · outbound

This paper cites Com- pute rB by memoized recursion keyed by the com- plete serialized history and matcher state, and sample the attempt from QB in Equation (4).

Stateful CARS: Exact Cross-History Reuse for Policy-Constrained LLM Agents Com- pute rB by memoized recursion keyed by the com- plete serialized history and matcher state, and sample the attempt from QB in Equation (4)

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T00:19:36.866705Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 396108e2-57f1-4512-bac3-bafa0f937969 · outbound

This paper cites Add (z, u)to ∆ only when CERTIFYproves u /∈L(h′) for every reachable h′ with ϕ(h′) =z.

Stateful CARS: Exact Cross-History Reuse for Policy-Constrained LLM Agents Add (z, u)to ∆ only when CERTIFYproves u /∈L(h′) for every reachable h′ with ϕ(h′) =z

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T00:19:36.827429Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 8702fbca-195b-45e7-8338-90b804ef6e27 · outbound

This paper cites this action is dead.

Stateful CARS: Exact Cross-History Reuse for Policy-Constrained LLM Agents this action is dead

Reference 15

Resolution: malformed identifier; raw_fallback, observed 2026-08-12T00:19:36.782769Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 27b831e1-503b-4111-b84e-3b08f700d945 · outbound

This paper cites JSONSchemaBench: A Rigorous Benchmark of Structured Outputs for Language Models.

Stateful CARS: Exact Cross-History Reuse for Policy-Constrained LLM Agents JSONSchemaBench: A Rigorous Benchmark of Structured Outputs for Language Models

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-12T00:19:36.356679Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8063f8f-5876-4de4-9e35-f6182749c017 · outbound

This paper cites Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo.

Stateful CARS: Exact Cross-History Reuse for Policy-Constrained LLM Agents Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-12T00:19:36.379534Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d4eb8c0-f33d-45fa-afa5-3fc2b06c0e0b · outbound

This paper cites Sooyeon Kim, Giung Nam, Byoungwoo Park, and Juho Lee.

Stateful CARS: Exact Cross-History Reuse for Policy-Constrained LLM Agents Sooyeon Kim, Giung Nam, Byoungwoo Park, and Juho Lee

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-12T00:19:36.367925Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.