The inputs calculated in HyperdriveLP.sol for the average times have a great loss of accuracy since there is a transition between 18 decimals to seconds and then back to 18 decimals. An error of 1e18 seconds in longAverageMaturityTime is then multiplied by a factor of 1e18/ _positionDuration ~ 1e10.

[jalextowle]

[jalextowle]

Certora's recommendation was accepted in #304.