Trained weights only. Kernels and empty ROADMAP cards live in other collections. Lambda uniqueness is Conjecture 1.