{
  "T1_control": {
    "verifier": true,
    "result": [
      true,
      "committed"
    ],
    "effect": 1
  },
  "T2_target_race_if_match": {
    "result": [
      false,
      "target_precondition_failed"
    ],
    "effect": 0
  },
  "T3_external_race_if_match_only": {
    "target_version_still_matches": true,
    "budget_version_matches": false,
    "result": [
      true,
      "committed"
    ],
    "effect": 1
  },
  "T4a_full_guard_no_race": {
    "result": [
      true,
      "committed"
    ],
    "effect": 1
  },
  "T4b_external_race_full_guard": {
    "result": [
      false,
      "budget_version_precondition_failed"
    ],
    "effect": 0
  },
  "T5_verifier_to_commit_target_race": {
    "verifier_before_race": true,
    "result": [
      false,
      "target_precondition_failed"
    ],
    "effect": 0
  },
  "T6_verifier_to_commit_external_race": {
    "verifier_before_race": true,
    "target_version_still_matches": true,
    "compliance_approved": false,
    "result_if_match_only": [
      true,
      "committed"
    ],
    "effect": 1
  },
  "T7a_final_read_no_race": {
    "final_read_passed": true,
    "compliance_version_still_matches_at_commit": true,
    "compliance_approved_at_commit": true,
    "commit": [
      true,
      "committed"
    ],
    "effect": 1
  },
  "T7b_revoked_after_final_read": {
    "final_read_passed": true,
    "compliance_version_still_matches_at_commit": false,
    "compliance_approved_at_commit": false,
    "commit": [
      true,
      "committed"
    ],
    "effect": 1
  }
}