Most AI-written code is verified after the fact, if it's verified at all. polygen flips the order: it drafts the state machine and its contract together, self-repairs against its own checks before you ever see a diff, and ships with a regression corpus synthesized from the model it just built.
Three stages, one output: a new state machine that arrives already gated.
States, transitions, guards, and the invariants that come with them are generated alongside the implementation, not bolted onto it afterward.
Every violation polygen's own gate finds during generation gets fixed before the code reaches you, not flagged for you to fix later.
A set of traces derived from the verified model, so the first commit already has a test suite that actually explores the state space.