Verified execution runtime unifying state, persistence, and replication. http://git.yeowoo.org/pure/atom?h=master 2026-09-26T15:56:08Z 2026-09-26T15:56:08Z eunhhu necpition205@gmail.com 2026-09-26T15:56:08Z urn:sha1:768317d789a01d722fe7455d792fed11e6579b5c run.py --suite app serves the scoreboard of scores.aup (22 lines of aup) with pure-serve against the same scoreboard written by hand in axum and drogon: POST /inputs/score?points=N with a name as the body, GET /views/total and a page of 20 rows as JSON. Durable, the baselines append each score to a log and fdatasync it before answering (replayed at start); the load generator learns the three requests.