diff --git a/docs/execution-model.md b/docs/execution-model.md
index bd877b79..53bd03eb 100644
--- a/docs/execution-model.md
+++ b/docs/execution-model.md
@@ -174,14 +174,18 @@ list is `basectl --help`; this list summarizes the shipped public surface:
 - `activate`
 - `test`
 - `build`
-- `base_std_run`
+- `run`
 - `demo`
+- `trust`
+- `ci` (deprecated compatibility alias)
 - `repo`
 - `release`
 - `logs`
 - `history`
 - `docs`
 - `export-context`
+- `devcontainer`
+- `devenv-report`
 - `prompt`
 - `workspace`
 - `onboard`