diff options
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -1,5 +1,14 @@ # Pure +**Current app model (2026-09-26).** Apps are written in [aup](/srv/git/aup.git) and run as Pure modules +([format v5](docs/design/008-module-format.md)), verified completely before they execute: declared states persist +in Pure's tree store, every event is a transaction, views are pure functions of state. The same spec becomes a +terminal UI, a CLI, spoken sentences and a web page through [Vega](/srv/git/vega.git), and an HTTP service through +`pure-serve` (views are GETs, inputs are POSTs with JSON bodies; answers are durable). Measurements against axum and +drogon on a Raspberry Pi 5 are in [075](docs/research/075-http-host-against-axum.md) and +[077](docs/research/077-apps-as-http-services.md); the status table is [CHECKPOINT.md](CHECKPOINT.md). The text below +records the earlier document runtime this grew from. + A standalone native micro runtime being designed as a small operating system. Pure owns the application model for execution, memory, protection, resource lifetimes, storage, and communication. Efficient connections between |