a5c-ai/babysitter/library/methodologies/pilot-shell/skills/behavior-contract
把 bug 条件/后置条件形式化为可测行为契约。定义修复中须保持的不变量。
全部 skill