rajames/LithosAnanke
1
1
Fork 0
Code Issues 60 Pull Requests Actions Packages Projects Releases Activity

release: v4.0.0-alpha.3; the proofs run capped to fit the server #132

Merged
rajames merged 2 commits from StarForth-v4.0.0 into master 2026-11-07 20:52:53 +00:00
Conversation 0 Commits 2 Files Changed 13
+57 -4
2 Commits
Author SHA1 Message Date
Claude b8951bc26b release v4.0.0-alpha.3: accepted in full, logs
Build / Image PC (push) Successful in 3m56s
Details
Build / v4 tests (32- and 64-bit cells) (push) Successful in 10m7s
Details
Build / Image MILKV (push) Successful in 8m45s
Details
Acceptance / Acceptance (pull_request) Successful in 15m37s
Details
Build / Image RASPI (push) Successful in 4m11s
Details 
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 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
 2026-11-07 20:09:33 +00:00
Claude 50d2bc98d9 release: v4.0.0-alpha.3; the proofs run capped to fit the server 
v4.0.0-alpha.2's release run (200) was killed in the StarForth session:
Isabelle's defaults (Java 4 GiB, a thread per CPU). scripts/nightly.sh
proofs now runs one thread, Java 512 MiB, Poly/ML 900 MiB, through a
settings file of a home made for the run (heaps linked to the user's):
47 s, ~1.8 GiB, logs/20261107-195341. Nothing was published from alpha.2;
its tag stays. LITHOS_VERSION 4.0.0-alpha.3. FABRIC-3.md XLVII.6.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
 2026-11-07 19:54:47 +00:00