Formal Protocol Security vs Immuta Data Domains (2026)