diff options
| author | eunhhu <[email protected]> | 2026-10-19 10:07:25 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-10-19 10:07:25 +0100 |
| commit | d8be0a4e91c371a5eb89ada925152eff349ff7d9 (patch) | |
| tree | 7f267cd6fc7931523f155c667e70b7d69025346d /docs/research/095-restart-and-first-contact.md | |
| parent | de1c3dd822c7bd6ae01c510a53372445b1b993ea (diff) | |
| download | pure-d8be0a4e91c371a5eb89ada925152eff349ff7d9.tar.gz pure-d8be0a4e91c371a5eb89ada925152eff349ff7d9.zip | |
029 (draft, not a 1.0 freeze): past one node, outside feedback 007's five gaps as architecture and order, each hung on an invariant already there (deterministic events, the chained commit log, ordered once delivery, views as pure functions) with a first proof on the Pi, its pass number and a stop rule: 1 the computing cliff and views' fns (the slow specs all runner 2: fns send whole blocks to the executor; fns spread at load below the language, bytes as columns, fewer instructions, CALL in a view whose callees change nothing), 2 the living store's evolution (a migration a pure fn of the new module, rewritten in batches while the app answers; 030's items-wide at 1M under 5 ms unanswered, the store the same bytes), 3 distribution (committed bursts replayed by a follower, an epoch fenced owner chosen by two of three, topology as a directory app's views; two hosts on one Pi first), 4 Vega past the grid (a display list as a view type, layout in aup with text measured by the host, IME and clipboard as input events, native windows last), alongside 5 effects whose results come back as events, one entry, a C ABI v0; the app contract gathered as draft v0, the fixed limits deferred
Diffstat (limited to 'docs/research/095-restart-and-first-contact.md')
0 files changed, 0 insertions, 0 deletions
