diff --git a/experiments/bare_metal/runs/doe-aarch64-20261113-125330.csv b/experiments/bare_metal/runs/doe-aarch64-20261113-125330.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261113-125039.csv b/experiments/bare_metal/runs/doe-amd64-20261113-125039.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261113-125805.csv b/experiments/bare_metal/runs/doe-amd64-20261113-125805.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-riscv64-20261113-125636.csv b/experiments/bare_metal/runs/doe-riscv64-20261113-125636.csv new file mode 100644 index 00000000..e69de29b diff --git a/logs/20261113-125011/PROTOCOL.md b/logs/20261113-125011/PROTOCOL.md new file mode 100644 index 00000000..ba4d0019 --- /dev/null +++ b/logs/20261113-125011/PROTOCOL.md @@ -0,0 +1,63 @@ +# Protocol for b1cac339 + +- Commit: b1cac339c1996a4f5f947f97cfc31f3e10b2d60f +- Tree: clean +- Result: PASS + +`scripts/nightly.sh protocol` (#135), begun 20261113-125011 UTC; `feat(kernel): v4 boots in the kernel's boot -- the Stadium, its checks, the opcode patrons`. + +## Stages + +| Stage | Result | Output | +|---|---|---| +| `accept-amd64` | PASS | `logs/20261113-125011/protocol/accept-amd64.log` | +| `accept-aarch64` | PASS | `logs/20261113-125011/protocol/accept-aarch64.log` | +| `accept-riscv64` | PASS | `logs/20261113-125011/protocol/accept-riscv64.log` | +| `accept-stick-high` | PASS | `logs/20261113-125011/protocol/accept-stick-high.log` | +| `test-32` | PASS | `logs/20261113-125011/protocol/test-32.log` | +| `proofs` | PASS | `logs/20261113-125011/protocol/proofs.log` | +| `images` | PASS | `logs/20261113-125011/protocol/images.log` | +| `docs` | PASS | `logs/20261113-125011/protocol/docs.log` | + +## The boots + +| Boot | Serial log | POST | System | +|---|---|---|---| +| amd64 | `logs/20261113-125039/amd64/qemu-amd64-20261113-125039.log` | `PARITY:V4_POST tests=539 pass=539 fail=0` | `PARITY:V4_SYSTEM word_count=320 dict_hash=0x47570d4ced6ce255` | +| aarch64 | `logs/20261113-125330/aarch64/qemu-aarch64-20261113-125330.log` | `PARITY:V4_POST tests=539 pass=539 fail=0` | `PARITY:V4_SYSTEM word_count=320 dict_hash=0x47570d4ced6ce255` | +| riscv64 | `logs/20261113-125636/riscv64/qemu-riscv64-20261113-125636.log` | `PARITY:V4_POST tests=539 pass=539 fail=0` | `PARITY:V4_SYSTEM word_count=320 dict_hash=0x47570d4ced6ce255` | +| stick-high | `logs/20261113-125805/amd64/qemu-amd64-20261113-125805.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-130303/isabelle/isabelle-20261113-130303.log` + +## The images (SHA-256) + +``` +b63f331c0ce626600d93b84f5ebfd69c77468786d09e0ce80ee0e454815a24d3 StarshipOS.iso +6713908bdd335df1cd349ca1f727dc4604cf7448a8a444c34e0930d7a7e5ff06 pc-stick.img +df109f79c2a9a58ea4c557af4ac623de5ce09512b4b4d61d45fae682ca1c217a raspi5.img +f79e6042990e2002d9a7ebeb7dddadf79b2b312ae44c3cc3f05172f4ef350c6d MilkV.img +c76dc910ae246276f500e4ab306c83cd52aacb1ebfd6d331c6d33f544ea7eb0e pc-stick.img.xz +8c4f43d1c5d076f7e19fa375e5180aafd64db2470eae9f1044a7e41b4bfd4a23 raspi5.img.xz +4dcba22b33780afbe61c85bfb2565bbcf05976e60b44fdd54557626d76137555 MilkV.img.xz +``` + +## The documents (SHA-256) + +``` +58a3b5d4940ca6fb31c434f66ad177f1f9729d02fe61850cfc9af60e488c6996 ./api.pdf +bd1741464490f2bc089d8f0fe8a5d70f4ced1b18e07995d472bee40f7c007b96 ./book.pdf +332cf06859ebc03aff8e69469f9fa7e1132c51771659a2073a421a2053b26a6c ./dictionary.pdf +33418feffd64dc9814f5a8cd2f7376d58801bdb157d882e56fc750eab4cfca1d ./fabric.pdf +889b3b6414df5e2271f1b15d1a087be770f7af395c4ea2360e1b0d86814d461c ./vol1.pdf +2e82389bff5bdadc25fb3971e9f4e2cd2cdff42c62ee2ecea57cf9aaf51db304 ./vol2.pdf +ec87d9b52661bf35dcdc16653fc5a10ed9fd62638f8c0863669d85ed954fd1b1 ./vol3.pdf +``` diff --git a/logs/20261113-125011/protocol/accept-aarch64.log b/logs/20261113-125011/protocol/accept-aarch64.log new file mode 100644 index 00000000..53330bff --- /dev/null +++ b/logs/20261113-125011/protocol/accept-aarch64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:f9aa15937fdc1f90605d3e42932139037806e2c6e25f39e60519717feae4faf9 +size 482 diff --git a/logs/20261113-125011/protocol/accept-amd64.log b/logs/20261113-125011/protocol/accept-amd64.log new file mode 100644 index 00000000..c80a34d3 --- /dev/null +++ b/logs/20261113-125011/protocol/accept-amd64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:1e9c78dbaceb44cb8c9fbe6b1bcd6523e9ffd731dfb6f7a7fd99cf412ec17e42 +size 476 diff --git a/logs/20261113-125011/protocol/accept-riscv64.log b/logs/20261113-125011/protocol/accept-riscv64.log new file mode 100644 index 00000000..248e2a5b --- /dev/null +++ b/logs/20261113-125011/protocol/accept-riscv64.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:3b5f4bd364a183c65dd221dec7d76c6d09689cf5dcd3bf1b00eac8b931c22d43 +size 482 diff --git a/logs/20261113-125011/protocol/accept-stick-high.log b/logs/20261113-125011/protocol/accept-stick-high.log new file mode 100644 index 00000000..5ea5615f --- /dev/null +++ b/logs/20261113-125011/protocol/accept-stick-high.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:84aab5962b0ba8c9e867f7b188eb9c59d65b1673837fcfff8a934fc6261bb1e3 +size 675 diff --git a/logs/20261113-125011/protocol/docs.log b/logs/20261113-125011/protocol/docs.log new file mode 100644 index 00000000..48d1208c --- /dev/null +++ b/logs/20261113-125011/protocol/docs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:188e8e68c25aefb1fb567ab81eb35d909570d5a3472a18288cd6b31552377b48 +size 3866993 diff --git a/logs/20261113-125011/protocol/images.log b/logs/20261113-125011/protocol/images.log new file mode 100644 index 00000000..711c7250 --- /dev/null +++ b/logs/20261113-125011/protocol/images.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:cd5496f6826095d1247e920a811aa5de0db879bf2dccde3b0b03beace29f2f09 +size 62219 diff --git a/logs/20261113-125011/protocol/proofs.log b/logs/20261113-125011/protocol/proofs.log new file mode 100644 index 00000000..55e417f5 --- /dev/null +++ b/logs/20261113-125011/protocol/proofs.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9fdfe78a1e96fcf4973a29207aa65349c68a10766438256def792b1259ea66db +size 7799 diff --git a/logs/20261113-125011/protocol/test-32.log b/logs/20261113-125011/protocol/test-32.log new file mode 100644 index 00000000..535dbda7 --- /dev/null +++ b/logs/20261113-125011/protocol/test-32.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:51604c6451b73f99fadc173e4cacebbf0e3acd50a883a03fe5d4c198909d52f7 +size 44269 diff --git a/logs/20261113-125039/amd64/qemu-amd64-20261113-125039.log b/logs/20261113-125039/amd64/qemu-amd64-20261113-125039.log new file mode 100644 index 00000000..bb4e2da0 --- /dev/null +++ b/logs/20261113-125039/amd64/qemu-amd64-20261113-125039.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:ab9e060c00ae324d11855eb63f6c5efb1f003c20bb2a5645b27d2b55b51b18e0 +size 7123 diff --git a/logs/20261113-125330/aarch64/qemu-aarch64-20261113-125330.log b/logs/20261113-125330/aarch64/qemu-aarch64-20261113-125330.log new file mode 100644 index 00000000..ee3845d7 --- /dev/null +++ b/logs/20261113-125330/aarch64/qemu-aarch64-20261113-125330.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:3a79227e96eacb712da119b286f58cbb0a66366aa78f656c27e14b550ffde74d +size 5863 diff --git a/logs/20261113-125636/riscv64/qemu-riscv64-20261113-125636.log b/logs/20261113-125636/riscv64/qemu-riscv64-20261113-125636.log new file mode 100644 index 00000000..b25bcaeb --- /dev/null +++ b/logs/20261113-125636/riscv64/qemu-riscv64-20261113-125636.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e311b05f3676ec775e35c23aaccd1549db98cefc68fbe4b3fe48bfbeec55432c +size 8309 diff --git a/logs/20261113-125805/amd64/qemu-amd64-20261113-125805.log b/logs/20261113-125805/amd64/qemu-amd64-20261113-125805.log new file mode 100644 index 00000000..fa06f367 --- /dev/null +++ b/logs/20261113-125805/amd64/qemu-amd64-20261113-125805.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:8893ab083ed196d1ff5c62e04cbc4c2fe09c03067cd2697baeb8af0f50ea1a87 +size 7200 diff --git a/logs/20261113-130303/isabelle/isabelle-20261113-130303.log b/logs/20261113-130303/isabelle/isabelle-20261113-130303.log new file mode 100644 index 00000000..55e417f5 --- /dev/null +++ b/logs/20261113-130303/isabelle/isabelle-20261113-130303.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:9fdfe78a1e96fcf4973a29207aa65349c68a10766438256def792b1259ea66db +size 7799