I think the PR should move forward because 1) @bbbales2 said in his testing the Boost integrator does not handle mixed (or forward?) types but does handle reverse and doubles types; 2) if we can rely on Boost to implement correctly that’s great; and 3) we agreed in the meeting that that was enough to meet the requirements for Stan usage. Endorsement is cool and all but if we rely on it that means the rationale for decisions is not spelled out.
In general I think we should move towards smaller decisions that are easier to justify. For example if we can’t articulate the requirements in an issue, evaluate some alternative in a video call, or evaluate different implementations with direct tests I think we’re making decisions that are too big (this is just on technical issues).