Summary
Update the initial pledge ramp-start condition in src/rpc/methods/state.rs to use an inclusive comparison (<=) where Forest aligns with the Lotus reference implementation.
Rationale
The current condition differs from Lotus. The inclusive boundary affects the ramp-start epoch calculation for initial pledge values.
Affected area
src/rpc/methods/state.rs
compute_initial_pledge_for_power and the ramp-start epoch handling
Required change
Compare the Forest condition with the referenced Lotus implementation and change the condition to the inclusive form when the semantics match.
Acceptance criteria
- Forest uses the inclusive ramp-start condition consistent with Lotus.
- The initial pledge calculation uses the correct ramp parameters at the boundary epoch.
- Add or update a focused regression test for the boundary epoch, if practical.
References
Requested by: @LesnyRumcajs
Summary
Update the initial pledge ramp-start condition in
src/rpc/methods/state.rsto use an inclusive comparison (<=) where Forest aligns with the Lotus reference implementation.Rationale
The current condition differs from Lotus. The inclusive boundary affects the ramp-start epoch calculation for initial pledge values.
Affected area
src/rpc/methods/state.rscompute_initial_pledge_for_powerand the ramp-start epoch handlingRequired change
Compare the Forest condition with the referenced Lotus implementation and change the condition to the inclusive form when the semantics match.
Acceptance criteria
References
Filecoin.StateMinerCreationDeposit#7495Filecoin.StateMinerCreationDeposit#7495 (comment)Requested by: @LesnyRumcajs