DPW
The IDE where algebra meets craftsmanship.
What it is
The Daimyo Programmers Workshop is the editor and runtime environment for daitai. It is a full IDE — not a VS Code extension, not a web playground — designed from the first commit around the assumption that a program is a mathematical object before it is a text file.
DPW ships in three workspace modes that share a single underlying engine: a native Desktop build for serious work, a Web build for review and onboarding, and a Hosted mode for teams that want a deterministic shared environment. Switching between them never changes how the code behaves.
Every file you open is parsed into the daitai algebra. The editor knows the sort of every expression, not just its type. Refactors are rewrite rules. The AI co-pilot is bounded by the algebra — it cannot suggest code that would violate the rewrite system, which is what makes its suggestions worth accepting in the first place.
Why it exists
Modern IDEs were built for languages that treat programs as strings of characters annotated with optional types. That assumption leaks into every feature: search is regex, refactor is find-and-replace, autocomplete is a ranked list of identifiers. A language with real algebraic structure deserves tooling that knows the structure exists.
DPW also integrates the Compliance Graph Format directly into the build pipeline. Every artifact you produce — a binary, a docker image, a model weight — is automatically attested with the proof chain that produced it. Compliance stops being a quarterly fire drill and becomes a side effect of compiling.
A code example
# Declarative workspace — the IDE reads this and configures itself.
workspace "acme-trading-engine" {
mode : Desktop
algebra : daitai-algebra@1.4
copilot : { bounded-by = algebra, temperature = 0 }
pipeline build {
step compile -> verify(rewrite-closed)
step test -> verify(coverage >= 0.9)
step attest -> cgf.sign(key = "ops@acme")
}
}