import type { Subsection } from "#types/document.types"; export const TOOL_SUBSECTION: Subsection = { blocks: [ { keywords: [ { description: "An alias for READ_RESOURCE", example: 'READ "" INTO ', name: "READ" }, { description: "An alias for PERSIST_ARTIFACT", example: "WRITE TO ", name: "WRITE" }, { description: "An alias for PERSIST_ARTIFACT over a span", example: 'EDIT WITH before: "", after: ""', name: "EDIT", }, { description: "An alias for DISCOVER_RESOURCES", example: 'GLOB "" INTO ', name: "GLOB", }, { description: "An alias for SEARCH_CONTENT", example: 'GREP "" IN INTO ', name: "GREP", }, { description: "An alias for EXECUTE_TOOL", example: 'BASH "" WITH timeout: ', name: "BASH", }, { description: "An alias for READ_RESOURCE over a remote address", example: 'WEB_FETCH "
" INTO ', name: "WEB_FETCH", }, { description: "An alias for DISCOVER_RESOURCES over the web", example: 'WEB_SEARCH "" INTO ', name: "WEB_SEARCH", }, { description: "An alias for DELEGATE to a bounded reader", example: 'TASK "" WITH agent: -> ', name: "TASK", }, { description: "An alias for REQUEST_DECISION", example: 'ASK_USER "" WITH options: [, ]', name: "ASK_USER", }, ], kind: "keyword", }, ], content: "One adapter's alias table, shown as an instance of a binding rather than as grammar. The grammar carries no tool name: a document names the operation, and the binding for a harness maps its short forms to the operation and the operation to whichever tool performs it there. Another harness ships another table and the document does not change.", title: "An adapter's aliases", };