Joshua-Medvinsky

// SPDX-License-Identifier: GPL-3.0-or-later
pragma solidity =0.8.28;

/// @title AlchemistV3Harness
/// @notice Vulnerable code extracted from AlchemistV3.sol for OPS-H009 POC
/// @dev Repay griefing: expensive operations before collateral check enables DoS
contract AlchemistV3Harness {
    
    uint256 public constant BPS = 10000;
    uint256 public constant FIXED_POINT_SCALAR = 1e18;

Joshua-Medvinsky

// SPDX-License-Identifier: GPL-3.0-or-later
pragma solidity =0.8.28;

/// @title AlchemistV3Harness
/// @notice Vulnerable code extracted from AlchemistV3.sol for ECON-H001 POC
/// @dev Missing _mytSharesDeposited decrement in liquidations causes TVL inflation
contract AlchemistV3Harness {
    
    uint256 public constant FIXED_POINT_SCALAR = 1e18;
    

Joshua-Medvinsky

// SPDX-License-Identifier: GPL-3.0-or-later
pragma solidity =0.8.28;

/// @title AlchemistV3Harness
/// @notice Vulnerable code extracted from AlchemistV3.sol for ECON-C001 POC
/// @dev Contains the exact vulnerable liquidation logic (lines 548-889 from AlchemistV3.sol)
contract AlchemistV3Harness {
    
    uint256 public constant BPS = 10_000;
    uint256 public constant FIXED_POINT_SCALAR = 1e18;