From b8951bc26b4a360a9a2c7f337f12bc02bc8bb36d Mon Sep 17 00:00:00 2001 From: Claude Date: Sat, 7 Nov 2026 20:09:33 +0000 Subject: [PATCH] release v4.0.0-alpha.3: accepted in full, logs On 50d2bc98 (LithosAnanke v4.0.0-alpha.3), in this session, one QEMU at a time in the foreground: amd64 logs/20261107-195526, aarch64 -195725, riscv64 -200055 (POST 538/538, dict_hash=0xfec8c47cfc6f437f on all three), the stick loaded high, test-32 (39 programs, 0 failures); the proofs through the capped stage, logs/20261107-195341 (47 s, ~1.8 GiB). Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2 --- experiments/bare_metal/runs/doe-aarch64-20261107-195725.csv | 0 experiments/bare_metal/runs/doe-amd64-20261107-195526.csv | 0 experiments/bare_metal/runs/doe-amd64-20261107-200233.csv | 0 experiments/bare_metal/runs/doe-riscv64-20261107-200055.csv | 0 logs/20261107-195526/amd64/qemu-amd64-20261107-195526.log | 3 +++ logs/20261107-195725/aarch64/qemu-aarch64-20261107-195725.log | 3 +++ logs/20261107-200055/riscv64/qemu-riscv64-20261107-200055.log | 3 +++ logs/20261107-200233/amd64/qemu-amd64-20261107-200233.log | 3 +++ 8 files changed, 12 insertions(+) create mode 100644 experiments/bare_metal/runs/doe-aarch64-20261107-195725.csv create mode 100644 experiments/bare_metal/runs/doe-amd64-20261107-195526.csv create mode 100644 experiments/bare_metal/runs/doe-amd64-20261107-200233.csv create mode 100644 experiments/bare_metal/runs/doe-riscv64-20261107-200055.csv create mode 100644 logs/20261107-195526/amd64/qemu-amd64-20261107-195526.log create mode 100644 logs/20261107-195725/aarch64/qemu-aarch64-20261107-195725.log create mode 100644 logs/20261107-200055/riscv64/qemu-riscv64-20261107-200055.log create mode 100644 logs/20261107-200233/amd64/qemu-amd64-20261107-200233.log diff --git a/experiments/bare_metal/runs/doe-aarch64-20261107-195725.csv b/experiments/bare_metal/runs/doe-aarch64-20261107-195725.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261107-195526.csv b/experiments/bare_metal/runs/doe-amd64-20261107-195526.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-amd64-20261107-200233.csv b/experiments/bare_metal/runs/doe-amd64-20261107-200233.csv new file mode 100644 index 00000000..e69de29b diff --git a/experiments/bare_metal/runs/doe-riscv64-20261107-200055.csv b/experiments/bare_metal/runs/doe-riscv64-20261107-200055.csv new file mode 100644 index 00000000..e69de29b diff --git a/logs/20261107-195526/amd64/qemu-amd64-20261107-195526.log b/logs/20261107-195526/amd64/qemu-amd64-20261107-195526.log new file mode 100644 index 00000000..25f98677 --- /dev/null +++ b/logs/20261107-195526/amd64/qemu-amd64-20261107-195526.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:48198b8c97ce3e2281a81a95176f78a4172a9e4781581b486dba2eebe4cd7a39 +size 6637 diff --git a/logs/20261107-195725/aarch64/qemu-aarch64-20261107-195725.log b/logs/20261107-195725/aarch64/qemu-aarch64-20261107-195725.log new file mode 100644 index 00000000..83a72869 --- /dev/null +++ b/logs/20261107-195725/aarch64/qemu-aarch64-20261107-195725.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:f714b216d4a6a17441833eb11a6e63668fbe237a0eb6e4606c2c8ce7385c4fef +size 5602 diff --git a/logs/20261107-200055/riscv64/qemu-riscv64-20261107-200055.log b/logs/20261107-200055/riscv64/qemu-riscv64-20261107-200055.log new file mode 100644 index 00000000..05956b0e --- /dev/null +++ b/logs/20261107-200055/riscv64/qemu-riscv64-20261107-200055.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e041be3ee3d920e25d0fcd8c97ddab1a06b1ad6b0ec1a1a5ec0b67a9f2b3de27 +size 7993 diff --git a/logs/20261107-200233/amd64/qemu-amd64-20261107-200233.log b/logs/20261107-200233/amd64/qemu-amd64-20261107-200233.log new file mode 100644 index 00000000..3cde323f --- /dev/null +++ b/logs/20261107-200233/amd64/qemu-amd64-20261107-200233.log @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:29a1b7f2d20198ffb62f11c066576fa09b29f4ecc5c2867890aafd45ea7503fc +size 6708