Round-six lemma `cplP_spec`