gavindiaz/vibe-coding-cn
1
0
Fork 0
mirror of https://github.com/tradecatlabs/vibe-coding-cn.git synced 2026-11-02 13:36:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

docs: gongfa catalog - expand explanations

Browse Source
This commit is contained in:
tradecatlabs
2026-10-12 16:27:30 +08:00
committed by GitHub
parent 7a951b0320
commit b8609c4d12
8 changed files with 438 additions and 422 deletions
Download Patch File Download Diff File Expand all files Collapse all files
AGENTS.md
+1 -1
View File
@@ -262,7 +262,7 @@ git push origin develop
- `tools/faqi-catalog.md` - 法器品级、名称与解释的三列只读浏览表；完整登记与分组依据归`metadata/faqi.json`，资源原事实仍归资源YAML。
- `scripts/sync-faqi-catalog.py` / `test-faqi-catalog.py` - 离线总表生成、检查及行为契约；核来源、图SHA、对象映射和品级边界，保留真实命令/结果；不执行被审程序或联网补证。
- `metadata/gongfa/registry.json` - 活跃功法登记、等级、规则、来源、内容版本、人工初评及正式评级历史的唯一可编辑数据源；类型语义仍归本体主文；新范围追加批次
- `metadata/gongfa/catalog.md` / `catalog.xlsx` - 功法总表的生成视图；Markdown仅列品级、名称与简要解释，Excel保留完整字段，聚合当前登记与已分类候选历史材料；不手改、不自动注册/去重/评级
- `metadata/gongfa/catalog.md` / `catalog.xlsx` - 功法总表的生成视图；Markdown列品级、名称与由源JSON摘要、机制、用途/任务族和初评理由生成的解释，原始详情仍归JSON；Excel保留完整字段；不手改、不自动注册/去重/评级
- `metadata/gongfa/catalog-sources.json` - 仅索引仓内不可变候选快照的路径/SHA/范围；历史材料不是第二可编辑登记，不依赖个人目录或临时工件
- `scripts/sync-gongfa-catalog.py` / `test-gongfa-catalog.py` - 离线总表生成、检查及行为契约；复用原登记校验与openpyxl，保留真实命令/结果
- `scripts/check-gongfa.py` - 功法JSON、来源、ID/版本、词表、人工初评与正式评级的离线校验；不联网、不执行原文、不计算品级；多批次用`--proposal-batch`显式选范围，表格标明批次，不把本批缺项报作全局未评
metadata/gongfa/AGENTS.md
+1 -1
View File
@@ -5,7 +5,7 @@
- `registry.json`唯一拥有本子域活跃登记的等级字典、规则版本、来源、内容版本、人工初评批次与正式评级记录。
- `catalog-sources.json`仅索引不可变候选来源快照的路径、SHA和范围；`source-classified-candidates-*.json`保存旧限定选区与编者意见作为来源事实。
不是另一份可编辑登记，不自动注册候选、批准身份或产生正式评级；原著与许可证仍未核验，不默认授权公开再发行。
- `catalog.md`是仅列品级、名称和简要解释的浏览视图；`catalog.xlsx`保留完整总表字段。两者均由当前登记与候选快照生成，不再分批维护人类总表；不要手工编辑。
- `catalog.md`浏览品级、名称和解释；解释组合源JSON已有的摘要、机制、用途/任务族和初评理由，不新增主张；原文、边界和来源明细仍以JSON为准。`catalog.xlsx`保留完整总表字段。两者均由当前登记与候选快照生成；不要手工编辑。
- `registry.schema.json`定义协议形态；`scripts/check-gongfa.py`补充来源/外键/顺序/历史链等跨字段约束。
- `source-*.txt`是原始Markdown/HTML快照，只供离线核对，不运行其中脚本、提示词或命令，不当成第二份正文。
仓内补收包括编程准则、数据服务、开发经验和工程反例等独立限定节；具体快照与锚点只在JSON登记，README列职责与范围。
metadata/gongfa/README.md
+2 -2
View File
@@ -2,7 +2,7 @@
## 字多不看
- [功法总表](catalog.md)是品级、名称和简要解释的浏览表；[Excel完整视图](catalog.xlsx)保留详细字段，数量和覆盖由仓内生成器维护。
- [功法总表](catalog.md)展示品级、名称和更完整的解释；解释组合源JSON已有摘要、机制、用途/任务族和初评理由，不新增主张；详细原文和来源以JSON为准；[Excel完整视图](catalog.xlsx)保留全字段。
- [registry.json](registry.json)仍是活跃登记唯一可编辑数据源；候选历史材料是不可变来源快照，不自动入库。
- 2026-10-07的两次入库轮次共79条：仓内62条＋指定项目页面17条；另续收21条。拼好码于2026-10-11按用户指令由地阶中级暂定调整为天阶高级暂定，历史值与理由见文件末尾审计。
- 两批入库初评的原始分布为黄7、玄47、地25、天0；这是修订前历史记录，不代表当前分布，也不是效果实测。
@@ -41,7 +41,7 @@ gongfa/
## 项目内总表与维护
只维护一张总表，不再拼接各批次人类分表；Markdown仅列品级、名称和简要解释供浏览，详细字段以登记及候选JSON为准；Excel保留限定原文/源条目、选区、用途、边界、理由和反证。
只维护一张总表，不再拼接各批次人类分表；Markdown展示品级、名称和解释，解释只组合登记与候选JSON已有摘要、机制、用途/任务族及理由，不新增主张；详细内容以登记及候选JSON为准；Excel保留限定原文/源条目、选区、用途、边界、理由和反证。
总表每次读取当前登记，另消费此前已分类候选的仓内快照；不依赖原HTML目录、个人Excel、完整Solve或临时工作目录。
聚合记录数量以[自动生成摘要](catalog.md#字多不看)为准，不能当成已登记数或经语义去重的独立功法数。
metadata/gongfa/catalog.md
+411 -411
View File
@@ -6,7 +6,7 @@
- 共**410条内容记录**；已登记79条，未入登记库的来源候选331条。不是独立功法去重后的总数。
- 原前瞻初评408条，暂不可判2条；不是正式效果评级，亦不把缺测默认补成黄阶。
- Markdown仅作浏览，表格只列品级、名称和简要解释；详细字段见JSON，Excel保留完整视图。
- Markdown仅作浏览；解释列组合源JSON已有摘要、机制、用途/任务族和初评理由，详细原文、边界和来源仍以JSON为准。
- 同一总表的[Excel完整视图](catalog.xlsx)含限定原文/源条目、来源选区、边界、理由、反证和置信。
- 活跃登记来自[registry.json](registry.json)，历史候选来自[仓内快照索引](catalog-sources.json)；维护边界见[README](README.md)。
@@ -16,416 +16,416 @@
| 品级 | 功法名称 | 解释 |
|---|---|---|
| 天高 | 拼好码 | 复用主导的软件系统组装与演化 |
| 地高 | 第一性原理 | 错误前提下的问题重构与方案重推 |
| 地高 | 形式化方法（轻量形式化） | 协议、不变量与边界条件检查 |
| 地高 | 方法论工具箱总体作业流 | 从需求澄清到交付验证的整体作业 |
| 地中 | 胶水原则 | 技术选型与成熟能力复用 |
| 地中 | 反事实推理（Counterfactuals） | 因果解释与验证器的反事实检查 |
| 地中 | 溯因排错法（仓内操作版） | 多候选原因的故障诊断 |
| 地中 | 错误认识论（Error epistemology） | 高风险方案的失败模式与防护分析 |
| 地中 | 实验哲学（x-phi） | 可区分假设的工程实验设计 |
| 地中 | 固定点收敛系统 | 自治任务执行的分层验证与升级 |
| 地中 | 最小先验条件下的代理增强型任务求解 | 陌生领域的受控代理增强交付 |
| 地中 | 问题界定与求解闭环（仓内体系版） | 复杂需求的问题界定与求解闭环 |
| 地中 | 6.2 契约式设计 | 跨模块责任与不变式约束 |
| 地中 | 性能工程“医生”闭环 | 跨软硬件困难性能诊断 |
| 地中 | 七步性能测试闭环 | 复杂性能测试设计与判定 |
| 地初 | 奥卡姆剃刀 | 等效方案的复杂度取舍 |
| 地初 | 状态空间思维模型 | 状态空间中的目标、路径和约束建模 |
| 地初 | 可证伪主义（波普尔） | 假设和方案的反例验证 |
| 地初 | 系统论/整体论（边界与反馈回路） | 跨模块依赖、边界和反馈诊断 |
| 地初 | 机制解释（Mechanistic explanation） | 从现象到生成机制的解释检验 |
| 地初 | 计算哲学（Computational philosophy） | 复杂机制的模拟与现实对照 |
| 地初 | 近端因果机制 | 故障末端因果机制的定位与检验 |
| 地初 | 分而治之 | 可分解复杂问题的边界与集成 |
| 地初 | 规约先于实现 | 实现前的行为与边界约定 |
| 地初 | 故障可控与恢复优先 | 有故障条件下的可观测、隔离与恢复设计 |
| 地初 | Dataset First 数据服务范式 | 稳定数据集产品的服务边界与控制面设计 |
| 地初 | 新建数据服务作业流 | 按数据契约构建采集、补数与修复服务 |
| 地初 | 缓存生命周期与隔离约束 | 有状态与多用户场景的缓存正确性设计 |
| 地初 | 3.5 效应局部化 | 高传播变更的边界设计 |
| 地初 | 3.10 变动率 | 多变化轴模块划分 |
| 地初 | 3.11 软件架构基本技法 | 复杂系统模块与接口设计 |
| 地初 | 3.14 信息隐藏 | 易变决策隔离 |
| 地初 | 3.16 关注点分离 | 交织职责的分离 |
| 地初 | 3.21 分治 | 复杂问题分解与再集成 |
| 地初 | 3.22 软件架构的非功能需求 | 困难架构质量权衡 |
| 地初 | 3.26 可靠性 | 高损失故障影响控制 |
| 地初 | 3.27 可测试性 | 难观察和难复现行为设计 |
| 地初 | 3.36 安全原理 | 不可信输入与高代价异常 |
| 地初 | 3.37 UNIX思想 | 可组合工具生态设计 |
| 地初 | 3.44 透明性原则 | 隐藏状态的困难诊断 |
| 地初 | 3.49 修复原则 | 错误早暴露与隔离 |
| 地初 | 3.55 UNIX哲学 | 异构自动化工具链构建 |
| 地初 | 3.61 充分利用软件的杠杆效应 | 成熟能力复用与业务编排 |
| 地初 | 4.2 耦合度 | 复杂依赖关系与稳定性治理 |
| 地初 | 5.3 性能调优的箴言 | 困难性能问题测量与复测 |
| 地初 | 5.5 一步一步走 | 高风险重构的增量验证 |
| 地初 | 6.1 曳光弹 | 集成不确定性下的演化骨架 |
| 地初 | 6.3 防御性编程 | 不可信数据与内部缺陷隔离 |
| 地初 | 7.8 重新发明车轮 | 成熟方案与自研边界 |
| 地初 | 健壮设计流程 | 组件增量组装与演化 |
| 地初 | 根因与不复发 | 反复故障根因修复 |
| 地初 | 测试即获取有效知识 | 困难测试目标与oracle审查 |
| 地初 | 阿姆达尔定律 | 优化上界与并行收益判断 |
| 地初 | 利特尔法则 | 稳定系统并发与平均容量核对 |
| 地初 | 数据分析陷阱清单 | 脏数据与跨系统指标语义审查 |
| 地初 | 九条性能测试经验 | 困难性能实验的重复与解释 |
| 地初 | 持续性能工程集成模型 | 性能回归的持续反馈 |
| 地初 | 瓶颈分层分析 | 困难跨资源瓶颈缩小 |
| 地初 | 网络分层诊断 | 复杂跨域网络性能诊断 |
| 地初 | 性能优化六原则 | 多场景困难性能优化取舍 |
| 地初 | 性能优化十大策略 | 复杂资源瓶颈的策略权衡 |
| 地初 | 跨层STW根因链 | 困难跨层暂停根因追踪 |
| 地初 | 容量规划闭环 | 困难需求预算下的容量规划 |
| 地初 | 信息隐藏 | 跨模块知识重复与联动变更 |
| 地初 | 提示注入分层防御 | 不可信仓库材料的提示注入防御 |
| 地初 | 状态栏代码维护原则 | 长历史下确定性计数与状态维护 |
| 地初 | 评估集六原则 | 困难及迁移开发任务的评估集审查 |
| 地初 | 最小复现 | 复杂可复现程序故障的失败输入缩减 |
| 地初 | 性质测试 | 可声明性质的软件接口边界与组合检验 |
| 地初 | 模糊测试 | 解析器与接口的大输入空间异常发现 |
| 地初 | 不变量检查 | 多步状态流的权限、数据与一致性检查 |
| 地初 | 风险驱动测试 | 有限预算下高影响失效路径的验证安排 |
| 地初 | 事故复盘 | 有可保全证据的事故根因与复发治理 |
| 地初 | 预注册 | 模型或方法晋升中的确认性评估 |
| 地初 | 重复研究 | 软件方法与模型效果的独立重复评估 |
| 地初 | 代理指标—真实目标对齐审计 | 模型评分、测试通过率与真实验收目标的失配审计 |
| 地初 | 后悔与鲁棒决策 | 概率不稳且损失不对称的软件方案选择 |
| 玄高 | 多阶思维 | 决策后续影响与反馈审查 |
| 玄高 | 奥卡姆剃刀（工具箱操作版） | 冗余模块和解释的等效简化 |
| 玄高 | 决策论/机会成本（可逆优先） | 不确定条件下的可回退方案选择 |
| 玄高 | 贝叶斯式信念更新（与溯因配合） | 随证据更新的故障假设排序 |
| 玄高 | 概念分析 / 概念工程 | API、需求和领域术语的边界设计 |
| 玄高 | 视角三角测量（Triangulation） | 多来源解释的独立交叉核对 |
| 玄高 | 解空间 | 约束求解与候选方案搜索 |
| 玄高 | 目的导向的行动选择 | 目标、约束与候选路径的多准则选择 |
| 玄高 | 自顶向下系统设计 | 需求较稳定系统的整体设计与拆解 |
| 玄高 | 状态时间与责任追踪 | 可变状态的时间、更新和责任审查 |
| 玄高 | 高内聚 | 按相关性与职责组织模块 |
| 玄高 | 低耦合 | 模块依赖取舍与独立演进 |
| 玄高 | 稳定接口与可变实现 | 接口兼容下的实现替换 |
| 玄高 | 显式依赖优先 | 依赖关系表达与排查 |
| 玄高 | 不变式与明确约束 | 明确系统不变式与约束 |
| 玄高 | 真实使用验证抽象 | 重复与抽象成本的设计取舍 |
| 玄高 | 技术债显式登记 | 交付折衷与偿还责任管理 |
| 玄高 | 性能定位以测量为准 | 性能瓶颈定位与优化取舍 |
| 玄高 | 外部源码数据集化接入 | 外部采集源码向数据集服务结构的适配 |
| 玄高 | 共享资源与并发安全约束 | 并发共享状态设计与检查 |
| 玄高 | 输入规模与复杂度约束 | 算法选型与隐藏遍历成本检查 |
| 玄高 | 2.1 KISS原则 | 删除无价值复杂度 |
| 玄高 | 2.2 DRY | 重复知识一致性维护 |
| 玄高 | 2.3 YAGNI | 需求与抽象范围控制 |
| 玄高 | 2.6 OCP | 已出现变化点的扩展 |
| 玄高 | 3.3 简洁 | 复杂实现简化 |
| 玄高 | 3.7 逻辑与数据的一体化 | 数据与处理的变更边界 |
| 玄高 | 3.12 抽象 | 稳定共性抽取 |
| 玄高 | 3.13 封装 | 内部状态误用控制 |
| 玄高 | 3.17 充足性、完整性、原始性 | 公共接口能力集合设计 |
| 玄高 | 3.18 策略和实现的分离 | 策略变化隔离 |
| 玄高 | 3.19 接口与实现的分离 | 契约兼容下的实现替换 |
| 玄高 | 3.20 单一引用点 | 配置与事实一致性 |
| 玄高 | 3.23 易变性 | 变化热点隔离 |
| 玄高 | 3.24 互操作性 | 跨系统协议协作 |
| 玄高 | 3.25 效率性 | 有明确性能约束的优化 |
| 玄高 | 3.30 简单性原理 | 目的无关结构清理 |
| 玄高 | 3.33 层次原理 | 高低层次依赖控制 |
| 玄高 | 3.38 模块化原则 | 大模块职责分解 |
| 玄高 | 3.40 组合原则 | 已有工具能力组合 |
| 玄高 | 3.41 分离原则 | 界面策略与引擎独立演进 |
| 玄高 | 3.42 简单原则 | 特殊处理膨胀控制 |
| 玄高 | 3.45 健壮性原则 | 脆弱依赖与隐藏状态治理 |
| 玄高 | 3.50 经济原则 | 可规则化重复作业自动化 |
| 玄高 | 3.51 生成原则 | 多表示机械派生 |
| 玄高 | 3.52 优化原则 | 无证据微优化筛除 |
| 玄高 | 3.54 可扩展性原则 | 协议兼容扩展 |
| 玄高 | 3.58 尽早创建原型 | 高不确定性学习实验 |
| 玄高 | 3.63 避开交互式用户接口 | 核心能力非交互调用 |
| 玄高 | 3.64 过滤器化 | 流水式数据转换组合 |
| 玄高 | 4.1 内聚度 | 模块内部关联诊断 |
| 玄高 | 4.3 正交性 | 组件独立变更 |
| 玄高 | 4.4 可逆性 | 不确定技术选择的替换余地 |
| 玄高 | 4.6 技术负债 | 临时方案债务治理 |
| 玄高 | 6.6 语境 | 有冲突规则的情境取舍 |
| 玄高 | 7.1 布鲁克斯法则 | 延期项目增员与范围决策 |
| 玄高 | 7.5 80-10-10原则 | 工具尾部适用性试验 |
| 玄高 | 7.7 第二系统综合征 | 重写与第二代功能膨胀 |
| 玄高 | 7.9 给牦牛剃毛 | 多层前置问题的任务回正 |
| 玄高 | 软件设计两原则 | 长期设计成本取舍 |
| 玄高 | API 承诺与兼容性 | 公共API兼容与弃用 |
| 玄高 | 严格性—简约—可用性取舍 | 输入约束与可用性权衡 |
| 玄高 | 调试四步法 | 可观察异常排查 |
| 玄高 | 产出物效率模型 | 开发效能指标选择 |
| 玄高 | 特性服务型重构 | 功能交付中的持续重构 |
| 玄高 | 隐私帮助—伤害权衡 | 数据收集与共享的隐私取舍 |
| 玄高 | 简约安全模型 | 攻击面与损失边界设计 |
| 玄高 | ODA 观察循环 | 开发与学习反馈回路 |
| 玄高 | 设计拒绝门 | 复杂度与价值提案筛选 |
| 玄高 | 杰出软件三条件 | 产品行为与意图表达验收 |
| 玄高 | 规则情境化 | 规则适用域校准 |
| 玄高 | 抽象模型不完备 | 模型结论适用范围审查 |
| 玄高 | 多快好省四维性能观 | 多维性能目标选择 |
| 玄高 | 帕累托法则 | 测量确认热点后的投入分配 |
| 玄高 | 性能统计工具箱 | 中心与长尾性能描述 |
| 玄高 | 性能数据分析五类目标 | 性能分析问题与工具匹配 |
| 玄高 | 性能测试六维分类 | 性能测试对象与场景合同 |
| 玄高 | 性能测试工具五模块 | 性能工具链适配 |
| 玄高 | 外部性能三指标 | 服务性能观察边界 |
| 玄高 | CPU资源诊断模型 | CPU结构性瓶颈诊断 |
| 玄高 | 内存层级与局部性模型 | 同族内存访问性能分析 |
| 玄高 | 存储三指标 | 存储负载与介质选择 |
| 玄高 | LLC未命中优化三策 | 有PMU证据的LLC优化 |
| 玄高 | iTLB优化流水线 | 有指令画像的iTLB优化 |
| 玄高 | SSD写放大与Trim调优 | SSD尾延迟与Trim策略 |
| 玄高 | RedLiner生产容量测试 | 经授权的真实流量容量测量 |
| 玄高 | 五条线上容量测试原则 | 线上容量测量客户保护 |
| 玄高 | 数据库复制三变量模型 | 复制流量容量延迟的模型判断 |
| 玄高 | Java多任务干扰三层机制 | 同平台Java资源干扰解释 |
| 玄高 | SSD友好七原则 | 目标SSD负载的软件适配 |
| 玄高 | 服务器五阶段验证路线 | 硬件验证真实性递进 |
| 玄高 | 容量规划六挑战 | 容量规划的供给与地域约束 |
| 玄高 | 需求控制五模块 | 新增与存量资源需求控制 |
| 玄高 | 指标—成本映射可见性与更新 | 资源指标与成本决策对齐 |
| 玄高 | 深模块 | 类与服务边界设计 |
| 玄高 | 适度通用的模块 | 相关用例的机制与策略分离 |
| 玄高 | 下沉复杂性 | 模块复杂性归属取舍 |
| 玄高 | 基于复杂性的拆分/组合 | 类、方法与服务拆分评审 |
| 玄高 | 通过定义来规避错误 | 接口特殊情况与异常语义设计 |
| 玄高 | 设计两次 | 重要接口及系统方案选择 |
| 玄高 | 重要性最小化与强调 | 关键接口与配置重点表达 |
| 玄高 | 大模型安全十九项控制 | 带模型与工具的软件威胁审查 |
| 玄高 | 提示工程实践清单 | 可复现开发提示维护 |
| 玄高 | 语义完整切块 | 代码及文档检索分块 |
| 玄高 | 智能体权限边界 | 工程代理高风险工具授权 |
| 玄高 | 用户故事 + GWT | 需求到可执行验收的转换 |
| 玄高 | 组件库约束生成 | AI UI代码与设计系统对齐 |
| 玄高 | 大模型时代的 UTDD | 单元行为测试先行的AI实现迭代 |
| 玄高 | 大模型时代的 ATDD | 跨组件业务验收实现 |
| 玄高 | 运维自愈边界 | 自动运维修复权限控制 |
| 玄高 | 生命周期阶段评估问题集 | AI生成数据管道的分阶段设计审查 |
| 玄高 | 源系统评估框架 | 外部源数据接入前合同审查 |
| 玄高 | 事件与时间语义 | 日志、CDC与事件管道时间合同 |
| 玄高 | 流式摄取可靠性框架 | 流式摄取可靠性风险审查 |
| 玄高 | 查询生命周期与优化闭环 | AI生成查询的性能诊断 |
| 玄高 | 语义层与指标层 | 报表与评估指标语义单点维护 |
| 玄高 | 概念完整性 | 多轮AI生成的系统概念一致性 |
| 玄高 | 规格传播与解释闭环 | 规格在开发与审查间传播 |
| 玄高 | 独立产品测试 | 降低实现者自证偏差的产品测试 |
| 玄高 | 规格外部审查 | 编码前的需求与规格缺陷审查 |
| 玄高 | 具体可度量的里程碑 | AI长任务进度与交付判定 |
| 玄高 | 计划日期与当前估计分离 | 计划偏差与恢复估计跟踪 |
| 玄高 | 输入—执行—输出三层护栏 | 工程Agent输入到输出的防线布置 |
| 玄高 | Human in the Loop | 高风险或反复失败的人工升级 |
| 玄高 | 业务规则可执行化 | AI业务规则精度与例外表达 |
| 玄高 | Skills 三层渐进式披露 | 大量Skill的按需上下文装载 |
| 玄高 | Skill 路由条件设计 | Skill元数据的适用域表达 |
| 玄高 | Context Distillation | 长任务的可检索状态摘要 |
| 玄高 | 五层生产压缩 | 开发会话上下文增长的压缩治理 |
| 玄高 | 记忆整理三层 | 开发知识与长期记忆去重整理 |
| 玄高 | ACI 防呆设计 | 模型可正确使用的工具接口设计 |
| 玄高 | 提议者—审核者 | 危险提议与交付产物审查 |
| 玄高 | 幂等性与预检—确认 | 超时与重试下重复副作用防护 |
| 玄高 | 异步任务生命周期 | 长运行开发工具的异步控制 |
| 玄高 | 离线—在线评估双轨 | 提示及Agent产品改进的双环境验证 |
| 玄高 | 黄金标准—功能测试—LLM 评估 | AI输出的验证机制选择 |
| 玄高 | 多通道滤波 | 代码结论与外部信息的独立交叉核验 |
| 玄高 | 通用五步衡量法 | 架构与调试中的测量投入选择 |
| 玄高 | 门槛导向抽样 | 开发验证采样与测量停止取舍 |
| 玄高 | 手段—目的分析 | 可度量目标差距的长任务子目标选择 |
| 玄高 | 构造性见证 | 工程可行性与具体交付见证 |
| 玄高 | 元认知监控 | 有限预算的多轮求解与停止选择 |
| 玄高 | 二分调试 | 单调、可复现的有序回归区间定位 |
| 玄高 | 差分测试 | 重构与替换的行为保持检查 |
| 玄高 | 依赖图 | 多组件变更的依赖建模与下游可达集分析 |
| 玄高 | 接口契约 | 组件接口合同制定与边界检验 |
| 玄高 | 影响分析 | 跨模块变更的影响与验证范围选择 |
| 玄高 | 架构权衡 | 满足硬约束的多候选架构比较 |
| 玄高 | 增量开发 | 可切片系统变更的集成风险控制 |
| 玄高 | 来源批判 | 外部资料支持具体工程或评估主张的可信范围审查 |
| 玄高 | 失败预演 | 上线与迁移前的失败机制预演及验证规划 |
| 玄中 | 组合描述模型 | 复杂系统的对象、状态和关系辨析 |
| 玄中 | 思想实验 | 高成本试验前的方案边界检查 |
| 玄中 | 逆向思维 | 方案失败条件与禁区识别 |
| 玄中 | 现象学还原（悬置假设） | 排错与需求中的观察假设分离 |
| 玄中 | 正反合（三段迭代） | 冲突方案的比较和小步综合 |
| 玄中 | 实用主义（以指标为准） | 以实际用户指标检验工程方案 |
| 玄中 | 诠释学（语境澄清） | 需求措辞与使用语境澄清 |
| 玄中 | 反思平衡（Reflective equilibrium） | 规则、案例与判断之间的校准 |
| 玄中 | 贝叶斯认识论（Bayesian epistemology） | 不确定判断的先验与证据更新 |
| 玄中 | 有限样本生成推断 | 少量样本下的多假设生成与判别 |
| 玄中 | AI-native | 人机任务、权限和责任配置 |
| 玄中 | 受约束的状态变换 | 跨领域问题的状态与约束求解表达 |
| 玄中 | Projection 表示转换 | 任务相关表示的构造与检验 |
| 玄中 | 状态分类工具 | 演化过程的有限状态建模与更新 |
| 玄中 | 自底向上系统构建 | 已有组件条件下的增量系统构建 |
| 玄中 | 控制论与科学方法论（仓内工程解释版） | 反馈控制视角的工程目标与迭代设计 |
| 玄中 | 可推理性优先 | 代码可理解性与维护取舍 |
| 玄中 | 最小惊讶原则 | 代码与接口的使用预期设计 |
| 玄中 | 文档记录设计理由 | 设计决策解释与维护交接 |
| 玄中 | 输入输出与状态变换分离 | 系统输入、状态、变换与输出的职责划分 |
| 玄中 | DRY 逻辑复用准则 | 重复逻辑与公共表达的取舍 |
| 玄中 | 1.1 编程没有银弹 | 评审技术万能承诺 |
| 玄中 | 1.2 代码即设计文档 | 代码设计理解与交接 |
| 玄中 | 1.3 代码必然被修改 | 可维护代码设计 |
| 玄中 | 2.4 PIE | 代码意图表达 |
| 玄中 | 2.5 SLAP | 混合抽象层次重构 |
| 玄中 | 2.7 名字很重要 | 名称检索与语义理解 |
| 玄中 | 3.1 编程理论 | 实现方式取舍 |
| 玄中 | 3.2 交流 | 团队代码阅读 |
| 玄中 | 3.4 灵活性 | 抽象灵活度选择 |
| 玄中 | 3.6 重复最少化 | 重复规则集中维护 |
| 玄中 | 3.8 对称性 | 同类与成对行为一致性 |
| 玄中 | 3.9 声明式表 | 目标与约束表达 |
| 玄中 | 3.15 打包 | 零散内容职责归属 |
| 玄中 | 3.28 可复用性 | 已出现共性的组件复用 |
| 玄中 | 3.29 七个设计原理 | 设计多视角审查 |
| 玄中 | 3.31 同构原理 | 问题与代码结构对应 |
| 玄中 | 3.32 对称原理 | 成对操作审查 |
| 玄中 | 3.34 线性原理 | 控制流与副作用追踪 |
| 玄中 | 3.35 清晰原理 | 晦涩表达替换 |
| 玄中 | 3.39 清晰原则 | 炫技代码维护 |
| 玄中 | 3.43 简约原则 | 工具规模与复用取舍 |
| 玄中 | 3.46 表达性原则 | 关键知识显式表达 |
| 玄中 | 3.47 最小意外原则 | 公共接口预期一致性 |
| 玄中 | 3.53 多样性原则 | 工具与任务匹配 |
| 玄中 | 3.57 工作唯一 | 工具职责集中 |
| 玄中 | 3.59 可移植性优先于效率 | 平台绑定与迁移取舍 |
| 玄中 | 3.60 文本数据 | 跨工具数据表示 |
| 玄中 | 3.62 活用shell脚本 | 固定命令流程脚本化 |
| 玄中 | 4.5 代码中的“坏味” | 坏味驱动的小步调查 |
| 玄中 | 5.4 无我编程 | 代码评审反馈质量 |
| 玄中 | 6.4 内部测试 | 开发团队真实产品使用 |
| 玄中 | 6.5 橡皮鸭调试法 | 调试隐含假设显性化 |
| 玄中 | 7.2 康威定律 | 团队沟通与模块边界检查 |
| 玄中 | 7.6 约书亚树原则 | 团队共同词汇形成 |
| 玄中 | 理解驱动能力 | 学习理解与应用检验 |
| 玄中 | 复杂性症状清单 | 复杂代码治理入口 |
| 玄中 | Bug 双重定义 | 缺陷与用户预期分类 |
| 玄中 | SAR / ISAR | 软件结构与信息流表示 |
| 玄中 | 持续改善 | 长期产品改善节奏 |
| 玄中 | 改善优先级两阶段 | 成熟产品改善优先级 |
| 玄中 | 学习—实践闭环 | 程序员知识边界与实践学习 |
| 玄中 | 用户问题 / 开发者方案 | 用户问题与方案协作 |
| 玄中 | 用户—程序—计算机中介模型 | 业务软件中介关系理解 |
| 玄中 | 团队规模—协调成本悖论 | 增员与协调成本估算 |
| 玄中 | 最小惊讶原则 | 用户可见行为预期 |
| 玄中 | 程序单一整体 | 程序整体逻辑与多余结构 |
| 玄中 | 维护即长期滋养 | 遗留程序理解与维护 |
| 玄中 | 系统三元组：硬件、软件与人 | 系统失效中人员因素检查 |
| 玄中 | 性能价值链 | 性能业务价值与成本关联 |
| 玄中 | 性能影响层级链 | 性能影响向上下游传播分析 |
| 玄中 | 排队系统模型 | 接近饱和的排队风险解释 |
| 玄中 | 性能数据展示六条经验 | 面向受众的性能展示 |
| 玄中 | 图表选择矩阵 | 趋势与分布图形选择 |
| 玄中 | 十类性能测试谱系 | 性能测试目标分类 |
| 玄中 | NUMA亲和策略 | NUMA位置与分配优化 |
| 玄中 | SSD内部页块模型 | SSD写放大机制理解 |
| 玄中 | 两步时间序列预测 | 有季节结构的流量预测 |
| 玄中 | 三元素干扰治理 | 已核版本平台的Java干扰调整 |
| 玄中 | HTTP传输状态机 | HTTP成功异常阶段定位 |
| 玄中 | 数据中心选址因子 | 数据中心选址可行性检查 |
| 玄中 | 模块化Pod网络 | 标准单元式网络扩容 |
| 玄中 | 服务效率八分类 | 服务效率改善机会盘点 |
| 玄中 | 效率提升五条执行原则 | 跨团队效率项目执行 |
| 玄中 | 持续学习循环 | 持续专业与协作学习 |
| 玄中 | 有效沟通四准则 | 工程协作信息一致性 |
| 玄中 | 复杂性症状—根因模型 | AI代码设计复杂性诊断 |
| 玄中 | 战略式编程 | 迭代功能的长期结构取舍 |
| 玄中 | 先写注释 | 公共接口设计说明检验 |
| 玄中 | 抽象增量 | 迭代中的抽象时机 |
| 玄中 | 价值优先推进 | AI开发能力试点选择 |
| 玄中 | 第三方模型六维选择 | 开发助手模型选型 |
| 玄中 | 第三方 API 十二维选择 | AI API供应方选择 |
| 玄中 | 代码 RAG | 已有仓库示例增强代码生成 |
| 玄中 | INVEST 需求评审 | 用户故事可交付性评审 |
| 玄中 | 巴士系数 (Bus Factor) | 关键维护与恢复知识连续性 |
| 玄中 | 古德哈特定律 (Goodhart's Law) | 开发效率指标与真实交付偏差识别 |
| 玄中 | 测试金字塔 (Testing Pyramid) | AI代码测试层级取舍 |
| 玄中 | 技术选型多维决策框架 | 数据技术栈与替换决策 |
| 玄中 | 流式窗口与水位线 | 实时聚合的窗口与迟到语义理解 |
| 玄中 | 服务阶段信任模型 | 数据服务持续验收与信任维护 |
| 玄中 | 序列化格式选择框架 | 数据文件与交换格式选型 |
| 玄中 | 人月不可互换与Brooks法则 | AI辅助项目的人力与日历估算 |
| 玄中 | 基于同类项目数据的系统估算 | 软件交付工期及人员估算 |
| 玄中 | 可持续工作周 | 可持续开发容量安排 |
| 玄中 | 异步优先的打断判断 | 开发沟通是否值得即时打断的取舍 |
| 玄中 | 工具调用四步循环 | 模型与工具框架的调用协议 |
| 玄中 | Skill 路由与执行分离 | 特定Harness的路由与加载实现 |
| 玄中 | 隔离优于压缩 | 高噪声子任务的上下文隔离 |
| 玄中 | 记忆三层评估 | 开发助手长期记忆的任务评估 |
| 玄中 | 沙盒隔离层级 | 不可信代码执行的隔离方案初筛 |
| 玄中 | LLM-as-a-Judge + Rubric | 不可精确自动判分的答案评审 |
| 玄中 | 用户域—模型域双向转换 | 业务任务与模型文档的适配 |
| 玄中 | 上下文来源矩阵 | 开发提示动态上下文来源识别 |
| 玄中 | 契诃夫的枪支谬误 | 无关仓库上下文导致的误关联风险 |
| 玄中 | 加法—减法贪心算法 | 提示元素的有界启发式选择 |
| 玄中 | 系统边界设定原则 | AI排错与设计分析范围取舍 |
| 玄中 | 因果回路图 | 复杂系统反馈结构表达 |
| 玄中 | 校准估计 | 开发风险与工期主观估计校准 |
| 玄中 | 选择性启发式搜索 | 大候选空间中的有界搜索排序 |
| 玄中 | 信息价值 | 有限检索与实验预算的信息选择 |
| 玄初 | "钢人化"原则（最强版本理解） | 对立方案的准确理解与比较 |
| 玄初 | 方法论怀疑（笛卡尔式） | 高风险前提的证据审查 |
| 玄初 | 递归式 AI 治理 | 多层代理的生成、审查和授权治理 |
| 玄初 | 吸引子 | 持续代码演化的目标与约束设计 |
| 玄初 | 拍扁 | 机器可计算表示的信息损失分析 |
| 玄初 | 5.1 程序员的三大美德 | 程序员重复劳动与质量习惯 |
| 玄初 | 5.2 童子军规则 | 任务范围内的小步清理 |
| 玄初 | 5.6 TMTOWTDI | 多用户表达路径设计 |
| 玄初 | 7.3 破窗效应 | 失修代码信号与管理 |
| 玄初 | 7.4 熵增原理 | 代码劣化持续维护 |
| 玄初 | 未来预测准确度模型 | 远期架构假设审查 |
| 玄初 | 两遍已太多 | 已知重复概念的共享抽取 |
| 玄初 | 复杂代码六步治理 | 复杂代码组织治理 |
| 玄初 | 软件即知识 | 代码可理解性价值说明 |
| 玄初 | 编程之道的整体和谐观 | 局部问题的系统层级提醒 |
| 玄初 | 语言谱系与多样目的 | 语言与工具的目的匹配 |
| 玄初 | 设计先于测试 | 关键结构的早期验证 |
| 玄初 | 真实时间表 | 项目真实进度观察 |
| 玄初 | 倒置树式领导 | 支撑式领导角色讨论 |
| 玄初 | 技术介入的组织成熟度 | 协作技术引入判断 |
| 玄初 | 蜘蛛网系统观 | 互联系统干预的风险提醒 |
| 玄初 | 退避式重试 | 过载重试频率控制 |
| 玄初 | CDN边缘缓存流程 | CDN回源与缓存关系理解 |
| 玄初 | 硬件趋势到软件策略 | 硬件趋势引导的软件规划 |
| 玄初 | 服务器生命周期 | 服务器容量生命周期理解 |
| 玄初 | 渐进配额告警与任务升级 | 单组织配额告警与升级 |
| 玄初 | 海勒姆定律 (Hyrum's Law) | 公共API消费者兼容风险识别 |
| 玄初 | 抽象泄漏定律 (The Law of Leaky Abstractions) | 跨层失败排障的抽象边界识别 |
| 玄初 | 杀虫剂悖论 (Pesticide Paradox) | 测试覆盖陈旧性的风险提示 |
| 玄初 | E参数 | 工作窗口与连续专注容量识别 |
| 玄初 | 会议结束条件测试 | 需求评审与协作会议完成条件 |
| 玄初 | 时间感三轴 | 长工具调用的时间风险识别 |
| 玄初 | 提示工程复杂度阶梯 | LLM编排复杂度的架构识别 |
| 玄初 | 小红帽原则 | 提示整体文档模式选择 |
| 玄初 | 位置—重要性—依赖三维关系 | 提示元素组合的相互影响识别 |
| 玄初 | 行为模式图 | 开发流程与故障变化模式观察 |
| 玄初 | 反馈速度条件 | 快速变化对象的证据新鲜度检查 |
| 玄初 | 反馈过度 | 反复大幅修改方案的振荡风险识别 |
| 黄高 | 网络效应 | 产品或工具生态的网络效应识别 |
| 黄高 | 自然化认识论（Naturalized epistemology） | 认知判断与实际行为证据的对照 |
| 黄高 | 合成模型 | 复杂系统的层级组合与涌现解释 |
| 黄高 | 预测加工与模型更新 | 认知模型与证据生成机制的解释 |
| 黄高 | 变量名索引维护 | 团队与 AI 的变量命名登记和检索 |
| 黄高 | 3.48 沉默原则 | 命令成功输出控制 |
| 黄高 | 3.56 小就是美 | 过大工具规模初筛 |
| 黄高 | 开源社区三问题 | 开源贡献流程规划 |
| 黄高 | 空间—时间双重约束 | 时间与空间资源权衡入门 |
| 黄高 | 自主性—效率关系 | 有明确交付的团队自主性 |
| 黄高 | 观念桥梁 | 高阻力变革沟通提醒 |
| 黄高 | 领导退出准则 | 组织继任与持续指引讨论 |
| 黄高 | 性能数字锚点 | 历史性能量级初筛 |
| 黄高 | 容量二分搜索 | SLA容量搜索方向提示 |
| 黄高 | TCP队列三分诊断 | TCP两端队列候选根因初筛 |
| 黄高 | Logprobs 置信诊断 | 词元选择相对概率诊断 |
| 黄中 | 符号序列空间与有效知识子集 | 候选知识生成与有效性筛选设计 |
| 黄中 | 递归生成器自优化（仓内形式模型） | 生成器自修改机制的建模与试验设计 |
| 黄中 | 正确方式工程观 | 困难技术问题的探索动机 |
| 黄中 | 技术使命筛选器 | 技术创意边界初筛 |
| 黄初 | 项目失败三条件 | 组织风险的寓言性假设提出 |
| 暂不可判 | 灾备容量负载放大模型 | 灾备损失后的剩余相对负载计算 |
| 暂不可判 | CAP 定理 (CAP Theorem) | 分布式一致性与可用性取舍 |
| 天高 | 拼好码 | 在既有能力空间中匹配需求、选择方案并编排业务，用低自研成本获得可验证、可替换、可回滚的系统。 机制：需求→候选能力→选择→适配→编排→检验→更新；成熟组件承担通用复杂度，薄胶水表达领域差异，测试与CI提供经验检验。 |
| 地高 | 第一性原理 | 审查结论的前提，区分事实、假设、偏好与惯例，从事实约束重推最小路径。 机制：写结论→审查前提→区分事实/假设/偏好/惯例→保留事实约束→重推路径。 |
| 地高 | 形式化方法（轻量形式化） | 原文用途：减少非法状态、约束模型输出、让行为可检查可累积。 机制：- **先规格**：类型 + schema + 不变式 + 错误集合（异常或 error object）+ 复杂度约束（可选） - **再检查器**：类型检查 + 运行时校验 + 断言/契约 + 性质测试 - **最后实现**：逐条映射规格（谁保证哪条约束） |
| 地高 | 方法论工具箱总体作业流 | 用现象卡片、规格、检查器、最小实现、反例与收敛重构组织工程交付。 机制：现象卡片→规格化→检查器→最小实现→反例驱动→收敛重构。 |
| 地中 | 胶水原则 | 成熟能力能以可接受代价可靠满足需求时默认复用，自研核心须证明合理性。 机制：先查现成能力，只写必要连接、编排、适配、隔离和业务表达。 |
| 地中 | 反事实推理（Counterfactuals） | 原文用途：系统性覆盖异常路径，降低线上事故。 机制：- 问"如果 X 不成立会怎样"：超时、乱序、重复、空值、弱网、权限缺失、时钟漂移 - 把反事实转成测试矩阵与降级策略 |
| 地中 | 溯因排错法（仓内操作版） | 原文用途：debug/性能退化时，比穷举更快定位"最可能原因"。 机制：- 列候选原因 → 为每个原因写最便宜的区分性实验（日志点/开关/最小基准） - 用证据淘汰而不是凭感觉改代码 |
| 地中 | 错误认识论（Error epistemology） | 原文用途：系统化"我们会如何错"，比事后补洞更省。 机制：- 先做失败模式清单（空值/乱序/重复/并发/权限/超时/编码/浮点等） - 每类至少一个测试；明确错误语义（raise / error object / log+metric） |
| 地中 | 实验哲学（x-phi） | 原文用途：交互与默认策略别靠直觉，用数据决定。 机制：- 把争议点改成可测实验（A/B 默认值、错误文案、重试策略） - 指标：误用率、重试率、成功率、工单率、完成时间 |
| 地中 | 固定点收敛系统 | 以分层闭环控制，将意图转成可执行、可验证的目标状态，并按失效层级调整行动、策略或目标。 机制：观察→差距识别→行动→验证→修正；行动失效则升级策略，策略失效则复审目标，目标不可确定则回退需求或交由人工裁决。 |
| 地中 | 最小先验条件下的代理增强型任务求解 | 在陌生领域固定完成条件、约束与验收标准，以外部知识、成熟能力、PoC与代理降低求解成本。 机制：任务定义→外部知识检索→能力复用→模型选择→关键假设PoC→实现→验证与确认→经验更新 |
| 地中 | 问题界定与求解闭环（仓内体系版） | 用目标、现状、差距与标准界定问题，在目标/约束/对象下选择路径，再用反馈修正。 机制：定义目标/现状/差距/标准→按目标、约束和对象构造路径→执行→比较结果与目标→修正→再执行。 |
| 地中 | 6.2 契约式设计 | 跨模块责任与不变式约束；输入验证、前后条件及不变式区分责任，预计在困难接口组合中较有力减少状态与调用错误。 |
| 地中 | 性能工程“医生”闭环 | 跨软硬件困难性能诊断；症状、可重复测试、根因与复测结合，预计在复杂资源交互任务中较有力减少错误治疗。 |
| 地中 | 七步性能测试闭环 | 复杂性能测试设计与判定；对象、指标、度量、阈值到可复现执行分析，且限制发生器瓶颈，预计在困难测试中较有力减少无效结果。 |
| 地初 | 奥卡姆剃刀 | 在相同解释、验收及关键约束下优先选择更少假设、结构、依赖和状态的方案。 机制：在不牺牲关键约束的前提下少引入不必要实体。 |
| 地初 | 状态空间思维模型 | 状态空间思维模型把“状态、变化、序列、决策树、多元宇宙”整合在一起，用来分析一个系统从当前状态可能走向哪些未来状态。 机制：描述当前状态→列出动作→展开后续状态→标记不可逆/高风险/可回滚路径→选择保留选择权且接近目标的路径→建立检查点与回退手段。 |
| 地初 | 可证伪主义（波普尔） | 原文用途：把"看起来对"变成"暂时无法证伪"；显著降低隐藏 bug。 机制：- 每个关键断言都要配一个能让它失败的测试（边界/随机/反例） - 优先性质测试而非只写示例测试 |
| 地初 | 系统论/整体论（边界与反馈回路） | 原文用途：复杂系统容易在耦合点失控；缩短反馈回路提效最大。 机制：- 先画数据流/依赖边界：I/O 放边缘，核心逻辑保持纯函数 - 优先解耦高耦合点；把慢依赖换成桩/模拟以加速测试 |
| 地初 | 机制解释（Mechanistic explanation） | 原文用途：把"能跑"变成"可解释可维护"；降低未来修改风险。 机制：- 要求输出数据流：输入 → 中间状态 → 输出 - 对中间状态写不变式/断言；把解释与代码结构对齐 |
| 地初 | 计算哲学（Computational philosophy） | 原文用途：复杂状态与规则用"可运行模型/仿真/搜索"代替纯讨论。 机制：- reference 实现（慢但清晰）作为 oracle - optimized 实现（快/工程化）用差分测试锁死行为 - 用仿真/生成器自动探索边界 |
| 地初 | 近端因果机制 | 区分上游背景、传导环节与直接作用项，用干预、时序和反事实证据检验结果末端的生成机制。 机制：结果界定→近邻原因识别→机制推演→经验检验→因果更新 |
| 地初 | 分而治之 | 把复杂整体拆成相对独立的小问题，分别求解，再集成为完整结果。 机制：按问题边界拆分→分别解决子问题→通过清晰接口集成。 |
| 地初 | 规约先于实现 | 先明确行为，再确定结构，最后落实代码。 机制：行为先于结构，结构先于代码；源文将程序称为规约的影子。 |
| 地初 | 故障可控与恢复优先 | 稳定不是永不出错，而是故障能够被发现、定位、隔离和恢复。 机制：围绕发现、定位、隔离、恢复组织稳定性能力，日志、监控、告警、追踪、降级、限流、回滚是其中部分。 |
| 地初 | Dataset First 数据服务范式 | 稳定数据集服务优先按 dataset 分边界，先定契约、区分数据层、共享控制面并显式隔离 legacy。 机制：顶层按 dataset 划分，先定义落表、字段语义、主键、时间与分区/刷新策略；数据层分开，控制面统一，legacy 只兼容转发。 |
| 地初 | 新建数据服务作业流 | 先定数据集清单与契约，再建控制面，逐个实现数据集，最后补文档、验证和血缘。 机制：清单 -> contract -> registry/config/service_entry/runtime -> contract、writer、collect、backfill、validate、repair -> README、AGENTS、verify/CI、资源目录、血缘、smoke。 |
| 地初 | 缓存生命周期与隔离约束 | 缓存必须审查对象、状态版本、容量、隔离、失效和观测，不假定本地缓存自动共享或全局一致。 机制：约束副作用与外部状态缓存，要求合理 key、容量上限、敏感数据隔离、失效策略及命中率观测；核对多进程和分布式语义。 |
| 地初 | 3.5 效应局部化 | 高传播变更的边界设计；共同变化聚集并缩小依赖，预计在复杂联动修改中仍能压低遗漏和回归面。 |
| 地初 | 3.10 变动率 | 多变化轴模块划分；按变化原因与速度组织结构，预计在多类需求迁移中持续减少无关联动修改。 |
| 地初 | 3.11 软件架构基本技法 | 复杂系统模块与接口设计；综合边界、分离和组合技法，预计帮助处理困难的依赖与集成任务；集合数量不构成评级理由。 |
| 地初 | 3.14 信息隐藏 | 易变决策隔离；隐藏易变选择并暴露稳定事实，预计在困难的技术替换和需求迁移中仍限制修改传播。 |
| 地初 | 3.16 关注点分离 | 交织职责的分离；分离独立关注点预计在复杂替换和局部验证任务中仍提高可控性。 |
| 地初 | 3.21 分治 | 复杂问题分解与再集成；明确较小边界并定义组合方式，预计困难任务中仍降低单次理解负担；拆完未集成不算达标。 |
| 地初 | 3.22 软件架构的非功能需求 | 困难架构质量权衡；同时审查非功能维度与CIA，预计在功能正确但质量冲突的任务中减少遗漏。 |
| 地初 | 3.26 可靠性 | 高损失故障影响控制；简单结构、检查与隔离预计在困难异常场景中仍约束错误传播；不是不故障保证。 |
| 地初 | 3.27 可测试性 | 难观察和难复现行为设计；可控输入、独立观察与显式接口预计在困难回归和迁移任务中仍改善验证能力。 |
| 地初 | 3.36 安全原理 | 不可信输入与高代价异常；边界验证、隔离与安全失败预计在困难异常任务中仍保护数据与后续处理。 |
| 地初 | 3.37 UNIX思想 | 可组合工具生态设计；透明小模块和清晰协议预计在异构工具集成中仍减少联动故障与重复实现。 |
| 地初 | 3.44 透明性原则 | 隐藏状态的困难诊断；关键状态与数据流可检查，预计在跨模块异常中仍缩短候选根因定位范围。 |
| 地初 | 3.49 修复原则 | 错误早暴露与隔离；显著且早期的失败预计在困难异常链中减少带错继续运行及损害扩大。 |
| 地初 | 3.55 UNIX哲学 | 异构自动化工具链构建；专一工具通过简单接口组合，预计在困难工具链重组中仍能复用与局部替换。 |
| 地初 | 3.61 充分利用软件的杠杆效应 | 成熟能力复用与业务编排；复用已有工具再补必要代码，预计在困难集成任务中仍降低自研核心的维护投入。 |
| 地初 | 4.2 耦合度 | 复杂依赖关系与稳定性治理；同时看类型、数量、方向和稳定目标，预计在困难依赖迁移中仍缩小传播面。 |
| 地初 | 5.3 性能调优的箴言 | 困难性能问题测量与复测；明确需求、热点、复测及正确性形成闭环，预计在困难优化任务中仍抑制错误收益判断。 |
| 地初 | 5.5 一步一步走 | 高风险重构的增量验证；小变更、立即验证和回滚余地预计在困难替换任务中仍减小故障定位与恢复范围。 |
| 地初 | 6.1 曳光弹 | 集成不确定性下的演化骨架；真实端到端路径持续演化，预计在困难集成任务中更早暴露边界错误；一条路径不代表全部验收。 |
| 地初 | 6.3 防御性编程 | 不可信数据与内部缺陷隔离；脏净边界和错误类型分开预计在困难异常输入中仍降低传播风险；错误策略须服从真实业务合同。 |
| 地初 | 7.8 重新发明车轮 | 成熟方案与自研边界；先调查标准方案并按真实缺口自建，预计在困难工程选型中降低重复承担的验证与维护成本。 |
| 地初 | 健壮设计流程 | 组件增量组装与演化；标准件、可替换连接及逐步测试预计在困难集成中仍缩小返工；不把任意分割视作可并行。 |
| 地初 | 根因与不复发 | 反复故障根因修复；不复发目标与可维护测试保护预计在困难遗留缺陷中减少重复关注和返工。 |
| 地初 | 测试即获取有效知识 | 困难测试目标与oracle审查；断言、边界与假设对应可验证知识，预计在困难验证任务中仍减少无信息的绿灯。 |
| 地初 | 阿姆达尔定律 | 优化上界与并行收益判断；公式可预测未优化部分对总收益的约束，预计在困难资源取舍中减少高估；只限模型前提成立。 |
| 地初 | 利特尔法则 | 稳定系统并发与平均容量核对；同边界平均在途量、吞吐和停留时间关系预计在困难容量判断中发现口径矛盾；不换算P99或失稳瞬时量。 |
| 地初 | 数据分析陷阱清单 | 脏数据与跨系统指标语义审查；相关非因果及同名指标未必同义的约束，预计在困难迁移分析中仍减少虚假根因。 |
| 地初 | 九条性能测试经验 | 困难性能实验的重复与解释；环境记录、复位、扰动控制与多法验证预计在困难复测和迁移中保留可比性。 |
| 地初 | 持续性能工程集成模型 | 性能回归的持续反馈；关键检查与运维数据持续接入预计在长期变化和迁移任务中更早发现性能退化。 |
| 地初 | 瓶颈分层分析 | 困难跨资源瓶颈缩小；从服务节点到资源再到内部机制，预计复杂问题中仍减少盲目调参和定位范围。 |
| 地初 | 网络分层诊断 | 复杂跨域网络性能诊断；单机、数据中心和互联网分层预计在困难端到端路径中仍减少层间误归因。 |
| 地初 | 性能优化六原则 | 多场景困难性能优化取舍；确诊根因并考虑全局与成本预计在困难场景迁移中仍抑制局部最优和表面调参。 |
| 地初 | 性能优化十大策略 | 复杂资源瓶颈的策略权衡；互补策略同时说明污染、一致性、同步和等待代价，预计困难资源取舍中仍能减少错用。 |
| 地初 | 跨层STW根因链 | 困难跨层暂停根因追踪；沿应用、JVM、OS、文件系统和存储核链并复测，预计困难交互故障中仍避免只改GC算法。 |
| 地初 | 容量规划闭环 | 困难需求预算下的容量规划；单位能力测量、需求预测与预算约束迭代预计困难规划中仍能减少错订；计划不等于已到货可用容量。 |
| 地初 | 信息隐藏 | 跨模块知识重复与联动变更；预计在多调用者、多变化点的困难维护中仍能约束扩散；不是已测迁移结果。 |
| 地初 | 提示注入分层防御 | 不可信仓库材料的提示注入防御；预计在复杂检索和工具链中仍能用不同层的约束控制越权；未做攻击实验。 |
| 地初 | 状态栏代码维护原则 | 长历史下确定性计数与状态维护；预计在长轨迹和重复事件条件下比让LLM重数更稳；输入事件必须准确。 |
| 地初 | 评估集六原则 | 困难及迁移开发任务的评估集审查；预计在复杂任务族中仍能检查评估代表性；不是方法效果已达地阶。 |
| 地初 | 最小复现 | 复杂可复现程序故障的失败输入缩减；逐步缩减触发条件但保持同一故障，形成可重复检查的案例。 |
| 地初 | 性质测试 | 可声明性质的软件接口边界与组合检验；按允许输入域生成多样案例，检查与实现无关的性质并缩减反例。 |
| 地初 | 模糊测试 | 解析器与接口的大输入空间异常发现；在隔离和稳定oracle下探索大输入空间，保存可重放失败。 |
| 地初 | 不变量检查 | 多步状态流的权限、数据与一致性检查；在关键转移前后检查明确不变量，不只看最终状态。 |
| 地初 | 风险驱动测试 | 有限预算下高影响失效路径的验证安排；把有限测试预算优先用于重要失败路径，保留覆盖缺口与剩余风险。 |
| 地初 | 事故复盘 | 有可保全证据的事故根因与复发治理；从真实事故证据建立触发、根因、检测缺口和放大器，再形成可验收行动。 |
| 地初 | 预注册 | 模型或方法晋升中的确认性评估；留下不能事后改写的计划版本，区分预设判断与探索发现。 |
| 地初 | 重复研究 | 软件方法与模型效果的独立重复评估；换有意义的执行者、数据、环境或实现，对照效应、误差与失败边界。 |
| 地初 | 代理指标—真实目标对齐审计 | 模型评分、测试通过率与真实验收目标的失配审计；用独立目标观测核对指标变化，保留代理改善但目标失败的反例。 |
| 地初 | 后悔与鲁棒决策 | 概率不稳且损失不对称的软件方案选择；在不确定情景中比较最坏后悔和可接受阈值，而非只追点估计最优。 |
| 玄高 | 多阶思维 | 多阶思维继承二阶思维，但不止停在“行动之后会发生什么”，而是继续追踪后续反应、反馈、反身性和系统性连锁。 机制：分析直接结果→追踪间接后果→判断参与者行为变化→分析反身性反馈→调整策略、门禁或回滚路径。 |
| 玄高 | 奥卡姆剃刀（工具箱操作版） | 原文用途：避免模型引入不必要框架/抽象；提升可维护性与迭代速度。 机制：- 要求两套方案：常规版 vs 简化版；以测试为准删复杂度 - 优先标准库、减少依赖、减少可变状态、减少层级 |
| 玄高 | 决策论/机会成本（可逆优先） | 原文用途：避免过早做不可逆技术决策（换框架/改数据模型）。 机制：- 标注决策：可逆 vs 不可逆；优先做可逆高价值项 - 先写接口+测试桩+适配层，延后绑定外部系统 |
| 玄高 | 贝叶斯式信念更新（与溯因配合） | 原文用途：在不确定下理性分配排查时间。 机制：- 给假设先验（高/中/低）→ 实验后更新后验排序 - 只对后验最高的 1-2 个假设投入修改成本 |
| 玄高 | 概念分析 / 概念工程 | 原文用途：防止术语漂移导致返工；把领域概念固化进代码。 机制：- 概念表：术语/定义/边界/不变量/转换关系 - 概念工程：用 Enum/Literal/NewType/dataclass(frozen) 与 schema 固化边界；禁止混用 |
| 玄高 | 视角三角测量（Triangulation） | 原文用途：减少单一证据的误判；提升结论可靠性。 机制：- 同一结论至少两种证据：单测/性质测试 + 日志/指标；或差分测试 + fuzz |
| 玄高 | 解空间 | 用候选解及其组织关系界定答案的可能范围，以约束、目标评价和搜索更新探索可行解。 机制：问题表征→约束编码→候选生成→可行性筛选→目标评价→搜索更新；可行域、目标函数与搜索策略共同限定可达性与优劣结构。 |
| 玄高 | 目的导向的行动选择 | 在需求与约束下生成、筛选并检验候选行动路径，用反馈修正目标、模型与搜索策略。 机制：需求识别→目标形式化→候选路径生成→约束筛选→方案推演→经验检验→结果更新。 |
| 玄高 | 自顶向下系统设计 | 从整体目标与核心业务开始，逐层拆成子系统、模块、类、函数与代码。 机制：明确系统目标/核心业务/整体架构→拆子系统与模块→细化功能、类和函数→实现代码。 |
| 玄高 | 状态时间与责任追踪 | 从时间展开角度检查状态由谁持有、何时变化、由谁触发。 机制：依次询问状态归属、变化时间和触发来源。 |
| 玄高 | 高内聚 | 让相关内容靠近、不相关内容隔离，以单一职责作为内聚核心。 机制：相关的靠近，不相关的隔离；单一职责是内聚核心。 |
| 玄高 | 低耦合 | 模块之间应可预测而不互相束缚，优先减少依赖。 机制：以依赖更少作为模块关系的取舍方向。 |
| 玄高 | 稳定接口与可变实现 | API 是契约，实现是细节，变化不应破坏契约。 机制：区分契约与实现细节，保持契约不被破坏。 |
| 玄高 | 显式依赖优先 | 依赖表达优先显式和透明，警惕隐藏依赖。 机制：显式优于隐式，透明优于优雅。 |
| 玄高 | 不变式与明确约束 | 把不变式视为程序的法则，通过明确约束建立秩序。 机制：强调不变式及明确约束。 |
| 玄高 | 真实使用验证抽象 | 抽象需要承担成本，错误抽象可能比适度重复更糟，应由真实使用检验。 机制：区分减少复杂性的好抽象和制造复杂性的坏抽象，警惕未被真实使用验证的抽象。 |
| 玄高 | 技术债显式登记 | 技术债可以借，但须被看见、记录、评估并知道数量、利息和偿还时间。 机制：显式记录并评估技术债，说明借了多少、利息是什么、什么时候还。 |
| 玄高 | 性能定位以测量为准 | 性能问题应靠监控、profiling、压测和真实数据定位，而不是凭感觉。 机制：用监控、profiling、压测及真实数据定位；原文还提出先跑起来、再正确、最后快的次序。 |
| 玄高 | 外部源码数据集化接入 | 先按真实数据对象反向整理外部脚本，再抽出公共能力并隔离 legacy。 机制：盘点实际数据对象，不先搬代码；脚本映射为 dataset；client/auth/限流/storage/retry-backoff 抽至公共层、runtime 或 writer；legacy 只做兼容转发。 |
| 玄高 | 共享资源与并发安全约束 | 并发设计应识别共享资源、避免竞争、必要时使用同步，并区分并发与异步。 机制：清晰区分共享资源，必要时加锁或使用线程安全结构，区分并发处理与异步处理。 |
| 玄高 | 输入规模与复杂度约束 | 选择算法前检查输入规模、最坏复杂度、容器操作、复制及被调用函数成本。 机制：要求考虑输入规模、循环体/helper 成本、list 线性操作、切片复制、排序、dict/set 最坏成本、递归重复子问题，以及常数和内存。 |
| 玄高 | 2.1 KISS原则 | 删除无价值复杂度；先审必要性再删过剩结构，预计在同任务族产生较明显的理解和维护收益；不删除必要保护。 |
| 玄高 | 2.2 DRY | 重复知识一致性维护；单一来源与生成机制直接针对遗漏同步，预计降低多处变更的不一致和维护投入。 |
| 玄高 | 2.3 YAGNI | 需求与抽象范围控制；推迟没有当前需求依据的代码，预计较明显减少废弃功能和后续维护负担。 |
| 玄高 | 2.6 OCP | 已出现变化点的扩展；在真实变化点稳定接口，预计减少扩展对已验证代码的连锁修改；不保护猜测的变化。 |
| 玄高 | 3.3 简洁 | 复杂实现简化；明确不以晦涩短小牺牲交流性，预计有效减少偶发复杂度及常规维护成本。 |
| 玄高 | 3.7 逻辑与数据的一体化 | 数据与处理的变更边界；共同变化的处理与数据靠近，预计较明显缩小相关修改和遗漏同步风险。 |
| 玄高 | 3.12 抽象 | 稳定共性抽取；提取共同本质且保留必要差异，预计较明显减少重复理解和同类修改投入。 |
| 玄高 | 3.13 封装 | 内部状态误用控制；以接口限制外部干预，预计减少误用和实现替换的联动修改。 |
| 玄高 | 3.17 充足性、完整性、原始性 | 公共接口能力集合设计；够用且不冗余的原语集合预计减少误用与长期API维护投入；不机械禁止便利接口。 |
| 玄高 | 3.18 策略和实现的分离 | 策略变化隔离；将经常变化的策略与稳定机制分离，预计显著减少规则变化侵入底层实现。 |
| 玄高 | 3.19 接口与实现的分离 | 契约兼容下的实现替换；调用者依赖公开契约，预计降低内部重构的联动回归；不借A088补入契约检查步骤。 |
| 玄高 | 3.20 单一引用点 | 配置与事实一致性；唯一权威读取位置预计较明显减少多副本漂移和变更遗漏。 |
| 玄高 | 3.23 易变性 | 变化热点隔离；定位高变化区域并隔离，预计减少常规需求与平台调整的联动成本。 |
| 玄高 | 3.24 互操作性 | 跨系统协议协作；明确稳定数据和协议边界，预计降低常规对接歧义和替换成本；标准化不证明语义兼容。 |
| 玄高 | 3.25 效率性 | 有明确性能约束的优化；测量热点后验证收益与正确性，预计减少优化错位置的成本；未据本条推断跨负载迁移。 |
| 玄高 | 3.30 简单性原理 | 目的无关结构清理；删除与目的无关的结构预计较明显减少理解和改动负担，保留必要约束。 |
| 玄高 | 3.33 层次原理 | 高低层次依赖控制；清晰层次与跨层限制预计显著减少常规阅读负担和无关修改传播。 |
| 玄高 | 3.38 模块化原则 | 大模块职责分解；明确单一职责和简单接口预计显著改善同族模块的理解与替换成本。 |
| 玄高 | 3.40 组合原则 | 已有工具能力组合；清晰输入输出预计减少封闭实现和重复造轮成本；组合不免除端到端验证。 |
| 玄高 | 3.41 分离原则 | 界面策略与引擎独立演进；通过协议拆开变化轴，预计降低常规策略或界面变更的底层回归面。 |
| 玄高 | 3.42 简单原则 | 特殊处理膨胀控制；回到直接模型并删无用机制，预计明显改善维护与定位成本。 |
| 玄高 | 3.45 健壮性原则 | 脆弱依赖与隐藏状态治理；透明与简单预计减少不可预测异常和修复投入；不能替代具体错误处理。 |
| 玄高 | 3.50 经济原则 | 可规则化重复作业自动化；可靠机器替代重复人工预计较明显减少离散错误和重复投入；需计入自动化维护成本。 |
| 玄高 | 3.51 生成原则 | 多表示机械派生；单一高层来源生成产物预计减少表示漂移与重复维护；不声称生成内容必然正确。 |
| 玄高 | 3.52 优化原则 | 无证据微优化筛除；先正确清楚再测热点，预计减少错误优化和无收益投入；不延期必要架构测量。 |
| 玄高 | 3.54 可扩展性原则 | 协议兼容扩展；在兼容前提下留扩展边界，预计降低常规升级对已有消费者的破坏。 |
| 玄高 | 3.58 尽早创建原型 | 高不确定性学习实验；可丢弃低成本原型预计更早证伪需求或技术假设并减少无效实现，不当成交付系统证据。 |
| 玄高 | 3.63 避开交互式用户接口 | 核心能力非交互调用；可脚本接口预计较明显降低批处理和组合的人工介入成本；不取消用户需要的交互入口。 |
| 玄高 | 3.64 过滤器化 | 流水式数据转换组合；统一输入输出的过滤器预计提高同族任务重组和复用效率，不借此批准源经验中的任意简化。 |
| 玄高 | 4.1 内聚度 | 模块内部关联诊断；内聚分类及功能目的可辅助定位职责混杂，预计较明显改善常规模块维护；旧图示未复核。 |
| 玄高 | 4.3 正交性 | 组件独立变更；独立职责、少全局状态预计减少无关联动修改，且源文承认层次与性能代价。 |
| 玄高 | 4.4 可逆性 | 不确定技术选择的替换余地；隔离技术边界预计降低常规替换损失；接口存在不证明数据与副作用可真实回退。 |
| 玄高 | 4.6 技术负债 | 临时方案债务治理；显式记录并以有测试的小步偿还，预计减少隐性债务造成的反复返工。 |
| 玄高 | 6.6 语境 | 有冲突规则的情境取舍；先整体语境再小步实施，预计减少脱离目的与约束套规则的错误。 |
| 玄高 | 7.1 布鲁克斯法则 | 延期项目增员与范围决策；识别培训、沟通和依赖成本并调整交付，预计较明显减少人月线性估算误判；不禁止一切增员。 |
| 玄高 | 7.5 80-10-10原则 | 工具尾部适用性试验；采用前用真实难题验证边界，预计较明显减少尾部不适配造成的沉没成本；不相信固定80/10/10比例。 |
| 玄高 | 7.7 第二系统综合征 | 重写与第二代功能膨胀；核心用户、目标和拒绝边界预计显著减少重写超范围；不按第几代推定失败。 |
| 玄高 | 7.9 给牦牛剃毛 | 多层前置问题的任务回正；重述目标、评估替代路径并记录必要问题栈，预计较明显减少支线偏航和无效投入。 |
| 玄高 | 软件设计两原则 | 长期设计成本取舍；维护成本而非仅实现成本进入判断，预计明显减少短期便捷导致的反复返工。 |
| 玄高 | API 承诺与兼容性 | 公共API兼容与弃用；把发布视作交互承诺预计减少向消费者转嫁变更成本；不永久冻结偶然缺陷。 |
| 玄高 | 严格性—简约—可用性取舍 | 输入约束与可用性权衡；同时考虑实现简约与用户负担，预计明显减少宽严两端的常规误用。 |
| 玄高 | 调试四步法 | 可观察异常排查；从正常行为到证据再到根因，预计较明显减少猜测式修复；卡片缺具体区分实验，不借旧方法补齐。 |
| 玄高 | 产出物效率模型 | 开发效能指标选择；围绕产出与用户帮助预计减少用活动量替代结果的优化误判。 |
| 玄高 | 特性服务型重构 | 功能交付中的持续重构；改善与业务功能同步预计减少遗留系统持续退化和独立重写返工。 |
| 玄高 | 隐私帮助—伤害权衡 | 数据收集与共享的隐私取舍；以帮助、伤害与控制权判断预计减少常规隐私设计的单指标误判；不替代同意与权限要求。 |
| 玄高 | 简约安全模型 | 攻击面与损失边界设计；减少入口并限制单次损失预计改善同族安全边界设计；不得借简约删除鉴权、审计或恢复。 |
| 玄高 | ODA 观察循环 | 开发与学习反馈回路；观察决策行动及反馈准确性预计改善同族迭代判断，不声称一般收敛。 |
| 玄高 | 设计拒绝门 | 复杂度与价值提案筛选；明确拒绝无价值方案预计明显减少无效范围与维护负担，但需保留必要约束。 |
| 玄高 | 杰出软件三条件 | 产品行为与意图表达验收；用户要求、合理预期及易表达意图共同检查，预计减少常规可用性遗漏。 |
| 玄高 | 规则情境化 | 规则适用域校准；真实运行与上下文校准预计明显减少机械套规则的错误；不把运行一次当有效校准。 |
| 玄高 | 抽象模型不完备 | 模型结论适用范围审查；有限覆盖提醒预计减少图表、指标或架构模型的过度推广，适用明确对象和映射的审查。 |
| 玄高 | 多快好省四维性能观 | 多维性能目标选择；吞吐、延迟、稳定扩展与资源共同看预计明显减少单一速度指标误判；正确性仍先行。 |
| 玄高 | 帕累托法则 | 测量确认热点后的投入分配；主要热点优先且不迷信80/20，预计明显减少无效性能投入。 |
| 玄高 | 性能统计工具箱 | 中心与长尾性能描述；同时看尾部、离散与估计不确定性预计明显减少平均值掩盖问题；统计模型条件另核。 |
| 玄高 | 性能数据分析五类目标 | 性能分析问题与工具匹配；先明确异常、回归、根因和预测目标预计减少分析方法错用及指标误读。 |
| 玄高 | 性能测试六维分类 | 性能测试对象与场景合同；先定义多维测试边界预计明显减少同名测试的不可比；维度数不决定等级。 |
| 玄高 | 性能测试工具五模块 | 性能工具链适配；施压、采集、资源监控与控制的配合预计减少工具与协议错配；工具齐全不等于测试有效。 |
| 玄高 | 外部性能三指标 | 服务性能观察边界；延迟、吞吐和资源共同观察预计明显减少单指标容量误判，但均值不能代替尾延迟合同。 |
| 玄高 | CPU资源诊断模型 | CPU结构性瓶颈诊断；拓扑、IPC、频率与调度共同观察预计明显减少只看总CPU利用率的错判。 |
| 玄高 | 内存层级与局部性模型 | 同族内存访问性能分析；缓存、带宽、分配与NUMA关系预计减少内存平均量误判；示例周期不当当前通用参数。 |
| 玄高 | 存储三指标 | 存储负载与介质选择；IOPS、延迟、吞吐及I/O大小共同看预计明显减少错误介质和队列深度判断。 |
| 玄高 | LLC未命中优化三策 | 有PMU证据的LLC优化；访问模式对应紧凑布局、预取或伪共享隔离，预计在同族热点有较明显增益；不外推预取迭代参数。 |
| 玄高 | iTLB优化流水线 | 有指令画像的iTLB优化；画像、热布局和页映射预计在相近热代码任务中有明显收益；案例数字未独立复现，不预计普遍迁移。 |
| 玄高 | SSD写放大与Trim调优 | SSD尾延迟与Trim策略；空闲空间和Trim粒度一起复测预计减少同族GC峰值问题；80至85%不是通用阈值。 |
| 玄高 | RedLiner生产容量测试 | 经授权的真实流量容量测量；步进加压、客户阈值反馈和停止复位预计改善同族容量估计；不视为无侵入或安全已证。 |
| 玄高 | 五条线上容量测试原则 | 线上容量测量客户保护；实时反馈、可定制阈值和终止复位预计减少同族测量损害；不与D039重复计算效果证据。 |
| 玄高 | 数据库复制三变量模型 | 复制流量容量延迟的模型判断；在FIFO与缓冲近似成立时预计显著改善同族容量推算；真实有限缓冲和非平稳误差须另核。 |
| 玄高 | Java多任务干扰三层机制 | 同平台Java资源干扰解释；物理页、回收与THP交互预计减少同族暂停误归因；旧实验量不直接外推版本。 |
| 玄高 | SSD友好七原则 | 目标SSD负载的软件适配；结构、写入与并发共同权衡预计减少同族介质错配；案例线程数和使用率不能照抄。 |
| 玄高 | 服务器五阶段验证路线 | 硬件验证真实性递进；逐级提升规模和真实性预计减少常规量产前遗漏；阶段名称不等于已经完成验证。 |
| 玄高 | 容量规划六挑战 | 容量规划的供给与地域约束；周期、异质性、峰值、灾备和上下游检查预计明显减少常规只按钱与总量的误判。 |
| 玄高 | 需求控制五模块 | 新增与存量资源需求控制；入口、配额、监测和效率联动预计明显改善同族资源治理，不能以配额替代正确性与授权。 |
| 玄高 | 指标—成本映射可见性与更新 | 资源指标与成本决策对齐；透明且更新的成本映射预计明显减少用户选择与公司成本脱节；不抵消正确性、隐私和保留要求。 |
| 玄高 | 深模块 | 类与服务边界设计；预计显著降低调用者认知负担；不是按接口行数评优。 |
| 玄高 | 适度通用的模块 | 相关用例的机制与策略分离；预计兼顾复用与专用策略，减少错误抽象。 |
| 玄高 | 下沉复杂性 | 模块复杂性归属取舍；预计减少重复调用方逻辑和接口负担。 |
| 玄高 | 基于复杂性的拆分/组合 | 类、方法与服务拆分评审；预计比按大小机械拆分更稳定保留知识局部性。 |
| 玄高 | 通过定义来规避错误 | 接口特殊情况与异常语义设计；预计能减少错误状态和散落异常分支。 |
| 玄高 | 设计两次 | 重要接口及系统方案选择；预计暴露第一方案遗漏并改善取舍；不保证全局最优。 |
| 玄高 | 重要性最小化与强调 | 关键接口与配置重点表达；预计提升AI及人工审查对关键合同的可见性。 |
| 玄高 | 大模型安全十九项控制 | 带模型与工具的软件威胁审查；预计减少单靠提示词保护造成的明显防护空缺。 |
| 玄高 | 提示工程实践清单 | 可复现开发提示维护；预计减少一次性提示与不可追踪修改。 |
| 玄高 | 语义完整切块 | 代码及文档检索分块；预计减少断裂代码片段导致的生成误解。 |
| 玄高 | 智能体权限边界 | 工程代理高风险工具授权；预计减少能力存在即被当作授权的错误。 |
| 玄高 | 用户故事 + GWT | 需求到可执行验收的转换；预计降低AI实现对含混需求的自我解释。 |
| 玄高 | 组件库约束生成 | AI UI代码与设计系统对齐；预计降低风格漂移和重复组件维护。 |
| 玄高 | 大模型时代的 UTDD | 单元行为测试先行的AI实现迭代；预计减少只凭生成代码外观判完成。 |
| 玄高 | 大模型时代的 ATDD | 跨组件业务验收实现；预计提高需求与实际业务路径的一致性。 |
| 玄高 | 运维自愈边界 | 自动运维修复权限控制；预计减少自动诊断直接变成不可逆修复的风险。 |
| 玄高 | 生命周期阶段评估问题集 | AI生成数据管道的分阶段设计审查；预计减少只看代码而漏掉上下游服务合同。 |
| 玄高 | 源系统评估框架 | 外部源数据接入前合同审查；预计提前暴露源模式漂移和责任缺口。 |
| 玄高 | 事件与时间语义 | 日志、CDC与事件管道时间合同；预计减少迟到数据和处理时刻混用。 |
| 玄高 | 流式摄取可靠性框架 | 流式摄取可靠性风险审查；预计提升异常输入和失败恢复的审查覆盖。 |
| 玄高 | 查询生命周期与优化闭环 | AI生成查询的性能诊断；预计比凭SQL表面写法更准确定位瓶颈。 |
| 玄高 | 语义层与指标层 | 报表与评估指标语义单点维护；预计减少多份SQL、报表和AI评估口径漂移。 |
| 玄高 | 概念完整性 | 多轮AI生成的系统概念一致性；预计减少局部实现彼此冲突的接口和职责。 |
| 玄高 | 规格传播与解释闭环 | 规格在开发与审查间传播；预计减少多轮会话使用过时需求造成的返工。 |
| 玄高 | 独立产品测试 | 降低实现者自证偏差的产品测试；预计较好发现共同实现假设遗漏；组织独立不保证oracle独立。 |
| 玄高 | 规格外部审查 | 编码前的需求与规格缺陷审查；预计减少把错误规格实现得很精确的浪费。 |
| 玄高 | 具体可度量的里程碑 | AI长任务进度与交付判定；预计减少以写了、调用了或感觉完成当状态真相。 |
| 玄高 | 计划日期与当前估计分离 | 计划偏差与恢复估计跟踪；预计阻止靠改日期抹去延期和副作用历史。 |
| 玄高 | 输入—执行—输出三层护栏 | 工程Agent输入到输出的防线布置；预计减少只清洗输入却放任危险执行和输出的单点防护。 |
| 玄高 | Human in the Loop | 高风险或反复失败的人工升级；预计减少无限自动重试与越权继续。 |
| 玄高 | 业务规则可执行化 | AI业务规则精度与例外表达；预计减少金额、阈值和例外的自由解释。 |
| 玄高 | Skills 三层渐进式披露 | 大量Skill的按需上下文装载；预计减少常驻噪声和无关指令，同时保需用内容可达。 |
| 玄高 | Skill 路由条件设计 | Skill元数据的适用域表达；预计减少相近能力的错误召回。 |
| 玄高 | Context Distillation | 长任务的可检索状态摘要；预计减少反复重读长历史的统计和归纳误差。 |
| 玄高 | 五层生产压缩 | 开发会话上下文增长的压缩治理；预计避免过早全量摘要造成不必要丢失。 |
| 玄高 | 记忆整理三层 | 开发知识与长期记忆去重整理；预计降低膨胀与互相矛盾记忆的调用负担。 |
| 玄高 | ACI 防呆设计 | 模型可正确使用的工具接口设计；预计减少参数误用和错误后继续假成功。 |
| 玄高 | 提议者—审核者 | 危险提议与交付产物审查；预计改善过早完成和危险提议识别。 |
| 玄高 | 幂等性与预检—确认 | 超时与重试下重复副作用防护；预计减少不确定完成状态下的重复写入。 |
| 玄高 | 异步任务生命周期 | 长运行开发工具的异步控制；预计把模型调用周期与真实长任务状态分离。 |
| 玄高 | 离线—在线评估双轨 | 提示及Agent产品改进的双环境验证；预计减少只优化离线分数的局部改进。 |
| 玄高 | 黄金标准—功能测试—LLM 评估 | AI输出的验证机制选择；预计减少用弱评分替代可执行行为验证。 |
| 玄高 | 多通道滤波 | 代码结论与外部信息的独立交叉核验；预计改善单源错误识别；独立性必须真实核查。 |
| 玄高 | 通用五步衡量法 | 架构与调试中的测量投入选择；预计把测量成本集中到会改变实际选择的问题。 |
| 玄高 | 门槛导向抽样 | 开发验证采样与测量停止取舍；预计减少不影响选择的额外精度开销。 |
| 玄高 | 手段—目的分析 | 可度量目标差距的长任务子目标选择；按影响与可达性找差距，建立可满足动作前提的子目标，再观察目标差距。 |
| 玄高 | 构造性见证 | 工程可行性与具体交付见证；把可行性主张落实为受约束的最小候选，再交给检查者验证。 |
| 玄高 | 元认知监控 | 有限预算的多轮求解与停止选择；在检查点比较进展、剩余未知与成本，按停止规则控制路线。 |
| 玄高 | 二分调试 | 单调、可复现的有序回归区间定位；利用有序、可靠且符合单调要求的故障判定缩小候选区间。 |
| 玄高 | 差分测试 | 重构与替换的行为保持检查；固定输入、版本与容忍规则，比对输出、错误和副作用。 |
| 玄高 | 依赖图 | 多组件变更的依赖建模与下游可达集分析；从边来源建立版本化有向图，求变更下游与验证边界。 |
| 玄高 | 接口契约 | 组件接口合同制定与边界检验；明确组件交互承诺，并用正常、边界和错误输入检验。 |
| 玄高 | 影响分析 | 跨模块变更的影响与验证范围选择；以具体变更为起点定位受影响面，再安排验证。 |
| 玄高 | 架构权衡 | 满足硬约束的多候选架构比较；在满足底线的候选架构间比较延迟、成本与可靠性等冲突属性。 |
| 玄高 | 增量开发 | 可切片系统变更的集成风险控制；缩小一次变更范围，让每个切片有运行、验证与回滚依据。 |
| 玄高 | 来源批判 | 外部资料支持具体工程或评估主张的可信范围审查；将具体主张绑定原始来源、方法与适用域，再判断支持力度。 |
| 玄高 | 失败预演 | 上线与迁移前的失败机制预演及验证规划；从冻结方案的失败判据倒推可检验路径，留下证据请求与开放风险。 |
| 玄中 | 组合描述模型 | 以对象、状态、快照、序列、过程、变换、同一、差异及关系解释变化中的连续性。 机制：对象与状态可被记录为快照和序列，变换使过程展开，同一/差异判定置于关系网络中。 |
| 玄中 | 思想实验 | 在现实执行之前，先构造一个简化但关键约束完整的假想场景，用来检验概念、规则、边界和后果。 机制：设定最小场景→保留关键约束、去掉无关细节→推演正常/边界/极端路径→检查自洽性与反例。 |
| 玄中 | 逆向思维 | 从失败、反例、风险和终局倒推当前行动，先问“怎样一定会失败”，再反推避免失败的约束。 机制：写出最坏结果→列出失败路径→识别提前检测/阻断环节→将阻断点固化为测试、CI、脚本、schema、清单或人工复核。 |
| 玄中 | 现象学还原（悬置假设） | 原文用途：需求含糊、模型脑补、Bug难复现时，先把"解释/偏好"清零，回到可观察事实与可复现结构。 机制：- 先写四件套：现象(实际) / 意图(期望) / 情境(环境约束) / 边界(明确不做) - 输出最小可复现体 MRE：最小输入 + 最小脚本 + 复现步骤 + 预期vs实际 - 把抽象词降维：快/稳/好用 → 指标&验收用例 |
| 玄中 | 正反合（三段迭代） | 原文用途：把一次性"写到完美"替换为可控三轮：快速可用 → 反例打脸 → 收敛为工程版本。 机制：- **正**：只做 main path，让它跑通 - **反**：列失败模式（边界/空值/并发/权限/超时/性能），用测试与基准逼出反例 - **合**：重构接口/收敛依赖/补文档与回归，形成下一轮稳定起点 |
| 玄中 | 实用主义（以指标为准） | 原文用途：避免"优化方向漂移"；每轮明确一个可量化目标。 机制：- 先定义成功指标（P95延迟/错误率/成本/内存/可维护性） - 每轮只优化一个指标；其余保持不退化（用基准/回归锁住） |
| 玄中 | 诠释学（语境澄清） | 原文用途：需求文本有歧义，模型与人对同一词理解不同。 机制：- 先复述需求 + 歧义清单 + 默认选择（必须显式） - 默认选择写入 docstring/README/类型定义 |
| 玄中 | 反思平衡（Reflective equilibrium） | 原文用途：当用例、原则、约束冲突时收敛规范（尤其 API 语义、错误处理、兼容性）。 机制：- 三层对齐：具体用例 ↔ 一般原则 ↔ 系统约束 - 用测试固化：回归用例（具体判断）+ 性质测试（原则） |
| 玄中 | 贝叶斯认识论（Bayesian epistemology） | 原文用途：在多个方案/原因间理性分配注意力与试错预算。 机制：- 先验 → 实验 → 后验 → 下一步；把排查变成序列决策问题 |
| 玄中 | 有限样本生成推断 | 有限样本生成推断是一种在受限假设空间中，由少量观测识别潜在生成规律的方法。 机制：有限实例形成经验约束→构造候选假设→按归纳偏置、复杂度与解释能力选择→演绎新实例/预测→用新增证据判别、修正与更新。 |
| 玄中 | AI-native | 判断哪些人的认知、决策与执行环节可转交AI，并动态配置人机控制权、回退与更新机制。 机制：任务→能力抽象→权限委派→自主推演→结果检验→反馈更新 |
| 玄中 | 受约束的状态变换 | 在规则、资源与风险约束内搜索可行状态转移路径，以评价函数排序，并用经验反馈更新假设空间。 机制：状态表征→变换假设→组合搜索→模型选择→结果推演→经验检验→反馈更新 |
| 玄中 | Projection 表示转换 | 在任务约束下选择更可观察、可计算的表示，保留任务相关信息和结构，并检验损失与转换成本。 机制：对象→任务结构→表示选择→推演→检验→更新 |
| 玄中 | 状态分类工具 | 将系统演化表示为始态、暂态与终态，分析时间序列位置、状态转移条件和结果判定。 机制：状态识别→类型归属→转移推演→结果判定→经验检验→分类更新 |
| 玄中 | 自底向上系统构建 | 先建设确定的基础能力与组件，再将稳定组件组合为业务功能和完整系统。 机制：建设基础能力/组件/工具模块→组件逐渐稳定→组合业务模块→形成完整系统。 |
| 玄中 | 控制论与科学方法论（仓内工程解释版） | 以信息、约束和反馈在可能性空间中选择行动，用模型预测与现实输出的差异修正模型。 机制：源文以“实践→理论→实践”描述负反馈：比较模型预测与现实输出修正模型，并限定相对孤立系统；AI编程用测试、日志、反馈、约束与迭代检验。 |
| 玄中 | 可推理性优先 | 强调人可推理的程序，以少变量、浅分支、明状态和平逻辑支持可理解性。 机制：优先可预测性；变量少、分支浅、状态明、逻辑平。 |
| 玄中 | 最小惊讶原则 | 代码行为应符合常识并减少惊讶，强调可预测性。 机制：以符合常识和可预测性作为取舍方向。 |
| 玄中 | 文档记录设计理由 | 文档不是装饰，尤其应解释当时为什么这样选择。 机制：文档解释选择理由，代码说明系统当前怎样运行，二者承担不同说明功能。 |
| 玄中 | 输入输出与状态变换分离 | 区分消费端、生产端、状态和变换，独立管理输入处理输出环节。 机制：消费端接收外部数据，生产端生成结果，状态存储系统信息，变换处理状态；输入、处理、输出独立管理。 |
| 玄中 | DRY 逻辑复用准则 | 用函数、类、模块复用逻辑，而不是复制粘贴。 机制：使用函数、类、模块复用逻辑。 |
| 玄中 | 1.1 编程没有银弹 | 评审技术万能承诺；区分本质与偶发困难，预计能减少工具替代问题理解的误判；仍只是判断框架。 |
| 玄中 | 1.2 代码即设计文档 | 代码设计理解与交接；代码表达设计并以辅助文档保存动机，预计降低实现与描述失配的理解成本。 |
| 玄中 | 1.3 代码必然被修改 | 可维护代码设计；把未来安全修改纳入结构判断，预计减少常规变更的理解与修改成本。 |
| 玄中 | 2.4 PIE | 代码意图表达；让结构和名称直接表达目的，预计改善维护者的常规理解准确性与耗时。 |
| 玄中 | 2.5 SLAP | 混合抽象层次重构；统一层级可减少阅读时的上下文切换，预计有中段理解收益；不按函数行数机械拆分。 |
| 玄中 | 2.7 名字很重要 | 名称检索与语义理解；准确且可搜索的名称预计减少脑内映射和误用，但不能代替行为合同。 |
| 玄中 | 3.1 编程理论 | 实现方式取舍；三思想与桥梁原则提供多视角检查，预计减少单一维度决策；本条不保证最优选择。 |
| 玄中 | 3.2 交流 | 团队代码阅读；从阅读者视角表达意图，预计减少日常交接与维护的理解偏差。 |
| 玄中 | 3.4 灵活性 | 抽象灵活度选择；仅在变化证据充分时增加灵活性，预计减少未使用机制的维护负担。 |
| 玄中 | 3.6 重复最少化 | 重复规则集中维护；集中同一事实预计减少遗漏同步；本条不像A005展开测试与生成安排，不借其补齐。 |
| 玄中 | 3.8 对称性 | 同类与成对行为一致性；统一表达形式预计降低预测和审查成本，并使缺项更容易被发现。 |
| 玄中 | 3.9 声明式表 | 目标与约束表达；声明式表达使目标可见，预计减少重复步骤细节；不能消除底层执行语义。 |
| 玄中 | 3.15 打包 | 零散内容职责归属；有意义的聚合预计降低认知对象数和所有权模糊；包本身不证明良好模块边界。 |
| 玄中 | 3.28 可复用性 | 已出现共性的组件复用；独立边界与少依赖预计减少同族重复实现；不为猜测复用预造通用框架。 |
| 玄中 | 3.29 七个设计原理 | 设计多视角审查；多角度检查预计比单一视角减少常规遗漏，但本条没有解出冲突的具体规则。 |
| 玄中 | 3.31 同构原理 | 问题与代码结构对应；结构映射预计降低常规业务理解的翻译成本；不能以同构要求冻结所有技术边界。 |
| 玄中 | 3.32 对称原理 | 成对操作审查；统一成对接口预计让遗漏更可见并减少误用，不把形式对称当行为相同。 |
| 玄中 | 3.34 线性原理 | 控制流与副作用追踪；更直接可追踪的流程预计降低常规阅读与定位成本；不是禁止必要间接性。 |
| 玄中 | 3.35 清晰原理 | 晦涩表达替换；选择清楚的结构与命名预计改善维护者的理解正确率和耗时。 |
| 玄中 | 3.39 清晰原则 | 炫技代码维护；选择维护者易懂的表达预计减少常规误读与修改成本。 |
| 玄中 | 3.43 简约原则 | 工具规模与复用取舍；优先小工具和组合预计减少无理由扩张的成本；规模小不自动正确或易维护。 |
| 玄中 | 3.46 表达性原则 | 关键知识显式表达；把脑中知识写入名称与结构预计降低日常团队沟通和维护依赖。 |
| 玄中 | 3.47 最小意外原则 | 公共接口预期一致性；符合惯例的行为预计降低常规学习与误操作成本；预期需来自真实消费者。 |
| 玄中 | 3.53 多样性原则 | 工具与任务匹配；允许按任务选工具预计减少单一技术强套，限于明确目标下的选择。 |
| 玄中 | 3.57 工作唯一 | 工具职责集中；专一职责预计减少日常理解与替换成本；一件事需按稳定业务边界判定。 |
| 玄中 | 3.59 可移植性优先于效率 | 平台绑定与迁移取舍；以测量必要性约束平台特定优化，预计减少不必要绑定；只在确有可移植目标时适用。 |
| 玄中 | 3.60 文本数据 | 跨工具数据表示；简单文本预计改善常规检查与交换成本；不把文本默认优先推广到大规模二进制热点。 |
| 玄中 | 3.62 活用shell脚本 | 固定命令流程脚本化；脚本编排预计改善常规重复执行和人工差错；原文不提供完整幂等或凭据合同。 |
| 玄中 | 4.5 代码中的“坏味” | 坏味驱动的小步调查；坏味作入口加测试保护，预计改善常规重构定位；信号不是根因证明。 |
| 玄中 | 5.4 无我编程 | 代码评审反馈质量；事实与代码质量优先预计减少防御性讨论和遗漏，限于评审行为不推断人格优劣。 |
| 玄中 | 6.4 内部测试 | 开发团队真实产品使用；持续自用预计补充常规测试遗漏的体验问题；开发者不代表所有目标用户。 |
| 玄中 | 6.5 橡皮鸭调试法 | 调试隐含假设显性化；逐步具体叙述预计发现常规逻辑断点；叙述通顺不证明根因，不借B012补入证据实验。 |
| 玄中 | 7.2 康威定律 | 团队沟通与模块边界检查；组织映射可作为摩擦来源假设，预计改善常规接口协作；不自动批准重组或微服务化。 |
| 玄中 | 7.6 约书亚树原则 | 团队共同词汇形成；给重要现象稳定名称预计改善识别与讨论；命名本身不创造正确概念或事实。 |
| 玄中 | 理解驱动能力 | 学习理解与应用检验；以应用检验理解预计改善常规学习效果；完整理解不是可直接测量的绝对门槛。 |
| 玄中 | 复杂性症状清单 | 复杂代码治理入口；症状清单预计帮助常规初筛，不据症状直接证明根因或优先级。 |
| 玄中 | Bug 双重定义 | 缺陷与用户预期分类；区分实现偏离与错误需求理解，预计减少常规缺陷分诊误判；用户预期需要真实调查。 |
| 玄中 | SAR / ISAR | 软件结构与信息流表示；结构、操作、结果及输入视角预计改善常规拆解；不是完整的时间、权限或本体模型。 |
| 玄中 | 持续改善 | 长期产品改善节奏；持续处理真实问题预计改善常规维护结果；发布频率本身不是用户价值。 |
| 玄中 | 改善优先级两阶段 | 成熟产品改善优先级；头部问题到用户数据的分阶段选择预计改善常规投入分配；反馈量不等于严重度。 |
| 玄中 | 学习—实践闭环 | 程序员知识边界与实践学习；基础学习加实践检验预计改善常规理解迁移；没有具体训练与验收安排，不自动升地阶。 |
| 玄中 | 用户问题 / 开发者方案 | 用户问题与方案协作；分开问题证据和实现方案预计减少需求误解；不排斥用户对方案约束的真实知识。 |
| 玄中 | 用户—程序—计算机中介模型 | 业务软件中介关系理解；用户习惯、法规和机器之间的关系预计减少常规需求建模遗漏。 |
| 玄中 | 团队规模—协调成本悖论 | 增员与协调成本估算；增加人数可能增加协调成本的提醒预计改善常规工期估算，不预定加人一定延期。 |
| 玄中 | 最小惊讶原则 | 用户可见行为预期；符合真实用户预期预计降低常规学习与误操作成本；不据同名继承A057或旧登记意见。 |
| 玄中 | 程序单一整体 | 程序整体逻辑与多余结构；整体一致与删除无用元素预计减少常规理解成本；不把整体性误读成单体不可拆。 |
| 玄中 | 维护即长期滋养 | 遗留程序理解与维护；先理解逻辑与原意预计减少常规补丁破坏；植物类比不证明系统自然成长。 |
| 玄中 | 系统三元组：硬件、软件与人 | 系统失效中人员因素检查；纳入硬件、软件与人预计减少常规事故分析漏项；不把归因给人当根因结束。 |
| 玄中 | 性能价值链 | 性能业务价值与成本关联；把性能连到体验和基础设施投入预计改善常规优化优先级，局部改进不直接等于公司收益。 |
| 玄中 | 性能影响层级链 | 性能影响向上下游传播分析；层级链预计减少常规局部归因遗漏，仍需逐层验证资源与请求传播。 |
| 玄中 | 排队系统模型 | 接近饱和的排队风险解释；到达与服务能力共同分析预计改善常规等待积累判断，模型不代替真实队列结构。 |
| 玄中 | 性能数据展示六条经验 | 面向受众的性能展示；尊重数据、上下文与关键点预计改善常规理解；故事与交互不代替事实。 |
| 玄中 | 图表选择矩阵 | 趋势与分布图形选择；图形按关系匹配预计减少常规展示误读，不能由图型自动得到因果解释。 |
| 玄中 | 十类性能测试谱系 | 性能测试目标分类；按目标与负载而非工具命名预计减少常规测试选型混淆，不构成实际覆盖证明。 |
| 玄中 | NUMA亲和策略 | NUMA位置与分配优化；在同类共享数据访问中预计改善常规远端访问与分配成本；绑定不是所有负载默认。 |
| 玄中 | SSD内部页块模型 | SSD写放大机制理解；页块、GC和磨损关系预计改善常规存储诊断；具体设备读写粒度和FTL须核对。 |
| 玄中 | 两步时间序列预测 | 有季节结构的流量预测；周总量与小时分配预计改善常规长期预测成本；误差与安全裕量已有提醒，不把案例当准确率保证。 |
| 玄中 | 三元素干扰治理 | 已核版本平台的Java干扰调整；堆页、交换与THP分别控制预计有中段同族收益；不把旧参数或关闭swap当迁移默认。 |
| 玄中 | HTTP传输状态机 | HTTP成功异常阶段定位；事件与状态关系预计改善常规定位分段；T0至T5含义和真实异常路径需另核。 |
| 玄中 | 数据中心选址因子 | 数据中心选址可行性检查；用户距离以外的电力、灾害、法律与供给检查预计减少常规单因素错选。 |
| 玄中 | 模块化Pod网络 | 标准单元式网络扩容；Pod和独立模块扩展预计改善常规容量增长的组合成本；互联瓶颈与故障域需实际验证。 |
| 玄中 | 服务效率八分类 | 服务效率改善机会盘点；软件与容量多方向视图预计减少常规只盯局部代码的遗漏；分类存在不证明改进效果。 |
| 玄中 | 效率提升五条执行原则 | 跨团队效率项目执行；owner、目标、检测与协作预计减少常规执行脱节；检测工具齐全不等于有效收益。 |
| 玄中 | 持续学习循环 | 持续专业与协作学习；跟踪一手材料并带回项目验证预计改善常规知识更新；阅读量不等于技能或效果。 |
| 玄中 | 有效沟通四准则 | 工程协作信息一致性；及时、透明、一致、清楚加可追溯记录预计减少常规协调误解，不替代正确决策。 |
| 玄中 | 复杂性症状—根因模型 | AI代码设计复杂性诊断；预计能把难维护的直觉转成可检查的变化传播问题；未预计单凭模型解决困难设计。 |
| 玄中 | 战略式编程 | 迭代功能的长期结构取舍；预计减少无限期临时补丁；投资幅度与收益仍依当前需求。 |
| 玄中 | 先写注释 | 公共接口设计说明检验；预计较早发现含混职责和接口假设。 |
| 玄中 | 抽象增量 | 迭代中的抽象时机；预计减少过早抽象并保持必要边界。 |
| 玄中 | 价值优先推进 | AI开发能力试点选择；预计把试点集中到可验证价值而非工具新颖性。 |
| 玄中 | 第三方模型六维选择 | 开发助手模型选型；预计减少只看排行榜的选型遗漏。 |
| 玄中 | 第三方 API 十二维选择 | AI API供应方选择；预计补充稳定性、安全与长期供应风险审查。 |
| 玄中 | 代码 RAG | 已有仓库示例增强代码生成；预计改善风格和接口贴合度；卡文不含完整检索评估。 |
| 玄中 | INVEST 需求评审 | 用户故事可交付性评审；预计暴露无法验收或过大的需求单元。 |
| 玄中 | 巴士系数 (Bus Factor) | 关键维护与恢复知识连续性；预计帮助定位单人知识依赖和交接缺口。 |
| 玄中 | 古德哈特定律 (Goodhart's Law) | 开发效率指标与真实交付偏差识别；预计提醒防止调用数、提交量或代码行数替代用户结果。 |
| 玄中 | 测试金字塔 (Testing Pyramid) | AI代码测试层级取舍；预计减少只依赖慢且脆弱UI测试的维护成本。 |
| 玄中 | 技术选型多维决策框架 | 数据技术栈与替换决策；预计减少只追逐工具名气和单一性能指标。 |
| 玄中 | 流式窗口与水位线 | 实时聚合的窗口与迟到语义理解；预计减少固定时间与事件完成范围混淆。 |
| 玄中 | 服务阶段信任模型 | 数据服务持续验收与信任维护；预计减少只做一次离线校验就宣称数据产品可靠。 |
| 玄中 | 序列化格式选择框架 | 数据文件与交换格式选型；预计减少访问模式与存储表示不匹配。 |
| 玄中 | 人月不可互换与Brooks法则 | AI辅助项目的人力与日历估算；预计纠正人数或Agent数量线性提速的估算。 |
| 玄中 | 基于同类项目数据的系统估算 | 软件交付工期及人员估算；预计比把代码实现时间直接当总交付时间更稳妥。 |
| 玄中 | 可持续工作周 | 可持续开发容量安排；预计减少用短期冲刺冒充稳定产能。 |
| 玄中 | 异步优先的打断判断 | 开发沟通是否值得即时打断的取舍；预计减少非紧急同步沟通的重复上下文重启。 |
| 玄中 | 工具调用四步循环 | 模型与工具框架的调用协议；预计帮助分清模型提议和真实框架执行。 |
| 玄中 | Skill 路由与执行分离 | 特定Harness的路由与加载实现；预计在支持该协议的运行时降低重复上下文；不外推所有CLI。 |
| 玄中 | 隔离优于压缩 | 高噪声子任务的上下文隔离；预计减少主上下文污染；不保证收益超过通信和重复开销。 |
| 玄中 | 记忆三层评估 | 开发助手长期记忆的任务评估；预计避免只测存储或检索成功就宣称记忆有用。 |
| 玄中 | 沙盒隔离层级 | 不可信代码执行的隔离方案初筛；预计帮助审查执行环境边界；未判定某层普遍更安全。 |
| 玄中 | LLM-as-a-Judge + Rubric | 不可精确自动判分的答案评审；预计降低自由打分漂移；尚不预计消除共同偏差。 |
| 玄中 | 用户域—模型域双向转换 | 业务任务与模型文档的适配；预计暴露提示适配层和业务验收之间的责任。 |
| 玄中 | 上下文来源矩阵 | 开发提示动态上下文来源识别；预计减少遗漏当前用户输入或使用过时应用状态。 |
| 玄中 | 契诃夫的枪支谬误 | 无关仓库上下文导致的误关联风险；预计提醒按任务选择而非无限堆文档。 |
| 玄中 | 加法—减法贪心算法 | 提示元素的有界启发式选择；预计降低盲试成本；未保证最优或困难任务迁移。 |
| 玄中 | 系统边界设定原则 | AI排错与设计分析范围取舍；预计减少无关扩读与遗漏关键上下游。 |
| 玄中 | 因果回路图 | 复杂系统反馈结构表达；预计帮助讨论反馈假设和时滞，不证明真实因果。 |
| 玄中 | 校准估计 | 开发风险与工期主观估计校准；预计识别过度自信；未验证具体人或模型已校准。 |
| 玄中 | 选择性启发式搜索 | 大候选空间中的有界搜索排序；用可比较线索优先扩展候选，同时保留剪枝理由和未搜索范围。 |
| 玄中 | 信息价值 | 有限检索与实验预算的信息选择；只优先获取可能改变选择且净收益为正的信息。 |
| 玄初 | "钢人化"原则（最强版本理解） | 原文用途：减少无效争论/误解；让重构建议更贴近原意图。 机制：- 先把现有方案表达成最强版本（目标、约束、权衡） - 再提出改进（保留其优势，指出代价） |
| 玄初 | 方法论怀疑（笛卡尔式） | 原文用途：把不可靠前提当事实是 vibe coding 常见事故源。 机制：- 对关键前提标注：是否可验证 - 不可验证 → 必须加运行时校验/超时/重试/降级；并写会失败的测试 |
| 玄初 | 递归式 AI 治理 | AI既求解问题，也生成、选择、审查与修正下一层模型或智能体，并通过跨层反馈扩大可自动化接口。 机制：实例→假设→选择→推演→检验→归因→更新；以验证层、终止条件、异常回滚和人类最终裁决构成治理闭环。 |
| 玄初 | 吸引子 | 把“项目变好”表示为由目标、可观测变量与硬约束组成的可比较、可更新的软件演化方向。 机制：变更实例→状态估计→距离比较→方向选择→结果检验→规则更新；经验反馈持续校准距离函数、权重和约束。 |
| 玄初 | 拍扁 | 将连续、关系密集且高维的对象转换为机器可计算的有限表示，选择性保留任务所需结构。 机制：现实实例→表征生成→候选结构→模型选择→推演计算→经验检验→表示更新；不同表示形成不同归纳偏置与可见信息范围。 |
| 玄初 | 5.1 程序员的三大美德 | 程序员重复劳动与质量习惯；自动化、消低效与专业责任预计有初段过程收益；人格比喻不构成能力评价。 |
| 玄初 | 5.2 童子军规则 | 任务范围内的小步清理；安全且有测试的小改善预计积累初段收益；不批准范围外顺手重构。 |
| 玄初 | 5.6 TMTOWTDI | 多用户表达路径设计；有意义的多种用法预计产生初段可用性收益，源文也要求控制工具复杂度。 |
| 玄初 | 7.3 破窗效应 | 失修代码信号与管理；尽早修复或登记预计有初段维护收益；社会类比不是腐化必然传播的因果证明。 |
| 玄初 | 7.4 熵增原理 | 代码劣化持续维护；腐化迹象提醒预计改善初段维护意识；不把物理熵定律当软件效果定理。 |
| 玄初 | 未来预测准确度模型 | 远期架构假设审查；复杂性与时间跨度提醒预计减少初段过度预测；没有具体误差模型，不当作通用定量关系。 |
| 玄初 | 两遍已太多 | 已知重复概念的共享抽取；仅覆盖已知共性预计有初段同步成本收益；第二次出现不作为自动抽象的普遍阈值。 |
| 玄初 | 复杂代码六步治理 | 复杂代码组织治理；症状、优先级与责任分配预计有初段过程收益；会议和问题单不等于真实质量改善。 |
| 玄初 | 软件即知识 | 代码可理解性价值说明；知识载体视角预计提供初段质量判断帮助；没有具体转化步骤，不预定更高结果带。 |
| 玄初 | 编程之道的整体和谐观 | 局部问题的系统层级提醒；多层关系观预计有初段诊断提醒收益；寓言性整体观不提供具体因果判别。 |
| 玄初 | 语言谱系与多样目的 | 语言与工具的目的匹配；多样目的提醒预计减少初段工具争论与错配，不证明任意语言同样适用。 |
| 玄初 | 设计先于测试 | 关键结构的早期验证；预计有初段避免测试末期才发现根本设计问题的收益；不是实现后才编写测试的授权。 |
| 玄初 | 真实时间表 | 项目真实进度观察；团队实际节奏预计有初段校正计划偏差的帮助；真实节奏仍须可核验产出支撑。 |
| 玄初 | 倒置树式领导 | 支撑式领导角色讨论；支撑员工而非归功自身预计有初段角色澄清帮助；不构成组织效果普遍规律。 |
| 玄初 | 技术介入的组织成熟度 | 协作技术引入判断；技术放大原有行为的假设预计有初段组织检查价值；需观察具体机制而非先判组织成熟度。 |
| 玄初 | 蜘蛛网系统观 | 互联系统干预的风险提醒；整体响应类比预计有初段避免粗暴变更的帮助；不证明任何小扰动都会破坏系统。 |
| 玄初 | 退避式重试 | 过载重试频率控制；退避预计有初段降低重试放大的效果；源文缺总预算、幂等和抖动，不构成完整重试器。 |
| 玄初 | CDN边缘缓存流程 | CDN回源与缓存关系理解；边缘、回源与TTL简化流程预计有初段排查帮助；不保证DNS是所有CDN的唯一机制。 |
| 玄初 | 硬件趋势到软件策略 | 硬件趋势引导的软件规划；趋势提醒预计有初段策略帮助；作者时点的NVM、密度和成本预测不代表当前供给。 |
| 玄初 | 服务器生命周期 | 服务器容量生命周期理解；从订购到退役的阶段提醒预计有初段资产检查收益；没有完整退役和数据擦除验证规范。 |
| 玄初 | 渐进配额告警与任务升级 | 单组织配额告警与升级；连续观测和任务优先级升级预计有初段响应收益；7天与3周为案例阈值，缺去重与恢复结果。 |
| 玄初 | 海勒姆定律 (Hyrum's Law) | 公共API消费者兼容风险识别；预计提醒检查隐含消费者；卡文不提供兼容迁移方法。 |
| 玄初 | 抽象泄漏定律 (The Law of Leaky Abstractions) | 跨层失败排障的抽象边界识别；预计提醒沿真实调用链核各层承诺。 |
| 玄初 | 杀虫剂悖论 (Pesticide Paradox) | 测试覆盖陈旧性的风险提示；预计提示补充新风险与输入，而非反复展示同一绿色结果。 |
| 玄初 | E参数 | 工作窗口与连续专注容量识别；预计提示检查打断与重启成本；卡文未给E参数公式。 |
| 玄初 | 会议结束条件测试 | 需求评审与协作会议完成条件；预计减少无产物会审；未包含完整会议操作规约。 |
| 玄初 | 时间感三轴 | 长工具调用的时间风险识别；预计减少把调用等待与任务进展混为一谈。 |
| 玄初 | 提示工程复杂度阶梯 | LLM编排复杂度的架构识别；预计帮助识别正在新增的所有权与风险。 |
| 玄初 | 小红帽原则 | 提示整体文档模式选择；预计改善某些模型的格式理解；训练分布实际未知。 |
| 玄初 | 位置—重要性—依赖三维关系 | 提示元素组合的相互影响识别；预计提示检查互相冲突与顺序相关性。 |
| 玄初 | 行为模式图 | 开发流程与故障变化模式观察；预计比单时点截图更易看到延迟和波动。 |
| 玄初 | 反馈速度条件 | 快速变化对象的证据新鲜度检查；预计提示日志、版本或观测已经过期。 |
| 玄初 | 反馈过度 | 反复大幅修改方案的振荡风险识别；预计提醒只更新被新证据影响的假设。 |
| 黄高 | 网络效应 | 使用者、连接节点、互操作对象及生态资产增加与网络价值上升的解释关系。 机制：更多使用者、节点、互操作对象和生态资产与系统价值上升相联系。 |
| 黄高 | 自然化认识论（Naturalized epistemology） | 原文用途：承认人类/模型都有系统性偏误，用流程与工具把偏误外包给检查器。 机制：- 默认自动化：lint+format+类型检查+测试 - 高风险路径：必须性质测试/模糊测试/运行时校验 - 结论至少双证据（测试+指标） |
| 黄高 | 合成模型 | 用层级组合、相互作用、跨层约束与涌现解释复杂形态如何逐层构成。 机制：基础单元→组合规则→结构形成→跨层约束→宏观涌现→经验检验→模型更新；各层规律受到上下层耦合、反馈与边界条件限制。 |
| 黄高 | 预测加工与模型更新 | 在不完备信息下，以经验、假设与新证据形成现实表征，并用预测误差修正内部生成模型。 机制：经验→假设→选择→推演→检验→更新；感知与行动提供证据，依据预测误差调整内部生成模型。 |
| 黄高 | 变量名索引维护 | 建立统一变量索引，列出名称、说明、位置和出现频率供团队与 AI 维护。 机制：创建变量名大全文件，按变量名、描述、文件路径和出现频率组织条目。 |
| 黄高 | 3.48 沉默原则 | 命令成功输出控制；仅预测在常规命令组合中满足低噪声输出要求；不据此预定超越合理基线的系统性增益。 |
| 黄高 | 3.56 小就是美 | 过大工具规模初筛；预计能在常规工具设计中发现规模膨胀；只有大小判断，不能直接预期稳定的整体收益。 |
| 黄高 | 开源社区三问题 | 开源贡献流程规划；预计能在限定社区任务中提出留存、门槛与吸引的常规检查；不预定顺序对所有社区有稳定收益。 |
| 黄高 | 空间—时间双重约束 | 时间与空间资源权衡入门；预计可在常规资源讨论中提出双重约束；不能覆盖正确性、权限和全部交付因素。 |
| 黄高 | 自主性—效率关系 | 有明确交付的团队自主性；仅预计为限定管理情境提供常规提醒；不把会议、作息和干预一概视为低效原因。 |
| 黄高 | 观念桥梁 | 高阻力变革沟通提醒；仅预计在限定说服任务中提醒理解对方立场；缺可验收操作安排，不预定稳定沟通增益。 |
| 黄高 | 领导退出准则 | 组织继任与持续指引讨论；预计能在常规继任任务中提出独立运行目标；不把领导离开直接当组织成熟证据。 |
| 黄高 | 性能数字锚点 | 历史性能量级初筛；预计能在常规数量级检查中达标；源文明确是时代与负载相关锚点，不预定当前硬件精确收益。 |
| 黄高 | 容量二分搜索 | SLA容量搜索方向提示；仅预计为有独立容量判定能力的常规搜索提供方向；卡片缺单调性、界限与终止规约，不借D041补齐。 |
| 黄高 | TCP队列三分诊断 | TCP两端队列候选根因初筛；仅预计常规初筛有用；三式不是充分因果判据，不能据SendQ与RecvQ单独宣布网络或应用根因。 |
| 黄高 | Logprobs 置信诊断 | 词元选择相对概率诊断；预计只支持有限的词元偏好观察，不支持事实置信或用户正确率判定。 |
| 黄中 | 符号序列空间与有效知识子集 | 在符号序列空间中生成候选，由经验检验估计有效性，以可计算近似压缩实验搜索空间。 机制：实例→假设→选择→演绎→检验→更新；模型生成候选，代理结合逻辑、形式验证、数据、仿真与人类反馈估计有效性。 |
| 黄中 | 递归生成器自优化（仓内形式模型） | 生成器先产生产物，优化器改进产物，元生成器再据此更新生成机制；讨论生成器序列的不动点。 机制：P=G(I)→P*=O(P,Ω)→G′=M(G,P*)；反复迭代生成器空间上的自映射Φ。 |
| 黄中 | 正确方式工程观 | 困难技术问题的探索动机；仅预计作为不轻易妥协的常规提醒有用；信念不能证明正确解存在、唯一或资源可达。 |
| 黄中 | 技术使命筛选器 | 技术创意边界初筛；仅预计在常规目标讨论中提醒约束边界；不把物质与人的二分当可行性判据。 |
| 黄初 | 项目失败三条件 | 组织风险的寓言性假设提出；只预计可提示常规讨论中的待查组织问题；人格与承诺标签不能作为失败、概率或绩效判据。 |
| 暂不可判 | 灾备容量负载放大模型 | 灾备损失后的剩余相对负载计算；原文x%与1/(1-x)口径冲突且写成2倍总流量；已发现正确性问题，暂不赋阶，不能用低阶掩盖错误。 |
| 暂不可判 | CAP 定理 (CAP Theorem) | 分布式一致性与可用性取舍；缺分区情境及C/A的严格口径，当前简述容易误导，暂不判阶。 |
## 更新与核对
metadata/gongfa/catalog.xlsx
BIN
View File
Binary file not shown.
scripts/AGENTS.md
+1 -1
View File
@@ -25,7 +25,7 @@
## 功法总表维护
- `sync-gongfa-catalog.py`复用登记校验器与openpyxl，消费当前登记和仓内候选来源快照，不依赖`/tmp`或个人目录；`catalog.md`只列品级、名称和简要解释，解释取用途/任务族，`catalog.xlsx`保留完整字段。
- `sync-gongfa-catalog.py`复用登记校验器与openpyxl，消费当前登记和仓内候选来源快照，不依赖`/tmp`或个人目录；`catalog.md`列品级、名称和解释：登记条目取摘要/机制，HTML候选取用途/初评理由，Solve条目取用途/机制；`catalog.xlsx`保留完整字段。
- 默认/`--check`只读；`--write`只维护`metadata/gongfa/catalog.md`与`catalog.xlsx`，不改主登记、来源快照或初评。
- 先完整校验文字上限、目标归属与摘要，再单文件原子替换；输出软链接、越界路径、非本工具文件或并行修改均拒绝覆盖。
- 内容新版本不继承旧初评；纠正链按显式`supersedes`，不同活动情境保留原意见集合，不按时间或最高等级选一条。
scripts/sync-gongfa-catalog.py
+10 -5
View File
@@ -126,13 +126,16 @@ def merge_rows(documents):
'baseline_assumption': b['baseline_assumption'], 'assessed_at': b['assessed_at'], 'item': g} for g, b in proposals])
reference = item['source_ref']
boundary = '选区说明：' + content['selection_note']
profile = content['profile']
explanation = profile['summary'] + ' 机制：' + profile['mechanism']
for field, label in [('conditions', '条件'), ('limitations', '限制')]:
if content['profile'][field]:
boundary += '\n' + label + '：' + as_text(content['profile'][field])
rows.append({'namespace': 'registry', 'original_id': item['id'], 'name': item['name'], 'ontology_type': item['ontology_type'],
'grade_id': grade.get('grade_id'), 'grading_status': status,
'entry_status': '已登记' if item['entry_status'] == 'registered' else '登记库候选',
'task_family': grade.get('task_family', ''), 'original_text': content['original_text'], 'boundary': boundary,
'task_family': grade.get('task_family', ''), 'explanation': explanation,
'original_text': content['original_text'], 'boundary': boundary,
'reason': grade.get('reason', detail if proposals else '当前内容版本未初评；不继承旧版本意见。'),
'falsifier': grade.get('falsifier', ''), 'confidence': grade.get('confidence', ''), 'content_version': item['content_version'],
'source': as_text({'source': sources[reference['source_id']], 'selection': reference, 'original_proposal_context': detail}),
@@ -153,7 +156,8 @@ def merge_rows(documents):
relations = item.get('related_existing_or_candidates') if namespace == 'html96' else item['related_existing']
rows.append({'namespace': namespace, 'original_id': item['candidate_id'], 'name': item['name'], 'ontology_type': item['ontology_type'],
'grade_id': grade['provisional_grade_id'], 'grading_status': grade['grading_status'], 'entry_status': '未入登记库',
'task_family': grade['task_family'], 'original_text': item['original_text'],
'task_family': grade['task_family'], 'explanation': grade['task_family'] + '；' + grade['reason'],
'original_text': item['original_text'],
'boundary': boundary or '此前本选区未单独完善编者边界；不借邻条补写。',
'reason': grade['reason'], 'falsifier': grade['falsifier'], 'confidence': grade['confidence'],
'content_version': '冻结选区；未设登记版本',
@@ -169,7 +173,8 @@ def merge_rows(documents):
text = as_text(raw['original_entry'])
rows.append({'namespace': 'solve24', 'original_id': item['source_id'], 'name': raw['name'], 'ontology_type': grade['ontology_type'],
'grade_id': grade['grade_id'], 'grading_status': 'provisional', 'entry_status': '未入登记库',
'task_family': grade['task_family'], 'original_text': text,
'task_family': grade['task_family'], 'explanation': grade['task_family'] + '；' + grade['mechanism'],
'original_text': text,
'boundary': as_text({'when': item['source_when'], 'not_when': item['source_not_when'], 'preconditions': item['source_preconditions'],
'editorial_caveat': grade['editorial_caveat'], 'registration_recommendation': grade['registration_recommendation']}),
'reason': grade['reason'], 'falsifier': grade['falsifier'], 'confidence': grade['confidence'], 'content_version': item['source_version'],
@@ -226,13 +231,13 @@ def render_markdown(rows, binding):
lines = ['# 功法总表', '', MARKER, '', '## 字多不看', '',
f"- 共**{len(rows)}条内容记录**；已登记{counts['已登记']}条，未入登记库的来源候选{counts['未入登记库']}条。不是独立功法去重后的总数。",
f'- 原前瞻初评{provisional}条，暂不可判{undetermined}条；不是正式效果评级，亦不把缺测默认补成黄阶。',
'- Markdown仅作浏览，表格只列品级、名称和简要解释；详细字段见JSON，Excel保留完整视图。',
'- Markdown仅作浏览；解释列组合源JSON已有摘要、机制、用途/任务族和初评理由，详细原文、边界和来源仍以JSON为准。',
'- 同一总表的[Excel完整视图](catalog.xlsx)含限定原文/源条目、来源选区、边界、理由、反证和置信。',
'- 活跃登记来自[registry.json](registry.json)，历史候选来自[仓内快照索引](catalog-sources.json)；维护边界见[README](README.md)。', '',
'输入绑定：`' + digest(binding['registry_sha256'] + binding['candidate_sha256']) + '`。', '',
'## 全部记录', '', '| 品级 | 功法名称 | 解释 |', '|---|---|---|']
for row in rows:
values = [grade_label(row), row['name'], row['task_family']]
values = [grade_label(row), row['name'], row['explanation']]
lines.append('| ' + ' | '.join(cell(value) for value in values) + ' |')
lines += ['', '## 更新与核对', '', '```bash', 'make sync-gongfa-catalog', 'make check-gongfa-catalog', 'make test-gongfa-catalog', '```', '',
'不要手改两份生成视图；候选来源变更另建快照并更新索引，登记内容变更遵守既有版本/初评协议。',
scripts/test-gongfa-catalog.py
+12 -1
View File
@@ -3,6 +3,7 @@
import argparse
import csv
from collections import Counter
from html import unescape
from copy import deepcopy
from hashlib import sha256
import importlib.util
@@ -66,6 +67,15 @@ class CatalogMaintenanceTest(unittest.TestCase):
self.assertIn('失去50%容量时剩余单位需要承担2倍总流量。', by_id['html211', 'E001']['original_text'])
self.assertEqual(sum(r['entry_status'] == '已登记' for r in rows), 79)
self.assertEqual(self.documents['registry']['assessments'], [])
registry_item = next(item for item in self.documents['registry']['gongfa'] if item['id'] == 'gongfa-first-principles')
profile = registry_item['content']['profile']
self.assertEqual(profile['summary'] + ' 机制：' + profile['mechanism'],
by_id['registry', 'gongfa-first-principles']['explanation'])
html_grade = next(item for item in self.documents['html211_grades']['items'] if item['candidate_id'] == 'E001')
self.assertEqual(html_grade['task_family'] + '；' + html_grade['reason'], by_id['html211', 'E001']['explanation'])
solve_grade = self.documents['solve24_analysis']['items'][0]['editorial_analysis']
solve_row = by_id['solve24', solve_grade['source_id']]
self.assertEqual(solve_grade['task_family'] + '；' + solve_grade['mechanism'], solve_row['explanation'])
markdown = catalog.render_markdown(rows, self.binding)
section = markdown.split('## 全部记录\n\n', 1)[1].split('\n\n## 更新与核对', 1)[0]
table_rows = [line for line in section.splitlines() if line.startswith('|')]
@@ -75,7 +85,8 @@ class CatalogMaintenanceTest(unittest.TestCase):
self.assertEqual(len(rows) + 2, len(cells))
self.assertTrue(all(len(row) == 3 for row in cells), 'Markdown浏览表只保留品级、名称和解释')
self.assertEqual([row['name'] for row in rows], [row[1] for row in cells[2:]])
self.assertEqual([row['task_family'] for row in rows], [row[2] for row in cells[2:]])
expected_explanations = [row['explanation'].replace('\r', ' ').replace('\n', ' ') for row in rows]
self.assertEqual(expected_explanations, [unescape(row[2]) for row in cells[2:]])
def test_registry_updates_follow_explicit_correction_and_never_inherit_a_new_version(self):
documents = deepcopy(self.documents)