Type-soundness and formatting cleanup on top of #80#81

scottmessinger wants to merge 1 commit into

copilot/reduce-kernel-allocationscommoncurriculum/supergrain:copilot/reduce-kernel-allocationsfrom

claude/fix-base-correctnesscommoncurriculum/supergrain:claude/fix-base-correctnessCopy head branch name to clipboard