pure/docs/design/026-app-contract.md, branch masterVerified execution runtime unifying state, persistence, and replication.
http://git.yeowoo.org/pure/atom?h=master2026-10-13T03:29:52ZDesign 026: the app contract written as mathematics, the part to freeze at 1.0: an event a total, atomic, deterministic function step(S, E) -> (S, Out*) or a fault (budgets in instructions and bytes), time an input, views pure functions of the committed snapshot, the history seen a prefix of commits, delivery in order and once with the transport's state in the store, values the same on every path, replacement joined by names; the layers it removes; its own suspects (input and view kinds, cursors and indexes, keyed documents, the number model, the budget's unit, fixed limits); the computation language rebuilt before 1.0, no compatibility kept before it (the user's word)2026-10-13T03:29:52Zeunhhunecpition205@gmail.com2026-10-13T03:29:52Zurn:sha1:6238169f9adec8bc83337ffe0f54f4be756fa558