extensions/python/webui_ws_disconnect/AGENTS.md

# WebUI WebSocket Disconnect Extensions DOX

## Purpose

- Own backend behavior when a WebUI WebSocket client disconnects.

## Ownership

- Ordered Python files own state-sync cleanup for disconnect events.

## Local Contracts

- Cleanup must be idempotent and safe for repeated disconnect events.
- Do not remove shared state still needed by other active clients.

## Work Guidance

- Coordinate disconnect behavior with frontend reconnect and sync indicators.

## Verification

- Smoke-test disconnect and reconnect behavior after changes.

## Child DOX Index

No child DOX files.