```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.")
    
    if len(code) >= width:
        return code
    
    return code.zfill(width)
```