`RewindBlockIndex` reads `chainActive` (via `ChainActive()`) without holding `cs_main`:

https://github.com/bitcoin/bitcoin/blob/b2a6b0216192b6e8428f1a80b47f5178fccb961a/src/validation.cpp#L4314-L4331

(Please note that callers of `RewindBlockIndex` are _not_ allowed to hold `cs_main` since `RewindBlockIndex` indirectly calls `LimitValidationInterfaceQueue`.)
{
    AssertLockHeld(cs_main);
    AssertLockHeld(pool.cs);
    CBlockIndex* tip = ::ChainActive().Tip();
    assert(tip != nullptr);
    CBlockIndex index;
    index.pprev = tip;
    
    
    
    
    
    
    index.nHeight = tip->nHeight + 1;
    std::pair<int, int64_t> lockPair;
    if (useExistingLockPoints) {
        assert(lp);
        lockPair.first = lp->height;
        lockPair.second = lp->time;