{
  "vulnerability_type": "generic",
  "source_finding_id": "VULN-001",
  "title": "No debt accounting allows repeated borrowing against the same collateral",
  "foundry_test_filename": "test/Contract.PoC.t.sol",
  "foundry_test_code": "// SPDX-License-Identifier: MIT\npragma solidity ^0.8.19;\n\nimport \"forge-std/Test.sol\";\n\ncontract AuditAIGenericPoCTest is Test {\n    function test_placeholder() public {\n        // TODO: implement exploit reproduction steps for this finding class.\n        // Generated template intentionally minimal for unsupported vulnerability type.\n        assertTrue(true);\n    }\n}\n",
  "patch_diff": "# No automatic patch diff available for this vulnerability type yet.\n# Start from the finding's suggested_fix and implement a targeted change.\n",
  "verification_steps": [
    "Place generated file under test/ in your Foundry project.",
    "Set TARGET address and align interface selectors to victim contract.",
    "Run: forge test --match-test test_reentrancy_drain -vvv (or full suite).",
    "Apply patch diff on vulnerable function.",
    "Re-run /scan and forge tests to confirm finding removal and exploit failure."
  ],
  "notes": [
    "Automatic exploit template is currently optimized for reentrancy paths.",
    "Use this scaffold and extend with finding-specific exploit logic."
  ]
}