From 186680724efe1406acf3d05c14c3fa0736c358ee Mon Sep 17 00:00:00 2001 From: Claude Date: Sun, 8 Nov 2026 15:32:42 +0000 Subject: [PATCH] docs(readme): v4.0.0-alpha.3, Try it, the plug-and-play stick, the acceptance gate The README still named v2.1.0 and an old dict_hash. Now: the version (kernel 4.0.0-alpha.3, engine 3.2.0) and the release; Try it on the .com; the stick (plug and play, the proxy Zuse, growth -- #92 Tasks 1-3), M9 on the stick's GPT partitions; how a change reaches master (the acceptance gate, every run a first boot); signed capsules and the Root CA; v3's retirement (#156); `make write_stick`, `qemu-stick-high`; the stick and the Book of Fabric in the documentation table. v4's dict_hash 0xfec8c47cfc6f437f. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2 --- README.md | 38 ++++++++++++++++++++++++++++++++------ 1 file changed, 32 insertions(+), 6 deletions(-) diff --git a/README.md b/README.md index 3a7e2b24..06e0c135 100644 --- a/README.md +++ b/README.md @@ -1,10 +1,15 @@ -# LithosAnanke v2.1.0 +# LithosAnanke v4.0.0-alpha.3 **UEFI-bootable FORTH microkernel.** Boots from firmware, initialises memory and interrupts, then runs StarForth as its sole userspace runtime. No libc. No OS. Just stone and necessity. *Lithos* (foundation) + *Ananke* (necessity) — the kernel under StarshipOS. +**Try it in your browser:** [starshipos-f18.com](https://starshipos-f18.com/) — a StarshipOS +machine of your own, booted to `[zuse@Hera] ok>`, thrown away when you leave. **Releases:** +[v4.0.0-alpha.3](https://gitea.starshipos-f18.org/rajames/LithosAnanke/releases) (pre-release), +the kernel `4.0.0-alpha.3` with the StarForth engine `3.2.0`. + --- ## Products @@ -22,7 +27,8 @@ FORTH-79 is recomposed on the F18 engine and stored as a capsule; the StarshipOS vocabulary gets the same treatment. v3 remains the reference system until v4 meets its acceptance criteria (`docs/v4.0.0/JUSTIFICATION.md` §16). **Both run on bare metal now:** every board image carries v4 and v3, boots v4 as built, and one word in its boot configuration -chooses (see below). +chooses (see below) — except the PC stick, which is v4 only. **v3 is being retired** (its own +milestone, #156): what v4 needs of it, the block layer, moves into v4 and the rest is removed. --- @@ -34,14 +40,22 @@ chooses (see below). | M7 | StarForth VM integration + parity validation | ✅ Complete | | M7.1 | Capsule birth · Mama FORTH vocabulary · the Tripod fleet · kernel-Hermes · word-level ACL | ✅ Live | | M8 | Keyboard input to the REPL — PS/2, virtio and **USB** keyboards (a full keyboard: Caps/Num Lock, keypad) | ✅ In QEMU, all three ISAs | -| M9 | Block storage — Artemis's disk on virtio-blk; identity thumbdrives on USB mass storage | ✅ In QEMU · real disks: no driver yet (`boards/BRINGUP.md` A4) | +| M9 | Block storage — on v4, Artemis and Zuse's identity on the StarshipOS stick (GPT partitions, over USB mass storage); v3's Artemis on virtio-blk | ✅ In QEMU · real disks: no driver yet (`boards/BRINGUP.md` A4) | +| The stick | One USB stick is the whole OS: plug it in, boot, `[zuse@Hera] ok>` — its first boot mints its own Zuse and grows Artemis to fill it (`docs/v4.0.0/STICK.md`, #92) | ✅ Tasks 1–3 of 5 in QEMU · the real Zuse on a second stick next | | Bare metal | a generic PC (amd64; first on the bench: a Beelink SER5), Raspberry Pi 5 (aarch64), Milk-V Mars (riscv64); Zynq-7020 (ARMv7) not yet ported | Images build; first boots on the bench — `boards/BRINGUP.md` | **v4 is the default build, and v3 is being retired**: every kernel boots v4 unless its boot arguments say `system=v3`. POST at boot, on all three ISAs: v4 — **538 tests**, -`PARITY:V4_SYSTEM word_count=317 dict_hash=0xe5a57f3eb72ff94a`; v3 — **1052 tests**, +`PARITY:V4_SYSTEM word_count=317 dict_hash=0xfec8c47cfc6f437f`; v3 — **1052 tests**, `PARITY:M7.1a word_count=526 hash=0x82f4ae7cb2e2d424`. +**How a change gets in** (the Captain Bob method): `master` is reached only through a pull request +that passed **acceptance** — amd64, aarch64 and riscv64 booted in QEMU to `[zuse@Hera] ok>`, POST +538/538 and one `dict_hash` on all three; the PC stick booted loaded above 2 GiB, as a PC's firmware +loads it; and the 32-bit build's tests. Every acceptance boot starts from a fresh stick, so every +run is a first boot. The same stages run nightly and for every release (`scripts/nightly.sh`); the +serial logs are committed. + ### What's live - **The Tripod** — a named multi-VM fleet: **Hera** (the Mama VM, the governor), **Artemis** @@ -50,9 +64,14 @@ arguments say `system=v3`. POST at boot, on all three ISAs: v4 — **538 tests** - **kernel-Hermes** — messaging moved into the kernel (the Hermes VM is gone, `docs/fabric/FABRIC-3.5.md`): every VM takes its own messages on its own turn, under a cooperative switcher that every VM takes part in. +- **The plug-and-play stick** (v4) — `make boot_image TARGET=PC` and `make write_stick + DEVICE=/dev/sdX`, plug it in, boot: the stick's first boot mints its own Zuse (no two sticks share + one) and grows its Artemis partition to fill the stick, up to 256 GiB, writing metadata only. - **Identities on thumbdrives** — Zuse, the superuser, and every user is a minted USB thumbdrive (Ed25519, Zuse-signed); plugging one in births that user's VMs, pulling it out ends them. There is only the drive: no password, no PIN. +- **Signed capsules** — the capsules the kernel boots from are signed under the StarshipOS Root CA + (`ci/pki/starshipos-root-ca.pem`, published with every release) and checked at boot. - **Word-level ACL** — every dictionary entry carries a TTL/allow/mode/pin access-control record; strict, TTL and pinned modes; two console layers (emergency `ok>` and superuser `zuse)ok>`). Measured overhead of the live ACL-TTL mechanism: **+0.0603%**, CV 0.000%, @@ -84,10 +103,16 @@ make # every board with a kernel port + hosted v3 + make docs # build/docs/LithosAnanke.pdf (LaTeX master: docs/book/main.tex) make clean TARGET=RASPI # that board's outputs and build/aarch64/kernel -# The kernel in QEMU (OVMF / AAVMF / EDK2), one architecture at a time -- boots v4 +# The PC stick, written to a real USB stick (checks the device, asks you to type its name back, +# verifies the write); then boot it from the PC's firmware boot menu +make write_stick DEVICE=/dev/sdX + +# The kernel in QEMU (OVMF / AAVMF / EDK2), one architecture at a time -- boots v4 from a fresh +# data stick, so every boot is a stick's first boot make -f kernel/Makefile ARCH=amd64 clean qemu make -f kernel/Makefile ARCH=aarch64 clean qemu make -f kernel/Makefile ARCH=riscv64 clean qemu +make -f kernel/Makefile ARCH=amd64 clean qemu-stick-high # the PC stick itself, loaded high make -f kernel/Makefile ARCH=amd64 KERNEL_ARGS=system=v3 clean qemu # v3, while it remains # The Pi 5's native boot path, rehearsed on QEMU's virt machine at EL2 @@ -123,7 +148,8 @@ which to believe. Among them: | | | |---|---| -| [The FABRIC record](docs/fabric/) | Every design decision and the work as it happened (`FABRIC-3.md` is the living one) | +| [The FABRIC record](docs/fabric/) | Every design decision and the work as it happened (`FABRIC-3.md` is the living one) — published as *The Book of Fabric* from alpha.4 | +| [The stick](docs/v4.0.0/STICK.md) | The x86-64 StarshipOS stick: plug and play, the proxy Zuse, growth | | [StarForth v4](docs/v4.0.0/) | The F18-derived engine | | [Board bring-up](boards/BRINGUP.md) | Getting onto a PC, the Pi 5 and the Mars | | [Roadmap and versioning](docs/reference/ROADMAP.md) | Milestone plan and release-versioning policy |