What you posted was wrong, like I said. There are programs that have proofs demonstrating they are free of bugs. You have not seen them do either of the thing

What you posted was wrong, like I said. There are programs that have proofs demonstrating they are free of bugs. You have not seen them do either of the things you claim to have seen. You were stating something false.