Proof gets stuck in a disconnected → connecting → connected → disconnected loop

[frostymug]

While using proofeditor.ai, it becomes unusable, as it falls into a 2 second loop of disconnected → connecting → connected → disconnected

I asked the Claude Chrome extension (Sonnet 4.6) to diagnose and it suggested I log the following:

What To Report to the Proof Team
The most actionable things to flag:

• The /api/metrics/collab-reconnect metric is firing hundreds of times per session — they can confirm this on their backend and it should be a strong signal that the reconnect loop is real and systematic.
• The console warning "HocuspocusProvider: An authentication token is required, Won't try again" appears repeatedly, which indicates createProvider is being called before activeSession is populated. There should be a guard: don't call createProvider until the session fetch has completed.
• The collabRecoveryTimerDelayMs = 0 case should have a minimum floor (e.g., 500ms) to avoid tight spin loops.
• The shouldDeferExpiringCollabRefresh check (which defers refresh if the user is actively typing) may interact poorly with the 2-second polling loop if the user is always typing.