Paper Citation Record · LEDGER

Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems

As of 10 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 3 inbound Pith citation observations for arXiv:2605.15228.

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

pith.paper-citation-record.v1
2605.15228 v1

Coverage vector

measured 17 of 17 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-19T17:30:08.476165Z

measured 20 of 20 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+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-01T21:24:13.026845Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-07-02T16:07:08.854559Z

Reference resolution

17 of 17 outbound references displayed

verified exact2
verified fuzzy14
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4fcb2053-c2bf-4d33-a34c-64a3a24a6637 · outbound

This paper cites OpenKedge: Governing Agentic Mutation with Execution-Bound Safety and Evidence Chains.

Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems OpenKedge: Governing Agentic Mutation with Execution-Bound Safety and Evidence Chains

Reference 1

Resolution: verified exact; local_arxiv, observed 2026-05-19T17:32:41.716540Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 6f8896d9-a505-47fd-9d89-b5ad42ea3063 · outbound

This paper cites Sandhu, Edward J.

Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems Sandhu, Edward J

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T17:32:42.128929Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 4bb6a028-9bcc-44e2-92d1-272bc66d91d1 · outbound

This paper cites Hu, David Ferraiolo, Rick Kuhn, Arthur R.

Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems Hu, David Ferraiolo, Rick Kuhn, Arthur R

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T17:32:42.144175Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation eb5f319f-d667-4db8-970f-0ca3b8cf87c4 · outbound

This paper cites Zero trust architecture.

Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems Zero trust architecture

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T17:32:42.146372Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 8e81309d-939a-4b4c-893b-9bbc4f687b27 · outbound

This paper cites Cedar: A new lan- guage for expressive, fast, safe, and analyzable authorization.Proceedings of the ACM on Programming Languages, 8(OOPSLA1):670–697.

Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems Cedar: A new lan- guage for expressive, fast, safe, and analyzable authorization.Proceedings of the ACM on Programming Languages, 8(OOPSLA1):670–697

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T17:32:42.148910Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 5a5b6ded-4bfa-48a4-9d3c-bef9800a2f4e · outbound

This paper cites How we built cedar: A verification-guided approach.

Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems How we built cedar: A verification-guided approach

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T17:32:42.153373Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 37bbc4b9-af32-4b3b-a6de-420915aae83b · outbound

This paper cites Not what you’ve signed up for: Compromising real-world llm-integrated applications with indirect prompt injection.

Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems Not what you’ve signed up for: Compromising real-world llm-integrated applications with indirect prompt injection

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T17:32:42.135638Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f3b18c20-0697-4e92-a9da-5558869227dc · outbound

This paper cites LLM Agents can Autonomously Hack Websites.

Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems LLM Agents can Autonomously Hack Websites

Reference 8

Resolution: metadata mismatch; arxiv_id, observed 2026-05-19T17:32:41.713561Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 0e6e0ed7-af97-4404-837b-ebcae1ac6224 · outbound

This paper cites A survey on large language model based autonomous agents.Frontiers of Computer Science, 18(6).

Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems A survey on large language model based autonomous agents.Frontiers of Computer Science, 18(6)

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T17:32:42.137736Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e8cb17e4-1750-489f-9559-20a37fe57db5 · outbound

This paper cites The byzantine generals problem.ACM Transactions on Programming Languages and Systems, 4(3):382–401.

Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems The byzantine generals problem.ACM Transactions on Programming Languages and Systems, 4(3):382–401

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T17:32:42.139746Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation af5fcd7d-7f09-4b9d-b1df-49a2004379c1 · outbound

This paper cites Practical byzantine fault tolerance.

Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems Practical byzantine fault tolerance

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T17:32:42.142180Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 13b4c698-028d-4140-947b-fd3f164512da · outbound

This paper cites Why and where: A characterization of data provenance.Lecture Notes in Computer Science, 1973:316–330.

Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems Why and where: A characterization of data provenance.Lecture Notes in Computer Science, 1973:316–330

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T17:32:42.131238Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f69d29c1-d438-409e-a007-6ee5e2fb4bf7 · outbound

This paper cites Weitzner, Harold Abelson, Tim Berners-Lee, Joan Feigenbaum, James A.

Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems Weitzner, Harold Abelson, Tim Berners-Lee, Joan Feigenbaum, James A

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T17:32:42.133393Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 86534ff9-76a6-484f-8378-0a56f4491b0d · outbound

This paper cites O’Reilly Media.

Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems O’Reilly Media

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T17:32:42.124070Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 2594ff3a-4d21-4370-8d95-31ceb4a16f79 · outbound

This paper cites Sovereign Agentic Loops: Decoupling AI Reasoning from Execution in Real-World Systems.

Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems Sovereign Agentic Loops: Decoupling AI Reasoning from Execution in Real-World Systems

Reference 15

Resolution: verified exact; local_arxiv, observed 2026-05-19T17:32:41.710358Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 260c0e6f-36f7-4d9d-99d2-1d01cc63dea7 · outbound

This paper cites Aws security token service api reference.https://docs.aws.

Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems Aws security token service api reference.https://docs.aws

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T17:32:42.151155Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 27f0e8f7-b720-4dd6-b883-d50a6d2e7553 · outbound

This paper cites Aws cloudtrail user guide.https://docs.aws.amazon.com/ awscloudtrail/latest/userguide/.

Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems Aws cloudtrail user guide.https://docs.aws.amazon.com/ awscloudtrail/latest/userguide/

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T17:32:42.126662Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Pith citing papers

Observation bc66749c-82ca-450d-b2e5-2a617ebb0d5d · inbound

Post-Deterministic Distributed Systems: A New Foundation for Trustworthy Autonomous Infrastructure cites this paper.

Post-Deterministic Distributed Systems: A New Foundation for Trustworthy Autonomous Infrastructure Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems

Reference 13

Resolution: verified exact; local_arxiv, observed 2026-07-01T21:56:15.839993Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e2eb0e5e-0683-485c-8e17-9b3e0e810f27 · inbound

TOKI: A Bitemporal Operator Algebra for Contradiction Resolution in LLM-Agent Persistent Memory cites this paper.

TOKI: A Bitemporal Operator Algebra for Contradiction Resolution in LLM-Agent Persistent Memory Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems

Reference 33

Resolution: verified exact; local_arxiv, observed 2026-07-02T16:07:08.855790Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation aaefd840-f65c-46de-8e5b-1b0773af31cd · inbound

The Honest Quorum Problem: Epistemic Byzantine Fault Tolerance for Agentic Infrastructure cites this paper.

The Honest Quorum Problem: Epistemic Byzantine Fault Tolerance for Agentic Infrastructure Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T21:24:13.026845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.