Enterprise early access
Self-hosted (BYOC) or air-gapped VPC.
What the other plans do not do.
Two capabilities, and two facts about where they run.
Formal verification
A solver looks for an input the old and new versions disagree on. If none can exist the change is proven; if one does, you get it.
Graph-aware review
A pull request read against the graph rather than its diff: what the changed functions are called by, and what two branches both touch.
Your own infrastructure
The whole thing runs where you run things. No repository leaves your network.
Licensed per seat
Renewed on the licence, and scoped with your account team rather than a checkout page.
Everything underneath.
The graph is the same graph, built by the same parser on the same 36 grammars, every edge still carrying its tag. Nothing in the graph itself is held back to make this worth buying: you pay for the verification, the review, and running it somewhere you control.
Access is limited while the first cohort works through it. A real constraint rather than a sales device: a verification product should be slow to promise things.