-
e7d686c7a2
feat(v4.0.0): CASE, ['], S", WORDS, FORGET and FENCE

rajamesandClaude Opus 5.5
2026-10-04 20:49:53 -04:00
-
c02505db69
feat(v4.0.0): 48 more words at the prompt (words.v4)

rajamesandClaude Opus 5.5
2026-10-04 20:34:13 -04:00
-
dc7e37ba5c
feat(v4.0.0): every error is raised and ends the line (D-18)

rajamesandClaude Opus 5.5
2026-10-04 20:13:23 -04:00
-
644bfc0a25
feat(v4.0.0): number output in the capsule, and .S

rajamesandClaude Opus 5.5
2026-10-04 18:50:12 -04:00
-
ebffa6082d
feat(v4.0.0): the host node's stacks are 32 deep (D-17)

rajamesandClaude Opus 5.5
2026-10-04 18:29:10 -04:00
-
0da7e32a0b
feat(v4.0.0): the stacks are guarded (D-16); DEPTH, PICK and ROLL

rajamesandClaude Opus 5.5
2026-10-04 17:31:18 -04:00
-
361dcd1148
feat(v4.0.0): division by zero is guarded (D-15); division words in the capsule

rajamesandClaude Opus 5.5
2026-10-04 12:23:30 -04:00
-
b3d2d56d11
feat(v4.0.0): address faults -- an address outside memory is guarded (D-14)

rajamesandClaude Opus 5.5
2026-10-04 12:04:59 -04:00
-
b5d644d498
feat(v4.0.0): the prompt -- QUIT, ABORT, ABORT" and ."

rajamesandClaude Opus 5.5
2026-10-04 11:49:44 -04:00
-
806f876ee0
fix(v4.0.0): shorter chains of calls in the compiler capsule

rajamesandClaude Opus 5.5
2026-10-04 11:17:58 -04:00
-
dac7ffac92
feat(v4.0.0): the defining and compiling words

rajamesandClaude Opus 5.5
2026-10-04 10:42:23 -04:00
-
bbd1b4047f
refactor(v4.0.0): the capsule's inner words keep their state in memory

rajamesandClaude Opus 5.5
2026-10-04 10:41:50 -04:00
-
44ffd261bb
feat(v4.0.0): the text assembler takes &NAME and CONST+N

rajamesandClaude Opus 5.5
2026-10-04 10:41:50 -04:00
-
26a6a16537
feat(v4.0.0): the text assembler lays down dictionary headers

rajamesandClaude Opus 5.5
2026-10-04 09:58:26 -04:00
-
880560fc00
feat(v4.0.0): the code generator

rajamesandClaude Opus 5.5
2026-10-04 09:19:57 -04:00
-
c10d3a9cca
feat(v4.0.0): the dictionary: its space, its entries, and FIND

rajamesandClaude Opus 5.5
2026-10-04 08:59:06 -04:00
-
01b5bbb23f
fix(v4.0.0): .R U.R and D.R print no trailing space

rajamesandClaude Opus 5.5
2026-10-04 08:47:29 -04:00
-
b137678691
fix(v4.0.0): MOVE follows FORTH-79

rajamesandClaude Opus 5.5
2026-10-04 08:47:29 -04:00
-
e178a76c36
fix(v4.0.0): LEAVE follows FORTH-79

rajamesandClaude Opus 5.5
2026-10-04 08:47:29 -04:00
-
7b42a9b6c1
fix(v4.0.0): EXPECT, QUERY and WORD follow FORTH-79

rajamesandClaude Opus 5.5
2026-10-04 08:37:44 -04:00
-
443439c3d2
feat(v4.0.0): reading a line and splitting it into words and numbers

rajamesandClaude Opus 5.5
2026-10-04 08:30:32 -04:00
-
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
master
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
admin
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