concepts
The cure, one idea at a time
Most people meet Praxec as the kernel that turns fifty tools into two. That's the doorway, not the building. This ladder builds up the whole idea one page at a time — ending in a kernel that owns the control flow instead of the model. Each page reads on its own. Start anywhere, or climb from the top.
Kernel-first, not model-first
The one inversion the whole system is built on.
Read →
Links, not lists
Every response carries the moves that are legal right now.
Read →
Approved building blocks
The model picks moves; it never authors the command.
Read →
Guards and evidence
Preconditions the kernel checks — and proof the agent can't fake.
Read →
Deterministic chaining
Don't spend a model round trip rubber-stamping a pass/fail.
Read →
A shared vocabulary
The agent can't skip a gate it can actually find.
Read →
Audit and replay
A record you can reconstruct from, not just read.
Read →
Compose at scale
Capabilities and orchestrators, layered rules, per-step models.
Read →
Coordinated agents
Optimistic versions and file locks make multi-agent tractable.
Read →