An autonomous software factory that knows what it is supposed to deliver, and proves it did.