Issues - LithosAnanke - StarshipOS Gitea server

rajames/LithosAnanke

Labels Milestones New Issue

make -C v4 post79 does not reproduce POST: the table is stale (LOAD.rest_of_line) and POST79.md records v3 addresses area/v4

opened 2026-11-13 01:42:26 +00:00 by rajames

v4.0.0-alpha.5: SDK 0 / 3

v4 has no Compudynamics beyond heat counters: no rolling window, decay, pipelining, inference, L8, heartbeat -- blocks alpha.5 area/kernel area/v4

opened 2026-11-12 21:36:25 +00:00 by rajames

v4.0.0-alpha.5: SDK 0 / 4

v4: comments that read as unfinished or say what the code no longer does area/v4

opened 2026-11-11 21:34:06 +00:00 by rajames

v4.0.0-alpha.5: SDK 0 / 1

boot.c: a line is reported done after 4096 steps even if the node has not settled area/v4

opened 2026-11-11 21:33:20 +00:00 by rajames

v4.0.0-alpha.5: SDK 0 / 1

v4_manage_serve takes its arguments without checking the stack's depth area/v4

opened 2026-11-11 21:31:53 +00:00 by rajames

v4.0.0-alpha.5: SDK 0 / 2

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

v4.0.0-alpha.5: SDK

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

1 2