StarshipOS booting on real hardware, board by board (boards/BRINGUP.md): the PC (SER5), Raspberry Pi 5, Milk-V Mars, and the ports not yet written (Raspberry Pi 4, Zynq-7020).
One process from developer to master: the acceptance gate on every PR, the nightlies and the release to Nexus, Gitea as more than a repo. FABRIC-3.md XLV.
A small, fixed-design DoE of v4, run by every release, analysed in R and LaTeX, published as a PDF and as a page on the .com XWiki (tables and charts in the XWiki dialect) -- support for patent claims to a small degree. Captain Bob, 2026-11-08.
StarshipOS in the browser: each visitor gets a throwaway QEMU amd64 running the nightly StarshipOS.iso, its serial console as a web terminal, reset when they leave.
Move what v4 needs from v3 (the block layer, blkio, log, the platform time) into v4, and remove v3: its VM, the kernel v3 path, its capsules, the hosted build and its proofs (archived under a tag first). Captain Bob, 2026-11-08: its own milestone. #156.
The StarshipOS stick: plug in, boot, a prompt -- Artemis and Zuse on one USB stick. docs/v4.0.0/STICK.md section 11, increments 1-8.
StarForth v4.0.0 done, as docs/v4.0.0/JUSTIFICATION.md section 14 defines it and section 16 accepts it: v4 equivalent to v3 (same vocabularies and behaviour); every ISA, hosted and bare metal, at its ok prompt; POST passing at 32 and 64 bits; K=1.0 held on all three host ISAs; a hosted mesh running the Tripod roles; Verilator co-simulation of one node.
The alpha after the first published one (v4.0.0-alpha.3): the problems, deficiencies and smells found after it, ranked by priority (must, should, nice). Index: the issue titled "alpha.4: the list".
An SDK for FORTH and capsule developers (Captain Bob, 2026-11-07), after alpha.4's cleanup: a hosted StarForth v4 to write and test in; mkcapsule (lint, block ranges, conflicts); booting a capsule on all three architectures in QEMU without learning the Makefile; the developer protocol (#135) for a contributor's PR; how a contributor's capsule gets signed (the kernel's CONTRIB tier needs a good signature on real hardware; see #139); the book, the API reference, the Book of Fabric (#138) and a first-capsule walk-through; packaged and versioned with every release. Later, their own milestones: a systems SDK (board porters, kernel contributors), and FPGA (the F18 on Zynq) when we get there.
Deferred from alpha.5 (Captain Bob, 2026-11-12). The SDK's capsule repository (#149) first.