configureRemoteConnection and disconnectRemoteConnection (Sources/Workspace.swift) each carry their own copy of a ~14-line remote-state reset block, and the copies have drifted. Reconfiguring an already-connected workspace to a new destination resets only part of the state, leaving stale per-panel remote-session bookkeeping behind.
Fix: extract one resetRemoteState() used by both paths. The drift is the bug; the dedup is the fix.
From the 2026-07-09 nuclear review (10 module reviewers + Codex cross-model pass, disprove-first). Line refs are against the reductive-audit branch (PR #81).
configureRemoteConnectionanddisconnectRemoteConnection(Sources/Workspace.swift) each carry their own copy of a ~14-line remote-state reset block, and the copies have drifted. Reconfiguring an already-connected workspace to a new destination resets only part of the state, leaving stale per-panel remote-session bookkeeping behind.Fix: extract one
resetRemoteState()used by both paths. The drift is the bug; the dedup is the fix.From the 2026-07-09 nuclear review (10 module reviewers + Codex cross-model pass, disprove-first). Line refs are against the
reductive-auditbranch (PR #81).