The migrate() of SDLPoolPrimary.sol contract cannot be called by any address ever which disabled the migration logic forever.
The migrate() looks like this:
There is a check : if (msg.sender != delegatorPool) revert SenderNotAuthorized(); which checks whether the caller is delegatorPool or not, if not then it will revert by SenderNotAuthorized().
The problem is  delegatorPool was declared but any address was not assigned to it. In constructor it is checking that if delegatorPool is equal to address(0) then __SDLPoolBase_init() is called otherwise ccipController will be assigned to it. But as delegatorPool was not initialized by any address so it is always address(0), so ccipController will not be assigned to it instead __SDLPoolBase_init() will be called.
So as migrate() will only be called by delegatorPool and as the delegatorPool is always zero address then  the all calls to migrate() will be reverted because address(0) cannot initiate any transaction.
In this test:
You can see that the address of delegatorPool is address(0) & themigrate() cannot be called by any contract or EOA.
Migration feature is disabled forever.
Manual analysis.
Have a function to set the delegatorPool address by a privileged user or set it using initialize().
The contest is live. Earn rewards by submitting a finding.
This is your time to appeal against judgements on your submissions.
Appeals are being carefully reviewed by our judges.