l35QweVxgn static candidate

Local source and proof audit only. This page has no scripts, forms, network requests, or embedded author material.

• Overview
• Active judge claims
• Paper and proof audit
• Release-code audit
• Safety and licence
• Evidence boundaries