Run Details #593

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):
    # Validate inputs
    if not isinstance(amount, int) or amount < 0:
        raise TypeError("amount must be a non-negative integer")
    if not isinstance(coins, list) or len(coins) == 0:
        raise TypeError("coins must be a non-empty list")
    for c in coins:
        if not isinstance(c, int) or c <= 0:
            raise TypeError("coins must be a list of positive integers")

    # Dynamic programming: min coins to make each value up to amount
    max_value = amount
    INF = max_value + 1
    dp = [INF] * (max_value + 1)
    dp[0] = 0

    for v in range(1, max_value + 1):
        best = INF
        for c in coins:
            if c <= v:
                prev = dp[v - c]
                if prev + 1 < best:
                    best = prev + 1
        dp[v] = best

    if dp[amount] >= INF:
        raise ValueError("Exact change cannot be made with given coins")

    return dp[amount]
```