pure/docs/design/018-lifetimes-and-computation.md, branch master Verified execution runtime unifying state, persistence, and replication. http://git.yeowoo.org/pure/atom?h=master 2026-10-04T14:06:22Z Say what views that compute cost the writes beside them (018 stage 3, research 119) 2026-10-04T14:06:22Z eunhhu necpition205@gmail.com 2026-10-04T14:06:22Z urn:sha1:57ca99e5f4cdce7923e55347ed505e3ac43c3055 Say why stage 3's first isolation criterion could not hold, and what to measure instead (018) 2026-10-04T13:51:28Z eunhhu necpition205@gmail.com 2026-10-04T13:51:28Z urn:sha1:611cadf4f4099eb9a84ab36ff72bee4e1caf05cf Let a view compute in its body, on a reader's own lists (018 stage 3) 2026-10-04T13:43:11Z eunhhu necpition205@gmail.com 2026-10-04T13:43:11Z urn:sha1:8d0901ba060165ad0622a3be09b09e3acd4a8899 Say what computing in one event costs and finds (018 stage 2, research 118) 2026-10-04T13:25:45Z eunhhu necpition205@gmail.com 2026-10-04T13:25:45Z urn:sha1:540d4aef64eb5364a836615fbd44d321b029de3f Count in loops that nest, break, and keep an event's own lists, every event bounded (018 stage 2) 2026-10-04T12:58:19Z eunhhu necpition205@gmail.com 2026-10-04T12:58:19Z urn:sha1:9e587a06d88b01d21ccc7a1cb25dc156b40efcab Say what a transient state saves a write (018 stage 1, research 117) 2026-10-04T12:33:01Z eunhhu necpition205@gmail.com 2026-10-04T12:33:01Z urn:sha1:09a34871f97c9917735b4dfd40cbad22ccf9b001 Keep transient states the app's while it runs, never stored (018 stage 1) 2026-10-04T12:30:31Z eunhhu necpition205@gmail.com 2026-10-04T12:30:31Z urn:sha1:d806c3197500565d20787161d1e1e94ce39df7a1 Say how aup chooses what a state outlives, and computes in memory (018) 2026-10-04T12:14:50Z eunhhu necpition205@gmail.com 2026-10-04T12:14:50Z urn:sha1:f668d54e0c84bdb6240ba1133ee167385a7dc440