Edit

no violation detection (smart contract has no power)

no violation detection (enforcement contract has no power)