Loading...

XML

Word

Printable

JSON

Type: Task
Resolution: Fixed
Priority: Major - P3
Fix Version/s: 8.3.0-rc0
Affects Version/s: None
Component/s: None
Labels:
None

Assigned Teams:

Catalog and Routing
Backwards Compatibility:
Fully Compatible
Sprint:
CAR Team 2026-01-19
CAR Domain/s:

🟩 Routing and Topology

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

Update TLA+ placementConflictTime spec to be in line with changes added by ~~SERVER-97587~~. The relevant specs are:
https://github.com/mongodb/mongo/blob/8924903905882be3fae0feeff905ca05a60001ec/src/mongo/tla_plus/Sharding/TxnsMoveRange/TxnsMoveRange.tla
https://github.com/mongodb/mongo/blob/8924903905882be3fae0feeff905ca05a60001ec/src/mongo/tla_plus/Sharding/TxnsCollectionIncarnation/TxnsCollectionIncarnation.tla

depends on

SERVER-97587 Dettach the placementConflictTime from the ShardVersion/DbVersion

Closed

Assignee:: Igor Praznik
Reporter:: Silvia Surroca
Participants:: Githook User, Igor Praznik, Silvia Surroca
Votes:: 0 Vote for this issue
Watchers:: 3 Start watching this issue

Created:: Dec 02 2025 10:58:20 AM UTC
Updated:: Jan 16 2026 01:42:04 PM UTC
Resolved:: Jan 16 2026 01:42:04 PM UTC