I have put online a rough draft of an article about compact funcoids.

In the draft article there is an error which I have trouble to find. I will pay $100 to the first person which finds my error (unless I find the error myself).

See inside the article.

I’ve found the error in theorem 16.216 of my book. The assumption $latex (\mathsf{RLD})_{\mathrm{in}}\uparrow^{\mathsf{FCD}} Y = \uparrow^{\mathsf{RLD}} Y$ was wrong.