{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:YGBEBEDSPSGHGO2IFTLS2NNTZV","short_pith_number":"pith:YGBEBEDS","schema_version":"1.0","canonical_sha256":"c1824090727c8c733b482cd72d35b3cd4771d0705fb45d95299bef41298f442b","source":{"kind":"arxiv","id":"2607.24625","version":1},"attestation_state":"computed","paper":{"title":"Agentic Permissions Policy Algebra for Taint Confinement in LLM Agents","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CR","authors_text":"Arseny Kravchenko, Ildar Iskhakov, Innokentii Konstantinov, Matvey Kukuy, Vadim Liventsev","submitted_at":"2026-07-27T16:19:45Z","abstract_excerpt":"Autonomous LLM agents processing mixed-confidentiality data face severe security risks from prompt injection attacks and reasoning errors. While dynamic Information Flow Control (IFC) provides structural security guarantees, traditional taint tracking permanently taints an agent's context upon reading unvetted data, severely restricting downstream utility. We present APPA (Agentic Permissions Policy Algebra), an IFC framework that resolves this usability bottleneck through engine-managed context branching and prospective acquisition enforcement. Before data acquisition occurs, APPA prospective"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2607.24625","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2026-07-27T16:19:45Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"ca00aa45773dc4809a71f9896fc48478f8657827fa08fbc4e48c829a96056eaa","abstract_canon_sha256":"f2fcda85588115d64cc62071a1bf045b000b54d022db4a02055c09f4f26ee060"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-28T02:24:13.563646Z","signature_b64":"zS1/mFKwyQjvZp6/lkSXrQUDnCki6DeH2QgAfZojwWg2u1GqUFR2KwO58+byLZH0QZv6HaAeqVrlP0Tv6XpFDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c1824090727c8c733b482cd72d35b3cd4771d0705fb45d95299bef41298f442b","last_reissued_at":"2026-07-28T02:24:13.562814Z","signature_status":"signed_v1","first_computed_at":"2026-07-28T02:24:13.562814Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Agentic Permissions Policy Algebra for Taint Confinement in LLM Agents","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CR","authors_text":"Arseny Kravchenko, Ildar Iskhakov, Innokentii Konstantinov, Matvey Kukuy, Vadim Liventsev","submitted_at":"2026-07-27T16:19:45Z","abstract_excerpt":"Autonomous LLM agents processing mixed-confidentiality data face severe security risks from prompt injection attacks and reasoning errors. While dynamic Information Flow Control (IFC) provides structural security guarantees, traditional taint tracking permanently taints an agent's context upon reading unvetted data, severely restricting downstream utility. We present APPA (Agentic Permissions Policy Algebra), an IFC framework that resolves this usability bottleneck through engine-managed context branching and prospective acquisition enforcement. Before data acquisition occurs, APPA prospective"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.24625","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2607.24625/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2607.24625","created_at":"2026-07-28T02:24:13.563206+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.24625v1","created_at":"2026-07-28T02:24:13.563206+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.24625","created_at":"2026-07-28T02:24:13.563206+00:00"},{"alias_kind":"pith_short_12","alias_value":"YGBEBEDSPSGH","created_at":"2026-07-28T02:24:13.563206+00:00"},{"alias_kind":"pith_short_16","alias_value":"YGBEBEDSPSGHGO2I","created_at":"2026-07-28T02:24:13.563206+00:00"},{"alias_kind":"pith_short_8","alias_value":"YGBEBEDS","created_at":"2026-07-28T02:24:13.563206+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/YGBEBEDSPSGHGO2IFTLS2NNTZV","json":"https://pith.science/pith/YGBEBEDSPSGHGO2IFTLS2NNTZV.json","graph_json":"https://pith.science/api/pith-number/YGBEBEDSPSGHGO2IFTLS2NNTZV/graph.json","events_json":"https://pith.science/api/pith-number/YGBEBEDSPSGHGO2IFTLS2NNTZV/events.json","paper":"https://pith.science/paper/YGBEBEDS"},"agent_actions":{"view_html":"https://pith.science/pith/YGBEBEDSPSGHGO2IFTLS2NNTZV","download_json":"https://pith.science/pith/YGBEBEDSPSGHGO2IFTLS2NNTZV.json","view_paper":"https://pith.science/paper/YGBEBEDS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.24625&json=true","fetch_graph":"https://pith.science/api/pith-number/YGBEBEDSPSGHGO2IFTLS2NNTZV/graph.json","fetch_events":"https://pith.science/api/pith-number/YGBEBEDSPSGHGO2IFTLS2NNTZV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YGBEBEDSPSGHGO2IFTLS2NNTZV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YGBEBEDSPSGHGO2IFTLS2NNTZV/action/storage_attestation","attest_author":"https://pith.science/pith/YGBEBEDSPSGHGO2IFTLS2NNTZV/action/author_attestation","sign_citation":"https://pith.science/pith/YGBEBEDSPSGHGO2IFTLS2NNTZV/action/citation_signature","submit_replication":"https://pith.science/pith/YGBEBEDSPSGHGO2IFTLS2NNTZV/action/replication_record"}},"created_at":"2026-07-28T02:24:13.563206+00:00","updated_at":"2026-07-28T02:24:13.563206+00:00"}