From f38761ff665a039ca74f93924d77fdf81bd9ed06 Mon Sep 17 00:00:00 2001 From: Claude Date: Thu, 12 Nov 2026 21:37:58 +0000 Subject: [PATCH] logs: the developer protocol on c76a742f -- PASS, all eight stages #188 (the Jacquard selector) and 7e0728e4 (a release refuses an unsigned build). POST 538/538 on all four boots, dict_hash 0x8c92508f748f99cf on the three, test-32 39 programs 0 failures, proofs, images, documents. logs/20261112-210531/PROTOCOL.md. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_017RzZgrf7V7Zk2iczBXDRbm --- .../runs/doe-aarch64-20261112-210815.csv | 0 .../runs/doe-amd64-20261112-210607.csv | 0 .../runs/doe-amd64-20261112-211347.csv | 0 .../runs/doe-riscv64-20261112-211202.csv | 0 logs/20261112-210531/PROTOCOL.md | 63 +++++++++++++++++++ .../protocol/accept-aarch64.log | 3 + .../20261112-210531/protocol/accept-amd64.log | 3 + .../protocol/accept-riscv64.log | 3 + .../protocol/accept-stick-high.log | 3 + logs/20261112-210531/protocol/docs.log | 3 + logs/20261112-210531/protocol/images.log | 3 + logs/20261112-210531/protocol/proofs.log | 3 + logs/20261112-210531/protocol/test-32.log | 3 + .../amd64/qemu-amd64-20261112-210607.log | 3 + .../aarch64/qemu-aarch64-20261112-210815.log | 3 + .../riscv64/qemu-riscv64-20261112-211202.log | 3 + .../amd64/qemu-amd64-20261112-211347.log | 3 + .../isabelle/isabelle-20261112-212105.log | 3 + 18 files changed, 102 insertions(+) create mode 100644 experiments/bare_metal/runs/doe-aarch64-20261112-210815.csv create mode 100644 experiments/bare_metal/runs/doe-amd64-20261112-210607.csv create mode 100644 experiments/bare_metal/runs/doe-amd64-20261112-211347.csv create mode 100644 experiments/bare_metal/runs/doe-riscv64-20261112-211202.csv create mode 100644 logs/20261112-210531/PROTOCOL.md create mode 100644 logs/20261112-210531/protocol/accept-aarch64.log create mode 100644 logs/20261112-210531/protocol/accept-amd64.log create mode 100644 logs/20261112-210531/protocol/accept-riscv64.log create mode 100644 logs/20261112-210531/protocol/accept-stick-high.log create mode 100644 logs/20261112-210531/protocol/docs.log create mode 100644 logs/20261112-210531/protocol/images.log create mode 100644 logs/20261112-210531/protocol/proofs.log create mode 100644 logs/20261112-210531/protocol/test-32.log create mode 100644 logs/20261112-210607/amd64/qemu-amd64-20261112-210607.log create mode 100644 logs/20261112-210815/aarch64/qemu-aarch64-20261112-210815.log create mode 100644 logs/20261112-211202/riscv64/qemu-riscv64-20261112-211202.log create mode 100644 logs/20261112-211347/amd64/qemu-amd64-20261112-211347.log create mode 100644 logs/20261112-212105/isabelle/isabelle-20261112-212105.log diff --git a/experiments/bare_metal/runs/doe-aarch64-20261112-210815.csv b/experiments/bare_metal/runs/doe-aarch64-20261112-210815.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261112-210607.csv b/experiments/bare_metal/runs/doe-amd64-20261112-210607.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261112-211347.csv b/experiments/bare_metal/runs/doe-amd64-20261112-211347.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-riscv64-20261112-211202.csv b/experiments/bare_metal/runs/doe-riscv64-20261112-211202.csv new file mode 100644 index 00000000..e69de29b diff --git a/logs/20261112-210531/PROTOCOL.md b/logs/20261112-210531/PROTOCOL.md new file mode 100644 index 00000000..6c5ebb6c --- /dev/null +++ b/logs/20261112-210531/PROTOCOL.md @@ -0,0 +1,63 @@ +# Protocol for c76a742f + +- Commit: c76a742f2bed8176083363bf7b6aaa02a4f694af +- Tree: clean +- Result: PASS + +`scripts/nightly.sh protocol` (#135), begun 20261112-210531 UTC; `#188: the Jacquard selector's 64 cards, L7 permanently on, L2 a real gate`. + +## Stages + +| Stage | Result | Output | +|---|---|---| +| `accept-amd64` | PASS | `logs/20261112-210531/protocol/accept-amd64.log` | +| `accept-aarch64` | PASS | `logs/20261112-210531/protocol/accept-aarch64.log` | +| `accept-riscv64` | PASS | `logs/20261112-210531/protocol/accept-riscv64.log` | +| `accept-stick-high` | PASS | `logs/20261112-210531/protocol/accept-stick-high.log` | +| `test-32` | PASS | `logs/20261112-210531/protocol/test-32.log` | +| `proofs` | PASS | `logs/20261112-210531/protocol/proofs.log` | +| `images` | PASS | `logs/20261112-210531/protocol/images.log` | +| `docs` | PASS | `logs/20261112-210531/protocol/docs.log` | + +## The boots + +| Boot | Serial log | POST | System | +|---|---|---|---| +| amd64 | `logs/20261112-210607/amd64/qemu-amd64-20261112-210607.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` | +| aarch64 | `logs/20261112-210815/aarch64/qemu-aarch64-20261112-210815.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` | +| riscv64 | `logs/20261112-211202/riscv64/qemu-riscv64-20261112-211202.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` | +| stick-high | `logs/20261112-211347/amd64/qemu-amd64-20261112-211347.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-212105/isabelle/isabelle-20261112-212105.log` + +## The images (SHA-256) + +``` +34ca63bd3088058a8680df3f1d00aef604a8d9536ebfa5061fab335f789b9df7 StarshipOS.iso +3f60fd2ce16cce4aedf4e4ea7275c75738e12c77bd2707126bb835e973e34d0d pc-stick.img +69c6a38bffb5ac99c4ee4779b6d294e996ba55135014e1ce9fea02b7294efdbb raspi5.img +c223d1a6b3b0b6029a692d1314c5c0653d1d0cd961d75516532eba042f22417b MilkV.img +44131434a50efac48b0589e5e31c1779f845aee22fe344aac3ecef768dfed727 pc-stick.img.xz +900c16e505c631b6bfcacd54e11f0297423832dadf495c55b8b87d75ffbc6de4 raspi5.img.xz +4770fdb21a9141db1631b3b3ba0e7d40d11257033d41fd73994f26710ec24e25 MilkV.img.xz +``` + +## The documents (SHA-256) + +``` +ba4fa7d7eaf02e4739ac13502aa75ca10e93d3fc9c744255b4886b37eef352eb ./api.pdf +724e2758ab7edcdcfdb98aa82fb84f543052174627655edcb79fc89144c027c2 ./book.pdf +ab75ef4e0e8fe2b3b1126df512652f72f8f869a305c20956d87fda3f5a2db43f ./dictionary.pdf +6ac0403ce9b02827d9b9371a50b5f063bfc8199e9e6d0635048b2414925bd996 ./fabric.pdf +37a663aaa15aba11c763123b5706b042b6b04630dffe76ab3567cbb61f5f84b0 ./vol1.pdf +0a51a076a309597a2ba538a757b3fec2e2824ca2f3a22d9fed9d78e983d7aee6 ./vol2.pdf +e4988907b8b4afa1a585f26bc97ded0f99f688843519e821527f630ec151e2ba ./vol3.pdf +``` diff --git a/logs/20261112-210531/protocol/accept-aarch64.log b/logs/20261112-210531/protocol/accept-aarch64.log new file mode 100644 index 00000000..7a267761 --- /dev/null +++ b/logs/20261112-210531/protocol/accept-aarch64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:83003360b8e33f0d9f3b9f680a90a0d26011e90fe3fc9a7f5d6e6249237ef93f +size 372 diff --git a/logs/20261112-210531/protocol/accept-amd64.log b/logs/20261112-210531/protocol/accept-amd64.log new file mode 100644 index 00000000..542a9fc5 --- /dev/null +++ b/logs/20261112-210531/protocol/accept-amd64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:b1e009b91df223b983b9d36abac1ab367e5a1cdcbb1e885234694e638fb0f4ac +size 366 diff --git a/logs/20261112-210531/protocol/accept-riscv64.log b/logs/20261112-210531/protocol/accept-riscv64.log new file mode 100644 index 00000000..83788b9f --- /dev/null +++ b/logs/20261112-210531/protocol/accept-riscv64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:c3ba39d81a31f7c1ee412e956efae41357f2ea11a614d0f28fc09626c5b56d64 +size 372 diff --git a/logs/20261112-210531/protocol/accept-stick-high.log b/logs/20261112-210531/protocol/accept-stick-high.log new file mode 100644 index 00000000..f2e341af --- /dev/null +++ b/logs/20261112-210531/protocol/accept-stick-high.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:492d7ec30db6154d76068a2c8e3f76d465e1e558036765e3a7647b383d2adf29 +size 565 diff --git a/logs/20261112-210531/protocol/docs.log b/logs/20261112-210531/protocol/docs.log new file mode 100644 index 00000000..4e9cde6a --- /dev/null +++ b/logs/20261112-210531/protocol/docs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:b99211d9383d3a9de65bd76ac7f53cd760a1cf00c289ae2192d7461021ccd015 +size 3779284 diff --git a/logs/20261112-210531/protocol/images.log b/logs/20261112-210531/protocol/images.log new file mode 100644 index 00000000..0159a127 --- /dev/null +++ b/logs/20261112-210531/protocol/images.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:c1b46eea0b6a5178253b09c3643bc8139dc357665e6ffdd5e355b86f1ee0832c +size 62019 diff --git a/logs/20261112-210531/protocol/proofs.log b/logs/20261112-210531/protocol/proofs.log new file mode 100644 index 00000000..c54f8b13 --- /dev/null +++ b/logs/20261112-210531/protocol/proofs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:380ccbd53b2d3b2e61766a7fabbed21f4c7963b8af6941cc8a33b48199874300 +size 7800 diff --git a/logs/20261112-210531/protocol/test-32.log b/logs/20261112-210531/protocol/test-32.log new file mode 100644 index 00000000..2c8f8d76 --- /dev/null +++ b/logs/20261112-210531/protocol/test-32.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:d268548b5cf992de7d59720133acedcbb9dbc1c9c51713f02bbaf7a8c7576c59 +size 44271 diff --git a/logs/20261112-210607/amd64/qemu-amd64-20261112-210607.log b/logs/20261112-210607/amd64/qemu-amd64-20261112-210607.log new file mode 100644 index 00000000..5e9ac7ef --- /dev/null +++ b/logs/20261112-210607/amd64/qemu-amd64-20261112-210607.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:ac615b7dba664aa7ec8f9ff8f9280982cdfdc61591fe15a53c245bfc71bdff88 +size 6633 diff --git a/logs/20261112-210815/aarch64/qemu-aarch64-20261112-210815.log b/logs/20261112-210815/aarch64/qemu-aarch64-20261112-210815.log new file mode 100644 index 00000000..7d85dd65 --- /dev/null +++ b/logs/20261112-210815/aarch64/qemu-aarch64-20261112-210815.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:d504441bf5b3f75fd2c1e3a7b998f477d884fa34b8e51e94b35315dccc922dbf +size 5364 diff --git a/logs/20261112-211202/riscv64/qemu-riscv64-20261112-211202.log b/logs/20261112-211202/riscv64/qemu-riscv64-20261112-211202.log new file mode 100644 index 00000000..0b52cd5d --- /dev/null +++ b/logs/20261112-211202/riscv64/qemu-riscv64-20261112-211202.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:831f4f5b87bf7d10226737a269478ebdd04f8392dbffcca35ec37d9451554c75 +size 7816 diff --git a/logs/20261112-211347/amd64/qemu-amd64-20261112-211347.log b/logs/20261112-211347/amd64/qemu-amd64-20261112-211347.log new file mode 100644 index 00000000..23446b9c --- /dev/null +++ b/logs/20261112-211347/amd64/qemu-amd64-20261112-211347.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:5addcd53ad8350ca383451e64fe2885e1cd03de6b28127cde4e77945846106cb +size 6704 diff --git a/logs/20261112-212105/isabelle/isabelle-20261112-212105.log b/logs/20261112-212105/isabelle/isabelle-20261112-212105.log new file mode 100644 index 00000000..c54f8b13 --- /dev/null +++ b/logs/20261112-212105/isabelle/isabelle-20261112-212105.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:380ccbd53b2d3b2e61766a7fabbed21f4c7963b8af6941cc8a33b48199874300 +size 7800