不变式守护

正确性优先：强制在写代码前先写函数契约、循环不变式、终止论证与边界情况。捕获 Boyer-Moore、最左二分查找、QuickSelect 陷阱。