The architecture and tradeoffs behind a local-first TypeScript toolkit for turning agent runs into inspectable, checkable evidence.