Masora

Sha'ar is a working, bounded prototype for verifying AI-proposed infrastructure patches. Such patches can look correct while breaking older environments. Meta Muse Spark proposed a PostgreSQL TLS key-exchange change; an independent deterministic gate built and tested it against two OpenSSL versions, observed actual TLS negotiations, and accepted it after all 21 mandatory checks passed. A separate Muse Spark Open proposal failed compatibility checks and was rejected. Each verdict links to inspectable evidence.