What type of daml properties, if left untested, can cause logical vulnerabilities? What role can Daml-LF spec type safety proofs play in order to test such properties?
Can you provide and example/more information on what you mean exactly with your question?