The hardened implementation should be specified independently of contracts which are not a proven technology. All existing deployed field experience are not based on contracts.
Proposed change:
Change “contract violation” to “runtime violation”.
Duplicate of #588 (#690, #691)
