delete_page
Permanently remove a wiki page by ID, including its database record and on-disk markdown projection, only when the user explicitly requests deletion.
Instructions
Delete a page by id only when the user explicitly asks to remove it. Destructive — removes both the DB row and the on-disk md projection. To refresh an existing page while preserving its page_id and version history, use write_page. Pages without sources can be re-derived by running /distill again on the same scope.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| page_id | Yes | Page id (e.g. 'page_abc' or legacy 'concept_abc'). Get it from distill output. |