Comprehensive card rewrite; Markov-correlated generalization in the proof; correlation figure

Composition boundary: machine-checked factorization/Bayes/JSD theorem + Nucleotide Transformer sweep showing D predicts solvability