{
  "status": 200,
  "response": {
    "verification_id": "74354743-8dc5-4edb-8726-6dcb0d1ef72f",
    "contract_name": "VulnerableBank.sol",
    "status": "fixed",
    "target_finding_title": "Reentrancy in withdraw due to external call before state update",
    "target_removed": true,
    "before": {
      "findings_count": 1,
      "critical_count": 0,
      "high_count": 1,
      "medium_count": 0,
      "low_count": 0
    },
    "after": {
      "findings_count": 1,
      "critical_count": 0,
      "high_count": 0,
      "medium_count": 0,
      "low_count": 1
    },
    "removed_findings": [
      "reentrancy::reentrancy in withdraw due to external call before state update"
    ],
    "remaining_findings": [
      "compiler version::floating pragma allows compilation with known-buggy solidity versions"
    ],
    "notes": [
      "Before findings: 1; after findings: 1.",
      "Validation method: analyzer diff on original vs patched source."
    ]
  }
}