invariant-guard - 在算法代码前明确正确性契约

在生成或审查非平凡循环或递归前，要求明确函数契约、不变量、终止性论证、基例和边界情况。