trace-vault
Snapshot testing & replay for AI agents — CI for non-deterministic systems.
Core insight: determinism ≠ faithfulness. A reproducible run still has to prove it did the right thing.
Agent engineer · verification systemsAgent 工程师 · 验证系统
The demo is not the finish line. I build replay harnesses, black-box ledgers, eval gates, and proof receipts that make autonomous agents dependable after the human stops watching. Demo 跑通不是终点。我做 replay harness、黑匣子账本、eval gate 和 proof receipt,让自主 agent 在没人盯着时也能被验证、被追责、被信任。
Scroll-driven verification滚动驱动的验证叙事
The page moves like the system I build: a run starts as a claim, passes through independent records and replay, then exits as a signed verdict. 这个页面的滚动方式就是我的产品观: 一次运行先只是声明, 经过独立记录与重放验证, 最后才变成可签收的裁决。
$ trace-vault replay agent-run.json
· reading ledger ........ idle
· witness cross-check ... idle
· eval gate ............. idle
· proof receipt ......... pending
One ecosystem一个生态
Two contracts make them one system: Claude Code-compatible hooks, and one Agent Trust Report v0 verdict that CI can read. 两个契约把它们焊成一个系统: Claude Code 兼容 hooks, 以及 CI 可读取的同一种 Agent Trust Report v0 裁决格式。
Specimen cards项目标本
Snapshot testing & replay for AI agents — CI for non-deterministic systems.
Core insight: determinism ≠ faithfulness. A reproducible run still has to prove it did the right thing.
A verifiable autonomous coding agent in your terminal.
“Done” is a machine-enforced verify gate; every hands-off run leaves a signed, replayable ledger.
The black box recorder for overnight AI agents.
Every session event lands in a hash-chained append-only ledger, with morning debriefs that verify the agent’s claims.
Glass-box bill auditing with HMAC-signed proof receipts.
A provenance lens for cost, usage, and claims — built around receipts that can be checked without trusting the narrator.
About关于
I'm an agent engineer focused on what happens after the demo works: making AI agents reliable, verifiable, and trustworthy enough to run without a human watching.
My bet for the loop-engineering era: when models write the code, the engineering that still matters is the loop around them — memory, replay, eval, provenance, and receipts.
Open to Agent Engineer & AI Engineer roles
Writing & guides写作与教程