Case studies
Engineering records: what exists, what made it difficult, which decisions mattered, and what the evidence supports.
Aikido
Four detailed studies from the flagship research and execution system. System overview →
- 00
The Predicate Sweep
A custom research engine for staged, multicore exploration of huge predicate spaces—while keeping exact simulation as the final authority.
- 01
One Account, One Truth
Extracting account rules into one deterministic state machine shared by canonical replay and the live runtime accounting path.
- 02
Converge, Don’t Command
Replacing fragile order deltas with idempotent desired-state convergence—and redesigning protection after a practice-account runaway.
- 03
When a Result Is Allowed to Count
A point-in-time evidence and certification system that can reject attractive research results when their provenance, replay, or uncertainty is not good enough.
Other systems
- 00
Agent Supervisor
A Rust experiment in supervising external AI agents as long-running, unreliable processes.
- 02
Real-Time Operations Workstation
An operator-facing workstation that brought multi-account state, execution workflows, risk controls, monitoring, and emergency actions into one legible system.