Audit reference: [FIL-1132b525-L05]

From audit:

In _settleSegmentGross (

filecoin-pay/src/FilecoinPayV1.sol

Lines 1467 to 1470 in 1132b52

	require(
	payer.lockupCurrent >= grossSettledAmount,
	Errors.InsufficientLockupForSettlement(rail.token, rail.from, payer.lockupCurrent, grossSettledAmount)
	);

) you check require( payer.lockupCurrent >= grossSettledAmount while it should be require( payer.lockupCurrent >= requiredLockup because requiredLockup is subtracted from lockupCurrent

Because grossSettledAmount is always >= requiredLockup the existing check should be safe. But the suggested modification is clearer.