Claude
d7d431f1d6
release v4.0.0-alpha.1: accepted in full, logs and record [skip ci]
...
The acceptance protocol on b7534107 (LithosAnanke v4.0.0-alpha.1), in this
session, one QEMU at a time in the foreground:
- amd64 logs/20261107-150809, aarch64 -151023, riscv64 -151359: [zuse@Hera]
ok>, PARITY:V4_POST tests=538 pass=538 fail=0, POST: PASSED,
dict_hash=0xfec8c47cfc6f437f on all three
- the PC stick loaded high, logs/20261107-151539: the same, no fault
- make -C v4 test-32: 39 programs, 0 failures
- Isabelle/HOL proofs, logs/20261107-152312/isabelle: Finished StarForth
CHANGELOG and FABRIC-3.md XLVII: the ruling, what was verified, and what
an alpha leaves open (the v4.0.0 milestone; unsigned capsules until the
StarshipOS CA).
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com >
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
2026-11-07 15:24:28 +00:00
..
2026-11-06 00:43:48 +00:00
2026-10-19 06:35:46 -04:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-10-26 18:02:27 -04:00
2026-10-26 18:02:27 -04:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-10-26 18:02:27 -04:00
2026-10-26 18:02:27 -04:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 00:43:48 +00:00
2026-11-06 01:05:03 +00:00
2026-11-06 01:05:03 +00:00
2026-11-06 01:05:03 +00:00
2026-11-06 01:05:03 +00:00
2026-11-06 02:05:37 +00:00
2026-11-06 14:45:36 +00:00
2026-11-06 14:45:36 +00:00
2026-11-06 14:45:36 +00:00
2026-11-06 15:21:59 +00:00
2026-11-06 15:21:59 +00:00
2026-11-06 15:21:59 +00:00
2026-11-06 15:21:59 +00:00
2026-11-06 15:22:17 +00:00
2026-11-06 15:21:59 +00:00
2026-11-06 19:41:22 +00:00
2026-11-06 19:41:22 +00:00
2026-11-07 15:24:28 +00:00
2026-11-07 15:24:28 +00:00
2026-11-07 15:24:28 +00:00
2026-11-07 15:24:28 +00:00
2026-11-07 15:24:28 +00:00
2026-10-19 06:49:11 -04:00