- Rumpk Core: Complete exorcism of LwIP/NET ghosts. Transitioned to ION nomenclature.
- ABI Sync: Synchronized Zig HAL and Nim Logic Ring Buffer layouts (u32 head/tail/mask).
- Invariant Shield: Hardened HAL pipes with handle-based validation and power-of-2 sync.
- Immune System: Verified Blink Recovery (Self-Healing) with updated ION Control Plane.
- NexShell: Major refactor of Command Plane for Sovereign Ring access.
- Architecture: Updated SPEC files and Doctrines (Silence, Hexagonal Sovereignty).
- Purge: Removed legacy rumk and nip artifacts for a clean substrate.
- Web: Updated landing page vision to match Rumpk v1.1 milestones.
- Implement Design by Contract in HAL and Kernel (Phase 2 Task 1)
- Add invariant checks to Sovereign Channels (pointer validation, bounds)
- Create invariant.nim for secure Logic-to-HAL transitions
- Codify Silence Doctrine in DOCTRINE.md and SPEC files
- Finalize Blink Recovery confirmation via Saboteur test
- Update SPEC-008, SPEC-009, SPEC-010, SPEC-011 with architectural refinements
- Sync Website vision with new technical milestones
- Implemented Sovereign Syscall Table at 0x801FFF00
- Added cooperative yielding (s_yield) for Guest/Kernel concurrency
- Initialized Guest RX Ring and flows in Kernel
- Bridged LwIP in Guest via net_glue and ion_client overrides
- Validated TCP handshake and data transmission (Subject Zero -> Host)
- Confirmed 'Hello from the Membrane!' via UART and Network
Added feature-colocated documentation for AI agent discoverability:
- core/README.md: L1 Nim logic overview
- hal/README.md: L0 Zig HAL overview, exported symbols
- boot/README.md: Linker scripts, memory layout
Panopticum Compliance: Each folder is now self-documenting.
TIME HAS BEEN INVENTED
======================
Rumpk now has cooperative multitasking with Fibers.
BOOT OUTPUT
-----------
[Fiber A] I am alive! Yielding to B...
[Fiber B] Hello from B! Yielding to A...
[Fiber A] I am back! Yielding to B...
[Fiber B] Returned! Yielding to A...
[Fiber A] Final return. Halting.
IMPLEMENTATION
--------------
hal/switch.S:
- ARM64 context switch (96-byte frame, 16-byte aligned)
- Saves x19-x28, x29 (FP), x30 (LR)
- Stack pointer swap between fibers
core/fiber.nim:
- FiberObject with state (sp, entry)
- fiber_trampoline() - entry point for new fibers
- init_fiber() - sets up initial stack frame
- switch() - cooperative yield to another fiber
BUILD FIXES
-----------
- Added -fno-sanitize=all to prevent ubsan interference
- Added --checks:off --assertions:off to Nim
- Fixed stack alignment (104 -> 96 bytes)
PHASES COMPLETED
----------------
✅ Phase 1: Documentation (SPEC-008/009/010)
✅ Phase 2: Pure Zig libc (Freestanding Doctrine)
✅ Phase 3: Cooperative Fibers (Ping Pong)
→ Phase 4: NPL loading + Ed25519
→ Phase 5: VisionFive 2 RISC-V
The unikernel can now multiplex execution.
POSIX threads are optional. We own the scheduler.
THE GHOST IN THE MACHINE IS EXORCISED
======================================
Rumpk now builds with ZERO C source files.
All libc functions are implemented in pure Zig.
WHAT CHANGED
------------
- NEW: hal/stubs.zig - Pure Zig libc implementation
- memcpy, memset, memmove, memcmp
- strlen, strcmp, strcpy
- malloc, free, realloc, calloc (bump allocator)
- printf, puts, putchar (route to UART)
- exit, abort (halt CPU)
- signal, raise (no-op stubs)
- REMOVED: core/cstubs.c dependency from build
- C code is now only Nim's generated IR
- UPDATED: kernel.nim
- Removed malloc/free/realloc exports
- Now imports from Zig stubs
- UPDATED: build.sh
- Compiles hal/stubs.zig separately
- Links stubs.o with hal.o and nimcache/*.o
DOCTRINE DOCUMENT
-----------------
- .agents/steering/FREESTANDING-DOCTRINE.md
- Codifies the 'Pure Zig ABI' principle
- Documents build requirements
- Lists all exported symbols
VERIFICATION
------------
$ file build/rumpk.elf
ELF 64-bit LSB executable, ARM aarch64, statically linked
$ qemu-system-aarch64 -M virt -kernel build/rumpk.elf
[Rumpk L0] Zig HAL Initialized
[Rumpk L1] Nim Kernel Alive!
[Rumpk L1] The Rubicon is crossed.
[Rumpk L1] Zig + Nim = Sovereign Metal.
This proves:
- POSIX is optional
- GCC is optional
- glibc/musl is optional
- We are the standard library now
Markus Maiwald