Schaper, C. Conjectures and Open Problems in the Ic Topos: Ramification, K-Theory, and Discrete Geometrization. ACF 2026, 1 (1), 149-156. https://doi.org/10.68366/f2sz6r03.