In 1999, Rozansky conjectured the existence of a rational presentation of the
Kontsevich integral of a knot. Roughly speaking, this rational presentation of the
Kontsevich integral would sum formal power series into rational functions with
prescribed denominators. Rozansky’s conjecture was soon proven by the second
author. We begin our paper by reviewing Rozansky’s conjecture and the main ideas
that lead to its proof. The natural question of extending this conjecture to links leads
to the class of boundary links, and a proof of Rozansky’s conjecture in this
case. A subtle issue is the fact that a ‘hair’ map which replaces beads by
the exponential of hair is not 1-1. This raises the question of whether a
rational invariant of boundary links exists in an appropriate space of trivalent
graphs whose edges are decorated by rational functions in noncommuting
variables. A main result of the paper is to construct such an invariant, using
the so-called surgery view of boundary links and after developing a formal
diagrammatic Gaussian integration. Since our invariant is one of many rational
forms of the Kontsevich integral, one may ask if our invariant is in some
sense canonical. We prove that this is indeed the case, by axiomatically
characterizing our invariant as a universal finite type invariant of boundary links with
respect to the null move. Finally, we discuss relations between our rational
invariant and homology surgery, and give some applications to low dimensional
topology.