From abfb30d0c4e32a1240c6f686bc129be677a7a79e Mon Sep 17 00:00:00 2001 From: Claude Date: Fri, 13 Nov 2026 01:22:02 +0000 Subject: [PATCH] logs: the developer protocol on dd6c393a -- PASS, all eight stages A1 (the hook at call), the merge of master (the six runner.capacity comments) and HEAT-OP/ANTICLOCK (#189). POST 538/538 on the four boots; word_count 320 and dict_hash 0xd148437fb39a1afd on all three architectures (318 and 0x8c92508f748f99cf before: the two new words); test-32 39 programs 0 failures; proofs; images; documents, the dictionary covering all 320 live words. logs/20261113-005100/PROTOCOL.md. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_017RzZgrf7V7Zk2iczBXDRbm --- .../runs/doe-aarch64-20261113-005349.csv | 0 .../runs/doe-amd64-20261113-005140.csv | 0 .../runs/doe-amd64-20261113-005856.csv | 0 .../runs/doe-riscv64-20261113-005720.csv | 0 logs/20261113-005100/PROTOCOL.md | 63 +++++++++++++++++++ .../protocol/accept-aarch64.log | 3 + .../20261113-005100/protocol/accept-amd64.log | 3 + .../protocol/accept-riscv64.log | 3 + .../protocol/accept-stick-high.log | 3 + logs/20261113-005100/protocol/docs.log | 3 + logs/20261113-005100/protocol/images.log | 3 + logs/20261113-005100/protocol/proofs.log | 3 + logs/20261113-005100/protocol/test-32.log | 3 + .../amd64/qemu-amd64-20261113-005140.log | 3 + .../aarch64/qemu-aarch64-20261113-005349.log | 3 + .../riscv64/qemu-riscv64-20261113-005720.log | 3 + .../amd64/qemu-amd64-20261113-005856.log | 3 + .../isabelle/isabelle-20261113-010502.log | 3 + 18 files changed, 102 insertions(+) create mode 100644 experiments/bare_metal/runs/doe-aarch64-20261113-005349.csv create mode 100644 experiments/bare_metal/runs/doe-amd64-20261113-005140.csv create mode 100644 experiments/bare_metal/runs/doe-amd64-20261113-005856.csv create mode 100644 experiments/bare_metal/runs/doe-riscv64-20261113-005720.csv create mode 100644 logs/20261113-005100/PROTOCOL.md create mode 100644 logs/20261113-005100/protocol/accept-aarch64.log create mode 100644 logs/20261113-005100/protocol/accept-amd64.log create mode 100644 logs/20261113-005100/protocol/accept-riscv64.log create mode 100644 logs/20261113-005100/protocol/accept-stick-high.log create mode 100644 logs/20261113-005100/protocol/docs.log create mode 100644 logs/20261113-005100/protocol/images.log create mode 100644 logs/20261113-005100/protocol/proofs.log create mode 100644 logs/20261113-005100/protocol/test-32.log create mode 100644 logs/20261113-005140/amd64/qemu-amd64-20261113-005140.log create mode 100644 logs/20261113-005349/aarch64/qemu-aarch64-20261113-005349.log create mode 100644 logs/20261113-005720/riscv64/qemu-riscv64-20261113-005720.log create mode 100644 logs/20261113-005856/amd64/qemu-amd64-20261113-005856.log create mode 100644 logs/20261113-010502/isabelle/isabelle-20261113-010502.log diff --git a/experiments/bare_metal/runs/doe-aarch64-20261113-005349.csv b/experiments/bare_metal/runs/doe-aarch64-20261113-005349.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261113-005140.csv b/experiments/bare_metal/runs/doe-amd64-20261113-005140.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261113-005856.csv b/experiments/bare_metal/runs/doe-amd64-20261113-005856.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-riscv64-20261113-005720.csv b/experiments/bare_metal/runs/doe-riscv64-20261113-005720.csv new file mode 100644 index 00000000..e69de29b diff --git a/logs/20261113-005100/PROTOCOL.md b/logs/20261113-005100/PROTOCOL.md new file mode 100644 index 00000000..cecc56d1 --- /dev/null +++ b/logs/20261113-005100/PROTOCOL.md @@ -0,0 +1,63 @@ +# Protocol for dd6c393a + +- Commit: dd6c393a897fb09bb9656a00942f24e63c3707ec +- Tree: clean +- Result: PASS + +`scripts/nightly.sh protocol` (#135), begun 20261113-005100 UTC; `feat(v4): HEAT-OP[0..31] and ANTICLOCK, read by HEAT-OP@ and ANTICLOCK@`. + +## Stages + +| Stage | Result | Output | +|---|---|---| +| `accept-amd64` | PASS | `logs/20261113-005100/protocol/accept-amd64.log` | +| `accept-aarch64` | PASS | `logs/20261113-005100/protocol/accept-aarch64.log` | +| `accept-riscv64` | PASS | `logs/20261113-005100/protocol/accept-riscv64.log` | +| `accept-stick-high` | PASS | `logs/20261113-005100/protocol/accept-stick-high.log` | +| `test-32` | PASS | `logs/20261113-005100/protocol/test-32.log` | +| `proofs` | PASS | `logs/20261113-005100/protocol/proofs.log` | +| `images` | PASS | `logs/20261113-005100/protocol/images.log` | +| `docs` | PASS | `logs/20261113-005100/protocol/docs.log` | + +## The boots + +| Boot | Serial log | POST | System | +|---|---|---|---| +| amd64 | `logs/20261113-005140/amd64/qemu-amd64-20261113-005140.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=320 dict_hash=0xd148437fb39a1afd` | +| aarch64 | `logs/20261113-005349/aarch64/qemu-aarch64-20261113-005349.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=320 dict_hash=0xd148437fb39a1afd` | +| riscv64 | `logs/20261113-005720/riscv64/qemu-riscv64-20261113-005720.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=320 dict_hash=0xd148437fb39a1afd` | +| stick-high | `logs/20261113-005856/amd64/qemu-amd64-20261113-005856.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=320 dict_hash=0xd148437fb39a1afd` | + +dict_hash: the same on all three: `0xd148437fb39a1afd`. + +## test-32 + +39 programs, 1861036 checks, 0 failures + +## The proofs + +`logs/20261113-010502/isabelle/isabelle-20261113-010502.log` + +## The images (SHA-256) + +``` +33add5df5826aafdb2bf79771924c8d17c9746513784c2e02764be08b91ddd33 StarshipOS.iso +cd820b6220db9e11ab3f34e3b1e1b5756c432502ed946904a99fa48b2ce24f7b pc-stick.img +2fb3fc455b8c57c675e209918e987b38beedf78348b431c594a791be128fbc84 raspi5.img +ce7d7c226165cc30a9157a8a915e46621e385ac755ca9122d70a64ee8254e237 MilkV.img +cb5ef2b967c03498c657d2b2be1ab8262e88b395ccb5bb1596336ee4b5438dd3 pc-stick.img.xz +f423b48d6e7878bbc703b4d3aec07cb975f11017313ea193c806ce71a4d6831c raspi5.img.xz +b20f8fccaca51577dae18594e07a6e7a9ad625086cd3ec8cc68e451ba791b167 MilkV.img.xz +``` + +## The documents (SHA-256) + +``` +5c45d2bb201547e5034e123884904d46c494c1f666205e56ac825d5177baaf3c ./api.pdf +825644a6286a2d7da991f52f1c98db65df5c292cfff431c0520341dfe6661e6b ./book.pdf +d009e7d0ddb46ae7311e82c6e7846f3560d0ab1fd074074aa1f655e6d4c44553 ./dictionary.pdf +649b2966d6e54fd6a9f914d9030ffe4677f6207574773f478a059fa874571632 ./fabric.pdf +d240c972f59b3e16baf2dffe6ba86dec6eae61102e5f157d1bc3fd8823f65fad ./vol1.pdf +d23f5fcc2c7ca9f96cf710ee207e265e8e96584dc35d6668aae49d3c468f050f ./vol2.pdf +246abb0689b183b1567ba46f990fe3465d3d4a03ede6e2555932eb6b89ba851e ./vol3.pdf +``` diff --git a/logs/20261113-005100/protocol/accept-aarch64.log b/logs/20261113-005100/protocol/accept-aarch64.log new file mode 100644 index 00000000..bb26dec7 --- /dev/null +++ b/logs/20261113-005100/protocol/accept-aarch64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:88d6ca6e3f9bf6da5df1645ae44c23ce95db3891e0ce604ec0bae2a1b2d8a1c6 +size 372 diff --git a/logs/20261113-005100/protocol/accept-amd64.log b/logs/20261113-005100/protocol/accept-amd64.log new file mode 100644 index 00000000..30f71913 --- /dev/null +++ b/logs/20261113-005100/protocol/accept-amd64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e9ce7be26209c80a1207f84db8f593ca294d8090e7878ea10df642f4850bbb36 +size 366 diff --git a/logs/20261113-005100/protocol/accept-riscv64.log b/logs/20261113-005100/protocol/accept-riscv64.log new file mode 100644 index 00000000..e766b0af --- /dev/null +++ b/logs/20261113-005100/protocol/accept-riscv64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:a7112cd6b35f283e89cc5b895c4b2dfb5213e75c8ad582af1aeaad1cc7602cf1 +size 372 diff --git a/logs/20261113-005100/protocol/accept-stick-high.log b/logs/20261113-005100/protocol/accept-stick-high.log new file mode 100644 index 00000000..9343ff7a --- /dev/null +++ b/logs/20261113-005100/protocol/accept-stick-high.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:1aa273fc8ae00d9d36a38d5f1768598e66aded7f218af9de458a6690f6777235 +size 565 diff --git a/logs/20261113-005100/protocol/docs.log b/logs/20261113-005100/protocol/docs.log new file mode 100644 index 00000000..fecd7684 --- /dev/null +++ b/logs/20261113-005100/protocol/docs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:df3f52a28d658967f316cc1442500de640e51ba140541720268c58a2cee89d60 +size 3760513 diff --git a/logs/20261113-005100/protocol/images.log b/logs/20261113-005100/protocol/images.log new file mode 100644 index 00000000..b887eeb3 --- /dev/null +++ b/logs/20261113-005100/protocol/images.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:491f37f6f429f06bbe60d4c85372c32b98864eb121aa1c9a00849b07e953c88f +size 62019 diff --git a/logs/20261113-005100/protocol/proofs.log b/logs/20261113-005100/protocol/proofs.log new file mode 100644 index 00000000..110d604f --- /dev/null +++ b/logs/20261113-005100/protocol/proofs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:cae76d33b691b228f37c71ad7399dc49d55342a01962b1201f5a6c69d55e354f +size 7800 diff --git a/logs/20261113-005100/protocol/test-32.log b/logs/20261113-005100/protocol/test-32.log new file mode 100644 index 00000000..adb1f75b --- /dev/null +++ b/logs/20261113-005100/protocol/test-32.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:d2172586d28013fc25ed62e5fb09bcdd6f35e0621716c6c233a3d745408b5c06 +size 44269 diff --git a/logs/20261113-005140/amd64/qemu-amd64-20261113-005140.log b/logs/20261113-005140/amd64/qemu-amd64-20261113-005140.log new file mode 100644 index 00000000..17b353fa --- /dev/null +++ b/logs/20261113-005140/amd64/qemu-amd64-20261113-005140.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:b97e7f2470904406921edd6378d35ed63821dc7899007ac1ec7008dfaa16abad +size 6633 diff --git a/logs/20261113-005349/aarch64/qemu-aarch64-20261113-005349.log b/logs/20261113-005349/aarch64/qemu-aarch64-20261113-005349.log new file mode 100644 index 00000000..f4b45ec8 --- /dev/null +++ b/logs/20261113-005349/aarch64/qemu-aarch64-20261113-005349.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:cc1382d2bd01a23bcb719d9f291d3428dafe0fffbd76db2462153a9a21caaa4c +size 5364 diff --git a/logs/20261113-005720/riscv64/qemu-riscv64-20261113-005720.log b/logs/20261113-005720/riscv64/qemu-riscv64-20261113-005720.log new file mode 100644 index 00000000..ffa9ac9d --- /dev/null +++ b/logs/20261113-005720/riscv64/qemu-riscv64-20261113-005720.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:91d24e5add610e9c90d20781a5c4768ef7586ca78df738a827351b8613967745 +size 7816 diff --git a/logs/20261113-005856/amd64/qemu-amd64-20261113-005856.log b/logs/20261113-005856/amd64/qemu-amd64-20261113-005856.log new file mode 100644 index 00000000..95e9f1f4 --- /dev/null +++ b/logs/20261113-005856/amd64/qemu-amd64-20261113-005856.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:d08e613dc31d4e1deee42919f721bdbdc0c10da5bf5849274c9bfd4322187956 +size 6704 diff --git a/logs/20261113-010502/isabelle/isabelle-20261113-010502.log b/logs/20261113-010502/isabelle/isabelle-20261113-010502.log new file mode 100644 index 00000000..110d604f --- /dev/null +++ b/logs/20261113-010502/isabelle/isabelle-20261113-010502.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:cae76d33b691b228f37c71ad7399dc49d55342a01962b1201f5a6c69d55e354f +size 7800