Full kernel replacement Phase 2: all 13 modules to decision struct pattern

[avrabe]

Summary

Convert ALL 13 wired kernel modules from arithmetic-oracle pattern to Extract→Decide→Apply decision struct pattern. Rust now owns all kernel logic decisions; C shims are minimal ABI adapters.

Modules Converted (12 new + 1 from Phase 1)

Module	Decision Structs	Difficulty
sem (Phase 1)	GaleSemGiveDecision, GaleSemTakeDecision	Low
stack	GaleStackPushDecision, GaleStackPopDecision	Low
fifo/lifo	GaleFifoPutDecision, GaleFifoGetDecision	Low
mem_slab	GaleMemSlabAllocDecision, GaleMemSlabFreeDecision	Low
timer	GaleTimerExpireDecision, GaleTimerStatusDecision	Medium
event	GaleEventPostDecision, GaleEventWaitDecision	Medium
timeout	GaleTimeoutDecision	Medium
msgq	GaleMsgqPutDecision, GaleMsgqGetDecision	Medium
queue	GaleQueueAppendDecision, GaleQueueGetDecision	Medium
mbox	GaleMboxPutDecision, GaleMboxGetDecision	Medium
mutex	GaleMutexLockDecision, GaleMutexUnlockDecision	High
pipe	GalePipeWriteDecision, GalePipeReadDecision	High

Architecture

Each C shim now follows: Extract state → Call Rust → Apply action

• Rust returns #[repr(C)] decision struct with action + updated values
• C applies: wake thread, pend current, update count, reschedule
• Data movement (memcpy, ring buffer) stays in C
• Spinlock/tracing/syscall marshaling stays in C

Test plan

• cargo test — 62 test suites, 0 failures
• cargo build --manifest-path ffi/Cargo.toml — compiles
• CI: Rust CI passes
• CI: All 20 Zephyr test suites pass on qemu_cortex_m3
• CI: All 3 Renode boards pass (M4F/M33/R5)

See docs/superpowers/specs/2026-03-19-full-kernel-replacement-design.md for full spec.

🤖 Generated with Claude Code