Formal Protocol Security vs hcsql BETA (2026)