TY - RPRT TI - From raw Solvability Complexity Index proofs to Weihrauch degrees AU - Christopher Sorg PY - 2026 UR - https://arxiv.org/abs/2609.20378 ID - 2609.20378 ER -