{
  "status": "ACTUAL_HALF_TIE_EVIDENCE_VERIFIED_NOT_A_FIX",
  "baseline_assertions": 1282,
  "negative_mutations_rejected": [
    "round neighboring input",
    "convert host type",
    "wrong PDO type",
    "business target",
    "case omitted",
    "rollback omitted",
    "warning hidden",
    "false utf8mb4",
    "cleanup missing",
    "bad aggregate count"
  ],
  "B": {
    "cases": 52,
    "DDL": 2,
    "INSERT_attempts": 56,
    "rollbacks": 52,
    "probe_queries": 353,
    "natural_queries": 20,
    "natural_equal": true,
    "object0": true,
    "C_warning_status": "not-applicable"
  },
  "C": {
    "cases": 52,
    "DDL": 2,
    "INSERT_attempts": 56,
    "rollbacks": 52,
    "probe_queries": 301,
    "natural_queries": 20,
    "natural_equal": true,
    "object0": true,
    "C_warning_status": "unknown"
  },
  "actual_effective_B_UTF8_verified": true,
  "all_original56_bindings_preserved_each_lane": true,
  "new_verifier_DB_operations": 0
}