I think the difficulty is then shifted though: What if it turns out, that the manufacturer of the code lied to us and the software did something in addition to

I think the difficulty is then shifted though: What if it turns out, that the manufacturer of the code lied to us and the software did something in addition to what they told us? (Which undoubtedly would happen.) Do we as a society revoke their license to ship software or something? Do we let them pay in millions and billions, depending on how many people were affected and how badly? Or do meakly wag a finger? In short: What are the consequences you propose in that system, which will stop the perpetrator from doing it again?