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

README: embed learned-space and composition-manifold figures

initial commit