Commit Graph

Select branches

Hide Pull Requests

StarForth-v4.0.0

claude/starshipos-tripod-kernel-reshuffle-itbjns

master

#1

#110

#118

#122

#123

#124

#127

#128

#130

#132

#148

#153

#154

#159

#2

#3

#30

archive/starforth-2026-09-17

v2.0.0

v2.1.0

v4.0.0-alpha.1

v4.0.0-alpha.2

v4.0.0-alpha.3

Mono Color

• 31fcdcd0a3 feat(v4.0.0): a 16384-word host node for the compiler tests rajamesandClaude Opus 5.5 2026-10-03 21:18:38 -04:00
• 7b710aa322 feat(v4.0.0): assemble definitions written as text rajamesandClaude Opus 5.5 2026-10-03 21:13:32 -04:00
• 861f800b7f feat(v4.0.0): KEY and ?TERMINAL on the console registers rajamesandClaude Opus 5.5 2026-10-03 20:53:56 -04:00
• 2c16183788 feat(v4.0.0): CONSOLE-RX and CONSOLE-STATUS on the single-node model rajamesandClaude Opus 5.5 2026-10-03 20:53:56 -04:00
• 03d8d991ef feat(v4.0.0): the DO loop runtimes rajamesandClaude Opus 5.5 2026-10-03 20:13:24 -04:00
• 481d484e93 feat(v4.0.0): the mixed and double leftovers rajamesandClaude Opus 5.5 2026-10-03 18:37:53 -04:00
• 84c7711763 feat(v4.0.0): the small single-cell words rajamesandClaude Opus 5.5 2026-10-03 17:49:30 -04:00
• cb66db1107 feat(v4.0.0): the byte-string words rajamesandClaude Opus 5.5 2026-10-03 17:25:27 -04:00
• 7c5be22799 feat(v4.0.0): C@ is call-free rajamesandClaude Opus 5.5 2026-10-03 17:15:57 -04:00
• e50cc1f73a feat(v4.0.0): BASE, DECIMAL, HEX, OCTAL and HLD rajamesandClaude Opus 5.5 2026-10-03 16:46:38 -04:00
• 030ca63639 feat(v4.0.0): ?, Q.PRINT and DUMP rajamesandClaude Opus 5.5 2026-10-03 16:33:19 -04:00
• 13335dcc9c feat(v4.0.0): . U. D. .R U.R D.R and SPACES rajamesandClaude Opus 5.5 2026-10-03 15:51:27 -04:00
• 40178098e9 feat(v4.0.0): EMIT, CR, SPACE and TYPE on the console register rajamesandClaude Opus 5.5 2026-10-03 12:13:25 -04:00
• 7e3932a4ad feat(v4.0.0): CONSOLE-TX capture register on the single-node model rajamesandClaude Opus 5.5 2026-10-03 11:57:49 -04:00
• 7a21f07ad5 feat(v4.0.0): # keeps its high quotient on the data stack rajamesandClaude Opus 5.5 2026-10-03 11:51:03 -04:00
• 638aeb6636 feat(v4.0.0): call-free C! rajamesandClaude Opus 5.5 2026-10-03 11:45:52 -04:00
• 6a019b8968 feat(v4.0.0): pictured output <# # #S HOLD SIGN #>; D-13 rajamesandClaude Opus 5.5 2026-10-03 11:37:08 -04:00
• 2e4d1330ea test(v4.0.0): execute C@ and C! on the golden model rajamesandClaude Opus 5.5 2026-10-03 11:16:16 -04:00
• f030edcd08 test(v4.0.0): execute LSHIFT and RSHIFT on the golden model rajamesandClaude Opus 5.5 2026-10-03 11:10:03 -04:00
• 13ec4b1b6c test(v4.0.0): execute the in-line constants Q.1, Q.0 and Q.SCALE rajamesandClaude Opus 5.5 2026-10-03 11:03:57 -04:00
• 8235078b3b feat(v4.0.0): Q.COS, bit for bit with v3 rajamesandClaude Opus 5.5 2026-10-03 10:53:52 -04:00
• 1ce705783c feat(v4.0.0): Q.SIN and (Q.REDUCE), bit for bit with v3 rajamesandClaude Opus 5.5 2026-10-03 10:44:42 -04:00
• e117333a87 feat(v4.0.0): Q.LOG, flattened, bit for bit with v3 rajamesandClaude Opus 5.5 2026-10-03 10:29:59 -04:00
• a2a4a85d38 docs(v4.0.0): record the three products and v4's acceptance criteria rajamesandClaude Opus 5.5 2026-10-03 10:13:58 -04:00
• f4bfe7de02 logs: three-architecture kernel acceptance baseline at a2d21d5c rajamesandClaude Opus 5.5 2026-10-03 10:11:25 -04:00
• a2d21d5cda feat(v4.0.0): Q.SQRT bit for bit with v3; D-12 domain errors rajamesandClaude Opus 5.5 2026-10-03 09:07:30 -04:00
• 29cf2688d2 feat(v4.0.0): Q.EXP bit for bit with v3; lighter D2*C and (UQ/) rajamesandClaude Opus 5.5 2026-10-03 00:26:36 -04:00
• 9e03bdab19 feat(v4.0.0): Q./ under D-11, with (UQ/), D2*C and the (Q/) variable rajamesandClaude Opus 5.5 2026-10-03 00:17:11 -04:00
• 8f37e15f8a feat(v4.0.0): repack Q.* so no UM* call holds all four inputs rajamesandClaude Opus 5.5 2026-10-02 23:33:57 -04:00
• 54e1cdafb1 feat(v4.0.0): UM* corrections after the loop; return headroom 4 -> 6 rajamesandClaude Opus 5.5 2026-10-02 23:31:52 -04:00
• ab3b708540 feat(v4.0.0): Q.* from four UM* cell products rajamesandClaude Opus 5.5 2026-10-02 23:27:57 -04:00
• d0accdbb88 feat(v4.0.0): D< and Q comparisons; call-free (D<), DMAX, DMIN, 2SWAP rajamesandClaude Opus 5.5 2026-10-02 23:06:25 -04:00
• 167fdc3973 build(v4): make UBSan reports fatal in make sanitize rajamesandClaude Opus 5.5 2026-10-02 22:59:50 -04:00
• 981f4180ce feat(v4.0.0): Q.FROM-INT and Q.TO-INT as +* double shifts rajamesandClaude Opus 5.5 2026-10-02 22:58:04 -04:00
• d948e0c1a3 test(v4.0.0): D-10 two-cell Q48.16; execute Q.ABS and Q.NEG against v3 rajamesandClaude Opus 5.5 2026-10-02 22:54:40 -04:00
• 4f493fa317 test(v4.0.0): note Q.+/Q.- coverage in test_foundation.c header rajamesandClaude Opus 5.5 2026-10-02 22:52:54 -04:00
• 5ac52f19d6 test(v4.0.0): execute Q.+ and Q.- against v3 Q48.16 rajamesandClaude Opus 5.5 2026-10-02 22:52:27 -04:00
• 6a371b850e test(v4.0.0): execute M+, D-, D0= and D= on the golden model rajamesandClaude Opus 5.5 2026-10-02 22:50:30 -04:00
• 092036c97a feat(v4.0.0): call-free D+ (D-2 stack headroom) rajamesandClaude Opus 5.5 2026-10-02 22:46:11 -04:00
• 93d09840da feat(v4.0.0): SM/REM and DNEGATE call-free; execute /MOD and its section 5 words rajamesandClaude Opus 5.5 2026-10-02 22:44:04 -04:00
• 3b9d1e4337 feat(v4.0.0): call-free UM/MOD loop for D-2 stack headroom rajamesandClaude Opus 5.5 2026-10-02 22:35:49 -04:00
• 41f59afeb3 test(v4.0.0): execute UM/MOD on the golden model; measure stack headroom rajamesandClaude Opus 5.5 2026-10-02 19:48:04 -04:00
• 9a391eb0ad feat(v4.0.0): full-range UM* under plain F18 +* (D-3) rajamesandClaude Opus 5.5 2026-10-02 19:21:17 -04:00
• 067f317c47 feat(v4.0.0): hosted golden model, single node rajamesandClaude Opus 5.5 2026-10-02 14:38:27 -04:00
• 1f98034311 Merge remote-tracking branch 'origin/StarForth-v4.0.0' into StarForth-v4.0.0 rajames 2026-10-01 15:55:37 -04:00
• a8b70e88d3 Reorganize source tree: kernel/, v3/, v4/ split and board infrastructure rajamesandJunie 2026-10-01 15:40:09 -04:00
• f238f02afa docs(v4.0.0): record D-1..D-8 rulings in DECOMPOSITION.md Claude 2026-10-01 00:55:20 +00:00
• 3c709c115b docs(v4.0.0): add StarForth v4 justification and primitive decomposition Claude 2026-09-29 06:49:29 +00:00
• 357cb5b4ac Merge pull request 'docs: add StarForth primitive word reference' (#2) from claude/wizardly-tesla-36lqlt into master rajames 2026-09-29 05:22:50 +00:00
• 2fcc468ecb docs: add StarForth primitive word reference Claude 2026-09-29 05:19:09 +00:00
• 6302dcb50e FABRIC-3.7.md: record Phase 8 v3 closure (in-system block-copy defense) Robert Allan JamesandClaude Sonnet 5 2026-09-23 04:45:06 -04:00
• 26c1117ccd Phase 8 v3: refuse a same-VM, cross-device raw block copy from within StarshipOS Robert Allan JamesandClaude Sonnet 5 2026-09-23 04:44:22 -04:00
• b7d9ed5425 FABRIC-3.7.md: settle drive-cloning defense as rejected, not undesigned Robert Allan JamesandClaude Sonnet 5 2026-09-23 03:42:38 -04:00
• 81049da268 Correct FABRIC-3.7.md: the original elevation-entrypoint bug diagnosis was wrong Robert Allan JamesandClaude Sonnet 5 2026-09-22 23:03:47 -04:00
• 089ab2160e Phase 8 Part B: gate ZUSE-ELIGIBILITY-ADD, closing the no-drive-needed privilege path Robert Allan JamesandClaude Sonnet 5 2026-09-22 22:57:10 -04:00
• 2406158668 Fix include/version.h collision between hosted Makefile and Makefile.starkernel Robert Allan JamesandClaude Sonnet 5 2026-09-22 22:34:54 -04:00
• 2008c4596a Add FABRIC-3.7.md: Phase 8 PKI elevation-entrypoint design, fixes a real pointer-confusion hole Robert Allan JamesandClaude Sonnet 5 2026-09-22 21:44:06 -04:00
• 7306872848 Phase 5.7: archival close of FABRIC-3.5.md and FABRIC-3.6.md at v2.1.0 Robert Allan JamesandClaude Sonnet 5 2026-09-22 19:53:57 -04:00
• 8edbd3cce6 Phase 5.5: investigate stray v2.0.1 branch and PR #1, don't delete/close (FABRIC-3.6.md) v2.1.0 Robert Allan JamesandClaude Sonnet 5 2026-09-22 19:50:03 -04:00
• 2a084ba037 Phase 5 corrections: sharpen 5.1's boundary claim, fix hosted Makefile's own stale VERSION Robert Allan JamesandClaude Sonnet 5 2026-09-22 19:49:08 -04:00
• a4ad14aec6 Phase 5 close-out: Isabelle pass, doc sweep, SBOM, version bump (FABRIC-3.6.md tasks 5.1-5.4) Robert Allan JamesandClaude Sonnet 5 2026-09-22 19:46:34 -04:00
• 3e201c82a5 Stage E: Category B strip -- remove Hermes, messaging.4th, old routing (FABRIC-3.6.md task 4.1-4.4) Robert Allan JamesandClaude Sonnet 5 2026-09-22 18:29:51 -04:00
• cab9b5a31f Stage D: ELEVATE-REQUEST real cutover -- FABRIC-3.6.md task 3.10 Robert Allan JamesandClaude Sonnet 5 2026-09-22 17:00:11 -04:00
• d4f8a568ee Silence routine diagnostic noise; fix a real CRLF double-submit bug Robert Allan JamesandClaude Sonnet 5 2026-09-22 16:33:29 -04:00
• 5c07745c18 Fix SkHermesMessage payload-aliasing defect (task 3.8 findings log) Robert Allan JamesandClaude Sonnet 5 2026-09-22 14:16:29 -04:00
• 21734b1a52 Console prompt: identity/machine both sides once redirected off Hera Robert Allan JamesandClaude Sonnet 5 2026-09-22 13:50:40 -04:00
• 3975dc61cd Stage D: CONSOLE-CMD-EVENT real cutover -- FABRIC-3.6.md task 3.9 Robert Allan JamesandClaude Sonnet 5 2026-09-22 13:34:20 -04:00
• ac4d431aee Fix zuse_root_pubkey_known never set after a same-session genesis mint Robert Allan JamesandClaude Sonnet 5 2026-09-22 12:38:40 -04:00
• 7944abca36 Findings: task 3.8 payload-aliasing defect found while starting 3.9 Robert Allan JamesandClaude Sonnet 5 2026-09-22 11:26:13 -04:00
• bbfd9103f4 Stage C: cut over BLK-ATTACH-EVENT alone -- FABRIC-3.6.md task 3.8 Robert Allan JamesandClaude Sonnet 5 2026-09-22 11:08:26 -04:00
• f37aa0fb17 Channel-open policy hook -- FABRIC-3.6.md task 3.7 Robert Allan JamesandClaude Sonnet 5 2026-09-22 09:08:48 -04:00
• 205a49ecd0 ACK/NACK and private-channel negotiation -- FABRIC-3.6.md task 3.6 Robert Allan JamesandClaude Sonnet 5 2026-09-22 07:25:51 -04:00
• 8a2ee0fdad Payload bound and chunking -- FABRIC-3.6.md task 3.5 Robert Allan JamesandClaude Sonnet 5 2026-09-22 06:51:48 -04:00
• 2b1ba031a5 Drain at the outermost checkpoint -- FABRIC-3.6.md task 3.4 Robert Allan JamesandClaude Sonnet 5 2026-09-22 01:27:11 -04:00
• 1f6343bc03 Publish path, no dispatch -- FABRIC-3.6.md task 3.3 Robert Allan JamesandClaude Sonnet 5 2026-09-22 00:49:22 -04:00
• a4afdfa591 Channel table + common channel, inert (B1) -- FABRIC-3.6.md task 3.2 Robert Allan JamesandClaude Sonnet 5 2026-09-22 00:25:13 -04:00
• c19ef365fe Dynamic switch table (B2) -- FABRIC-3.6.md task 3.1 Robert Allan JamesandClaude Sonnet 5 2026-09-21 23:59:50 -04:00
• 66ea4a5e74 Record task 3.0 rulings (FABRIC-3.5.md §XLVI); close FABRIC-3.6.md task 3.0 Robert Allan JamesandClaude Sonnet 5 2026-09-21 23:29:12 -04:00
• f2f7111dff Draft Phase 3 task breakdown (3.0-3.11), awaiting review -- FABRIC-3.6.md Robert Allan JamesandClaude Sonnet 5 2026-09-21 10:49:10 -04:00
• 303b0c7edf Record B1/B2/B4 rulings (FABRIC-3.5.md §XLV); clear Phase 3 blockers in FABRIC-3.6.md Robert Allan JamesandClaude Sonnet 5 2026-09-21 08:55:21 -04:00
• feace42397 Add diagnostic scan cross-check of the Hermes counters -- FABRIC-3.6.md task 2.8 Robert Allan JamesandClaude Sonnet 5 2026-09-21 08:46:07 -04:00
• 2a2bf6eb35 Stage B proof: add per-VM consumed term to stadium_conserved -- FABRIC-3.6.md task 2.7 Robert Allan JamesandClaude Sonnet 5 2026-09-20 21:31:45 -04:00
• 313ffc89e6 Add exact-equality Hermes ledger self-audit -- FABRIC-3.6.md task 2.6 Robert Allan JamesandClaude Sonnet 5 2026-09-20 21:02:27 -04:00
• d11eb2e5db Add sk_hermes_decay(), ledgering decay into consumed -- FABRIC-3.6.md task 2.5 Robert Allan JamesandClaude Sonnet 5 2026-09-20 18:48:46 -04:00
• 493d410028 Add the four ledger counters (held/pulled/returned/consumed) -- FABRIC-3.6.md task 2.4 Robert Allan JamesandClaude Sonnet 5 2026-09-20 05:59:09 -04:00
• 2c1dc1753a Correct sk_hermes_alloc() to admit a real Stadium patron; add sk_hermes_release() -- FABRIC-3.6.md tasks 2.2 (amended) + 2.3 Robert Allan JamesandClaude Sonnet 5 2026-09-20 04:20:14 -04:00
• 9d129fdb1c Add sk_hermes_alloc(), the heat-coupled allocator -- FABRIC-3.6.md task 2.2, item 28 Robert Allan JamesandClaude Sonnet 5 2026-09-19 21:00:20 -04:00
• f10fa7ae83 Add kernel-Hermes message/membership structures -- FABRIC-3.6.md task 2.1, Phase 2 begins Robert Allan JamesandClaude Sonnet 5 2026-09-19 20:48:24 -04:00
• 1e75bb8039 Assert Hestia's headless invariant -- FABRIC-3.6.md task 1.9, Phase 1 closed Robert Allan JamesandClaude Sonnet 5 2026-09-19 17:46:32 -04:00
• 6c6293cd52 Move PLOT/FB-WIDTH/FB-HEIGHT registration to Hestia only -- FABRIC-3.6.md task 1.8 Robert Allan JamesandClaude Sonnet 5 2026-09-19 17:36:18 -04:00
• 5afb33049f Move fabric.4th + font.4th to hestia/init.4th -- FABRIC-3.6.md tasks 1.6+1.7 (merged) Robert Allan JamesandClaude Sonnet 5 2026-09-19 17:25:23 -04:00
• 487769e18a Register Hestia for switch signals -- FABRIC-3.6.md task 1.5 Robert Allan JamesandClaude Sonnet 5 2026-09-19 17:07:19 -04:00
• 10e2d654e5 Birth Hestia in kernel_main.c -- FABRIC-3.6.md task 1.4 Robert Allan JamesandClaude Sonnet 5 2026-09-19 17:01:05 -04:00
• ff00de9a63 Add Hestia to is_fleet_foundation -- FABRIC-3.6.md task 1.3 Robert Allan JamesandClaude Sonnet 5 2026-09-19 16:53:40 -04:00
• 4f7cbe78fc Create capsules/hestia/init.4th -- FABRIC-3.6.md task 1.2 Robert Allan JamesandClaude Sonnet 5 2026-09-19 16:31:59 -04:00
• b624133a28 capsules/MANIFEST.md: allocate Hestia's block range 4986-4996 -- FABRIC-3.6.md task 1.1 Robert Allan JamesandClaude Sonnet 5 2026-09-19 16:22:03 -04:00
• eed2a9dfb5 FABRIC-3.6.md task 0.8: PLOT/FB-WIDTH/FB-HEIGHT reachability audit -- Phase 0 closed Robert Allan JamesandClaude Sonnet 5 2026-09-19 14:04:50 -04:00
• 380f0a09c9 Add stadium_conserved() -- FABRIC-3.6.md task 0.7, item 41 Robert Allan JamesandClaude Sonnet 5 2026-09-19 13:56:14 -04:00
• 9886ad5315 tools/capsule-reserved.txt: return freed block ranges -- FABRIC-3.6.md task 0.6 Robert Allan JamesandClaude Sonnet 5 2026-09-19 13:45:01 -04:00
• e233d09fa1 capsules/MANIFEST.md: correct blocks 4055 and 2049 -- FABRIC-3.6.md task 0.5 Robert Allan JamesandClaude Sonnet 5 2026-09-19 13:42:25 -04:00