{"as_of":"2026-08-07T09:19:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5fba6d8656be86cd17c4cb7731ad4037ae45c4e039d2ddd09b69679159d1436b","coverage":[{"denominator":47,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":47,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T11:00:12.648477Z","state":"measured"},{"denominator":47,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":47,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.27267/citation-record","integrity":"/paper/2607.27267/integrity","json":"/paper/2607.27267/citation-record.json","paper":"/paper/2607.27267"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:00:06.819089Z","title":"Communication, Simulation, and Intelligent Agents: Implications of Personal Intelligent Machines for Medical Education","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:06.819089Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:316f14e39a75f31feb93488f6a70f314afc0de9f785ac01480d37f8ae7d1aaad","observation_id":"f53391d2-e450-46d3-a12c-cc9c86144192","resolution":{"observed_at":"2026-08-01T11:00:06.819089Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.26497","last_updated":"2026-05-26T03:20:23Z","snapshot_observed_at":"2026-07-06T23:36:20.072253Z","submitted_at":"2026-05-26T03:20:23Z","title":"Aligning Provenance with Authorization: A Dual-Graph Defense for LLM Agents","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.26497","snapshot_observed_at":"2026-08-01T11:00:06.969814Z","title":"arXiv preprint arXiv:2605.26497 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:06.969814Z"},"links":{"cited_paper":"/paper/2605.26497","citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:50c9fda6d6e6ed9115bbf35f5d2644195ca7f648b9fd989092613aee496e58ed","observation_id":"16177b18-0316-4a3d-ba1e-5a3ceed20933","resolution":{"observed_at":"2026-08-01T11:00:06.969814Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.25189","last_updated":"2026-06-30T22:31:10Z","snapshot_observed_at":"2026-07-06T23:59:42.289674Z","submitted_at":"2026-06-23T21:33:13Z","title":"ActPlane: Programmable OS-Level Policy Enforcement for Agent Harnesses","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.25189","snapshot_observed_at":"2026-08-01T11:00:07.034852Z","title":"arXiv preprint arXiv:2606.25189 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:07.034852Z"},"links":{"cited_paper":"/paper/2606.25189","citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:2fbf4cbffdeaafa0598f51294baacdc2266cdd6a8c4934bf1175d9e6972fb16f","observation_id":"1ecc029a-7b78-421d-94cd-83d9d7b8ffb7","resolution":{"observed_at":"2026-08-01T11:00:07.034852Z","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-08-01T11:00:07.173873Z","title":"ICML 2025 workshop on computer use agents , year=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:07.173873Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:f689c0b2c6415ab45d0986834231bd8e72eeda85b19e4590e95376c3a29c9496","observation_id":"daf4f330-2828-46bb-8314-e0827b36a3c8","resolution":{"observed_at":"2026-08-01T11:00:07.173873Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.18666","last_updated":"2025-07-31T04:00:48Z","snapshot_observed_at":"2026-07-06T20:57:47.748881Z","submitted_at":"2025-03-24T13:31:48Z","title":"AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.18666","snapshot_observed_at":"2026-08-01T11:00:07.232662Z","title":"arXiv preprint arXiv:2503.18666 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:07.232662Z"},"links":{"cited_paper":"/paper/2503.18666","citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:8253f9b424b8761749c36c2f908045baf5b76a1bd616a5870097ee7817924cdc","observation_id":"1e343e66-c156-429e-9fad-5323aa83ded8","resolution":{"observed_at":"2026-08-01T11:00:07.232662Z","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-08-01T11:00:07.329816Z","title":"and Hashimoto, Tatsunori , year = 2024, eprint =","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:07.329816Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:ba4f45c9e3d7cd53151356f12192bc2e29d6db7bd0b290751c17206d81b5f888","observation_id":"3fb50c01-701f-4643-a0f9-cd6ec03a096a","resolution":{"observed_at":"2026-08-01T11:00:07.329816Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.13352","last_updated":"2024-11-24T22:04:23Z","snapshot_observed_at":"2026-07-06T18:33:32.806635Z","submitted_at":"2024-06-19T08:55:56Z","title":"AgentDojo: A Dynamic Environment to Evaluate Prompt Injection Attacks and Defenses for LLM Agents","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.13352","snapshot_observed_at":"2026-08-01T11:00:07.379881Z","title":"AgentDojo : A Dynamic Environment to Evaluate Prompt Injection Attacks and Defenses for LLM Agents","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:07.379881Z"},"links":{"cited_paper":"/paper/2406.13352","citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:b9aa7011a2cac71d8fb55277a1f8107934f2e692b03e953a7837bc9db0c3cbda","observation_id":"a0a97666-e4d5-465b-be62-c1bad4654660","resolution":{"observed_at":"2026-08-01T11:00:07.379881Z","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-08-01T11:00:07.470962Z","title":"OpenAgentSafety : A Comprehensive Framework for Evaluating Real-World AI Agent Safety","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:07.470962Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:75c0546e5082867dc2dde6926eb77c9e3c1bcfc3d6f3f854dabe65ed651e2bfb","observation_id":"b9b40d8b-c691-4099-8e90-cf817e4de877","resolution":{"observed_at":"2026-08-01T11:00:07.470962Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.23643","last_updated":"2025-09-03T12:30:47Z","snapshot_observed_at":"2026-07-06T21:33:02.686798Z","submitted_at":"2025-05-29T16:50:41Z","title":"Securing AI Agents with Information-Flow Control","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.23643","snapshot_observed_at":"2026-08-01T11:00:07.574484Z","title":"Securing","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:07.574484Z"},"links":{"cited_paper":"/paper/2505.23643","citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:0d7ff4fe532f150c82dd2af4fc197fc08146ce74df41b5c650762ed6547355d5","observation_id":"f8efa065-87eb-4344-97c2-b1af9b0ed01a","resolution":{"observed_at":"2026-08-01T11:00:07.574484Z","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-08-01T11:00:07.753567Z","title":"Agent-SafetyBench : Evaluating the Safety of LLM Agents","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:07.753567Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:04f5a7a0a70b06f4e8a3442b6257fc63e8e88ea36b45239b2971e65ee073de1e","observation_id":"e12a555c-9bf0-4ff9-babd-5bd1179142c2","resolution":{"observed_at":"2026-08-01T11:00:07.753567Z","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-08-01T11:00:07.909140Z","title":"InjecAgent : Benchmarking Indirect Prompt Injections in Tool-Integrated Large Language Model Agents","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:07.909140Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:32b4acb1a49e07b1cad6e99ad549987423640dd02fcfcc1d35c817d9b158cdc9","observation_id":"cbcab223-9a5b-40bd-9dba-886c62af1ab2","resolution":{"observed_at":"2026-08-01T11:00:07.909140Z","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-08-01T11:00:07.994627Z","title":"Agent Security Bench (ASB) : Formalizing and Benchmarking Attacks and Defenses in LLM -based Agents","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:07.994627Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:501b0ffd7b2239ff71308489824e5ba74d435539ccc394fad9ffaff63fe13b62","observation_id":"c72fddf3-22e9-4d60-934d-a10c4ade346f","resolution":{"observed_at":"2026-08-01T11:00:07.994627Z","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-08-01T11:00:08.181812Z","title":"VIGIL : Runtime Enforcement of Behavioral Specifications in AI Agent Skills","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:08.181812Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:17b7dcee6f34a526f679b9f2ef69dd66950aa733d94bdf7e4f356c20105097d5","observation_id":"4a9bf56f-a2f8-4904-a945-5fc015da63cb","resolution":{"observed_at":"2026-08-01T11:00:08.181812Z","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-08-01T11:00:08.337987Z","title":"AgentMonitor : A Plug-and-Play Framework for Predictive and Secure Multi-Agent Systems","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:08.337987Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:86dff05511e0a401c10931c7b7a2459de23c4a6c26cbe864f4109b74fa595262","observation_id":"5f0f9fcb-a984-4ef8-a824-fbbbf0e97bd5","resolution":{"observed_at":"2026-08-01T11:00:08.337987Z","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-08-01T11:00:08.468592Z","title":"R-Judge : Benchmarking Safety Risk Awareness for LLM Agents","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:08.468592Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:4cea119d904e06f5c2068d853a559fc34bc147c8c02570c5940e50430549dc97","observation_id":"f2d52f9f-cbe1-4d1a-9df4-e50ec6699003","resolution":{"observed_at":"2026-08-01T11:00:08.468592Z","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-08-01T11:00:08.581649Z","title":"International conference on Tools and Algorithms for the Construction and Analysis of Systems , pages=","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:08.581649Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:394c244e1681f4a9f293aa020e3a3cd9d302eb13d4fa4b524121029ac0a238a0","observation_id":"66e386e2-26df-4a2e-a11b-37a6c037a0cc","resolution":{"observed_at":"2026-08-01T11:00:08.581649Z","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-08-01T11:00:08.749317Z","title":"Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) , pages=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:08.749317Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:2a9a79cb4d1bb012b655f1477212d1c4ac47db276f00a7756320296b820b0e3b","observation_id":"17f7847a-f156-4e37-b59b-fe6f3c66f0be","resolution":{"observed_at":"2026-08-01T11:00:08.749317Z","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-08-01T11:00:08.953754Z","title":"2024 , note =","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:08.953754Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:874a297e83d114bfc9fe525c667240b4517f6a3935702d7fe85744a6d2e3747a","observation_id":"30c77142-38b2-413d-8f46-bb5f2bc76083","resolution":{"observed_at":"2026-08-01T11:00:08.953754Z","resolver_source":null,"status":"parse_uncertain"},"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-08-01T11:00:09.146341Z","title":"IEEE Transactions on Computers , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:09.146341Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:a68b32a8030256b2179c3e3aac19170fc3f43a330f14900117f78c0c6207e920","observation_id":"d7f02cd0-1ff2-48fe-aa32-81a25eb2f060","resolution":{"observed_at":"2026-08-01T11:00:09.146341Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.16427","last_updated":"2025-08-30T18:01:52Z","snapshot_observed_at":"2026-07-06T19:21:29.370574Z","submitted_at":"2024-09-24T19:47:21Z","title":"HAICOSYSTEM: An Ecosystem for Sandboxing Safety Risks in Human-AI Interactions","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.16427","snapshot_observed_at":"2026-08-01T11:00:09.216173Z","title":"arXiv preprint arXiv:2409.16427 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:09.216173Z"},"links":{"cited_paper":"/paper/2409.16427","citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:d1824402e42ba965ff4cdf4467676516fa083ee2e68a8a6fbdb26c1ae6b73216","observation_id":"a1e2b67c-28e3-42c3-ba9f-ec046a44ca6b","resolution":{"observed_at":"2026-08-01T11:00:09.216173Z","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-08-01T11:00:09.289740Z","title":"International Conference on Learning Representations , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:09.289740Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:fd98975fbb2430148da31fdac558874f8525bd103a9b9c3751fa8565b684fe96","observation_id":"689167b1-e178-4d3f-869d-46ba5fffc5a5","resolution":{"observed_at":"2026-08-01T11:00:09.289740Z","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-08-01T11:00:09.395278Z","title":"34th USENIX Security Symposium (USENIX Security 25) , pages=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:09.395278Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:7110da32d8991ae3630bbe7eed293aef8836904b182a2d992468736ce9273ae8","observation_id":"fd39060f-376f-48e4-be48-09f0607c0236","resolution":{"observed_at":"2026-08-01T11:00:09.395278Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2508.18765","last_updated":"2025-08-27T10:16:27Z","snapshot_observed_at":"2026-08-06T17:29:59.789779Z","submitted_at":"2025-08-26T07:48:55Z","title":"Governance-as-a-Service: A Multi-Agent Framework for AI System Compliance and Policy Enforcement","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.18765","snapshot_observed_at":"2026-08-01T11:00:09.526414Z","title":"arXiv preprint arXiv:2508.18765 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:09.526414Z"},"links":{"cited_paper":"/paper/2508.18765","citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:ae3da6b9afeb47ada3c1ef66fbfd3714a91c65b1f30d551f0f633fc34bd9b355","observation_id":"16d04eef-c351-46c1-8a78-8b7db97dc907","resolution":{"observed_at":"2026-08-01T11:00:09.526414Z","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-08-01T11:00:09.659667Z","title":"arXiv preprint arXiv:2606.15508 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:09.659667Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:c862f82d647d70f88ea120abb26e80936bff14057e2bc3068e318b3c71326939","observation_id":"271eb5c0-f471-4324-bf76-f9d6ba309eff","resolution":{"observed_at":"2026-08-01T11:00:09.659667Z","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-08-01T11:00:09.844738Z","title":"International Conference on Learning Representations , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:09.844738Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:7c9b6b770b15a48296f4c3d59f2e5f1b3f61702d5ffaf9376b59bb36206fee2b","observation_id":"4d99d3f4-546a-42ba-b76a-d00f4f5c8186","resolution":{"observed_at":"2026-08-01T11:00:09.844738Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.15043","last_updated":"2023-12-20T20:48:57Z","snapshot_observed_at":"2026-07-06T15:59:23.019044Z","submitted_at":"2023-07-27T17:49:12Z","title":"Universal and Transferable Adversarial Attacks on Aligned Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.15043","snapshot_observed_at":"2026-08-01T11:00:09.997500Z","title":"arXiv preprint arXiv:2307.15043 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:09.997500Z"},"links":{"cited_paper":"/paper/2307.15043","citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:207664582f112bb7daf8146f149c05d683d9d7090ed9f081368733a513e16e76","observation_id":"b7722402-d475-42d7-9db6-4d495e6a2f78","resolution":{"observed_at":"2026-08-01T11:00:09.997500Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2604.28138","last_updated":"2026-04-30T17:20:19Z","snapshot_observed_at":"2026-08-02T08:34:04.235617Z","submitted_at":"2026-04-30T17:20:19Z","title":"Crab: A Semantics-Aware Checkpoint/Restore Runtime for Agent Sandboxes","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2604.28138","snapshot_observed_at":"2026-08-01T11:00:10.151196Z","title":"arXiv preprint arXiv:2604.28138 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:10.151196Z"},"links":{"cited_paper":"/paper/2604.28138","citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:86b4cc687c3c244a1471191b4239fa105cdeff3873323fbe16ae7fba9d798337","observation_id":"55061a00-3657-48e3-b555-2468878bb825","resolution":{"observed_at":"2026-08-01T11:00:10.151196Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2602.09345","last_updated":"2026-07-22T10:05:25Z","snapshot_observed_at":"2026-08-03T23:29:33.115533Z","submitted_at":"2026-02-10T02:37:42Z","title":"AgentCgroup: Understanding and Controlling OS Resources of AI Agents","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2602.09345","snapshot_observed_at":"2026-08-01T11:00:10.283520Z","title":"arXiv preprint arXiv:2602.09345 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:10.283520Z"},"links":{"cited_paper":"/paper/2602.09345","citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:28f71cc2d96fdcef1a61019b04ca2c44cbca40460740711ec9fcea8e57b8a44f","observation_id":"9d9b52e6-49b6-4075-98cd-8fdc86ee41bb","resolution":{"observed_at":"2026-08-01T11:00:10.283520Z","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-08-01T11:00:10.419704Z","title":"Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) , pages=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:10.419704Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:d362848639c54b4ba379253422ea2ecc1389c4be8b3c5a6bbefdd56760be94df","observation_id":"e0ceb0ae-a779-43dc-8e54-2e86768fd6a9","resolution":{"observed_at":"2026-08-01T11:00:10.419704Z","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-08-01T11:00:10.620707Z","title":"md Files on the Efficiency of AI Coding Agents , author=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:10.620707Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:8f9ceb9f46886698638cdeafa5eaa7173f46e26ed15d318f03a4e65f9460c732","observation_id":"47098696-6ffe-41bc-bb07-74fd5c642f9b","resolution":{"observed_at":"2026-08-01T11:00:10.620707Z","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-08-01T11:00:10.800966Z","title":"International Conference on Product-Focused Software Process Improvement , pages=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:10.800966Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:c8c6aced74d3a660c1786dc89945f9095646c9078a7ac70b54a1d31440fcb8b4","observation_id":"7c7c2d51-f344-4884-848d-0c3ef87aa7d7","resolution":{"observed_at":"2026-08-01T11:00:10.800966Z","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-08-01T11:00:10.968730Z","title":"arXiv preprint arXiv:2511.12884 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:10.968730Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:4b1d172ed0994e95d7a332fba9e4308b919fce4eaf5cdec8600c06fbaa8a1b69","observation_id":"1ea9c0a0-9dbb-49a4-ab06-d8569a51e88a","resolution":{"observed_at":"2026-08-01T11:00:10.968730Z","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-08-01T11:00:11.117071Z","title":"Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security , pages=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:11.117071Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:8d34711d3b3f3a388ca2b052eb5e147b8b06c8ede08781b4f5b49d95714c42a9","observation_id":"67ec5e5b-b498-4af8-9ffa-c7fd6e11f2b5","resolution":{"observed_at":"2026-08-01T11:00:11.117071Z","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-08-01T11:00:11.259825Z","title":"Companion Proceedings of the ACM on Web Conference 2025 , pages=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:11.259825Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:d669cc46bf6baec7fcf6f609de841f3de420749744b4820f6ba2e861a228ca7a","observation_id":"ed1737a9-8740-4093-9b1f-392b93844fee","resolution":{"observed_at":"2026-08-01T11:00:11.259825Z","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-08-01T11:00:11.330494Z","title":"Advances in Neural Information Processing Systems , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:11.330494Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:9e026adeae237f2684a4be679ec17a034ad2910a2c4e601bf95da7ed23dcc547","observation_id":"3e7460a3-fc52-4d05-9236-beb805bf87ae","resolution":{"observed_at":"2026-08-01T11:00:11.330494Z","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-08-01T11:00:11.432077Z","title":"International Conference on Learning Representations , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:11.432077Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:a51788a6daaf3f584d39726466b4a2e481165f296f21424ca9c7ad7c71c16ee1","observation_id":"de4276b3-595a-439a-9bb6-4351d8cc02e7","resolution":{"observed_at":"2026-08-01T11:00:11.432077Z","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-08-01T11:00:11.547966Z","title":"Classification Problem Solving","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:11.547966Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:96ec638c1a7ab6e1beddd0f14f4fa1a8d0cf25be614cc06dfd857197b340aa15","observation_id":"e21a3ce1-f633-48c2-9704-d040295bbd52","resolution":{"observed_at":"2026-08-01T11:00:11.547966Z","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-08-01T11:00:11.635694Z","title":", title =","venue":null,"work_id":null,"year":1980},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:11.635694Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:3f010134d256a61c197497176e2e6b784ec2431646907b1d03c9951a931c6517","observation_id":"062ad668-ac60-45de-a8d1-59b71411f56c","resolution":{"observed_at":"2026-08-01T11:00:11.635694Z","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-08-01T11:00:11.764526Z","title":"New Ways to Make Microcircuits Smaller---Duplicate Entry","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:11.764526Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:65359149903e8569f9ee9b894c8b97afdfdcf8891ca3445c511c9025778227f3","observation_id":"eb02ae6b-f610-4a03-954f-7796a65051b6","resolution":{"observed_at":"2026-08-01T11:00:11.764526Z","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-08-01T11:00:11.875104Z","title":"Clancey and Glenn Rennels , abstract =","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:11.875104Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:2bb899b1316f1c29361a1c7654416764ba211685ef5a0270c2abe9831f1b29de","observation_id":"5dc3cd99-6b05-48cc-9a48-40fe38c20241","resolution":{"observed_at":"2026-08-01T11:00:11.875104Z","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-08-01T11:00:12.023690Z","title":"and Rennels, Glenn R","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:12.023690Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:15fb66dd0009c82c63b2880338d9f039754cac7b5b7b4bf5e2cf4144919c92fa","observation_id":"b17c080c-de67-4023-a1c2-fcbd7074d990","resolution":{"observed_at":"2026-08-01T11:00:12.023690Z","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-08-01T11:00:12.139900Z","title":"Poligon: A System for Parallel Problem Solving","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:12.139900Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:aa02e293a94da0a6f729d70b30933dbed679db7036ee205213c079ff8327a5da","observation_id":"9ea2678a-acf2-4282-b8d7-21961e2451de","resolution":{"observed_at":"2026-08-01T11:00:12.139900Z","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-08-01T11:00:12.243139Z","title":"Transfer of Rule-Based Expertise through a Tutorial Dialogue","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:12.243139Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:900618f01f8c95172f72fd30a1941c5a3b69bed527286eb88eb0de0e4cfde6b9","observation_id":"b0dcaeff-9d82-47e9-b77c-c2527ae9a128","resolution":{"observed_at":"2026-08-01T11:00:12.243139Z","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-08-01T11:00:12.333420Z","title":"The Engineering of Qualitative Models","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:12.333420Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:ce3417a1838aaef4f0691425de31be3a956c629698edc03f038e5d3bba2d9a95","observation_id":"a6c21a9b-ecc5-442c-b0fc-3864460376d3","resolution":{"observed_at":"2026-08-01T11:00:12.333420Z","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-08-01T11:00:12.399598Z","title":"2023 , eprint=","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:12.399598Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:904eefb75563436ecfdf3ef34b0d178c5a0aa881b6982c1ced690bdac7d10dd2","observation_id":"2f43300c-0b27-441d-a64f-bf954b259506","resolution":{"observed_at":"2026-08-01T11:00:12.399598Z","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-08-01T11:00:12.518361Z","title":"Pluto: The 'Other' Red Planet","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:12.518361Z"},"links":{"citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:e5e1497d5da61f4217be07d7d6c8f1cd8136fe06245c945004a9842bd3d42a2c","observation_id":"94a892de-51cc-4b75-b250-61059ced61cd","resolution":{"observed_at":"2026-08-01T11:00:12.518361Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2604.17562","last_updated":"2026-04-19T18:02:21Z","snapshot_observed_at":"2026-07-06T23:04:37.370465Z","submitted_at":"2026-04-19T18:02:21Z","title":"SafeAgent: A Runtime Protection Architecture for Agentic Systems","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2604.17562","snapshot_observed_at":"2026-08-01T11:00:12.648477Z","title":"arXiv preprint arXiv:2604.17562 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-01T11:00:12.648477Z"},"links":{"cited_paper":"/paper/2604.17562","citing_paper":"/paper/2607.27267"},"observation_digest":"sha256:ae7b3190ea6568df8f87326b4b94d985395a3bc6863e55f5936051f810953fb0","observation_id":"fde25414-58bb-4970-a359-9c0619efda93","resolution":{"observed_at":"2026-08-01T11:00:12.648477Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.27267","last_updated":"2026-07-29T09:41:07Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-06T22:32:49.726931Z","submitted_at":"2026-07-29T09:41:07Z","title":"FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs"},"reference_resolution":{"displayed":47,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":1,"unresolved":46,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":47},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 0 inbound Pith citation observations for arXiv:2607.27267."}