Formal verification (H¹=0)
ACTP's structural completeness has been formally verified using cellular sheaf cohomology — H¹=0 on the state sheaf with 2-cell refinement, meaning every local state in the protocol assembles into a single globally consistent picture with no hidden seams where trust has to be reintroduced.