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