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.