Commit Graph

Select branches

Hide Pull Requests

StarForth-v4.0.0

claude/starshipos-tripod-kernel-reshuffle-itbjns

master

#1

#110

#118

#122

#2

#3

#30

archive/starforth-2026-09-17

v2.0.0

v2.1.0

Mono Color

• 7be2047aee Merge master into StarForth-v4.0.0: #118's merge commit, so the next PR is up to date StarForth-v4.0.0 rajames 2026-11-06 21:44:17 +00:00
• 0332a2e11e demo: StarshipOS in a browser -- a throwaway machine per visitor, as Zuse (#118) master rajames 2026-11-06 21:44:01 +00:00
• 475dac67ef demo: "Try it" is its own page on the .com, in the landing page's style (#117) rajamesandClaude Opus 5.5 2026-11-06 20:47:35 +00:00
• 672d275f5c ci: no quick check on master after a merge (#119); the runner image's recipe (#120) rajamesandClaude Opus 5.5 2026-11-06 20:43:42 +00:00
• 4f6a267be4 Merge master into StarForth-v4.0.0: #110's merge commit, so the demo's PR is up to date rajames 2026-11-06 20:34:25 +00:00
• 82804f2770 The record of 2026-11-06, and issue and PR templates (#110) rajames 2026-11-06 20:33:35 +00:00
• 9e711563b4 demo: StarshipOS in a browser -- a throwaway machine per visitor, as Zuse (#111-#115) rajamesandClaude Opus 5.5 2026-11-06 19:41:22 +00:00
• 810d02ebb3 Merge master into StarForth-v4.0.0: #30's merge commit, so #110 is up to date rajames 2026-11-06 19:07:11 +00:00
• c809de7393 Merge StarForth-v4.0.0 into master (#30) rajames 2026-11-06 18:57:53 +00:00
• c1bc1c8041 gitea: issue forms and a PR template, in the project's own form rajamesandClaude Opus 5.5 2026-11-06 17:15:25 +00:00
• 0316573226 docs: FABRIC-3.md XLV and CHANGELOG -- one process from developer to master (2026-11-06) rajamesandClaude Opus 5.5 2026-11-06 17:13:30 +00:00
• 0fd7648a77 ci: acceptance.yml gates every PR into master; master only through an accepted PR rajamesandClaude Opus 5.5 2026-11-06 16:24:22 +00:00
• 6eadd2f56c ci: build.yml checks every push and PR; every job on Ubuntu 24.04 with Node (closes #18) rajamesandClaude Opus 5.5 2026-11-06 16:22:05 +00:00
• 92ca805ecf Merge master into StarForth-v4.0.0: the branch's build, master's CI files kept rajamesandClaude Opus 5.5 2026-11-06 16:08:22 +00:00
• a26f177ac6 docs(claude): trim .claude/CLAUDE.md; v3 and bare-metal notes load only where they apply rajamesandClaude Opus 5.5 2026-11-06 15:55:37 +00:00
• 3b0fe81669 logs: a proof run that checked nothing -- isabelle build found StarForth up to date rajamesandClaude Opus 5.5 2026-11-06 15:22:17 +00:00
• d185b64487 logs: the nightly's stages run by hand -- acceptance, proofs -- PASS rajamesandClaude Opus 5.5 2026-11-06 15:21:59 +00:00
• a5a29cc857 ci: nightly images, nightly documents and tagged releases, in the tree rajamesandClaude Opus 5.5 2026-11-06 15:21:58 +00:00
• 7f574c54ff ci: nightly images and nightly documents, from StarForth-v4.0.0, to Nexus rajamesandClaude Opus 5.5 2026-11-06 14:50:51 +00:00
• deb71faeb2 logs: the nightly's boot checks, run by hand -- amd64, aarch64, riscv64 headless, PASS rajamesandClaude Opus 5.5 2026-11-06 14:45:36 +00:00
• ca95567d14 build: scripts/nightly.sh -- the nightly snapshot of the board images, for Nexus rajamesandClaude Opus 5.5 2026-11-06 14:45:35 +00:00
• caad527e26 ci: add workflow_dispatch trigger for manual test runs rajames 2026-11-06 14:05:45 +00:00
• 02946a5318 ci: add nightly snapshot build (02:00 UTC schedule) rajamesandClaude Sonnet 4.6 2026-11-06 04:28:38 +00:00
• a6329fc0c5 ci: add documentation build job rajamesandClaude Sonnet 4.6 2026-11-06 04:20:59 +00:00
• 08daef9971 ci: add Isabelle/HOL proof verification job rajamesandClaude Sonnet 4.6 2026-11-06 04:20:00 +00:00
• b191ace026 ci: board-matrix build pipeline with Nexus Maven publish rajamesandClaude Sonnet 4.6 2026-11-06 04:17:12 +00:00
• 0820ee7d32 build: introduce mk/boards.mk board target table, T= selects board rajamesandClaude Sonnet 4.6 2026-11-06 04:10:07 +00:00
• 81caf71511 build: T= aliases ARCH= (board/SBC selection), lock StarForth to fastest rajamesandClaude Sonnet 4.6 2026-11-06 03:43:15 +00:00
• 2ae0cc2d42 build: add T= shorthand alias for TARGET= in both Makefiles rajamesandClaude Sonnet 4.6 2026-11-06 03:40:43 +00:00
• 5b58b0b16e docs(formal): make doxygen builds -- the Unicode fix-up keeps newunicodechar's characters rajamesandClaude Opus 5.5 2026-11-06 02:21:21 +00:00
• 2a8ad9f439 logs: Isabelle/HOL proof build of 4cef0431 -- passed rajamesandClaude Opus 5.5 2026-11-06 02:05:37 +00:00
• 4cef0431bf build: init downloads syft and Isabelle/HOL, checked by SHA-256 rajamesandClaude Opus 5.5 2026-11-06 01:25:47 +00:00
• d8e3fa81eb build: make ARCH=<arch>[,...] init installs what the tree needs rajamesandClaude Opus 5.5 2026-11-06 01:18:07 +00:00
• 25b17efd13 logs: acceptance of fd208825 (overlong lines refused; a refused store moves neither A nor P) rajamesandClaude Opus 5.5 2026-11-06 01:05:03 +00:00
• 027b144ec7 chore(lfs): the logs and DoE CSVs committed as plain files go into LFS rajamesandClaude Opus 5.5 2026-11-06 00:43:48 +00:00
• fd2088255d fix(v4): overlong lines are refused whole; a refused store moves neither A nor P rajamesandClaude Opus 5.5 2026-11-05 23:27:56 +00:00
• 728b0a54eb docs(plan): the stick, increments 5 and 5a -- the proxy Zuse, growth, MINT-ZUSE and the fixed screen rajamesandClaude Opus 5.5 2026-10-29 08:23:40 -04:00
• 248179257a docs(stick): plug and play -- a proxy Zuse on every stick's first boot, the real Zuse on a second stick rajamesandClaude Opus 5.5 2026-10-29 08:15:53 -04:00
• d6ea592c08 fix(amd64): the image runs wherever the firmware loads it -- -fpie, every symbol hidden; qemu-stick-high in acceptance rajamesandClaude Opus 5.5 2026-10-29 07:34:11 -04:00
• 0a31e558be feat(build): make write_stick DEVICE=/dev/sdX -- the PC stick onto a USB stick, checked and read back rajamesandClaude Opus 5.5 2026-10-29 06:22:26 -04:00
• 954b4d5f70 feat(kernel): screen=boot keeps the console on the screen until login -- for watching a PC boot rajamesandClaude Opus 5.5 2026-10-28 17:50:10 -04:00
• 1e8a6fed34 feat(kernel): Artemis and Zuse from one disk -- the stick; virtio Artemis leaves v4 rajamesandClaude Opus 5.5 2026-10-28 16:10:33 -04:00
• 1b45f5f85f feat(boot): the loader tells the kernel its boot disk; system=v3 is refused on a stick rajamesandClaude Opus 5.5 2026-10-28 12:08:48 -04:00
• a321c537f7 docs(outreach): the drafts move to studio/ (outside git), on Captain Bob's word rajamesandClaude Opus 5.5 2026-10-28 11:18:23 -04:00
• 18fea6d90e chore: ignore studio/ -- Captain Bob's outreach workflow, posts and video rajamesandClaude Opus 5.5 2026-10-28 11:17:13 -04:00
• 26c588792e docs(outreach): drafts of a sponsorship page, devlog #1 and video #1 rajamesandClaude Opus 5.5 2026-10-28 11:12:34 -04:00
• 4ed572058d docs(patent): SSM-001 claim-support map, toward the non-provisional due 2026-12-16 rajamesandClaude Opus 5.5 2026-10-28 11:03:17 -04:00
• 95f5afed5c feat(kernel): entropy on the v4 path; QEMU's amd64 CPU has RDRAND, as a PC's rajamesandClaude Opus 5.5 2026-10-28 10:27:07 -04:00
• f5866d39cc docs(patent): the second provisional's outline -- the OS-and-proofs method, with explicit epistemic status rajamesandClaude Opus 5.5 2026-10-28 09:31:19 -04:00
• 38b2b9693a test(build): Zuse's minted pair as a stick -- the acceptance boots and the sessions use it rajamesandClaude Opus 5.5 2026-10-28 08:41:51 -04:00
• b2278b6204 docs(boards): the Zynq-7020 board is a Puzhi PZ-StarLite -- its JTAG, serial, boot and vendor files rajamesandClaude Opus 5.5 2026-10-28 07:29:34 -04:00
• 55f7c4f842 docs(v4): the plan for the stick's increment 4 -- Artemis and Zuse from one disk rajamesandClaude Opus 5.5 2026-10-28 06:11:59 -04:00
• 195b7feb07 fix(build): image checks cannot pass on a stale stick; mkartemis refuses bad numbers and reads its format back rajamesandClaude Opus 5.5 2026-10-27 19:02:54 -04:00
• c416c805cb feat(build): QEMU boots the stick; the data stick over USB rajamesandClaude Opus 5.5 2026-10-27 16:31:27 -04:00
• e177c5c6b3 feat(build): the stick and the data stick, Artemis formatted and signed at build rajamesandClaude Opus 5.5 2026-10-27 13:46:59 -04:00
• a4221d8b8c docs(v4): the plan for the stick's increment 3 -- the images rajamesandClaude Opus 5.5 2026-10-27 12:29:45 -04:00
• 2e71f7aa0d fix(kernel): a GPT disk with a bad header, or an unreadable first block, is not used rajamesandClaude Opus 5.5 2026-10-27 12:17:00 -04:00
• f612bb37a9 logs: the stick's increment 2 regression run kbd_typeahead (203135), missed from 3cc4937c rajamesandClaude Opus 5.5 2026-10-26 21:56:41 -04:00
• ac3f29d318 fix(build): KERNEL_ARGS is written as data, not as printf's format rajamesandClaude Opus 5.5 2026-10-26 21:56:31 -04:00
• 3cc4937c93 feat(kernel): the GPT reader, and Zuse from a GPT identity partition rajamesandClaude Opus 5.5 2026-10-26 21:56:31 -04:00
• 03099f2c51 docs(v4): the stick's sizes -- a minimum, and Artemis grows to fill the stick rajamesandClaude Opus 5.5 2026-10-26 19:50:32 -04:00
• f9a313f44b docs(v4): the stick's identity partition starts at 500 MiB rajamesandClaude Opus 5.5 2026-10-26 19:46:48 -04:00
• 7f297f4e99 docs(v4): the stick, increment 2 plan: the GPT reader rajamesandClaude Opus 5.5 2026-10-26 19:28:42 -04:00
• a78cc56c31 fix(v4): nothing of a session left on screen after logout rajamesandClaude Opus 5.5 2026-10-26 19:14:22 -04:00
• cab0ffb487 feat(v4): the screen and the keyboards rajamesandClaude Opus 5.5 2026-10-26 18:02:27 -04:00
• 0dbc98c049 fix(virtio-blk): wait for a request's own completion, by time rajamesandClaude Opus 5.5 2026-10-26 15:30:00 -04:00
• 83d3692976 refactor(kernel): the keyboard bridge, shared rajamesandClaude Opus 5.5 2026-10-26 15:09:38 -04:00
• 6f96502fdf docs(v4): the stick, increment 1 plan: v4's screen and keyboard rajamesandClaude Opus 5.5 2026-10-26 13:47:11 -04:00
• 1a54f9ef59 docs(v4): the x86_64 StarshipOS stick, designed rajamesandClaude Opus 5.5 2026-10-26 13:44:33 -04:00
• 34737f52a6 logs: the identity gate's review fixes, red, green and acceptance rajamesandClaude Opus 5.5 2026-10-26 13:04:06 -04:00
• 6452c540a2 fix(v4): the identity gate's final review, items 1-4 rajamesandClaude Opus 5.5 2026-10-26 13:04:06 -04:00
• 668abc48e6 logs: the identity gate on v4, red, green and acceptance rajamesandClaude Opus 5.5 2026-10-26 11:06:38 -04:00
• 8d9c91b2bc feat(v4): no identity drive, headless; Zuse's drive, a console rajamesandClaude Opus 5.5 2026-10-26 11:06:37 -04:00
• 75785fb025 refactor(kernel): Zuse's drive check without a VM rajamesandClaude Opus 5.5 2026-10-26 08:48:17 -04:00
• 5b181458df docs(v4): the identity gate before Part A rajamesandClaude Opus 5.5 2026-10-26 08:35:13 -04:00
• 1f157e9785 disk: a minted scratch Zuse pair, for v4 work with Zuse attached rajamesandClaude Opus 5.5 2026-10-26 08:17:44 -04:00
• eef6c15c28 docs(v4): ENGINE step 4 under MACHINE.md; Q1-Q5 and the identity gate ruled rajamesandClaude Opus 5.5 2026-10-20 15:29:52 -04:00
• d6eab090b4 logs: acceptance of make ARCH=<arch> clean qemu at the top level rajamesandClaude Opus 5.5 2026-10-20 15:20:16 -04:00
• d577a1db48 build: make ARCH=<arch> clean qemu boots the kernel from the top level rajamesandClaude Opus 5.5 2026-10-20 15:20:16 -04:00
• 59bff9a0c7 logs: acceptance of increment 2 (the system hands no GONE on) rajamesandClaude Opus 5.5 2026-10-20 13:05:45 -04:00
• 6cb8f1285f feat(v4): the system hands no GONE on; (GONE-HOOK) goes (MESH step 7, increment 2) rajamesandClaude Opus 5.5 2026-10-20 13:05:45 -04:00
• 9138ebd8bb logs: acceptance of increment 1 (the kernel tells a node's going, 5707b07a) rajamesandClaude Opus 5.5 2026-10-20 09:00:41 -04:00
• a25d880df9 safety commit rajames 2026-10-19 06:49:11 -04:00
• b3646b94b7 safety commit rajames 2026-10-19 06:43:54 -04:00
• ff48745c7d safety commit rajames 2026-10-19 06:41:09 -04:00
• e29575fe3a safety commit rajames 2026-10-19 06:37:56 -04:00
• 5707b07abf safety commit rajames 2026-10-19 06:35:46 -04:00
• 63434f3762 docs: FABRIC-4 §3 as a null hypothesis rajamesandClaude Opus 5.5 2026-10-16 20:41:55 -04:00
• 0195631315 docs: FABRIC-4 §3, information state over information moment (Captain Bob's theory) rajamesandClaude Opus 5.5 2026-10-16 20:41:25 -04:00
• 7ad02bf72f fix(v4): a killed node's children become Hera's; Review Focus 4 checked rajamesandClaude Opus 5.5 2026-10-16 20:03:45 -04:00
• 9382df69e5 docs(v4): MESH step 7 done -- a second unit, PAUSE, RESUME, KILL; acceptance rajamesandClaude Opus 5.5 2026-10-16 17:46:49 -04:00
• 4be9f37c12 logs: acceptance of MESH step 7 so far (529ba0fc): three boots and test-32 rajamesandClaude Opus 5.5 2026-10-16 14:59:25 -04:00
• 529ba0fc48 fix(v4): (DOWN) calls the GONE hook and puts (ONE) back; the hand-on swept rajamesandClaude Opus 5.5 2026-10-16 14:42:54 -04:00
• 3506747d5a test(v4): a second unit while the first runs; PAUSE, RESUME; GONE down the graph (MESH.md 9a.6) rajamesandClaude Opus 5.5 2026-10-16 13:08:43 -04:00
• c88af25e1e feat(v4): centre.4th and hera.4th; every node's kernel serves it (MESH.md 9a.3) rajamesandClaude Opus 5.5 2026-10-16 11:59:47 -04:00
• 450dea9c24 feat(v4): a believed GONE is handed to the word in (GONE-HOOK) (MESH.md 9a) rajamesandClaude Opus 5.5 2026-10-16 11:04:28 -04:00
• d154342314 feat(v4): the kernel keeps a registry of nodes and checks who may ask (MESH.md 9a.4) rajamesandClaude Opus 5.5 2026-10-16 09:58:03 -04:00
• bf97f339f6 docs(v4): MESH.md 9a, the rulings made while planning step 7 rajamesandClaude Opus 5.5 2026-10-16 08:57:00 -04:00
• f4f566bb37 docs(v4): the implementation plan for MESH step 7 rajamesandClaude Opus 5.5 2026-10-16 08:52:27 -04:00
• 5283e67ded docs(v4): MESH.md 9a, step 7's design -- a second unit, PAUSE, RESUME, KILL rajamesandClaude Opus 5.5 2026-10-16 08:31:32 -04:00