Paper Citation Record · LEDGER

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers

As of 22 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 0 inbound Pith citation observations for arXiv:2608.00783.

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

pith.paper-citation-record.v1
2608.00783 v1

Coverage vector

measured 32 of 32 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T15:25:53.669974Z

measured 32 of 32 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+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

32 of 32 outbound references displayed

verified exact0
verified fuzzy18
unresolved14
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 832ee434-c314-48cb-a86a-e22fd568f078 · outbound

This paper cites Autonomous agents on blockchains: Standards, execution models, and trust boundaries.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers Autonomous agents on blockchains: Standards, execution models, and trust boundaries

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-15T15:25:53.496810Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95aacfd7-5ffe-4b4a-a044-17f367995fde · outbound

This paper cites Model context protocol specification.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers Model context protocol specification

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:25:54.385808Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation d56b8dfd-58ca-44dc-ba29-c49ecabf1d14 · outbound

This paper cites Session keys in Argent: scope-bounded delegated signers.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers Session keys in Argent: scope-bounded delegated signers

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:25:54.370424Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation d28b752d-d996-40a6-8273-154c733560b4 · outbound

This paper cites ERC-4337: Account abstraction using alt mempool.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers ERC-4337: Account abstraction using alt mempool

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:25:54.353290Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation ad595506-6da1-4768-8627-abf08a9b4547 · outbound

This paper cites The Price of Interoperability: Exploring Cross-Chain Bridges and Their Economic Consequences.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers The Price of Interoperability: Exploring Cross-Chain Bridges and Their Economic Consequences

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-15T15:25:53.520562Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5300a8c3-8dbe-4ed3-b05a-5e0ad33c38e2 · outbound

This paper cites Flash boys 2.0: Frontrunning in decentralized exchanges, miner extractable value, and consensus instability.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers Flash boys 2.0: Frontrunning in decentralized exchanges, miner extractable value, and consensus instability

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:25:54.335073Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 99bae607-c3f4-4fc9-9232-1c9713bf7833 · outbound

This paper cites Systematization of knowledge: Security and safety in the Model Context Protocol ecosystem.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers Systematization of knowledge: Security and safety in the Model Context Protocol ecosystem

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-15T15:25:53.532591Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f09bbcc-e0d5-44a5-bf80-3113eeb4c2db · outbound

This paper cites Morgan Kaufmann, 1993.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers Morgan Kaufmann, 1993

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:25:54.318498Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 6c40de95-0621-443b-95e3-9f2e08e46481 · outbound

This paper cites Herlihy and Jeannette M.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers Herlihy and Jeannette M

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:25:54.302868Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 26f6d3bf-a803-4f1f-92ac-6180956f5c66 · outbound

This paper cites MetaGPT: Meta Programming for A Multi-Agent Collaborative Framework.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers MetaGPT: Meta Programming for A Multi-Agent Collaborative Framework

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-15T15:25:53.549325Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc26dba7-f0df-4db5-8272-0af7e8f34969 · outbound

This paper cites A Survey on Hallucination in Large Language Models: Principles, Taxonomy, Challenges, and Open Questions.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers A Survey on Hallucination in Large Language Models: Principles, Taxonomy, Challenges, and Open Questions

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-15T15:25:53.554723Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51084590-8ed9-4a10-a5b1-7a76fdfd2f97 · outbound

This paper cites Survey of hallucination in natural language generation.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers Survey of hallucination in natural language generation

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:25:54.287620Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation f4a26057-bfe0-496f-a08d-b2b64b6a8076 · outbound

This paper cites DeCoAgent: Large language model empowered decentralized autonomous collaboration agents based on smart contracts.IEEE Access, 12:155234–155245, 2024.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers DeCoAgent: Large language model empowered decentralized autonomous collaboration agents based on smart contracts.IEEE Access, 12:155234–155245, 2024

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:25:54.270868Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 5cd0242b-d011-48df-8a06-2c6d144e045e · outbound

This paper cites LLMs Get Lost In Multi-Turn Conversation.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers LLMs Get Lost In Multi-Turn Conversation

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-15T15:25:53.572066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e8ff01a-d1a8-4281-b8d5-0e1d926f1e22 · outbound

This paper cites Levy.Capability-Based Computer Systems.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers Levy.Capability-Based Computer Systems

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-15T15:25:53.577310Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e38abc7-1766-4a44-9d38-412c307001b8 · outbound

