{"id":"arxiv/2607.20887","url":"https://arxiv.org/abs/2607.20887","tags":["cs.LG","cs.AI","math.AG"],"score":0,"title":"TwistedMerge: Certified Higher-Order Diagnostics and Abstention for Model Merging","domain":"cs.LG","source":"arxiv","authors":["Ting Gong","Shitan Xu"],"reviews":0,"subject":"cs.LG","summary":"Model merging combines independently trained or fine-tuned models, but pairwise alignability does not imply globally consistent alignment. We formulate merging as a finite descent problem in which checkpoints are local objects, alignment maps are transitions, and cycle products are residuals. TwistedMerge is a conservative certification pipeline that separates fixed-chart averaging, synchronization-removable gauge inconsistency, a certified central obstruction on a specified comparison complex, and nonabelian holonomy. A residual is promoted to a cohomology class only after…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-07-23","reactions":{}}