{
"$schema": "https://json-schema.org/draft/2020-12/schema",
"$id": "https://harnlang.com/schemas/hostlib/code_index/file_ids.request.json",
"title": "code_index.file_ids request",
"description": "Take no parameters; list every indexed file id.",
"type": "object",
"properties": {},
"additionalProperties": false
}