logs: the developer protocol on dd580e07 -- PASS, all eight stages (#135)

logs/20261112-001304/PROTOCOL.md: scripts/nightly.sh protocol, one stage per
foreground command: accept amd64, aarch64, riscv64, stick-high -- 538/538,
word_count=318, dict_hash 0x8c92508f748f99cf on all three; test-32 39 programs,
1,869,197 checks, 0 failures; the proofs (StarForth, 36 s); the images (PC,
RASPI, MILKV); the documents (book, fabric, dictionary, vol1-3, api). The tree
clean before and after. Every stage's output in logs/20261112-001304/protocol/,
the boots' serial logs and DoE CSVs beside it.

The first protocol run: the evidence the PR's Acceptance check now asks for.

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

logs/20261112-001304/PROTOCOL.md

@@ -0,0 +1,63 @@
+# Protocol for dd580e07
+
+- Commit: dd580e071778f12b5d8ad140601fbd63562348d5
+- Tree: clean
+- Result: PASS
+
+`scripts/nightly.sh protocol` (#135), begun 20261112-001304 UTC; `ci: the developer protocol -- nightly.sh protocol, PROTOCOL.md, and the gate checks it (#135)`.
+
+## Stages
+
+| Stage | Result | Output |
+|---|---|---|
+| `accept-amd64` | PASS | `logs/20261112-001304/protocol/accept-amd64.log` |
+| `accept-aarch64` | PASS | `logs/20261112-001304/protocol/accept-aarch64.log` |
+| `accept-riscv64` | PASS | `logs/20261112-001304/protocol/accept-riscv64.log` |
+| `accept-stick-high` | PASS | `logs/20261112-001304/protocol/accept-stick-high.log` |
+| `test-32` | PASS | `logs/20261112-001304/protocol/test-32.log` |
+| `proofs` | PASS | `logs/20261112-001304/protocol/proofs.log` |
+| `images` | PASS | `logs/20261112-001304/protocol/images.log` |
+| `docs` | PASS | `logs/20261112-001304/protocol/docs.log` |
+
+## The boots
+
+| Boot | Serial log | POST | System |
+|---|---|---|---|
+| amd64 | `logs/20261112-001342/amd64/qemu-amd64-20261112-001342.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` |
+| aarch64 | `logs/20261112-001554/aarch64/qemu-aarch64-20261112-001554.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` |
+| riscv64 | `logs/20261112-001918/riscv64/qemu-riscv64-20261112-001918.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` |
+| stick-high | `logs/20261112-002049/amd64/qemu-amd64-20261112-002049.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-002647/isabelle/isabelle-20261112-002647.log`
+
+## The images (SHA-256)
+
+```
+ac7a8ae85e2694d0cddbc1e3b9aaaf77d298ba0079f338bc63efab5739c9194c  StarshipOS.iso
+c02f38adee7f4a6e2d13fd37654d6ffef046acf30d48456d0e8740cb9239973a  pc-stick.img
+471c9670ffeac9867bf40561cd9061cf3e41742fde6c9b5a5abc743b88f95b54  raspi5.img
+ce781e239fe5172c00bfc6856268b9c15c60fe88b1b7d16947d869dde30ad272  MilkV.img
+92d1ea21dd9e3be2c81d715dd2add1ef6929a48d1b6490caa3fea4c41a374413  pc-stick.img.xz
+a5436a678cc037622d268dff33eb97e6df175f28c08b9234bc81b28901b2ab3a  raspi5.img.xz
+a544b1f9d54e75c00f4bb13828c1ae12437f7fdea00137834e531ef35a7c1eaa  MilkV.img.xz
+```
+
+## The documents (SHA-256)
+
+```
+3afe13dc4ad58b7587c8d18b3b94f8cf549fc3ebf01d08146377f00d4552c30a  ./api.pdf
+5e08efd3502a2f777c9de3d6689c979b76dccbf158e151bd74d885cc8ae2d2ec  ./book.pdf
+adcf6ca40460f6776ebea50a229538d5736b0dac3c3c28dcb789b23d9d07cffe  ./dictionary.pdf
+24a4c51aadbd8698612d0619f8d51d68281cd8ab981698bceff0c49ee2798b44  ./fabric.pdf
+6ab429001bf16e01ba66d5c4419532e8f2e48c40bb0c967836c3ed450085531a  ./vol1.pdf
+5bbb1924a95d88031c51371a2c9feab200fb46bbfb1865440b4fc6ee25cf55a8  ./vol2.pdf
+7eff40d968a38c08bfae192299061080958d42a874f55ef3d993576ec4b76cb5  ./vol3.pdf
+```