{ "$schema": "http://json-schema.org/draft-07/schema#", "definitions": { "FuzzyFileSearchMatchType": { "enum": [ "file", "directory" ], "type": "string" }, "FuzzyFileSearchResult": { "description": "Superset of [`codex_file_search::FileMatch`]", "properties": { "file_name": { "type": "string" }, "indices": { "items": { "format": "uint32", "minimum": 0.0, "type": "integer" }, "type": [ "array", "null" ] }, "match_type": { "$ref": "#/definitions/FuzzyFileSearchMatchType" }, "path": { "type": "string" }, "root": { "type": "string" }, "score": { "format": "uint32", "minimum": 0.0, "type": "integer" } }, "required": [ "file_name", "match_type", "path", "root", "score" ], "type": "object" } }, "properties": { "files": { "items": { "$ref": "#/definitions/FuzzyFileSearchResult" }, "type": "array" }, "query": { "type": "string" }, "sessionId": { "type": "string" } }, "required": [ "files", "query", "sessionId" ], "title": "FuzzyFileSearchSessionUpdatedNotification", "type": "object" }