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

.claude/CLAUDE.md has drifted from the tree #137

New Issue
Open
opened 2026-11-07 20:15:21 +00:00 by rajames · 0 comments
rajames commented 2026-11-07 20:15:21 +00:00
Owner
Copy Link
Copy Source

Found (2026-11-07, against master)

  • "capsules/ has 23 .4th files": there are 39
  • LITHOS_VERSION "currently 2.1.0": it is 4.0.0-alpha.3
  • The CI section describes build.yml with build-amd64-iso and the like and "No QEMU boot step in CI": CI is now acceptance.yml (the gate), build.yml, nightly.yml, nightly-docs.yml, release.yml, runner-image.yml, one concurrency group
  • The warnings section ("26 -Wunused-parameter, 2 -Wsign-compare"): the kernel builds with 5 warnings, all -Wformat-truncation in tools/mkcapsule.c
  • "a 526-word Mama capsule dictionary" (v3); v4's dictionary is 317 words, dict_hash 0xfec8c47cfc6f437f
  • The prompt, the acceptance criteria and the Hard Rules are current.

Done when

  • Each corrected against the tree, with the date, as the file's own corrections are

🤖 Filed with Claude Code -- the review after v4.0.0-alpha.3 (Captain Bob, 2026-11-07: "a list of problems, deficiencies, smells and so on placed in issues by rank priority").

### Found (2026-11-07, against `master`) - "`capsules/` has 23 `.4th` files": there are **39** - `LITHOS_VERSION` "currently **2.1.0**": it is **4.0.0-alpha.3** - The CI section describes `build.yml` with `build-amd64-iso` and the like and "No QEMU boot step in CI": CI is now `acceptance.yml` (the gate), `build.yml`, `nightly.yml`, `nightly-docs.yml`, `release.yml`, `runner-image.yml`, one concurrency group - The warnings section ("26 -Wunused-parameter, 2 -Wsign-compare"): the kernel builds with **5** warnings, all `-Wformat-truncation` in `tools/mkcapsule.c` - "a 526-word Mama capsule dictionary" (v3); v4's dictionary is 317 words, `dict_hash 0xfec8c47cfc6f437f` - The prompt, the acceptance criteria and the Hard Rules are current. ### Done when - [ ] Each corrected against the tree, with the date, as the file's own corrections are 🤖 Filed with [Claude Code](https://claude.com/claude-code) -- the review after v4.0.0-alpha.3 (Captain Bob, 2026-11-07: "a list of problems, deficiencies, smells and so on placed in issues by rank priority").
rajames added this to the v4.0.0-alpha.4 milestone 2026-11-07 20:15:21 +00:00
rajames added the
kind
docs
priority
should
status
backlog
 labels 2026-11-07 20:15:21 +00:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
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
kind
docs
priority
should
status
backlog
Milestone
No items
No Milestone v4.0.0-alpha.4
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#137