StateVec Overview
What StateVec is, where it fits, and how execution, replay, and query surfaces work.
Blog
Engineering notes for StateVec.
Focused articles on performance, deterministic execution, replay, audit tooling, and the design choices behind the engine.
Verified Projector Architecture
How StateVec separates canonical state change from verified external effects through readonly projectors.
StateVec Bank HA Kafka Performance Run
Kafka HA throughput, latency, resource, and tx sequence completeness results from the 2026-05-12 Bank HA runner.
Power of Speculative Execution
Why deterministic engines can compute, reject, commit, replay, and verify from a cleaner boundary.
Stacked Data View
How transaction-visible record, UK, and index views make speculative execution precise.
TxLog as Source of Truth
Why TxLog is the durable source of truth for replay, audit, and cluster verification.