pure/docs/research/092-tpcc.md, branch masterVerified execution runtime unifying state, persistence, and replication.
http://git.yeowoo.org/pure/atom?h=master2026-10-19T00:53:40Z027's 5c: money as i64 minor units shown by .Nd: NUM_TEXT's decimal form takes digits (bits 20-24 as FIXED's), an integer's last N digits written after a point (1234 at two is 12.34, -5 -0.05, 0 0.00; width and zeros after the sign), verification allowing digits on FIXED and DECIMAL alone; unit test: ten rows of formats_and_held (-2^63 at two, 25 digits, a number's whole 1234, its 12.5 a limit); TPC-C's money i64 cents and its rates ten-thousandths (tables, messages, load, the transactions), SQLite's INTEGER columns and int64 bindings alike, the comparison now exact (no 1e-9 tolerance): after 20,000 transactions every row of every table the same (grouped SQLite too) and 3.3.2 holding on both; counts: b45 against b44 BFS without batches +0.09%, the rest within 0.001%; the bank's queries (s44 and s45 in turns, six each) in_credit -0.59%, per_branch -0.34%, ranks -0.20%, the rest within 0.01%, the seven answers the same bytes; 008 (NUM_TEXT's digits, a message row's i64 cells), 027 and 0922026-10-19T00:53:40Zeunhhunecpition205@gmail.com2026-10-19T00:53:40Zurn:sha1:defb2cf06a9b5db9429ca368d8c2af127a5c9c3dCompare TPC-C on the SD card with SQLite committing in groups, not each transaction2026-09-30T06:56:49Zeunhhunecpition205@gmail.com2026-09-30T06:56:49Zurn:sha1:d98f80dde3052acae503c589e15b5243afb864b7
The 90x of 092 was against SQLite's defaults committing each
transaction; tuned for the card and grouped as Pure groups, SQLite is
4-11x behind, the bytes it writes a transaction being the difference.
Measure TPC-C again with compact log records2026-09-28T10:26:44Zeunhhunecpition205@gmail.com2026-09-28T10:26:44Zurn:sha1:bde7c586a054e4bce18f70fc503ef8413711b8cdCheck TPC-C's consistency from one snapshot a side, and measure TPC-C on RAM and an SD card2026-09-28T10:12:37Zeunhhunecpition205@gmail.com2026-09-28T10:12:37Zurn:sha1:d416c5b2392da7b2dc365e646ab5423292f770ce