Function: withdrawFromSparkRecovery(uint256 amount)

This function is a permissionless variant of withdrawFromSpark used after Recovery mode activates.

Inputs

• amount

  • Control: N/A.

  • Constraints: 0 sweeps all; otherwise, the value must not exceed the contract's aToken balance.

  • Impact: Updates usdtRedeemed and instructs the Spark pool to return liquidity to the vault contract.

Branches and code coverage

Intended branches

• Delegate to _withdrawFromSpark for the actual withdrawal logic.

  Test coverage

Negative behavior

• Reentrancy is blocked by nonReentrant.

  Negative test

• Calls outside Recovery mode revert.

  Negative test

Function call analysis

• None.