2 problems

Local compactness–local solidity conjecture. $X$ is locally compact if and only if

Nonzero-filter localizability conjecture. The filter $mid 0$ is localizable over $Q$.