This paper cites Lost at the beginning of reasoning.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers Lost at the beginning of reasoning

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:25:54.243564Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 9bb2aca3-0ff8-404b-8a16-a3a445fbd1b0 · outbound

This paper cites Intent mismatch causes LLMs to get lost in multi-turn conversation.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers Intent mismatch causes LLMs to get lost in multi-turn conversation

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-15T15:25:53.586408Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab28fbd2-891d-461e-91be-6db72a7b1f26 · outbound

This paper cites Liu, Kevin Lin, John Hewitt, Ashwin Paranjape, Michele Bevilacqua, Fabio Petroni, and Percy Liang.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers Liu, Kevin Lin, John Hewitt, Ashwin Paranjape, Michele Bevilacqua, Fabio Petroni, and Percy Liang

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:25:54.227625Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 4d6cbbee-8cc1-4578-877d-2e7eafc7e712 · outbound

This paper cites Miller.Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers Miller.Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-15T15:25:53.599668Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a24dca25-f9c5-4e75-b530-ca83e5d1a41b · outbound

This paper cites Miller, Ka-Ping Yee, and Jonathan Shapiro.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers Miller, Ka-Ping Yee, and Jonathan Shapiro

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:25:54.200368Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 303ec4b5-b3b4-4c03-be6f-eb6ae9cff59e · outbound

This paper cites Cambridge University Press, 1999.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers Cambridge University Press, 1999

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:25:54.184244Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 736ff369-11d1-4260-857c-38522096ea4d · outbound

This paper cites PhD thesis, Technische Universität Darm- stadt, 1962.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers PhD thesis, Technische Universität Darm- stadt, 1962

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:25:54.167954Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 3dc18fb2-81d3-41d6-a990-261c4010383d · outbound

This paper cites A look around the corner: Theπ-calculus.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers A look around the corner: Theπ-calculus

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:25:54.149253Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 3bea21ba-1862-4937-acc7-274fd5f3a75b · outbound

This paper cites Quantifying blockchain extractable value: How dark is the forest? InIEEE Symposium on Security and Privacy (S&P), pages 198–214, 2022.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers Quantifying blockchain extractable value: How dark is the forest? InIEEE Symposium on Security and Privacy (S&P), pages 198–214, 2022

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:25:54.131991Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 195710f2-c84b-422b-a397-924a8ca99cdb · outbound

This paper cites Safe smart account modules and session keys.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers Safe smart account modules and session keys

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:25:54.115170Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 4621d29c-75b3-4a7b-b22d-8bf41e43be59 · outbound

This paper cites an unresolved cited work.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-15T15:25:54.098687Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 3c36f372-696b-4c8b-9a36-8e429b57a381 · outbound

This paper cites Towards post-quantum Bitcoin blockchain using Dilithium signature.IACR Communications in Cryptology (CIC), 2(3), 2025.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers Towards post-quantum Bitcoin blockchain using Dilithium signature.IACR Communications in Cryptology (CIC), 2(3), 2025

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:25:54.082331Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 74a83016-2dee-47b0-b77c-33343463dbd5 · outbound

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

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers Reflexion: Language agents with verbal reinforcement learning

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-15T15:25:53.650202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 850db95f-98d9-4032-9031-4fd14b345d72 · outbound

This paper cites AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-15T15:25:53.655537Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29256aa3-5f21-4661-b268-f5fae236485a · outbound

This paper cites React: Synergizing reasoning and acting in language models.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers React: Synergizing reasoning and acting in language models

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-15T15:25:53.660590Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1dc34b9b-93ce-4b35-a608-6b88ee5509d0 · outbound

This paper cites SoK: Security of Cross-chain Bridges: Attack Surfaces, Defenses, and Open Problems.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers SoK: Security of Cross-chain Bridges: Attack Surfaces, Defenses, and Open Problems

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-15T15:25:53.665212Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3087a39e-207a-44ce-a76a-73b913dd56b7 · outbound

This paper cites SoK: Decentralized finance (defi) attacks.

Safety Invariants for Agents Orchestrating Irreversible State Transitions: A Four-Dimensional Formalism Evaluated on Public Ledgers SoK: Decentralized finance (defi) attacks

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T15:25:54.043776Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Pith citing papers

No inbound Pith citation observations are available.