"ShadowSpec team on IBM Bob 2.0 hackathon Hackathon"

Team Idea

Solo build. ShadowSpec is a zero-key evidence workbench that turns risky legacy maintenance into a verdict with executable evidence - reject the broad patch, accept the narrow one, export the proof. Built end-to-end with IBM Bob 2.0.

Team Members

Sutharshan Kanthakumar

sutharshank

Product designer

Submission

ShadowSpec: Never Break Old Code Again

ShadowSpec is an evidence workbench for legacy maintenance: it runs behaviour characterisation and acceptance checks on every patch, rejects the broad fix, accepts the narrow one, and exports the proof. Built end-to-end with IBM Bob 2.0.