Run Details #588

Question: Write Python 3.12 code only. Define exactly one function named min_coins_for_amount(amount, coins). Return the minimum number of coins needed to make the amount exactly. If exact change is impossible, raise ValueError. Raise TypeError for invalid input types. Do not use any imports (no numpy, requests, or other libraries). Sandbox note: dunder attribute access is blocked (for example, type(x).__name__). Avoid names/attributes starting with '__'. Expected output format: - Return exactly one fenced Markdown code block starting with ```python and ending with ```. - Put only valid Python code inside that block (no prose before/after). - Use 4 spaces for indentation (not tabs). - Do not return JSON and do not wrap code in a "function" key. Sample input/output behavior: - min_coins_for_amount(44, [1, 4, 22]) -> 2 Task: Write a Python 3.12 function for making change with the fewest coins (e.g., 78c with 1c, 4c, 22c).

Submitted code

```python
def min_coins_for_amount(amount, coins):
    # Type validation
    if not isinstance(amount, int) or not isinstance(coins, list):
        raise TypeError("amount must be an int and coins must be a list")
    
    if amount < 0:
        raise TypeError("amount must be non-negative")
    
    for coin in coins:
        if not isinstance(coin, int) or coin <= 0:
            raise TypeError("all coins must be positive integers")
    
    # Handle edge case
    if amount == 0:
        return 0
    
    # Dynamic programming approach
    # dp[i] will store the minimum number of coins needed to make amount i
    dp = [float('inf')] * (amount + 1)
    dp[0] = 0
    
    # Fill the dp table
    for i in range(1, amount + 1):
        for coin in coins:
            if coin <= i:
                dp[i] = min(dp[i], dp[i - coin] + 1)
    
    # If dp[amount] is still infinity, exact change is impossible
    if dp[amount] == float('inf'):
        raise ValueError("exact change is impossible")
    
    return dp[amount]
```