diff --git a/experiments/bare_metal/runs/doe-aarch64-20261112-190044.csv b/experiments/bare_metal/runs/doe-aarch64-20261112-190044.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261112-185838.csv b/experiments/bare_metal/runs/doe-amd64-20261112-185838.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261112-190621.csv b/experiments/bare_metal/runs/doe-amd64-20261112-190621.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-riscv64-20261112-190428.csv b/experiments/bare_metal/runs/doe-riscv64-20261112-190428.csv new file mode 100644 index 00000000..e69de29b diff --git a/logs/20261112-185800/PROTOCOL.md b/logs/20261112-185800/PROTOCOL.md new file mode 100644 index 00000000..f28d7eca --- /dev/null +++ b/logs/20261112-185800/PROTOCOL.md @@ -0,0 +1,63 @@ +# Protocol for e0dcaa16 + +- Commit: e0dcaa163bdc1f7b9d390fd08f0f0a2860d4b4f5 +- Tree: clean +- Result: PASS + +`scripts/nightly.sh protocol` (#135), begun 20261112-185800 UTC; `notes: the release order, the documents last; the floor, the signing, the host tests`. + +## Stages + +| Stage | Result | Output | +|---|---|---| +| `accept-amd64` | PASS | `logs/20261112-185800/protocol/accept-amd64.log` | +| `accept-aarch64` | PASS | `logs/20261112-185800/protocol/accept-aarch64.log` | +| `accept-riscv64` | PASS | `logs/20261112-185800/protocol/accept-riscv64.log` | +| `accept-stick-high` | PASS | `logs/20261112-185800/protocol/accept-stick-high.log` | +| `test-32` | PASS | `logs/20261112-185800/protocol/test-32.log` | +| `proofs` | PASS | `logs/20261112-185800/protocol/proofs.log` | +| `images` | PASS | `logs/20261112-185800/protocol/images.log` | +| `docs` | PASS | `logs/20261112-185800/protocol/docs.log` | + +## The boots + +| Boot | Serial log | POST | System | +|---|---|---|---| +| amd64 | `logs/20261112-185838/amd64/qemu-amd64-20261112-185838.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` | +| aarch64 | `logs/20261112-190044/aarch64/qemu-aarch64-20261112-190044.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` | +| riscv64 | `logs/20261112-190428/riscv64/qemu-riscv64-20261112-190428.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` | +| stick-high | `logs/20261112-190621/amd64/qemu-amd64-20261112-190621.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-191330/isabelle/isabelle-20261112-191330.log` + +## The images (SHA-256) + +``` +934e947e193df59cd7bb1cde1542e477cd3d75f6ed72154cbfcb5dbfcafe8346 StarshipOS.iso +94ea88dcda1a023d666cc9edd004b0267851a99f524551d3d51fc790276020ce pc-stick.img +a2636c842ba0e6d2e24894ba253f688e633deb8a85166488dc241926fe442ec6 raspi5.img +a4a8b75a537b5304920f5153e7253fe433e3cd90c90e103f6dce513b07c1fd56 MilkV.img +f919e6d25f40ceafc0ba913514d4f6ca538d1a37ae305438c9a53051e969d798 pc-stick.img.xz +1913ce8a2be34fb1c43da5105ef47c3b3bbf49a53086854f25ba37faf5d9452a raspi5.img.xz +23b0589c3161dc9d094813bf32a6e914353f063462ba95261f1e3623ce13ebd2 MilkV.img.xz +``` + +## The documents (SHA-256) + +``` +a67497fc846249a188519209653a8d6a6f84b9377052af78271ff3eedd3812f1 ./api.pdf +e3253b0083596ed518988dd2225052036b963ccf241210a0b96e9f6a8ced289d ./book.pdf +5fcb8b52627f037faa75ae4f10b864a984962e5c62eb284ef982120fb73e7aa3 ./dictionary.pdf +6c54a8ba9d2629c28a767eeccaac76933d7a75f85b08fefe074b4934b7742e40 ./fabric.pdf +edf5bdf563d1b3d0e0a4e32ffa01cdffc881af36463111f0d4322f425eb23e7c ./vol1.pdf +42346edd5e60d7a89177771a30fee4b05a362a469665fced8fd0f9ab05ae4299 ./vol2.pdf +a80733317c3ad34d1a51e3445ce9499961acaa152c0e8b85a31486b61af1b6d4 ./vol3.pdf +``` diff --git a/logs/20261112-185800/protocol/accept-aarch64.log b/logs/20261112-185800/protocol/accept-aarch64.log new file mode 100644 index 00000000..21da72ba --- /dev/null +++ b/logs/20261112-185800/protocol/accept-aarch64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:6501bfa21ebccb59fb00001fae5183228e2cb5c2b40a4512ea7ac29f2c1e7c11 +size 372 diff --git a/logs/20261112-185800/protocol/accept-amd64.log b/logs/20261112-185800/protocol/accept-amd64.log new file mode 100644 index 00000000..fc5823d2 --- /dev/null +++ b/logs/20261112-185800/protocol/accept-amd64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:ac725cd7b7a1ffd2d7d901fbc89206d778a536785f973332edfc8a171a0f842a +size 366 diff --git a/logs/20261112-185800/protocol/accept-riscv64.log b/logs/20261112-185800/protocol/accept-riscv64.log new file mode 100644 index 00000000..f4e045f4 --- /dev/null +++ b/logs/20261112-185800/protocol/accept-riscv64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:07b6732843f3a711db588d34e587fc9f864664d89639c69b07ec269d1caeff30 +size 372 diff --git a/logs/20261112-185800/protocol/accept-stick-high.log b/logs/20261112-185800/protocol/accept-stick-high.log new file mode 100644 index 00000000..5509561a --- /dev/null +++ b/logs/20261112-185800/protocol/accept-stick-high.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:75146ca9b993fe601707c10f7941b8f1056f16a1a979e70e384ef7284d2176ff +size 565 diff --git a/logs/20261112-185800/protocol/docs.log b/logs/20261112-185800/protocol/docs.log new file mode 100644 index 00000000..b5ab2815 --- /dev/null +++ b/logs/20261112-185800/protocol/docs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:95bf812ebef8e953c80e7cc5fa3079b52b5e4e667e03d1d79d68834d56d66555 +size 3762080 diff --git a/logs/20261112-185800/protocol/images.log b/logs/20261112-185800/protocol/images.log new file mode 100644 index 00000000..18568e5c --- /dev/null +++ b/logs/20261112-185800/protocol/images.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:f7272a471850d0164c61ce3716a52ed8c394ea8f2988398259ec2a65ba42e9bb +size 62019 diff --git a/logs/20261112-185800/protocol/proofs.log b/logs/20261112-185800/protocol/proofs.log new file mode 100644 index 00000000..e2eef5b8 --- /dev/null +++ b/logs/20261112-185800/protocol/proofs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:871a5340f29d81d69b8cc80a873b2438fe276ac308aaa69156092ece2f8cd2c9 +size 7800 diff --git a/logs/20261112-185800/protocol/test-32.log b/logs/20261112-185800/protocol/test-32.log new file mode 100644 index 00000000..3c65cf7e --- /dev/null +++ b/logs/20261112-185800/protocol/test-32.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:3f5499d61c2d5a1309d91c01f3b659900f3c8c415050755517aa0e003d55e1bb +size 44271 diff --git a/logs/20261112-185838/amd64/qemu-amd64-20261112-185838.log b/logs/20261112-185838/amd64/qemu-amd64-20261112-185838.log new file mode 100644 index 00000000..1c0982eb --- /dev/null +++ b/logs/20261112-185838/amd64/qemu-amd64-20261112-185838.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:822ae9516312a45a3f7ebf3d601005b95438afac3ef858568b87dae7b780ea3f +size 6633 diff --git a/logs/20261112-190044/aarch64/qemu-aarch64-20261112-190044.log b/logs/20261112-190044/aarch64/qemu-aarch64-20261112-190044.log new file mode 100644 index 00000000..c9aad8d2 --- /dev/null +++ b/logs/20261112-190044/aarch64/qemu-aarch64-20261112-190044.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:cf145745b8215bb502ed96b81d41a9fe49b1b46b1af10de1d8d32a3849d62f53 +size 5364 diff --git a/logs/20261112-190428/riscv64/qemu-riscv64-20261112-190428.log b/logs/20261112-190428/riscv64/qemu-riscv64-20261112-190428.log new file mode 100644 index 00000000..90dcb64e --- /dev/null +++ b/logs/20261112-190428/riscv64/qemu-riscv64-20261112-190428.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9d3df0cf92e46277955739ac76c24fc7e322b1c5b8d0e71b194d52901365755c +size 7816 diff --git a/logs/20261112-190621/amd64/qemu-amd64-20261112-190621.log b/logs/20261112-190621/amd64/qemu-amd64-20261112-190621.log new file mode 100644 index 00000000..bc377cc3 --- /dev/null +++ b/logs/20261112-190621/amd64/qemu-amd64-20261112-190621.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:125aff5d5c35631e519acdfdb46b2ddb65e909156e81e2a897c6fb867bbb488f +size 6704 diff --git a/logs/20261112-191330/isabelle/isabelle-20261112-191330.log b/logs/20261112-191330/isabelle/isabelle-20261112-191330.log new file mode 100644 index 00000000..e2eef5b8 --- /dev/null +++ b/logs/20261112-191330/isabelle/isabelle-20261112-191330.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:871a5340f29d81d69b8cc80a873b2438fe276ac308aaa69156092ece2f8cd2c9 +size 7800