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

docs: correct 5 stale items in .claude/CLAUDE.md (#137) #164

Open
rajames wants to merge 1 commits from StarForth-v4.0.0 into master
pull from: StarForth-v4.0.0
merge into: :master
Conversation 0 Commits 1 Files Changed 1
+34 -26
rajames commented 2026-11-10 19:26:31 +00:00
Owner
Copy Link
Copy Source

Closes #137

5 corrections, each dated 2026-11-10:

  • Capsule count: 23 → 39
  • LITHOS_VERSION: 2.1.0 → 4.0.0-alpha.4
  • CI section: replace stale job IDs with current 6-workflow description
  • Warnings: 26+2+2 → 5 -Wformat-truncation in tools/mkcapsule.c
  • Dictionary: 526 words / 0x82f4ae7cb2e2d424 → 318 words / 0x8c92508f748f99cf
Closes #137 5 corrections, each dated 2026-11-10: - Capsule count: 23 → 39 - LITHOS_VERSION: 2.1.0 → 4.0.0-alpha.4 - CI section: replace stale job IDs with current 6-workflow description - Warnings: 26+2+2 → 5 -Wformat-truncation in tools/mkcapsule.c - Dictionary: 526 words / 0x82f4ae7cb2e2d424 → 318 words / 0x8c92508f748f99cf
rajames added 1 commit 2026-11-10 19:26:38 +00:00
docs: correct 5 stale items in .claude/CLAUDE.md (closes #137)
Build / Image PC (push) Successful in 6m19s
Details
Build / Image MILKV (push) Successful in 4m5s
Details
Build / v4 tests (32- and 64-bit cells) (push) Successful in 11m52s
Details
Build / Image RASPI (push) Successful in 4m52s
Details
Acceptance / Acceptance (pull_request) Successful in 20m34s
Details
c32bc43e36 
- Capsule count: 23 -> 39 (33 at capsules/*.4th + 6 in artemis/, hestia/, v4/)
- LITHOS_VERSION: 2.1.0 -> 4.0.0-alpha.4 (corrected 2026-11-10)
- CI section: replace stale job IDs (build-amd64-iso etc.) with current
  six-workflow description; acceptance.yml is the PR gate, build.yml runs
  image+v4-tests, nightly/nightly-docs/release/runner-image also documented
- Warnings: 26 -Wunused-parameter + 2 -Wsign-compare + 2 -Wstringop-truncation
  -> 5 -Wformat-truncation in tools/mkcapsule.c (corrected 2026-11-10)
- Dictionary: 526 words, hash 0x82f4ae7cb2e2d424 -> 318 words,
  hash 0x8c92508f748f99cf (corrected 2026-11-10 from PARITY:V4_SYSTEM logs)
All checks were successful
Build / Image PC (push) Successful in 6m19s
Details
Build / Image MILKV (push) Successful in 4m5s
Details
Build / v4 tests (32- and 64-bit cells) (push) Successful in 11m52s
Details
Build / Image RASPI (push) Successful in 4m52s
Details
Acceptance / Acceptance (pull_request) Successful in 20m34s
Required
Details
You are not authorized to merge this pull request.
This pull request can be merged automatically.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin StarForth-v4.0.0:StarForth-v4.0.0
git checkout StarForth-v4.0.0
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
Clear labels
area/capsules
capsules/ and mkcapsule
 area/docs
docs/
 area/kernel
kernel/ -- LithosAnanke
 area/proofs
proof/ -- Isabelle/HOL
 area/v3
v3/ -- the original StarForth VM
 area/v4
v4/ and capsules/v4 -- the F18 engine
 board/milkv
Milk-V Mars
 board/pc
Generic x86-64 PC (SER5)
 board/raspi4
Raspberry Pi 4 (not ported)
 board/raspi5
Raspberry Pi 5
 board/zynq7020
Zynq-7020 (ARMv7 port in progress)
kind
bug
Something is wrong
kind
chore
Housekeeping, repo hygiene
kind
ci
Build, CI, nightly, release
kind
docs
Documentation only
kind
feature
New capability
priority
must
Needed for v4.0.0 (JUSTIFICATION.md 14/16)
priority
nice
Nice to have
priority
should
Needed for the product, not for the tag
status
backlog
Not started
status
blocked
Waiting on something else
status
in-progress
Being worked on
status
needs-acceptance
Done; the QEMU acceptance boots are still to run
status
rejected
Decided against; closed
No labels
Milestone
No items
No Milestone
Projects
Clear projects
No projects
Assignees
Clear assignees
rajames (Robert A. James (Captain Bob))
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: rajames/LithosAnanke#164