A deterministic contract around stochastic model execution
DAX is a governed execution workstation. It puts policy, approvals, replay and audit around the model, so a coding agent can propose anything and change only what passes.
Outcomes
What DAX changes in the run
Govern what changes, keep the trail, and leave evidence, without turning the run into a chat log you have to dig through later.
Pause what matters
Risky actions resolve to allow / ask / deny before mutation.
See the run
Canonical events and replayable state, not chat archaeology.
Prove trust
Audit posture plus tamper-evident ledger checks.
Product tour
RAO: intent, run, audit, override
A scripted walkthrough of how DAX pauses risky writes, records a verification receipt, and branches on approve or deny. It runs in your browser; nothing is sent to a server.
Task locked before the model moves
Task: Add an isEven helper with tests.
Write-scope is limited to src/**. package.json is forbidden. Policy vocabulary stays exact: allow / ask / deny.
Proof ladder
Rust decides deterministic facts
Five crates form the ladder from replay to ledger. Orchestration stays in TypeScript; proofs stay offline and local.
| Crate | Role |
|---|---|
| dax-core | Replays canonical run events; deterministic proof reports |
| dax-policy | allow / ask / deny without a model call |
| dax-audit | Trust posture from six structured signals |
| dax-ledger | Tamper-evident append-only chain |
| dax-indexer | Deterministic local structure index |
Peg note: pinned to commit 494354dc814377be2994292caf4dc577ede0b0b3 (v1.4.0)
Contrast
Where DAX sits among peers
Same class of tools, different posture on pausing, evidence and replay. As of v1.4.0.
Cursor
- Strong IDE agent UX
- Approvals in the editor flow
- Session-centric trail
- Less formal audit export
Claude Code
- Capable terminal agent
- Permission prompts in-run
- Transcript-forward history
- Proof ladder not primary
Codex
- Cloud / CLI agent loops
- Policy via product controls
- Run logs as product surface
- Local ledger optional
DAX
- ✓Pause / approval (allow · ask · deny)
- ✓Evidence-forward diffs
- ✓Replayable run state
- ✓Audit readiness + ledger
Try / install
Get DAX on the machine
Install paths and a local proof-ladder demo. Blocks are copyable; paste into your terminal when ready.
curl -fsSL https://raw.githubusercontent.com/ShaileshRawat1403/dax/main/script/install.sh | DAX_REPO=ShaileshRawat1403/dax bash
brew install ShaileshRawat1403/tap/dax
winget install DaxAi.DAX
bun run demo:proof-ladder
Prefer a release asset? Download v1.4.0.
Evidence stills
What the workstation looks like
Screens from the product: the home screen, an approval, and a diff before approval.
