StateVec Overview
How StateVec turns a deterministic business plugin into a verified, Raft-replicated transaction core: ownership, modeling, ACID batches, Verify mode and Performance mode.
Docs
StateVec Plugin Contract: a 5-minute guide
Define a schema, run deterministic Bank handlers, test a refusal, and connect the plugin contract to Raft durability and recovery.
Bank plugin example: records, commands and events
Define accounts and Deposit, update two balances atomically, and follow record revisions through simulate, verify, commit and apply.
AWS Cost Model: Aurora Service Stack vs StateVec Cluster
Compare modeled instance costs for a 10k TPS Aurora service stack and a three-node StateVec cluster with business plugins, Raft replication and checkpoint recovery.