aichance

Four interactive workbenches: replay assumptions, review evidence, inspect failed runs, and build before/after proof packs.