Show HN: Turn a diff into an evidence-backed Assumption Ledger