From 83898b524dedd16f171a218524aca2de3524432e Mon Sep 17 00:00:00 2001 From: Claude Date: Thu, 12 Nov 2026 18:48:21 +0000 Subject: [PATCH] logs: the developer protocol on d7b2f6bf -- PASS, all eight stages logs/20261112-182015/PROTOCOL.md, for the kernel host-test chunk: the harness and #170, #171, #176, #177, #178, #182. The four boots 538/538 -- a data stick enumerating through the moved USB descriptor walk, genesis through the identity code's new seed handling -- word_count=318, dict_hash 0x8c92508f748f99cf on all three; test-32 39 programs, 1,869,223 checks, 0 failures; the proofs (37 s); the images, no race; the documents. The tree clean before and after. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_017RzZgrf7V7Zk2iczBXDRbm --- .../runs/doe-aarch64-20261112-182234.csv | 0 .../runs/doe-amd64-20261112-182046.csv | 0 .../runs/doe-amd64-20261112-182719.csv | 0 .../runs/doe-riscv64-20261112-182543.csv | 0 logs/20261112-182015/PROTOCOL.md | 63 +++++++++++++++++++ .../protocol/accept-aarch64.log | 3 + .../20261112-182015/protocol/accept-amd64.log | 3 + .../protocol/accept-riscv64.log | 3 + .../protocol/accept-stick-high.log | 3 + logs/20261112-182015/protocol/docs.log | 3 + logs/20261112-182015/protocol/images.log | 3 + logs/20261112-182015/protocol/proofs.log | 3 + logs/20261112-182015/protocol/test-32.log | 3 + .../amd64/qemu-amd64-20261112-182046.log | 3 + .../aarch64/qemu-aarch64-20261112-182234.log | 3 + .../riscv64/qemu-riscv64-20261112-182543.log | 3 + .../amd64/qemu-amd64-20261112-182719.log | 3 + .../isabelle/isabelle-20261112-183335.log | 3 + 18 files changed, 102 insertions(+) create mode 100644 experiments/bare_metal/runs/doe-aarch64-20261112-182234.csv create mode 100644 experiments/bare_metal/runs/doe-amd64-20261112-182046.csv create mode 100644 experiments/bare_metal/runs/doe-amd64-20261112-182719.csv create mode 100644 experiments/bare_metal/runs/doe-riscv64-20261112-182543.csv create mode 100644 logs/20261112-182015/PROTOCOL.md create mode 100644 logs/20261112-182015/protocol/accept-aarch64.log create mode 100644 logs/20261112-182015/protocol/accept-amd64.log create mode 100644 logs/20261112-182015/protocol/accept-riscv64.log create mode 100644 logs/20261112-182015/protocol/accept-stick-high.log create mode 100644 logs/20261112-182015/protocol/docs.log create mode 100644 logs/20261112-182015/protocol/images.log create mode 100644 logs/20261112-182015/protocol/proofs.log create mode 100644 logs/20261112-182015/protocol/test-32.log create mode 100644 logs/20261112-182046/amd64/qemu-amd64-20261112-182046.log create mode 100644 logs/20261112-182234/aarch64/qemu-aarch64-20261112-182234.log create mode 100644 logs/20261112-182543/riscv64/qemu-riscv64-20261112-182543.log create mode 100644 logs/20261112-182719/amd64/qemu-amd64-20261112-182719.log create mode 100644 logs/20261112-183335/isabelle/isabelle-20261112-183335.log diff --git a/experiments/bare_metal/runs/doe-aarch64-20261112-182234.csv b/experiments/bare_metal/runs/doe-aarch64-20261112-182234.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261112-182046.csv b/experiments/bare_metal/runs/doe-amd64-20261112-182046.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261112-182719.csv b/experiments/bare_metal/runs/doe-amd64-20261112-182719.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-riscv64-20261112-182543.csv b/experiments/bare_metal/runs/doe-riscv64-20261112-182543.csv new file mode 100644 index 00000000..e69de29b diff --git a/logs/20261112-182015/PROTOCOL.md b/logs/20261112-182015/PROTOCOL.md new file mode 100644 index 00000000..3af3f395 --- /dev/null +++ b/logs/20261112-182015/PROTOCOL.md @@ -0,0 +1,63 @@ +# Protocol for d7b2f6bf + +- Commit: d7b2f6bf543157fc0aa0b36d43038f0ca94ed2da +- Tree: clean +- Result: PASS + +`scripts/nightly.sh protocol` (#135), begun 20261112-182015 UTC; `fix(v4): the identity code wipes Zuse's seed after every drive it handles (#176, the identity code)`. + +## Stages + +| Stage | Result | Output | +|---|---|---| +| `accept-amd64` | PASS | `logs/20261112-182015/protocol/accept-amd64.log` | +| `accept-aarch64` | PASS | `logs/20261112-182015/protocol/accept-aarch64.log` | +| `accept-riscv64` | PASS | `logs/20261112-182015/protocol/accept-riscv64.log` | +| `accept-stick-high` | PASS | `logs/20261112-182015/protocol/accept-stick-high.log` | +| `test-32` | PASS | `logs/20261112-182015/protocol/test-32.log` | +| `proofs` | PASS | `logs/20261112-182015/protocol/proofs.log` | +| `images` | PASS | `logs/20261112-182015/protocol/images.log` | +| `docs` | PASS | `logs/20261112-182015/protocol/docs.log` | + +## The boots + +| Boot | Serial log | POST | System | +|---|---|---|---| +| amd64 | `logs/20261112-182046/amd64/qemu-amd64-20261112-182046.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` | +| aarch64 | `logs/20261112-182234/aarch64/qemu-aarch64-20261112-182234.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` | +| riscv64 | `logs/20261112-182543/riscv64/qemu-riscv64-20261112-182543.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` | +| stick-high | `logs/20261112-182719/amd64/qemu-amd64-20261112-182719.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-183335/isabelle/isabelle-20261112-183335.log` + +## The images (SHA-256) + +``` +ad7a5dff419eb2fb78dbadab0abcd243149c4f18c31efcdadbb7efd77139c114 StarshipOS.iso +2d0b53c63c373386f4b0fa5206034401a911ca7484b780ae9cef32802cb444ba pc-stick.img +caabe36dbfdcfbbc94ed8981e7a1775611794de5b97f6e65b2af780827f3933f raspi5.img +708fc11126feaf29259c9947fd06a6a654fec9e7a832d5469d241fd474635bcb MilkV.img +a64420c6717939c7af5551e7dc3bd28f8cf71f457069a2a012cf8f599c5ffe53 pc-stick.img.xz +5c57542de904830bca8157bdff2542f6ce9f2b7febdfa1b21eae5f80b3d8ba51 raspi5.img.xz +0cdb87a843f1c0e152987f3a70e4b8e91330804722a228b68fcd2f53a3b56723 MilkV.img.xz +``` + +## The documents (SHA-256) + +``` +d617ed0e5227d8a458fe51369f09a404f621d6660032c03e756e086761c39804 ./api.pdf +2aaab24d140fad331141a45ebcb57040fd498a0aa2002cdfc2fbd7d2ceae9f2c ./book.pdf +95c6331397e94ea09df8da4387febc808130dd7fd4ddd559464d87d9571528c5 ./dictionary.pdf +fc605e83aa8723d7d3b324417453ac3aad9f550ab057ac72e17d6252396eae47 ./fabric.pdf +a309144234296522f8116fb2582344f8934bc1fc857a21031f53abe5394447ae ./vol1.pdf +966dd86bb270b235bbc9ce662131b1bd09cac8908e4002c9e1dad0084d270833 ./vol2.pdf +85e3c736d22d0c813470005cef29235a7a8a075233106ddebda911de9e85acd2 ./vol3.pdf +``` diff --git a/logs/20261112-182015/protocol/accept-aarch64.log b/logs/20261112-182015/protocol/accept-aarch64.log new file mode 100644 index 00000000..a6b6d01d --- /dev/null +++ b/logs/20261112-182015/protocol/accept-aarch64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:555afefbbe3388aff06d3cfe378762b38a093418ad1cfdf81e21d6005c57ff50 +size 372 diff --git a/logs/20261112-182015/protocol/accept-amd64.log b/logs/20261112-182015/protocol/accept-amd64.log new file mode 100644 index 00000000..16974c8c --- /dev/null +++ b/logs/20261112-182015/protocol/accept-amd64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:978eb6bb0d3eca64df21f9510305e0b603ff8cd66e9c110904b765cca830fafa +size 366 diff --git a/logs/20261112-182015/protocol/accept-riscv64.log b/logs/20261112-182015/protocol/accept-riscv64.log new file mode 100644 index 00000000..6cd8cefd --- /dev/null +++ b/logs/20261112-182015/protocol/accept-riscv64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:bf5fb675609d214c305bc0e9858871ecdf07da609f3ea89b46f9f5eb3f00c26f +size 372 diff --git a/logs/20261112-182015/protocol/accept-stick-high.log b/logs/20261112-182015/protocol/accept-stick-high.log new file mode 100644 index 00000000..7b2857ab --- /dev/null +++ b/logs/20261112-182015/protocol/accept-stick-high.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:6843d8b0e7565d3d9f9f0c9a6fbe96403183de78aab40c9e5126e60301d410ec +size 486 diff --git a/logs/20261112-182015/protocol/docs.log b/logs/20261112-182015/protocol/docs.log new file mode 100644 index 00000000..57555b6b --- /dev/null +++ b/logs/20261112-182015/protocol/docs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e2c1dce789c1b152f003c66904cccacd5a30e0a5ca638e62ba70ef6aa08e356b +size 3813966 diff --git a/logs/20261112-182015/protocol/images.log b/logs/20261112-182015/protocol/images.log new file mode 100644 index 00000000..0b7a27e6 --- /dev/null +++ b/logs/20261112-182015/protocol/images.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:d93777197db7f6a00ce936fc4f06c7f27d016b4bed347b1563d3f634b57da07b +size 62019 diff --git a/logs/20261112-182015/protocol/proofs.log b/logs/20261112-182015/protocol/proofs.log new file mode 100644 index 00000000..0e009a24 --- /dev/null +++ b/logs/20261112-182015/protocol/proofs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:0040d41a7e0a53f38b7732fae811d2cba21912d0111ae937da85662ba9413c60 +size 7800 diff --git a/logs/20261112-182015/protocol/test-32.log b/logs/20261112-182015/protocol/test-32.log new file mode 100644 index 00000000..b2d8b062 --- /dev/null +++ b/logs/20261112-182015/protocol/test-32.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9731d3799128fc58884fb663163f95a1dd6c4c1ca7ad89cb77d935b05ffaca5f +size 44271 diff --git a/logs/20261112-182046/amd64/qemu-amd64-20261112-182046.log b/logs/20261112-182046/amd64/qemu-amd64-20261112-182046.log new file mode 100644 index 00000000..7d28ab8f --- /dev/null +++ b/logs/20261112-182046/amd64/qemu-amd64-20261112-182046.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:71676df0d9661dba6ed8491838e0b15926214a628d5aca4240f6dfa304253707 +size 6630 diff --git a/logs/20261112-182234/aarch64/qemu-aarch64-20261112-182234.log b/logs/20261112-182234/aarch64/qemu-aarch64-20261112-182234.log new file mode 100644 index 00000000..c991e32c --- /dev/null +++ b/logs/20261112-182234/aarch64/qemu-aarch64-20261112-182234.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:3a911136e03328cbd3108b0c8413ef7e18f0cd8e62974974484ce5fefcf74299 +size 5364 diff --git a/logs/20261112-182543/riscv64/qemu-riscv64-20261112-182543.log b/logs/20261112-182543/riscv64/qemu-riscv64-20261112-182543.log new file mode 100644 index 00000000..b46897e1 --- /dev/null +++ b/logs/20261112-182543/riscv64/qemu-riscv64-20261112-182543.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:3b41d4f288ecdc0f6bef2d76e2f5d5924718d240f433523e73dc4a16c895677e +size 7816 diff --git a/logs/20261112-182719/amd64/qemu-amd64-20261112-182719.log b/logs/20261112-182719/amd64/qemu-amd64-20261112-182719.log new file mode 100644 index 00000000..bbe7316f --- /dev/null +++ b/logs/20261112-182719/amd64/qemu-amd64-20261112-182719.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:6d96e7576bb8df903215082f0aee16268afc393bbb5124bb01512e25a317ee4c +size 6701 diff --git a/logs/20261112-183335/isabelle/isabelle-20261112-183335.log b/logs/20261112-183335/isabelle/isabelle-20261112-183335.log new file mode 100644 index 00000000..0e009a24 --- /dev/null +++ b/logs/20261112-183335/isabelle/isabelle-20261112-183335.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:0040d41a7e0a53f38b7732fae811d2cba21912d0111ae937da85662ba9413c60 +size 7800