diff --git a/docs/machines.html b/docs/machines.html index ab70d8c..f4e5de2 100644 --- a/docs/machines.html +++ b/docs/machines.html @@ -69,20 +69,20 @@
A machine is a PI WEB runtime endpoint. The local machine is synthesized automatically. Remote machines are opt-in PI WEB runtimes that you register with a base URL and, optionally, a bearer token. @@ -94,21 +94,24 @@
Browser
↓
PI WEB gateway you opened
- ↓ gateway proxy
-Remote PI WEB runtime
- ↓
-Remote projects, workspaces, sessions, terminals, plugins
+ ├─ [ Local runtime ]
+ │
+ ├─ [ Remote PI WEB runtime A ]
+ │ ↓ selected machine
+ │ projects, workspaces, sessions, terminals, plugins
+ │
+ └─ [ Remote PI WEB runtime B ]
Federation is useful when you have more than one place where agents should work, but you want one stable browser entrypoint. @@ -133,7 +136,7 @@ Remote projects, workspaces, sessions, terminals, plugins
Install and run PI WEB on every machine you want to register. The remote URL must be reachable from the gateway server, not just from your browser. @@ -159,7 +162,7 @@ Remote projects, workspaces, sessions, terminals, plugins
After you select a machine, the rest of the app works in that machine's scope. The gateway routes the selected-machine work to the target PI WEB runtime. @@ -194,7 +197,7 @@ Remote projects, workspaces, sessions, terminals, plugins
Model-provider credentials, Pi configuration, OAuth state, repositories, and active session runtimes stay on the selected target machine. The gateway does not copy them into its own Pi configuration. @@ -211,7 +214,7 @@ Remote projects, workspaces, sessions, terminals, plugins
When you select a remote machine, PI WEB tries to load that machine's discovered plugins through the gateway. Remote plugin actions, workspace panels, and workspace labels only appear while that machine is @@ -225,7 +228,7 @@ Remote projects, workspaces, sessions, terminals, plugins
Machine federation is for trusted users, trusted PI WEB servers, and trusted network paths. Adding a machine gives the gateway permission to contact that URL and forward user-initiated PI WEB traffic to it. @@ -238,7 +241,7 @@ Remote projects, workspaces, sessions, terminals, plugins
Remote machine records are stored on the gateway in ~/.pi-web/machines.json. If
PI_WEB_DATA_DIR is set, they live under $PI_WEB_DATA_DIR/machines.json.