83694b18be
fix(v4.0.0): wire review round 1 -- tests for the wake-up order and for waking only on enough room; no overflow moving a message; sleep for impossible room answers at once
StarForth-v4.0.0
rajamesandClaude Opus 5.52026-10-08 14:12:33 -04:00
d5cd64605d
feat(v4.0.0): the wire in the engine -- whole messages, put and taken in one step
rajamesandClaude Opus 5.52026-10-08 13:50:15 -04:00
50be766e7b
chore: ignore .directory; track the bare-metal run files of 3 to 8 October
rajamesandClaude Opus 5.52026-10-08 13:13:48 -04:00
88554666d4
docs(v4.0.0): step 6e -- the plan; a mark on each wire, a sleep woken by a message coming, and the room probe
rajamesandClaude Opus 5.52026-10-08 12:58:13 -04:00
7eb545f387
docs(v4.0.0): step 6e -- messages on the wire: the second attempt at the wait
rajamesandClaude Opus 5.52026-10-08 12:47:55 -04:00
8967c93241
docs(v4.0.0): the root causes behind the wait's faults, and the boots of the code that mends them
rajamesandClaude Opus 5.52026-10-08 12:25:19 -04:00
0d91608f39
fix(v4.0.0): EMIT ran past the output buffer; a message's first word was read before there was room for the rest
rajamesandClaude Opus 5.52026-10-08 11:46:05 -04:00
6015c87157
revert(v4.0.0): step 6d, the wait, is backed out -- two reviews found it unsound
rajamesandClaude Opus 5.52026-10-08 07:31:40 -04:00
10f5ffd00b
docs(v4.0.0): step 6d as mended after its review; the boots on that code
rajamesandClaude Opus 5.52026-10-08 06:44:12 -04:00
2cf37aab4f
fix(v4.0.0): step 6d after its review -- no error in the middle of the messages waiting, no offer left standing
rajamesandClaude Opus 5.52026-10-08 06:34:15 -04:00
380f1cc6ec
fix(v4.0.0): 29 values left on the stack hung the node; and what the review of step 6d found
rajamesandClaude Opus 5.52026-10-08 01:59:28 -04:00
2b587206ee
feat(v4.0.0): the wait replaces looking and the console release; step 6d written up
rajamesandClaude Opus 5.52026-10-08 01:24:09 -04:00
ec817a8264
fix(v4.0.0): a waiting node goes on passing on and paying; KILL is not held by a stuck node
rajamesandClaude Opus 5.52026-10-08 01:00:33 -04:00
353783726d
fix(v4.0.0): a node's answer goes before its sender's next text -- the last commit failed hosted-check
rajamesandClaude Opus 5.52026-10-08 00:07:41 -04:00
1c720ab2c7
fix(v4.0.0): what a node passes on waits with it, offered -- a relay is not held by a stuck node
rajamesandClaude Opus 5.52026-10-07 23:51:30 -04:00
482cc75faf
feat(v4.0.0): every message begins through the wait -- a stuck node holds up no one
rajamesandClaude Opus 5.52026-10-07 23:38:07 -04:00
075385ab63
feat(v4.0.0): the wait in the engine -- a node offers a word and sleeps
rajamesandClaude Opus 5.52026-10-07 23:15:11 -04:00
dfabfa46f6
docs(v4.0.0): step 6d -- the plan; and the wait offers on each port, not one
rajamesandClaude Opus 5.52026-10-07 22:27:21 -04:00
5150155281
docs(v4.0.0): step 6d -- the wait: rulings, engine, nucleus, limits and acceptance
rajamesandClaude Opus 5.52026-10-07 22:24:12 -04:00
59727f762a
fix(v4.0.0): step 6c mended after its review -- what a stuck or gone node can and cannot hold up
rajamesandClaude Opus 5.52026-10-07 22:18:06 -04:00
d343001dea
feat(v4.0.0): refusals and waits on bare metal, and step 6c written up
rajamesandClaude Opus 5.52026-10-07 20:38:20 -04:00
ee2bbf4ecf
feat(v4.0.0): Hera kills a node by number and tells the others it is gone
rajamesandClaude Opus 5.52026-10-07 20:27:06 -04:00
9efe8aad3a
feat(v4.0.0): a refused message is told to its sender -- NACK and GONE
rajamesandClaude Opus 5.52026-10-07 19:58:27 -04:00
6e1ac157c6
docs(v4.0.0): step 6c -- refusals and waits: rulings, design, acceptance and plan
rajamesandClaude Opus 5.52026-10-07 19:43:43 -04:00
a425f738a4
fix(kernel): the block chain's fast RAM is cleared on the v3 path
rajamesandClaude Opus 5.52026-10-07 14:10:49 -04:00
193523d873
fix(v4.0.0): three defects -- a refused device write, a failed starting state, a case that QUITs
rajamesandClaude Opus 5.52026-10-07 14:05:14 -04:00
bc6deab3f5
fix(v4.0.0): a node blocked at a port with no one on it is given an error, not left there
rajamesandClaude Opus 5.52026-10-07 12:25:35 -04:00
18adf59091
fix(v4.0.0): POST leaves nothing, as v3 really does; and what the review of step 6b found
rajamesandClaude Opus 5.52026-10-07 11:40:20 -04:00
eda6577a53
docs(v4.0.0): step 6a withdrawn -- drives that come and go are built as v3 has them
rajamesandClaude Opus 5.52026-10-07 11:06:33 -04:00
4bdb210a99
feat(v4.0.0): POST is the kernel's -- the boot feeds the cases, and nothing of the harness is on the node
rajamesandClaude Opus 5.52026-10-07 10:59:02 -04:00
2bf958ce3a
feat(v4.0.0): the POST runner -- the kernel feeds a case and judges it from outside
rajamesandClaude Opus 5.52026-10-07 10:36:36 -04:00
d5b7235464
feat(v4.0.0): every node asks the kernel for its blocks; a born node is not POSTed
rajamesandClaude Opus 5.52026-10-07 08:24:47 -04:00
26a0748455
docs(v4.0.0): storage brought back to the OS as designed -- every node asks the kernel
rajamesandClaude Opus 5.52026-10-07 07:21:10 -04:00
4a505a154d
feat(v4.0.0): storage speaks messages -- a device over v3's block chains, common and private
rajamesandClaude Opus 5.52026-10-06 20:41:07 -04:00
0e761cb117
refactor(v3): the block subsystem's state is a chain there can be two of; blk_subsys_init takes no VM
rajamesandClaude Opus 5.52026-10-06 20:33:32 -04:00
a7991f2757
docs(v4.0.0): storage -- the plan for step 6, and three details ruled into the spec
rajamesandClaude Opus 5.52026-10-06 19:12:23 -04:00
8cacfb663c
docs(v4.0.0): storage -- ruled: a static view over a shifting chain, the kernel's mapper, private drives
rajamesandClaude Opus 5.52026-10-06 19:04:51 -04:00
348eed7fa1
feat(v4.0.0): five nodes from nothing -- Hera asks for nodes, births and joins them
rajamesandClaude Opus 5.52026-10-06 14:48:23 -04:00
f9c034cadd
feat(v4.0.0): a node looks before it writes; two neighbours no longer stop each other
rajamesandClaude Opus 5.52026-10-06 13:56:57 -04:00
630d03fa4e
feat(v4.0.0): a node finds the way -- routes, passing on, SEND; one fault stands
rajamesandClaude Opus 5.52026-10-06 12:01:32 -04:00
a041b401ea
feat(v4.0.0): a node is sent text as a message and sends back what it prints
rajamesandClaude Opus 5.52026-10-06 11:19:46 -04:00
42610e844f
feat(v4.0.0): the nucleus is a capsule, sent to a node born empty
rajamesandClaude Opus 5.52026-10-06 10:33:15 -04:00
9af442f793
feat(v4.0.0): nodes that talk -- ports, a node born empty, and the fabric
rajamesandClaude Opus 5.52026-10-06 07:58:00 -04:00
beb7ded96c
docs(v4.0.0): talking nodes -- built in the shared engine, proven hosted first, then bare metal
rajamesandClaude Opus 5.52026-10-06 07:17:29 -04:00
ae17a1ccf0
docs(v4.0.0): talking nodes -- a node is born empty and takes in its first capsule
rajamesandClaude Opus 5.52026-10-06 07:15:19 -04:00
a68ea4841f
docs(v4.0.0): talking nodes -- Hera decides which nodes exist and are awake, not whose turn
rajamesandClaude Opus 5.52026-10-06 07:13:01 -04:00
11e135a8c3
docs(v4.0.0): talking nodes -- the geometry is data: ports are a parameter, wiring a table
rajamesandClaude Opus 5.52026-10-06 07:09:21 -04:00
c7b61b5680
docs(v4.0.0): talking nodes -- the geometry is not fixed to three dimensions
rajamesandClaude Opus 5.52026-10-05 21:40:15 -04:00
bd65b5b165
docs(v4.0.0): talking nodes -- units of five, joined centre to centre
rajamesandClaude Opus 5.52026-10-05 21:38:34 -04:00
a02a7905cd
docs(v4.0.0): talking nodes -- 2x2 + 1 central, six ports, scaling at run time
rajamesandClaude Opus 5.52026-10-05 21:35:51 -04:00
25fc5fd5e3
feat(v4.0.0): the node tells its kernel of its words; the boot seals the system
rajamesandClaude Opus 5.52026-10-05 19:38:40 -04:00
e8e8ea13ea
docs(v4.0.0): what the two products share -- engine, FORTH-79 capsule, POST; separate nuclei
rajamesandClaude Opus 5.52026-10-05 19:18:33 -04:00
