pub const fn retained_baseline(
retained_charge: ResourceVector,
identity_slots: u64,
marker_credits: u64,
marker_max: ResourceVector,
) -> Result<WideResourceVector, BaselineError>Expand description
Computes B = S + ((I - C) × marker_max) componentwise.
Every operand is widened to u128 before subtraction, multiplication, or
addition. This keeps the printed suboperation order without importing the
occurrence-array machinery excluded by docs/design/LP-EXTRACTION-GOAL.md.
§Errors
Returns BaselineError when C > I.