Problem

No way to remove a specific file from the workspace index without re-indexing everything.

Research

• PrivateGPT: DELETE /v1/ingest/{doc_id} deletes from both vector store and docstore
• Khoj: Entry.objects.filter(file_path=path).delete()
• Continue.dev: Full re-index per IndexTag, no per-file deletion

Proposed approach

1. Add action="delete" to workspace_tool schema with required path parameter
2. Add workspace_delete_file(rel_path, config) in agent/workspace.py
3. Open index store session, call delete_file(rel_path), commit
4. Add /workspace delete <path> slash subcommand
5. Add hermes workspace delete <path> CLI subcommand

The SqliteIndexSession.delete_file() method already exists.

Related

Part of workspace foundation (#5840)