```python
def pad_code(code: str, width: int) -> str:
    """Pads a code with zeros on its left until it reaches a fixed width."""
    if width <= 0:
        raise ValueError("Width must be positive.")
    return code.rjust(width, "0")
```