diff --git a/experiments/bare_metal/runs/doe-aarch64-20261112-001554.csv b/experiments/bare_metal/runs/doe-aarch64-20261112-001554.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261112-001342.csv b/experiments/bare_metal/runs/doe-amd64-20261112-001342.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261112-002049.csv b/experiments/bare_metal/runs/doe-amd64-20261112-002049.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-riscv64-20261112-001918.csv b/experiments/bare_metal/runs/doe-riscv64-20261112-001918.csv new file mode 100644 index 00000000..e69de29b diff --git a/logs/20261112-001304/PROTOCOL.md b/logs/20261112-001304/PROTOCOL.md new file mode 100644 index 00000000..d8748340 --- /dev/null +++ b/logs/20261112-001304/PROTOCOL.md @@ -0,0 +1,63 @@ +# Protocol for dd580e07 + +- Commit: dd580e071778f12b5d8ad140601fbd63562348d5 +- Tree: clean +- Result: PASS + +`scripts/nightly.sh protocol` (#135), begun 20261112-001304 UTC; `ci: the developer protocol -- nightly.sh protocol, PROTOCOL.md, and the gate checks it (#135)`. + +## Stages + +| Stage | Result | Output | +|---|---|---| +| `accept-amd64` | PASS | `logs/20261112-001304/protocol/accept-amd64.log` | +| `accept-aarch64` | PASS | `logs/20261112-001304/protocol/accept-aarch64.log` | +| `accept-riscv64` | PASS | `logs/20261112-001304/protocol/accept-riscv64.log` | +| `accept-stick-high` | PASS | `logs/20261112-001304/protocol/accept-stick-high.log` | +| `test-32` | PASS | `logs/20261112-001304/protocol/test-32.log` | +| `proofs` | PASS | `logs/20261112-001304/protocol/proofs.log` | +| `images` | PASS | `logs/20261112-001304/protocol/images.log` | +| `docs` | PASS | `logs/20261112-001304/protocol/docs.log` | + +## The boots + +| Boot | Serial log | POST | System | +|---|---|---|---| +| amd64 | `logs/20261112-001342/amd64/qemu-amd64-20261112-001342.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` | +| aarch64 | `logs/20261112-001554/aarch64/qemu-aarch64-20261112-001554.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` | +| riscv64 | `logs/20261112-001918/riscv64/qemu-riscv64-20261112-001918.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` | +| stick-high | `logs/20261112-002049/amd64/qemu-amd64-20261112-002049.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-002647/isabelle/isabelle-20261112-002647.log` + +## The images (SHA-256) + +``` +ac7a8ae85e2694d0cddbc1e3b9aaaf77d298ba0079f338bc63efab5739c9194c StarshipOS.iso +c02f38adee7f4a6e2d13fd37654d6ffef046acf30d48456d0e8740cb9239973a pc-stick.img +471c9670ffeac9867bf40561cd9061cf3e41742fde6c9b5a5abc743b88f95b54 raspi5.img +ce781e239fe5172c00bfc6856268b9c15c60fe88b1b7d16947d869dde30ad272 MilkV.img +92d1ea21dd9e3be2c81d715dd2add1ef6929a48d1b6490caa3fea4c41a374413 pc-stick.img.xz +a5436a678cc037622d268dff33eb97e6df175f28c08b9234bc81b28901b2ab3a raspi5.img.xz +a544b1f9d54e75c00f4bb13828c1ae12437f7fdea00137834e531ef35a7c1eaa MilkV.img.xz +``` + +## The documents (SHA-256) + +``` +3afe13dc4ad58b7587c8d18b3b94f8cf549fc3ebf01d08146377f00d4552c30a ./api.pdf +5e08efd3502a2f777c9de3d6689c979b76dccbf158e151bd74d885cc8ae2d2ec ./book.pdf +adcf6ca40460f6776ebea50a229538d5736b0dac3c3c28dcb789b23d9d07cffe ./dictionary.pdf +24a4c51aadbd8698612d0619f8d51d68281cd8ab981698bceff0c49ee2798b44 ./fabric.pdf +6ab429001bf16e01ba66d5c4419532e8f2e48c40bb0c967836c3ed450085531a ./vol1.pdf +5bbb1924a95d88031c51371a2c9feab200fb46bbfb1865440b4fc6ee25cf55a8 ./vol2.pdf +7eff40d968a38c08bfae192299061080958d42a874f55ef3d993576ec4b76cb5 ./vol3.pdf +``` diff --git a/logs/20261112-001304/protocol/accept-aarch64.log b/logs/20261112-001304/protocol/accept-aarch64.log new file mode 100644 index 00000000..a873d779 --- /dev/null +++ b/logs/20261112-001304/protocol/accept-aarch64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:1f525968ae76320377dba5ee924a92cf33dfa675af3666828ac50a6b5a91a753 +size 372 diff --git a/logs/20261112-001304/protocol/accept-amd64.log b/logs/20261112-001304/protocol/accept-amd64.log new file mode 100644 index 00000000..1bf00847 --- /dev/null +++ b/logs/20261112-001304/protocol/accept-amd64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:5a8e5f721ebd9ba1f5be9023377c8e376b74ab3b37dca43a421ed565fe692c1c +size 366 diff --git a/logs/20261112-001304/protocol/accept-riscv64.log b/logs/20261112-001304/protocol/accept-riscv64.log new file mode 100644 index 00000000..04e89c3a --- /dev/null +++ b/logs/20261112-001304/protocol/accept-riscv64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:8292c1cea1ebd56c8eae0b959b2e40ac266fdb8ecedaedeaafe7476b644affdc +size 372 diff --git a/logs/20261112-001304/protocol/accept-stick-high.log b/logs/20261112-001304/protocol/accept-stick-high.log new file mode 100644 index 00000000..981357e4 --- /dev/null +++ b/logs/20261112-001304/protocol/accept-stick-high.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9477c52449d8e83c4361fa6ebb6a7ae4d999d20effd83d0b8c3cbab0704a744c +size 426 diff --git a/logs/20261112-001304/protocol/docs.log b/logs/20261112-001304/protocol/docs.log new file mode 100644 index 00000000..08678c93 --- /dev/null +++ b/logs/20261112-001304/protocol/docs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:3745a02da11bc9e382d20022e5a9d34bb4e0a40ec847fd9a571a4a0a8cca9e98 +size 4250848 diff --git a/logs/20261112-001304/protocol/images.log b/logs/20261112-001304/protocol/images.log new file mode 100644 index 00000000..ff75fb3b --- /dev/null +++ b/logs/20261112-001304/protocol/images.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:5ec151b2ecb51c91f4af2e2a3110276f9a09f1363fccedbe8cc162267bf3996f +size 76739 diff --git a/logs/20261112-001304/protocol/proofs.log b/logs/20261112-001304/protocol/proofs.log new file mode 100644 index 00000000..712795cb --- /dev/null +++ b/logs/20261112-001304/protocol/proofs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9811221761536983388c348ae0b018181760656719207bbabd31f393361ed80a +size 7782 diff --git a/logs/20261112-001304/protocol/test-32.log b/logs/20261112-001304/protocol/test-32.log new file mode 100644 index 00000000..2484e85f --- /dev/null +++ b/logs/20261112-001304/protocol/test-32.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:4644923eb9379b0308c68dc171619891c01650cf4189dd10d165c7942f8249c0 +size 44271 diff --git a/logs/20261112-001342/amd64/qemu-amd64-20261112-001342.log b/logs/20261112-001342/amd64/qemu-amd64-20261112-001342.log new file mode 100644 index 00000000..8479694e --- /dev/null +++ b/logs/20261112-001342/amd64/qemu-amd64-20261112-001342.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9340d386560dd1f2a5b80b42d087adcc4fc5641b0f62572c39d7637b3b266919 +size 6633 diff --git a/logs/20261112-001554/aarch64/qemu-aarch64-20261112-001554.log b/logs/20261112-001554/aarch64/qemu-aarch64-20261112-001554.log new file mode 100644 index 00000000..eea6f835 --- /dev/null +++ b/logs/20261112-001554/aarch64/qemu-aarch64-20261112-001554.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:f4dbba1d420b07e2b62ead8c6d0f7f764838a1f55f760480d7eec548c8b96e9b +size 5364 diff --git a/logs/20261112-001918/riscv64/qemu-riscv64-20261112-001918.log b/logs/20261112-001918/riscv64/qemu-riscv64-20261112-001918.log new file mode 100644 index 00000000..4535b4a7 --- /dev/null +++ b/logs/20261112-001918/riscv64/qemu-riscv64-20261112-001918.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:4d56c4426a66d2827389182d172e3d240a9b52508479f6c5d588b1223aa23748 +size 7816 diff --git a/logs/20261112-002049/amd64/qemu-amd64-20261112-002049.log b/logs/20261112-002049/amd64/qemu-amd64-20261112-002049.log new file mode 100644 index 00000000..c68c3b5a --- /dev/null +++ b/logs/20261112-002049/amd64/qemu-amd64-20261112-002049.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:5de24a74b55793e4a76ad686a6ea49b4cf427ff2536b4888ff96063449c1ae38 +size 6701 diff --git a/logs/20261112-002647/isabelle/isabelle-20261112-002647.log b/logs/20261112-002647/isabelle/isabelle-20261112-002647.log new file mode 100644 index 00000000..712795cb --- /dev/null +++ b/logs/20261112-002647/isabelle/isabelle-20261112-002647.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9811221761536983388c348ae0b018181760656719207bbabd31f393361ed80a +size 7782