Home Economy AI Safety Has a Trust Problem. Chris Hsu Is Betting on Proof Instead.