Validate schema numeric ranges

Author: SqlRush

docs/cc-100-roadmap.md

@@ -289,6 +289,8 @@ M5 补充：WebSearch domain filters 现在在 schema 层声明 array `items:str
 
 M5 补充：通用 tool schema validator 现在支持 `enum`，可直接执行 Grep output mode、NotebookEdit edit mode/cell type、Todo status/priority、Task target/action、LSP severity 等工具 schema 的枚举契约。
 
+M5 补充：通用 tool schema validator 现在支持数字 `minimum`/`maximum`，可直接执行 LSPDiagnostics `limit` 等工具 schema 的数值范围契约。
+
 M7 补充：scripted permission payload、dialog expectation、event、cancel-permission 和 dialog-result expectation 现在接受 `ID`/`ToolName`/`Actions`、`permissionID`、`requestID`、`toolUseID`、`operationID`、`operation`、`commandName`、`resourcePath`、`body`、`reasonText`、`allowedActions`、`buttons` 等相邻字段，并支持数字 request ID。
 
 M6 补充：microcompact disk cache loader 和 prune 现在接受 digest 缺失但文件名已 keyed 的 cache entry，会用 `<digest>.json` 文件名作为 digest fallback，同时保留显式 digest mismatch 的 invalid-cache guard。

docs/claude-code-go-rewrite-plan.md

@@ -185,6 +185,7 @@ test/parity/                 # golden tests against TS/official behavior
 - 本轮补充：WebSearch `query` schema 现在按官方 `min(2)` 约束拒绝单字符查询，通用 tool schema validator 同步支持 `minLength`，让工具定义可直接表达字符串最小长度契约。
 - 本轮补充：WebSearch domain filters 现在在 schema 层声明 array `items:string`，通用 tool schema validator 同步支持 `items` 校验；`allowed_domains`/`blocked_domains` 会拒绝空字符串、URL/port、非法 wildcard 和非域名 label。
 - 本轮补充：通用 tool schema validator 现在支持 `enum`，可直接执行 Grep output mode、NotebookEdit edit mode/cell type、Todo status/priority、Task target/action、LSP severity 等工具 schema 的枚举契约。
+- 本轮补充：通用 tool schema validator 现在支持数字 `minimum`/`maximum`，可直接执行 LSPDiagnostics `limit` 等工具 schema 的数值范围契约。
 - 本轮补充：WebFetch/WebSearch 输入解码现在兼容 `timeout`、`max_bytes`/`maxBytes`、`max_results`/`maxResults` 的 quoted semantic string 数值；WebSearch 也会按官方校验拒绝同一请求同时设置 `allowed_domains` 和 `blocked_domains`。
 - 本轮补充：Grep 现在支持 whole-word 搜索参数 `word_regexp`/`wordRegexp`/`word-regexp`/`-w`，在 regex 和 fixed-string 模式下按词边界过滤匹配，并兼容 quoted boolean 输入。
 - 本轮补充：Grep 现在支持反向匹配参数 `invert_match`/`invertMatch`/`invert-match`/`-v`，`files_with_matches`、`content`、`count` 和 multiline 模式都会按非匹配行/未覆盖行输出，并兼容 quoted boolean 输入。

internal/tool/schema.go

@@ -33,6 +33,16 @@ func validateValue(schema contracts.JSONSchema, value any, path string) error {
 			return fmt.Errorf("%s must be one of %s", path, describeEnumValues(enumValues))
 		}
 	}
+	if minimum, ok := schemaNumberConstraint(schema["minimum"]); ok {
+		if number, ok := schemaNumber(value); ok && number < minimum {
+			return fmt.Errorf("%s must be at least %s", path, describeSchemaNumber(minimum))
+		}
+	}
+	if maximum, ok := schemaNumberConstraint(schema["maximum"]); ok {
+		if number, ok := schemaNumber(value); ok && number > maximum {
+			return fmt.Errorf("%s must be at most %s", path, describeSchemaNumber(maximum))
+		}
+	}
 	if minLength, ok := intSchemaConstraint(schema["minLength"]); ok {
 		text, ok := value.(string)
 		if ok && utf8.RuneCountInString(text) < minLength {
@@ -194,6 +204,17 @@ func schemaNumber(value any) (float64, bool) {
 	}
 }
 
+func schemaNumberConstraint(value any) (float64, bool) {
+	return schemaNumber(value)
+}
+
+func describeSchemaNumber(value float64) string {
+	if math.Trunc(value) == value {
+		return fmt.Sprintf("%.0f", value)
+	}
+	return fmt.Sprintf("%g", value)
+}
+
 func intSchemaConstraint(value any) (int, bool) {
 	switch v := value.(type) {
 	case int:

internal/tool/tool_test.go

@@ -39,6 +39,7 @@ func TestValidateSchema(t *testing.T) {
 			"path":  map[string]any{"type": "string", "minLength": 2},
 			"mode":  map[string]any{"type": "string", "enum": []any{"read", "write"}},
 			"count": map[string]any{"type": "integer", "enum": []any{1, 2}},
+			"limit": map[string]any{"type": "integer", "minimum": 1, "maximum": 5},
 			"tags":  map[string]any{"type": "array", "items": map[string]any{"type": "string"}},
 		},
 	}
@@ -57,10 +58,16 @@ func TestValidateSchema(t *testing.T) {
 	if err := ValidateSchema(schema, json.RawMessage(`{"path":"README.md","count":3}`)); err == nil || !strings.Contains(err.Error(), "input.count must be one of 1, 2") {
 		t.Fatalf("err = %v", err)
 	}
+	if err := ValidateSchema(schema, json.RawMessage(`{"path":"README.md","limit":0}`)); err == nil || !strings.Contains(err.Error(), "input.limit must be at least 1") {
+		t.Fatalf("err = %v", err)
+	}
+	if err := ValidateSchema(schema, json.RawMessage(`{"path":"README.md","limit":6}`)); err == nil || !strings.Contains(err.Error(), "input.limit must be at most 5") {
+		t.Fatalf("err = %v", err)
+	}
 	if err := ValidateSchema(schema, json.RawMessage(`{"path":"README.md"}`)); err != nil {
 		t.Fatal(err)
 	}
-	if err := ValidateSchema(schema, json.RawMessage(`{"path":"README.md","mode":"read","count":2}`)); err != nil {
+	if err := ValidateSchema(schema, json.RawMessage(`{"path":"README.md","mode":"read","count":2,"limit":5}`)); err != nil {
 		t.Fatal(err)
 	}
 }