From ff797d80cb23873142145db186fc115a56d62cdb Mon Sep 17 00:00:00 2001 From: Claude Date: Thu, 12 Nov 2026 13:30:49 +0000 Subject: [PATCH] logs: the developer protocol on 54311be1 (#168) -- PASS, all eight stages logs/20261112-124144/PROTOCOL.md: the four boots 538/538, word_count=318, dict_hash 0x8c92508f748f99cf on all three; test-32 39 programs, 1,869,197 checks, 0 failures; the proofs (StarForth, 37 s); the images; the documents. The tree clean before and after. Stage 3 (riscv64) was stopped while booting, when Captain Bob interrupted to mean the build pipeline; its partial serial log and console output are kept, labelled, in logs/20261112-124831/. It was rerun on the same commit and passed (logs/20261112-130801). Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_017RzZgrf7V7Zk2iczBXDRbm --- .../runs/doe-aarch64-20261112-124454.csv | 0 .../runs/doe-amd64-20261112-124220.csv | 0 .../runs/doe-amd64-20261112-130934.csv | 0 .../runs/doe-riscv64-20261112-130801.csv | 0 logs/20261112-124144/PROTOCOL.md | 63 +++++++++++++++++++ .../protocol/accept-aarch64.log | 3 + .../20261112-124144/protocol/accept-amd64.log | 3 + .../protocol/accept-riscv64.log | 3 + .../protocol/accept-stick-high.log | 3 + logs/20261112-124144/protocol/docs.log | 3 + logs/20261112-124144/protocol/images.log | 3 + logs/20261112-124144/protocol/proofs.log | 3 + logs/20261112-124144/protocol/test-32.log | 3 + .../amd64/qemu-amd64-20261112-124220.log | 3 + .../aarch64/qemu-aarch64-20261112-124454.log | 3 + .../protocol-accept-riscv64-interrupted.log | 3 + .../riscv64/qemu-riscv64-20261112-124831.log | 3 + .../riscv64/qemu-riscv64-20261112-130801.log | 3 + .../amd64/qemu-amd64-20261112-130934.log | 3 + .../isabelle/isabelle-20261112-131602.log | 3 + 20 files changed, 108 insertions(+) create mode 100644 experiments/bare_metal/runs/doe-aarch64-20261112-124454.csv create mode 100644 experiments/bare_metal/runs/doe-amd64-20261112-124220.csv create mode 100644 experiments/bare_metal/runs/doe-amd64-20261112-130934.csv create mode 100644 experiments/bare_metal/runs/doe-riscv64-20261112-130801.csv create mode 100644 logs/20261112-124144/PROTOCOL.md create mode 100644 logs/20261112-124144/protocol/accept-aarch64.log create mode 100644 logs/20261112-124144/protocol/accept-amd64.log create mode 100644 logs/20261112-124144/protocol/accept-riscv64.log create mode 100644 logs/20261112-124144/protocol/accept-stick-high.log create mode 100644 logs/20261112-124144/protocol/docs.log create mode 100644 logs/20261112-124144/protocol/images.log create mode 100644 logs/20261112-124144/protocol/proofs.log create mode 100644 logs/20261112-124144/protocol/test-32.log create mode 100644 logs/20261112-124220/amd64/qemu-amd64-20261112-124220.log create mode 100644 logs/20261112-124454/aarch64/qemu-aarch64-20261112-124454.log create mode 100644 logs/20261112-124831/protocol-accept-riscv64-interrupted.log create mode 100644 logs/20261112-124831/riscv64/qemu-riscv64-20261112-124831.log create mode 100644 logs/20261112-130801/riscv64/qemu-riscv64-20261112-130801.log create mode 100644 logs/20261112-130934/amd64/qemu-amd64-20261112-130934.log create mode 100644 logs/20261112-131602/isabelle/isabelle-20261112-131602.log diff --git a/experiments/bare_metal/runs/doe-aarch64-20261112-124454.csv b/experiments/bare_metal/runs/doe-aarch64-20261112-124454.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261112-124220.csv b/experiments/bare_metal/runs/doe-amd64-20261112-124220.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261112-130934.csv b/experiments/bare_metal/runs/doe-amd64-20261112-130934.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-riscv64-20261112-130801.csv b/experiments/bare_metal/runs/doe-riscv64-20261112-130801.csv new file mode 100644 index 00000000..e69de29b diff --git a/logs/20261112-124144/PROTOCOL.md b/logs/20261112-124144/PROTOCOL.md new file mode 100644 index 00000000..921e35d9 --- /dev/null +++ b/logs/20261112-124144/PROTOCOL.md @@ -0,0 +1,63 @@ +# Protocol for 54311be1 + +- Commit: 54311be18a867ef1b054985f0825e9464ada3e30 +- Tree: clean +- Result: PASS + +`scripts/nightly.sh protocol` (#135), begun 20261112-124144 UTC; `fix: MINT-ZUSE says the stick was erased when it was (#168)`. + +## Stages + +| Stage | Result | Output | +|---|---|---| +| `accept-amd64` | PASS | `logs/20261112-124144/protocol/accept-amd64.log` | +| `accept-aarch64` | PASS | `logs/20261112-124144/protocol/accept-aarch64.log` | +| `accept-riscv64` | PASS | `logs/20261112-124144/protocol/accept-riscv64.log` | +| `accept-stick-high` | PASS | `logs/20261112-124144/protocol/accept-stick-high.log` | +| `test-32` | PASS | `logs/20261112-124144/protocol/test-32.log` | +| `proofs` | PASS | `logs/20261112-124144/protocol/proofs.log` | +| `images` | PASS | `logs/20261112-124144/protocol/images.log` | +| `docs` | PASS | `logs/20261112-124144/protocol/docs.log` | + +## The boots + +| Boot | Serial log | POST | System | +|---|---|---|---| +| amd64 | `logs/20261112-124220/amd64/qemu-amd64-20261112-124220.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` | +| aarch64 | `logs/20261112-124454/aarch64/qemu-aarch64-20261112-124454.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` | +| riscv64 | `logs/20261112-130801/riscv64/qemu-riscv64-20261112-130801.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` | +| stick-high | `logs/20261112-130934/amd64/qemu-amd64-20261112-130934.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` | + +dict_hash: the same on all three: `0x8c92508f748f99cf`. + +## test-32 + +39 programs, 1869197 checks, 0 failures + +## The proofs + +`logs/20261112-131602/isabelle/isabelle-20261112-131602.log` + +## The images (SHA-256) + +``` +e6c02ee78a81fbd6e5011b2a0559b5a88c93937016d391f7d759facf9f8ebcd6 StarshipOS.iso +f568880487a80e055635306bb0f3a8b91cc1c5fe2b9f32e762142feca697f1e6 pc-stick.img +c6b3d0ac9ca3f09982efd6ac2e40753142cce88b8951ba24598f2429df5328de raspi5.img +ca625908bb7d8c5ff7049a8518f92bb86ee78444071dc6285a41a2fa2e66e1fe MilkV.img +f9c25477a627ee8b5c8b69d67faf454250a31c0c64e8542d5772a0dbe5abe8e9 pc-stick.img.xz +d212cf0ddfb068da63f51e871154b99e1e7228d8930280e429eb02b5d4b41ed9 raspi5.img.xz +e47bade5d9d6b23e0262006b0a54cfa13be09e26d5867e36538b335a6abbe583 MilkV.img.xz +``` + +## The documents (SHA-256) + +``` +3c857c0f44203bb7b67f155bf33239cdb67a6bdecb8e16d98c250207fe9032ff ./api.pdf +f76ebff01a0cae649e456d2f4bebbb05dbbc1363fc908b146155470114b29ae7 ./book.pdf +34ac40bb4b5f4646e18ab3a377b5112404c5c41585187f60810bc720534f24bc ./dictionary.pdf +8dc2c8fe69d87ce7b403926ec17179384feab5f7f7b791e02a4fafb7827fc20d ./fabric.pdf +bd0f0f206e173155fdc92c00edface2e76ba1f24dfb12c0ef8b4ca8a140ca661 ./vol1.pdf +dce7e334b98b817476cef9287d24f377cffd7e6132300d3a45c278db5bfcc13d ./vol2.pdf +4630516d53ffeb1c888f0896eefa08d708db8026c56de4e168f2e8bf574ef72e ./vol3.pdf +``` diff --git a/logs/20261112-124144/protocol/accept-aarch64.log b/logs/20261112-124144/protocol/accept-aarch64.log new file mode 100644 index 00000000..4a69f803 --- /dev/null +++ b/logs/20261112-124144/protocol/accept-aarch64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:7846d23c12e06f64ca6bbc7fdf25663256d7d75ed6145714853b803b088acc62 +size 372 diff --git a/logs/20261112-124144/protocol/accept-amd64.log b/logs/20261112-124144/protocol/accept-amd64.log new file mode 100644 index 00000000..3b303cc3 --- /dev/null +++ b/logs/20261112-124144/protocol/accept-amd64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:d175c237bfb7d46c97eafab8e2b29267eefcf6cede7e4970e48a2b9a6410def0 +size 366 diff --git a/logs/20261112-124144/protocol/accept-riscv64.log b/logs/20261112-124144/protocol/accept-riscv64.log new file mode 100644 index 00000000..39e58a2e --- /dev/null +++ b/logs/20261112-124144/protocol/accept-riscv64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:d84eb7bc4f508741c8575a2ed90b6d4aa8a7be73ffb94784d343f4382984ede8 +size 372 diff --git a/logs/20261112-124144/protocol/accept-stick-high.log b/logs/20261112-124144/protocol/accept-stick-high.log new file mode 100644 index 00000000..3b621ef4 --- /dev/null +++ b/logs/20261112-124144/protocol/accept-stick-high.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:61261f29721c63b17c5bc2fecac09b4bada0abecc7c0c0a385094da53b5b626b +size 426 diff --git a/logs/20261112-124144/protocol/docs.log b/logs/20261112-124144/protocol/docs.log new file mode 100644 index 00000000..2e4c1bd7 --- /dev/null +++ b/logs/20261112-124144/protocol/docs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:21aedf16628be86f1ac31ace31f428d1c0e3c746744f9081fbcb6c3b40f53c96 +size 3746238 diff --git a/logs/20261112-124144/protocol/images.log b/logs/20261112-124144/protocol/images.log new file mode 100644 index 00000000..a2fd1642 --- /dev/null +++ b/logs/20261112-124144/protocol/images.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:6b0dd0d48ce74f567d6c3bffb426d082a3c5343b64222da31b1b4f13cde4945c +size 76739 diff --git a/logs/20261112-124144/protocol/proofs.log b/logs/20261112-124144/protocol/proofs.log new file mode 100644 index 00000000..a9e9b656 --- /dev/null +++ b/logs/20261112-124144/protocol/proofs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:d9d2dee3ca9f7d32aa640251d1d4c8c708f31270ef359e0d771008edf3c99645 +size 7800 diff --git a/logs/20261112-124144/protocol/test-32.log b/logs/20261112-124144/protocol/test-32.log new file mode 100644 index 00000000..4345125a --- /dev/null +++ b/logs/20261112-124144/protocol/test-32.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:41190ddca73c258b771768d37cd9629084bdb3c5fc9ab913f9010a999d694313 +size 44271 diff --git a/logs/20261112-124220/amd64/qemu-amd64-20261112-124220.log b/logs/20261112-124220/amd64/qemu-amd64-20261112-124220.log new file mode 100644 index 00000000..c8b46d49 --- /dev/null +++ b/logs/20261112-124220/amd64/qemu-amd64-20261112-124220.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:d18c96d84a97454f691b5240cf6ae0235d45a5ba3748f53f4c3df8060abb9788 +size 6633 diff --git a/logs/20261112-124454/aarch64/qemu-aarch64-20261112-124454.log b/logs/20261112-124454/aarch64/qemu-aarch64-20261112-124454.log new file mode 100644 index 00000000..0427a2ca --- /dev/null +++ b/logs/20261112-124454/aarch64/qemu-aarch64-20261112-124454.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9076409f2d637838fa8b5754aaa96bd801d69487587ccad3298b2a2f79f05b46 +size 5364 diff --git a/logs/20261112-124831/protocol-accept-riscv64-interrupted.log b/logs/20261112-124831/protocol-accept-riscv64-interrupted.log new file mode 100644 index 00000000..99690212 --- /dev/null +++ b/logs/20261112-124831/protocol-accept-riscv64-interrupted.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:22aca9ed066768eefb3e6ee9f021b2c5e2af8f42c6dd37d27a4291118787f048 +size 238 diff --git a/logs/20261112-124831/riscv64/qemu-riscv64-20261112-124831.log b/logs/20261112-124831/riscv64/qemu-riscv64-20261112-124831.log new file mode 100644 index 00000000..8c919fb0 --- /dev/null +++ b/logs/20261112-124831/riscv64/qemu-riscv64-20261112-124831.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:8e8d0aff867166306feabd552873e11fd02f823542ae318891d87f341cd4e528 +size 7498 diff --git a/logs/20261112-130801/riscv64/qemu-riscv64-20261112-130801.log b/logs/20261112-130801/riscv64/qemu-riscv64-20261112-130801.log new file mode 100644 index 00000000..30d8ee42 --- /dev/null +++ b/logs/20261112-130801/riscv64/qemu-riscv64-20261112-130801.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:f2ea2099fe32bf0cb596f47f47855e1d3c1455bb34184dc507027b4c93185b09 +size 7816 diff --git a/logs/20261112-130934/amd64/qemu-amd64-20261112-130934.log b/logs/20261112-130934/amd64/qemu-amd64-20261112-130934.log new file mode 100644 index 00000000..8dacbc51 --- /dev/null +++ b/logs/20261112-130934/amd64/qemu-amd64-20261112-130934.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:06288c03c3316e68dafcd6836020a294bcb9e0a7434c3339db09314f4f2e6b0d +size 6704 diff --git a/logs/20261112-131602/isabelle/isabelle-20261112-131602.log b/logs/20261112-131602/isabelle/isabelle-20261112-131602.log new file mode 100644 index 00000000..a9e9b656 --- /dev/null +++ b/logs/20261112-131602/isabelle/isabelle-20261112-131602.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:d9d2dee3ca9f7d32aa640251d1d4c8c708f31270ef359e0d771008edf3c99645 +size 7800