diff --git a/experiments/bare_metal/runs/doe-aarch64-20261113-142651.csv b/experiments/bare_metal/runs/doe-aarch64-20261113-142651.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261113-142504.csv b/experiments/bare_metal/runs/doe-amd64-20261113-142504.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261113-143205.csv b/experiments/bare_metal/runs/doe-amd64-20261113-143205.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-riscv64-20261113-143020.csv b/experiments/bare_metal/runs/doe-riscv64-20261113-143020.csv new file mode 100644 index 00000000..e69de29b diff --git a/logs/20261113-142432/PROTOCOL.md b/logs/20261113-142432/PROTOCOL.md new file mode 100644 index 00000000..b9d27ea3 --- /dev/null +++ b/logs/20261113-142432/PROTOCOL.md @@ -0,0 +1,63 @@ +# Protocol for f10d2bc8 + +- Commit: f10d2bc835fbce81fb67cd71977321255d4c5de7 +- Tree: clean +- Result: PASS + +`scripts/nightly.sh protocol` (#135), begun 20261113-142432 UTC; `feat(kernel): Hera in the kernel's fabric and registry; centre.4th and hera.4th on her`. + +## Stages + +| Stage | Result | Output | +|---|---|---| +| `accept-amd64` | PASS | `logs/20261113-142432/protocol/accept-amd64.log` | +| `accept-aarch64` | PASS | `logs/20261113-142432/protocol/accept-aarch64.log` | +| `accept-riscv64` | PASS | `logs/20261113-142432/protocol/accept-riscv64.log` | +| `accept-stick-high` | PASS | `logs/20261113-142432/protocol/accept-stick-high.log` | +| `test-32` | PASS | `logs/20261113-142432/protocol/test-32.log` | +| `proofs` | PASS | `logs/20261113-142432/protocol/proofs.log` | +| `images` | PASS | `logs/20261113-142432/protocol/images.log` | +| `docs` | PASS | `logs/20261113-142432/protocol/docs.log` | + +## The boots + +| Boot | Serial log | POST | System | +|---|---|---|---| +| amd64 | `logs/20261113-142504/amd64/qemu-amd64-20261113-142504.log` | `PARITY:V4_POST tests=539 pass=539 fail=0` | `PARITY:V4_SYSTEM word_count=375 dict_hash=0x06531687cc075aee` | +| aarch64 | `logs/20261113-142651/aarch64/qemu-aarch64-20261113-142651.log` | `PARITY:V4_POST tests=539 pass=539 fail=0` | `PARITY:V4_SYSTEM word_count=375 dict_hash=0x06531687cc075aee` | +| riscv64 | `logs/20261113-143020/riscv64/qemu-riscv64-20261113-143020.log` | `PARITY:V4_POST tests=539 pass=539 fail=0` | `PARITY:V4_SYSTEM word_count=375 dict_hash=0x06531687cc075aee` | +| stick-high | `logs/20261113-143205/amd64/qemu-amd64-20261113-143205.log` | `PARITY:V4_POST tests=539 pass=539 fail=0` | `PARITY:V4_SYSTEM word_count=375 dict_hash=0x06531687cc075aee` | + +dict_hash: the same on all three: `0x06531687cc075aee`. + +## test-32 + +39 programs, 1861045 checks, 0 failures + +## The proofs + +`logs/20261113-143722/isabelle/isabelle-20261113-143722.log` + +## The images (SHA-256) + +``` +50d12de24d59e2dd6143c606def625e9f11904515015426335dfad6eb004d725 StarshipOS.iso +f52b33ee600fd82759593166a3c948165c35b0fcd12135e890cf730b8aae9759 pc-stick.img +f15a89790cfb9879b0140266aa1142dfb26b628706f2c7f2fc46e1b809b72816 raspi5.img +02b2d2b9c1b745ad17a23a8c48c27a7149ae42ebf984df7aa70efcc046f38663 MilkV.img +9001ebbbc299253bc4c7847e74fcde0479c118b6ab752b8b4d2747157452c6e5 pc-stick.img.xz +877b2d7d64885aed0be817fbf5b5b1dfbd169c09c166a8493d1ae008f1dab3ff raspi5.img.xz +8c902e73e91edbafa63face346f968cb0e8ac92053db0b9a6ed34b67344e6279 MilkV.img.xz +``` + +## The documents (SHA-256) + +``` +c1a40a8ba55899e56a1504165926c96ce7686c3890a9818b9ab5b0db2132b055 ./api.pdf +050d47a2a50a345ae7e9a97497d8c1fcbaf0a77e34b71951db4c34abb8b41082 ./book.pdf +1d0a84f1d00720ca017a2ede8ea9dd08bdb5452c02f5b246472ad914d448cc3a ./dictionary.pdf +273c7e3bf5fb666c8a9b4fb1d92ee3a9f84926d48505542624730ecbfeb42e74 ./fabric.pdf +a91e21f5e80e1bd8f5f7cf0140f9785731aac5b22641807338d0b4ad1de3f6e3 ./vol1.pdf +332d0e455b5cd3042d3ca6dd54415e54049235cf2a67d627cec79f2336207fd3 ./vol2.pdf +cc63dce1775505a37c64f5e45e0ba63fade8829dfc8c9f8302cb2b20e288ddf1 ./vol3.pdf +``` diff --git a/logs/20261113-142432/protocol/accept-aarch64.log b/logs/20261113-142432/protocol/accept-aarch64.log new file mode 100644 index 00000000..d4fb6d05 --- /dev/null +++ b/logs/20261113-142432/protocol/accept-aarch64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:f376e55ffcad157cdaeb314cbfe3c5b889cc69a428d14a2b8b0d09c2883f28d1 +size 539 diff --git a/logs/20261113-142432/protocol/accept-amd64.log b/logs/20261113-142432/protocol/accept-amd64.log new file mode 100644 index 00000000..a87e709b --- /dev/null +++ b/logs/20261113-142432/protocol/accept-amd64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:0d31c46e317cfb57cb9e61b3f5c0f933ef17f1c0f07303f4eab70f45f4343702 +size 533 diff --git a/logs/20261113-142432/protocol/accept-riscv64.log b/logs/20261113-142432/protocol/accept-riscv64.log new file mode 100644 index 00000000..834e9429 --- /dev/null +++ b/logs/20261113-142432/protocol/accept-riscv64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9c69134e0a0e021840afd775a63f476e03b39ecea6bf75926fe86da4cc6699aa +size 539 diff --git a/logs/20261113-142432/protocol/accept-stick-high.log b/logs/20261113-142432/protocol/accept-stick-high.log new file mode 100644 index 00000000..8587abdb --- /dev/null +++ b/logs/20261113-142432/protocol/accept-stick-high.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:76b62df7780c3f3610f0395acf18b8f6e04a36948d762569e7daf274955ea0b6 +size 732 diff --git a/logs/20261113-142432/protocol/docs.log b/logs/20261113-142432/protocol/docs.log new file mode 100644 index 00000000..92631bad --- /dev/null +++ b/logs/20261113-142432/protocol/docs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:495970e17e2a37b7d70eb6adaecca46ec8d32d82b6c43369d59a5e58358aaa39 +size 3789445 diff --git a/logs/20261113-142432/protocol/images.log b/logs/20261113-142432/protocol/images.log new file mode 100644 index 00000000..c8032f37 --- /dev/null +++ b/logs/20261113-142432/protocol/images.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:fe427cf76f584a273387fc38b2ad08b7b8800cf4a6e01b3fc866abce6d9de708 +size 62359 diff --git a/logs/20261113-142432/protocol/proofs.log b/logs/20261113-142432/protocol/proofs.log new file mode 100644 index 00000000..7b4734a4 --- /dev/null +++ b/logs/20261113-142432/protocol/proofs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:fb461bbb857f2a04d9092685a0b1933a5a6b10b1cd6557cd432ab4e24239f466 +size 7800 diff --git a/logs/20261113-142432/protocol/test-32.log b/logs/20261113-142432/protocol/test-32.log new file mode 100644 index 00000000..3261ae6f --- /dev/null +++ b/logs/20261113-142432/protocol/test-32.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:29a003cdafef970f0361e735c8227e6bd14367f5a8392122d94d1338600946ef +size 44269 diff --git a/logs/20261113-142504/amd64/qemu-amd64-20261113-142504.log b/logs/20261113-142504/amd64/qemu-amd64-20261113-142504.log new file mode 100644 index 00000000..82d3ae16 --- /dev/null +++ b/logs/20261113-142504/amd64/qemu-amd64-20261113-142504.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:fbbbf0e391a692f9c2871c77f74dfe79bfa4ee226e641bfad1528ea33c2e54d3 +size 7608 diff --git a/logs/20261113-142651/aarch64/qemu-aarch64-20261113-142651.log b/logs/20261113-142651/aarch64/qemu-aarch64-20261113-142651.log new file mode 100644 index 00000000..4ff2dec5 --- /dev/null +++ b/logs/20261113-142651/aarch64/qemu-aarch64-20261113-142651.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:6e93bcb9961c29489aa8177b989daae6dfa3af7fba26665a1c9d321d02dc06b9 +size 6345 diff --git a/logs/20261113-143020/riscv64/qemu-riscv64-20261113-143020.log b/logs/20261113-143020/riscv64/qemu-riscv64-20261113-143020.log new file mode 100644 index 00000000..d03aef46 --- /dev/null +++ b/logs/20261113-143020/riscv64/qemu-riscv64-20261113-143020.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9bca249943752ca13a4c38a24c2df213ceb95b75fdb2c61b556c2dd3f1c11550 +size 8791 diff --git a/logs/20261113-143205/amd64/qemu-amd64-20261113-143205.log b/logs/20261113-143205/amd64/qemu-amd64-20261113-143205.log new file mode 100644 index 00000000..49f5209b --- /dev/null +++ b/logs/20261113-143205/amd64/qemu-amd64-20261113-143205.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:758fabea6d7bd96224febcc9858db888b0fb865a434a1e619fe2cfa740a7915e +size 7685 diff --git a/logs/20261113-143722/isabelle/isabelle-20261113-143722.log b/logs/20261113-143722/isabelle/isabelle-20261113-143722.log new file mode 100644 index 00000000..7b4734a4 --- /dev/null +++ b/logs/20261113-143722/isabelle/isabelle-20261113-143722.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:fb461bbb857f2a04d9092685a0b1933a5a6b10b1cd6557cd432ab4e24239f466 +size 7800