Revised Derived Theorem Candidate

The final, clean theorem statement after all six referees have completed their audits. Let $E:y^2=x^3+x^2+8x-16$, $\mathcal P=\{q\text{ prime}: q\equiv1\pmod{24},\ (\frac q{29})=1,\ x^3+x^2+8x-16\text{ irreducible mod }q\}$, then $\delta(\mathcal P)=\frac1{24}$, and the derived theorem candidate is $\forall q\in\mathcal P,\ \operatorname{BSD}(E^{(q)})$, where $E^{(q)}$ is the quadratic twist by $q$. The document attaches a complete, compact proof router table, precisely mapping each prime class to a named theorem: $p=2$ uses Banwait–Huang Theorem 2.14 plus Creutz–Miller's base full BSD; $p=q$ uses the quadratic-twist clause of BSTW Theorem 9.21(c) plus rank-zero descent, with witness $29$; odd good ordinary $p$ uses Skinner Theorem C, witness $29$; $p=3$ also uses Skinner Theorem C, witness $29$; $p=29$ uses Skinner Theorem C, witness $3$; odd good supersingular $p$ uses Fouquet–Wan Theorem 1.7 plus Corollary 1.10, nonsplit Steinberg witness $29$—the document explicitly marks "all primes exhaustive." The claim label is currently set to DERIVED THEOREM CANDIDATE; if the novelty/citation referee (the four tasks listed in document 26) also passes, it can advance to PREPRINT CANDIDATE; as for whether it can be called a "new theorem," the document explicitly states that this must be determined separately by the novelty audit, and is not something to be declared here.