Formal Protocol Security vs Immuta Metadata Registry (2026)