Commit Graph

Select branches

Hide Pull Requests

StarForth-v4.0.0

claude/starshipos-tripod-kernel-reshuffle-itbjns

master

#1

#2

#3

v2.0.0

v2.1.0

Mono Color

• 02946a5318 ci: add nightly snapshot build (02:00 UTC schedule) master 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 StarForth-v4.0.0 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
• ba9d432a01 docs(v4): MESH.md ruling 7 points to the births ruling rajamesandClaude Opus 5.5 2026-10-16 08:15:02 -04:00
• 9842b9cd50 docs(v4): births follow v3 -- any node may birth, KILL stays Hera's rajamesandClaude Opus 5.5 2026-10-16 08:14:49 -04:00
• 1e41a68872 feat(v4): starshipos.4th, the STARSHIPOS vocabulary, with DOE typing the name back rajamesandClaude Opus 5.5 2026-10-16 07:57:52 -04:00
• 0d5139238d logs: the three acceptance boots of the mesh ROM rajamesandClaude Opus 5.5 2026-10-15 20:42:08 -04:00
• 924c48cece docs(v4): the ROMs' shared entries, and the mesh ROM as built rajamesandClaude Opus 5.5 2026-10-15 20:32:23 -04:00
• d2df3679ac feat(v4): a node Hera births carries a mesh node's ROM rajamesandClaude Opus 5.5 2026-10-15 20:31:41 -04:00
• afd9d46d29 feat(v4): the system's UM*, UM/MOD, D+, DNEGATE, Q.* and Q./ call the ROM rajamesandClaude Opus 5.5 2026-10-15 20:16:50 -04:00
• 11b5d402b1 feat(v4): the shared math in both ROMs, and a mesh node's ROM rajamesandClaude Opus 5.5 2026-10-15 19:46:00 -04:00
• 473e105a69 docs(v4): the mesh ROM's implementation plan rajamesandClaude Opus 5.5 2026-10-15 19:23:31 -04:00
• 99c46eeda8 docs(v4): MACHINE.md's status line says what is built rajamesandClaude Opus 5.5 2026-10-15 19:14:10 -04:00
• a6da45df53 docs(v4): the mesh ROM's design, MACHINE.md 2.2 rajamesandClaude Opus 5.5 2026-10-15 18:58:59 -04:00
• 39744473f3 logs: the DoE run files of the two acceptance boots of the final review's fixes rajamesandClaude Opus 5.5 2026-10-15 17:10:59 -04:00
• a28b5f2230 fix(v4): the final review's six minors in the ROM boot rajamesandClaude Opus 5.5 2026-10-15 17:10:45 -04:00
• ff75e69e91 fix(v4): the final review's four defects in the ROM boot rajamesandClaude Opus 5.5 2026-10-15 16:35:07 -04:00
• a73580e949 feat(v4): the machine boots from its ROM; the prebuilt nucleus is gone rajamesandClaude Opus 5.5 2026-10-15 14:26:02 -04:00
• 1bf19d6224 feat(v4): the ROM assembles the system's .f18 to the nucleus, word for word rajamesandClaude Opus 5.5 2026-10-15 12:27:50 -04:00
• 084c520a54 feat(v4): the ROM assembles text as text.c does -- words, labels, macros, FOR, directives, start rajamesandClaude Opus 5.5 2026-10-15 12:24:08 -04:00
• c233cb6536 feat(v4): the ROM's slot packer, word for word with asm.c rajamesandClaude Opus 5.5 2026-10-15 11:58:47 -04:00
• 07911dcf91 feat(v4): the ROM's symbol table rajamesandClaude Opus 5.5 2026-10-15 11:54:15 -04:00
• 080811dbd2 feat(v4): the ROM reads numbers as text.c does rajamesandClaude Opus 5.5 2026-10-15 11:49:46 -04:00
• 0f82d8c22a feat(v4): mkrom -- the ROM built off the node; it reads tokens rajamesandClaude Opus 5.5 2026-10-15 11:49:05 -04:00
• 32753f5479 feat(v4): the machine has a ROM -- read and run, never written rajamesandClaude Opus 5.5 2026-10-15 11:25:24 -04:00