Decision Lab
See what the model proposed, what the rules allowed, and what a different budget would change.
Try a research plan before spending
Synthetic example · no money moved
This synthetic example uses Keryx’s recorded-checkpoint evaluator. It makes no source reads, model calls, signatures or payments.
Model proposal → selected plan → code checkpoint
Latest terminal checkpoint outcome per recorded candidate; continuing checks and global stops are excluded. These are not settled purchases or quality scores.
Global stop checkpoints: 1 · Candidate rounds with continuing checks only: 0
| Candidate | Read round | Model proposed | Selected plan | Checkpoint | Code result | Reason / rule |
|---|---|---|---|---|---|---|
| 1 | 0 | BUY | BUY | selection | CONTINUE | selected-plan |
| 1 | 0 | BUY | BUY | budget | CONTINUE | budget |
| 1 | 0 | BUY | BUY | channel | BUY | delivery-channel |
| 2 | 0 | BUY | BUY | selection | CONTINUE | selected-plan |
| 2 | 0 | BUY | BUY | budget | SKIP | budget |
| 3 | 0 | CACHE | CACHE | selection | CONTINUE | selected-plan |
| 3 | 0 | CACHE | CACHE | channel | CACHE | delivery-channel |
| 4 | 0 | BUY | BUY | review | ESCALATE | human-review |
| Run context | 0 | — | — | attention | STOP | attention |
Try a different limit
Compare only recorded budget and attention checks. Later reads, model choices and a whole alternative answer are unknown. These controls never change a live policy or authorize a purchase.
Inspect your own recording locally
Download checkpoint JSON and retain its SHA-256 from a supported report. Choose that file and paste the report’s digest separately. Files stay in this tab; no upload or storage occurs.
Verify a signed export
Choose a signed decision bundle and supply its audit public key separately from a trusted channel. A key embedded in the bundle cannot establish trust. Verification is local and checks the signer’s snapshot, not payment settlement or completeness of history.
Source names and private research text are excluded from checkpoint exports. Missing historical, private or unsupported native capture stays unavailable.