By Kechris' conjecture I mean the assertion that Turing equivalence $\equiv_T$ is a universal countable Borel equivalence relation. It is well known that if Turing equivalence is universal, then there are Borel Turing-invariant functions which are neither constant on a cone nor increasing on a cone. So, if Kechris' conjecture is true (provably in ZF + DC + AC), then part 1 of Martin's conjecture is false, even in its weaker "Borel" formulation.

These two conjectures are usually presented as completely contraposed, being two extremely different way of imaginating the structure of the set of Turing-invariant functions preordered by $\le_m$.

My question is: could it be that the universality of $\equiv_T$ is in fact consistent with part 2 of Martin's conjecture, i.e. with the statement that the set of Turing-invariant functions which are increasing on a cone is prewellordered by $\le_m$?