Tag: manifold-constrained hyperconnection