diff --git a/experiments/bare_metal/runs/doe-aarch64-20261112-164351.csv b/experiments/bare_metal/runs/doe-aarch64-20261112-164351.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261112-164143.csv b/experiments/bare_metal/runs/doe-amd64-20261112-164143.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261112-164856.csv b/experiments/bare_metal/runs/doe-amd64-20261112-164856.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-riscv64-20261112-164719.csv b/experiments/bare_metal/runs/doe-riscv64-20261112-164719.csv new file mode 100644 index 00000000..e69de29b diff --git a/logs/20261112-164108/PROTOCOL.md b/logs/20261112-164108/PROTOCOL.md new file mode 100644 index 00000000..255ac766 --- /dev/null +++ b/logs/20261112-164108/PROTOCOL.md @@ -0,0 +1,63 @@ +# Protocol for 9700a7b4 + +- Commit: 9700a7b404c9181e05604c285345b7949a68f42c +- Tree: clean +- Result: PASS + +`scripts/nightly.sh protocol` (#135), begun 20261112-164108 UTC; `fix: gpt_read checks every entry, and says when there are more than max (#180)`. + +## Stages + +| Stage | Result | Output | +|---|---|---| +| `accept-amd64` | PASS | `logs/20261112-164108/protocol/accept-amd64.log` | +| `accept-aarch64` | PASS | `logs/20261112-164108/protocol/accept-aarch64.log` | +| `accept-riscv64` | PASS | `logs/20261112-164108/protocol/accept-riscv64.log` | +| `accept-stick-high` | PASS | `logs/20261112-164108/protocol/accept-stick-high.log` | +| `test-32` | PASS | `logs/20261112-164108/protocol/test-32.log` | +| `proofs` | PASS | `logs/20261112-164108/protocol/proofs.log` | +| `images` | PASS | `logs/20261112-164108/protocol/images.log` | +| `docs` | PASS | `logs/20261112-164108/protocol/docs.log` | + +## The boots + +| Boot | Serial log | POST | System | +|---|---|---|---| +| amd64 | `logs/20261112-164143/amd64/qemu-amd64-20261112-164143.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` | +| aarch64 | `logs/20261112-164351/aarch64/qemu-aarch64-20261112-164351.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` | +| riscv64 | `logs/20261112-164719/riscv64/qemu-riscv64-20261112-164719.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` | +| stick-high | `logs/20261112-164856/amd64/qemu-amd64-20261112-164856.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-165601/isabelle/isabelle-20261112-165601.log` + +## The images (SHA-256) + +``` +ceb4ea3754cb6c6834dc4add0c96c4fbeaa875d627800616d6c7b7fcd08c525e StarshipOS.iso +f4650834afb841ee4d1aa21fa801c114b137e2a7fdb1fdd7cd9f3b7f0677837e pc-stick.img +0281db2f4b85e3cd89da0d795e1ef69968f7e31fd4664c46a3e3286e6cb95585 raspi5.img +c55598c1d61f2d71982f733a862fbf9f7db0d8e4fde9799fcc99fb497c9bb1af MilkV.img +d6fdefe5c4ac00e6036cbb273eb67d68b61f7912abe0645eb8a4915d1e232f39 pc-stick.img.xz +b151d600f2d20234b2db0250f7633f835f06683f8872823a8d54b3769fdb2835 raspi5.img.xz +2e2353f982b4890fda8a21a3fb6c3e5536e73048f5d4a515ff1de9d724807994 MilkV.img.xz +``` + +## The documents (SHA-256) + +``` +2f3fb0eff82ed8b7df9459b19fe1b66b32d77e0ce816526fac7348596d458772 ./api.pdf +0d9eddff64270f16bb4d23523dc1c5833abcbff448740581599a354c03f81c9a ./book.pdf +38982c4daa27947e77554e72ed4f2ca4723187e714ca1664de3ce126f09bf4b5 ./dictionary.pdf +7572d265db197e395e03abcf3b50777089def9e95be6b5c4f8e6d3cc7062c428 ./fabric.pdf +54a65877633ae949369e61c68d726ff85e8917418fe915588e1b08ff56117b8e ./vol1.pdf +ad03124cdee8f6e5ae789898cfbfe3d9f001d1bca3b3882228d35db92041aa63 ./vol2.pdf +baeb78264ad277a06e47c5f7949c0017fae93ec14dd49118003e421ed8e6e91b ./vol3.pdf +``` diff --git a/logs/20261112-164108/protocol/accept-aarch64.log b/logs/20261112-164108/protocol/accept-aarch64.log new file mode 100644 index 00000000..58675df2 --- /dev/null +++ b/logs/20261112-164108/protocol/accept-aarch64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:34f41a6ee0be9821d600c9b3f3f68e4275bff93670b1ff908a3342e5ba8f8e2a +size 372 diff --git a/logs/20261112-164108/protocol/accept-amd64.log b/logs/20261112-164108/protocol/accept-amd64.log new file mode 100644 index 00000000..ece44b38 --- /dev/null +++ b/logs/20261112-164108/protocol/accept-amd64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:7e00d3ddb63cccd9d830965ff251316fac27fdc5784efc64986cbbef49c287bb +size 366 diff --git a/logs/20261112-164108/protocol/accept-riscv64.log b/logs/20261112-164108/protocol/accept-riscv64.log new file mode 100644 index 00000000..21face12 --- /dev/null +++ b/logs/20261112-164108/protocol/accept-riscv64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:6232bb434e2958b99f610c6af9eb0d34d6626955dbc924bb25689c8be004b888 +size 372 diff --git a/logs/20261112-164108/protocol/accept-stick-high.log b/logs/20261112-164108/protocol/accept-stick-high.log new file mode 100644 index 00000000..9d114fa2 --- /dev/null +++ b/logs/20261112-164108/protocol/accept-stick-high.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:b38fd02a0c3bf544047bc932dc3909f04172a59ba650f81127c743b9c0294022 +size 486 diff --git a/logs/20261112-164108/protocol/docs.log b/logs/20261112-164108/protocol/docs.log new file mode 100644 index 00000000..35b09cc8 --- /dev/null +++ b/logs/20261112-164108/protocol/docs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e3131c18a15703f93c141245be79999469480c59e618becc790ff468b12a6fb7 +size 3739462 diff --git a/logs/20261112-164108/protocol/images.log b/logs/20261112-164108/protocol/images.log new file mode 100644 index 00000000..2da6c382 --- /dev/null +++ b/logs/20261112-164108/protocol/images.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e3552b274df66715d6b1acfbde121db8b69678533d925c9b02b3702f674580e2 +size 61424 diff --git a/logs/20261112-164108/protocol/proofs.log b/logs/20261112-164108/protocol/proofs.log new file mode 100644 index 00000000..c7130efd --- /dev/null +++ b/logs/20261112-164108/protocol/proofs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e80201c940ed0a3b3c866f7fde6de4b8f9a9d8c2a6286ecf94703f941b72c036 +size 7800 diff --git a/logs/20261112-164108/protocol/test-32.log b/logs/20261112-164108/protocol/test-32.log new file mode 100644 index 00000000..25e9cddf --- /dev/null +++ b/logs/20261112-164108/protocol/test-32.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:a2c5181405e74dfbba2183d92cfdd6e715dcde7cd9cfef6b8d371450a10efe51 +size 65313 diff --git a/logs/20261112-164143/amd64/qemu-amd64-20261112-164143.log b/logs/20261112-164143/amd64/qemu-amd64-20261112-164143.log new file mode 100644 index 00000000..86cd7f97 --- /dev/null +++ b/logs/20261112-164143/amd64/qemu-amd64-20261112-164143.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:dcc3075aa2628b6250354df1913bd6bc51860a8daa2746809233861cca64a9fe +size 6633 diff --git a/logs/20261112-164351/aarch64/qemu-aarch64-20261112-164351.log b/logs/20261112-164351/aarch64/qemu-aarch64-20261112-164351.log new file mode 100644 index 00000000..1191e7d6 --- /dev/null +++ b/logs/20261112-164351/aarch64/qemu-aarch64-20261112-164351.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:b0613cb99719c7f113aeddec875fe00ee63013fd9a8fd0ed83f6f506aa366fe9 +size 5364 diff --git a/logs/20261112-164719/riscv64/qemu-riscv64-20261112-164719.log b/logs/20261112-164719/riscv64/qemu-riscv64-20261112-164719.log new file mode 100644 index 00000000..2eb7a897 --- /dev/null +++ b/logs/20261112-164719/riscv64/qemu-riscv64-20261112-164719.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9a133ba1c0084412fe068515724037953d6ca22e13ba467ec3f4f1ce9b91fc16 +size 7816 diff --git a/logs/20261112-164856/amd64/qemu-amd64-20261112-164856.log b/logs/20261112-164856/amd64/qemu-amd64-20261112-164856.log new file mode 100644 index 00000000..32868f1c --- /dev/null +++ b/logs/20261112-164856/amd64/qemu-amd64-20261112-164856.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:561a5187fd29fd0ae4307f8aa371b20b3781c0f9a26246fd4453dc7b6fd1cf22 +size 6701 diff --git a/logs/20261112-165601/isabelle/isabelle-20261112-165601.log b/logs/20261112-165601/isabelle/isabelle-20261112-165601.log new file mode 100644 index 00000000..c7130efd --- /dev/null +++ b/logs/20261112-165601/isabelle/isabelle-20261112-165601.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e80201c940ed0a3b3c866f7fde6de4b8f9a9d8c2a6286ecf94703f941b72c036 +size 7800