Reproducibility artifact for 'Sheaf Cohomology for Settlement Protocol Verification' (Rooschuz & Mujic, AGIRAILS, 2026). Computes H1 over the ACTP 8-state lifecycle and validates topological completeness on the published 2-complex.
state-machine algebraic-topology formal-verification protocol-verification applied-topology sheaf-cohomology actp agirails
-
Updated
Apr 29, 2026 - Python