Run Details #1057

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

def gcd_checked(a, b):
    if type(a) is not type(int) or type(b) is not type(int):
        raise TypeError("Both arguments must be integers.")
    if a <= 0 or b <= 0:
        raise ValueError("Both arguments must be greater than zero.")

    while b:
        a, b = b, a % b
    return a