api/edit_work_dir_file.py.dox.md
edit_work_dir_file.py API endpoint.edit_work_dir_file.py because this directory is intentionally flat.edit_work_dir_file.py owns the runtime implementation.edit_work_dir_file.py.dox.md owns durable notes about responsibilities, contracts, side effects, and verification for that implementation.EditWorkDirFile (ApiHandler)
get_methods(cls)async process(self, input: Input, request: Request) -> Outputasync load_file(file_path: str) -> dictsave_file(file_path: str, content: str) -> boolMAX_EDIT_FILE_SIZE, BINARY_SAMPLE_SIZE.helpers.api.ApiHandler; WebSocket handlers must derive from helpers.ws.WsHandler.EditWorkDirFile is an ApiHandler.EditWorkDirFile defines process(...).EditWorkDirFile defines get_methods(...).helpers, helpers.api, helpers.file_browser, mimetypes, os.FileBrowser, browser.get_full_path, os.path.isdir, os.path.getsize, files.is_probably_binary_file, mimetypes.guess_type, browser.save_text_file, error_str.strip, Exception, os.path.basename, error_str.split, file.read, line.split.strip, file_path.startswith, content.encode, runtime.call_development_function, extension.call_extensions_async, self._extract_error_message, line.split.helpers.api.Response for non-JSON responses, files, redirects, or status-specific replies.No child DOX files.