--kernel smlib and both remain. --known-failing still grades the SMLib side, whose lists these are, so it needs that said, and the CI gates opt in. The ladder takes --kernel for its one backend. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01MNXLXkZLQ6T7TSi4wswcmk