Dev Console Recording Web Socket
Protected-build counterpart to the full-side DevConsoleRecordingWebSocket: same public shape (constructor + wrap), so a host that constructs one in a debug build keeps compiling once the release variant substitutes this no-op module. Delegates every call straight through to the wrapped WebSocket and never touches the recorder -- nothing is inspected or recorded.