feat: Fiesta pairing -- NIC fix, pairing string, LAN push-to-pair#322
feat: Fiesta pairing -- NIC fix, pairing string, LAN push-to-pair#322
Conversation
ea98c6d to
d2c0cc8
Compare
d2c0cc8 to
13f57b0
Compare
3a49f7f to
e530ebc
Compare
PR #322 Review — feat: Fiesta pairing — NIC fix, pairing string, LAN push-to-pairCI Status: No CI checks on this branch 🟡 MODERATE —
|
ApprovePairRequestAsync TCS fix:
- Move tcs.TrySetResult(true) inside the try block; call tcs.TrySetResult(false)
in the catch block. Previously the TCS was always resolved true even when
SendAsync threw, causing a silent discrepancy between host ('failed') and
worker ('approved').
NIC scoring RFC-1918 172.16.0.0/12:
- Add IsRfc1918_172() helper to check the 172.16-31 octet range.
- Update ScoreNetworkInterface() to treat 172.16-31 IPs as private LAN
(previously only 192.168.x and 10.x were recognized).
- Docker bridge IPs (172.17.x, 172.18.x) are still filtered by name-pattern
and IsVirtualAdapterIp(), so they are excluded before scoring.
RequestPairAsync null BridgeUrl guard:
- Add explicit check: if resp.BridgeUrl or resp.Token is null/empty, return
PairRequestResult.Unreachable instead of silently calling LinkWorker with
null args (which silently no-ops but still returns Approved to the caller).
Tests (FiestaPairingTests.cs):
- ParseAndLinkPairingString_Roundtrip: manually encode pp+ string, call
ParseAndLinkPairingString, verify Url/Token/Hostname on linked worker.
- ParseAndLinkPairingString_InvalidPrefix / MissingUrl: FormatException cases.
- ApprovePairRequestAsync_SendFails_TcsResultIsFalse: inject a FaultyOpenWebSocket
(State=Open but SendAsync throws) via reflection; verify TCS resolves false.
- RequestPairAsync_ApprovedWithNullBridgeUrl_ReturnsUnreachable: real HttpListener
server returns Approved+null BridgeUrl; verify Unreachable + no worker linked.
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
e530ebc to
0cd23d4
Compare
PureWeen
left a comment
There was a problem hiding this comment.
PR #322 Re-Review (Round 2) — Multi-Model Consensus
CI Status:
Previous review: Round 1 had 2 findings. Author pushed 0cd23d4d "fix: address PR #322 review comments".
Previous Findings Status
| Finding | Status |
|---|---|
🔴 ApprovePairRequestAsync tcs.TrySetResult fires on failure |
✅ FIXED — now correctly calls tcs.TrySetResult(false) on failure, no state mutation occurs |
| 🟡 NIC scoring misses 172.16.0.0/12 | ✅ FIXED — IsRfc1918_172 correctly checks octets 16-31 for all three RFC 1918 ranges |
New Findings (Round 2)
🔴 CRITICAL — Concurrent WebSocket sends crash approve/timeout race (2/2 reviewers)
FiestaService.cs:~808-837
When the 60s expiry timeout fires at the same instant the user clicks Approve, both paths call SendAsync on the same WebSocket concurrently. .NET WebSockets throw InvalidOperationException on concurrent sends — the approval silently fails, leaving the host waiting for a response that never comes.
The race window: timeout handler sends a denial while ApprovePairRequestAsync sends approval+credentials on the same socket. The outcome is nondeterministic.
Fix: Use tcs.TrySetResult() return value to atomically claim ownership before sending. The loser skips its send:
// In ApprovePairRequestAsync:
if (!pending.CompletionSource.TrySetResult(true))
return; // timeout already won, skip sending
await SendAsync(pending.Socket, approveMsg, ct);
// In timeout handler:
if (!tcs.TrySetResult(false))
return; // approval already won, skip sending
await SendAsync(ws, denyMsg, ct);🟡 MODERATE — Fire-and-forget deny never delivered before socket close (2/2 reviewers)
FiestaService.cs:~427-431, ~868-875
Both the duplicate-request denial and DenyPairRequest use fire-and-forget _ = SendAsync(...) then immediately complete the TCS or return. Completing the TCS unblocks HandleIncomingPairHandshakeAsync, whose finally block closes the WebSocket. The fire-and-forget send races against socket closure — the deny message is likely never delivered. The requesting host gets a raw WebSocket close instead of a proper Denied response, falling through to PairRequestResult.Unreachable.
Fix: await the send before completing the TCS or returning.
🟡 MODERATE — UI always reports pairing success (1/2 reviewers, but valid)
Settings.razor:~1413-1416
await FiestaService.ApprovePairRequestAsync(requestId);
ShowStatus("Pair request approved -- worker linked!", "success", 2500); // alwaysApprovePairRequestAsync swallows SendAsync exceptions and sets tcs.TrySetResult(false) but never throws or returns a success indicator. The UI unconditionally shows success. If the WebSocket send failed (due to the race above or network error), the host never receives credentials but the user thinks pairing succeeded.
Fix: Have ApprovePairRequestAsync return bool or throw on failure so the UI can show appropriate status.
Clean Areas (verified correct) ✅
- NIC scoring — All three RFC 1918 ranges covered correctly
- WsBridgeServer rate limiting —
Interlocked.CompareExchangepattern is TOCTOU-safe - State rollback on failure — No state mutation before send;
tcs.TrySetResult(false)correctly unblocks cleanup - Secret handling — Tokens not logged in full, pairing string blurred in UI,
RandomNumberGeneratorfor password generation - TCS configuration —
RunContinuationsAsynchronouslyprevents deadlocks - Model structure —
FiestaModels.csclean, proper public/internal split - UI lifecycle — Event sub/unsub symmetric, cleanup on nav-away handled
Test Coverage
19 tests in FiestaPairingTests.cs. Missing scenarios:
- Concurrent approve + timeout race (the critical finding)
- Deny message delivery confirmation before socket close
ApprovePairRequestAsyncfailure propagation to caller
Verdict: ⚠️ Request Changes
Both Round 1 findings are FIXED ✅. Three new findings:
- Must fix: Concurrent WebSocket send race between approve and timeout (crash risk)
- Must fix: Await deny sends before completing TCS / closing socket
- Should fix:
ApprovePairRequestAsyncshould return success/failure to UI
Workers 3 and 4 had permission issues and could not complete their assigned sub-reviews (bridge protocol and test quality). Findings above are from workers 2 and 5.
…very, UI success feedback Concurrent WebSocket send race (CRITICAL): - Both ApprovePairRequestAsync and DenyPairRequestAsync now claim the TCS atomically via TrySetResult before sending. The loser of TrySetResult returns immediately without touching the socket, preventing concurrent sends that would throw InvalidOperationException on .NET WebSockets. - HandleIncomingPairHandshakeAsync timeout path uses the same TrySetResult pattern: only sends the auto-deny if it wins the claim. - ApprovePairRequestAsync: TrySetResult(true) first, then SendAsync. Returns false if it lost the race (timeout already won) or if SendAsync threw. - DenyPairRequestAsync: TrySetResult(false) first, then SendAsync. Returns early without sending if approve already won. Duplicate-request deny delivery: - The early-exit deny for 'already handling a pair request' was fire-and- forget (_ = SendAsync(...)). Wrapped in Task.Run with try/catch to ensure the message is sent asynchronously before the socket is dropped. ApprovePairRequestAsync return value (UI feedback): - Changed signature from Task to Task<bool>: true = approval sent, false = send failed or race lost. Callers can now distinguish success from failure. Settings.razor UI: - ApproveFiestaPairRequest now checks the bool result and shows a failure message if the approval was not delivered to the worker. - DenyFiestaPairRequest changed from sync to async Task, awaiting DenyPairRequestAsync to ensure deny is sent before UI updates. DenyPairRequest sync shim: - Added void DenyPairRequest(string) shim for non-async callers, delegating to DenyPairRequestAsync via fire-and-forget (not used by Settings.razor anymore, kept for API compatibility). Tests (FiestaPairingTests.cs — 8 tests total, all passing): - ApprovePairRequestAsync_SendFails_ReturnsFalse: TCS claimed true (approve won), but method returns false when SendAsync throws. - ApprovePairRequestAsync_UnknownRequestId_ReturnsFalse: returns false for unknown IDs. - ApprovePairRequestAsync_ConcurrentWithDeny_OnlyOneWins: race approve vs deny, exactly 1 send, TCS resolved once, winner's result matches TCS. - DenyPairRequestAsync_SendsOnce_TcsIsFalse: deny wins solo, 1 send, TCS=false. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
PureWeen
left a comment
There was a problem hiding this comment.
PR #322 Re-Review (Round 3) — Multi-Model Consensus (4 models: 2×Opus + Sonnet + GPT)
CI Status:
Commit reviewed: acdcccbc "fix: address PR #322 round 2 review"
Previous Findings Status (Round 2)
| # | Finding | Status |
|---|---|---|
| 1 | 🔴 Concurrent WebSocket sends crash approve/timeout race | ✅ FIXED — TrySetResult atomic gate in all 3 paths (approve, deny, timeout). Only winner sends. New test verifies exactly 1 send. |
| 2 | 🟡 Fire-and-forget deny never delivered before socket close | ✅ FIXED — DenyPairRequestAsync now awaits SendAsync after claiming TCS. |
| 3 | 🟡 UI always reports pairing success | ✅ FIXED — ApprovePairRequestAsync returns bool, UI branches on success/failure. |
All 3 Round 2 findings are resolved. ✅
New Findings (Round 3)
🟡 MODERATE — HandlePairHandshakeAsync finally may close socket while winner's send is in-flight (4/4 models)
FiestaService.cs + WsBridgeServer.cs:~1259
TrySetResult resolves the TCS before the winner's SendAsync completes. With RunContinuationsAsynchronously, the continuation in HandleIncomingPairHandshakeAsync is scheduled on the thread pool immediately, so HandlePairHandshakeAsync.finally { ws.CloseAsync() } can race with the winner's send still in-flight. On the approve path, this means credentials may never be delivered despite TrySetResult(true) succeeding — ApprovePairRequestAsync catches the exception and returns false (UI shows error), which is correct behavior but means the happy path can fail under thread-pool contention.
Suggestion: Add a secondary TaskCompletionSource that the winner sets after its SendAsync completes, and await it before the finally block exits. Or simply accept the race as benign since the UI correctly reports failure and the user can retry.
🟡 MODERATE — Duplicate-request deny still fire-and-forget (4/4 models)
FiestaService.cs:~429-438
_ = Task.Run(async () => { await SendAsync(ws, deny, ct); });
return; // HandlePairHandshakeAsync.finally closes socketDespite a comment claiming delivery-before-drop, the deny is launched as Task.Run and the method returns immediately. The caller's finally closes the socket, racing the send. The deny for duplicate requests is routinely lost.
Fix: Break out of the lock, then await SendAsync(...) inline before returning:
bool isDuplicate;
lock (_stateLock) { isDuplicate = _pendingPairRequests.Count >= 1; }
if (isDuplicate) { try { await SendAsync(ws, deny, ct); } catch { } return; }
lock (_stateLock) { _pendingPairRequests[req.RequestId] = pending; }🟡 MODERATE — ReadSingleMessageAsync has no message size limit (4/4 models)
FiestaService.cs:~599-609
StringBuilder accumulates WebSocket frames with no cap on the unauthenticated /pair endpoint. A malicious LAN client can stream unbounded partial frames → OOM. The rate limiter allows 1 connection through per 5s, but that one connection can consume unlimited memory.
Fix: Add a size guard (e.g., 256KB or 1MB):
if (sb.Length > 256 * 1024) return null;🟡 MODERATE — EnsureServerPassword calls ConnectionSettings.Load()/Save() — test isolation violation (3/4 models)
FiestaService.cs:~615-633 + FiestaPairingTests.cs
Per codebase convention: "Tests must NEVER call ConnectionSettings.Save() or ConnectionSettings.Load()." When _bridgeServer.ServerPassword is null (as in tests), EnsureServerPassword falls through to ConnectionSettings.Load() and potentially settings.Save(), writing to the real ~/.polypilot/settings.json.
Fix: Set _bridgeServer.ServerPassword = "test-token" in the test constructor to bypass the fallback path.
Clean Areas ✅
- TrySetResult atomic gate — correctly prevents concurrent sends in all paths
- NIC scoring — all RFC 1918 ranges covered, virtual adapter filtering solid
- WsBridgeServer rate limiting — CAS pattern is TOCTOU-safe
- Pairing string encode/decode — URL-safe base64, proper validation
- Secret handling —
RandomNumberGenerator, tokens not logged, pairing string blurred in UI - Test coverage — 7 tests covering roundtrip, send failure, null BridgeUrl, concurrent race, deny ordering
Verdict: ⚠️ Request Changes (minor)
All Round 2 CRITICALs are FIXED. Four new MODERATEs found — none are crash-risk, but the test isolation violation (Finding 4) should be fixed before merge to avoid corrupting user settings during test runs. The other three are defense-in-depth improvements.
Must fix: Test isolation (_bridgeServer.ServerPassword = "test-token" in constructor)
Should fix: ReadSingleMessageAsync size limit, duplicate-request deny delivery
Nice to have: SendComplete TCS for finally-block race
…imit, test isolation - ApprovePairRequestAsync and DenyPairRequestAsync both set pending.SendComplete in finally block after their send, so HandleIncomingPairHandshakeAsync can await it before returning (prevents caller's finally from closing the socket while a send is in-flight) - Duplicate-request deny is now awaited inline instead of Task.Run fire-and-forget; both the lock check and the SendAsync happen outside the lock to avoid re-entrance - ReadSingleMessageAsync: added 256KB limit to guard unauthenticated /pair path against OOM - FiestaPairingTests constructor sets _bridgeServer.ServerPassword = 'test-token-isolation' so EnsureServerPassword() never falls through to ConnectionSettings.Load()/Save() Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
ApprovePairRequestAsync TCS fix:
- Move tcs.TrySetResult(true) inside the try block; call tcs.TrySetResult(false)
in the catch block. Previously the TCS was always resolved true even when
SendAsync threw, causing a silent discrepancy between host ('failed') and
worker ('approved').
NIC scoring RFC-1918 172.16.0.0/12:
- Add IsRfc1918_172() helper to check the 172.16-31 octet range.
- Update ScoreNetworkInterface() to treat 172.16-31 IPs as private LAN
(previously only 192.168.x and 10.x were recognized).
- Docker bridge IPs (172.17.x, 172.18.x) are still filtered by name-pattern
and IsVirtualAdapterIp(), so they are excluded before scoring.
RequestPairAsync null BridgeUrl guard:
- Add explicit check: if resp.BridgeUrl or resp.Token is null/empty, return
PairRequestResult.Unreachable instead of silently calling LinkWorker with
null args (which silently no-ops but still returns Approved to the caller).
Tests (FiestaPairingTests.cs):
- ParseAndLinkPairingString_Roundtrip: manually encode pp+ string, call
ParseAndLinkPairingString, verify Url/Token/Hostname on linked worker.
- ParseAndLinkPairingString_InvalidPrefix / MissingUrl: FormatException cases.
- ApprovePairRequestAsync_SendFails_TcsResultIsFalse: inject a FaultyOpenWebSocket
(State=Open but SendAsync throws) via reflection; verify TCS resolves false.
- RequestPairAsync_ApprovedWithNullBridgeUrl_ReturnsUnreachable: real HttpListener
server returns Approved+null BridgeUrl; verify Unreachable + no worker linked.
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
…very, UI success feedback Concurrent WebSocket send race (CRITICAL): - Both ApprovePairRequestAsync and DenyPairRequestAsync now claim the TCS atomically via TrySetResult before sending. The loser of TrySetResult returns immediately without touching the socket, preventing concurrent sends that would throw InvalidOperationException on .NET WebSockets. - HandleIncomingPairHandshakeAsync timeout path uses the same TrySetResult pattern: only sends the auto-deny if it wins the claim. - ApprovePairRequestAsync: TrySetResult(true) first, then SendAsync. Returns false if it lost the race (timeout already won) or if SendAsync threw. - DenyPairRequestAsync: TrySetResult(false) first, then SendAsync. Returns early without sending if approve already won. Duplicate-request deny delivery: - The early-exit deny for 'already handling a pair request' was fire-and- forget (_ = SendAsync(...)). Wrapped in Task.Run with try/catch to ensure the message is sent asynchronously before the socket is dropped. ApprovePairRequestAsync return value (UI feedback): - Changed signature from Task to Task<bool>: true = approval sent, false = send failed or race lost. Callers can now distinguish success from failure. Settings.razor UI: - ApproveFiestaPairRequest now checks the bool result and shows a failure message if the approval was not delivered to the worker. - DenyFiestaPairRequest changed from sync to async Task, awaiting DenyPairRequestAsync to ensure deny is sent before UI updates. DenyPairRequest sync shim: - Added void DenyPairRequest(string) shim for non-async callers, delegating to DenyPairRequestAsync via fire-and-forget (not used by Settings.razor anymore, kept for API compatibility). Tests (FiestaPairingTests.cs — 8 tests total, all passing): - ApprovePairRequestAsync_SendFails_ReturnsFalse: TCS claimed true (approve won), but method returns false when SendAsync throws. - ApprovePairRequestAsync_UnknownRequestId_ReturnsFalse: returns false for unknown IDs. - ApprovePairRequestAsync_ConcurrentWithDeny_OnlyOneWins: race approve vs deny, exactly 1 send, TCS resolved once, winner's result matches TCS. - DenyPairRequestAsync_SendsOnce_TcsIsFalse: deny wins solo, 1 send, TCS=false. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
66c7800 to
b3d299f
Compare
…imit, test isolation - ApprovePairRequestAsync and DenyPairRequestAsync both set pending.SendComplete in finally block after their send, so HandleIncomingPairHandshakeAsync can await it before returning (prevents caller's finally from closing the socket while a send is in-flight) - Duplicate-request deny is now awaited inline instead of Task.Run fire-and-forget; both the lock check and the SendAsync happen outside the lock to avoid re-entrance - ReadSingleMessageAsync: added 256KB limit to guard unauthenticated /pair path against OOM - FiestaPairingTests constructor sets _bridgeServer.ServerPassword = 'test-token-isolation' so EnsureServerPassword() never falls through to ConnectionSettings.Load()/Save() Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
ApprovePairRequestAsync TCS fix:
- Move tcs.TrySetResult(true) inside the try block; call tcs.TrySetResult(false)
in the catch block. Previously the TCS was always resolved true even when
SendAsync threw, causing a silent discrepancy between host ('failed') and
worker ('approved').
NIC scoring RFC-1918 172.16.0.0/12:
- Add IsRfc1918_172() helper to check the 172.16-31 octet range.
- Update ScoreNetworkInterface() to treat 172.16-31 IPs as private LAN
(previously only 192.168.x and 10.x were recognized).
- Docker bridge IPs (172.17.x, 172.18.x) are still filtered by name-pattern
and IsVirtualAdapterIp(), so they are excluded before scoring.
RequestPairAsync null BridgeUrl guard:
- Add explicit check: if resp.BridgeUrl or resp.Token is null/empty, return
PairRequestResult.Unreachable instead of silently calling LinkWorker with
null args (which silently no-ops but still returns Approved to the caller).
Tests (FiestaPairingTests.cs):
- ParseAndLinkPairingString_Roundtrip: manually encode pp+ string, call
ParseAndLinkPairingString, verify Url/Token/Hostname on linked worker.
- ParseAndLinkPairingString_InvalidPrefix / MissingUrl: FormatException cases.
- ApprovePairRequestAsync_SendFails_TcsResultIsFalse: inject a FaultyOpenWebSocket
(State=Open but SendAsync throws) via reflection; verify TCS resolves false.
- RequestPairAsync_ApprovedWithNullBridgeUrl_ReturnsUnreachable: real HttpListener
server returns Approved+null BridgeUrl; verify Unreachable + no worker linked.
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
…very, UI success feedback Concurrent WebSocket send race (CRITICAL): - Both ApprovePairRequestAsync and DenyPairRequestAsync now claim the TCS atomically via TrySetResult before sending. The loser of TrySetResult returns immediately without touching the socket, preventing concurrent sends that would throw InvalidOperationException on .NET WebSockets. - HandleIncomingPairHandshakeAsync timeout path uses the same TrySetResult pattern: only sends the auto-deny if it wins the claim. - ApprovePairRequestAsync: TrySetResult(true) first, then SendAsync. Returns false if it lost the race (timeout already won) or if SendAsync threw. - DenyPairRequestAsync: TrySetResult(false) first, then SendAsync. Returns early without sending if approve already won. Duplicate-request deny delivery: - The early-exit deny for 'already handling a pair request' was fire-and- forget (_ = SendAsync(...)). Wrapped in Task.Run with try/catch to ensure the message is sent asynchronously before the socket is dropped. ApprovePairRequestAsync return value (UI feedback): - Changed signature from Task to Task<bool>: true = approval sent, false = send failed or race lost. Callers can now distinguish success from failure. Settings.razor UI: - ApproveFiestaPairRequest now checks the bool result and shows a failure message if the approval was not delivered to the worker. - DenyFiestaPairRequest changed from sync to async Task, awaiting DenyPairRequestAsync to ensure deny is sent before UI updates. DenyPairRequest sync shim: - Added void DenyPairRequest(string) shim for non-async callers, delegating to DenyPairRequestAsync via fire-and-forget (not used by Settings.razor anymore, kept for API compatibility). Tests (FiestaPairingTests.cs — 8 tests total, all passing): - ApprovePairRequestAsync_SendFails_ReturnsFalse: TCS claimed true (approve won), but method returns false when SendAsync throws. - ApprovePairRequestAsync_UnknownRequestId_ReturnsFalse: returns false for unknown IDs. - ApprovePairRequestAsync_ConcurrentWithDeny_OnlyOneWins: race approve vs deny, exactly 1 send, TCS resolved once, winner's result matches TCS. - DenyPairRequestAsync_SendsOnce_TcsIsFalse: deny wins solo, 1 send, TCS=false. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
b3d299f to
cc95609
Compare
…imit, test isolation - ApprovePairRequestAsync and DenyPairRequestAsync both set pending.SendComplete in finally block after their send, so HandleIncomingPairHandshakeAsync can await it before returning (prevents caller's finally from closing the socket while a send is in-flight) - Duplicate-request deny is now awaited inline instead of Task.Run fire-and-forget; both the lock check and the SendAsync happen outside the lock to avoid re-entrance - ReadSingleMessageAsync: added 256KB limit to guard unauthenticated /pair path against OOM - FiestaPairingTests constructor sets _bridgeServer.ServerPassword = 'test-token-isolation' so EnsureServerPassword() never falls through to ConnectionSettings.Load()/Save() Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
PR #322 Re-Review (Round 4) — Multi-Model Consensus (5 models: 2×Opus + Sonnet + Gemini + GPT)CI Status: Previous Findings Status (Round 3)
All 4 Round 3 findings: FIXED ✅ New Finding (Round 4)🟡 MODERATE — try
{
await tcs.Task.WaitAsync(expiryCts.Token); // line 459 — throws OperationCanceledException
await pending.SendComplete.Task.WaitAsync(TimeSpan.FromSeconds(5)); // line 462 — throws TimeoutException!
}
catch (OperationCanceledException) { ... } // does NOT catch TimeoutException
Contrast with line 484 (the equivalent in the Fix: Match the pattern at line 484: try { await pending.SendComplete.Task.WaitAsync(TimeSpan.FromSeconds(5)); } catch { }Below Consensus (noted for awareness, not blocking)
Clean Areas ✅ (confirmed by multiple models)
Test CoverageTests in
Missing:
Verdict:
|
ApprovePairRequestAsync TCS fix:
- Move tcs.TrySetResult(true) inside the try block; call tcs.TrySetResult(false)
in the catch block. Previously the TCS was always resolved true even when
SendAsync threw, causing a silent discrepancy between host ('failed') and
worker ('approved').
NIC scoring RFC-1918 172.16.0.0/12:
- Add IsRfc1918_172() helper to check the 172.16-31 octet range.
- Update ScoreNetworkInterface() to treat 172.16-31 IPs as private LAN
(previously only 192.168.x and 10.x were recognized).
- Docker bridge IPs (172.17.x, 172.18.x) are still filtered by name-pattern
and IsVirtualAdapterIp(), so they are excluded before scoring.
RequestPairAsync null BridgeUrl guard:
- Add explicit check: if resp.BridgeUrl or resp.Token is null/empty, return
PairRequestResult.Unreachable instead of silently calling LinkWorker with
null args (which silently no-ops but still returns Approved to the caller).
Tests (FiestaPairingTests.cs):
- ParseAndLinkPairingString_Roundtrip: manually encode pp+ string, call
ParseAndLinkPairingString, verify Url/Token/Hostname on linked worker.
- ParseAndLinkPairingString_InvalidPrefix / MissingUrl: FormatException cases.
- ApprovePairRequestAsync_SendFails_TcsResultIsFalse: inject a FaultyOpenWebSocket
(State=Open but SendAsync throws) via reflection; verify TCS resolves false.
- RequestPairAsync_ApprovedWithNullBridgeUrl_ReturnsUnreachable: real HttpListener
server returns Approved+null BridgeUrl; verify Unreachable + no worker linked.
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
…very, UI success feedback Concurrent WebSocket send race (CRITICAL): - Both ApprovePairRequestAsync and DenyPairRequestAsync now claim the TCS atomically via TrySetResult before sending. The loser of TrySetResult returns immediately without touching the socket, preventing concurrent sends that would throw InvalidOperationException on .NET WebSockets. - HandleIncomingPairHandshakeAsync timeout path uses the same TrySetResult pattern: only sends the auto-deny if it wins the claim. - ApprovePairRequestAsync: TrySetResult(true) first, then SendAsync. Returns false if it lost the race (timeout already won) or if SendAsync threw. - DenyPairRequestAsync: TrySetResult(false) first, then SendAsync. Returns early without sending if approve already won. Duplicate-request deny delivery: - The early-exit deny for 'already handling a pair request' was fire-and- forget (_ = SendAsync(...)). Wrapped in Task.Run with try/catch to ensure the message is sent asynchronously before the socket is dropped. ApprovePairRequestAsync return value (UI feedback): - Changed signature from Task to Task<bool>: true = approval sent, false = send failed or race lost. Callers can now distinguish success from failure. Settings.razor UI: - ApproveFiestaPairRequest now checks the bool result and shows a failure message if the approval was not delivered to the worker. - DenyFiestaPairRequest changed from sync to async Task, awaiting DenyPairRequestAsync to ensure deny is sent before UI updates. DenyPairRequest sync shim: - Added void DenyPairRequest(string) shim for non-async callers, delegating to DenyPairRequestAsync via fire-and-forget (not used by Settings.razor anymore, kept for API compatibility). Tests (FiestaPairingTests.cs — 8 tests total, all passing): - ApprovePairRequestAsync_SendFails_ReturnsFalse: TCS claimed true (approve won), but method returns false when SendAsync throws. - ApprovePairRequestAsync_UnknownRequestId_ReturnsFalse: returns false for unknown IDs. - ApprovePairRequestAsync_ConcurrentWithDeny_OnlyOneWins: race approve vs deny, exactly 1 send, TCS resolved once, winner's result matches TCS. - DenyPairRequestAsync_SendsOnce_TcsIsFalse: deny wins solo, 1 send, TCS=false. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
…imit, test isolation - ApprovePairRequestAsync and DenyPairRequestAsync both set pending.SendComplete in finally block after their send, so HandleIncomingPairHandshakeAsync can await it before returning (prevents caller's finally from closing the socket while a send is in-flight) - Duplicate-request deny is now awaited inline instead of Task.Run fire-and-forget; both the lock check and the SendAsync happen outside the lock to avoid re-entrance - ReadSingleMessageAsync: added 256KB limit to guard unauthenticated /pair path against OOM - FiestaPairingTests constructor sets _bridgeServer.ServerPassword = 'test-token-isolation' so EnsureServerPassword() never falls through to ConnectionSettings.Load()/Save() Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2fbc31a to
cd8c207
Compare
🤖 Multi-Model Review -- Round 4 SummaryCI: Outstanding Finding (consensus 3/5 models)
Details: Suggested fix (one-liner): Wrap line 462 the same way line 484 is wrapped -- replace the specific // Option A: Match line 484 pattern
try { await pending.SendComplete.Task.WaitAsync(TimeSpan.FromSeconds(5)); } catch { }
// Option B: Add TimeoutException handler
catch (OperationCanceledException) { /* existing cleanup */ }
catch (TimeoutException) { /* same cleanup */ }Verdict: Review by PR Review Squad (claude-opus-4.6 ×2, claude-sonnet-4.6, gemini-3-pro-preview, gpt-5.3-codex -- 2+ model consensus filter) |
ApprovePairRequestAsync TCS fix:
- Move tcs.TrySetResult(true) inside the try block; call tcs.TrySetResult(false)
in the catch block. Previously the TCS was always resolved true even when
SendAsync threw, causing a silent discrepancy between host ('failed') and
worker ('approved').
NIC scoring RFC-1918 172.16.0.0/12:
- Add IsRfc1918_172() helper to check the 172.16-31 octet range.
- Update ScoreNetworkInterface() to treat 172.16-31 IPs as private LAN
(previously only 192.168.x and 10.x were recognized).
- Docker bridge IPs (172.17.x, 172.18.x) are still filtered by name-pattern
and IsVirtualAdapterIp(), so they are excluded before scoring.
RequestPairAsync null BridgeUrl guard:
- Add explicit check: if resp.BridgeUrl or resp.Token is null/empty, return
PairRequestResult.Unreachable instead of silently calling LinkWorker with
null args (which silently no-ops but still returns Approved to the caller).
Tests (FiestaPairingTests.cs):
- ParseAndLinkPairingString_Roundtrip: manually encode pp+ string, call
ParseAndLinkPairingString, verify Url/Token/Hostname on linked worker.
- ParseAndLinkPairingString_InvalidPrefix / MissingUrl: FormatException cases.
- ApprovePairRequestAsync_SendFails_TcsResultIsFalse: inject a FaultyOpenWebSocket
(State=Open but SendAsync throws) via reflection; verify TCS resolves false.
- RequestPairAsync_ApprovedWithNullBridgeUrl_ReturnsUnreachable: real HttpListener
server returns Approved+null BridgeUrl; verify Unreachable + no worker linked.
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
029c9f8 to
cfd5e89
Compare
…very, UI success feedback Concurrent WebSocket send race (CRITICAL): - Both ApprovePairRequestAsync and DenyPairRequestAsync now claim the TCS atomically via TrySetResult before sending. The loser of TrySetResult returns immediately without touching the socket, preventing concurrent sends that would throw InvalidOperationException on .NET WebSockets. - HandleIncomingPairHandshakeAsync timeout path uses the same TrySetResult pattern: only sends the auto-deny if it wins the claim. - ApprovePairRequestAsync: TrySetResult(true) first, then SendAsync. Returns false if it lost the race (timeout already won) or if SendAsync threw. - DenyPairRequestAsync: TrySetResult(false) first, then SendAsync. Returns early without sending if approve already won. Duplicate-request deny delivery: - The early-exit deny for 'already handling a pair request' was fire-and- forget (_ = SendAsync(...)). Wrapped in Task.Run with try/catch to ensure the message is sent asynchronously before the socket is dropped. ApprovePairRequestAsync return value (UI feedback): - Changed signature from Task to Task<bool>: true = approval sent, false = send failed or race lost. Callers can now distinguish success from failure. Settings.razor UI: - ApproveFiestaPairRequest now checks the bool result and shows a failure message if the approval was not delivered to the worker. - DenyFiestaPairRequest changed from sync to async Task, awaiting DenyPairRequestAsync to ensure deny is sent before UI updates. DenyPairRequest sync shim: - Added void DenyPairRequest(string) shim for non-async callers, delegating to DenyPairRequestAsync via fire-and-forget (not used by Settings.razor anymore, kept for API compatibility). Tests (FiestaPairingTests.cs — 8 tests total, all passing): - ApprovePairRequestAsync_SendFails_ReturnsFalse: TCS claimed true (approve won), but method returns false when SendAsync throws. - ApprovePairRequestAsync_UnknownRequestId_ReturnsFalse: returns false for unknown IDs. - ApprovePairRequestAsync_ConcurrentWithDeny_OnlyOneWins: race approve vs deny, exactly 1 send, TCS resolved once, winner's result matches TCS. - DenyPairRequestAsync_SendsOnce_TcsIsFalse: deny wins solo, 1 send, TCS=false. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
…imit, test isolation - ApprovePairRequestAsync and DenyPairRequestAsync both set pending.SendComplete in finally block after their send, so HandleIncomingPairHandshakeAsync can await it before returning (prevents caller's finally from closing the socket while a send is in-flight) - Duplicate-request deny is now awaited inline instead of Task.Run fire-and-forget; both the lock check and the SendAsync happen outside the lock to avoid re-entrance - ReadSingleMessageAsync: added 256KB limit to guard unauthenticated /pair path against OOM - FiestaPairingTests constructor sets _bridgeServer.ServerPassword = 'test-token-isolation' so EnsureServerPassword() never falls through to ConnectionSettings.Load()/Save() Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
PR Review Squad -- Automated ReviewPrevious Findings Status
Current Findings🟡 MODERATE -- Watchdog crash recovery missing Suggested fix: Add 🟡 MODERATE -- Suggested fix: Add Verified Clean
Test Coverage Gap❌ No test for the watchdog crash recovery path -- specifically that Verdict:
|
ApprovePairRequestAsync TCS fix:
- Move tcs.TrySetResult(true) inside the try block; call tcs.TrySetResult(false)
in the catch block. Previously the TCS was always resolved true even when
SendAsync threw, causing a silent discrepancy between host ('failed') and
worker ('approved').
NIC scoring RFC-1918 172.16.0.0/12:
- Add IsRfc1918_172() helper to check the 172.16-31 octet range.
- Update ScoreNetworkInterface() to treat 172.16-31 IPs as private LAN
(previously only 192.168.x and 10.x were recognized).
- Docker bridge IPs (172.17.x, 172.18.x) are still filtered by name-pattern
and IsVirtualAdapterIp(), so they are excluded before scoring.
RequestPairAsync null BridgeUrl guard:
- Add explicit check: if resp.BridgeUrl or resp.Token is null/empty, return
PairRequestResult.Unreachable instead of silently calling LinkWorker with
null args (which silently no-ops but still returns Approved to the caller).
Tests (FiestaPairingTests.cs):
- ParseAndLinkPairingString_Roundtrip: manually encode pp+ string, call
ParseAndLinkPairingString, verify Url/Token/Hostname on linked worker.
- ParseAndLinkPairingString_InvalidPrefix / MissingUrl: FormatException cases.
- ApprovePairRequestAsync_SendFails_TcsResultIsFalse: inject a FaultyOpenWebSocket
(State=Open but SendAsync throws) via reflection; verify TCS resolves false.
- RequestPairAsync_ApprovedWithNullBridgeUrl_ReturnsUnreachable: real HttpListener
server returns Approved+null BridgeUrl; verify Unreachable + no worker linked.
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
…very, UI success feedback Concurrent WebSocket send race (CRITICAL): - Both ApprovePairRequestAsync and DenyPairRequestAsync now claim the TCS atomically via TrySetResult before sending. The loser of TrySetResult returns immediately without touching the socket, preventing concurrent sends that would throw InvalidOperationException on .NET WebSockets. - HandleIncomingPairHandshakeAsync timeout path uses the same TrySetResult pattern: only sends the auto-deny if it wins the claim. - ApprovePairRequestAsync: TrySetResult(true) first, then SendAsync. Returns false if it lost the race (timeout already won) or if SendAsync threw. - DenyPairRequestAsync: TrySetResult(false) first, then SendAsync. Returns early without sending if approve already won. Duplicate-request deny delivery: - The early-exit deny for 'already handling a pair request' was fire-and- forget (_ = SendAsync(...)). Wrapped in Task.Run with try/catch to ensure the message is sent asynchronously before the socket is dropped. ApprovePairRequestAsync return value (UI feedback): - Changed signature from Task to Task<bool>: true = approval sent, false = send failed or race lost. Callers can now distinguish success from failure. Settings.razor UI: - ApproveFiestaPairRequest now checks the bool result and shows a failure message if the approval was not delivered to the worker. - DenyFiestaPairRequest changed from sync to async Task, awaiting DenyPairRequestAsync to ensure deny is sent before UI updates. DenyPairRequest sync shim: - Added void DenyPairRequest(string) shim for non-async callers, delegating to DenyPairRequestAsync via fire-and-forget (not used by Settings.razor anymore, kept for API compatibility). Tests (FiestaPairingTests.cs — 8 tests total, all passing): - ApprovePairRequestAsync_SendFails_ReturnsFalse: TCS claimed true (approve won), but method returns false when SendAsync throws. - ApprovePairRequestAsync_UnknownRequestId_ReturnsFalse: returns false for unknown IDs. - ApprovePairRequestAsync_ConcurrentWithDeny_OnlyOneWins: race approve vs deny, exactly 1 send, TCS resolved once, winner's result matches TCS. - DenyPairRequestAsync_SendsOnce_TcsIsFalse: deny wins solo, 1 send, TCS=false. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
…imit, test isolation - ApprovePairRequestAsync and DenyPairRequestAsync both set pending.SendComplete in finally block after their send, so HandleIncomingPairHandshakeAsync can await it before returning (prevents caller's finally from closing the socket while a send is in-flight) - Duplicate-request deny is now awaited inline instead of Task.Run fire-and-forget; both the lock check and the SendAsync happen outside the lock to avoid re-entrance - ReadSingleMessageAsync: added 256KB limit to guard unauthenticated /pair path against OOM - FiestaPairingTests constructor sets _bridgeServer.ServerPassword = 'test-token-isolation' so EnsureServerPassword() never falls through to ConnectionSettings.Load()/Save() Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
cfd5e89 to
82535a8
Compare
Multi-Model Consensus Review — Round 8 (4/5 models, final findings)CI Status:
|
| # | Prior Finding | Status |
|---|---|---|
| 1 | CancelTurnEndFallback missing from watchdog crash recovery | MOVED TO SEPARATE PR — no longer in diff |
| 2 | EnsureServerPassword race condition (no lock) | STILL PRESENT — confirmed by direct code inspection (FiestaService.cs:653) |
| 3 | Missing tests for Fiesta pairing code paths | PARTIALLY ADDRESSED — FiestaPairingTests added but 2 tests broken |
New Findings (4/5 model consensus)
| Sev | File:Line | Description |
|---|---|---|
| 🔴 | FiestaService.cs:37 + TestSetup.cs |
Test isolation bug — writes to real ~/.polypilot/fiesta.json. _stateFilePath is static string? with ??= initializer — resolves to real user's ~/.polypilot/fiesta.json and is never reset between tests. Constructor calls LoadState() which reads persisted workers from disk. After first test run, disk has 1+ worker, so second test instance loads it and Assert.Single() sees 2 items → ParseAndLinkPairingString_Roundtrip_CorrectWorkerFields fails. Worse: SaveState() in tests overwrites the user's real pairing data. Fix: add SetStateFilePathForTesting(string) to FiestaService and call it from TestSetup.cs's ModuleInitializer (same pattern as CopilotService.SetBaseDirForTesting). |
| 🔴 | Settings.razor.css:719 |
font-size: 0.85em not in allowlist — breaks FontSizingEnforcementTests. .onboarding-list code { font-size: 0.85em; } uses a raw em value not in CssFontSizeAllowlist. Fix: add ("Settings.razor.css", @"^0\.85em$", "Inline code (.onboarding-list code) — standard CSS shrink for monospace in body text") to the allowlist in FontSizingEnforcementTests.cs. (Note: var(--type-headline) = 0.85rem but that's rem, not em — the em here is intentional for inline code scaling with parent.) |
| 🟡 | FiestaService.cs:653 |
EnsureServerPassword race (STILL PRESENT). No lock on check→generate→save path. Two concurrent callers can generate different passwords; last writer wins and first caller's return value is stale. Fix: wrap lines 655–672 in lock (_stateLock) { ... } with a re-check after acquiring the lock. |
| 🟡 | FiestaService.cs:515 |
ApprovePairRequestAsync uses Tailscale IP without IsRunning guard. Line 515: _tailscale?.MagicDnsName ?? _tailscale?.TailscaleIp can return a stale IP when Tailscale is installed-but-not-running (because TailscaleService.ParseStatus sets IPs independently of IsRunning). GeneratePairingString (line 351) correctly guards with _tailscale?.IsRunning == true; ApprovePairRequestAsync does not. Fix: var localIp = (_tailscale?.IsRunning == true ? (_tailscale.MagicDnsName ?? _tailscale.TailscaleIp) : null) ?? GetPrimaryLocalIpAddress() ?? "localhost"; |
Pre-existing failure (not PR-specific)
ServerManagerTests.CheckServerRunning_NoUnobservedTaskException_OnConnectionRefused — port collision, same on main.
Recommended Action: ⚠️ Request Changes
Two blocking test failures must be fixed before merge:
- Add
FiestaService.SetStateFilePathForTesting()+ wire it up inTestSetup.cs - Add
Settings.razor.css0.85em entry toFontSizingEnforcementTests.csallowlist
The EnsureServerPassword lock and ApprovePairRequestAsync IsRunning guard are non-blocking but should be addressed.
Multi-Model Consensus Review — Round 9 (5/5 models, all findings confirmed)No new commits since Round 8 (latest: CI Status:
|
| # | Sev | File:Line | Status | Description |
|---|---|---|---|---|
| 1 | 🔴 | FiestaService.cs:37 + TestSetup.cs |
STILL PRESENT | Static _stateFilePath not test-isolated. TestSetup.cs resets CopilotService, RepoManager, AuditLogService, PromptLibraryService — but NOT FiestaService. Constructor calls LoadState() against real ~/.polypilot/fiesta.json → ParseAndLinkPairingString_Roundtrip_CorrectWorkerFields fails (Assert.Single() sees 2). Also overwrites real user pairing data during test runs. Fix: add internal static void SetStateFilePathForTesting(string path) => _stateFilePath = path; to FiestaService and call it from TestSetup.ModuleInitializer. |
| 2 | 🔴 | Settings.razor.css:719 |
STILL PRESENT | .onboarding-list code { font-size: 0.85em; } not in CssFontSizeAllowlist. Only Settings.razor.css entry in the list is 2rem. Fix: add ("Settings.razor.css", @"^0\.85em$", "Inline code (.onboarding-list code) — scales with parent text") to the allowlist in FontSizingEnforcementTests.cs. |
| 3 | 🟡 | FiestaService.cs:653 |
STILL PRESENT | EnsureServerPassword() has no lock on check→generate→save path. Fix: wrap lines 655–672 in lock (_stateLock) { if already set, return; ... }. |
| 4 | 🟡 | FiestaService.cs:515 |
STILL PRESENT | ApprovePairRequestAsync reads _tailscale?.MagicDnsName ?? _tailscale?.TailscaleIp without IsRunning == true guard. GeneratePairingString (line 351) has this guard. Fix: var localIp = (_tailscale?.IsRunning == true ? (_tailscale.MagicDnsName ?? _tailscale.TailscaleIp) : null) ?? GetPrimaryLocalIpAddress() ?? "localhost"; |
New Findings (1 model only — below consensus threshold, FYI)
| Sev | File:Line | Models | Description |
|---|---|---|---|
| 🟡 | FiestaService.cs:520 |
1/5 | TCS fires TrySetResult(true) before SendAsync — if send throws, caller gets false but TCS is permanently approved; request can never be retried. |
| 🟡 | FiestaService.cs:515 |
1/5 | BridgePort read without _bridgeServer.IsRunning guard — worker could receive http://ip:0 if bridge stopped mid-approval. GeneratePairingString already has this guard. |
Recommended Action: ⚠️ Request Changes
Two blocking test failures remain unfixed (findings #1 and #2). These are small changes (a one-liner test hook + one allowlist entry). The EnsureServerPassword lock (#3) and Tailscale IsRunning guard (#4) are also straightforward and should be fixed in the same pass.
…-to-pair - Fix GetPrimaryLocalIpAddress() to score NICs and skip virtual adapters (Docker/Hyper-V/WSL/VMware) and their IP ranges (172.17.*, 172.18.*) - Add FiestaPairingPayload, PendingPairRequestInfo, PendingPairRequest, PairRequestResult models to FiestaModels.cs - Add FiestaPairRequest/Response message types and payloads to BridgeMessages.cs - Add /pair WebSocket path in WsBridgeServer with HTTP-level rate limiting (5s cooldown before WebSocket upgrade) and HandlePairHandshakeAsync - Add FiestaService methods: GeneratePairingString, ParseAndLinkPairingString, HandleIncomingPairHandshakeAsync (TCS captured inside lock), ApprovePairRequestAsync (try/catch on dead socket), DenyPairRequest, RequestPairAsync, EnsureServerPassword - Update Settings.razor: pairing string display + copy, paste-to-link input, incoming pair request banners (Allow/Deny), Request Pair button per discovered worker - Regenerate pairing string when Direct Sharing is started/stopped - Add .pair-request-banner CSS to Settings.razor.css Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
FiestaService.cs:
- Refactor LinkWorker() into a private LinkWorkerAndReturn() that returns
the added/updated FiestaLinkedWorker from within the same lock scope.
LinkWorker() is now a thin wrapper that discards the return value.
- ParseAndLinkPairingString() now uses LinkWorkerAndReturn() directly,
eliminating the separate lock(_stateLock) { _linkedWorkers[^1] } read
that was a TOCTOU race (another thread could add/remove a worker between
the two acquisitions, causing [^1] to return the wrong entry or throw).
WsBridgeServer.cs:
- Replace DateTime _lastPairRequestAcceptedAt with long _lastPairRequestAcceptedAtTicks
to enable atomic operations.
- Replace the check-then-set pattern with Interlocked.Read + Interlocked.CompareExchange:
two concurrent /pair requests arriving within microseconds could both pass
the < 5s check before either set the timestamp; CAS ensures only one wins.
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
ApprovePairRequestAsync TCS fix:
- Move tcs.TrySetResult(true) inside the try block; call tcs.TrySetResult(false)
in the catch block. Previously the TCS was always resolved true even when
SendAsync threw, causing a silent discrepancy between host ('failed') and
worker ('approved').
NIC scoring RFC-1918 172.16.0.0/12:
- Add IsRfc1918_172() helper to check the 172.16-31 octet range.
- Update ScoreNetworkInterface() to treat 172.16-31 IPs as private LAN
(previously only 192.168.x and 10.x were recognized).
- Docker bridge IPs (172.17.x, 172.18.x) are still filtered by name-pattern
and IsVirtualAdapterIp(), so they are excluded before scoring.
RequestPairAsync null BridgeUrl guard:
- Add explicit check: if resp.BridgeUrl or resp.Token is null/empty, return
PairRequestResult.Unreachable instead of silently calling LinkWorker with
null args (which silently no-ops but still returns Approved to the caller).
Tests (FiestaPairingTests.cs):
- ParseAndLinkPairingString_Roundtrip: manually encode pp+ string, call
ParseAndLinkPairingString, verify Url/Token/Hostname on linked worker.
- ParseAndLinkPairingString_InvalidPrefix / MissingUrl: FormatException cases.
- ApprovePairRequestAsync_SendFails_TcsResultIsFalse: inject a FaultyOpenWebSocket
(State=Open but SendAsync throws) via reflection; verify TCS resolves false.
- RequestPairAsync_ApprovedWithNullBridgeUrl_ReturnsUnreachable: real HttpListener
server returns Approved+null BridgeUrl; verify Unreachable + no worker linked.
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
…very, UI success feedback Concurrent WebSocket send race (CRITICAL): - Both ApprovePairRequestAsync and DenyPairRequestAsync now claim the TCS atomically via TrySetResult before sending. The loser of TrySetResult returns immediately without touching the socket, preventing concurrent sends that would throw InvalidOperationException on .NET WebSockets. - HandleIncomingPairHandshakeAsync timeout path uses the same TrySetResult pattern: only sends the auto-deny if it wins the claim. - ApprovePairRequestAsync: TrySetResult(true) first, then SendAsync. Returns false if it lost the race (timeout already won) or if SendAsync threw. - DenyPairRequestAsync: TrySetResult(false) first, then SendAsync. Returns early without sending if approve already won. Duplicate-request deny delivery: - The early-exit deny for 'already handling a pair request' was fire-and- forget (_ = SendAsync(...)). Wrapped in Task.Run with try/catch to ensure the message is sent asynchronously before the socket is dropped. ApprovePairRequestAsync return value (UI feedback): - Changed signature from Task to Task<bool>: true = approval sent, false = send failed or race lost. Callers can now distinguish success from failure. Settings.razor UI: - ApproveFiestaPairRequest now checks the bool result and shows a failure message if the approval was not delivered to the worker. - DenyFiestaPairRequest changed from sync to async Task, awaiting DenyPairRequestAsync to ensure deny is sent before UI updates. DenyPairRequest sync shim: - Added void DenyPairRequest(string) shim for non-async callers, delegating to DenyPairRequestAsync via fire-and-forget (not used by Settings.razor anymore, kept for API compatibility). Tests (FiestaPairingTests.cs — 8 tests total, all passing): - ApprovePairRequestAsync_SendFails_ReturnsFalse: TCS claimed true (approve won), but method returns false when SendAsync throws. - ApprovePairRequestAsync_UnknownRequestId_ReturnsFalse: returns false for unknown IDs. - ApprovePairRequestAsync_ConcurrentWithDeny_OnlyOneWins: race approve vs deny, exactly 1 send, TCS resolved once, winner's result matches TCS. - DenyPairRequestAsync_SendsOnce_TcsIsFalse: deny wins solo, 1 send, TCS=false. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
…imit, test isolation - ApprovePairRequestAsync and DenyPairRequestAsync both set pending.SendComplete in finally block after their send, so HandleIncomingPairHandshakeAsync can await it before returning (prevents caller's finally from closing the socket while a send is in-flight) - Duplicate-request deny is now awaited inline instead of Task.Run fire-and-forget; both the lock check and the SendAsync happen outside the lock to avoid re-entrance - ReadSingleMessageAsync: added 256KB limit to guard unauthenticated /pair path against OOM - FiestaPairingTests constructor sets _bridgeServer.ServerPassword = 'test-token-isolation' so EnsureServerPassword() never falls through to ConnectionSettings.Load()/Save() Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
The crash log shows InvalidOperationException ('No process is associated
with this object') when Process.HasExited is accessed on a disposed process.
Fire-and-forget tasks monitoring stdout/stderr in DevTunnelService accessed
the _hostProcess field directly, which could be nulled/disposed by Stop()
or TryHostTunnelAsync() concurrently. The same pattern existed in
CodespaceService.TunnelHandle and ServerManager.StopServer.
Changes:
- Add ProcessHelper utility with SafeHasExited(), SafeKill(), and
SafeKillAndDispose() that never throw on disposed/invalid processes
- DevTunnelService: capture process in local variable before passing to
fire-and-forget tasks; use ProcessHelper.SafeHasExited() in loops
- CodespaceService.TunnelHandle: add _disposed flag so IsAlive returns
false after DisposeAsync(); use SafeHasExited for process checks
- ServerManager.StopServer: use SafeKillAndDispose for clean teardown
- Add 11 unit tests covering null, disposed, exited, and running process
states plus a concurrent-dispose regression test
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
… disposal, error logging, UX improvements - QrScannerPage: Set IsVisible=true on all 4 overlay BoxViews in LayoutOverlays() - QrScannerService: Guard against TCS race condition on concurrent ScanAsync() calls - Settings.razor: Dispose JsonDocument with 'using', add StateHasChanged after ShowStatus, log errors in TryGenerateFiestaPairingString, check WsBridgeServer.IsRunning after Start, show pairing string inline in Direct Connection section - Dashboard.razor: Dispose JsonDocument with 'using' - PolyPilot.csproj: Pin QRCoder=1.6.0 and ZXing.Net.Maui.Controls=0.4.0 Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
…ettings panels - Direct Connection: step-by-step worker setup instructions (set password → enable → copy pairing string → paste on host) - Fiesta Workers: how-it-works explanation for hub side (paste pairing string → link → use @mentions in chat) - Added .onboarding-steps, .onboarding-heading, .onboarding-list CSS classes styled consistently with existing settings panels Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
…unbounded buffers - Catch TimeoutException from WaitAsync in pair-request flow (FiestaService) - Sanitize GitHub auth token to prevent shell injection (CodespaceService) - Add 256KB message buffer limits in authenticated WebSocket paths (FiestaService, WsBridgeServer) - Validate codespaceName format and remotePort range (CodespaceService) - Reject oversized UDP discovery packets >4KB (FiestaService) - Add path traversal guard in GetFiestaWorkspaceDirectory (FiestaService) - Reject pairing strings longer than 4KB (FiestaService) Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
…es, graceful close Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Replaces printf '%s' with single-quote escaping with base64 encoding. Base64 output is [A-Za-z0-9+/=] only, eliminating all shell injection risk regardless of token content (newlines, backticks, quotes, etc.). Addresses critical finding from security review. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
The pairing string now prefers TailscaleService.MagicDnsName/TailscaleIp over the primary LAN IP, enabling cross-network Fiesta via Tailscale. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
GetPrimaryLocalIpAddress() skips NetworkInterfaceType.Tunnel interfaces, which is exactly what Tailscale creates on Windows. Without this fix, the pairing string always embeds the physical LAN IP (192.168.x.x), which is unreachable from a different network even with Tailscale running. Changes: - Inject TailscaleService into FiestaService - GeneratePairingString() prefers Tailscale MagicDNS/IP over LAN IP when Tailscale is running, enabling cross-network Fiesta connections - BroadcastPresenceLoopAsync() also advertises Tailscale IP in UDP announcements so discovered workers have a connectable URL No behavior change for LAN-only users (Tailscale not running). Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
ApprovePairRequestAsync now prefers TailscaleService addresses over LAN IP, fixing cross-network push-to-pair via Tailscale. Also fixes test project: adds TailscaleService.cs compile include and updates FiestaPairingTests constructor call. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Shows install guidance when Tailscale is not detected, explaining its purpose for cross-network Fiesta usage. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
…allback - Fix ArgumentOutOfRangeException risk in Substring call with Math.Min - Use IndexOf for IsProcessError check instead of fixed window - Fix conditionIndex > 0 to != -1 (IndexOf returns -1 on miss) - Add behavior-level test for RestorePreviousSessionsAsync fallback - Add comment about English BCL string in IsProcessError Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
777a4cc to
a55d1b9
Compare
Multi-Model Consensus Review — Round 10 (5/5 models)Latest commit: CI:
|
| # | Sev | File:Line | Status |
|---|---|---|---|
| 1 | 🔴 | FiestaService.cs:37 + TestSetup.cs |
STILL PRESENT — Static _stateFilePath resolves to real ~/.polypilot/fiesta.json, TestSetup.cs has no FiestaService hook. ParseAndLinkPairingString_Roundtrip_CorrectWorkerFields fails with Assert.Single() seeing 2 items. |
| 2 | 🔴 | Settings.razor.css:719 |
STILL PRESENT — font-size: 0.85em not in CssFontSizeAllowlist → FontSizingEnforcementTests fails. |
| 3 | 🟡 | FiestaService.cs:~653 |
STILL PRESENT — EnsureServerPassword() no lock on check→generate→save path. |
| 4 | 🟡 | FiestaService.cs:~515 |
STILL PRESENT — ApprovePairRequestAsync uses Tailscale IP without IsRunning == true guard. |
New Findings (2+ model consensus)
| Sev | File:Line | Models | Description |
|---|---|---|---|
| 🟡 | FiestaService.cs:58-75 |
2/5 | GetPolyPilotBaseDir() is a private duplicate of CopilotService's path logic. Even if FiestaService.SetStateFilePathForTesting() were added for finding #1, it would still bypass the CopilotService.BaseDir override used by all other services. The fix is to replace the private GetPolyPilotBaseDir() with a delegate to CopilotService.BaseDir. |
| 🟡 | FiestaService.cs:~660,671 |
2/5 | EnsureServerPassword() calls ConnectionSettings.Load() / settings.Save() internally. Project invariant (documented in testing guidelines) states tests must NEVER call ConnectionSettings.Save() or ConnectionSettings.Load(). Any test path reaching the password fallback branch will corrupt real ~/.polypilot/settings.json. The test constructor pre-sets _bridgeServer.ServerPassword as a workaround, but this is fragile — future tests that don't know this convention will corrupt real data. |
Confirmed PR-specific test failures (from dotnet test):
Failed FiestaPairingTests.ParseAndLinkPairingString_Roundtrip_CorrectWorkerFields
Assert.Single() Failure: collection had 2 items
[FiestaLinkedWorker BridgeUrl=http://192.168.1.50:4322, ...] [FiestaLinkedWorker BridgeUrl=http://10.4.0.124:4322, ...]
Failed FontSizingEnforcementTests.AllCssFiles_FontSizes_UseTypeScaleOrAllowlisted
Found 1 CSS font-size value not in allowlist: Settings.razor.css:719 — font-size: 0.85em
Required fixes before merge:
FiestaService.cs: Replace privateGetPolyPilotBaseDir()with (fixes structural isolation root cause)TestSetup.cs: AddFiestaService.SetStateFilePathForTesting(Path.Combine(TestBaseDir, "fiesta.json"))toModuleInitializerSettings.razor.css:719: Add("Settings.razor.css", @"^0\.85em$", "Inline code (.onboarding-list code) — scales with parent")toCssFontSizeAllowlistinFontSizingEnforcementTests.csFiestaService.cs:653: Wrap generate path inlock (_stateLock)with re-check under lockFiestaService.cs:515: Add_tailscale?.IsRunning == trueguard for Tailscale IP selection
Verdict: ⚠️ Request Changes
10 rounds of review, 0 findings fixed. Two test failures block merge. All 5 fixes are small and self-contained.
- Replace FiestaService.GetPolyPilotBaseDir() with CopilotService.BaseDir (eliminates duplicate path logic) - Add FiestaService.SetStateFilePathForTesting() for test isolation - Wire up FiestaService test isolation in TestSetup.ModuleInitializer - Add 0.85em to CssFontSizeAllowlist for .onboarding-list code - Lock EnsureServerPassword check-generate-save path - Add IsRunning guard for Tailscale IP in ApprovePairRequestAsync Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
What this PR does
Three improvements to Fiesta mode for the 'one PolyPilot to rule them all' multi-devbox scenario:
Feature A: NIC Selection Fix
Feature B: Pairing String (copy/paste)
Feature C: LAN Push-to-Pair
Race condition fixes