```python
def clamp_move(position: int, delta: int, width: int) -> list:
    if not isinstance(width, int) or width < 1:
        raise ValueError("width must be a positive integer")
    if not isinstance(position, int) or not 0 <= position < width:
        raise ValueError("position must sit inside the corridor")
    if not isinstance(delta, int) or delta == 0:
        raise ValueError("a move must be a non-zero integer")
    landed = min(width - 1, max(0, position + delta))
    return [landed, landed != position + delta]


def run_patrol(width: int, start: int, moves: list) -> dict:
    if not isinstance(moves, list):
        raise ValueError("moves must be a list")
    
    visited = set()
    position = start
    bumps = 0
    
    for move in moves:
        if not isinstance(move, int):
            raise ValueError("each move must be a non-zero integer")
        
        landed, bumped = clamp_move(position, move, width)
        visited.add(position)
        
        if bumped:
            bumps += 1
        
        position = landed
    
    # Check if the bot returned to the start with one cell visited
    if position == start and len(visited) == 1:
        raise ValueError("a move must leave the bot at its start with one cell visited")
    
    return {
        "position": position,
        "bumps": bumps,
        "visited": len(visited)
    }
```