Problem fixes - #16

Open

Willy-Chan wants to merge 5 commits into

mainfrom

Commits on Jul 27, 2026

Fix flagged problems so each is distinct and kernel-relevant

Willy-Chan
and
claude
committed