diff --git a/experiments/bare_metal/runs/doe-aarch64-20261113-053251.csv b/experiments/bare_metal/runs/doe-aarch64-20261113-053251.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261113-053053.csv b/experiments/bare_metal/runs/doe-amd64-20261113-053053.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261113-053741.csv b/experiments/bare_metal/runs/doe-amd64-20261113-053741.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-riscv64-20261113-053608.csv b/experiments/bare_metal/runs/doe-riscv64-20261113-053608.csv new file mode 100644 index 00000000..e69de29b diff --git a/logs/20261113-053019/PROTOCOL.md b/logs/20261113-053019/PROTOCOL.md new file mode 100644 index 00000000..a3c9b39d --- /dev/null +++ b/logs/20261113-053019/PROTOCOL.md @@ -0,0 +1,63 @@ +# Protocol for 892e3889 + +- Commit: 892e3889f5d1e9e878e6b90776a009fc936d053c +- Tree: clean +- Result: PASS + +`scripts/nightly.sh protocol` (#135), begun 20261113-053019 UTC; `feat(v4): every word but the ten is called, so it can be checked`. + +## Stages + +| Stage | Result | Output | +|---|---|---| +| `accept-amd64` | PASS | `logs/20261113-053019/protocol/accept-amd64.log` | +| `accept-aarch64` | PASS | `logs/20261113-053019/protocol/accept-aarch64.log` | +| `accept-riscv64` | PASS | `logs/20261113-053019/protocol/accept-riscv64.log` | +| `accept-stick-high` | PASS | `logs/20261113-053019/protocol/accept-stick-high.log` | +| `test-32` | PASS | `logs/20261113-053019/protocol/test-32.log` | +| `proofs` | PASS | `logs/20261113-053019/protocol/proofs.log` | +| `images` | PASS | `logs/20261113-053019/protocol/images.log` | +| `docs` | PASS | `logs/20261113-053019/protocol/docs.log` | + +## The boots + +| Boot | Serial log | POST | System | +|---|---|---|---| +| amd64 | `logs/20261113-053053/amd64/qemu-amd64-20261113-053053.log` | `PARITY:V4_POST tests=539 pass=539 fail=0` | `PARITY:V4_SYSTEM word_count=320 dict_hash=0x47570d4ced6ce255` | +| aarch64 | `logs/20261113-053251/aarch64/qemu-aarch64-20261113-053251.log` | `PARITY:V4_POST tests=539 pass=539 fail=0` | `PARITY:V4_SYSTEM word_count=320 dict_hash=0x47570d4ced6ce255` | +| riscv64 | `logs/20261113-053608/riscv64/qemu-riscv64-20261113-053608.log` | `PARITY:V4_POST tests=539 pass=539 fail=0` | `PARITY:V4_SYSTEM word_count=320 dict_hash=0x47570d4ced6ce255` | +| stick-high | `logs/20261113-053741/amd64/qemu-amd64-20261113-053741.log` | `PARITY:V4_POST tests=539 pass=539 fail=0` | `PARITY:V4_SYSTEM word_count=320 dict_hash=0x47570d4ced6ce255` | + +dict_hash: the same on all three: `0x47570d4ced6ce255`. + +## test-32 + +39 programs, 1861045 checks, 0 failures + +## The proofs + +`logs/20261113-054342/isabelle/isabelle-20261113-054342.log` + +## The images (SHA-256) + +``` +f1af724ebd2ac40f8ac02b84ed35256848cd4cd6ad60ea23cddef86c34ceb203 StarshipOS.iso +654b31e1ff3f07ce335240f449e5057e375ea1b2acf485cadfa9c1e090e49602 pc-stick.img +46a27943b0da577fd59b1f3799eee3281691ca85ed5af6bd2ad35f76cef63b9d raspi5.img +02e2be75117020395fa5b71569fc2027d5b320dc24bb2952b9e51c49b338a5bf MilkV.img +8c7171ae866210a5d18d0d532946c0bf2379548eb9cd9ce88f418de98977a20b pc-stick.img.xz +19cf781801a7fa78e4c55180917415e53c3850907ff2536d1bef8777e212cbc2 raspi5.img.xz +8bd046c792bfc981573cb0558fd63147a65367f9bdb012c1ee2d7af288198eb9 MilkV.img.xz +``` + +## The documents (SHA-256) + +``` +b9adceb4baabf1670d189f278a84124fc08d03c2e4f995b0e9f4e4c30ef0147b ./api.pdf +f3ada136fb199a34d218d61d330b2a60e2e0901cec8346610d694c551006785c ./book.pdf +2839088c50e905e47dbd4e2e2001b7d95636959543bffd38108117b8559aa197 ./dictionary.pdf +bcd464554442f6e57a02661101dcc37bfe05e573dd84c7bf0d4b283e3d0b8030 ./fabric.pdf +152bce428ba8f8fb3ec38d252b53a9deaa4a4b41d2438635977d0a49613c52df ./vol1.pdf +59b7be49cc56f20844c13f3ed814c77f677044e9240955e16610688a151f152d ./vol2.pdf +9f5de7a53216eb71114c44bc44424f02b1f63aade2e7fee1befaa300e5e0fde2 ./vol3.pdf +``` diff --git a/logs/20261113-053019/protocol/accept-aarch64.log b/logs/20261113-053019/protocol/accept-aarch64.log new file mode 100644 index 00000000..ee9c5656 --- /dev/null +++ b/logs/20261113-053019/protocol/accept-aarch64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:a746b691ba3f9de926f085d04269e4eab8bf9489232ea19baf1f1c0af8f605cc +size 372 diff --git a/logs/20261113-053019/protocol/accept-amd64.log b/logs/20261113-053019/protocol/accept-amd64.log new file mode 100644 index 00000000..aba289f6 --- /dev/null +++ b/logs/20261113-053019/protocol/accept-amd64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:1a11055762305e39834c3c27c9cd1add0cc7032e9de9e456df1af2628e583e11 +size 366 diff --git a/logs/20261113-053019/protocol/accept-riscv64.log b/logs/20261113-053019/protocol/accept-riscv64.log new file mode 100644 index 00000000..3157df9d --- /dev/null +++ b/logs/20261113-053019/protocol/accept-riscv64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:82022a4cd816ac3222d2bca33830cbd1bb089ea1f4e5bfa3d556485d0ef923b4 +size 372 diff --git a/logs/20261113-053019/protocol/accept-stick-high.log b/logs/20261113-053019/protocol/accept-stick-high.log new file mode 100644 index 00000000..fc051113 --- /dev/null +++ b/logs/20261113-053019/protocol/accept-stick-high.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:3d5afb2951126205a77856e4c2e43a5705a460890c38cbaf4f6b96fe43d47426 +size 565 diff --git a/logs/20261113-053019/protocol/docs.log b/logs/20261113-053019/protocol/docs.log new file mode 100644 index 00000000..af606510 --- /dev/null +++ b/logs/20261113-053019/protocol/docs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:98a608a44b274a159c21a272877bb9021d3301bf4caecfa491c77e82c39d0343 +size 3760578 diff --git a/logs/20261113-053019/protocol/images.log b/logs/20261113-053019/protocol/images.log new file mode 100644 index 00000000..0ab670e8 --- /dev/null +++ b/logs/20261113-053019/protocol/images.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:d430d38d0b0ae17843f5149e485799e9ca5cba2e5eecd8a965796917256f98c4 +size 62019 diff --git a/logs/20261113-053019/protocol/proofs.log b/logs/20261113-053019/protocol/proofs.log new file mode 100644 index 00000000..564a6f41 --- /dev/null +++ b/logs/20261113-053019/protocol/proofs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:6af45a600ab5b906dd6629fed5c61bf9939c084ccbd671b334474f387cd0f776 +size 7800 diff --git a/logs/20261113-053019/protocol/test-32.log b/logs/20261113-053019/protocol/test-32.log new file mode 100644 index 00000000..9fb50fd1 --- /dev/null +++ b/logs/20261113-053019/protocol/test-32.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:89a7a5aadd05c9c626437c2faf4b5994d697ac9440df9e5395e055539b1484d6 +size 44269 diff --git a/logs/20261113-053053/amd64/qemu-amd64-20261113-053053.log b/logs/20261113-053053/amd64/qemu-amd64-20261113-053053.log new file mode 100644 index 00000000..c5e9bab3 --- /dev/null +++ b/logs/20261113-053053/amd64/qemu-amd64-20261113-053053.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:1d792b3cafa654f7a7afb308ad8b3730d2ef0c0df21df240386ee6b9534ecacb +size 6630 diff --git a/logs/20261113-053251/aarch64/qemu-aarch64-20261113-053251.log b/logs/20261113-053251/aarch64/qemu-aarch64-20261113-053251.log new file mode 100644 index 00000000..76b6ac19 --- /dev/null +++ b/logs/20261113-053251/aarch64/qemu-aarch64-20261113-053251.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:dc48367003c30a43115760e63dd5dca207ae41842d4622a49d0b0cf3c0437bfc +size 5364 diff --git a/logs/20261113-053608/riscv64/qemu-riscv64-20261113-053608.log b/logs/20261113-053608/riscv64/qemu-riscv64-20261113-053608.log new file mode 100644 index 00000000..41581586 --- /dev/null +++ b/logs/20261113-053608/riscv64/qemu-riscv64-20261113-053608.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:af5ef553ae08f5caf9694d552e51793accb33cdd43d1deac7cebdd991bb2c980 +size 7816 diff --git a/logs/20261113-053741/amd64/qemu-amd64-20261113-053741.log b/logs/20261113-053741/amd64/qemu-amd64-20261113-053741.log new file mode 100644 index 00000000..85afa3d1 --- /dev/null +++ b/logs/20261113-053741/amd64/qemu-amd64-20261113-053741.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:d970b33928ad74dbc4e66d07362f4db7f90890076f7e3d8ed3b484a780e6e54e +size 6704 diff --git a/logs/20261113-054342/isabelle/isabelle-20261113-054342.log b/logs/20261113-054342/isabelle/isabelle-20261113-054342.log new file mode 100644 index 00000000..564a6f41 --- /dev/null +++ b/logs/20261113-054342/isabelle/isabelle-20261113-054342.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:6af45a600ab5b906dd6629fed5c61bf9939c084ccbd671b334474f387cd0f776 +size 7800