From ee28530b1c71eed310873577ae5d332cbccfb7e9 Mon Sep 17 00:00:00 2001 From: Claude Date: Fri, 13 Nov 2026 19:46:19 +0000 Subject: [PATCH] logs: the protocol for e8e7ec8b -- PASS (#189 Phase 2, the word accounts at call) All eight stages passed: the four boots (POST 539/539, word_count=377, dict_hash=0xa854ba15b437d288 on all three architectures, Hera's words admitted to the Stadium after POST on each), test-32 (39 programs, 0 failures), the proofs, the images, the documents. logs/20261113-191247/PROTOCOL.md. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_017RzZgrf7V7Zk2iczBXDRbm --- .../runs/doe-aarch64-20261113-191606.csv | 0 .../runs/doe-amd64-20261113-191316.csv | 0 .../runs/doe-amd64-20261113-192718.csv | 0 .../runs/doe-riscv64-20261113-192438.csv | 0 logs/20261113-191247/PROTOCOL.md | 63 +++++++++++++++++++ .../protocol/accept-aarch64.log | 3 + .../20261113-191247/protocol/accept-amd64.log | 3 + .../protocol/accept-riscv64.log | 3 + .../protocol/accept-stick-high.log | 3 + logs/20261113-191247/protocol/docs.log | 3 + logs/20261113-191247/protocol/images.log | 3 + logs/20261113-191247/protocol/proofs.log | 3 + logs/20261113-191247/protocol/test-32.log | 3 + .../amd64/qemu-amd64-20261113-191316.log | 3 + .../aarch64/qemu-aarch64-20261113-191606.log | 3 + .../riscv64/qemu-riscv64-20261113-192438.log | 3 + .../amd64/qemu-amd64-20261113-192718.log | 3 + .../isabelle/isabelle-20261113-193328.log | 3 + 18 files changed, 102 insertions(+) create mode 100644 experiments/bare_metal/runs/doe-aarch64-20261113-191606.csv create mode 100644 experiments/bare_metal/runs/doe-amd64-20261113-191316.csv create mode 100644 experiments/bare_metal/runs/doe-amd64-20261113-192718.csv create mode 100644 experiments/bare_metal/runs/doe-riscv64-20261113-192438.csv create mode 100644 logs/20261113-191247/PROTOCOL.md create mode 100644 logs/20261113-191247/protocol/accept-aarch64.log create mode 100644 logs/20261113-191247/protocol/accept-amd64.log create mode 100644 logs/20261113-191247/protocol/accept-riscv64.log create mode 100644 logs/20261113-191247/protocol/accept-stick-high.log create mode 100644 logs/20261113-191247/protocol/docs.log create mode 100644 logs/20261113-191247/protocol/images.log create mode 100644 logs/20261113-191247/protocol/proofs.log create mode 100644 logs/20261113-191247/protocol/test-32.log create mode 100644 logs/20261113-191316/amd64/qemu-amd64-20261113-191316.log create mode 100644 logs/20261113-191606/aarch64/qemu-aarch64-20261113-191606.log create mode 100644 logs/20261113-192438/riscv64/qemu-riscv64-20261113-192438.log create mode 100644 logs/20261113-192718/amd64/qemu-amd64-20261113-192718.log create mode 100644 logs/20261113-193328/isabelle/isabelle-20261113-193328.log diff --git a/experiments/bare_metal/runs/doe-aarch64-20261113-191606.csv b/experiments/bare_metal/runs/doe-aarch64-20261113-191606.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261113-191316.csv b/experiments/bare_metal/runs/doe-amd64-20261113-191316.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261113-192718.csv b/experiments/bare_metal/runs/doe-amd64-20261113-192718.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-riscv64-20261113-192438.csv b/experiments/bare_metal/runs/doe-riscv64-20261113-192438.csv new file mode 100644 index 00000000..e69de29b diff --git a/logs/20261113-191247/PROTOCOL.md b/logs/20261113-191247/PROTOCOL.md new file mode 100644 index 00000000..7da0ab2b --- /dev/null +++ b/logs/20261113-191247/PROTOCOL.md @@ -0,0 +1,63 @@ +# Protocol for e8e7ec8b + +- Commit: e8e7ec8b9fbbb97666af880a467893f9d722ddb5 +- Tree: clean +- Result: PASS + +`scripts/nightly.sh protocol` (#135), begun 20261113-191247 UTC; `feat(v4): word accounts at call -- the word ID in the header, the kernel's records, the Stadium charged per tick (#189)`. + +## Stages + +| Stage | Result | Output | +|---|---|---| +| `accept-amd64` | PASS | `logs/20261113-191247/protocol/accept-amd64.log` | +| `accept-aarch64` | PASS | `logs/20261113-191247/protocol/accept-aarch64.log` | +| `accept-riscv64` | PASS | `logs/20261113-191247/protocol/accept-riscv64.log` | +| `accept-stick-high` | PASS | `logs/20261113-191247/protocol/accept-stick-high.log` | +| `test-32` | PASS | `logs/20261113-191247/protocol/test-32.log` | +| `proofs` | PASS | `logs/20261113-191247/protocol/proofs.log` | +| `images` | PASS | `logs/20261113-191247/protocol/images.log` | +| `docs` | PASS | `logs/20261113-191247/protocol/docs.log` | + +## The boots + +| Boot | Serial log | POST | System | +|---|---|---|---| +| amd64 | `logs/20261113-191316/amd64/qemu-amd64-20261113-191316.log` | `PARITY:V4_POST tests=539 pass=539 fail=0` | `PARITY:V4_SYSTEM word_count=377 dict_hash=0xa854ba15b437d288` | +| aarch64 | `logs/20261113-191606/aarch64/qemu-aarch64-20261113-191606.log` | `PARITY:V4_POST tests=539 pass=539 fail=0` | `PARITY:V4_SYSTEM word_count=377 dict_hash=0xa854ba15b437d288` | +| riscv64 | `logs/20261113-192438/riscv64/qemu-riscv64-20261113-192438.log` | `PARITY:V4_POST tests=539 pass=539 fail=0` | `PARITY:V4_SYSTEM word_count=377 dict_hash=0xa854ba15b437d288` | +| stick-high | `logs/20261113-192718/amd64/qemu-amd64-20261113-192718.log` | `PARITY:V4_POST tests=539 pass=539 fail=0` | `PARITY:V4_SYSTEM word_count=377 dict_hash=0xa854ba15b437d288` | + +dict_hash: the same on all three: `0xa854ba15b437d288`. + +## test-32 + +39 programs, 1861059 checks, 0 failures + +## The proofs + +`logs/20261113-193328/isabelle/isabelle-20261113-193328.log` + +## The images (SHA-256) + +``` +ca3ab9e3ea366f6b43e39b5ab9b4c2e87ad994c9d8fe9a8a74dee55c0e8b8da7 StarshipOS.iso +0f1a3ff55896f7e4445b30e857b9e3a48a53d67a6c20b94a7ce34e4848fd6e7a pc-stick.img +34a90653c2d24ca7197b30b05844cb61e6b6dcca8b6a8ec50457f08b2f289b68 raspi5.img +fc64e0fa0666cdd614d33035b6185004b8c7abe862bb1ad2456ed14751e52f2c MilkV.img +ba7133ce3443918898ae7d667c5fc12eb435ff1eb84052c7c8047082358c1cdf pc-stick.img.xz +476638b3fe19c814813d4259525846eeac80668616a84f4e4334937ce57382f5 raspi5.img.xz +2fc308396b786fd0a7e5a29bb1ca0f7c25a826528af897514c2d3f6ca2f78911 MilkV.img.xz +``` + +## The documents (SHA-256) + +``` +bd1bc001e0dd74413e016bef395d5a8db50501ea8da661e77d33cb5d314f149c ./api.pdf +8799f4961489db392f8069f86039b7d352f17607e0510011682ecda583ffba16 ./book.pdf +bc1c42d2f415ca1ef97ce1a6f05dab127069b843548cbd8d2dc4e84f364a7673 ./dictionary.pdf +0e966a7ebdf4968da86e06572f7e9116f278550b70cc57a4671569a7b6597310 ./fabric.pdf +db71759e513f6711582ccb643d57ec2126890c4ef8851d1b71796055c16c25e4 ./vol1.pdf +dbfc4bf2ed92ac8fe471a60d066ec32b24e6d4c6e830efb66d17d88490413190 ./vol2.pdf +818063492bf4d94b8f020121123f86177409b49ca367e88918e995d28d249061 ./vol3.pdf +``` diff --git a/logs/20261113-191247/protocol/accept-aarch64.log b/logs/20261113-191247/protocol/accept-aarch64.log new file mode 100644 index 00000000..75abec2f --- /dev/null +++ b/logs/20261113-191247/protocol/accept-aarch64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e55dfa72c4ea0348386c6a169d998d9b65d8ccf3316ca137123dcd838a8d24ab +size 997 diff --git a/logs/20261113-191247/protocol/accept-amd64.log b/logs/20261113-191247/protocol/accept-amd64.log new file mode 100644 index 00000000..deeea9e0 --- /dev/null +++ b/logs/20261113-191247/protocol/accept-amd64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e401aff38fdf88a44002e2b13287b663957ae326f4baae7b15038c9ff0369bc9 +size 991 diff --git a/logs/20261113-191247/protocol/accept-riscv64.log b/logs/20261113-191247/protocol/accept-riscv64.log new file mode 100644 index 00000000..ba9f3a57 --- /dev/null +++ b/logs/20261113-191247/protocol/accept-riscv64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:32954014154bb697776cdb642f29eecf833a79c8a971ce232e7aece4a35f572d +size 997 diff --git a/logs/20261113-191247/protocol/accept-stick-high.log b/logs/20261113-191247/protocol/accept-stick-high.log new file mode 100644 index 00000000..79d9dd04 --- /dev/null +++ b/logs/20261113-191247/protocol/accept-stick-high.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:a4828bb7821a4ceb83e962812e5860fe9516dd3b77dfdaa2136c5703682c87a8 +size 1190 diff --git a/logs/20261113-191247/protocol/docs.log b/logs/20261113-191247/protocol/docs.log new file mode 100644 index 00000000..35dc2982 --- /dev/null +++ b/logs/20261113-191247/protocol/docs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:33ae27325649b9ea301c58cd7bb645a70b787e759c585eaf66ce34b5c4fd82e6 +size 3776740 diff --git a/logs/20261113-191247/protocol/images.log b/logs/20261113-191247/protocol/images.log new file mode 100644 index 00000000..345eb120 --- /dev/null +++ b/logs/20261113-191247/protocol/images.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:78da753f9edcf6be231162fde1a5800009389d899e3ef969ca5e1869f1c44caf +size 63093 diff --git a/logs/20261113-191247/protocol/proofs.log b/logs/20261113-191247/protocol/proofs.log new file mode 100644 index 00000000..d8d35f42 --- /dev/null +++ b/logs/20261113-191247/protocol/proofs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:5674fb42b3d7fe34b1a0f61098897edf088baeb5f6cd30a61455599c574830f7 +size 7799 diff --git a/logs/20261113-191247/protocol/test-32.log b/logs/20261113-191247/protocol/test-32.log new file mode 100644 index 00000000..3bbd62a1 --- /dev/null +++ b/logs/20261113-191247/protocol/test-32.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:be4aa276415e7e1f00c45283e9f584b1f12f927317cc10f354ccb6ae64aa20fb +size 44269 diff --git a/logs/20261113-191316/amd64/qemu-amd64-20261113-191316.log b/logs/20261113-191316/amd64/qemu-amd64-20261113-191316.log new file mode 100644 index 00000000..69b68c43 --- /dev/null +++ b/logs/20261113-191316/amd64/qemu-amd64-20261113-191316.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:967477b1b82a627ae25f8d9ad9afda4b3dac3d9d0c8f06311ba00b1806be1fc7 +size 9470 diff --git a/logs/20261113-191606/aarch64/qemu-aarch64-20261113-191606.log b/logs/20261113-191606/aarch64/qemu-aarch64-20261113-191606.log new file mode 100644 index 00000000..f9420611 --- /dev/null +++ b/logs/20261113-191606/aarch64/qemu-aarch64-20261113-191606.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:4f099133778fe4743c2328144bc6404123593f0ec6a4bf9744384aa45f1b56a5 +size 8210 diff --git a/logs/20261113-192438/riscv64/qemu-riscv64-20261113-192438.log b/logs/20261113-192438/riscv64/qemu-riscv64-20261113-192438.log new file mode 100644 index 00000000..29e98f24 --- /dev/null +++ b/logs/20261113-192438/riscv64/qemu-riscv64-20261113-192438.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:d8f0c146bf4ea2a927f85b40906e0a78c14304c4b2b45eeb3c38bd9ddb152b88 +size 10656 diff --git a/logs/20261113-192718/amd64/qemu-amd64-20261113-192718.log b/logs/20261113-192718/amd64/qemu-amd64-20261113-192718.log new file mode 100644 index 00000000..888d6c64 --- /dev/null +++ b/logs/20261113-192718/amd64/qemu-amd64-20261113-192718.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:7182414c8d07867ecb931216eb8fd64aee75aa1cf85bac69af979992d633b8c0 +size 9550 diff --git a/logs/20261113-193328/isabelle/isabelle-20261113-193328.log b/logs/20261113-193328/isabelle/isabelle-20261113-193328.log new file mode 100644 index 00000000..d8d35f42 --- /dev/null +++ b/logs/20261113-193328/isabelle/isabelle-20261113-193328.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:5674fb42b3d7fe34b1a0f61098897edf088baeb5f6cd30a61455599c574830f7 +size 7799