Files
Tamir DubersteinandHanzo Dev 975aed380a checklocks: guard UDP binding and error state
Annotate the existing port, binding and last-error lock contracts,
including self-locking methods and the helpers called under e.mu.
Keep the receive-state synchronization fix separate.

Document synchronous callback ownership where the analyzer cannot
propagate captured locks, and the stored socket-option interface's
concrete lock requirements. Preserve the unlocked loopback send path.

Co-authored-by: Hanzo Dev <[email protected]>
2026-08-26 12:57:28 -04:00
..
…