Skip to content

Fix TaskManager frozen container validation in stress tests#1

Closed
anthony-murphy-agent wants to merge 1 commit intofeat/stress-test-state-trackerfrom
fix/taskmanager-validation
Closed

Fix TaskManager frozen container validation in stress tests#1
anthony-murphy-agent wants to merge 1 commit intofeat/stress-test-state-trackerfrom
fix/taskmanager-validation

Conversation

@anthony-murphy-agent
Copy link
Owner

Summary

  • Skip quorum-dependent DDSs (TaskManager) when validating frozen containers against live clients in the removeClient reducer. Frozen containers don't process quorum events (removeMember), so TaskManager's taskQueues (which depend on quorum membership) will inevitably diverge.
  • Add optional skipChannelTypes parameter to validateConsistencyOfAllDDS to support this.
  • Remove 7 seeds from skip list that now pass: Directory (1, 14, 45, 155, 184), COC (54), TaskManager (137). Reclassify seed 63 from Directory to COC.

Test plan

  • Full 200-seed stress test suite passes (194 passing, 6 pending, 0 failing)
  • No regressions on previously-passing seeds

🤖 Generated with Claude Code

…kip list

Frozen containers don't process quorum events (e.g., removeMember), so DDSs
like TaskManager whose in-memory state depends on quorum membership will
inevitably diverge from a live client. TaskManager's applyStashedOp is also
intentionally a no-op, meaning the frozen container isn't expected to reproduce
the live client's task queue state.

Changes:
- Add optional `skipChannelTypes` parameter to `validateConsistencyOfAllDDS`
- Define `quorumDependentDdsTypes` set containing the TaskManager type
- Pass this set when validating frozen containers in the removeClient reducer
- Remove 7 seeds from skip list that now pass (Directory: 1, 14, 45, 155, 184;
  COC: 54; TaskManager: 137)
- Reclassify seed 63 from Directory to COC category
- Keep seed 46 (genuine TaskManager live-client consistency bug)

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
Co-Authored-By: anthony-murphy <anthony.murphy@microsoft.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant