business-logic-ensure-business-constraints

该技能面向业务逻辑代码中以 ensure ... 形式表达的业务约束。先以业务语言复述规则，例如 ensure requester is enabled、ensure there are available cars，再按项目语言的命名风格（camelCase、snake_case、PascalCase 等）与控制流惯例翻译为本地代码，不照搬示例措辞。适用场景包括：执行业务逻辑前检查前置条件，校验资格、授权、可用性或所需状态，保护业务操作不被无效执行，在状态变更或流程推进前执行规则入口检查，以及把业务约束逻辑抽取为业务逻辑内的辅助函数、方法或校验器。其约束不产生业务数据，成功时只返回 void、unit、undefined、None 等单位等价结果，即使项目使用结果包装也保持成功侧为单位等价；失败时按项目错误惯例返回错误值、抛出领域错误或返回结果错误，并对应被违反的业务规则。实践中每条约束尽量只负责一条规则，多个规则需显式组合。检测时先找业务规则入口检查（if 条件、提前返回、校验分支、授权与可用性检查、前置条件辅助函数），转为 ensure ... 复述以判断是否属业务约束，再核实成功与失败形态，按语义而非仅凭语法分类。编写时名称需来自业务规则，不从实现细节取名，不回传布尔、实体、DTO、计数或派生值，无错误即表示规则成立。业务约束与业务操作分离，约束通过后主逻辑才执行。完成时需说明识别或修改了哪些约束、对应的 ensure ... 规则、翻译方式及所用的成功类型与错误形态。原文未提供具体安装命令、平台或价格信息。