C2: Mitigates Failure Modes¶

Enforces P3: Each harness mitigates a failure mode.

BlockContract.mitigates_failure_modes is required, with at least one entry for any allow-listed harness, and every entry must resolve to a registered code in the failure-mode registry. An unregistered code is a contract violation.

Enforced at: tests/contract/test_mitigates_failure_modes.py.