纯插入与轻微重排要分开判

lesson erratum verification subsequence counterexample

修改:20260424232542000

有序子序列规则只对纯插入稳健;一旦允许一次局部重排,长度 2 的内容词就足以构成反例。