From d7d431f1d6ebcbdbad0cff788fc2e712dd213bab Mon Sep 17 00:00:00 2001 From: Claude Date: Sat, 7 Nov 2026 15:24:28 +0000 Subject: [PATCH] release v4.0.0-alpha.1: accepted in full, logs and record [skip ci] The acceptance protocol on b7534107 (LithosAnanke v4.0.0-alpha.1), in this session, one QEMU at a time in the foreground: - amd64 logs/20261107-150809, aarch64 -151023, riscv64 -151359: [zuse@Hera] ok>, PARITY:V4_POST tests=538 pass=538 fail=0, POST: PASSED, dict_hash=0xfec8c47cfc6f437f on all three - the PC stick loaded high, logs/20261107-151539: the same, no fault - make -C v4 test-32: 39 programs, 0 failures - Isabelle/HOL proofs, logs/20261107-152312/isabelle: Finished StarForth CHANGELOG and FABRIC-3.md XLVII: the ruling, what was verified, and what an alpha leaves open (the v4.0.0 milestone; unsigned capsules until the StarshipOS CA). Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2 --- CHANGELOG.md | 13 +++++++ docs/fabric/FABRIC-3.md | 34 +++++++++++++++++++ .../runs/doe-aarch64-20261107-151023.csv | 0 .../runs/doe-amd64-20261107-150809.csv | 0 .../runs/doe-amd64-20261107-151539.csv | 0 .../runs/doe-riscv64-20261107-151359.csv | 0 .../amd64/qemu-amd64-20261107-150809.log | 3 ++ .../aarch64/qemu-aarch64-20261107-151023.log | 3 ++ .../riscv64/qemu-riscv64-20261107-151359.log | 3 ++ .../amd64/qemu-amd64-20261107-151539.log | 3 ++ .../isabelle/isabelle-20261107-152312.log | 3 ++ 11 files changed, 62 insertions(+) create mode 100644 experiments/bare_metal/runs/doe-aarch64-20261107-151023.csv create mode 100644 experiments/bare_metal/runs/doe-amd64-20261107-150809.csv create mode 100644 experiments/bare_metal/runs/doe-amd64-20261107-151539.csv create mode 100644 experiments/bare_metal/runs/doe-riscv64-20261107-151359.csv create mode 100644 logs/20261107-150809/amd64/qemu-amd64-20261107-150809.log create mode 100644 logs/20261107-151023/aarch64/qemu-aarch64-20261107-151023.log create mode 100644 logs/20261107-151359/riscv64/qemu-riscv64-20261107-151359.log create mode 100644 logs/20261107-151539/amd64/qemu-amd64-20261107-151539.log create mode 100644 logs/20261107-152312/isabelle/isabelle-20261107-152312.log diff --git a/CHANGELOG.md b/CHANGELOG.md index 881f49fc..a8ad0b7a 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,18 @@ # Changelog +## 2026-11-07 — LithosAnanke v4.0.0-alpha.1: the first alpha release + +The first alpha of the kernel, `v4.0.0-alpha.1`: v4, StarForth's F18 engine, is the system every +board boots by default, with v3 a boot argument away. The kernel's version goes from 2.1.0 to the +4.x working line (Captain Bob, 2026-11-07); the engine stays 3.2.0. Accepted in full before the tag: +amd64, aarch64 and riscv64 to `[zuse@Hera] ok>` with POST 538/538 and one `dict_hash` +(`0xfec8c47cfc6f437f`), the PC stick loaded high, `test-32` (39 programs, 0 failures), and the +Isabelle/HOL proofs. An alpha: the v4.0.0 milestone's own definition -- parity with v3's vocabulary, +K=1.0 measured on v4, the hosted mesh, Verilator -- is still open, and the capsules are unsigned until +the StarshipOS CA is made (FABRIC-3.md XLVI). Also today: CI in a prebuilt runner image, the +nightly's proofs no longer able to hold back its images, and the .com and .org websites. Full record: +`docs/fabric/FABRIC-3.md` XLVII. + ## 2026-11-07 — CI jobs start ready: the runner image The CI jobs now run in `lithosananke-runner` (`ci/runner-image`, #120), an image with everything diff --git a/docs/fabric/FABRIC-3.md b/docs/fabric/FABRIC-3.md index 16144bca..f18411fa 100644 --- a/docs/fabric/FABRIC-3.md +++ b/docs/fabric/FABRIC-3.md @@ -6105,3 +6105,37 @@ With a CA made by `make-ca.sh` in a scratch directory (not the real one): `opens chain OK; `make-ca.sh` refuses a second run; `mkcapsule` with the signing key -- "signing key matches"; with the root's key -- refused; with a key and no certificate -- refused; with no key -- unsigned, as before. The acceptance with the real certificate is the PR's. + +## XLVII. LithosAnanke v4.0.0-alpha.1: the first alpha release (2026-11-07) + +### 1. Ruled + +Captain Bob, 2026-11-07: "next on the list is do a tag/release of v4.0.0" -- then, on what the number +names: "StarForth version stays the same ... Kernel is 4.0.0. This is our first alpha release." The +tag names the kernel (`release.yml`: `v`), so: + +- `LITHOS_VERSION` 2.1.0 -> **4.0.0-alpha.1**; the tag is `v4.0.0-alpha.1`; Nexus takes + `org.starship:kernelImage:4.0.0-alpha.1` and `org.starship:documentation:4.0.0-alpha.1`. +- The engine's `VERSION` stays **3.2.0**. +- The versioning policy (`kernel/Makefile`, FABRIC-3.5.md XXX): 4.x is a working line (even major). + v3.0.0, the first LTS, is no longer the next number; an LTS line takes the next odd major when + XXX.5's criteria are met. Alphas are numbered: a release repository takes each version once. +- The v4.0.0 milestone is unchanged: its definition (v4 equivalent to v3, K=1.0 on all three host + ISAs, a hosted mesh, Verilator co-simulation) is what 4.0.0 itself will be; nine of its issues + are open. This is an alpha of it. +- The release is built and proved here first (this session, 15 GiB), its logs committed; the + server's release run follows once it can pass -- the proofs need HOL-Library in the runner image. + The capsules are unsigned for this release. + +### 2. Verified (this session, `b7534107`, before the tag) + +- amd64 (`logs/20261107-150809`), aarch64 (`-151023`), riscv64 (`-151359`): `LithosAnanke + v4.0.0-alpha.1 `, `[zuse@Hera] ok>`, `PARITY:V4_POST tests=538 pass=538 fail=0`, + `POST: PASSED`, Zuse identity confirmed, `PARITY:V4_SYSTEM word_count=317 + dict_hash=0xfec8c47cfc6f437f` on all three. +- The PC stick loaded high (`logs/20261107-151539`): the same, from the stick, no fault. +- `make -C v4 test-32`: 39 programs, 0 failures. +- The Isabelle/HOL proofs (`logs/20261107-152312/isabelle`). +- Each v4 capsule logs `signature: no root key (cert not found/parseable)`: the kernel looks for the + StarshipOS Capsule Signing certificate (XLVI), which is not in the tree until `ci/pki/make-ca.sh` + has run. A warning, as "missing (unsigned)" was before; nothing is refused. diff --git a/experiments/bare_metal/runs/doe-aarch64-20261107-151023.csv b/experiments/bare_metal/runs/doe-aarch64-20261107-151023.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261107-150809.csv b/experiments/bare_metal/runs/doe-amd64-20261107-150809.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261107-151539.csv b/experiments/bare_metal/runs/doe-amd64-20261107-151539.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-riscv64-20261107-151359.csv b/experiments/bare_metal/runs/doe-riscv64-20261107-151359.csv new file mode 100644 index 00000000..e69de29b diff --git a/logs/20261107-150809/amd64/qemu-amd64-20261107-150809.log b/logs/20261107-150809/amd64/qemu-amd64-20261107-150809.log new file mode 100644 index 00000000..66c847cc --- /dev/null +++ b/logs/20261107-150809/amd64/qemu-amd64-20261107-150809.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:df3373b59cfc1642da45167ad4f4b4fd01cacd8a435c86484e00bace0849e869 +size 6977 diff --git a/logs/20261107-151023/aarch64/qemu-aarch64-20261107-151023.log b/logs/20261107-151023/aarch64/qemu-aarch64-20261107-151023.log new file mode 100644 index 00000000..91da68a0 --- /dev/null +++ b/logs/20261107-151023/aarch64/qemu-aarch64-20261107-151023.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:1de946e8022a449b4b86de7ff7b50be97866f7bb4e54b7ffeaa51300b805569a +size 5942 diff --git a/logs/20261107-151359/riscv64/qemu-riscv64-20261107-151359.log b/logs/20261107-151359/riscv64/qemu-riscv64-20261107-151359.log new file mode 100644 index 00000000..b33fd44a --- /dev/null +++ b/logs/20261107-151359/riscv64/qemu-riscv64-20261107-151359.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:83dec58338917c986abb3a7a30034ff673bb6823e3ea031e04fd685698b1bbc3 +size 8333 diff --git a/logs/20261107-151539/amd64/qemu-amd64-20261107-151539.log b/logs/20261107-151539/amd64/qemu-amd64-20261107-151539.log new file mode 100644 index 00000000..c826b361 --- /dev/null +++ b/logs/20261107-151539/amd64/qemu-amd64-20261107-151539.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:902cd9ecaa671eadab2d3606ee8190ca0fc8f8a73811764b076ee102e0337a5f +size 7045 diff --git a/logs/20261107-152312/isabelle/isabelle-20261107-152312.log b/logs/20261107-152312/isabelle/isabelle-20261107-152312.log new file mode 100644 index 00000000..37e94b3f --- /dev/null +++ b/logs/20261107-152312/isabelle/isabelle-20261107-152312.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:082d76caba0474063ffbbf4fdb93be7ba2730ac4b92c4d3a101634818b6d5b26 +size 7783