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

The plug-and-play stick, done: MINT-ZUSE and the fixed screen (#92 Tasks 4-5); licence headers #160

Open
rajames wants to merge 26 commits from StarForth-v4.0.0 into master
pull from: StarForth-v4.0.0
merge into: :master
Conversation 0 Commits 26 Files Changed 719
+10739 -600
rajames commented 2026-11-10 08:00:24 +00:00
Owner
Copy Link
Copy Source

What and why

The rest of the plug-and-play stick, #92 Tasks 4-5 (plan docs/v4.0.0/plans/2026-10-29-stick-5-proxy-zuse-and-real-zuse.md; docs/v4.0.0/STICK.md 6a) -- with which #92 is done -- and the licence headers:

  • Task 4 -- MINT-ZUSE: at the prompt, it asks for a second stick, shows its size, writes nothing until YES, then a GPT with one identity partition (gpt_write_one), a fresh Zuse minted and read back, and only then the real key in the genesis marker. Her stick is then recognised against that key and her session moves to it. A new word of the lone node: word_count 317 -> 318, dict_hash 0x8c92508f748f99cf on the three ISAs.
  • Task 5 -- the fixed screen: with a real Zuse, the system stick alone gives no prompt but four lines; R mints a replacement, every other key is dropped; the old stick is then refused for good. Pulling her stick brings the screen back; pulling the system stick while hers is in lets hers go first.
  • Licence: the source headers name the Starship License 1.0 (SL-1.0), as LICENSE does (349 files); an SPDX header (LicenseRef-Starship-1.0) on the 253 source files that had none. Capsules, proofs, tools/kconfig/ (GPL-2.0), docs/working/ and the patent/formal files left as ruled.
  • The SER5 bench steps for the stick and the real Zuse: boards/BRINGUP.md 4.2.

Worked in small increments, each committed with the plan's Progress section up to date. Records: FABRIC-3 XLVIII.15-17.

Closes #92

Acceptance

The Acceptance check runs on this pull request by itself. Note here anything it does not cover:

  • Logs from runs made by hand are committed in logs/: every test seen to fail first, then pass; the regressions; full acceptance (verdicts in logs/20261110-051726/verdicts/ for Task 4, logs/20261110-075036/verdicts/ for Task 5)
  • Hardware this was tried on, if any: none yet -- the bench steps are written (boards/BRINGUP.md 4.2)
  • Not covered by Acceptance: the MINT-ZUSE and fixed-screen sessions (mint_zuse on three ISAs; mint_zuse_refuse, mint_small, mint_zuse_used, mint_pull_system, zuse_stick_first, fallback, replace, mint_fail, system_pull_real) -- run by hand, all PASS, logs committed. gpt_write_one was also checked on the host against blank and used images.

The record

  • docs/fabric/FABRIC-3.md has the ruling and what was built, if this is design work
  • CHANGELOG.md, if it is a milestone -- at alpha.4
  • Nothing in this PR is a fix nobody asked for (.claude/CLAUDE.md, Hard Rules): the plan's tasks; the licence work ruled ("Yes", "Yes, SPDX form, leave capsules and proofs")

🤖 Generated with Claude Code

https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2

## What and why The rest of the plug-and-play stick, #92 Tasks 4-5 (plan `docs/v4.0.0/plans/2026-10-29-stick-5-proxy-zuse-and-real-zuse.md`; `docs/v4.0.0/STICK.md` 6a) -- with which #92 is done -- and the licence headers: - **Task 4 -- `MINT-ZUSE`:** at the prompt, it asks for a second stick, shows its size, writes nothing until `YES`, then a GPT with one identity partition (`gpt_write_one`), a fresh Zuse minted and read back, and only then the real key in the genesis marker. Her stick is then recognised against that key and her session moves to it. A new word of the lone node: `word_count` 317 -> 318, `dict_hash 0x8c92508f748f99cf` on the three ISAs. - **Task 5 -- the fixed screen:** with a real Zuse, the system stick alone gives no prompt but four lines; `R` mints a replacement, every other key is dropped; the old stick is then refused for good. Pulling her stick brings the screen back; pulling the system stick while hers is in lets hers go first. - **Licence:** the source headers name the Starship License 1.0 (SL-1.0), as `LICENSE` does (349 files); an SPDX header (`LicenseRef-Starship-1.0`) on the 253 source files that had none. Capsules, proofs, `tools/kconfig/` (GPL-2.0), `docs/working/` and the patent/formal files left as ruled. - **The SER5 bench steps** for the stick and the real Zuse: `boards/BRINGUP.md` 4.2. Worked in small increments, each committed with the plan's Progress section up to date. Records: FABRIC-3 XLVIII.15-17. Closes #92 ## Acceptance The **Acceptance** check runs on this pull request by itself. Note here anything it does not cover: - [x] Logs from runs made by hand are committed in `logs/`: every test seen to fail first, then pass; the regressions; full acceptance (verdicts in `logs/20261110-051726/verdicts/` for Task 4, `logs/20261110-075036/verdicts/` for Task 5) - [ ] Hardware this was tried on, if any: none yet -- the bench steps are written (`boards/BRINGUP.md` 4.2) - Not covered by Acceptance: the `MINT-ZUSE` and fixed-screen sessions (`mint_zuse` on three ISAs; `mint_zuse_refuse`, `mint_small`, `mint_zuse_used`, `mint_pull_system`, `zuse_stick_first`, `fallback`, `replace`, `mint_fail`, `system_pull_real`) -- run by hand, all PASS, logs committed. `gpt_write_one` was also checked on the host against blank and used images. ## The record - [x] `docs/fabric/FABRIC-3.md` has the ruling and what was built, if this is design work - [ ] `CHANGELOG.md`, if it is a milestone -- at alpha.4 - [x] Nothing in this PR is a fix nobody asked for (`.claude/CLAUDE.md`, Hard Rules): the plan's tasks; the licence work ruled ("Yes", "Yes, SPDX form, leave capsules and proofs") 🤖 Generated with [Claude Code](https://claude.com/claude-code) https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
rajames added 26 commits 2026-11-10 08:00:25 +00:00
chore(license): the source headers name the Starship License 1.0 (SL-1.0), as LICENSE does [skip ci] 16b9747d33 
347 headers said "Licensed under the StarForth License, Version 1.0" -- a
shortening (Captain Bob, 2026-11-08: "License file SL I think I shortened
accidently"); LICENSE is, and has been since the first commit, the
Starship License 1.0 (SL-1.0, SPDX LicenseRef-Starship-1.0). 349 files,
566 occurrences, now "Starship License, Version 1.0 (SL-1.0)".

Left as they are, pending a ruling: docs/patent/ (the patent figures),
docs/formal/ (the citable volumes) and the generated reports under
docs/working/experiments/ (32 files). Comments and license text only:
the amd64 kernel builds, every changed script parses.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
FABRIC-3 XLVIII.15: the license's name in the headers; the 32 patent, formal and report files kept as they are [skip ci] 9bb49ee623 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
test(stick): MINT-ZUSE's first test, mint_zuse; Task 4's progress kept in the plan (#92, 4.1) [skip ci] 4706ddf39a 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
test(stick): mint_zuse seen to fail -- MINT-ZUSE unknown; its prompt check tightened (#92, 4.2) [skip ci] 1074520ec9 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
feat(gpt): gpt_write_one -- a new disk of one partition, for the real Zuse's stick (#92, 4.3) [skip ci] e94cd3245d 
The old MBR zeroed first, the backup header and entries, the primary, the protective MBR last: a write torn anywhere leaves no table. Builds clean on amd64, aarch64, riscv64; checked on the host against blank 600 MiB and 32 MiB images and a used Zuse stick (sfdisk --verify clean, gpt_read reads it back). Not yet called.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
feat(kernel): a stick offered to a waiting mint, not attached or refused (#92, 4.4) [skip ci] cfa60fd0ec 
sk_v4_identity_offer_wait() beats until a stick that is not this system's arrives (offered), a key is pressed, or the system stick leaves; sk_v4_identity_recheck_offered() runs the arrival check again once the mint has written it. Builds on three ISAs; not yet called.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
feat(kernel): sk_v4_mint_zuse -- the real Zuse minted onto a second stick, read back before the marker names her (#92, 4.5) [skip ci] 8b83e0a72d 
Asks for a stick, shows its size, writes nothing until YES; then gpt_write_one, the partition's first devblocks zeroed, a fresh Zuse minted, read back, and only then the marker's real key. Any failure before the marker: 'failed -- nothing changed'. The gate remembers the last stick it turned away as a spare, offered first by the next mint. Builds on three ISAs; not yet called.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
feat(kernel): MINT-ZUSE, a word of the lone node (request 2) (#92, 4.6) [skip ci] 5df4d73480 
word_count 317 -> 318; no POST case (it waits for a stick and YES, as BYE has none).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
logs: mint_zuse on amd64 -- MINT-ZUSE mints the real Zuse onto a second stick: PASS (#92, 4.6) [skip ci] 13aee1a767 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
chore(license): an SPDX header on every source file that had none (LicenseRef-Starship-1.0) [skip ci] 3bd81097e1 
The header scan (Captain Bob, 2026-11-10): 788 source files -- 351 with the
SL-1.0 header, 12 with the old name (docs/working/experiments, kept by
ruling), 31 under someone else's licence (tools/kconfig, Linux's, GPL-2.0:
kept), and 394 with none. Ruled: the SPDX form; capsules (.4th, .f18) and
proofs (.thy) left for a ruling of their own (mkcapsule's 64x16 block format,
content-addressed capsules).

253 files now begin
    SPDX-License-Identifier: LicenseRef-Starship-1.0
    Copyright (c) 2023-2026 Robert A. James
as a /* */ block (C, headers, assembly, linker scripts) or # lines (scripts,
Makefiles, Kconfig; below a shebang or a coding line); tools/mkcapsule.c,
which had the copyright line, gets the SPDX line only.

Not touched: docs/working/ (archive and old campaign material, as the
ruling kept the experiments); v4/system/post_cases.c (generated by
v4/tools/mkpost.py, "do not edit" -- the generator has the header).

Comments only: the kernel builds on amd64, aarch64, riscv64; make -C v4
test-32: 39 programs, 0 failures; every changed script parses.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
FABRIC-3 XLVIII.15: the header scan, and SPDX headers on 253 files [skip ci] acd8061d89 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
feat(kernel): the real Zuse's stick recognised, attached at the chain's tail; her session (#92, 4.7) [skip ci] 3b214394d0 
A GPT stick with an identity partition and no Artemis, the system stick in and its marker naming a real Zuse: checked against the real key; a match attached and logged in (a running session moves to her); no match: 'not this system's Zuse stick -- not used'. Arriving first, it is remembered and checked when the marker is read. Builds on three ISAs; mint_zuse running.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
logs: mint_zuse -- the real Zuse minted, her stick recognised, her session: PASS (#92, 4.7) [skip ci] 34d43a3418 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
test(stick): the rest of MINT-ZUSE's sessions -- refused, small, a used stick, the system stick pulled, her stick first (#92, 4.8) [skip ci] 7a27d6a3e5 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
logs: MINT-ZUSE's sessions -- refused, small, a used stick, the system stick pulled, her stick first: PASS (#92, 4.8) [skip ci] 012e3c0348 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
logs: MINT-ZUSE on aarch64 and riscv64, the regressions, acceptance on three ISAs and the stick high: PASS (#92, 4.8-4.9) [skip ci] 1881f30e6c 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
feat(kernel): MINT-ZUSE -- the real Zuse minted onto a second stick, read back before the marker names her (#92, Task 4)
Build / Image RASPI (push) Successful in 2m42s
Details
Build / Image PC (push) Successful in 3m17s
Details
Build / Image MILKV (push) Successful in 2m43s
Details
Build / v4 tests (32- and 64-bit cells) (push) Successful in 9m28s
Details
7fee88eb49 
Task 4 of plan 2026-10-29-stick-5, accepted in full:
- amd64, aarch64, riscv64: PARITY:V4_POST tests=538 pass=538 fail=0,
  POST: PASSED; PARITY:V4_SYSTEM word_count=318 dict_hash=0x8c92508f748f99cf
  on the three (MINT-ZUSE, the lone node's second word)
- the PC stick as built, loaded high: 538/538, the prompt
- make -C v4 test-32: 39 programs, 0 failures

Sessions: mint_zuse on the three; mint_zuse_refuse, mint_small,
mint_zuse_used, mint_pull_system, zuse_stick_first; regressions genesis,
two_sticks, hotplug, midpull, typeahead. Verdicts in
logs/20261110-051726/verdicts/. The plan's Task 4 ticked; FABRIC-3 XLVIII.16.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
test(stick): the fixed screen's first test, fallback; Task 5's increments in the plan (#92, 5.1) [skip ci] e824748cbd 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
test(stick): fallback seen to fail -- no fixed screen, R does nothing (#92, 5.2) [skip ci] 46baa3f0d0 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
feat(kernel): the fixed screen -- with a real Zuse, the system stick alone can only mint a replacement (#92, 5.3-5.5) [skip ci] 933f50fa18 
The four lines on the screen and serial while the proxy is recognised and her stick is not here; R runs sk_v4_mint_zuse(), every other key is dropped. Her stick pulled: the screen again. The system stick pulled while hers is in: hers let go first (the block chain's tail), remembered for the system stick's return. Builds on three ISAs; fallback running.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
logs: fallback -- the fixed screen, keys dropped, her stick, R: PASS (#92, 5.3-5.4) [skip ci] bb64678692 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
test(stick): the fixed screen's other sessions -- replace, mint_fail, system_pull_real (#92, 5.6) [skip ci] b8da642f02 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
logs: replace and system_pull_real PASS; mint_fail's one FAIL was the test's -- it counted the first boot's mint in the second boot's log (#92, 5.6) [skip ci] 8320310497 
mint_fail's own checks passed (failed -- nothing changed, the screen again, the old stick logs in); the check now expects none in this boot's log.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
logs: mint_fail -- a failed write changes nothing, the old stick still logs in: PASS (#92, 5.6) [skip ci] ed1e844d71 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
boards(BRINGUP): the SER5 bench steps for the plug-and-play stick and the real Zuse (#92, Task 5 step 6) [skip ci] 4742cf8b3b 
First boot (genesis, growth, the time to the prompt), the second boot, MINT-ZUSE onto a second stick, the system stick alone (the fixed screen), both sticks at power-on -- each rehearsed first in QEMU by the qemu_session.py mode named. 3.2's 'boots headless' corrected: the stick's first boot now mints its Zuse.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
feat(kernel): the fixed screen -- with a real Zuse, the system stick alone can only mint a replacement; the old stick dies (#92, Task 5)
Build / Image RASPI (push) Successful in 4m21s
Details
Build / Image PC (push) Successful in 5m1s
Details
Build / Image MILKV (push) Successful in 7m22s
Details
Build / v4 tests (32- and 64-bit cells) (push) Successful in 12m17s
Details
Acceptance / Acceptance (pull_request) Successful in 19m56s
Details
836b4423e1 
Task 5 of plan 2026-10-29-stick-5, accepted in full, and with it #92:
- amd64, aarch64, riscv64: PARITY:V4_POST tests=538 pass=538 fail=0,
  POST: PASSED; word_count=318 dict_hash=0x8c92508f748f99cf on the three
- the PC stick as built, loaded high: 538/538, the prompt
- make -C v4 test-32: 39 programs, 0 failures

Sessions: fallback, replace, mint_fail, system_pull_real; regressions:
every Task 4 session, genesis, stick_genesis, screen_dark_until_login,
screen_dark_after_logout, kbd_typeahead, emergency. Verdicts in
logs/20261110-075036/verdicts/. The plan's Task 5 ticked; STICK.md 11
increment 5a done; FABRIC-3 XLVIII.17; the SER5 bench steps in
boards/BRINGUP.md 4.2.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
All checks were successful
Build / Image RASPI (push) Successful in 4m21s
Details
Build / Image PC (push) Successful in 5m1s
Details
Build / Image MILKV (push) Successful in 7m22s
Details
Build / v4 tests (32- and 64-bit cells) (push) Successful in 12m17s
Details
Acceptance / Acceptance (pull_request) Successful in 19m56s
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#160