Fix and enhance skills-engineering rules and validation scripts - #17
Merged
Conversation
…/5、5/5 守卫契约漂移 - SKILL.md：[OUT-002] 改回中文对齐 owner rule_index（触发条件见 GR-004）；[SYM-004] 恢复 v73 中文真值（错误建模追加 domain_modeling.md），消除英文化 drift - run_behavior_validation.sh：behavior 4/5 字面断言去 stale 化（代码审查 / PR Review 例外→代码审查 / PR Review），保留 findings-first + review_checklists 契约校验 - 提案+校验+审批：evolution/proposals/20260710-155000-fix-code-review-behavior-contract.md 及 validations/approvals 记录 - 解锁 skill-evolution pre-commit 审批门，使后续业务提案可正常 approve→commit
- agent-preamble 模板：摘要补全 GR-001/GR-006，移除对 GR-NNN 的拒收声明，Rule ID 词表纳入 GR-NNN - engineering-discipline.mdc 模板：description 升级为 GR-001~008 全量覆盖 - usage_ledger：codex/cursor audit 提示的 expected/hit-rules 家族追加 GR-XXX - 新增 3 个回归测试固化 模板/台账须与 rule_index active 集合一致 契约 - 提案+校验+审批：evolution/proposals/20260710-154300-sync-gr-ids-to-templates-ledger.md 及 validations/approvals 记录
- 新增 scripts/validate-skill-behavior.sh：跨技能行为/一致性校验 (companion 文件齐备、自有规则 ID 在 references 有定义、invocation 触发矩阵覆盖、i18n 镜像与跨技能硬链提示)，接入 pre-push 作为 结构校验后的硬闸门。 - 新增 scripts/verify-review-setup.sh：跨模型评审前置自检。 review 修复加固： - Check 2 规则 ID 定义校验改为仅在本 skill 的 references/*.md 内以 结构化锚点 (## ID / [ID] / | ID |) 匹配，移除 SKILL.md 与 ios-engineer/references 并入导致的门禁失效与误兜底；修正 RULE_BULLET 缺 re.M 导致 Check 2 对真实多行 SKILL.md 完全跳过 的死代码缺陷。 - discover_skills 改为以含 SKILL.md 的顶层目录为准，使缺 companion 的新 skill 也能被 companion 检查捕获。 - pre-push 失败提示分支同时匹配 structure 与 behavior 脚本，覆盖 behavior-only 失败路径。 - verify-review-setup.sh 对 reviewer CLI 计数并做 --version 探测， cli_count<2 时给出 cross-model (\>=2 provider) 约束告警。
- SKILL.md 声明 CE-001~013 自有规则 ID（触发门控 / 重框 / 盲区可证伪 硬判据 / 邻域机制相关 / 带走可复用 / Tier0-Tier2 互斥 / 深潜三元素 / 迎合自检 / 跳过 / 邻域对照池 / 与 L2-L0 去重）。 - 新增 references/rule_index.md：以表格行 | CE-NNN | 承载真值，对齐 ios-engineer rule_index 模式；行为门禁 Check 2 经 DEF_TABLE 命中。 - 新增 references/examples.md：before/after 形态样本 + 退化标本，作为 LLM 输出校准锚点（原规范纯散文、无示例，一致性靠运气）。 - 效果：cognitive-expansion 从'纯散文规范'升为可被 validate-skill-behavior.sh Check 2 校验的契约（13 个 ID 全部确认定义， 全仓库 PASS）；补齐此前 review 指出的'无自有规则 ID / 零示例 / 不可校验' 三大短板，将技能成熟度从 3 星推向 4 星。
P1: examples.md 未从 SKILL.md 入口链接，被 validate-skill-structure.sh 判定为 orphan reference（不可达死重）。在 SKILL.md 规则索引段链接 references/examples.md，结构门禁恢复 PASS（3 个 reference 全部可达）。 P2: validate-skill-behavior.sh Check 2 此前只校验 '声明⊆定义'，未校验 '定义-active⊆声明'，使 rule_index.md 中未被 SKILL.md 声明的 active 行 可蒙混通过，'双向一致'契约为假。新增反向校验：仅对本 skill 已声明前缀 的 active 表行检查是否被 SKILL.md 声明；用独立 DEF_ACTIVE 正则读取状态列， 避开 retired 行与 ios-engineer 的 GR-* 镜像 ID，避免误报。负向测试 （注入 CE-014 active 行未声明）现已正确 FAIL。
Check 2 的 defined 此前经 DEF_TABLE 匹配所有表行，使 | ID | retired | 退役行仍可作为'有效定义'，导致仍声明在 SKILL.md 的退役 ID 不会触发前向 FAIL，与 rule_index 生命周期约定（退役 ID 不应再出现在 SKILL.md）及 141-143 行注释自相矛盾。 - 改为仅以 DEF_ACTIVE（status==active 的表行）填充 defined；删除已 无用的 DEF_TABLE 定义。 - 负向测试：把某 CE 行改为 retired 后，前向检查正确 FAIL 'owned rule id [...] not defined'；恢复后全仓库 PASS，ios-engineer 的 retired / 镜像 ID 仍不误报。
C（Tier 3 类比护栏 / CE-008 细化）： - cognitive_expansion.md §Tier 3 给「跨域类比」加硬护栏：须机制对齐、 点名被映射机制（A 的 X 机制 ↔ B 的 Y 机制），禁陈词类比（交通/下棋/ 看病）/禁换词类比（同技术栈换词重复主文，亦违反 CE-004）。 - 附 1 good / 1 bad 例：good 复用 examples.md 示例 2（教育『为考试而教』 ↔ 评审『为通过而形式化』，指标篡夺目标）；bad 为『写代码像盖房子』陈词。 - SKILL.md / rule_index.md CE-008 措辞同步，指向详规 §Tier 3。 B（流程保障收口）： - 预测日志 / 双会话 / 每周深潜 由契约段移入『附录：流程保障（可选 习惯，非门控）』并标注不计入 validate-skill-behavior.sh 任何 Check， 避免可选习惯稀释强制契约。 验证：behavior / structure 门禁均 PASS（exit 0），CE-008 三处 ID 一致。
- 更新 auto-code-review 技能的国际化配置，支持 en-US 本地化 - 添加 auto-code-review 的英文参考文档，包括代理调用指南、代码审查规范和范围声明 - 添加 ios-engineer 技能的英文反模式库、应用扩展、通知和持久化规范文档 - 新增隐私权限工程规范的英文文档框架 - 扩展 SKILL.md 配置以支持自动本地化检测和多语言环境
- 新增 cognitive-expansion/cross-model-review/engineering-discipline/ epistemic-integrity/logical-reasoning/plan-grill/problem-analysis 的 i18n 支持 - 新增 ios-engineer 英文镜像 references 文档（20+ 篇）
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.