Notes from building a system that has to be checkable

Design decisions and the reasoning behind them, measurements with their methodology attached, and the things we got wrong before we got them right.