A way of reformulating it is that Tw(I)→I is a localization (that is I is obtained from Tw(I) by inverting all arrows that lie above equivalences), which seems eminently reasonable since Tw(I)→I is a cocartesian fibration with weakly contractible fibers, but I don't see an immediate proof (it is not a trivial marked fibration :( )