Two-Adic Admissibility, Visible Square Divisors and Trivial-Branch Obstructions in Dyadic Shell Arithmetic | Synapse