pure/prototypes/connections/README.md, branch masterVerified execution runtime unifying state, persistence, and replication.
http://git.yeowoo.org/pure/atom?h=master2026-09-27T12:14:38ZLay Pure out as a core with the parts selected around it2026-09-27T12:14:38Zeunhhunecpition205@gmail.com2026-09-27T12:14:38Zurn:sha1:37d3a1e152707d2da587440c4cea8601b9ef0fd2
The app model, the tree store and the HTTP host lived in
prototypes/connections among the earlier document runtime, the store was
known only by its format's name, and Vega compiled six Pure sources by path.
Now, as the README's principle has it:
core/ runtime, flow and the app model (module*.c), with what the core
asks of storage (state.h, store.h)
store/ the tree store (PURETRE3, PUREREC1)
serve/ pure-serve: HTTP host, outbound delivery, JSON in place
cli/ pure-run, pure-edit-module
A top-level make builds libpure.a (app model and store, for hosts to link)
and the hosts; make check runs the store's and the app model's tests. The
earlier runtime still builds from prototypes/connections against core/ and
store/ (check, check-tree and check-core pass). Design 009 records the rule:
parts by role behind libraries; git repositories split by coupling, so the
store stays here while its contract moves with the core, and Vega stays apart.
Let the runtime own working versions as drafts2026-09-25T08:34:34Zeunhhunecpition205@gmail.com2026-09-25T08:34:34Zurn:sha1:65386f68fb53e5a9a20a284b06afd872172c30eb
state.h gives any app a runtime-owned working version of a stored value on
the tree store. A draft shares unchanged extents with the stored version,
edits in memory by path copying, lends ordered extents without copying, and
commits only its new nodes when the key is still at its base revision. A
failed commit changes neither the draft nor the store; a draft whose file was
replaced by compaction copies its stored extents on commit. Unreachable
arena nodes are reclaimed once they outweigh max(reachable, 32 KiB).
Typing into the middle of a 1 MiB document and saving each character peaked
at about 1,660 KiB RSS with a draft against about 4,480 KiB for an app copy
compared with storage on save; saves were only 1-2 ms faster. This corrects
073, which had attributed the TUI's remaining 8 ms to that comparison.
Drafts are not yet charged to the runtime budget or visible to .pure
definitions.
Add selected single-file persistent tree store2026-09-25T08:33:43Zeunhhunecpition205@gmail.com2026-09-25T08:33:43Zurn:sha1:6a28879bd56354483fe940c0c80d511eccb89983
store-tree.c keeps every document in one append-only file as a persistent
B-tree of byte extents, with the key catalog in the same structure. A splice
writes only the changed leaf and path; unchanged extents are shared between
versions, readers take no lock, and two alternating head slots publish a
commit after its nodes are durable. Compaction rewrites reachable nodes.
On the recorded ext4 host a durable 1-byte middle insert into a 1 MiB
document took 8.58 ms against 78.51 ms for the default store, and the real
TUI's Ctrl+S after typing took 16.60 ms against 84.59 ms. check-tree runs the
store's crash/oracle tests and the unchanged runtime, splice, async and
real-PTY editor checks on it. It stays opt-in: linked code is 12.7 KB larger
and contiguous multi-leaf reads copy.
Verify paged document app under 4 KiB AArch64 kernel2026-09-24T16:50:28Zeunhhunecpition205@gmail.com2026-09-24T16:50:28Zurn:sha1:c63d70d535be7cf4b8c0a5739a7e623e51d2ebf0Admit aligned OS pages in selected paged store2026-09-24T16:33:55Zeunhhunecpition205@gmail.com2026-09-24T16:33:55Zurn:sha1:4525124c01cc4c4ee335b0a430354a235a6539e0Establish native micro runtime checkpoint2026-09-24T16:14:54Zeunhhunecpition205@gmail.com2026-09-24T16:14:54Zurn:sha1:b1ce1927022d374198441afafeb27199fc8a052a