Cognitive Fab builds the tooling and runtimes behind sophisticated state machines: the workflows, business processes, and control systems that real operations depend on. Designed rigorously. Verified continuously. Operated with confidence.
A verification-gated lifecycle for the code AI agents now write. Generation is solved — trust is the bottleneck. Agents already write large amounts of stateful code, the kind hardest to get right, and no human can enumerate every reachable state by eye. The dangerous bugs hide in combinations nobody tested.
Trust by hope
Trust by construction
Plugins to a coding agent. Every step the agent takes, a deterministic gate checks — no model needed at check time.
polygen
Authors code that is checkable from the first line.
polynv
Elicits the rules by having you judge concrete scenarios.
polyrun
Executes verified machines durably.
polygraph
Audits code that already exists, against reality.
polyvers
Evolves live machines safely.
Anything that occupies a situation and moves between them on events is a state machine — whether or not anyone drew it as one. It is the hardest software to get right, and it is everywhere.
orders, billing, subscriptions, approvals
tool & process control
SCADA, PLCs, factory automation
motion planning, task sequencing
perception → decision → actuation
flight control, avionics modes
infusion, imaging, therapy modes
settlement, ledgers, trade lifecycle
call state, session & consensus protocols
grid control, battery & plant management
fulfillment, routing, inventory
…and everything with a “mode”
Most systems bury their state machine in code, where it can't be inspected, verified, or safely evolved. We make it a first-class artifact across its whole lifecycle.
Model states, actions, and transitions explicitly — with contracts and invariants that capture what the system must and must never do.
Check machines against their contracts before they ship: reachable-state analysis, invariant checking, and replay of real traces against the model.
Run fleets of machines with visibility into every instance's state, safe version migrations, and compatibility gates for every change.
Change a live system without breaking it — versioned machine definitions, validated migrations, and gates that catch incompatibilities before deployment.
We'd like to hear about it. Reach out to talk tools, runtimes, or the state machines behind your operations.