A combinatorial solution to the tool maker problem
The claim presented in the linked question is just bullshit, since the author is not in the least defining what he is talking about, let alone what his objective function and probabilistic model is.
In this second attempt these things are made clearer. We have a large urn containing $N\gg1$ balls of $m$ different colors, whereby each color is represented with the same number of balls.
We can have slaves sort these balls into $m$ different urns, whereupon we can just take one ball out of each urn and will be in possession of a ball of each color.
If such slaves are not available we have to make random picks out of the large urn until we have seen all $m$ colors. What is the expected number of picks? We may assume that $N$ is so large that any balls picked and kept are not disturbing the involved probabilities. This is the Coupon Collector's Problem.
Denote by $E_r$ the expected number of additional picks when there are $r$ colors yet to be found. Then $$E_0=0,\qquad E_r=1+{r\over m}E_{r-1}+{m-r\over m}E_r\quad(r\geq1)\ .$$ This leads to $$E_r={m\over r}+E_{r-1}\ ,$$ so that that $$E_r=m\>\sum_{k=1}^r{1\over k}\ .$$ In particular $$E_m=m\>H_m\doteq m\>\log m\qquad(m\to\infty)\ .$$ Hence for large $m$ the expected number of necessary picks is by a factor $\log m$ larger than when the slaves are available.
the sorted architecture is roughly $k$-times more efficient than no architecture
means that if the sorted architecture expected time to a solution is $t$, then the messy heap can expect to solve in $kt$.
Which I'm fairly sure is nonsense, and there is nothing wrong with your argument.