Structural trust analysis for infrastructure code. 9 targets, 7 conservation laws, 19K+ lines of analysis. Synthesis Hackathon 2026. - View it on GitHub