用途:该技能要求在编写或重构代码时始终启用,通过一组子技能和工程原则约束编码风格,覆盖多语言与多运行时。
主要能力与必需子技能:howto-functional-vs-imperative(分离纯逻辑与副作用)、defense-in-depth(在数据流经的每一层校验)。条件子技能按场景启用:howto-code-in-typescript(TypeScript)、howto-code-in-rust(Rust)、howto-develop-with-postgres(PostgreSQL)、programming-in-react(React 前端)、writing-good-tests(编写或审查测试)、property-based-testing(序列化、校验、归一化、纯函数测试)。
设计方法:以性质驱动设计,在设计阶段而非调试阶段发现缺口,如往返 decode(encode(x))==x、幂等、不变量、交换律、结合律、单位元、参考实现与易验证输出,并暴露删除实体、大小写、稳定排序、算法可配置性等问题。
核心原则:正确性优先于便利,完整建模错误空间,用类型系统编码约束;错误分两层(面向用户的语义退出码与可执行诊断、内部编程错误),错误消息使用小写句子片段;务实增量,避免为假设需求提前抽象,遵循三次法则;文件按用途命名,不用 utils/helpers/common/misc;模块边界严格,平台代码分离为 unix.ts/windows.ts 等;跨平台使用系统原生逻辑,差异处注释并全平台测试。
常见错误与红旗:把代码塞进 utils、忽视边界情况、提前抽象、只在 Mac 上测试、用 as any 绕过类型;utils 文件超 200 行、吞错、平台代码混杂、单次使用的抽象等应停止重构。
提交卫生:提交应为逻辑原子单元,每个提交须能构建并通过检查,格式化与重构同功能变更分开提交,正文用过去与现在时并支持 Markdown,标题不用反引号。
限制:资料未提供安装命令、配置方式、支持平台清单或许可信息,暂未提供。