Introducing daitai

Code Daimyo — April 2026

If you build software for medicine, finance, AI, infrastructure, or anything else where someone will eventually ask "how do you know that's true?", this is for you.

We are launching daitai — an algebraic platform built around the position that software deserves the same rigor as mathematics. It is four pieces that compose:

• daitai-lang, a deterministic, statically typed language with no null and no exceptions.
• daitai-algebra, the formal core: a small set of sorts and operators with a published rewrite system.
• DPW, the IDE that reads the algebra directly — refactors are rewrites, the AI co-pilot is bounded by laws.
• CGF, a signed compliance graph format that makes audit evidence first-class data, not screenshots.

We are not arguing that the existing tools are bad. Most of us use them. We are arguing that there is a different point in the design space — one where determinism, mathematical rigor, and shipping velocity are not in conflict — and that someone needs to demonstrate it in running code. That's what daitai is.

The starting moves are small. The first OSS module, svg2daitai-vector, is live today. The algebra spec v1.4 is published. CGF v1.0 is shipping next month. DPW is in invite-only beta.

If you have ever wished your codebase could be its own audit, its own specification, and its own teaching artifact at the same time — talk to us.

— Code Daimyo