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

logs/20261112-185800/PROTOCOL.md, for #142, #173, #174 and the notes: the four
boots 538/538, word_count=318, dict_hash 0x8c92508f748f99cf on all three; the
new post-count stage (#173) on the real boots: all four at or above the floor,
all passed; test-32 39 programs, 1,869,223 checks, 0 failures; the proofs
(40 s); the images; 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-185800/PROTOCOL.md

@@ -0,0 +1,63 @@
+# Protocol for e0dcaa16
+
+- Commit: e0dcaa163bdc1f7b9d390fd08f0f0a2860d4b4f5
+- Tree: clean
+- Result: PASS
+
+`scripts/nightly.sh protocol` (#135), begun 20261112-185800 UTC; `notes: the release order, the documents last; the floor, the signing, the host tests`.
+
+## Stages
+
+| Stage | Result | Output |
+|---|---|---|
+| `accept-amd64` | PASS | `logs/20261112-185800/protocol/accept-amd64.log` |
+| `accept-aarch64` | PASS | `logs/20261112-185800/protocol/accept-aarch64.log` |
+| `accept-riscv64` | PASS | `logs/20261112-185800/protocol/accept-riscv64.log` |
+| `accept-stick-high` | PASS | `logs/20261112-185800/protocol/accept-stick-high.log` |
+| `test-32` | PASS | `logs/20261112-185800/protocol/test-32.log` |
+| `proofs` | PASS | `logs/20261112-185800/protocol/proofs.log` |
+| `images` | PASS | `logs/20261112-185800/protocol/images.log` |
+| `docs` | PASS | `logs/20261112-185800/protocol/docs.log` |
+
+## The boots
+
+| Boot | Serial log | POST | System |
+|---|---|---|---|
+| amd64 | `logs/20261112-185838/amd64/qemu-amd64-20261112-185838.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` |
+| aarch64 | `logs/20261112-190044/aarch64/qemu-aarch64-20261112-190044.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` |
+| riscv64 | `logs/20261112-190428/riscv64/qemu-riscv64-20261112-190428.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` |
+| stick-high | `logs/20261112-190621/amd64/qemu-amd64-20261112-190621.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-191330/isabelle/isabelle-20261112-191330.log`
+
+## The images (SHA-256)
+
+```
+934e947e193df59cd7bb1cde1542e477cd3d75f6ed72154cbfcb5dbfcafe8346  StarshipOS.iso
+94ea88dcda1a023d666cc9edd004b0267851a99f524551d3d51fc790276020ce  pc-stick.img
+a2636c842ba0e6d2e24894ba253f688e633deb8a85166488dc241926fe442ec6  raspi5.img
+a4a8b75a537b5304920f5153e7253fe433e3cd90c90e103f6dce513b07c1fd56  MilkV.img
+f919e6d25f40ceafc0ba913514d4f6ca538d1a37ae305438c9a53051e969d798  pc-stick.img.xz
+1913ce8a2be34fb1c43da5105ef47c3b3bbf49a53086854f25ba37faf5d9452a  raspi5.img.xz
+23b0589c3161dc9d094813bf32a6e914353f063462ba95261f1e3623ce13ebd2  MilkV.img.xz
+```
+
+## The documents (SHA-256)
+
+```
+a67497fc846249a188519209653a8d6a6f84b9377052af78271ff3eedd3812f1  ./api.pdf
+e3253b0083596ed518988dd2225052036b963ccf241210a0b96e9f6a8ced289d  ./book.pdf
+5fcb8b52627f037faa75ae4f10b864a984962e5c62eb284ef982120fb73e7aa3  ./dictionary.pdf
+6c54a8ba9d2629c28a767eeccaac76933d7a75f85b08fefe074b4934b7742e40  ./fabric.pdf
+edf5bdf563d1b3d0e0a4e32ffa01cdffc881af36463111f0d4322f425eb23e7c  ./vol1.pdf
+42346edd5e60d7a89177771a30fee4b05a362a469665fced8fd0f9ab05ae4299  ./vol2.pdf
+a80733317c3ad34d1a51e3445ce9499961acaa152c0e8b85a31486b61af1b6d4  ./vol3.pdf
+```