Formal Protocol Security vs Immuta Data Provisioning (2026)