According to the example of the Providing a deposit in the bitcoin wiki,
https://en.bitcoin.it/wiki/Contract#Example_1:_Providing_a_depositI found that even if the user is malicious, the malicious user can't be punished (no loss of money).
Obviously, if the user turns out to be abusive (i.e., a spammer), the website will not allow an early close of the contract.
Are there contract methods that can punish the malicious user?