"SsnFall team on IBM Bob 2.0 hackathon Hackathon"

Cleave splits large pull requests into a stack of small, reviewable PRs inside IBM Bob IDE. Bob only groups and orders hunks; the engine proves every layer passes the tests alone and the stack matches the original PR exactly.