docs: rename example to demo.py and document HOTDATA_WORKSPACE_ID

Rename hotdata_basic.py to demo.py with a minimal runnable flow
including mo.sql, and update README/TODO for the canonical env var.

Author: eddietejeda

README.md

@@ -17,7 +17,7 @@ Requires Python 3.10+, **Marimo**, and [**hotdata-runtime**](https://github.com/
 |----------|----------|-------------|
 | `HOTDATA_API_KEY` | Yes | API key for the Hotdata API |
 | `HOTDATA_API_URL` | No | API base URL (default: `https://api.hotdata.dev`) |
-| `HOTDATA_WORKSPACE` | No | Workspace id; if unset, the first active workspace is used |
+| `HOTDATA_WORKSPACE_ID` | No | Workspace public id; if unset, the first active workspace is used |
 | `HOTDATA_SANDBOX` | No | Sandbox session id, passed through to the SDK |
 
 ## Minimal notebook
@@ -45,16 +45,16 @@ Keep the editor in one cell and consume `editor.result` in another. The editor c
 
 Marimo only shows **what you `return` from a cell**. Calling `mo.vstack(...)` or `hm.query_result(...)` without returning it produces no visible output.
 
-See `examples/hotdata_basic.py` for a full runnable notebook flow.
+See `examples/demo.py` for a full runnable notebook flow.
 
 ## Examples
 
-- `examples/hotdata_basic.py` — end-to-end browser + editor + result rendering flow.
+- `examples/demo.py` — end-to-end browser + editor + result rendering flow.
 
 Run:
 
 ```bash
-uv run marimo edit examples/hotdata_basic.py --no-token
+uv run marimo edit examples/demo.py --no-token
 ```
 
 ## Layout
@@ -68,7 +68,7 @@ This package depends on [**hotdata-runtime**](https://github.com/hotdata-dev/hot
 ```bash
 uv sync --locked
 uv run pytest
-marimo edit examples/hotdata_basic.py --no-token
+marimo edit examples/demo.py --no-token
 ```
 
 To pin **hotdata-runtime** from Git instead of the sibling path, remove the `[tool.uv.sources]` block, set the dependency line as needed, and run `uv lock` again.

TODO.md

@@ -2,7 +2,7 @@
 
 ## Near term (build on MVP)
 
-- [x] **Workspace selector** — When `HOTDATA_WORKSPACE` is unset and multiple workspaces exist, expose `mo.ui.dropdown` (or similar) and rebuild the client when the choice changes.
+- [x] **Workspace selector** — When `HOTDATA_WORKSPACE_ID` is unset and multiple workspaces exist, expose `mo.ui.dropdown` (or similar) and rebuild the client when the choice changes.
 - [x] **Connection status** — Small status chip (API reachable, workspace id, optional sandbox) using a lightweight health or `workspaces`/`connections` probe.
 - [ ] **Query cancel** — Wire cancel to the query-run API if/when exposed in the OpenAPI client; surface a Cancel control next to Run.
 - [x] **`mo.ui.hotdata_*` aliases** — Re-export or thin wrappers: `hotdata_sql_editor`, `hotdata_table_browser`, `hotdata_query_result`, `hotdata_connection_picker` for discoverability.

examples/demo.py

@@ -12,6 +12,7 @@ def _():
 
     import hotdata_marimo as hm
 
+    hm.register_hotdata_sql_engine()
     return hm, mo, os
 
 
@@ -42,7 +43,7 @@ def _(hm, workspace):
     )
     recent = hm.recent_results(client, limit=20)
     history = hm.run_history(client, limit=10)
-    return browser, editor, history, recent, status, workspace
+    return browser, client, editor, history, recent, status, workspace
 
 
 @app.cell
@@ -79,5 +80,16 @@ def _(hm, recent):
     return hm.query_result(recent.result, label="Recent result"), _selected
 
 
+@app.cell
+def _(client, mo):
+    _df = mo.sql(
+        """
+        SELECT 1 AS example_value
+        """,
+        engine=client,
+    )
+    return
+
+
 if __name__ == "__main__":
     app.run()