Why would pgp need to add sth over smime cryptowise? To me the difference is trust allowing sth. like autocrypt to be implemented . For me both work when build

Why would pgp need to add sth over smime cryptowise? To me the difference is trust allowing sth. like autocrypt to be implemented . For me both work when build into a client: Regarding proofs, i was just trying to comment on all the go/rust praises. Why would i need type safety if its such a thin layer. I am using openssl with bash for trivial encryption tasks. Not much can go wrong either. An Ada spark re-implementation of gpg would be still prefered by me if you just complain about too much nonauditable code.