{"id":"https://openalex.org/W7202373246","doi":"https://doi.org/10.48550/arxiv.2608.11252","title":"Local verification cannot detect non-transportability: a cohomological theory of context preservation in agentic reasoning","display_name":"Local verification cannot detect non-transportability: a cohomological theory of context preservation in agentic reasoning","publication_year":2026,"publication_date":"2026-08-04","ids":{"openalex":"https://openalex.org/W7202373246","doi":"https://doi.org/10.48550/arxiv.2608.11252"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.11252","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.11252","pdf_url":"https://arxiv.org/pdf/2608.11252","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2608.11252","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5133276172","display_name":"Suyash Mishra","orcid":"https://orcid.org/0009-0000-4231-9691","observed_orcids":["https://orcid.org/0009-0000-4231-9691"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Mishra, Suyash","raw_affiliation_strings":["AI researcher , Z\u00fcrich , Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AI researcher , Z\u00fcrich , Switzerland","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5133276172"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.2842000126838684,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.2842000126838684,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12536","display_name":"Topological and Geometric Data Analysis","score":0.2425999939441681,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13898","display_name":"Diverse Interdisciplinary Research Studies","score":0.02979999966919422,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/local-verification","display_name":"local verification","score":0.7829999923706055},{"id":"https://openalex.org/keywords/context-preservation","display_name":"context preservation","score":0.6710000038146973},{"id":"https://openalex.org/keywords/agentic-ai","display_name":"agentic AI","score":0.7590000033378601},{"id":"https://openalex.org/keywords/cech-cohomology","display_name":"Cech cohomology","score":0.8100000023841858},{"id":"https://openalex.org/keywords/holonomy","display_name":"holonomy","score":0.796999990940094},{"id":"https://openalex.org/keywords/path-independence","display_name":"path independence","score":0.6570000052452087},{"id":"https://openalex.org/keywords/hodge-decomposition","display_name":"Hodge decomposition","score":0.7710000276565552},{"id":"https://openalex.org/keywords/harmonic-functions","display_name":"harmonic functions","score":0.4729999899864197},{"id":"https://openalex.org/keywords/consistency-checking","display_name":"consistency checking","score":0.5889999866485596},{"id":"https://openalex.org/keywords/evidence-networks","display_name":"evidence networks","score":0.5130000114440918},{"id":"https://openalex.org/keywords/effect-modification","display_name":"effect modification","score":0.6539999842643738},{"id":"https://openalex.org/keywords/foreign-exchange","display_name":"foreign exchange","score":0.574999988079071},{"id":"https://openalex.org/keywords/transportability","display_name":"transportability","score":0.4009999930858612}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6850000023841858},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.524399995803833},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4677000045776367},{"id":"https://openalex.org/C2781181686","wikidata":"https://www.wikidata.org/wiki/Q4226068","display_name":"Coherence (philosophical gambling strategy)","level":2,"score":0.39750000834465027},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.392300009727478},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.3822999894618988},{"id":"https://openalex.org/C132074034","wikidata":"https://www.wikidata.org/wiki/Q154210","display_name":"Congruence (geometry)","level":2,"score":0.382099986076355},{"id":"https://openalex.org/C165818556","wikidata":"https://www.wikidata.org/wiki/Q213488","display_name":"Geodesic","level":2,"score":0.35910001397132874},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.3402000069618225},{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.3391000032424927},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.33889999985694885},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33500000834465027},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.3273000121116638},{"id":"https://openalex.org/C17137986","wikidata":"https://www.wikidata.org/wiki/Q215067","display_name":"Orthogonality","level":2,"score":0.3231000006198883},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.3118000030517578},{"id":"https://openalex.org/C57493831","wikidata":"https://www.wikidata.org/wiki/Q3134666","display_name":"Projection (relational algebra)","level":2,"score":0.3019999861717224},{"id":"https://openalex.org/C2908647359","wikidata":"https://www.wikidata.org/wiki/Q2625603","display_name":"Population","level":2,"score":0.3005000054836273},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.29490000009536743},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.2944999933242798},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.2928999960422516},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.2915000021457672},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.28999999165534973},{"id":"https://openalex.org/C203763787","wikidata":"https://www.wikidata.org/wiki/Q371029","display_name":"Null (SQL)","level":2,"score":0.2849999964237213},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.28439998626708984},{"id":"https://openalex.org/C2779808786","wikidata":"https://www.wikidata.org/wiki/Q6664603","display_name":"Locality","level":2,"score":0.28029999136924744},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.2768999934196472},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2703000009059906},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2685000002384186},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.2676999866962433},{"id":"https://openalex.org/C49020025","wikidata":"https://www.wikidata.org/wiki/Q1059099","display_name":"Chaining","level":2,"score":0.2676999866962433},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.2651999890804291},{"id":"https://openalex.org/C2777727622","wikidata":"https://www.wikidata.org/wiki/Q5251772","display_name":"Degeneracy (biology)","level":2,"score":0.2646999955177307},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2574999928474426},{"id":"https://openalex.org/C187915474","wikidata":"https://www.wikidata.org/wiki/Q622679","display_name":"Lie group","level":2,"score":0.2556999921798706},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.250900000333786}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.11252","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.11252","pdf_url":"https://arxiv.org/pdf/2608.11252","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2608.11252","doi":"https://doi.org/10.48550/arxiv.2608.11252","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.11252","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2608.11252","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.11252","pdf_url":"https://arxiv.org/pdf/2608.11252","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7202373246.pdf","grobid_xml":"https://content.openalex.org/works/W7202373246.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7169836975","https://openalex.org/W7214245902","https://openalex.org/W7216142797","https://openalex.org/W7212375927","https://openalex.org/W7172424733","https://openalex.org/W7147439743","https://openalex.org/W7216038703","https://openalex.org/W7159985103","https://openalex.org/W7203573125","https://openalex.org/W7165177831"],"abstract_inverted_index":{"Agentic":[0],"AI":[1],"systems":[2],"routinely":[3],"transport":[4],"conclusions":[5],"across":[6],"biological,":[7],"clinical":[8],"and":[9,12,36,61,79,86,121,168,190,212,232,266],"financial":[10],"contexts,":[11],"the":[13,24,29,41,82,94,172,219,234,243,247,257],"emerging":[14],"safeguard":[15,48],"is":[16,26,49,76,84,92,128,198,259],"local":[17],"verification:":[18],"checking":[19],"at":[20,118],"each":[21],"step":[22],"that":[23,32,37,129,237],"entity":[25],"representable":[27],"in":[28],"chosen":[30],"tool,":[31],"parameters":[33],"are":[34],"compatible,":[35],"outputs":[38],"cohere":[39],"with":[40,186],"plan.":[42],"We":[43],"prove":[44],"this":[45],"class":[46],"of":[47,55,96,132,202,204,221],"structurally":[50],"incomplete.":[51],"Modelling":[52],"a":[53,64,97,108,112,122,154,157,178,222,250,254],"covering":[54],"context":[56],"space":[57],"by":[58,63,165],"its":[59,74,227],"nerve":[60],"evidence":[62,70,105,206],"real-valued":[65],"1-cochain,":[66],"an":[67,205,215],"agent":[68],"chaining":[69],"performs":[71],"path":[72],"integration:":[73],"conclusion":[75],"path-independent":[77],"if":[78,81],"only":[80],"cochain":[83,248],"exact,":[85],"disagreement":[87,148],"between":[88,149],"valid":[89,150],"reasoning":[90],"paths":[91],"exactly":[93,249],"holonomy":[95],"first":[98],"Cech":[99],"cohomology":[100],"class.":[101],"Hodge":[102],"decomposition":[103],"partitions":[104],"conflict":[106],"into":[107,209],"gradient":[109],"part":[110,114],"(calibration),":[111],"curl":[113],"(local":[115],"inconsistency,":[116],"visible":[117],"triple":[119],"overlaps)":[120],"harmonic":[123,142,173],"part.":[124],"Our":[125],"central":[126],"result":[127],"no":[130],"family":[131],"simplex-supported":[133],"consistency":[134],"checks":[135],"can":[136],"distinguish":[137],"omega":[138],"from":[139,182],"omega+h":[140],"for":[141,218],"h,":[143],"which":[144,175],"nonetheless":[145],"generates":[146],"non-zero":[147],"paths;":[151],"detection":[152],"requires":[153],"statistic":[155],"on":[156,171,263],"cycle":[158],"basis.":[159],"The":[160,200],"resulting":[161],"procedure,":[162],"Ksetra,":[163],"estimates":[164],"coboundary":[166],"projection":[167],"gates":[169],"abstention":[170],"component,":[174],"we":[176,225],"give":[177],"mechanism:":[179],"it":[180],"arises":[181],"effect":[183,196],"modification":[184,197],"combined":[185],"overlap-specific":[187],"population":[188],"composition,":[189],"vanishes":[191],"to":[192],"machine":[193],"precision":[194,231],"when":[195],"absent.":[199],"degrees":[201],"freedom":[203],"network":[207],"partition":[208],"calibration,":[210],"coherence":[211],"transport,":[213],"yielding":[214],"exact":[216],"F-test":[217],"existence":[220],"global":[223],"claim;":[224],"quantify":[226],"distortion":[228],"under":[229],"unequal":[230],"supply":[233],"precision-whitened":[235],"form":[236],"restores":[238],"exactness.":[239],"Foreign":[240],"exchange,":[241],"where":[242],"arbitrage-free":[244],"null":[245],"makes":[246],"coboundary,":[251],"serves":[252],"as":[253],"calibration":[255],"bench:":[256],"test":[258],"correctly":[260],"sized,":[261],"fires":[262],"loop":[264],"arbitrage,":[265],"ignores":[267],"triangular":[268],"arbitrage.":[269]},"counts_by_year":[],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2026-08-14T00:00:00"}