diff --git a/experiments/bare_metal/runs/doe-aarch64-20261113-032214.csv b/experiments/bare_metal/runs/doe-aarch64-20261113-032214.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261113-032011.csv b/experiments/bare_metal/runs/doe-amd64-20261113-032011.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261113-032718.csv b/experiments/bare_metal/runs/doe-amd64-20261113-032718.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-riscv64-20261113-032542.csv b/experiments/bare_metal/runs/doe-riscv64-20261113-032542.csv new file mode 100644 index 00000000..e69de29b diff --git a/logs/20261113-031936/PROTOCOL.md b/logs/20261113-031936/PROTOCOL.md new file mode 100644 index 00000000..c0a23b87 --- /dev/null +++ b/logs/20261113-031936/PROTOCOL.md @@ -0,0 +1,63 @@ +# Protocol for be456d44 + +- Commit: be456d44e9078ab4b015b9d61020adbf54c7b296 +- Tree: clean +- Result: PASS + +`scripts/nightly.sh protocol` (#135), begun 20261113-031936 UTC; `fix(v4): #190 POST regenerates the same; #16 sanitizers and hosted-check nightly`. + +## Stages + +| Stage | Result | Output | +|---|---|---| +| `accept-amd64` | PASS | `logs/20261113-031936/protocol/accept-amd64.log` | +| `accept-aarch64` | PASS | `logs/20261113-031936/protocol/accept-aarch64.log` | +| `accept-riscv64` | PASS | `logs/20261113-031936/protocol/accept-riscv64.log` | +| `accept-stick-high` | PASS | `logs/20261113-031936/protocol/accept-stick-high.log` | +| `test-32` | PASS | `logs/20261113-031936/protocol/test-32.log` | +| `proofs` | PASS | `logs/20261113-031936/protocol/proofs.log` | +| `images` | PASS | `logs/20261113-031936/protocol/images.log` | +| `docs` | PASS | `logs/20261113-031936/protocol/docs.log` | + +## The boots + +| Boot | Serial log | POST | System | +|---|---|---|---| +| amd64 | `logs/20261113-032011/amd64/qemu-amd64-20261113-032011.log` | `PARITY:V4_POST tests=539 pass=539 fail=0` | `PARITY:V4_SYSTEM word_count=320 dict_hash=0xcac4cf58ed493172` | +| aarch64 | `logs/20261113-032214/aarch64/qemu-aarch64-20261113-032214.log` | `PARITY:V4_POST tests=539 pass=539 fail=0` | `PARITY:V4_SYSTEM word_count=320 dict_hash=0xcac4cf58ed493172` | +| riscv64 | `logs/20261113-032542/riscv64/qemu-riscv64-20261113-032542.log` | `PARITY:V4_POST tests=539 pass=539 fail=0` | `PARITY:V4_SYSTEM word_count=320 dict_hash=0xcac4cf58ed493172` | +| stick-high | `logs/20261113-032718/amd64/qemu-amd64-20261113-032718.log` | `PARITY:V4_POST tests=539 pass=539 fail=0` | `PARITY:V4_SYSTEM word_count=320 dict_hash=0xcac4cf58ed493172` | + +dict_hash: the same on all three: `0xcac4cf58ed493172`. + +## test-32 + +39 programs, 1861036 checks, 0 failures + +## The proofs + +`logs/20261113-033321/isabelle/isabelle-20261113-033321.log` + +## The images (SHA-256) + +``` +37a50e4b12af64894829605d8f56ba0e2c134157f6e14b3e9a3262c30de5bb6e StarshipOS.iso +5e8028bd0131d20a475dd5566f3c31d6982fb8613a34ce9ccc565d835e285172 pc-stick.img +250eee1bc9b497e616581bdd12c85fa6cc981475321ce2764f200d8dd391feb2 raspi5.img +a3cb6d2676a0d261aa4b42f3b9a087310b379251deeee179e77d5cc24b2ba3d0 MilkV.img +ee752c06d1729a3249facb4d5461f58e6fa020d9444ce2b20bb2d75ae48eeeba pc-stick.img.xz +599c2bb8322cbe81041896b0e04b09011027229d1f65e645aaeb2b1bea546152 raspi5.img.xz +72c735aec72e8eb0095297a5b3e0c9121f39996648c3f2433285cb619efaa12c MilkV.img.xz +``` + +## The documents (SHA-256) + +``` +297f4898570cf296682de1eb1274f7e4d1dc50b7973f0f78e08cc01c42b3eae5 ./api.pdf +4cba4d7592bc6d8c43c88edaca3c074f23ca0922e8544230d442a50e3a91c7e8 ./book.pdf +906ebede32171c0a2a284116a0f5cef1c151daa23504004b6e9482eac9d41e95 ./dictionary.pdf +327ff58012623994bc5b8851bb445b606bf1d916d2cbb88581e1dd9580aa8102 ./fabric.pdf +802ef6585eecafdc38931c11c17fffaa4b3bf6c8e166d01948080a8e44a326e7 ./vol1.pdf +9db14113c9b7265035d780ae6b6d7c311364f7bb235b4257d2c062a712ef65d9 ./vol2.pdf +7bcff53144a7e90ba7fa87a8e6ceec6fc409075c08f1a26b2d4ec34b70028226 ./vol3.pdf +``` diff --git a/logs/20261113-031936/protocol/accept-aarch64.log b/logs/20261113-031936/protocol/accept-aarch64.log new file mode 100644 index 00000000..e4758f3c --- /dev/null +++ b/logs/20261113-031936/protocol/accept-aarch64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:48eec9fb44dd42774b0ad76a8d2aed43030f093e0d24e24acb521164bb57e721 +size 372 diff --git a/logs/20261113-031936/protocol/accept-amd64.log b/logs/20261113-031936/protocol/accept-amd64.log new file mode 100644 index 00000000..f3def752 --- /dev/null +++ b/logs/20261113-031936/protocol/accept-amd64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:fef00733a2310b823851574bcbeaf206a169db7ea772b906cd36f74b1a0f767b +size 366 diff --git a/logs/20261113-031936/protocol/accept-riscv64.log b/logs/20261113-031936/protocol/accept-riscv64.log new file mode 100644 index 00000000..625f2b71 --- /dev/null +++ b/logs/20261113-031936/protocol/accept-riscv64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:cd6c92ef4dcb711e1edba0f4f83aaf1f799aafaa8da165826d2b98308bad393d +size 372 diff --git a/logs/20261113-031936/protocol/accept-stick-high.log b/logs/20261113-031936/protocol/accept-stick-high.log new file mode 100644 index 00000000..7020e6a7 --- /dev/null +++ b/logs/20261113-031936/protocol/accept-stick-high.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:b7a319487435e2a7407f557c25a79748744bd56320295783746d31c50364c4fa +size 565 diff --git a/logs/20261113-031936/protocol/docs.log b/logs/20261113-031936/protocol/docs.log new file mode 100644 index 00000000..9d1b9482 --- /dev/null +++ b/logs/20261113-031936/protocol/docs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:42fe09db48aa83d2cc46dc36a0d923234cd075cac7791f6bab33fde66c474bf1 +size 3760438 diff --git a/logs/20261113-031936/protocol/images.log b/logs/20261113-031936/protocol/images.log new file mode 100644 index 00000000..6940dc7e --- /dev/null +++ b/logs/20261113-031936/protocol/images.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:b55cf54b57c688ca76ab6b1e112295928b1414a52cb1b28b184cbe5291a08152 +size 62019 diff --git a/logs/20261113-031936/protocol/proofs.log b/logs/20261113-031936/protocol/proofs.log new file mode 100644 index 00000000..0854b1f4 --- /dev/null +++ b/logs/20261113-031936/protocol/proofs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:dcdfd92004e82d4bf86c1dbfe5684d7ba0f2c33f1efbb240e321222e153debe3 +size 7800 diff --git a/logs/20261113-031936/protocol/test-32.log b/logs/20261113-031936/protocol/test-32.log new file mode 100644 index 00000000..d0ac39b1 --- /dev/null +++ b/logs/20261113-031936/protocol/test-32.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:495150439e634f956bb278d475e0ce457f921f9ac0ae50e85c8e3838740fdfde +size 44269 diff --git a/logs/20261113-032011/amd64/qemu-amd64-20261113-032011.log b/logs/20261113-032011/amd64/qemu-amd64-20261113-032011.log new file mode 100644 index 00000000..5300da3f --- /dev/null +++ b/logs/20261113-032011/amd64/qemu-amd64-20261113-032011.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:ba79aa79f7b787a9f7ecfe03558a498b0bc98ac3a786b9a31222e789b8ff7bdd +size 6633 diff --git a/logs/20261113-032214/aarch64/qemu-aarch64-20261113-032214.log b/logs/20261113-032214/aarch64/qemu-aarch64-20261113-032214.log new file mode 100644 index 00000000..1e9bcb3c --- /dev/null +++ b/logs/20261113-032214/aarch64/qemu-aarch64-20261113-032214.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:51f7651bad7480a9127d8b1f88049bf87ebfcb4ccfd30de4efe7fc1d6dc636e4 +size 5364 diff --git a/logs/20261113-032542/riscv64/qemu-riscv64-20261113-032542.log b/logs/20261113-032542/riscv64/qemu-riscv64-20261113-032542.log new file mode 100644 index 00000000..7ec24eda --- /dev/null +++ b/logs/20261113-032542/riscv64/qemu-riscv64-20261113-032542.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:fc44b49208cbc51f40b4725118d3549e1c6c33fa69d51d4b8277dbf7f5751a4d +size 7816 diff --git a/logs/20261113-032718/amd64/qemu-amd64-20261113-032718.log b/logs/20261113-032718/amd64/qemu-amd64-20261113-032718.log new file mode 100644 index 00000000..f253674a --- /dev/null +++ b/logs/20261113-032718/amd64/qemu-amd64-20261113-032718.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:6e94b73b4215f83583304e702c25b2d98608f366cf8f1cb1be2b6bd1399e03df +size 6704 diff --git a/logs/20261113-033321/isabelle/isabelle-20261113-033321.log b/logs/20261113-033321/isabelle/isabelle-20261113-033321.log new file mode 100644 index 00000000..0854b1f4 --- /dev/null +++ b/logs/20261113-033321/isabelle/isabelle-20261113-033321.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:dcdfd92004e82d4bf86c1dbfe5684d7ba0f2c33f1efbb240e321222e153debe3 +size 7800