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 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017RzZgrf7V7Zk2iczBXDRbm

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
+```