diff --git a/experiments/bare_metal/runs/doe-aarch64-20261112-114828.csv b/experiments/bare_metal/runs/doe-aarch64-20261112-114828.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261112-114622.csv b/experiments/bare_metal/runs/doe-amd64-20261112-114622.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261112-115606.csv b/experiments/bare_metal/runs/doe-amd64-20261112-115606.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-riscv64-20261112-115423.csv b/experiments/bare_metal/runs/doe-riscv64-20261112-115423.csv new file mode 100644 index 00000000..e69de29b diff --git a/logs/20261112-114545/PROTOCOL.md b/logs/20261112-114545/PROTOCOL.md new file mode 100644 index 00000000..f6c2bda9 --- /dev/null +++ b/logs/20261112-114545/PROTOCOL.md @@ -0,0 +1,63 @@ +# Protocol for defd47e5 + +- Commit: defd47e5ff354c7bfe641d6d96efa9329cb5796e +- Tree: clean +- Result: PASS + +`scripts/nightly.sh protocol` (#135), begun 20261112-114545 UTC; `scripts: ci_litter_check.sh -- #129's week-later check, run on the server`. + +## Stages + +| Stage | Result | Output | +|---|---|---| +| `accept-amd64` | PASS | `logs/20261112-114545/protocol/accept-amd64.log` | +| `accept-aarch64` | PASS | `logs/20261112-114545/protocol/accept-aarch64.log` | +| `accept-riscv64` | PASS | `logs/20261112-114545/protocol/accept-riscv64.log` | +| `accept-stick-high` | PASS | `logs/20261112-114545/protocol/accept-stick-high.log` | +| `test-32` | PASS | `logs/20261112-114545/protocol/test-32.log` | +| `proofs` | PASS | `logs/20261112-114545/protocol/proofs.log` | +| `images` | PASS | `logs/20261112-114545/protocol/images.log` | +| `docs` | PASS | `logs/20261112-114545/protocol/docs.log` | + +## The boots + +| Boot | Serial log | POST | System | +|---|---|---|---| +| amd64 | `logs/20261112-114622/amd64/qemu-amd64-20261112-114622.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` | +| aarch64 | `logs/20261112-114828/aarch64/qemu-aarch64-20261112-114828.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` | +| riscv64 | `logs/20261112-115423/riscv64/qemu-riscv64-20261112-115423.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` | +| stick-high | `logs/20261112-115606/amd64/qemu-amd64-20261112-115606.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, 1869197 checks, 0 failures + +## The proofs + +`logs/20261112-120245/isabelle/isabelle-20261112-120245.log` + +## The images (SHA-256) + +``` +a7bc55304a103619b2ede87d8c8114c69458c3b6ecfb44b6f98cacbecf1fc6cf StarshipOS.iso +e2a299655b7ec3a01f7c021b87125fefb57c3a196623d3465d623b2481bd94d6 pc-stick.img +0379acff2e7b079b99d7cf6a7d006c4db486d14aed020c68218731d30d3fb956 raspi5.img +2e8c0766898c31d4dd2befff08535786e137f342f47925ab83426593ca54de42 MilkV.img +dc7a6e4a3275d55d49cbc18a03695e66185bf04f8f98c9edef740615b2a063fe pc-stick.img.xz +eac7d5a489ac663661ca7c6516d0f6218f15d21caf4a3c771bd6d5c84e8fb5c6 raspi5.img.xz +bbddc8b848bf44ea1535b259be4932e2173250ddb0f12282d1098df4d48055ef MilkV.img.xz +``` + +## The documents (SHA-256) + +``` +d018cdf73a2f8596ceb1b511b4f585f6568d94ff10e14230f634ba16cb39549c ./api.pdf +3041d60d586492386b25b6d4f1ea3bc1a3de393c3c363fe703d3be08746693ca ./book.pdf +6333842859042ce590626f6d0fcc676893f039988de5c72d65d1305b03887257 ./dictionary.pdf +a0945bc13acf2e61c8be9600cc9b967db6bbdfc2f748a0334ab632b7122e8b5c ./fabric.pdf +8b30dd3b8029983c9590077a99d56d481242394c48054138b0f753f8bf2f4098 ./vol1.pdf +48ceba628778f4c1c1377b09db490fa8d9d9c95e80b96c880451d75c8c4a679f ./vol2.pdf +890122fad4ca12db371a79eb0e826a2ff8afacc7e981a2fffc6044053d30531a ./vol3.pdf +``` diff --git a/logs/20261112-114545/protocol/accept-aarch64.log b/logs/20261112-114545/protocol/accept-aarch64.log new file mode 100644 index 00000000..3b3d0a76 --- /dev/null +++ b/logs/20261112-114545/protocol/accept-aarch64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:cadbbf1c5df31275e63c7c1ddfeb317f2a4338fb63ca5dab5a11c0623e185fb4 +size 372 diff --git a/logs/20261112-114545/protocol/accept-amd64.log b/logs/20261112-114545/protocol/accept-amd64.log new file mode 100644 index 00000000..3d164bc3 --- /dev/null +++ b/logs/20261112-114545/protocol/accept-amd64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:43edf98b7b6190e16e3d7bf21afa21d597172654554f52adf78482e5b927b17b +size 366 diff --git a/logs/20261112-114545/protocol/accept-riscv64.log b/logs/20261112-114545/protocol/accept-riscv64.log new file mode 100644 index 00000000..b8d85d15 --- /dev/null +++ b/logs/20261112-114545/protocol/accept-riscv64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:323be110c7307c0449b63b2646d287141eebab91d47ccaeebbf880954ecda01d +size 372 diff --git a/logs/20261112-114545/protocol/accept-stick-high.log b/logs/20261112-114545/protocol/accept-stick-high.log new file mode 100644 index 00000000..dcd88644 --- /dev/null +++ b/logs/20261112-114545/protocol/accept-stick-high.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:0a7f54dc6ccb23e27d585583336c0885e707317b87b230014664bf1de994b585 +size 426 diff --git a/logs/20261112-114545/protocol/docs.log b/logs/20261112-114545/protocol/docs.log new file mode 100644 index 00000000..466c034b --- /dev/null +++ b/logs/20261112-114545/protocol/docs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:46c0763c09814dc25cf17f5c63031eb263ad83214e6d73ed4cf42687fcf088a0 +size 3734813 diff --git a/logs/20261112-114545/protocol/images.log b/logs/20261112-114545/protocol/images.log new file mode 100644 index 00000000..393c899f --- /dev/null +++ b/logs/20261112-114545/protocol/images.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:bbbf552ef8d519c3aef3a0991ac4bf83d34b0e508212a347a168adb0a7ef42c2 +size 76739 diff --git a/logs/20261112-114545/protocol/proofs.log b/logs/20261112-114545/protocol/proofs.log new file mode 100644 index 00000000..60bb89f5 --- /dev/null +++ b/logs/20261112-114545/protocol/proofs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:c7fc60ebf948358d301811469bb7de521ab0f4234ddcb955a487ff5a3a1da708 +size 7800 diff --git a/logs/20261112-114545/protocol/test-32.log b/logs/20261112-114545/protocol/test-32.log new file mode 100644 index 00000000..4d924989 --- /dev/null +++ b/logs/20261112-114545/protocol/test-32.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:6584bbce13129926be10a41e17c3b1551f5883a2c26074d2ea2dd03fc4ab2293 +size 44271 diff --git a/logs/20261112-114622/amd64/qemu-amd64-20261112-114622.log b/logs/20261112-114622/amd64/qemu-amd64-20261112-114622.log new file mode 100644 index 00000000..2fa19c56 --- /dev/null +++ b/logs/20261112-114622/amd64/qemu-amd64-20261112-114622.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9a69182b99105d29af11d758809eae0c817a5e1ae007f38b66a4198be17c53c7 +size 6630 diff --git a/logs/20261112-114828/aarch64/qemu-aarch64-20261112-114828.log b/logs/20261112-114828/aarch64/qemu-aarch64-20261112-114828.log new file mode 100644 index 00000000..53479d51 --- /dev/null +++ b/logs/20261112-114828/aarch64/qemu-aarch64-20261112-114828.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:dabc2bdfa1e3d6e56493f4bd8a0c0d8e19524003aef644c011ca4b4a630482f3 +size 5364 diff --git a/logs/20261112-115423/riscv64/qemu-riscv64-20261112-115423.log b/logs/20261112-115423/riscv64/qemu-riscv64-20261112-115423.log new file mode 100644 index 00000000..479bc261 --- /dev/null +++ b/logs/20261112-115423/riscv64/qemu-riscv64-20261112-115423.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:815f4ef1c0b81c64c7ddf9bfaa9977865e4666f57e74c8391b8f23f5569bba82 +size 7816 diff --git a/logs/20261112-115606/amd64/qemu-amd64-20261112-115606.log b/logs/20261112-115606/amd64/qemu-amd64-20261112-115606.log new file mode 100644 index 00000000..043f5241 --- /dev/null +++ b/logs/20261112-115606/amd64/qemu-amd64-20261112-115606.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e73807afb4339ce4373d7023f3d9be7d84983d60aa47413c50b0d83e4ef5b162 +size 6701 diff --git a/logs/20261112-120245/isabelle/isabelle-20261112-120245.log b/logs/20261112-120245/isabelle/isabelle-20261112-120245.log new file mode 100644 index 00000000..60bb89f5 --- /dev/null +++ b/logs/20261112-120245/isabelle/isabelle-20261112-120245.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:c7fc60ebf948358d301811469bb7de521ab0f4234ddcb955a487ff5a3a1da708 +size 7800