@@ -206,3 +206,27 @@ change durable sandbox protobufs. Reads revalidate owner, configuration,
206206generation, and expiry. Cleanup scans bounded pages and uses conditional deletes
207207so concurrent renewals are preserved. Discovery consumers must not treat these
208208records as application health or external ingress readiness.
209+
210+ ## Workspace service discovery
211+
212+ ` GetServiceRouteSnapshot ` and ` WatchServiceRoutes ` expose accepted installations
213+ for one explicit active workspace. They require ` sandbox:read ` and workspace
214+ user access; omitted/all-workspaces selectors and sandbox principals are rejected.
215+ Dedicated discovery machine grants are separate work.
216+
217+ Each successful response replaces the complete view. Consumers preserve the
218+ returned hostname as TLS SNI and HTTP authority when dialing the supervisor
219+ endpoint, remove absent routes, and expire cached entries at ` expires_at ` even
220+ when discovery is unavailable. An error is not an empty replacement. The opaque
221+ snapshot revision includes lease renewals; ` installation_version ` remains stable
222+ across those renewals and changes when installation identity changes. These
223+ records establish neither application health nor ingress readiness.
224+
225+ Collection checks installation resource versions across two scans, retrying once
226+ if changed. This is a verified view, not a transaction across configuration and
227+ owner resources. Reads are bounded to 1,000 installation records, 4,096 routes,
228+ 4 MiB, and ten seconds. Overflow, corruption, or storage failure returns an error.
229+ Watches refresh and reauthorize each second, use a one-message buffer, and end
230+ after one minute or a five-second blocked send. Each gateway process accepts at
231+ most 32 watches. Reconnect and relist on stream termination; revisions are opaque
232+ equality tokens, not resumable cursors or an ordering across gateway replicas.
0 commit comments