From d8bf2e11213b88034031a9322f7015aea46ac783 Mon Sep 17 00:00:00 2001 From: Claude Date: Sat, 7 Nov 2026 18:55:30 +0000 Subject: [PATCH] release v4.0.0-alpha.2: accepted in full, logs [skip ci] The protocol on 04006bff (LithosAnanke v4.0.0-alpha.2), in this session, one QEMU at a time in the foreground: amd64 logs/20261107-184040, aarch64 -184241, riscv64 -184616 (POST 538/538, dict_hash=0xfec8c47cfc6f437f on all three), the stick loaded high -184753, test-32 (39 programs, 0 failures), the Isabelle/HOL proofs (logs/20261107-185450/). Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2 --- experiments/bare_metal/runs/doe-aarch64-20261107-184241.csv | 0 experiments/bare_metal/runs/doe-amd64-20261107-184040.csv | 0 experiments/bare_metal/runs/doe-amd64-20261107-184753.csv | 0 experiments/bare_metal/runs/doe-riscv64-20261107-184616.csv | 0 logs/20261107-184040/amd64/qemu-amd64-20261107-184040.log | 3 +++ logs/20261107-184241/aarch64/qemu-aarch64-20261107-184241.log | 3 +++ logs/20261107-184616/riscv64/qemu-riscv64-20261107-184616.log | 3 +++ logs/20261107-184753/amd64/qemu-amd64-20261107-184753.log | 3 +++ logs/20261107-185450/isabelle/isabelle-20261107-185450.log | 3 +++ 9 files changed, 15 insertions(+) create mode 100644 experiments/bare_metal/runs/doe-aarch64-20261107-184241.csv create mode 100644 experiments/bare_metal/runs/doe-amd64-20261107-184040.csv create mode 100644 experiments/bare_metal/runs/doe-amd64-20261107-184753.csv create mode 100644 experiments/bare_metal/runs/doe-riscv64-20261107-184616.csv create mode 100644 logs/20261107-184040/amd64/qemu-amd64-20261107-184040.log create mode 100644 logs/20261107-184241/aarch64/qemu-aarch64-20261107-184241.log create mode 100644 logs/20261107-184616/riscv64/qemu-riscv64-20261107-184616.log create mode 100644 logs/20261107-184753/amd64/qemu-amd64-20261107-184753.log create mode 100644 logs/20261107-185450/isabelle/isabelle-20261107-185450.log diff --git a/experiments/bare_metal/runs/doe-aarch64-20261107-184241.csv b/experiments/bare_metal/runs/doe-aarch64-20261107-184241.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261107-184040.csv b/experiments/bare_metal/runs/doe-amd64-20261107-184040.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261107-184753.csv b/experiments/bare_metal/runs/doe-amd64-20261107-184753.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-riscv64-20261107-184616.csv b/experiments/bare_metal/runs/doe-riscv64-20261107-184616.csv new file mode 100644 index 00000000..e69de29b diff --git a/logs/20261107-184040/amd64/qemu-amd64-20261107-184040.log b/logs/20261107-184040/amd64/qemu-amd64-20261107-184040.log new file mode 100644 index 00000000..6bc54f35 --- /dev/null +++ b/logs/20261107-184040/amd64/qemu-amd64-20261107-184040.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:16ff21b314d76f58304fefba58921194b848b2a7521a91b6a9bf6ac72b01a368 +size 6637 diff --git a/logs/20261107-184241/aarch64/qemu-aarch64-20261107-184241.log b/logs/20261107-184241/aarch64/qemu-aarch64-20261107-184241.log new file mode 100644 index 00000000..c24e88d0 --- /dev/null +++ b/logs/20261107-184241/aarch64/qemu-aarch64-20261107-184241.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:72acbac8e5db7027b26c1b9689116d434368421961330f6199cbdd6116c449e1 +size 5602 diff --git a/logs/20261107-184616/riscv64/qemu-riscv64-20261107-184616.log b/logs/20261107-184616/riscv64/qemu-riscv64-20261107-184616.log new file mode 100644 index 00000000..20ab5c94 --- /dev/null +++ b/logs/20261107-184616/riscv64/qemu-riscv64-20261107-184616.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:a52383c54ba6f2e57dbbdc6115a66d21a877661ae8b053da2748d1dc6f297c07 +size 7993 diff --git a/logs/20261107-184753/amd64/qemu-amd64-20261107-184753.log b/logs/20261107-184753/amd64/qemu-amd64-20261107-184753.log new file mode 100644 index 00000000..28491434 --- /dev/null +++ b/logs/20261107-184753/amd64/qemu-amd64-20261107-184753.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:6632ed60fecd61ebdb02cced5f7dc99b821046108ebce0b32e6bf2e94a8fc82d +size 6708 diff --git a/logs/20261107-185450/isabelle/isabelle-20261107-185450.log b/logs/20261107-185450/isabelle/isabelle-20261107-185450.log new file mode 100644 index 00000000..86e1a00e --- /dev/null +++ b/logs/20261107-185450/isabelle/isabelle-20261107-185450.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:ea0e788b3fc07f4dd6688a54f4409002ae96f2e1f48d8833f7abf243264a61a2 +size 7783