From d64ad4a1c3333adf1ebd1aea7e724d5838563d77 Mon Sep 17 00:00:00 2001 From: Claude Date: Fri, 13 Nov 2026 17:36:21 +0000 Subject: [PATCH] logs: the protocol for 046ce0be -- PASS (#189, the mesh boot to spec and its edges) All eight stages passed: the four boots (POST 539/539, word_count=375, dict_hash=0xbbf72b1f752a1a51 on all three architectures, the edge cases on amd64), test-32 (39 programs, 0 failures), the proofs, the images, the documents. logs/20261113-170011/PROTOCOL.md. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_017RzZgrf7V7Zk2iczBXDRbm --- .../runs/doe-aarch64-20261113-170343.csv | 0 .../runs/doe-amd64-20261113-170039.csv | 0 .../runs/doe-amd64-20261113-171445.csv | 0 .../runs/doe-riscv64-20261113-171202.csv | 0 logs/20261113-170011/PROTOCOL.md | 63 +++++++++++++++++++ .../protocol/accept-aarch64.log | 3 + .../20261113-170011/protocol/accept-amd64.log | 3 + .../protocol/accept-riscv64.log | 3 + .../protocol/accept-stick-high.log | 3 + logs/20261113-170011/protocol/docs.log | 3 + logs/20261113-170011/protocol/images.log | 3 + logs/20261113-170011/protocol/proofs.log | 3 + logs/20261113-170011/protocol/test-32.log | 3 + .../amd64/qemu-amd64-20261113-170039.log | 3 + .../aarch64/qemu-aarch64-20261113-170343.log | 3 + .../riscv64/qemu-riscv64-20261113-171202.log | 3 + .../amd64/qemu-amd64-20261113-171445.log | 3 + .../isabelle/isabelle-20261113-172209.log | 3 + 18 files changed, 102 insertions(+) create mode 100644 experiments/bare_metal/runs/doe-aarch64-20261113-170343.csv create mode 100644 experiments/bare_metal/runs/doe-amd64-20261113-170039.csv create mode 100644 experiments/bare_metal/runs/doe-amd64-20261113-171445.csv create mode 100644 experiments/bare_metal/runs/doe-riscv64-20261113-171202.csv create mode 100644 logs/20261113-170011/PROTOCOL.md create mode 100644 logs/20261113-170011/protocol/accept-aarch64.log create mode 100644 logs/20261113-170011/protocol/accept-amd64.log create mode 100644 logs/20261113-170011/protocol/accept-riscv64.log create mode 100644 logs/20261113-170011/protocol/accept-stick-high.log create mode 100644 logs/20261113-170011/protocol/docs.log create mode 100644 logs/20261113-170011/protocol/images.log create mode 100644 logs/20261113-170011/protocol/proofs.log create mode 100644 logs/20261113-170011/protocol/test-32.log create mode 100644 logs/20261113-170039/amd64/qemu-amd64-20261113-170039.log create mode 100644 logs/20261113-170343/aarch64/qemu-aarch64-20261113-170343.log create mode 100644 logs/20261113-171202/riscv64/qemu-riscv64-20261113-171202.log create mode 100644 logs/20261113-171445/amd64/qemu-amd64-20261113-171445.log create mode 100644 logs/20261113-172209/isabelle/isabelle-20261113-172209.log diff --git a/experiments/bare_metal/runs/doe-aarch64-20261113-170343.csv b/experiments/bare_metal/runs/doe-aarch64-20261113-170343.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261113-170039.csv b/experiments/bare_metal/runs/doe-amd64-20261113-170039.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261113-171445.csv b/experiments/bare_metal/runs/doe-amd64-20261113-171445.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-riscv64-20261113-171202.csv b/experiments/bare_metal/runs/doe-riscv64-20261113-171202.csv new file mode 100644 index 00000000..e69de29b diff --git a/logs/20261113-170011/PROTOCOL.md b/logs/20261113-170011/PROTOCOL.md new file mode 100644 index 00000000..1567bf94 --- /dev/null +++ b/logs/20261113-170011/PROTOCOL.md @@ -0,0 +1,63 @@ +# Protocol for 046ce0be + +- Commit: 046ce0be65e326aa6cf01d17f5230de7c7f769c5 +- Tree: clean +- Result: PASS + +`scripts/nightly.sh protocol` (#135), begun 20261113-170011 UTC; `feat(v4): the mesh boot to spec -- Hera born empty in the kernel's fabric; births, kills, every node stepping together (#189)`. + +## Stages + +| Stage | Result | Output | +|---|---|---| +| `accept-amd64` | PASS | `logs/20261113-170011/protocol/accept-amd64.log` | +| `accept-aarch64` | PASS | `logs/20261113-170011/protocol/accept-aarch64.log` | +| `accept-riscv64` | PASS | `logs/20261113-170011/protocol/accept-riscv64.log` | +| `accept-stick-high` | PASS | `logs/20261113-170011/protocol/accept-stick-high.log` | +| `test-32` | PASS | `logs/20261113-170011/protocol/test-32.log` | +| `proofs` | PASS | `logs/20261113-170011/protocol/proofs.log` | +| `images` | PASS | `logs/20261113-170011/protocol/images.log` | +| `docs` | PASS | `logs/20261113-170011/protocol/docs.log` | + +## The boots + +| Boot | Serial log | POST | System | +|---|---|---|---| +| amd64 | `logs/20261113-170039/amd64/qemu-amd64-20261113-170039.log` | `PARITY:V4_POST tests=539 pass=539 fail=0` | `PARITY:V4_SYSTEM word_count=375 dict_hash=0xbbf72b1f752a1a51` | +| aarch64 | `logs/20261113-170343/aarch64/qemu-aarch64-20261113-170343.log` | `PARITY:V4_POST tests=539 pass=539 fail=0` | `PARITY:V4_SYSTEM word_count=375 dict_hash=0xbbf72b1f752a1a51` | +| riscv64 | `logs/20261113-171202/riscv64/qemu-riscv64-20261113-171202.log` | `PARITY:V4_POST tests=539 pass=539 fail=0` | `PARITY:V4_SYSTEM word_count=375 dict_hash=0xbbf72b1f752a1a51` | +| stick-high | `logs/20261113-171445/amd64/qemu-amd64-20261113-171445.log` | `PARITY:V4_POST tests=539 pass=539 fail=0` | `PARITY:V4_SYSTEM word_count=375 dict_hash=0xbbf72b1f752a1a51` | + +dict_hash: the same on all three: `0xbbf72b1f752a1a51`. + +## test-32 + +39 programs, 1861045 checks, 0 failures + +## The proofs + +`logs/20261113-172209/isabelle/isabelle-20261113-172209.log` + +## The images (SHA-256) + +``` +edad1fd47f4a5395d70a917ea179d331529530847f7a3ffd7d8bea052528b122 StarshipOS.iso +860dcd73c514aa092fa576e79dd6836112731f308302677aab78463b809a6151 pc-stick.img +441dbb615fe1f6a48ec5cade1287ea0c753c65207fd03bbbd61d2ce95aff5b63 raspi5.img +8ce24573c9ddb845dae6d078c36c087a3aaa6b5cff777e98e0f12e2f23dbf288 MilkV.img +22b6bd40b51d1bed179d1857e6363eceb33e4ab1d75d1fa701b5709f063dc4fa pc-stick.img.xz +b59da2fa3b5ee8a114aa7337492115a45d7978e4e085c83c2261391a37f45b02 raspi5.img.xz +3ec8ac0bdd5e5a47c7e9814e15c5cf80903f9d7f6b123a86363e7613543dfaf8 MilkV.img.xz +``` + +## The documents (SHA-256) + +``` +e53f9c4f68213b211fa54f1e21c694ed2ad8b89b7ca48cbddb363bc37c9d7a50 ./api.pdf +992fb3f4d1fd3fc8ba59955d9bd4d2d1e55d8bdaefc641fd59f1e5068e7cadd1 ./book.pdf +bab2ad2cde3a0bd945053e84777aeaf2a8129bb529e6693fd9062270d5fbee3f ./dictionary.pdf +d77fe6e0a7fcbb4aaf6f657808287b3aaf8e332faf0b9434aee5025d30a2f9bd ./fabric.pdf +25981963c41f420a7da7739758b4047aea93beabf340d72f420e24e0d3ec8728 ./vol1.pdf +a50a0eba19571cec523d7ffc8f1853c9fb7e914cbfbcd982f4f8ee879bbe8215 ./vol2.pdf +dfa1f5daf58174c9b2bc48ca78321c1a081d44264a41c48d237b273838419b05 ./vol3.pdf +``` diff --git a/logs/20261113-170011/protocol/accept-aarch64.log b/logs/20261113-170011/protocol/accept-aarch64.log new file mode 100644 index 00000000..5dc7baf2 --- /dev/null +++ b/logs/20261113-170011/protocol/accept-aarch64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:503f8c539f65246984a795d6c4ae69ef6e384c80e8a78f42039a80869961d11a +size 945 diff --git a/logs/20261113-170011/protocol/accept-amd64.log b/logs/20261113-170011/protocol/accept-amd64.log new file mode 100644 index 00000000..04f19627 --- /dev/null +++ b/logs/20261113-170011/protocol/accept-amd64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:29940a5c8a53d22b362adc728b1d2d02bbabd1dce44acec1c76c949bc8b97aee +size 939 diff --git a/logs/20261113-170011/protocol/accept-riscv64.log b/logs/20261113-170011/protocol/accept-riscv64.log new file mode 100644 index 00000000..94fe34d3 --- /dev/null +++ b/logs/20261113-170011/protocol/accept-riscv64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:ce4f8272bf35ed79153db3b378631e1f07c697cf3bcee755e6474206430a7939 +size 945 diff --git a/logs/20261113-170011/protocol/accept-stick-high.log b/logs/20261113-170011/protocol/accept-stick-high.log new file mode 100644 index 00000000..1dc30eeb --- /dev/null +++ b/logs/20261113-170011/protocol/accept-stick-high.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9734ab38a591dd18d073291370708f1e73a26169353051b591aa35d86dfa2783 +size 1138 diff --git a/logs/20261113-170011/protocol/docs.log b/logs/20261113-170011/protocol/docs.log new file mode 100644 index 00000000..c35f0518 --- /dev/null +++ b/logs/20261113-170011/protocol/docs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:2cc3602cc0fbe60819e6f286b56ed6cf872d3cfa195f5e3b7a10c624b994b61a +size 3781910 diff --git a/logs/20261113-170011/protocol/images.log b/logs/20261113-170011/protocol/images.log new file mode 100644 index 00000000..04daab94 --- /dev/null +++ b/logs/20261113-170011/protocol/images.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:aef340494f79e6f159355bdd7c9556b478760ea53a39ac705fadd9b9263d3466 +size 63093 diff --git a/logs/20261113-170011/protocol/proofs.log b/logs/20261113-170011/protocol/proofs.log new file mode 100644 index 00000000..f4110c87 --- /dev/null +++ b/logs/20261113-170011/protocol/proofs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:b3034112796285b8fa47eb07979a7fde38b39bc1eb62363123d13d5a4df1f98e +size 7800 diff --git a/logs/20261113-170011/protocol/test-32.log b/logs/20261113-170011/protocol/test-32.log new file mode 100644 index 00000000..70d3959d --- /dev/null +++ b/logs/20261113-170011/protocol/test-32.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:238850f50bf99781c296adf9e0d9434c121b25e94124989ee3e17a702fc383c0 +size 65171 diff --git a/logs/20261113-170039/amd64/qemu-amd64-20261113-170039.log b/logs/20261113-170039/amd64/qemu-amd64-20261113-170039.log new file mode 100644 index 00000000..5f55314f --- /dev/null +++ b/logs/20261113-170039/amd64/qemu-amd64-20261113-170039.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:43667a3560e28d5e0918ef8d497ad8bb7e648a37bd20eebb5ddb51a94741df04 +size 9462 diff --git a/logs/20261113-170343/aarch64/qemu-aarch64-20261113-170343.log b/logs/20261113-170343/aarch64/qemu-aarch64-20261113-170343.log new file mode 100644 index 00000000..429ed7d9 --- /dev/null +++ b/logs/20261113-170343/aarch64/qemu-aarch64-20261113-170343.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:bad4776012fa221602b6dd4795b9e26f0422a9b86e25b9bbfb483e0ade4a6f7f +size 8202 diff --git a/logs/20261113-171202/riscv64/qemu-riscv64-20261113-171202.log b/logs/20261113-171202/riscv64/qemu-riscv64-20261113-171202.log new file mode 100644 index 00000000..8bf2e9a5 --- /dev/null +++ b/logs/20261113-171202/riscv64/qemu-riscv64-20261113-171202.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:187ac0461054e3c3f3413d49b74630d5d32588533168940d6e58f7ff52b2b5f2 +size 10648 diff --git a/logs/20261113-171445/amd64/qemu-amd64-20261113-171445.log b/logs/20261113-171445/amd64/qemu-amd64-20261113-171445.log new file mode 100644 index 00000000..13fe7f5f --- /dev/null +++ b/logs/20261113-171445/amd64/qemu-amd64-20261113-171445.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:616e8a4e692aaadeb4f33b761fdec0c9a2daf05cce93de7a835cd0c3cbb8fd4d +size 9542 diff --git a/logs/20261113-172209/isabelle/isabelle-20261113-172209.log b/logs/20261113-172209/isabelle/isabelle-20261113-172209.log new file mode 100644 index 00000000..f4110c87 --- /dev/null +++ b/logs/20261113-172209/isabelle/isabelle-20261113-172209.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:b3034112796285b8fa47eb07979a7fde38b39bc1eb62363123d13d5a4df1f98e +size 7800