"Deadlock team on IBM Bob 2.0 hackathon Hackathon"

Team Idea

Building AI-powered systems for problems that should move forward, but somehow get stuck when too many decisions collide.

Team Members

Panji Arya Soma

panjiaryasoma

Computer Science Student

Submission

MergeProof — Evidence-Backed Pre-Merge Verifier

MergeProof is a Bob-native, read-only pre-merge verifier that traces requirements to code and tests, resolves source conflicts, and returns evidence-backed PASS, REVIEW_REQUIRED, or ABSTAIN advisories.