Work with us

Two ways to work with us.

The agentic policy workshop, and designing and building the software.

Governance programmes and agent products usually govern the model, the prompt, the output, or a sample of process steps and paths. They do not fix, outside the run, what every acceptable action must satisfy, which assumptions claims depend on, and what remains to be trusted. Simply allowing an action to run does not settle any of that.

The Compliance Operator is the product that enforces a stated policy before a tool call runs. The workshop facilitates how you write, for one workflow, the policy that the product will enforce. The notation is in the glossary, Trust and Proof, Goal-Relative Assurance, and Agentic Process Governance.

Way one

The agentic governance and policy workshop

For one workflow, write what every acceptable action must satisfy, which assumptions that claim depends on, and what is still trusted. That is the authority map. It is what the Compliance Operator enforces.

You leave with

A written floor, a written boundary, and an explicit residue. The floor is what every acceptable action must satisfy. The boundary is the assumptions the claim depends on. The residue is what is still trusted.

The agentic governance and policy workshop →
Way two

Design and build proven high-assurance software

We build high-assurance software in Lean, for financial markets and other regulated industries. The engagement states the same limit the workshop writes, then builds the gate: what we will build, what the proof shows, which assumptions it uses, and what is still trusted.

What the engagement can include

The Lean protocol stacks and Anchor are patterns we have researched and prototyped. The open source is the evidence. They are not a second product you switch on beside the Compliance Operator.

Talk about a software engagement →