Operators may be removed from the OperatorStakingPool by Chainlink. Their principal can still be accessed by executing OperatorStakingPool::unstakeRemovedPrincipal, therefore it is not lost.
This type of call does not exist in the OperatorVault. The pool principal would be locked if an OperatorVault was removed from the chainlink staking pool.
function where problem occures
The withdrawn principal is included in the vault principal, therefore unless the monies are recovered by an upgrade to the vault, which would take time, the vault's behaviour would be flawed.
manual review
owner should be able to unstake removed principal.
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.