skill-tempering（淬炼 · skill 优化 meta-skill）
一个 meta-skill：拿一份现成 skill，把它优化 / 成熟到机制层标准（回火淬炼——实测到位、去脆性、变韧）。它住维护层——是"作用于"一个 skill 的过程，不是 skill 运行时"依赖"的库；产物是"一个更好的、仍然自包含的 skill"。
本文件只持脊柱：分流闸、两路线流程图、7 通用核（只名 + 一句 + 指向权威全文的指针）、派生工序入口、暂停点、全局护栏。判据正文一律不在脊柱复述——7 核全文唯一在 references/principles.md，派生工序唯一在 references/derivation-protocol.md，路线 A 细则与模板唯一在 references/audit-lens.md，路线 B 细则唯一在 references/evidence-lens.md。指针只点该 reference 里非默认的具体动作，不是空转的"详见 X"。
核心流程：两条路线（一套判据，双证据入口）
两路线共用同一底座（7 核 + 派生工序 + 三分诊 + 改进清单产物），唯一差别是证据从哪来——由分流闸按用户输入自动选:
用户输入
│
┌──────────────┴──────────────┐ 分流闸
只给一份 skill(无实证) skill + 已跑完的实证
│ (卡点/失败案例/trace/反馈)
┌──────────────────────────┐ ┌──────────────────────────────┐
│ 路线 A · 审计透镜 │ │ 路线 B · 实证透镜 │
│ 证据 = 文本静态推定 │ │ 证据 = 用户真实运行留痕 │
│ 纯静态、单会话、便宜 │ │ 消化实证、三分诊满血 │
│ audit-lens.md │ │ evidence-lens.md(借A七步,换④证据)│
└──────────────┬───────────┘ └──────────────┬───────────────┘
└───────── 共用底座 ──────────┘
归型 → 逐条判7核+派生纪律 → 护栏+三分诊 → critic → 产改进清单+盲区声明
│
⏸ 产出改进清单后停、交用户(不自动改被测 skill)
分流闸(可机械判 + 模糊归模型):
- 输入只有一份 skill、没带实证 → 路线 A（audit-lens.md）。
- 输入带了真实使用中攒下的实证（卡点记录 / 失败案例 / 运行 trace / 使用反馈,或"我用它遇到了 X"）→ 路线 B（evidence-lens.md）。
- 模糊时归模型判、允许混合降级:实证单薄时路线 B 退化为"路线 A 静态体检为主 + 消化那几条实证",不硬二分（#4:可观测信号定默认、判断空间留模型,不硬编死表）。
- skill-tempering 自己绝不产生实证（守 #7 + 甩机床）——产生实证是用户真实使用、或另用 skill-creator 等评测工具的事;本 skill 只消费已有实证。
7 通用核（机制层 · 任何 skill 都先逐条过）
> 只列名 + 一句。每条的原则全文 / 触发条件 / 审计问句 / 强制力档默认，唯一在 references/principles.md 对应锚 #N——拿那里的审计问句去问被测 skill，按其触发条件判管不管它、按强制力档定违规处置力度。脊柱不复述。
- 自评不可信——产出方与裁判方必须分开；无外部真值就诚实标低置信 / 交人，绝不自评放行。判据全文与审计问句去
references/principles.md锚#1。 - 完成判据——显式、可判、带死上限的"做到这儿就停"；无界循环或无判据即缺陷。去
references/principles.md锚#2。 - 快乐路径之外——为可预见的失败 / 前置缺失 / 能力不具备各定义显式降级或退出，不默认一切顺利。去
references/principles.md锚#3。 - 确定性归工具、判断归模型——能机械确定的别让模型猜，需判断的别硬编成死表（双向）。去
references/principles.md锚#4。 - 单一权威源 · 守薄——每条判据 / 清单只一个权威家、禁复述；抗蔓延 / 沉积 / 空转 / 重复四类熵增。去
references/principles.md锚#5。 - 描述即激活闸——name + description 写成"何时用"触发器（正向触发词 + 负向边界），非"本 skill 做 X"摘要。去
references/principles.md锚#6。 - 自包含 · 可移植——零运行期外部 skill / 脚本 / 跨会话依赖；改一个 skill 必从它自身长出。去
references/principles.md锚#7（本核是唯一硬约束，连改本 meta-skill 自己时也不可 override）。
> 每条核的"理论骨"（一句结论）随该核落在 references/principles.md，不在本脊柱重述。
派生工序（7 核之外的"额外适用纪律"，现场长出）
7 核之上，被测 skill 因形态不同还该套上的纪律——不靠枚举类型查表，靠一道现场判断工序长出：归型（嗅可观测事实 + 看失败形态）→ 查种子库挂条件纪律 / 缺了当场派生 → 完整性 critic 揪种子没问到的命脉 → ④证据来源二分（路线 A 静态推定 / 路线 B 用户实证）→ 盲区声明。完整六步、种子库表、结晶治理闸、三分诊归因闸（六步之外、给每条疑似问题归因），唯一在 references/derivation-protocol.md——两路线都走 ①归型 / ②种子库 / ③完整性 critic / ④证据来源二分 / ⑥盲区声明 + 三分诊归因闸，只在 ④ 的证据来源上分流（⑤结晶治理属维护层，去那里看分界标注）。
路线入口（分流后走对应细则）
两路线都不在脊柱编排步骤,各去自己的细则:
- 路线 A（无实证）→
references/audit-lens.md:完整七步静态体检流程 + 反"过度报缺口"护栏 + 三分诊归因 + 改进清单 / 部分符合声明模板。 - 路线 B（带实证）→
references/evidence-lens.md:借路线 A 七步、只换 ④ 证据来源（吃用户实证）+ 三分诊实证语境;产物与模板复用 audit-lens,不另造。
脊柱只交代共同的输入与产物:输入一份现成 skill（＋ 路线 B 另有用户实证）,产出一份按强制力档分级（hard / soft / advisory）的改进清单 + 一份"永不宣称全覆盖"的部分符合声明。
⏸ 暂停点
产出改进清单（+ 部分符合声明）后停下，交给用户。 本 skill 不自动去改被测 skill——它只诊断、列改进项；改与不改、怎么改由用户定。这是两路线共同的硬暂停。
全局护栏
> 这些是跑 skill-tempering 时的运行约束。改本 skill 自己时的治理（防膨胀 / 单一权威源 / 结晶闸落地）属维护宪法、不随运行载入。
- ✅ 自包含是唯一硬约束（7 核 #7）——本 meta-skill 自身零运行期外部依赖（吃自己第 7 条）；它住维护层、不进被测 skill 的运行期，故 structurally 不破被测 skill 的自包含。
- ✅ 守薄（7 核 #5）——判据全去 references 读，脊柱只路由不复述；指针只点非默认的具体动作，不堆砌。
- ❌ 不自动触发——重型 meta 动作，只由用户显式调用（同 description 负向边界）。
- ✅ 诚实标盲区（7 核 #1）——路线 A 纯静态、及路线 B 里实证没撞到的派生纪律，一律标"静态推定、未实证"，绝不冒充已验证；没把握就降 advisory 或写进部分符合声明"待确认"，不报成违规。审计者自己判出的每条问题也过三分诊归因,不默认为真值。
- ❌ 不自产实证、不复辟机床——skill-tempering 自己绝不跑 baseline 双跑 / 织覆盖账本;产生实证是用户真实使用或 skill-creator 的事,本 skill 只消费。
