Commit 2026-06-23 08:28 4d0f80f9

feat: properly support inferring a model with corners on a Bundle.TotalSpace (#40047) Support inferring a model with corners on a Bundle.TotalSpace, both as the source and target. The current logic was wrong and incomplete. Incomplete, since it only supported inferring a model on the codomain of a map, and wrong as the algorithm used for that had a logic bug. Consider a function f : N → TotalSpace F V, from a manifold into the total space of a fibre bundle V over a manifold M. The correct model with corners to infer on the codomain is I.prod (𝓘(𝕜, F)) --- where I is the model with corners on the base M of V. Previously, they would always use the model on the domain N instead of the model I on the bundle's base M. This works if f were a section of V, but is incorrect in general! Instead, determine the model with corners in a principled way (by finding a model on the base): this works in all cases. It also removes the need for the baseInfo parameter.