Invariant
Copyright 2026 Invariant contributors

This product includes software developed as part of the Invariant project
(SMT-based guardrail SAST for AWS SCP/RCP JSON).
