logs: the developer protocol on 9700a7b4 -- PASS, all eight stages

logs/20261112-164108/PROTOCOL.md, for the batch #172, #169, #185, #144, #143,
#181, #180 and the #187 test: the four boots 538/538, word_count=318,
dict_hash 0x8c92508f748f99cf on all three -- the new dict-hash stage (#172)
naming each; test-32 39 programs, 1,869,223 checks, 0 failures (the manage
test's 78 among them, #169); the proofs (43 s); the images, no race (#185);
the documents. The tree clean before and after.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017RzZgrf7V7Zk2iczBXDRbm

logs/20261112-164108/PROTOCOL.md

@@ -0,0 +1,63 @@
+# Protocol for 9700a7b4
+
+- Commit: 9700a7b404c9181e05604c285345b7949a68f42c
+- Tree: clean
+- Result: PASS
+
+`scripts/nightly.sh protocol` (#135), begun 20261112-164108 UTC; `fix: gpt_read checks every entry, and says when there are more than max (#180)`.
+
+## Stages
+
+| Stage | Result | Output |
+|---|---|---|
+| `accept-amd64` | PASS | `logs/20261112-164108/protocol/accept-amd64.log` |
+| `accept-aarch64` | PASS | `logs/20261112-164108/protocol/accept-aarch64.log` |
+| `accept-riscv64` | PASS | `logs/20261112-164108/protocol/accept-riscv64.log` |
+| `accept-stick-high` | PASS | `logs/20261112-164108/protocol/accept-stick-high.log` |
+| `test-32` | PASS | `logs/20261112-164108/protocol/test-32.log` |
+| `proofs` | PASS | `logs/20261112-164108/protocol/proofs.log` |
+| `images` | PASS | `logs/20261112-164108/protocol/images.log` |
+| `docs` | PASS | `logs/20261112-164108/protocol/docs.log` |
+
+## The boots
+
+| Boot | Serial log | POST | System |
+|---|---|---|---|
+| amd64 | `logs/20261112-164143/amd64/qemu-amd64-20261112-164143.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` |
+| aarch64 | `logs/20261112-164351/aarch64/qemu-aarch64-20261112-164351.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` |
+| riscv64 | `logs/20261112-164719/riscv64/qemu-riscv64-20261112-164719.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` |
+| stick-high | `logs/20261112-164856/amd64/qemu-amd64-20261112-164856.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, 1869223 checks, 0 failures
+
+## The proofs
+
+`logs/20261112-165601/isabelle/isabelle-20261112-165601.log`
+
+## The images (SHA-256)
+
+```
+ceb4ea3754cb6c6834dc4add0c96c4fbeaa875d627800616d6c7b7fcd08c525e  StarshipOS.iso
+f4650834afb841ee4d1aa21fa801c114b137e2a7fdb1fdd7cd9f3b7f0677837e  pc-stick.img
+0281db2f4b85e3cd89da0d795e1ef69968f7e31fd4664c46a3e3286e6cb95585  raspi5.img
+c55598c1d61f2d71982f733a862fbf9f7db0d8e4fde9799fcc99fb497c9bb1af  MilkV.img
+d6fdefe5c4ac00e6036cbb273eb67d68b61f7912abe0645eb8a4915d1e232f39  pc-stick.img.xz
+b151d600f2d20234b2db0250f7633f835f06683f8872823a8d54b3769fdb2835  raspi5.img.xz
+2e2353f982b4890fda8a21a3fb6c3e5536e73048f5d4a515ff1de9d724807994  MilkV.img.xz
+```
+
+## The documents (SHA-256)
+
+```
+2f3fb0eff82ed8b7df9459b19fe1b66b32d77e0ce816526fac7348596d458772  ./api.pdf
+0d9eddff64270f16bb4d23523dc1c5833abcbff448740581599a354c03f81c9a  ./book.pdf
+38982c4daa27947e77554e72ed4f2ca4723187e714ca1664de3ce126f09bf4b5  ./dictionary.pdf
+7572d265db197e395e03abcf3b50777089def9e95be6b5c4f8e6d3cc7062c428  ./fabric.pdf
+54a65877633ae949369e61c68d726ff85e8917418fe915588e1b08ff56117b8e  ./vol1.pdf
+ad03124cdee8f6e5ae789898cfbfe3d9f001d1bca3b3882228d35db92041aa63  ./vol2.pdf
+baeb78264ad277a06e47c5f7949c0017fae93ec14dd49118003e421ed8e6e91b  ./vol3.pdf
+```