Skip to main content

position_optimize_with_share

lean_ctx::core::litm

Function position_optimize_with_share 

Source 
pub fn position_optimize_with_share(
    session: &SessionState,
    begin_share: f64,
) -> PositionedOutput
Expand description

Calibrated variant (#539): begin_share < 0.6 means the begin position empirically under-performs for this client — progress moves to the end block and the task line is duplicated there (recency rescue for the most critical item). At the default share the layout is byte-identical to the uncalibrated version.