ARC 01
The Computability of Law
Most legal AI accelerates legal work. We are interested in something deeper — whether law itself can be computed. This is where we make the case.
- The Whole World runs on Invisible LawThe societal order holds nothing on its own and exists only where we reason it into place — and that order, enacted law, is finally computable.
- Contracts as State MachinesEvery clause is a transition. Read a contract as the state machine it has always been.
- Obligations & TransitionsWhat it means to model duty as a function of time, events, and counterparties.
- Jurisdiction as RuntimeThe same clause, run under a different jurisdiction, is the same program under a different runtime.