Formal verification (H¹=0)
ACTP's state machine has been formally verified using cellular sheaf cohomology. H¹=0 on the state sheaf with 2-cell refinement, meaning every local protocol state composes into one globally consistent picture with no hidden seam where trust has to be reintroduced. Paper + code at github.com/agirails/actp-sheaf-cohomology.