Validate schema additional properties

Author: SqlRush

docs/cc-100-roadmap.md

@@ -291,6 +291,8 @@ M5 补充：通用 tool schema validator 现在支持 `enum`，可直接执行 G
 
 M5 补充：通用 tool schema validator 现在支持数字 `minimum`/`maximum`，可直接执行 LSPDiagnostics `limit` 等工具 schema 的数值范围契约。
 
+M5/M9 补充：通用 tool schema validator 现在支持 `required` 的 Go `[]string` 形态和 object `additionalProperties` schema 校验，MCP `get_prompt.arguments` 会在 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

@@ -186,6 +186,7 @@ test/parity/                 # golden tests against TS/official behavior
 - 本轮补充：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 的数值范围契约。
+- 本轮补充：通用 tool schema validator 现在支持 `required` 的 Go `[]string` 形态和 object `additionalProperties` schema 校验，MCP `get_prompt.arguments` 会在 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/mcp/tools_test.go

@@ -370,6 +370,14 @@ func TestBuildPromptToolsListAndGetPrompt(t *testing.T) {
 	if !strings.Contains(string(client.calls[0].Input), `"name":"deploy"`) || !strings.Contains(string(client.calls[0].Input), `"env":"prod"`) {
 		t.Fatalf("get input = %s", client.calls[0].Input)
 	}
+	_, err = executor.Execute(tool.Context{Context: context.Background()}, contracts.ToolUse{
+		ID:    "toolu_bad_prompt_argument",
+		Name:  "mcp__workflow__get_prompt",
+		Input: json.RawMessage(`{"name":"deploy","arguments":{"env":3}}`),
+	}, nil)
+	if err == nil || !strings.Contains(err.Error(), "input.arguments.env must be string") {
+		t.Fatalf("expected prompt argument schema error, got %v", err)
+	}
 	_, err = executor.Execute(tool.Context{Context: context.Background()}, contracts.ToolUse{
 		ID:    "toolu_bad_prompt",
 		Name:  "mcp__workflow__get_prompt",

internal/tool/schema.go

@@ -73,24 +73,39 @@ func validateValue(schema contracts.JSONSchema, value any, path string) error {
 	}
 
 	properties, ok := schema["properties"].(map[string]any)
-	if !ok {
-		return nil
-	}
 	obj, ok := value.(map[string]any)
 	if !ok {
 		return nil
 	}
-	for key, propertySchema := range properties {
-		child, ok := obj[key]
-		if !ok {
-			continue
+	if ok {
+		for key, propertySchema := range properties {
+			child, ok := obj[key]
+			if !ok {
+				continue
+			}
+			propertyMap, ok := propertySchema.(map[string]any)
+			if !ok {
+				continue
+			}
+			if err := validateValue(contracts.JSONSchema(propertyMap), child, path+"."+key); err != nil {
+				return err
+			}
 		}
-		propertyMap, ok := propertySchema.(map[string]any)
-		if !ok {
-			continue
+	}
+	if additionalSchema, ok := schema["additionalProperties"].(map[string]any); ok {
+		for key, child := range obj {
+			if _, defined := properties[key]; defined {
+				continue
+			}
+			if err := validateValue(contracts.JSONSchema(additionalSchema), child, path+"."+key); err != nil {
+				return err
+			}
 		}
-		if err := validateValue(contracts.JSONSchema(propertyMap), child, path+"."+key); err != nil {
-			return err
+	} else if additional, ok := schema["additionalProperties"].(bool); ok && !additional {
+		for key := range obj {
+			if _, defined := properties[key]; !defined {
+				return fmt.Errorf("%s.%s is not allowed", path, key)
+			}
 		}
 	}
 	return nil
@@ -253,17 +268,20 @@ func stringOrStrings(value any) []string {
 }
 
 func stringSlice(value any) []string {
-	items, ok := value.([]any)
-	if !ok {
-		return nil
-	}
-	out := make([]string, 0, len(items))
-	for _, item := range items {
-		if s, ok := item.(string); ok {
-			out = append(out, s)
+	switch items := value.(type) {
+	case []any:
+		out := make([]string, 0, len(items))
+		for _, item := range items {
+			if s, ok := item.(string); ok {
+				out = append(out, s)
+			}
 		}
+		return out
+	case []string:
+		return append([]string(nil), items...)
+	default:
+		return nil
 	}
-	return out
 }
 
 func normalizeRawInput(raw json.RawMessage) json.RawMessage {

internal/tool/tool_test.go

@@ -34,15 +34,19 @@ func TestRegistryAliasLookup(t *testing.T) {
 func TestValidateSchema(t *testing.T) {
 	schema := contracts.JSONSchema{
 		"type":     "object",
-		"required": []any{"path"},
+		"required": []string{"path"},
 		"properties": map[string]any{
-			"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"}},
+			"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},
+			"metadata": map[string]any{"type": "object", "additionalProperties": map[string]any{"type": "string"}},
+			"tags":     map[string]any{"type": "array", "items": map[string]any{"type": "string"}},
 		},
 	}
+	if err := ValidateSchema(schema, json.RawMessage(`{}`)); err == nil || !strings.Contains(err.Error(), "input.path is required") {
+		t.Fatalf("err = %v", err)
+	}
 	if err := ValidateSchema(schema, json.RawMessage(`{"path":3}`)); err == nil {
 		t.Fatalf("expected schema validation error")
 	}
@@ -64,10 +68,13 @@ func TestValidateSchema(t *testing.T) {
 	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","metadata":{"env":3}}`)); err == nil || !strings.Contains(err.Error(), "input.metadata.env must be string") {
+		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,"limit":5}`)); err != nil {
+	if err := ValidateSchema(schema, json.RawMessage(`{"path":"README.md","mode":"read","count":2,"limit":5,"metadata":{"env":"prod"}}`)); err != nil {
 		t.Fatal(err)
 	}
 }