The Future of Supply Chain Disputes Is a Proof Problem