Constructive Matrix Theory for Higher-Order Interaction