Audit Bundle: Cell Algebras on Bipartite Graphs — Local Rigidity and Holonomy Rank Decomposition
收藏官方服务：
资源简介：
Computational proof artifacts for the manuscript 'Cell Algebras on Bipartite Graphs: Local Rigidity and Holonomy Rank Decomposition.' Contains exact-rational verification scripts, interval/Krawczyk certificates for the ADE family and path-family continuation, Lean 4 formalization (38 modules, zero sorry), biunitarity solvers, and the claim-to-artifact mapping (AUDIT_MAP.md).
提供机构：
Zenodo创建时间：
2026-03-31
