Run Details #586

Question: Write Python 3.12 code only. Define exactly one function named gcd_checked(a, b). It must return the greatest common divisor of two integers. Raise TypeError if either argument is not an int. Raise ValueError if either argument is <= 0. 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: - gcd_checked(54, 24) -> 6 Task: Write a Python 3.12 function that calculates GCD (greatest common denominator) and raises exceptions for invalid input.

Submitted code

```python
def gcd_checked(a, b):
    if not isinstance(a, int) or isinstance(a, bool):
        raise TypeError(f"Argument a must be an int, not {type(a).__name__}")
    if not isinstance(b, int) or isinstance(b, bool):
        raise TypeError(f"Argument b must be an int, not {type(b).__name__}")
    
    if a <= 0:
        raise ValueError(f"Argument a must be positive, got {a}")
    if b <= 0:
        raise ValueError(f"Argument b must be positive, got {b}")
    
    while b != 0:
        a, b = b, a % b
    
    return a
```