(value: string | undefined, fallback: number, name: string)
| 124 | } |
| 125 | |
| 126 | function parsePositiveInteger(value: string | undefined, fallback: number, name: string): number { |
| 127 | if (!value) return fallback; |
| 128 | |
| 129 | const parsed = Number(value); |
| 130 | if (!Number.isInteger(parsed) || parsed < 1) { |
| 131 | throw new Error(`Invalid ${name}: ${value}`); |
| 132 | } |
| 133 | |
| 134 | return parsed; |
| 135 | } |
| 136 | |
| 137 | function parseToolNaming(value: string | undefined): ToolNamingMode { |
| 138 | if (!value || value === "short") return "short"; |