"Supernova team on IBM Bob 2.0 hackathon Hackathon"

NeverGraph is a Negative Specification Compiler that uses IBM Bob to recover hidden “must-never-happen” rules from repository evidence, then proves the shortest behavioral path by which a future code change can violate them.