[source conventions] PASS  A,C,G,T order; C+G=T; K2P a_C=a_T
[source conventions] PASS  five explicit Lemma 4.1 coordinates and favorable-order Q factorization
