What this page proves
These are the exact names registered by the source inventory for this group.
Regression · Group 6 of 8
Server socket cleanup invariants
Five named cases from the tracked correctness inventory, kept on one focused page.
5 exact casesInventory source: test suite
Exact current cases
- removes a closed socket before publishing close after reset
- destroys an unreadable closed socket exactly once
- publishes the disconnected socket and its peer id
- retains a socket that remains readable
- delegates server stop to the active listener
Inventory and execution
What proves a pass
The generated workflow result on the testing overview is authoritative about execution and failures.