Claude
83898b524d
logs/20261112-182015/PROTOCOL.md, for the kernel host-test chunk: the harness and #170, #171, #176, #177, #178, #182. The four boots 538/538 -- a data stick enumerating through the moved USB descriptor walk, genesis through the identity code's new seed handling -- word_count=318, dict_hash 0x8c92508f748f99cf on all three; test-32 39 programs, 1,869,223 checks, 0 failures; the proofs (37 s); the images, no race; the documents. The tree clean before and after. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_017RzZgrf7V7Zk2iczBXDRbm
64 lines
3.0 KiB
Markdown
64 lines
3.0 KiB
Markdown
# Protocol for d7b2f6bf
|
|
|
|
- Commit: d7b2f6bf543157fc0aa0b36d43038f0ca94ed2da
|
|
- Tree: clean
|
|
- Result: PASS
|
|
|
|
`scripts/nightly.sh protocol` (#135), begun 20261112-182015 UTC; `fix(v4): the identity code wipes Zuse's seed after every drive it handles (#176, the identity code)`.
|
|
|
|
## Stages
|
|
|
|
| Stage | Result | Output |
|
|
|---|---|---|
|
|
| `accept-amd64` | PASS | `logs/20261112-182015/protocol/accept-amd64.log` |
|
|
| `accept-aarch64` | PASS | `logs/20261112-182015/protocol/accept-aarch64.log` |
|
|
| `accept-riscv64` | PASS | `logs/20261112-182015/protocol/accept-riscv64.log` |
|
|
| `accept-stick-high` | PASS | `logs/20261112-182015/protocol/accept-stick-high.log` |
|
|
| `test-32` | PASS | `logs/20261112-182015/protocol/test-32.log` |
|
|
| `proofs` | PASS | `logs/20261112-182015/protocol/proofs.log` |
|
|
| `images` | PASS | `logs/20261112-182015/protocol/images.log` |
|
|
| `docs` | PASS | `logs/20261112-182015/protocol/docs.log` |
|
|
|
|
## The boots
|
|
|
|
| Boot | Serial log | POST | System |
|
|
|---|---|---|---|
|
|
| amd64 | `logs/20261112-182046/amd64/qemu-amd64-20261112-182046.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` |
|
|
| aarch64 | `logs/20261112-182234/aarch64/qemu-aarch64-20261112-182234.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` |
|
|
| riscv64 | `logs/20261112-182543/riscv64/qemu-riscv64-20261112-182543.log` | `PARITY:V4_POST tests=538 pass=538 fail=0` | `PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf` |
|
|
| stick-high | `logs/20261112-182719/amd64/qemu-amd64-20261112-182719.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-183335/isabelle/isabelle-20261112-183335.log`
|
|
|
|
## The images (SHA-256)
|
|
|
|
```
|
|
ad7a5dff419eb2fb78dbadab0abcd243149c4f18c31efcdadbb7efd77139c114 StarshipOS.iso
|
|
2d0b53c63c373386f4b0fa5206034401a911ca7484b780ae9cef32802cb444ba pc-stick.img
|
|
caabe36dbfdcfbbc94ed8981e7a1775611794de5b97f6e65b2af780827f3933f raspi5.img
|
|
708fc11126feaf29259c9947fd06a6a654fec9e7a832d5469d241fd474635bcb MilkV.img
|
|
a64420c6717939c7af5551e7dc3bd28f8cf71f457069a2a012cf8f599c5ffe53 pc-stick.img.xz
|
|
5c57542de904830bca8157bdff2542f6ce9f2b7febdfa1b21eae5f80b3d8ba51 raspi5.img.xz
|
|
0cdb87a843f1c0e152987f3a70e4b8e91330804722a228b68fcd2f53a3b56723 MilkV.img.xz
|
|
```
|
|
|
|
## The documents (SHA-256)
|
|
|
|
```
|
|
d617ed0e5227d8a458fe51369f09a404f621d6660032c03e756e086761c39804 ./api.pdf
|
|
2aaab24d140fad331141a45ebcb57040fd498a0aa2002cdfc2fbd7d2ceae9f2c ./book.pdf
|
|
95c6331397e94ea09df8da4387febc808130dd7fd4ddd559464d87d9571528c5 ./dictionary.pdf
|
|
fc605e83aa8723d7d3b324417453ac3aad9f550ab057ac72e17d6252396eae47 ./fabric.pdf
|
|
a309144234296522f8116fb2582344f8934bc1fc857a21031f53abe5394447ae ./vol1.pdf
|
|
966dd86bb270b235bbc9ce662131b1bd09cac8908e4002c9e1dad0084d270833 ./vol2.pdf
|
|
85e3c736d22d0c813470005cef29235a7a8a075233106ddebda911de9e85acd2 ./vol3.pdf
|
|
```
|