Issues - LithosAnanke - StarshipOS Gitea server

rajames/LithosAnanke

Labels Milestones New Issue

MESH steps 8-9: the products are the five nodes, hosted and then bare metal area/v4

opened 2026-11-06 19:05:48 +00:00 by rajames

v4.0.0

KEY, EXPECT and QUERY read messages, not the console registers (MESH step 3) area/v4

opened 2026-11-06 19:05:47 +00:00 by rajames

v4.0.0

MACHINE steps 3-6: init.4th after POST; Hera streams the ROM; FORTH-79 out of the .f18; v3 out of the build area/v4

opened 2026-11-06 19:05:47 +00:00 by rajames

v4.0.0

Strict warnings on boot.c, post.c and blocks.c area/v4

opened 2026-11-06 16:01:23 +00:00 by rajames

One implementation of the wire operations (boot.c and fabric.c) area/v4

opened 2026-11-06 16:01:23 +00:00 by rajames

An error raised to an unattached error register is lost area/v4

opened 2026-11-06 16:01:23 +00:00 by rajames

Check build parameters at compile time: V4_PORTS above 16 overflows the port-status bits area/v4

opened 2026-11-06 16:01:23 +00:00 by rajames

Run make -C v4 sanitize and hosted-check in CI area/v4

opened 2026-11-06 16:01:23 +00:00 by rajames

CI and the gate

Fuzz the text assembler, the ROM's assembler and the line input area/v4

opened 2026-11-06 16:01:22 +00:00 by rajames

Kernel block requests push onto the node's stack without the overflow check (D-16) area/v4

opened 2026-11-06 16:01:22 +00:00 by rajames

A byte address given to ! -- PAD 42 OVER ! (D-1) area/v4

opened 2026-11-06 16:01:22 +00:00 by rajames

Isabelle/HOL proofs for v4: opcode semantics, and the stack and fault model area/proofs area/v4

opened 2026-11-06 16:01:22 +00:00 by rajames

Kernel words for the v4 node: v3's C words served from a node (ENGINE.md step 4) area/kernel area/v4

opened 2026-11-06 16:01:22 +00:00 by rajames

Rule D-4 (the memory map) and D-6 (heat structures in hardware) area/v4

opened 2026-11-06 16:01:22 +00:00 by rajames

v4.0.0

Verilator co-simulation of one node, and a per-instruction state trace from the golden model area/v4

opened 2026-11-06 16:01:22 +00:00 by rajames

v4.0.0

Hosted mesh running the Tripod roles as nodes (ENGINE.md steps 6-7) area/v4

opened 2026-11-06 16:01:22 +00:00 by rajames

v4.0.0

Word-level ACL on the v4 path: the countdown and recheck at call (ENGINE.md step 3) area/kernel area/v4

opened 2026-11-06 16:01:21 +00:00 by rajames

v4.0.0

Measure K=1.0 on the golden model, at 32- and 64-bit cells, on all three host ISAs area/v4

opened 2026-11-06 16:01:21 +00:00 by rajames

v4.0.0

v4 parity with v3: 317 words against v3's 526, and v3's POST not yet run on v4 area/v4

opened 2026-11-06 16:01:21 +00:00 by rajames

v4.0.0