A Go-based analyzer that reads structured specifications (states, rules, invariants) and detects contradictions, unreachable states, or incomplete definitions. This tool focuses on logic integrity rather than execution. Checks internal consistency of formal specifications.