Sign inGet started
Paper · arXiv

Local verification cannot detect non-transportability: a cohomological theory of context preservation in agentic reasoning

Agentic AI systems routinely transport conclusions across biological, clinical and financial contexts, and the emerging safeguard is local verification: checking at each step that the entity is representable in the chosen tool, that parameters are compatible, and that outputs cohere with the plan. We prove this class of safeguard is structurally incomplete. Modelling a covering of context space by its nerve and evidence by a real-valued 1-cochain, an agent chaining evidence performs path integration: its conclusion is path-independent if and only if the cochain is exact, and disagreement between valid reasoning paths is exactly the holonomy of a first Cech cohomology class. Hodge decompos...

AuthorsSuyash Mishra
Primary categorycs.AI
Published4 August 2026
Last updated at source4 August 2026
cs.AIcs.ETcs.GTcs.MA
Embed this entry
<iframe src="https://silytics.si/embed/item/b6460b3f-d3e3-4247-8c12-b0d82f15d942" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Silytics shows public metadata from arXiv and links to the original. Information may be incomplete or out of date. Last refreshed 17 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.