Loading...

Undo Transition
Needs Verification

XML

Word

Printable

JSON

Type: Task
Resolution: Unresolved
Priority: Major - P3
Fix Version/s: None
Affects Version/s: None
Component/s: None
Labels:
- jstest
- sharding
- tla-plus

CAR Domain/s:
None

Aha! Reference:
None
Tracking Level:
None
Risk Status:
None
Exec Notes:
None
Goal Name(s):
None
Goal Link:
None

Author TLA+ model and a deterministic reproducer for the SERVER-99357 family. See worktree branch substrate-contrib/migration-index for proposed files.

is related to

SERVER-99357 Concurrent migration and create or drop indexes could leave inconsistent indexes in the cluster

Backlog

Assignee:: Unassigned
Reporter:: Mehar Grewal
Participants:: Mehar Grewal
Votes:: 0 Vote for this issue
Watchers:: 1 Start watching this issue

Created:: May 14 2026 09:42:47 AM UTC
Updated:: May 14 2026 09:42:53 AM UTC

Details

Description

Attachments

Issue Links

Activity

People

Dates