diff --git a/AGENTS.md b/AGENTS.md index 3c0f3a81..02ec75bf 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -207,7 +207,7 @@ git push origin develop ├── tools/ # 工具、本地配置与外部仓库 │ ├── README.md # tools 目录说明 │ ├── AGENTS.md # tools 目录规则 -│ ├── faqi-catalog.md # 法器总分类、重要性分级与依赖图对象的只读生成视图 +│ ├── faqi-catalog.md # 法器品级与名称的两列只读浏览表 │ ├── config/ # 工具与开发配置（含 Codex CLI） │ ├── prompts-library/ # Excel ↔ Markdown 互转工具 │ ├── chat-vault/ # AI 聊天记录保存工具 @@ -259,10 +259,10 @@ git push origin develop - `scripts/check-directory-docs.py` - 仓库自有目录 README/AGENTS 覆盖检查脚本，供 `make check-directory-docs` 与 CI 使用 - `scripts/check-metadata.py` - metadata 路径与锚点检查脚本，供 `make check-metadata` 与 CI 使用 - `metadata/faqi.json` / `faqi.schema.json` - 法器总分类登记及字段契约；复用本体类型、固定来源审查、依赖图对象和用户确认纳入的依赖类别，原资源事实仍归资源YAML；当前暂定品级按Vibe Coding重要性分组，正式效能评级仍须独立效果证据。 -- `tools/faqi-catalog.md` - 从总登记与原资源YAML生成的原生Markdown表格只读视图，包含固定来源实现、依赖图具名对象、用户确认纳入的依赖类别、外部分流及品级状态；来源审查不等于许可或效果证明。 +- `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` - 同一全部功法总表的两种生成视图，聚合当前登记与已分类候选历史材料；不手改、不自动注册/去重/评级 +- `metadata/gongfa/catalog.md` / `catalog.xlsx` - 功法总表的生成视图；Markdown仅列品级与名称，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`显式选范围，表格标明批次，不把本批缺项报作全局未评 diff --git a/docs/gongfa/faqi-system.md b/docs/gongfa/faqi-system.md index 0213e619..a3e60fc3 100644 --- a/docs/gongfa/faqi-system.md +++ b/docs/gongfa/faqi-system.md @@ -9,7 +9,7 @@ ## 字多不看 - 方法和能力要求归功法；工具、软件入口及依赖类别按其真实所指另行整理，不因出现在同一依赖图就变成同一种对象。 -- 当前 30 项按重要性分为天阶 4 项、地阶 12 项、玄阶 9 项、黄阶 5 项；完整名称、说明及分组见[法器总表](../../tools/faqi-catalog.md)。 +- 当前 30 项按重要性分为天阶 4 项、地阶 12 项、玄阶 9 项、黄阶 5 项；名称与品级见[法器浏览表](../../tools/faqi-catalog.md)，详细登记与分组依据见[法器登记源](../../metadata/faqi.json)。 - 天阶强调模型推理与 Agent 协作；地阶强调代码操作、工具执行和运行基础；玄阶强调上下文、验证、复用与产品交付；黄阶强调可替代的专用或便利能力。 - 每阶高级、中级、初级表示该阶内的重要性次序，不是测试结果带或效能等级。 - 当前重要性分级与正式任务效果评级是两条独立轴；正式效能量表仍为 draft，阈值尚未校准。 @@ -40,7 +40,7 @@ 同阶内按高级、中级、初级表示重要性由高到低。等级只表示相对工作流位置：某项黄阶工具仍可能是某个具体任务的必要条件；高阶条目也不因此成为质量更好或已经可用的产品。 -当前明细及每项分组理由以[生成总表](../../tools/faqi-catalog.md)为准。总表中的 10 项来源限定实现、12 项依赖图具名对象/运行观察和 8 项用户确认的依赖类别属于不同登记视角；9 条本地实现关联只是关联记录，不应重复计作新对象。158 条外部资源行也不等同于 158 件法器。 +浏览表仅列品级与名称；当前明细及每项分组理由以[登记源](../../metadata/faqi.json)为准。登记中的 10 项来源限定实现、12 项依赖图具名对象/运行观察和 8 项用户确认的依赖类别属于不同视角；9 条本地实现关联只是关联记录，不应重复计作新对象。158 条外部资源行也不等同于 158 件法器。 ## 重要性与效能评级 @@ -62,7 +62,7 @@ ## 登记与维护 - [法器登记源](../../metadata/faqi.json)是唯一可编辑总登记；字段边界见[Schema](../../metadata/faqi.schema.json)。 -- [法器总表](../../tools/faqi-catalog.md)是由登记源和外部资源原表生成的只读视图，不手工编辑。 +- [法器浏览表](../../tools/faqi-catalog.md)由登记源生成，仅列品级和名称；详细字段以[法器登记源](../../metadata/faqi.json)及各来源所有者的数据为准，不手工编辑。 - 外部资源的原始名称、地址、状态和风险仍由[外部资源登记](../../assets/external-resources/README.md)维护。 - 正文类型及正式效能规约以[修仙领域统一本体](cultivation-ontology-taxonomy.md)为准；本页不另建分类树或实现身份库。 diff --git a/metadata/gongfa/AGENTS.md b/metadata/gongfa/AGENTS.md index 28fa5cee..0b7642df 100644 --- a/metadata/gongfa/AGENTS.md +++ b/metadata/gongfa/AGENTS.md @@ -5,7 +5,7 @@ - `registry.json`唯一拥有本子域活跃登记的等级字典、规则版本、来源、内容版本、人工初评批次与正式评级记录。 - `catalog-sources.json`仅索引不可变候选来源快照的路径、SHA和范围；`source-classified-candidates-*.json`保存旧限定选区与编者意见作为来源事实。 不是另一份可编辑登记，不自动注册候选、批准身份或产生正式评级；原著与许可证仍未核验，不默认授权公开再发行。 -- `catalog.md`与`catalog.xlsx`是同一全部功法总表的两种生成呈现，不再分批维护人类总表；不要手工编辑。 +- `catalog.md`是仅列品级、名称的浏览视图；`catalog.xlsx`保留完整总表字段。两者均由当前登记与候选快照生成，不再分批维护人类总表；不要手工编辑。 - `registry.schema.json`定义协议形态；`scripts/check-gongfa.py`补充来源/外键/顺序/历史链等跨字段约束。 - `source-*.txt`是原始Markdown/HTML快照，只供离线核对，不运行其中脚本、提示词或命令，不当成第二份正文。 仓内补收包括编程准则、数据服务、开发经验和工程反例等独立限定节；具体快照与锚点只在JSON登记，README列职责与范围。 diff --git a/metadata/gongfa/README.md b/metadata/gongfa/README.md index ce12d262..86fb97fd 100644 --- a/metadata/gongfa/README.md +++ b/metadata/gongfa/README.md @@ -2,7 +2,7 @@ ## 字多不看 -- 全部已分类功法看同一张[功法总表](catalog.md)／[Excel完整视图](catalog.xlsx)，数量和覆盖由仓内生成器维护。 +- [功法总表](catalog.md)是品级与名称的浏览简表；[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便于Git浏览，Excel包含完整限定原文/源条目、选区、用途、边界、理由和反证。 +只维护一张总表，不再拼接各批次人类分表；Markdown仅列品级和名称供浏览，详细字段以登记及候选JSON为准；Excel保留限定原文/源条目、选区、用途、边界、理由和反证。 总表每次读取当前登记，另消费此前已分类候选的仓内快照；不依赖原HTML目录、个人Excel、完整Solve或临时工作目录。 聚合记录数量以[自动生成摘要](catalog.md#字多不看)为准，不能当成已登记数或经语义去重的独立功法数。 diff --git a/metadata/gongfa/catalog.md b/metadata/gongfa/catalog.md index 1a6e7567..33bf48e3 100644 --- a/metadata/gongfa/catalog.md +++ b/metadata/gongfa/catalog.md @@ -6,6 +6,7 @@ - 共**410条内容记录**；已登记79条，未入登记库的来源候选331条。不是独立功法去重后的总数。 - 原前瞻初评408条，暂不可判2条；不是正式效果评级，亦不把缺测默认补成黄阶。 +- Markdown仅作浏览，表格只列品级和名称；登记详情见JSON，Excel保留完整视图。 - 同一总表的[Excel完整视图](catalog.xlsx)含限定原文/源条目、来源选区、边界、理由、反证和置信。 - 活跃登记来自[registry.json](registry.json)，历史候选来自[仓内快照索引](catalog-sources.json)；维护边界见[README](README.md)。 @@ -13,418 +14,418 @@ ## 全部记录 -| 序号 | 暂定品级 | 功法名称 | 本体类别 | 登记状态 | 来源批次 | 用途/任务族 | 原始ID / 版本 | -|---|---|---|---|---|---|---|---| -| 1 | 天高 | 拼好码 | 复合（保留上位） | 已登记 | 原登记库 | 复用主导的软件系统组装与演化 | gongfa-glue-coding / r1 | -| 2 | 地高 | 第一性原理 | 方法型 | 已登记 | 原登记库 | 错误前提下的问题重构与方案重推 | gongfa-first-principles / r1 | -| 3 | 地高 | 形式化方法（轻量形式化） | 方法型 | 已登记 | 原登记库 | 协议、不变量与边界条件检查 | gongfa-lightweight-formal-methods / r1 | -| 4 | 地高 | 方法论工具箱总体作业流 | 方法型 | 已登记 | 原登记库 | 从需求澄清到交付验证的整体作业 | gongfa-methodology-delivery-loop / r1 | -| 5 | 地中 | 胶水原则 | 准则型 | 已登记 | 原登记库 | 技术选型与成熟能力复用 | gongfa-glue-principle / r1 | -| 6 | 地中 | 反事实推理（Counterfactuals） | 方法型 | 已登记 | 原登记库 | 因果解释与验证器的反事实检查 | gongfa-counterfactual-testing / r1 | -| 7 | 地中 | 溯因排错法（仓内操作版） | 方法型 | 已登记 | 原登记库 | 多候选原因的故障诊断 | gongfa-abductive-debugging / r1 | -| 8 | 地中 | 错误认识论（Error epistemology） | 方法型 | 已登记 | 原登记库 | 高风险方案的失败模式与防护分析 | gongfa-failure-mode-analysis / r1 | -| 9 | 地中 | 实验哲学（x-phi） | 方法型 | 已登记 | 原登记库 | 可区分假设的工程实验设计 | gongfa-experimental-design / r1 | -| 10 | 地中 | 固定点收敛系统 | 方法型 | 已登记 | 原登记库 | 自治任务执行的分层验证与升级 | gongfa-fixed-point-convergence / r1 | -| 11 | 地中 | 最小先验条件下的代理增强型任务求解 | 方法型 | 已登记 | 原登记库 | 陌生领域的受控代理增强交付 | gongfa-minimal-prior-agent-assisted-solving / r1 | -| 12 | 地中 | 问题界定与求解闭环（仓内体系版） | 方法型 | 已登记 | 原登记库 | 复杂需求的问题界定与求解闭环 | gongfa-problem-definition-framework / r1 | -| 13 | 地中 | 6.2 契约式设计 | 方法型 | 未入登记库 | 此前四HTML | 跨模块责任与不变式约束 | A088 / 冻结选区；未设登记版本 | -| 14 | 地中 | 性能工程“医生”闭环 | 方法型 | 未入登记库 | 此前四HTML | 跨软硬件困难性能诊断 | D006 / 冻结选区；未设登记版本 | -| 15 | 地中 | 七步性能测试闭环 | 方法型 | 未入登记库 | 此前四HTML | 复杂性能测试设计与判定 | D020 / 冻结选区；未设登记版本 | -| 16 | 地初 | 奥卡姆剃刀 | 准则型 | 已登记 | 原登记库 | 等效方案的复杂度取舍 | gongfa-occams-razor / r1 | -| 17 | 地初 | 状态空间思维模型 | 方法型 | 已登记 | 原登记库 | 状态空间中的目标、路径和约束建模 | gongfa-state-space-thinking / r1 | -| 18 | 地初 | 可证伪主义（波普尔） | 方法型 | 已登记 | 原登记库 | 假设和方案的反例验证 | gongfa-falsification / r1 | -| 19 | 地初 | 系统论/整体论（边界与反馈回路） | 方法型 | 已登记 | 原登记库 | 跨模块依赖、边界和反馈诊断 | gongfa-systems-boundary-feedback / r1 | -| 20 | 地初 | 机制解释（Mechanistic explanation） | 方法型 | 已登记 | 原登记库 | 从现象到生成机制的解释检验 | gongfa-mechanistic-explanation / r1 | -| 21 | 地初 | 计算哲学（Computational philosophy） | 方法型 | 已登记 | 原登记库 | 复杂机制的模拟与现实对照 | gongfa-computational-modeling / r1 | -| 22 | 地初 | 近端因果机制 | 方法型 | 已登记 | 原登记库 | 故障末端因果机制的定位与检验 | gongfa-proximate-causal-mechanism / r1 | -| 23 | 地初 | 分而治之 | 方法型 | 已登记 | 原登记库 | 可分解复杂问题的边界与集成 | gongfa-divide-and-conquer / r1 | -| 24 | 地初 | 规约先于实现 | 准则型 | 已登记 | 原登记库 | 实现前的行为与边界约定 | gongfa-specification-before-implementation / r1 | -| 25 | 地初 | 故障可控与恢复优先 | 准则型 | 已登记 | 原登记库 | 有故障条件下的可观测、隔离与恢复设计 | gongfa-controllable-failure / r1 | -| 26 | 地初 | Dataset First 数据服务范式 | 准则型 | 已登记 | 原登记库 | 稳定数据集产品的服务边界与控制面设计 | gongfa-dataset-first-architecture / r1 | -| 27 | 地初 | 新建数据服务作业流 | 方法型 | 已登记 | 原登记库 | 按数据契约构建采集、补数与修复服务 | gongfa-dataset-service-construction / r1 | -| 28 | 地初 | 缓存生命周期与隔离约束 | 准则型 | 已登记 | 原登记库 | 有状态与多用户场景的缓存正确性设计 | gongfa-cache-lifecycle-isolation / r1 | -| 29 | 地初 | 3.5 效应局部化 | 准则型 | 未入登记库 | 此前四HTML | 高传播变更的边界设计 | A015 / 冻结选区；未设登记版本 | -| 30 | 地初 | 3.10 变动率 | 准则型 | 未入登记库 | 此前四HTML | 多变化轴模块划分 | A020 / 冻结选区；未设登记版本 | -| 31 | 地初 | 3.11 软件架构基本技法 | 复合（保留上位） | 未入登记库 | 此前四HTML | 复杂系统模块与接口设计 | A021 / 冻结选区；未设登记版本 | -| 32 | 地初 | 3.14 信息隐藏 | 准则型 | 未入登记库 | 此前四HTML | 易变决策隔离 | A024 / 冻结选区；未设登记版本 | -| 33 | 地初 | 3.16 关注点分离 | 准则型 | 未入登记库 | 此前四HTML | 交织职责的分离 | A026 / 冻结选区；未设登记版本 | -| 34 | 地初 | 3.21 分治 | 方法型 | 未入登记库 | 此前四HTML | 复杂问题分解与再集成 | A031 / 冻结选区；未设登记版本 | -| 35 | 地初 | 3.22 软件架构的非功能需求 | 复合（保留上位） | 未入登记库 | 此前四HTML | 困难架构质量权衡 | A032 / 冻结选区；未设登记版本 | -| 36 | 地初 | 3.26 可靠性 | 准则型 | 未入登记库 | 此前四HTML | 高损失故障影响控制 | A036 / 冻结选区；未设登记版本 | -| 37 | 地初 | 3.27 可测试性 | 准则型 | 未入登记库 | 此前四HTML | 难观察和难复现行为设计 | A037 / 冻结选区；未设登记版本 | -| 38 | 地初 | 3.36 安全原理 | 准则型 | 未入登记库 | 此前四HTML | 不可信输入与高代价异常 | A046 / 冻结选区；未设登记版本 | -| 39 | 地初 | 3.37 UNIX思想 | 复合（保留上位） | 未入登记库 | 此前四HTML | 可组合工具生态设计 | A047 / 冻结选区；未设登记版本 | -| 40 | 地初 | 3.44 透明性原则 | 准则型 | 未入登记库 | 此前四HTML | 隐藏状态的困难诊断 | A054 / 冻结选区；未设登记版本 | -| 41 | 地初 | 3.49 修复原则 | 准则型 | 未入登记库 | 此前四HTML | 错误早暴露与隔离 | A059 / 冻结选区；未设登记版本 | -| 42 | 地初 | 3.55 UNIX哲学 | 复合（保留上位） | 未入登记库 | 此前四HTML | 异构自动化工具链构建 | A065 / 冻结选区；未设登记版本 | -| 43 | 地初 | 3.61 充分利用软件的杠杆效应 | 准则型 | 未入登记库 | 此前四HTML | 成熟能力复用与业务编排 | A071 / 冻结选区；未设登记版本 | -| 44 | 地初 | 4.2 耦合度 | 复合（保留上位） | 未入登记库 | 此前四HTML | 复杂依赖关系与稳定性治理 | A076 / 冻结选区；未设登记版本 | -| 45 | 地初 | 5.3 性能调优的箴言 | 方法型 | 未入登记库 | 此前四HTML | 困难性能问题测量与复测 | A083 / 冻结选区；未设登记版本 | -| 46 | 地初 | 5.5 一步一步走 | 方法型 | 未入登记库 | 此前四HTML | 高风险重构的增量验证 | A085 / 冻结选区；未设登记版本 | -| 47 | 地初 | 6.1 曳光弹 | 方法型 | 未入登记库 | 此前四HTML | 集成不确定性下的演化骨架 | A087 / 冻结选区；未设登记版本 | -| 48 | 地初 | 6.3 防御性编程 | 方法型 | 未入登记库 | 此前四HTML | 不可信数据与内部缺陷隔离 | A089 / 冻结选区；未设登记版本 | -| 49 | 地初 | 7.8 重新发明车轮 | 准则型 | 未入登记库 | 此前四HTML | 成熟方案与自研边界 | A100 / 冻结选区；未设登记版本 | -| 50 | 地初 | 健壮设计流程 | 方法型 | 未入登记库 | 此前四HTML | 组件增量组装与演化 | B009 / 冻结选区；未设登记版本 | -| 51 | 地初 | 根因与不复发 | 准则型 | 未入登记库 | 此前四HTML | 反复故障根因修复 | B011 / 冻结选区；未设登记版本 | -| 52 | 地初 | 测试即获取有效知识 | 准则型 | 未入登记库 | 此前四HTML | 困难测试目标与oracle审查 | B023 / 冻结选区；未设登记版本 | -| 53 | 地初 | 阿姆达尔定律 | 解释型 | 未入登记库 | 此前四HTML | 优化上界与并行收益判断 | D009 / 冻结选区；未设登记版本 | -| 54 | 地初 | 利特尔法则 | 解释型 | 未入登记库 | 此前四HTML | 稳定系统并发与平均容量核对 | D010 / 冻结选区；未设登记版本 | -| 55 | 地初 | 数据分析陷阱清单 | 准则型 | 未入登记库 | 此前四HTML | 脏数据与跨系统指标语义审查 | D014 / 冻结选区；未设登记版本 | -| 56 | 地初 | 九条性能测试经验 | 准则型 | 未入登记库 | 此前四HTML | 困难性能实验的重复与解释 | D022 / 冻结选区；未设登记版本 | -| 57 | 地初 | 持续性能工程集成模型 | 方法型 | 未入登记库 | 此前四HTML | 性能回归的持续反馈 | D023 / 冻结选区；未设登记版本 | -| 58 | 地初 | 瓶颈分层分析 | 方法型 | 未入登记库 | 此前四HTML | 困难跨资源瓶颈缩小 | D025 / 冻结选区；未设登记版本 | -| 59 | 地初 | 网络分层诊断 | 方法型 | 未入登记库 | 此前四HTML | 复杂跨域网络性能诊断 | D031 / 冻结选区；未设登记版本 | -| 60 | 地初 | 性能优化六原则 | 准则型 | 未入登记库 | 此前四HTML | 多场景困难性能优化取舍 | D033 / 冻结选区；未设登记版本 | -| 61 | 地初 | 性能优化十大策略 | 复合（保留上位） | 未入登记库 | 此前四HTML | 复杂资源瓶颈的策略权衡 | D034 / 冻结选区；未设登记版本 | -| 62 | 地初 | 跨层STW根因链 | 复合（保留上位） | 未入登记库 | 此前四HTML | 困难跨层暂停根因追踪 | D038 / 冻结选区；未设登记版本 | -| 63 | 地初 | 容量规划闭环 | 方法型 | 未入登记库 | 此前四HTML | 困难需求预算下的容量规划 | D054 / 冻结选区；未设登记版本 | -| 64 | 地初 | 信息隐藏 | 准则型 | 未入登记库 | HTML续提 | 跨模块知识重复与联动变更 | VC004 / 冻结选区；未设登记版本 | -| 65 | 地初 | 提示注入分层防御 | 方法型 | 未入登记库 | HTML续提 | 不可信仓库材料的提示注入防御 | VC063 / 冻结选区；未设登记版本 | -| 66 | 地初 | 状态栏代码维护原则 | 准则型 | 未入登记库 | HTML续提 | 长历史下确定性计数与状态维护 | VC068 / 冻结选区；未设登记版本 | -| 67 | 地初 | 评估集六原则 | 准则型 | 未入登记库 | HTML续提 | 困难及迁移开发任务的评估集审查 | VC079 / 冻结选区；未设登记版本 | -| 68 | 地初 | 最小复现 | 方法型 | 未入登记库 | Solve已审首24 | 复杂可复现程序故障的失败输入缩减 | psoa.programming.minimal-reproduction / 1.0.0 | -| 69 | 地初 | 性质测试 | 方法型 | 未入登记库 | Solve已审首24 | 可声明性质的软件接口边界与组合检验 | psoa.programming.property-based-testing / 1.0.0 | -| 70 | 地初 | 模糊测试 | 方法型 | 未入登记库 | Solve已审首24 | 解析器与接口的大输入空间异常发现 | psoa.programming.fuzzing / 1.0.0 | -| 71 | 地初 | 不变量检查 | 方法型 | 未入登记库 | Solve已审首24 | 多步状态流的权限、数据与一致性检查 | psoa.computer-science.invariant-checking / 1.0.0 | -| 72 | 地初 | 风险驱动测试 | 方法型 | 未入登记库 | Solve已审首24 | 有限预算下高影响失效路径的验证安排 | psoa.software-engineering.risk-based-testing / 1.0.0 | -| 73 | 地初 | 事故复盘 | 方法型 | 未入登记库 | Solve已审首24 | 有可保全证据的事故根因与复发治理 | psoa.software-engineering.incident-postmortem / 1.0.0 | -| 74 | 地初 | 预注册 | 方法型 | 未入登记库 | Solve已审首24 | 模型或方法晋升中的确认性评估 | psoa.research.pre-registration / 1.0.0 | -| 75 | 地初 | 重复研究 | 方法型 | 未入登记库 | Solve已审首24 | 软件方法与模型效果的独立重复评估 | psoa.research.replication-study / 1.0.0 | -| 76 | 地初 | 代理指标—真实目标对齐审计 | 方法型 | 未入登记库 | Solve已审首24 | 模型评分、测试通过率与真实验收目标的失配审计 | psoa.research.proxy-target-alignment-audit / 0.1.0 | -| 77 | 地初 | 后悔与鲁棒决策 | 方法型 | 未入登记库 | Solve已审首24 | 概率不稳且损失不对称的软件方案选择 | psoa.decision-science.regret-robustness / 1.0.0 | -| 78 | 玄高 | 多阶思维 | 方法型 | 已登记 | 原登记库 | 决策后续影响与反馈审查 | gongfa-multi-order-thinking / r1 | -| 79 | 玄高 | 奥卡姆剃刀（工具箱操作版） | 方法型 | 已登记 | 原登记库 | 冗余模块和解释的等效简化 | gongfa-toolbox-occams-razor / r1 | -| 80 | 玄高 | 决策论/机会成本（可逆优先） | 方法型 | 已登记 | 原登记库 | 不确定条件下的可回退方案选择 | gongfa-reversible-decisions / r1 | -| 81 | 玄高 | 贝叶斯式信念更新（与溯因配合） | 方法型 | 已登记 | 原登记库 | 随证据更新的故障假设排序 | gongfa-bayesian-hypothesis-updating / r1 | -| 82 | 玄高 | 概念分析 / 概念工程 | 方法型 | 已登记 | 原登记库 | API、需求和领域术语的边界设计 | gongfa-concept-engineering / r1 | -| 83 | 玄高 | 视角三角测量（Triangulation） | 方法型 | 已登记 | 原登记库 | 多来源解释的独立交叉核对 | gongfa-evidence-triangulation / r1 | -| 84 | 玄高 | 解空间 | 复合（保留上位） | 已登记 | 原登记库 | 约束求解与候选方案搜索 | gongfa-solution-space / r1 | -| 85 | 玄高 | 目的导向的行动选择 | 方法型 | 已登记 | 原登记库 | 目标、约束与候选路径的多准则选择 | gongfa-purpose-directed-action / r1 | -| 86 | 玄高 | 自顶向下系统设计 | 方法型 | 已登记 | 原登记库 | 需求较稳定系统的整体设计与拆解 | gongfa-top-down-system-design / r1 | -| 87 | 玄高 | 状态时间与责任追踪 | 方法型 | 已登记 | 原登记库 | 可变状态的时间、更新和责任审查 | gongfa-state-ownership-questions / r1 | -| 88 | 玄高 | 高内聚 | 准则型 | 已登记 | 原登记库 | 按相关性与职责组织模块 | gongfa-high-cohesion / r1 | -| 89 | 玄高 | 低耦合 | 准则型 | 已登记 | 原登记库 | 模块依赖取舍与独立演进 | gongfa-low-coupling / r1 | -| 90 | 玄高 | 稳定接口与可变实现 | 准则型 | 已登记 | 原登记库 | 接口兼容下的实现替换 | gongfa-stable-interface-contract / r1 | -| 91 | 玄高 | 显式依赖优先 | 准则型 | 已登记 | 原登记库 | 依赖关系表达与排查 | gongfa-explicit-dependencies / r1 | -| 92 | 玄高 | 不变式与明确约束 | 准则型 | 已登记 | 原登记库 | 明确系统不变式与约束 | gongfa-invariant-constraints / r1 | -| 93 | 玄高 | 真实使用验证抽象 | 准则型 | 已登记 | 原登记库 | 重复与抽象成本的设计取舍 | gongfa-validated-abstraction / r1 | -| 94 | 玄高 | 技术债显式登记 | 准则型 | 已登记 | 原登记库 | 交付折衷与偿还责任管理 | gongfa-technical-debt-ledger / r1 | -| 95 | 玄高 | 性能定位以测量为准 | 准则型 | 已登记 | 原登记库 | 性能瓶颈定位与优化取舍 | gongfa-performance-by-measurement / r1 | -| 96 | 玄高 | 外部源码数据集化接入 | 方法型 | 已登记 | 原登记库 | 外部采集源码向数据集服务结构的适配 | gongfa-external-source-dataset-adaptation / r1 | -| 97 | 玄高 | 共享资源与并发安全约束 | 准则型 | 已登记 | 原登记库 | 并发共享状态设计与检查 | gongfa-shared-resource-concurrency / r1 | -| 98 | 玄高 | 输入规模与复杂度约束 | 准则型 | 已登记 | 原登记库 | 算法选型与隐藏遍历成本检查 | gongfa-input-scale-complexity-constraints / r1 | -| 99 | 玄高 | 2.1 KISS原则 | 准则型 | 未入登记库 | 此前四HTML | 删除无价值复杂度 | A004 / 冻结选区；未设登记版本 | -| 100 | 玄高 | 2.2 DRY | 准则型 | 未入登记库 | 此前四HTML | 重复知识一致性维护 | A005 / 冻结选区；未设登记版本 | -| 101 | 玄高 | 2.3 YAGNI | 准则型 | 未入登记库 | 此前四HTML | 需求与抽象范围控制 | A006 / 冻结选区；未设登记版本 | -| 102 | 玄高 | 2.6 OCP | 准则型 | 未入登记库 | 此前四HTML | 已出现变化点的扩展 | A009 / 冻结选区；未设登记版本 | -| 103 | 玄高 | 3.3 简洁 | 准则型 | 未入登记库 | 此前四HTML | 复杂实现简化 | A013 / 冻结选区；未设登记版本 | -| 104 | 玄高 | 3.7 逻辑与数据的一体化 | 准则型 | 未入登记库 | 此前四HTML | 数据与处理的变更边界 | A017 / 冻结选区；未设登记版本 | -| 105 | 玄高 | 3.12 抽象 | 准则型 | 未入登记库 | 此前四HTML | 稳定共性抽取 | A022 / 冻结选区；未设登记版本 | -| 106 | 玄高 | 3.13 封装 | 准则型 | 未入登记库 | 此前四HTML | 内部状态误用控制 | A023 / 冻结选区；未设登记版本 | -| 107 | 玄高 | 3.17 充足性、完整性、原始性 | 准则型 | 未入登记库 | 此前四HTML | 公共接口能力集合设计 | A027 / 冻结选区；未设登记版本 | -| 108 | 玄高 | 3.18 策略和实现的分离 | 准则型 | 未入登记库 | 此前四HTML | 策略变化隔离 | A028 / 冻结选区；未设登记版本 | -| 109 | 玄高 | 3.19 接口与实现的分离 | 准则型 | 未入登记库 | 此前四HTML | 契约兼容下的实现替换 | A029 / 冻结选区；未设登记版本 | -| 110 | 玄高 | 3.20 单一引用点 | 准则型 | 未入登记库 | 此前四HTML | 配置与事实一致性 | A030 / 冻结选区；未设登记版本 | -| 111 | 玄高 | 3.23 易变性 | 准则型 | 未入登记库 | 此前四HTML | 变化热点隔离 | A033 / 冻结选区；未设登记版本 | -| 112 | 玄高 | 3.24 互操作性 | 准则型 | 未入登记库 | 此前四HTML | 跨系统协议协作 | A034 / 冻结选区；未设登记版本 | -| 113 | 玄高 | 3.25 效率性 | 方法型 | 未入登记库 | 此前四HTML | 有明确性能约束的优化 | A035 / 冻结选区；未设登记版本 | -| 114 | 玄高 | 3.30 简单性原理 | 准则型 | 未入登记库 | 此前四HTML | 目的无关结构清理 | A040 / 冻结选区；未设登记版本 | -| 115 | 玄高 | 3.33 层次原理 | 准则型 | 未入登记库 | 此前四HTML | 高低层次依赖控制 | A043 / 冻结选区；未设登记版本 | -| 116 | 玄高 | 3.38 模块化原则 | 准则型 | 未入登记库 | 此前四HTML | 大模块职责分解 | A048 / 冻结选区；未设登记版本 | -| 117 | 玄高 | 3.40 组合原则 | 准则型 | 未入登记库 | 此前四HTML | 已有工具能力组合 | A050 / 冻结选区；未设登记版本 | -| 118 | 玄高 | 3.41 分离原则 | 准则型 | 未入登记库 | 此前四HTML | 界面策略与引擎独立演进 | A051 / 冻结选区；未设登记版本 | -| 119 | 玄高 | 3.42 简单原则 | 准则型 | 未入登记库 | 此前四HTML | 特殊处理膨胀控制 | A052 / 冻结选区；未设登记版本 | -| 120 | 玄高 | 3.45 健壮性原则 | 准则型 | 未入登记库 | 此前四HTML | 脆弱依赖与隐藏状态治理 | A055 / 冻结选区；未设登记版本 | -| 121 | 玄高 | 3.50 经济原则 | 准则型 | 未入登记库 | 此前四HTML | 可规则化重复作业自动化 | A060 / 冻结选区；未设登记版本 | -| 122 | 玄高 | 3.51 生成原则 | 准则型 | 未入登记库 | 此前四HTML | 多表示机械派生 | A061 / 冻结选区；未设登记版本 | -| 123 | 玄高 | 3.52 优化原则 | 准则型 | 未入登记库 | 此前四HTML | 无证据微优化筛除 | A062 / 冻结选区；未设登记版本 | -| 124 | 玄高 | 3.54 可扩展性原则 | 准则型 | 未入登记库 | 此前四HTML | 协议兼容扩展 | A064 / 冻结选区；未设登记版本 | -| 125 | 玄高 | 3.58 尽早创建原型 | 方法型 | 未入登记库 | 此前四HTML | 高不确定性学习实验 | A068 / 冻结选区；未设登记版本 | -| 126 | 玄高 | 3.63 避开交互式用户接口 | 准则型 | 未入登记库 | 此前四HTML | 核心能力非交互调用 | A073 / 冻结选区；未设登记版本 | -| 127 | 玄高 | 3.64 过滤器化 | 方法型 | 未入登记库 | 此前四HTML | 流水式数据转换组合 | A074 / 冻结选区；未设登记版本 | -| 128 | 玄高 | 4.1 内聚度 | 复合（保留上位） | 未入登记库 | 此前四HTML | 模块内部关联诊断 | A075 / 冻结选区；未设登记版本 | -| 129 | 玄高 | 4.3 正交性 | 准则型 | 未入登记库 | 此前四HTML | 组件独立变更 | A077 / 冻结选区；未设登记版本 | -| 130 | 玄高 | 4.4 可逆性 | 准则型 | 未入登记库 | 此前四HTML | 不确定技术选择的替换余地 | A078 / 冻结选区；未设登记版本 | -| 131 | 玄高 | 4.6 技术负债 | 方法型 | 未入登记库 | 此前四HTML | 临时方案债务治理 | A080 / 冻结选区；未设登记版本 | -| 132 | 玄高 | 6.6 语境 | 准则型 | 未入登记库 | 此前四HTML | 有冲突规则的情境取舍 | A092 / 冻结选区；未设登记版本 | -| 133 | 玄高 | 7.1 布鲁克斯法则 | 复合（保留上位） | 未入登记库 | 此前四HTML | 延期项目增员与范围决策 | A093 / 冻结选区；未设登记版本 | -| 134 | 玄高 | 7.5 80-10-10原则 | 方法型 | 未入登记库 | 此前四HTML | 工具尾部适用性试验 | A097 / 冻结选区；未设登记版本 | -| 135 | 玄高 | 7.7 第二系统综合征 | 复合（保留上位） | 未入登记库 | 此前四HTML | 重写与第二代功能膨胀 | A099 / 冻结选区；未设登记版本 | -| 136 | 玄高 | 7.9 给牦牛剃毛 | 方法型 | 未入登记库 | 此前四HTML | 多层前置问题的任务回正 | A101 / 冻结选区；未设登记版本 | -| 137 | 玄高 | 软件设计两原则 | 准则型 | 未入登记库 | 此前四HTML | 长期设计成本取舍 | B003 / 冻结选区；未设登记版本 | -| 138 | 玄高 | API 承诺与兼容性 | 准则型 | 未入登记库 | 此前四HTML | 公共API兼容与弃用 | B005 / 冻结选区；未设登记版本 | -| 139 | 玄高 | 严格性—简约—可用性取舍 | 准则型 | 未入登记库 | 此前四HTML | 输入约束与可用性权衡 | B007 / 冻结选区；未设登记版本 | -| 140 | 玄高 | 调试四步法 | 方法型 | 未入登记库 | 此前四HTML | 可观察异常排查 | B012 / 冻结选区；未设登记版本 | -| 141 | 玄高 | 产出物效率模型 | 准则型 | 未入登记库 | 此前四HTML | 开发效能指标选择 | B013 / 冻结选区；未设登记版本 | -| 142 | 玄高 | 特性服务型重构 | 方法型 | 未入登记库 | 此前四HTML | 功能交付中的持续重构 | B015 / 冻结选区；未设登记版本 | -| 143 | 玄高 | 隐私帮助—伤害权衡 | 准则型 | 未入登记库 | 此前四HTML | 数据收集与共享的隐私取舍 | B020 / 冻结选区；未设登记版本 | -| 144 | 玄高 | 简约安全模型 | 方法型 | 未入登记库 | 此前四HTML | 攻击面与损失边界设计 | B021 / 冻结选区；未设登记版本 | -| 145 | 玄高 | ODA 观察循环 | 方法型 | 未入登记库 | 此前四HTML | 开发与学习反馈回路 | B022 / 冻结选区；未设登记版本 | -| 146 | 玄高 | 设计拒绝门 | 准则型 | 未入登记库 | 此前四HTML | 复杂度与价值提案筛选 | B026 / 冻结选区；未设登记版本 | -| 147 | 玄高 | 杰出软件三条件 | 准则型 | 未入登记库 | 此前四HTML | 产品行为与意图表达验收 | B029 / 冻结选区；未设登记版本 | -| 148 | 玄高 | 规则情境化 | 准则型 | 未入登记库 | 此前四HTML | 规则适用域校准 | C009 / 冻结选区；未设登记版本 | -| 149 | 玄高 | 抽象模型不完备 | 解释型 | 未入登记库 | 此前四HTML | 模型结论适用范围审查 | C017 / 冻结选区；未设登记版本 | -| 150 | 玄高 | 多快好省四维性能观 | 准则型 | 未入登记库 | 此前四HTML | 多维性能目标选择 | D003 / 冻结选区；未设登记版本 | -| 151 | 玄高 | 帕累托法则 | 准则型 | 未入登记库 | 此前四HTML | 测量确认热点后的投入分配 | D008 / 冻结选区；未设登记版本 | -| 152 | 玄高 | 性能统计工具箱 | 方法型 | 未入登记库 | 此前四HTML | 中心与长尾性能描述 | D011 / 冻结选区；未设登记版本 | -| 153 | 玄高 | 性能数据分析五类目标 | 准则型 | 未入登记库 | 此前四HTML | 性能分析问题与工具匹配 | D013 / 冻结选区；未设登记版本 | -| 154 | 玄高 | 性能测试六维分类 | 方法型 | 未入登记库 | 此前四HTML | 性能测试对象与场景合同 | D018 / 冻结选区；未设登记版本 | -| 155 | 玄高 | 性能测试工具五模块 | 复合（保留上位） | 未入登记库 | 此前四HTML | 性能工具链适配 | D021 / 冻结选区；未设登记版本 | -| 156 | 玄高 | 外部性能三指标 | 解释型 | 未入登记库 | 此前四HTML | 服务性能观察边界 | D024 / 冻结选区；未设登记版本 | -| 157 | 玄高 | CPU资源诊断模型 | 方法型 | 未入登记库 | 此前四HTML | CPU结构性瓶颈诊断 | D026 / 冻结选区；未设登记版本 | -| 158 | 玄高 | 内存层级与局部性模型 | 复合（保留上位） | 未入登记库 | 此前四HTML | 同族内存访问性能分析 | D027 / 冻结选区；未设登记版本 | -| 159 | 玄高 | 存储三指标 | 解释型 | 未入登记库 | 此前四HTML | 存储负载与介质选择 | D029 / 冻结选区；未设登记版本 | -| 160 | 玄高 | LLC未命中优化三策 | 方法型 | 未入登记库 | 此前四HTML | 有PMU证据的LLC优化 | D035 / 冻结选区；未设登记版本 | -| 161 | 玄高 | iTLB优化流水线 | 方法型 | 未入登记库 | 此前四HTML | 有指令画像的iTLB优化 | D036 / 冻结选区；未设登记版本 | -| 162 | 玄高 | SSD写放大与Trim调优 | 方法型 | 未入登记库 | 此前四HTML | SSD尾延迟与Trim策略 | D037 / 冻结选区；未设登记版本 | -| 163 | 玄高 | RedLiner生产容量测试 | 方法型 | 未入登记库 | 此前四HTML | 经授权的真实流量容量测量 | D039 / 冻结选区；未设登记版本 | -| 164 | 玄高 | 五条线上容量测试原则 | 准则型 | 未入登记库 | 此前四HTML | 线上容量测量客户保护 | D040 / 冻结选区；未设登记版本 | -| 165 | 玄高 | 数据库复制三变量模型 | 解释型 | 未入登记库 | 此前四HTML | 复制流量容量延迟的模型判断 | D041 / 冻结选区；未设登记版本 | -| 166 | 玄高 | Java多任务干扰三层机制 | 解释型 | 未入登记库 | 此前四HTML | 同平台Java资源干扰解释 | D044 / 冻结选区；未设登记版本 | -| 167 | 玄高 | SSD友好七原则 | 准则型 | 未入登记库 | 此前四HTML | 目标SSD负载的软件适配 | D048 / 冻结选区；未设登记版本 | -| 168 | 玄高 | 服务器五阶段验证路线 | 方法型 | 未入登记库 | 此前四HTML | 硬件验证真实性递进 | D049 / 冻结选区；未设登记版本 | -| 169 | 玄高 | 容量规划六挑战 | 准则型 | 未入登记库 | 此前四HTML | 容量规划的供给与地域约束 | D055 / 冻结选区；未设登记版本 | -| 170 | 玄高 | 需求控制五模块 | 复合（保留上位） | 未入登记库 | 此前四HTML | 新增与存量资源需求控制 | D058 / 冻结选区；未设登记版本 | -| 171 | 玄高 | 指标—成本映射可见性与更新 | 准则型 | 未入登记库 | 此前四HTML | 资源指标与成本决策对齐 | E003 / 冻结选区；未设登记版本 | -| 172 | 玄高 | 深模块 | 准则型 | 未入登记库 | HTML续提 | 类与服务边界设计 | VC003 / 冻结选区；未设登记版本 | -| 173 | 玄高 | 适度通用的模块 | 准则型 | 未入登记库 | HTML续提 | 相关用例的机制与策略分离 | VC005 / 冻结选区；未设登记版本 | -| 174 | 玄高 | 下沉复杂性 | 准则型 | 未入登记库 | HTML续提 | 模块复杂性归属取舍 | VC006 / 冻结选区；未设登记版本 | -| 175 | 玄高 | 基于复杂性的拆分/组合 | 准则型 | 未入登记库 | HTML续提 | 类、方法与服务拆分评审 | VC007 / 冻结选区；未设登记版本 | -| 176 | 玄高 | 通过定义来规避错误 | 方法型 | 未入登记库 | HTML续提 | 接口特殊情况与异常语义设计 | VC008 / 冻结选区；未设登记版本 | -| 177 | 玄高 | 设计两次 | 方法型 | 未入登记库 | HTML续提 | 重要接口及系统方案选择 | VC009 / 冻结选区；未设登记版本 | -| 178 | 玄高 | 重要性最小化与强调 | 准则型 | 未入登记库 | HTML续提 | 关键接口与配置重点表达 | VC012 / 冻结选区；未设登记版本 | -| 179 | 玄高 | 大模型安全十九项控制 | 准则型 | 未入登记库 | HTML续提 | 带模型与工具的软件威胁审查 | VC016 / 冻结选区；未设登记版本 | -| 180 | 玄高 | 提示工程实践清单 | 准则型 | 未入登记库 | HTML续提 | 可复现开发提示维护 | VC017 / 冻结选区；未设登记版本 | -| 181 | 玄高 | 语义完整切块 | 准则型 | 未入登记库 | HTML续提 | 代码及文档检索分块 | VC018 / 冻结选区；未设登记版本 | -| 182 | 玄高 | 智能体权限边界 | 准则型 | 未入登记库 | HTML续提 | 工程代理高风险工具授权 | VC020 / 冻结选区；未设登记版本 | -| 183 | 玄高 | 用户故事 + GWT | 方法型 | 未入登记库 | HTML续提 | 需求到可执行验收的转换 | VC021 / 冻结选区；未设登记版本 | -| 184 | 玄高 | 组件库约束生成 | 准则型 | 未入登记库 | HTML续提 | AI UI代码与设计系统对齐 | VC023 / 冻结选区；未设登记版本 | -| 185 | 玄高 | 大模型时代的 UTDD | 方法型 | 未入登记库 | HTML续提 | 单元行为测试先行的AI实现迭代 | VC024 / 冻结选区；未设登记版本 | -| 186 | 玄高 | 大模型时代的 ATDD | 方法型 | 未入登记库 | HTML续提 | 跨组件业务验收实现 | VC025 / 冻结选区；未设登记版本 | -| 187 | 玄高 | 运维自愈边界 | 准则型 | 未入登记库 | HTML续提 | 自动运维修复权限控制 | VC026 / 冻结选区；未设登记版本 | -| 188 | 玄高 | 生命周期阶段评估问题集 | 准则型 | 未入登记库 | HTML续提 | AI生成数据管道的分阶段设计审查 | VC035 / 冻结选区；未设登记版本 | -| 189 | 玄高 | 源系统评估框架 | 准则型 | 未入登记库 | HTML续提 | 外部源数据接入前合同审查 | VC037 / 冻结选区；未设登记版本 | -| 190 | 玄高 | 事件与时间语义 | 准则型 | 未入登记库 | HTML续提 | 日志、CDC与事件管道时间合同 | VC038 / 冻结选区；未设登记版本 | -| 191 | 玄高 | 流式摄取可靠性框架 | 准则型 | 未入登记库 | HTML续提 | 流式摄取可靠性风险审查 | VC039 / 冻结选区；未设登记版本 | -| 192 | 玄高 | 查询生命周期与优化闭环 | 方法型 | 未入登记库 | HTML续提 | AI生成查询的性能诊断 | VC040 / 冻结选区；未设登记版本 | -| 193 | 玄高 | 语义层与指标层 | 准则型 | 未入登记库 | HTML续提 | 报表与评估指标语义单点维护 | VC043 / 冻结选区；未设登记版本 | -| 194 | 玄高 | 概念完整性 | 准则型 | 未入登记库 | HTML续提 | 多轮AI生成的系统概念一致性 | VC046 / 冻结选区；未设登记版本 | -| 195 | 玄高 | 规格传播与解释闭环 | 准则型 | 未入登记库 | HTML续提 | 规格在开发与审查间传播 | VC047 / 冻结选区；未设登记版本 | -| 196 | 玄高 | 独立产品测试 | 方法型 | 未入登记库 | HTML续提 | 降低实现者自证偏差的产品测试 | VC048 / 冻结选区；未设登记版本 | -| 197 | 玄高 | 规格外部审查 | 方法型 | 未入登记库 | HTML续提 | 编码前的需求与规格缺陷审查 | VC050 / 冻结选区；未设登记版本 | -| 198 | 玄高 | 具体可度量的里程碑 | 准则型 | 未入登记库 | HTML续提 | AI长任务进度与交付判定 | VC051 / 冻结选区；未设登记版本 | -| 199 | 玄高 | 计划日期与当前估计分离 | 准则型 | 未入登记库 | HTML续提 | 计划偏差与恢复估计跟踪 | VC052 / 冻结选区；未设登记版本 | -| 200 | 玄高 | 输入—执行—输出三层护栏 | 准则型 | 未入登记库 | HTML续提 | 工程Agent输入到输出的防线布置 | VC060 / 冻结选区；未设登记版本 | -| 201 | 玄高 | Human in the Loop | 准则型 | 未入登记库 | HTML续提 | 高风险或反复失败的人工升级 | VC061 / 冻结选区；未设登记版本 | -| 202 | 玄高 | 业务规则可执行化 | 准则型 | 未入登记库 | HTML续提 | AI业务规则精度与例外表达 | VC062 / 冻结选区；未设登记版本 | -| 203 | 玄高 | Skills 三层渐进式披露 | 方法型 | 未入登记库 | HTML续提 | 大量Skill的按需上下文装载 | VC064 / 冻结选区；未设登记版本 | -| 204 | 玄高 | Skill 路由条件设计 | 准则型 | 未入登记库 | HTML续提 | Skill元数据的适用域表达 | VC065 / 冻结选区；未设登记版本 | -| 205 | 玄高 | Context Distillation | 方法型 | 未入登记库 | HTML续提 | 长任务的可检索状态摘要 | VC067 / 冻结选区；未设登记版本 | -| 206 | 玄高 | 五层生产压缩 | 方法型 | 未入登记库 | HTML续提 | 开发会话上下文增长的压缩治理 | VC070 / 冻结选区；未设登记版本 | -| 207 | 玄高 | 记忆整理三层 | 方法型 | 未入登记库 | HTML续提 | 开发知识与长期记忆去重整理 | VC073 / 冻结选区；未设登记版本 | -| 208 | 玄高 | ACI 防呆设计 | 准则型 | 未入登记库 | HTML续提 | 模型可正确使用的工具接口设计 | VC074 / 冻结选区；未设登记版本 | -| 209 | 玄高 | 提议者—审核者 | 方法型 | 未入登记库 | HTML续提 | 危险提议与交付产物审查 | VC075 / 冻结选区；未设登记版本 | -| 210 | 玄高 | 幂等性与预检—确认 | 方法型 | 未入登记库 | HTML续提 | 超时与重试下重复副作用防护 | VC077 / 冻结选区；未设登记版本 | -| 211 | 玄高 | 异步任务生命周期 | 方法型 | 未入登记库 | HTML续提 | 长运行开发工具的异步控制 | VC078 / 冻结选区；未设登记版本 | -| 212 | 玄高 | 离线—在线评估双轨 | 方法型 | 未入登记库 | HTML续提 | 提示及Agent产品改进的双环境验证 | VC084 / 冻结选区；未设登记版本 | -| 213 | 玄高 | 黄金标准—功能测试—LLM 评估 | 准则型 | 未入登记库 | HTML续提 | AI输出的验证机制选择 | VC090 / 冻结选区；未设登记版本 | -| 214 | 玄高 | 多通道滤波 | 方法型 | 未入登记库 | HTML续提 | 代码结论与外部信息的独立交叉核验 | VC095 / 冻结选区；未设登记版本 | -| 215 | 玄高 | 通用五步衡量法 | 方法型 | 未入登记库 | HTML续提 | 架构与调试中的测量投入选择 | VC098 / 冻结选区；未设登记版本 | -| 216 | 玄高 | 门槛导向抽样 | 准则型 | 未入登记库 | HTML续提 | 开发验证采样与测量停止取舍 | VC100 / 冻结选区；未设登记版本 | -| 217 | 玄高 | 手段—目的分析 | 方法型 | 未入登记库 | Solve已审首24 | 可度量目标差距的长任务子目标选择 | psoa.problem-solving-methodology.means-ends-analysis / 1.0.0 | -| 218 | 玄高 | 构造性见证 | 方法型 | 未入登记库 | Solve已审首24 | 工程可行性与具体交付见证 | psoa.problem-solving-methodology.constructive-witness / 1.0.0 | -| 219 | 玄高 | 元认知监控 | 方法型 | 未入登记库 | Solve已审首24 | 有限预算的多轮求解与停止选择 | psoa.problem-solving-methodology.metacognitive-monitoring / 1.0.0 | -| 220 | 玄高 | 二分调试 | 方法型 | 未入登记库 | Solve已审首24 | 单调、可复现的有序回归区间定位 | psoa.programming.binary-search-debugging / 1.0.0 | -| 221 | 玄高 | 差分测试 | 方法型 | 未入登记库 | Solve已审首24 | 重构与替换的行为保持检查 | psoa.programming.differential-testing / 1.0.0 | -| 222 | 玄高 | 依赖图 | 方法型 | 未入登记库 | Solve已审首24 | 多组件变更的依赖建模与下游可达集分析 | psoa.computer-science.dependency-graph / 1.0.0 | -| 223 | 玄高 | 接口契约 | 方法型 | 未入登记库 | Solve已审首24 | 组件接口合同制定与边界检验 | psoa.computer-science.interface-contract / 1.0.0 | -| 224 | 玄高 | 影响分析 | 方法型 | 未入登记库 | Solve已审首24 | 跨模块变更的影响与验证范围选择 | psoa.software-engineering.impact-analysis / 1.0.0 | -| 225 | 玄高 | 架构权衡 | 方法型 | 未入登记库 | Solve已审首24 | 满足硬约束的多候选架构比较 | psoa.software-engineering.architecture-tradeoff / 1.0.0 | -| 226 | 玄高 | 增量开发 | 方法型 | 未入登记库 | Solve已审首24 | 可切片系统变更的集成风险控制 | psoa.software-engineering.incremental-development / 1.0.0 | -| 227 | 玄高 | 来源批判 | 方法型 | 未入登记库 | Solve已审首24 | 外部资料支持具体工程或评估主张的可信范围审查 | psoa.research.source-criticism / 1.0.0 | -| 228 | 玄高 | 失败预演 | 方法型 | 未入登记库 | Solve已审首24 | 上线与迁移前的失败机制预演及验证规划 | psoa.engineering.failure-premortem / 0.1.0 | -| 229 | 玄中 | 组合描述模型 | 解释型 | 已登记 | 原登记库 | 复杂系统的对象、状态和关系辨析 | gongfa-compositional-description / r1 | -| 230 | 玄中 | 思想实验 | 方法型 | 已登记 | 原登记库 | 高成本试验前的方案边界检查 | gongfa-thought-experiment / r1 | -| 231 | 玄中 | 逆向思维 | 方法型 | 已登记 | 原登记库 | 方案失败条件与禁区识别 | gongfa-reverse-thinking / r1 | -| 232 | 玄中 | 现象学还原（悬置假设） | 方法型 | 已登记 | 原登记库 | 排错与需求中的观察假设分离 | gongfa-phenomenological-reduction / r1 | -| 233 | 玄中 | 正反合（三段迭代） | 方法型 | 已登记 | 原登记库 | 冲突方案的比较和小步综合 | gongfa-dialectical-iteration / r1 | -| 234 | 玄中 | 实用主义（以指标为准） | 方法型 | 已登记 | 原登记库 | 以实际用户指标检验工程方案 | gongfa-pragmatic-optimization / r1 | -| 235 | 玄中 | 诠释学（语境澄清） | 方法型 | 已登记 | 原登记库 | 需求措辞与使用语境澄清 | gongfa-hermeneutic-clarification / r1 | -| 236 | 玄中 | 反思平衡（Reflective equilibrium） | 方法型 | 已登记 | 原登记库 | 规则、案例与判断之间的校准 | gongfa-reflective-equilibrium / r1 | -| 237 | 玄中 | 贝叶斯认识论（Bayesian epistemology） | 方法型 | 已登记 | 原登记库 | 不确定判断的先验与证据更新 | gongfa-bayesian-epistemology / r1 | -| 238 | 玄中 | 有限样本生成推断 | 方法型 | 已登记 | 原登记库 | 少量样本下的多假设生成与判别 | gongfa-finite-sample-generative-inference / r1 | -| 239 | 玄中 | AI-native | 复合（保留上位） | 已登记 | 原登记库 | 人机任务、权限和责任配置 | gongfa-ai-native / r1 | -| 240 | 玄中 | 受约束的状态变换 | 复合（保留上位） | 已登记 | 原登记库 | 跨领域问题的状态与约束求解表达 | gongfa-constrained-state-transformation / r1 | -| 241 | 玄中 | Projection 表示转换 | 方法型 | 已登记 | 原登记库 | 任务相关表示的构造与检验 | gongfa-projection-representation / r1 | -| 242 | 玄中 | 状态分类工具 | 方法型 | 已登记 | 原登记库 | 演化过程的有限状态建模与更新 | gongfa-state-classification / r1 | -| 243 | 玄中 | 自底向上系统构建 | 方法型 | 已登记 | 原登记库 | 已有组件条件下的增量系统构建 | gongfa-bottom-up-system-building / r1 | -| 244 | 玄中 | 控制论与科学方法论（仓内工程解释版） | 复合（保留上位） | 已登记 | 原登记库 | 反馈控制视角的工程目标与迭代设计 | gongfa-cybernetic-feedback-method / r1 | -| 245 | 玄中 | 可推理性优先 | 准则型 | 已登记 | 原登记库 | 代码可理解性与维护取舍 | gongfa-reasonable-code / r1 | -| 246 | 玄中 | 最小惊讶原则 | 准则型 | 已登记 | 原登记库 | 代码与接口的使用预期设计 | gongfa-least-surprise / r1 | -| 247 | 玄中 | 文档记录设计理由 | 准则型 | 已登记 | 原登记库 | 设计决策解释与维护交接 | gongfa-decision-rationale-documentation / r1 | -| 248 | 玄中 | 输入输出与状态变换分离 | 方法型 | 已登记 | 原登记库 | 系统输入、状态、变换与输出的职责划分 | gongfa-input-state-transform-separation / r1 | -| 249 | 玄中 | DRY 逻辑复用准则 | 准则型 | 已登记 | 原登记库 | 重复逻辑与公共表达的取舍 | gongfa-dry-reuse / r1 | -| 250 | 玄中 | 1.1 编程没有银弹 | 复合（保留上位） | 未入登记库 | 此前四HTML | 评审技术万能承诺 | A001 / 冻结选区；未设登记版本 | -| 251 | 玄中 | 1.2 代码即设计文档 | 准则型 | 未入登记库 | 此前四HTML | 代码设计理解与交接 | A002 / 冻结选区；未设登记版本 | -| 252 | 玄中 | 1.3 代码必然被修改 | 准则型 | 未入登记库 | 此前四HTML | 可维护代码设计 | A003 / 冻结选区；未设登记版本 | -| 253 | 玄中 | 2.4 PIE | 准则型 | 未入登记库 | 此前四HTML | 代码意图表达 | A007 / 冻结选区；未设登记版本 | -| 254 | 玄中 | 2.5 SLAP | 准则型 | 未入登记库 | 此前四HTML | 混合抽象层次重构 | A008 / 冻结选区；未设登记版本 | -| 255 | 玄中 | 2.7 名字很重要 | 准则型 | 未入登记库 | 此前四HTML | 名称检索与语义理解 | A010 / 冻结选区；未设登记版本 | -| 256 | 玄中 | 3.1 编程理论 | 复合（保留上位） | 未入登记库 | 此前四HTML | 实现方式取舍 | A011 / 冻结选区；未设登记版本 | -| 257 | 玄中 | 3.2 交流 | 准则型 | 未入登记库 | 此前四HTML | 团队代码阅读 | A012 / 冻结选区；未设登记版本 | -| 258 | 玄中 | 3.4 灵活性 | 准则型 | 未入登记库 | 此前四HTML | 抽象灵活度选择 | A014 / 冻结选区；未设登记版本 | -| 259 | 玄中 | 3.6 重复最少化 | 准则型 | 未入登记库 | 此前四HTML | 重复规则集中维护 | A016 / 冻结选区；未设登记版本 | -| 260 | 玄中 | 3.8 对称性 | 准则型 | 未入登记库 | 此前四HTML | 同类与成对行为一致性 | A018 / 冻结选区；未设登记版本 | -| 261 | 玄中 | 3.9 声明式表 | 准则型 | 未入登记库 | 此前四HTML | 目标与约束表达 | A019 / 冻结选区；未设登记版本 | -| 262 | 玄中 | 3.15 打包 | 准则型 | 未入登记库 | 此前四HTML | 零散内容职责归属 | A025 / 冻结选区；未设登记版本 | -| 263 | 玄中 | 3.28 可复用性 | 准则型 | 未入登记库 | 此前四HTML | 已出现共性的组件复用 | A038 / 冻结选区；未设登记版本 | -| 264 | 玄中 | 3.29 七个设计原理 | 复合（保留上位） | 未入登记库 | 此前四HTML | 设计多视角审查 | A039 / 冻结选区；未设登记版本 | -| 265 | 玄中 | 3.31 同构原理 | 准则型 | 未入登记库 | 此前四HTML | 问题与代码结构对应 | A041 / 冻结选区；未设登记版本 | -| 266 | 玄中 | 3.32 对称原理 | 准则型 | 未入登记库 | 此前四HTML | 成对操作审查 | A042 / 冻结选区；未设登记版本 | -| 267 | 玄中 | 3.34 线性原理 | 准则型 | 未入登记库 | 此前四HTML | 控制流与副作用追踪 | A044 / 冻结选区；未设登记版本 | -| 268 | 玄中 | 3.35 清晰原理 | 准则型 | 未入登记库 | 此前四HTML | 晦涩表达替换 | A045 / 冻结选区；未设登记版本 | -| 269 | 玄中 | 3.39 清晰原则 | 准则型 | 未入登记库 | 此前四HTML | 炫技代码维护 | A049 / 冻结选区；未设登记版本 | -| 270 | 玄中 | 3.43 简约原则 | 准则型 | 未入登记库 | 此前四HTML | 工具规模与复用取舍 | A053 / 冻结选区；未设登记版本 | -| 271 | 玄中 | 3.46 表达性原则 | 准则型 | 未入登记库 | 此前四HTML | 关键知识显式表达 | A056 / 冻结选区；未设登记版本 | -| 272 | 玄中 | 3.47 最小意外原则 | 准则型 | 未入登记库 | 此前四HTML | 公共接口预期一致性 | A057 / 冻结选区；未设登记版本 | -| 273 | 玄中 | 3.53 多样性原则 | 准则型 | 未入登记库 | 此前四HTML | 工具与任务匹配 | A063 / 冻结选区；未设登记版本 | -| 274 | 玄中 | 3.57 工作唯一 | 准则型 | 未入登记库 | 此前四HTML | 工具职责集中 | A067 / 冻结选区；未设登记版本 | -| 275 | 玄中 | 3.59 可移植性优先于效率 | 准则型 | 未入登记库 | 此前四HTML | 平台绑定与迁移取舍 | A069 / 冻结选区；未设登记版本 | -| 276 | 玄中 | 3.60 文本数据 | 准则型 | 未入登记库 | 此前四HTML | 跨工具数据表示 | A070 / 冻结选区；未设登记版本 | -| 277 | 玄中 | 3.62 活用shell脚本 | 方法型 | 未入登记库 | 此前四HTML | 固定命令流程脚本化 | A072 / 冻结选区；未设登记版本 | -| 278 | 玄中 | 4.5 代码中的“坏味” | 方法型 | 未入登记库 | 此前四HTML | 坏味驱动的小步调查 | A079 / 冻结选区；未设登记版本 | -| 279 | 玄中 | 5.4 无我编程 | 准则型 | 未入登记库 | 此前四HTML | 代码评审反馈质量 | A084 / 冻结选区；未设登记版本 | -| 280 | 玄中 | 6.4 内部测试 | 方法型 | 未入登记库 | 此前四HTML | 开发团队真实产品使用 | A090 / 冻结选区；未设登记版本 | -| 281 | 玄中 | 6.5 橡皮鸭调试法 | 方法型 | 未入登记库 | 此前四HTML | 调试隐含假设显性化 | A091 / 冻结选区；未设登记版本 | -| 282 | 玄中 | 7.2 康威定律 | 复合（保留上位） | 未入登记库 | 此前四HTML | 团队沟通与模块边界检查 | A094 / 冻结选区；未设登记版本 | -| 283 | 玄中 | 7.6 约书亚树原则 | 复合（保留上位） | 未入登记库 | 此前四HTML | 团队共同词汇形成 | A098 / 冻结选区；未设登记版本 | -| 284 | 玄中 | 理解驱动能力 | 准则型 | 未入登记库 | 此前四HTML | 学习理解与应用检验 | B002 / 冻结选区；未设登记版本 | -| 285 | 玄中 | 复杂性症状清单 | 方法型 | 未入登记库 | 此前四HTML | 复杂代码治理入口 | B004 / 冻结选区；未设登记版本 | -| 286 | 玄中 | Bug 双重定义 | 解释型 | 未入登记库 | 此前四HTML | 缺陷与用户预期分类 | B010 / 冻结选区；未设登记版本 | -| 287 | 玄中 | SAR / ISAR | 方法型 | 未入登记库 | 此前四HTML | 软件结构与信息流表示 | B017 / 冻结选区；未设登记版本 | -| 288 | 玄中 | 持续改善 | 准则型 | 未入登记库 | 此前四HTML | 长期产品改善节奏 | B024 / 冻结选区；未设登记版本 | -| 289 | 玄中 | 改善优先级两阶段 | 方法型 | 未入登记库 | 此前四HTML | 成熟产品改善优先级 | B025 / 冻结选区；未设登记版本 | -| 290 | 玄中 | 学习—实践闭环 | 方法型 | 未入登记库 | 此前四HTML | 程序员知识边界与实践学习 | B027 / 冻结选区；未设登记版本 | -| 291 | 玄中 | 用户问题 / 开发者方案 | 准则型 | 未入登记库 | 此前四HTML | 用户问题与方案协作 | B028 / 冻结选区；未设登记版本 | -| 292 | 玄中 | 用户—程序—计算机中介模型 | 解释型 | 未入登记库 | 此前四HTML | 业务软件中介关系理解 | C005 / 冻结选区；未设登记版本 | -| 293 | 玄中 | 团队规模—协调成本悖论 | 解释型 | 未入登记库 | 此前四HTML | 增员与协调成本估算 | C006 / 冻结选区；未设登记版本 | -| 294 | 玄中 | 最小惊讶原则 | 准则型 | 未入登记库 | 此前四HTML | 用户可见行为预期 | C007 / 冻结选区；未设登记版本 | -| 295 | 玄中 | 程序单一整体 | 准则型 | 未入登记库 | 此前四HTML | 程序整体逻辑与多余结构 | C008 / 冻结选区；未设登记版本 | -| 296 | 玄中 | 维护即长期滋养 | 准则型 | 未入登记库 | 此前四HTML | 遗留程序理解与维护 | C010 / 冻结选区；未设登记版本 | -| 297 | 玄中 | 系统三元组：硬件、软件与人 | 解释型 | 未入登记库 | 此前四HTML | 系统失效中人员因素检查 | C016 / 冻结选区；未设登记版本 | -| 298 | 玄中 | 性能价值链 | 解释型 | 未入登记库 | 此前四HTML | 性能业务价值与成本关联 | D002 / 冻结选区；未设登记版本 | -| 299 | 玄中 | 性能影响层级链 | 解释型 | 未入登记库 | 此前四HTML | 性能影响向上下游传播分析 | D004 / 冻结选区；未设登记版本 | -| 300 | 玄中 | 排队系统模型 | 解释型 | 未入登记库 | 此前四HTML | 接近饱和的排队风险解释 | D012 / 冻结选区；未设登记版本 | -| 301 | 玄中 | 性能数据展示六条经验 | 准则型 | 未入登记库 | 此前四HTML | 面向受众的性能展示 | D015 / 冻结选区；未设登记版本 | -| 302 | 玄中 | 图表选择矩阵 | 方法型 | 未入登记库 | 此前四HTML | 趋势与分布图形选择 | D016 / 冻结选区；未设登记版本 | -| 303 | 玄中 | 十类性能测试谱系 | 解释型 | 未入登记库 | 此前四HTML | 性能测试目标分类 | D019 / 冻结选区；未设登记版本 | -| 304 | 玄中 | NUMA亲和策略 | 方法型 | 未入登记库 | 此前四HTML | NUMA位置与分配优化 | D028 / 冻结选区；未设登记版本 | -| 305 | 玄中 | SSD内部页块模型 | 解释型 | 未入登记库 | 此前四HTML | SSD写放大机制理解 | D030 / 冻结选区；未设登记版本 | -| 306 | 玄中 | 两步时间序列预测 | 方法型 | 未入登记库 | 此前四HTML | 有季节结构的流量预测 | D042 / 冻结选区；未设登记版本 | -| 307 | 玄中 | 三元素干扰治理 | 准则型 | 未入登记库 | 此前四HTML | 已核版本平台的Java干扰调整 | D045 / 冻结选区；未设登记版本 | -| 308 | 玄中 | HTTP传输状态机 | 解释型 | 未入登记库 | 此前四HTML | HTTP成功异常阶段定位 | D047 / 冻结选区；未设登记版本 | -| 309 | 玄中 | 数据中心选址因子 | 准则型 | 未入登记库 | 此前四HTML | 数据中心选址可行性检查 | D051 / 冻结选区；未设登记版本 | -| 310 | 玄中 | 模块化Pod网络 | 方法型 | 未入登记库 | 此前四HTML | 标准单元式网络扩容 | D053 / 冻结选区；未设登记版本 | -| 311 | 玄中 | 服务效率八分类 | 解释型 | 未入登记库 | 此前四HTML | 服务效率改善机会盘点 | D056 / 冻结选区；未设登记版本 | -| 312 | 玄中 | 效率提升五条执行原则 | 准则型 | 未入登记库 | 此前四HTML | 跨团队效率项目执行 | D057 / 冻结选区；未设登记版本 | -| 313 | 玄中 | 持续学习循环 | 方法型 | 未入登记库 | 此前四HTML | 持续专业与协作学习 | D062 / 冻结选区；未设登记版本 | -| 314 | 玄中 | 有效沟通四准则 | 准则型 | 未入登记库 | 此前四HTML | 工程协作信息一致性 | E004 / 冻结选区；未设登记版本 | -| 315 | 玄中 | 复杂性症状—根因模型 | 解释型 | 未入登记库 | HTML续提 | AI代码设计复杂性诊断 | VC001 / 冻结选区；未设登记版本 | -| 316 | 玄中 | 战略式编程 | 准则型 | 未入登记库 | HTML续提 | 迭代功能的长期结构取舍 | VC002 / 冻结选区；未设登记版本 | -| 317 | 玄中 | 先写注释 | 方法型 | 未入登记库 | HTML续提 | 公共接口设计说明检验 | VC010 / 冻结选区；未设登记版本 | -| 318 | 玄中 | 抽象增量 | 准则型 | 未入登记库 | HTML续提 | 迭代中的抽象时机 | VC011 / 冻结选区；未设登记版本 | -| 319 | 玄中 | 价值优先推进 | 准则型 | 未入登记库 | HTML续提 | AI开发能力试点选择 | VC013 / 冻结选区；未设登记版本 | -| 320 | 玄中 | 第三方模型六维选择 | 准则型 | 未入登记库 | HTML续提 | 开发助手模型选型 | VC014 / 冻结选区；未设登记版本 | -| 321 | 玄中 | 第三方 API 十二维选择 | 准则型 | 未入登记库 | HTML续提 | AI API供应方选择 | VC015 / 冻结选区；未设登记版本 | -| 322 | 玄中 | 代码 RAG | 方法型 | 未入登记库 | HTML续提 | 已有仓库示例增强代码生成 | VC019 / 冻结选区；未设登记版本 | -| 323 | 玄中 | INVEST 需求评审 | 准则型 | 未入登记库 | HTML续提 | 用户故事可交付性评审 | VC022 / 冻结选区；未设登记版本 | -| 324 | 玄中 | 巴士系数 (Bus Factor) | 解释型 | 未入登记库 | HTML续提 | 关键维护与恢复知识连续性 | VC031 / 冻结选区；未设登记版本 | -| 325 | 玄中 | 古德哈特定律 (Goodhart's Law) | 解释型 | 未入登记库 | HTML续提 | 开发效率指标与真实交付偏差识别 | VC032 / 冻结选区；未设登记版本 | -| 326 | 玄中 | 测试金字塔 (Testing Pyramid) | 准则型 | 未入登记库 | HTML续提 | AI代码测试层级取舍 | VC033 / 冻结选区；未设登记版本 | -| 327 | 玄中 | 技术选型多维决策框架 | 准则型 | 未入登记库 | HTML续提 | 数据技术栈与替换决策 | VC036 / 冻结选区；未设登记版本 | -| 328 | 玄中 | 流式窗口与水位线 | 解释型 | 未入登记库 | HTML续提 | 实时聚合的窗口与迟到语义理解 | VC041 / 冻结选区；未设登记版本 | -| 329 | 玄中 | 服务阶段信任模型 | 准则型 | 未入登记库 | HTML续提 | 数据服务持续验收与信任维护 | VC042 / 冻结选区；未设登记版本 | -| 330 | 玄中 | 序列化格式选择框架 | 准则型 | 未入登记库 | HTML续提 | 数据文件与交换格式选型 | VC044 / 冻结选区；未设登记版本 | -| 331 | 玄中 | 人月不可互换与Brooks法则 | 解释型 | 未入登记库 | HTML续提 | AI辅助项目的人力与日历估算 | VC045 / 冻结选区；未设登记版本 | -| 332 | 玄中 | 基于同类项目数据的系统估算 | 准则型 | 未入登记库 | HTML续提 | 软件交付工期及人员估算 | VC049 / 冻结选区；未设登记版本 | -| 333 | 玄中 | 可持续工作周 | 准则型 | 未入登记库 | HTML续提 | 可持续开发容量安排 | VC053 / 冻结选区；未设登记版本 | -| 334 | 玄中 | 异步优先的打断判断 | 准则型 | 未入登记库 | HTML续提 | 开发沟通是否值得即时打断的取舍 | VC055 / 冻结选区；未设登记版本 | -| 335 | 玄中 | 工具调用四步循环 | 方法型 | 未入登记库 | HTML续提 | 模型与工具框架的调用协议 | VC059 / 冻结选区；未设登记版本 | -| 336 | 玄中 | Skill 路由与执行分离 | 方法型 | 未入登记库 | HTML续提 | 特定Harness的路由与加载实现 | VC066 / 冻结选区；未设登记版本 | -| 337 | 玄中 | 隔离优于压缩 | 方法型 | 未入登记库 | HTML续提 | 高噪声子任务的上下文隔离 | VC071 / 冻结选区；未设登记版本 | -| 338 | 玄中 | 记忆三层评估 | 方法型 | 未入登记库 | HTML续提 | 开发助手长期记忆的任务评估 | VC072 / 冻结选区；未设登记版本 | -| 339 | 玄中 | 沙盒隔离层级 | 解释型 | 未入登记库 | HTML续提 | 不可信代码执行的隔离方案初筛 | VC076 / 冻结选区；未设登记版本 | -| 340 | 玄中 | LLM-as-a-Judge + Rubric | 方法型 | 未入登记库 | HTML续提 | 不可精确自动判分的答案评审 | VC080 / 冻结选区；未设登记版本 | -| 341 | 玄中 | 用户域—模型域双向转换 | 方法型 | 未入登记库 | HTML续提 | 业务任务与模型文档的适配 | VC082 / 冻结选区；未设登记版本 | -| 342 | 玄中 | 上下文来源矩阵 | 解释型 | 未入登记库 | HTML续提 | 开发提示动态上下文来源识别 | VC085 / 冻结选区；未设登记版本 | -| 343 | 玄中 | 契诃夫的枪支谬误 | 解释型 | 未入登记库 | HTML续提 | 无关仓库上下文导致的误关联风险 | VC086 / 冻结选区；未设登记版本 | -| 344 | 玄中 | 加法—减法贪心算法 | 方法型 | 未入登记库 | HTML续提 | 提示元素的有界启发式选择 | VC088 / 冻结选区；未设登记版本 | -| 345 | 玄中 | 系统边界设定原则 | 准则型 | 未入登记库 | HTML续提 | AI排错与设计分析范围取舍 | VC092 / 冻结选区；未设登记版本 | -| 346 | 玄中 | 因果回路图 | 解释型 | 未入登记库 | HTML续提 | 复杂系统反馈结构表达 | VC093 / 冻结选区；未设登记版本 | -| 347 | 玄中 | 校准估计 | 方法型 | 未入登记库 | HTML续提 | 开发风险与工期主观估计校准 | VC099 / 冻结选区；未设登记版本 | -| 348 | 玄中 | 选择性启发式搜索 | 方法型 | 未入登记库 | Solve已审首24 | 大候选空间中的有界搜索排序 | psoa.problem-solving-methodology.heuristic-search / 1.0.0 | -| 349 | 玄中 | 信息价值 | 方法型 | 未入登记库 | Solve已审首24 | 有限检索与实验预算的信息选择 | psoa.decision-science.value-of-information / 1.0.0 | -| 350 | 玄初 | "钢人化"原则（最强版本理解） | 方法型 | 已登记 | 原登记库 | 对立方案的准确理解与比较 | gongfa-steelmanning / r1 | -| 351 | 玄初 | 方法论怀疑（笛卡尔式） | 方法型 | 已登记 | 原登记库 | 高风险前提的证据审查 | gongfa-methodological-doubt / r1 | -| 352 | 玄初 | 递归式 AI 治理 | 复合（保留上位） | 已登记 | 原登记库 | 多层代理的生成、审查和授权治理 | gongfa-recursive-ai-governance / r1 | -| 353 | 玄初 | 吸引子 | 复合（保留上位） | 已登记 | 原登记库 | 持续代码演化的目标与约束设计 | gongfa-attractor-model / r1 | -| 354 | 玄初 | 拍扁 | 解释型 | 已登记 | 原登记库 | 机器可计算表示的信息损失分析 | gongfa-representation-flattening / r1 | -| 355 | 玄初 | 5.1 程序员的三大美德 | 准则型 | 未入登记库 | 此前四HTML | 程序员重复劳动与质量习惯 | A081 / 冻结选区；未设登记版本 | -| 356 | 玄初 | 5.2 童子军规则 | 准则型 | 未入登记库 | 此前四HTML | 任务范围内的小步清理 | A082 / 冻结选区；未设登记版本 | -| 357 | 玄初 | 5.6 TMTOWTDI | 准则型 | 未入登记库 | 此前四HTML | 多用户表达路径设计 | A086 / 冻结选区；未设登记版本 | -| 358 | 玄初 | 7.3 破窗效应 | 复合（保留上位） | 未入登记库 | 此前四HTML | 失修代码信号与管理 | A095 / 冻结选区；未设登记版本 | -| 359 | 玄初 | 7.4 熵增原理 | 复合（保留上位） | 未入登记库 | 此前四HTML | 代码劣化持续维护 | A096 / 冻结选区；未设登记版本 | -| 360 | 玄初 | 未来预测准确度模型 | 解释型 | 未入登记库 | 此前四HTML | 远期架构假设审查 | B006 / 冻结选区；未设登记版本 | -| 361 | 玄初 | 两遍已太多 | 准则型 | 未入登记库 | 此前四HTML | 已知重复概念的共享抽取 | B008 / 冻结选区；未设登记版本 | -| 362 | 玄初 | 复杂代码六步治理 | 方法型 | 未入登记库 | 此前四HTML | 复杂代码组织治理 | B014 / 冻结选区；未设登记版本 | -| 363 | 玄初 | 软件即知识 | 解释型 | 未入登记库 | 此前四HTML | 代码可理解性价值说明 | B018 / 冻结选区；未设登记版本 | -| 364 | 玄初 | 编程之道的整体和谐观 | 解释型 | 未入登记库 | 此前四HTML | 局部问题的系统层级提醒 | C001 / 冻结选区；未设登记版本 | -| 365 | 玄初 | 语言谱系与多样目的 | 准则型 | 未入登记库 | 此前四HTML | 语言与工具的目的匹配 | C002 / 冻结选区；未设登记版本 | -| 366 | 玄初 | 设计先于测试 | 准则型 | 未入登记库 | 此前四HTML | 关键结构的早期验证 | C004 / 冻结选区；未设登记版本 | -| 367 | 玄初 | 真实时间表 | 准则型 | 未入登记库 | 此前四HTML | 项目真实进度观察 | C013 / 冻结选区；未设登记版本 | -| 368 | 玄初 | 倒置树式领导 | 准则型 | 未入登记库 | 此前四HTML | 支撑式领导角色讨论 | C015 / 冻结选区；未设登记版本 | -| 369 | 玄初 | 技术介入的组织成熟度 | 解释型 | 未入登记库 | 此前四HTML | 协作技术引入判断 | C018 / 冻结选区；未设登记版本 | -| 370 | 玄初 | 蜘蛛网系统观 | 解释型 | 未入登记库 | 此前四HTML | 互联系统干预的风险提醒 | C020 / 冻结选区；未设登记版本 | -| 371 | 玄初 | 退避式重试 | 方法型 | 未入登记库 | 此前四HTML | 过载重试频率控制 | D005 / 冻结选区；未设登记版本 | -| 372 | 玄初 | CDN边缘缓存流程 | 解释型 | 未入登记库 | 此前四HTML | CDN回源与缓存关系理解 | D032 / 冻结选区；未设登记版本 | -| 373 | 玄初 | 硬件趋势到软件策略 | 准则型 | 未入登记库 | 此前四HTML | 硬件趋势引导的软件规划 | D050 / 冻结选区；未设登记版本 | -| 374 | 玄初 | 服务器生命周期 | 解释型 | 未入登记库 | 此前四HTML | 服务器容量生命周期理解 | D052 / 冻结选区；未设登记版本 | -| 375 | 玄初 | 渐进配额告警与任务升级 | 方法型 | 未入登记库 | 此前四HTML | 单组织配额告警与升级 | E002 / 冻结选区；未设登记版本 | -| 376 | 玄初 | 海勒姆定律 (Hyrum's Law) | 解释型 | 未入登记库 | HTML续提 | 公共API消费者兼容风险识别 | VC027 / 冻结选区；未设登记版本 | -| 377 | 玄初 | 抽象泄漏定律 (The Law of Leaky Abstractions) | 解释型 | 未入登记库 | HTML续提 | 跨层失败排障的抽象边界识别 | VC028 / 冻结选区；未设登记版本 | -| 378 | 玄初 | 杀虫剂悖论 (Pesticide Paradox) | 解释型 | 未入登记库 | HTML续提 | 测试覆盖陈旧性的风险提示 | VC034 / 冻结选区；未设登记版本 | -| 379 | 玄初 | E参数 | 解释型 | 未入登记库 | HTML续提 | 工作窗口与连续专注容量识别 | VC054 / 冻结选区；未设登记版本 | -| 380 | 玄初 | 会议结束条件测试 | 准则型 | 未入登记库 | HTML续提 | 需求评审与协作会议完成条件 | VC057 / 冻结选区；未设登记版本 | -| 381 | 玄初 | 时间感三轴 | 解释型 | 未入登记库 | HTML续提 | 长工具调用的时间风险识别 | VC069 / 冻结选区；未设登记版本 | -| 382 | 玄初 | 提示工程复杂度阶梯 | 解释型 | 未入登记库 | HTML续提 | LLM编排复杂度的架构识别 | VC081 / 冻结选区；未设登记版本 | -| 383 | 玄初 | 小红帽原则 | 准则型 | 未入登记库 | HTML续提 | 提示整体文档模式选择 | VC083 / 冻结选区；未设登记版本 | -| 384 | 玄初 | 位置—重要性—依赖三维关系 | 解释型 | 未入登记库 | HTML续提 | 提示元素组合的相互影响识别 | VC087 / 冻结选区；未设登记版本 | -| 385 | 玄初 | 行为模式图 | 方法型 | 未入登记库 | HTML续提 | 开发流程与故障变化模式观察 | VC091 / 冻结选区；未设登记版本 | -| 386 | 玄初 | 反馈速度条件 | 准则型 | 未入登记库 | HTML续提 | 快速变化对象的证据新鲜度检查 | VC096 / 冻结选区；未设登记版本 | -| 387 | 玄初 | 反馈过度 | 解释型 | 未入登记库 | HTML续提 | 反复大幅修改方案的振荡风险识别 | VC097 / 冻结选区；未设登记版本 | -| 388 | 黄高 | 网络效应 | 解释型 | 已登记 | 原登记库 | 产品或工具生态的网络效应识别 | gongfa-network-effects / r1 | -| 389 | 黄高 | 自然化认识论（Naturalized epistemology） | 方法型 | 已登记 | 原登记库 | 认知判断与实际行为证据的对照 | gongfa-naturalized-epistemology / r1 | -| 390 | 黄高 | 合成模型 | 解释型 | 已登记 | 原登记库 | 复杂系统的层级组合与涌现解释 | gongfa-compositional-model / r1 | -| 391 | 黄高 | 预测加工与模型更新 | 解释型 | 已登记 | 原登记库 | 认知模型与证据生成机制的解释 | gongfa-predictive-processing-update / r1 | -| 392 | 黄高 | 变量名索引维护 | 方法型 | 已登记 | 原登记库 | 团队与 AI 的变量命名登记和检索 | gongfa-symbol-name-index-maintenance / r1 | -| 393 | 黄高 | 3.48 沉默原则 | 准则型 | 未入登记库 | 此前四HTML | 命令成功输出控制 | A058 / 冻结选区；未设登记版本 | -| 394 | 黄高 | 3.56 小就是美 | 准则型 | 未入登记库 | 此前四HTML | 过大工具规模初筛 | A066 / 冻结选区；未设登记版本 | -| 395 | 黄高 | 开源社区三问题 | 准则型 | 未入登记库 | 此前四HTML | 开源贡献流程规划 | B016 / 冻结选区；未设登记版本 | -| 396 | 黄高 | 空间—时间双重约束 | 解释型 | 未入登记库 | 此前四HTML | 时间与空间资源权衡入门 | C003 / 冻结选区；未设登记版本 | -| 397 | 黄高 | 自主性—效率关系 | 复合（保留上位） | 未入登记库 | 此前四HTML | 有明确交付的团队自主性 | C012 / 冻结选区；未设登记版本 | -| 398 | 黄高 | 观念桥梁 | 准则型 | 未入登记库 | 此前四HTML | 高阻力变革沟通提醒 | C019 / 冻结选区；未设登记版本 | -| 399 | 黄高 | 领导退出准则 | 准则型 | 未入登记库 | 此前四HTML | 组织继任与持续指引讨论 | C021 / 冻结选区；未设登记版本 | -| 400 | 黄高 | 性能数字锚点 | 准则型 | 未入登记库 | 此前四HTML | 历史性能量级初筛 | D017 / 冻结选区；未设登记版本 | -| 401 | 黄高 | 容量二分搜索 | 方法型 | 未入登记库 | 此前四HTML | SLA容量搜索方向提示 | D043 / 冻结选区；未设登记版本 | -| 402 | 黄高 | TCP队列三分诊断 | 方法型 | 未入登记库 | 此前四HTML | TCP两端队列候选根因初筛 | D046 / 冻结选区；未设登记版本 | -| 403 | 黄高 | Logprobs 置信诊断 | 方法型 | 未入登记库 | HTML续提 | 词元选择相对概率诊断 | VC089 / 冻结选区；未设登记版本 | -| 404 | 黄中 | 符号序列空间与有效知识子集 | 复合（保留上位） | 已登记 | 原登记库 | 候选知识生成与有效性筛选设计 | gongfa-symbolic-space-validated-knowledge / r1 | -| 405 | 黄中 | 递归生成器自优化（仓内形式模型） | 复合（保留上位） | 已登记 | 原登记库 | 生成器自修改机制的建模与试验设计 | gongfa-recursive-generator-optimization / r1 | -| 406 | 黄中 | 正确方式工程观 | 准则型 | 未入登记库 | 此前四HTML | 困难技术问题的探索动机 | B001 / 冻结选区；未设登记版本 | -| 407 | 黄中 | 技术使命筛选器 | 复合（保留上位） | 未入登记库 | 此前四HTML | 技术创意边界初筛 | B019 / 冻结选区；未设登记版本 | -| 408 | 黄初 | 项目失败三条件 | 解释型 | 未入登记库 | 此前四HTML | 组织风险的寓言性假设提出 | C014 / 冻结选区；未设登记版本 | -| 409 | 暂不可判 | 灾备容量负载放大模型 | 解释型 | 未入登记库 | 此前四HTML | 灾备损失后的剩余相对负载计算 | E001 / 冻结选区；未设登记版本 | -| 410 | 暂不可判 | CAP 定理 (CAP Theorem) | 解释型 | 未入登记库 | HTML续提 | 分布式一致性与可用性取舍 | VC029 / 冻结选区；未设登记版本 | +| 品级 | 功法名称 | +|---|---| +| 天高 | 拼好码 | +| 地高 | 第一性原理 | +| 地高 | 形式化方法（轻量形式化） | +| 地高 | 方法论工具箱总体作业流 | +| 地中 | 胶水原则 | +| 地中 | 反事实推理（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 重新发明车轮 | +| 地初 | 健壮设计流程 | +| 地初 | 根因与不复发 | +| 地初 | 测试即获取有效知识 | +| 地初 | 阿姆达尔定律 | +| 地初 | 利特尔法则 | +| 地初 | 数据分析陷阱清单 | +| 地初 | 九条性能测试经验 | +| 地初 | 持续性能工程集成模型 | +| 地初 | 瓶颈分层分析 | +| 地初 | 网络分层诊断 | +| 地初 | 性能优化六原则 | +| 地初 | 性能优化十大策略 | +| 地初 | 跨层STW根因链 | +| 地初 | 容量规划闭环 | +| 地初 | 信息隐藏 | +| 地初 | 提示注入分层防御 | +| 地初 | 状态栏代码维护原则 | +| 地初 | 评估集六原则 | +| 地初 | 最小复现 | +| 地初 | 性质测试 | +| 地初 | 模糊测试 | +| 地初 | 不变量检查 | +| 地初 | 风险驱动测试 | +| 地初 | 事故复盘 | +| 地初 | 预注册 | +| 地初 | 重复研究 | +| 地初 | 代理指标—真实目标对齐审计 | +| 地初 | 后悔与鲁棒决策 | +| 玄高 | 多阶思维 | +| 玄高 | 奥卡姆剃刀（工具箱操作版） | +| 玄高 | 决策论/机会成本（可逆优先） | +| 玄高 | 贝叶斯式信念更新（与溯因配合） | +| 玄高 | 概念分析 / 概念工程 | +| 玄高 | 视角三角测量（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 承诺与兼容性 | +| 玄高 | 严格性—简约—可用性取舍 | +| 玄高 | 调试四步法 | +| 玄高 | 产出物效率模型 | +| 玄高 | 特性服务型重构 | +| 玄高 | 隐私帮助—伤害权衡 | +| 玄高 | 简约安全模型 | +| 玄高 | ODA 观察循环 | +| 玄高 | 设计拒绝门 | +| 玄高 | 杰出软件三条件 | +| 玄高 | 规则情境化 | +| 玄高 | 抽象模型不完备 | +| 玄高 | 多快好省四维性能观 | +| 玄高 | 帕累托法则 | +| 玄高 | 性能统计工具箱 | +| 玄高 | 性能数据分析五类目标 | +| 玄高 | 性能测试六维分类 | +| 玄高 | 性能测试工具五模块 | +| 玄高 | 外部性能三指标 | +| 玄高 | CPU资源诊断模型 | +| 玄高 | 内存层级与局部性模型 | +| 玄高 | 存储三指标 | +| 玄高 | LLC未命中优化三策 | +| 玄高 | iTLB优化流水线 | +| 玄高 | SSD写放大与Trim调优 | +| 玄高 | RedLiner生产容量测试 | +| 玄高 | 五条线上容量测试原则 | +| 玄高 | 数据库复制三变量模型 | +| 玄高 | Java多任务干扰三层机制 | +| 玄高 | SSD友好七原则 | +| 玄高 | 服务器五阶段验证路线 | +| 玄高 | 容量规划六挑战 | +| 玄高 | 需求控制五模块 | +| 玄高 | 指标—成本映射可见性与更新 | +| 玄高 | 深模块 | +| 玄高 | 适度通用的模块 | +| 玄高 | 下沉复杂性 | +| 玄高 | 基于复杂性的拆分/组合 | +| 玄高 | 通过定义来规避错误 | +| 玄高 | 设计两次 | +| 玄高 | 重要性最小化与强调 | +| 玄高 | 大模型安全十九项控制 | +| 玄高 | 提示工程实践清单 | +| 玄高 | 语义完整切块 | +| 玄高 | 智能体权限边界 | +| 玄高 | 用户故事 + GWT | +| 玄高 | 组件库约束生成 | +| 玄高 | 大模型时代的 UTDD | +| 玄高 | 大模型时代的 ATDD | +| 玄高 | 运维自愈边界 | +| 玄高 | 生命周期阶段评估问题集 | +| 玄高 | 源系统评估框架 | +| 玄高 | 事件与时间语义 | +| 玄高 | 流式摄取可靠性框架 | +| 玄高 | 查询生命周期与优化闭环 | +| 玄高 | 语义层与指标层 | +| 玄高 | 概念完整性 | +| 玄高 | 规格传播与解释闭环 | +| 玄高 | 独立产品测试 | +| 玄高 | 规格外部审查 | +| 玄高 | 具体可度量的里程碑 | +| 玄高 | 计划日期与当前估计分离 | +| 玄高 | 输入—执行—输出三层护栏 | +| 玄高 | Human in the Loop | +| 玄高 | 业务规则可执行化 | +| 玄高 | Skills 三层渐进式披露 | +| 玄高 | Skill 路由条件设计 | +| 玄高 | Context Distillation | +| 玄高 | 五层生产压缩 | +| 玄高 | 记忆整理三层 | +| 玄高 | ACI 防呆设计 | +| 玄高 | 提议者—审核者 | +| 玄高 | 幂等性与预检—确认 | +| 玄高 | 异步任务生命周期 | +| 玄高 | 离线—在线评估双轨 | +| 玄高 | 黄金标准—功能测试—LLM 评估 | +| 玄高 | 多通道滤波 | +| 玄高 | 通用五步衡量法 | +| 玄高 | 门槛导向抽样 | +| 玄高 | 手段—目的分析 | +| 玄高 | 构造性见证 | +| 玄高 | 元认知监控 | +| 玄高 | 二分调试 | +| 玄高 | 差分测试 | +| 玄高 | 依赖图 | +| 玄高 | 接口契约 | +| 玄高 | 影响分析 | +| 玄高 | 架构权衡 | +| 玄高 | 增量开发 | +| 玄高 | 来源批判 | +| 玄高 | 失败预演 | +| 玄中 | 组合描述模型 | +| 玄中 | 思想实验 | +| 玄中 | 逆向思维 | +| 玄中 | 现象学还原（悬置假设） | +| 玄中 | 正反合（三段迭代） | +| 玄中 | 实用主义（以指标为准） | +| 玄中 | 诠释学（语境澄清） | +| 玄中 | 反思平衡（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亲和策略 | +| 玄中 | SSD内部页块模型 | +| 玄中 | 两步时间序列预测 | +| 玄中 | 三元素干扰治理 | +| 玄中 | HTTP传输状态机 | +| 玄中 | 数据中心选址因子 | +| 玄中 | 模块化Pod网络 | +| 玄中 | 服务效率八分类 | +| 玄中 | 效率提升五条执行原则 | +| 玄中 | 持续学习循环 | +| 玄中 | 有效沟通四准则 | +| 玄中 | 复杂性症状—根因模型 | +| 玄中 | 战略式编程 | +| 玄中 | 先写注释 | +| 玄中 | 抽象增量 | +| 玄中 | 价值优先推进 | +| 玄中 | 第三方模型六维选择 | +| 玄中 | 第三方 API 十二维选择 | +| 玄中 | 代码 RAG | +| 玄中 | INVEST 需求评审 | +| 玄中 | 巴士系数 (Bus Factor) | +| 玄中 | 古德哈特定律 (Goodhart's Law) | +| 玄中 | 测试金字塔 (Testing Pyramid) | +| 玄中 | 技术选型多维决策框架 | +| 玄中 | 流式窗口与水位线 | +| 玄中 | 服务阶段信任模型 | +| 玄中 | 序列化格式选择框架 | +| 玄中 | 人月不可互换与Brooks法则 | +| 玄中 | 基于同类项目数据的系统估算 | +| 玄中 | 可持续工作周 | +| 玄中 | 异步优先的打断判断 | +| 玄中 | 工具调用四步循环 | +| 玄中 | Skill 路由与执行分离 | +| 玄中 | 隔离优于压缩 | +| 玄中 | 记忆三层评估 | +| 玄中 | 沙盒隔离层级 | +| 玄中 | LLM-as-a-Judge + Rubric | +| 玄中 | 用户域—模型域双向转换 | +| 玄中 | 上下文来源矩阵 | +| 玄中 | 契诃夫的枪支谬误 | +| 玄中 | 加法—减法贪心算法 | +| 玄中 | 系统边界设定原则 | +| 玄中 | 因果回路图 | +| 玄中 | 校准估计 | +| 玄中 | 选择性启发式搜索 | +| 玄中 | 信息价值 | +| 玄初 | "钢人化"原则（最强版本理解） | +| 玄初 | 方法论怀疑（笛卡尔式） | +| 玄初 | 递归式 AI 治理 | +| 玄初 | 吸引子 | +| 玄初 | 拍扁 | +| 玄初 | 5.1 程序员的三大美德 | +| 玄初 | 5.2 童子军规则 | +| 玄初 | 5.6 TMTOWTDI | +| 玄初 | 7.3 破窗效应 | +| 玄初 | 7.4 熵增原理 | +| 玄初 | 未来预测准确度模型 | +| 玄初 | 两遍已太多 | +| 玄初 | 复杂代码六步治理 | +| 玄初 | 软件即知识 | +| 玄初 | 编程之道的整体和谐观 | +| 玄初 | 语言谱系与多样目的 | +| 玄初 | 设计先于测试 | +| 玄初 | 真实时间表 | +| 玄初 | 倒置树式领导 | +| 玄初 | 技术介入的组织成熟度 | +| 玄初 | 蜘蛛网系统观 | +| 玄初 | 退避式重试 | +| 玄初 | CDN边缘缓存流程 | +| 玄初 | 硬件趋势到软件策略 | +| 玄初 | 服务器生命周期 | +| 玄初 | 渐进配额告警与任务升级 | +| 玄初 | 海勒姆定律 (Hyrum's Law) | +| 玄初 | 抽象泄漏定律 (The Law of Leaky Abstractions) | +| 玄初 | 杀虫剂悖论 (Pesticide Paradox) | +| 玄初 | E参数 | +| 玄初 | 会议结束条件测试 | +| 玄初 | 时间感三轴 | +| 玄初 | 提示工程复杂度阶梯 | +| 玄初 | 小红帽原则 | +| 玄初 | 位置—重要性—依赖三维关系 | +| 玄初 | 行为模式图 | +| 玄初 | 反馈速度条件 | +| 玄初 | 反馈过度 | +| 黄高 | 网络效应 | +| 黄高 | 自然化认识论（Naturalized epistemology） | +| 黄高 | 合成模型 | +| 黄高 | 预测加工与模型更新 | +| 黄高 | 变量名索引维护 | +| 黄高 | 3.48 沉默原则 | +| 黄高 | 3.56 小就是美 | +| 黄高 | 开源社区三问题 | +| 黄高 | 空间—时间双重约束 | +| 黄高 | 自主性—效率关系 | +| 黄高 | 观念桥梁 | +| 黄高 | 领导退出准则 | +| 黄高 | 性能数字锚点 | +| 黄高 | 容量二分搜索 | +| 黄高 | TCP队列三分诊断 | +| 黄高 | Logprobs 置信诊断 | +| 黄中 | 符号序列空间与有效知识子集 | +| 黄中 | 递归生成器自优化（仓内形式模型） | +| 黄中 | 正确方式工程观 | +| 黄中 | 技术使命筛选器 | +| 黄初 | 项目失败三条件 | +| 暂不可判 | 灾备容量负载放大模型 | +| 暂不可判 | CAP 定理 (CAP Theorem) | ## 更新与核对 diff --git a/metadata/gongfa/catalog.xlsx b/metadata/gongfa/catalog.xlsx index 8fb5aab7..f2cf74d3 100644 Binary files a/metadata/gongfa/catalog.xlsx and b/metadata/gongfa/catalog.xlsx differ diff --git a/scripts/AGENTS.md b/scripts/AGENTS.md index 04a555fa..4655f26a 100644 --- a/scripts/AGENTS.md +++ b/scripts/AGENTS.md @@ -25,7 +25,7 @@ ## 功法总表维护 -- `sync-gongfa-catalog.py`复用登记校验器与openpyxl，消费当前登记和仓内候选来源快照，不依赖`/tmp`或个人目录。 +- `sync-gongfa-catalog.py`复用登记校验器与openpyxl，消费当前登记和仓内候选来源快照，不依赖`/tmp`或个人目录；`catalog.md`只列品级和名称，`catalog.xlsx`保留完整字段。 - 默认/`--check`只读；`--write`只维护`metadata/gongfa/catalog.md`与`catalog.xlsx`，不改主登记、来源快照或初评。 - 先完整校验文字上限、目标归属与摘要，再单文件原子替换；输出软链接、越界路径、非本工具文件或并行修改均拒绝覆盖。 - 内容新版本不继承旧初评；纠正链按显式`supersedes`，不同活动情境保留原意见集合，不按时间或最高等级选一条。 @@ -34,7 +34,7 @@ ## 法器总分类维护 -- `sync-faqi-catalog.py`复用jsonschema/PyYAML/tabulate，读取总分类JSON、固定来源与外部资源YAML，校验依赖图SHA及对象映射，只维护`tools/faqi-catalog.md`；生成仅含“品级、名称、解释”三列的单表并转义单元格，不联网、执行工具或写回被审源码。 +- `sync-faqi-catalog.py`复用jsonschema/PyYAML/tabulate，读取总分类JSON、固定来源与外部资源YAML，校验依赖图SHA及对象映射，只维护`tools/faqi-catalog.md`；生成仅含“品级、名称”两列的浏览表并转义单元格，不联网、执行工具或写回被审源码。 - 字段、来源用途、入口/身份与输出边界变化先补真实行为测试；源审、运行实例观测与效果评级分开。未校准时不得写正式等级；仅在审计记录的显式用户授权下，`provisional_grade_assignments`可写可撤销暂定分组，并须声明不代表效能验证。 - 用户范围排除保留独立证据与重审条件，不进入`objects`；同一入口可对应多条以名称区分的排除记录，各自绑定唯一`exclusion_evidence`来源；空入口不能清空排除后静默复入。 - 固定Git/submodule修订、完整字节SHA与一基半开选区；来源/输入/输出软链接、未知字段、漏/重资源、越界/超限与并行漂移非零失败。 diff --git a/scripts/sync-faqi-catalog.py b/scripts/sync-faqi-catalog.py index 7e2f82b6..50b75004 100644 --- a/scripts/sync-faqi-catalog.py +++ b/scripts/sync-faqi-catalog.py @@ -334,16 +334,16 @@ def render(data, objects): **{item["id"]: item["node"] for item in graph["dependency_categories"]}, } rows = [ - [GRADE_LABELS[item["grade_id"]], names[item["subject_id"]], item["basis"]] + [GRADE_LABELS[item["grade_id"]], names[item["subject_id"]]] for item in sorted(assignments, key=lambda item: (grade_order[item["grade_id"]], item["subject_id"])) ] out = [ MARKER, "# Vibe Coding法器重要性总表", "", - "品级仅表示 Vibe Coding 重要性暂定，不代表效能验证；完整登记见[metadata/faqi.json](../metadata/faqi.json)。", + "品级仅表示 Vibe Coding 重要性暂定，不代表效能验证；本页仅供浏览，完整登记见[metadata/faqi.json](../metadata/faqi.json)。", "", - table(rows, ["品级", "名称", "解释"]), + table(rows, ["品级", "名称"]), ] return "\n".join(out).encode("utf-8") diff --git a/scripts/sync-gongfa-catalog.py b/scripts/sync-gongfa-catalog.py index 36a9182e..358f3edf 100644 --- a/scripts/sync-gongfa-catalog.py +++ b/scripts/sync-gongfa-catalog.py @@ -226,14 +226,13 @@ def render_markdown(rows, binding): lines = ['# 功法总表', '', MARKER, '', '## 字多不看', '', f"- 共**{len(rows)}条内容记录**；已登记{counts['已登记']}条，未入登记库的来源候选{counts['未入登记库']}条。不是独立功法去重后的总数。", f'- 原前瞻初评{provisional}条，暂不可判{undetermined}条；不是正式效果评级，亦不把缺测默认补成黄阶。', + '- Markdown仅作浏览，表格只列品级和名称；登记详情见JSON，Excel保留完整视图。', '- 同一总表的[Excel完整视图](catalog.xlsx)含限定原文/源条目、来源选区、边界、理由、反证和置信。', '- 活跃登记来自[registry.json](registry.json)，历史候选来自[仓内快照索引](catalog-sources.json)；维护边界见[README](README.md)。', '', '输入绑定：`' + digest(binding['registry_sha256'] + binding['candidate_sha256']) + '`。', '', - '## 全部记录', '', '| 序号 | 暂定品级 | 功法名称 | 本体类别 | 登记状态 | 来源批次 | 用途/任务族 | 原始ID / 版本 |', - '|---|---|---|---|---|---|---|---|'] - for number, row in enumerate(rows, 1): - values = [number, grade_label(row), row['name'], TYPE_LABELS[row['ontology_type']], row['entry_status'], - BATCH_LABELS[row['namespace']], row['task_family'], row['original_id'] + ' / ' + row['content_version']] + '## 全部记录', '', '| 品级 | 功法名称 |', '|---|---|'] + for row in rows: + values = [grade_label(row), row['name']] lines.append('| ' + ' | '.join(cell(value) for value in values) + ' |') lines += ['', '## 更新与核对', '', '```bash', 'make sync-gongfa-catalog', 'make check-gongfa-catalog', 'make test-gongfa-catalog', '```', '', '不要手改两份生成视图；候选来源变更另建快照并更新索引，登记内容变更遵守既有版本/初评协议。', diff --git a/scripts/test-faqi-catalog.py b/scripts/test-faqi-catalog.py index 2198af48..c4982f47 100644 --- a/scripts/test-faqi-catalog.py +++ b/scripts/test-faqi-catalog.py @@ -85,7 +85,7 @@ class FaqiCatalogTest(unittest.TestCase): table_index = table_indexes[0] thead_start = next(index for index in range(table_index + 1, len(tokens)) if tokens[index].type == "thead_open") thead_end = next(index for index in range(thead_start + 1, len(tokens)) if tokens[index].type == "thead_close") - self.assertEqual(["品级", "名称", "解释"], [token.content for token in tokens[thead_start:thead_end] if token.type == "inline"]) + self.assertEqual(["品级", "名称"], [token.content for token in tokens[thead_start:thead_end] if token.type == "inline"]) tbody_start = next(index for index in range(thead_end + 1, len(tokens)) if tokens[index].type == "tbody_open") tbody_end = next(index for index in range(tbody_start + 1, len(tokens)) if tokens[index].type == "tbody_close") self.assertEqual(len(assignments), sum(token.type == "tr_open" for token in tokens[tbody_start:tbody_end])) @@ -238,7 +238,7 @@ class FaqiCatalogTest(unittest.TestCase): self.assertTrue(row_counts) self.assertEqual(1, len(set(row_counts)), "表格单元格中的管道符不能拆出额外列") table_column_counts.append(row_counts[0]) - self.assertEqual([3], table_column_counts, "视图仅展示品级、名称、解释三列") + self.assertEqual([2], table_column_counts, "Markdown浏览表只展示品级和名称") self.assertIn("<script>unexpected</script>", markup) self.assertEqual(0, self.invoke("write-repeat", "--input", input_path, "--view", view, "--write").returncode) self.assertEqual(first, view.read_bytes()) @@ -258,7 +258,7 @@ class FaqiCatalogTest(unittest.TestCase): self.assertFalse(forbidden.exists()) def test_wide_external_resources_do_not_expand_compact_view(self): - # 真实隔离Git/YAML输入；宽外部资源原表不进入三列简表。 + # 真实隔离Git/YAML输入；宽外部资源原表不进入两列浏览表。 root = ARTIFACTS / "wide-table-fixture"; root.mkdir() (root / "metadata").mkdir(); (root / "tools/fixture").mkdir(parents=True) (root / "docs/gongfa").mkdir(parents=True) diff --git a/scripts/test-gongfa-catalog.py b/scripts/test-gongfa-catalog.py index 935ad3fa..2eaa76c9 100644 --- a/scripts/test-gongfa-catalog.py +++ b/scripts/test-gongfa-catalog.py @@ -1,6 +1,7 @@ #!/usr/bin/env python3 """总表维护的相关行为契约；离线保存隔离工件，不验证功法效果。""" import argparse +import csv from collections import Counter from copy import deepcopy from hashlib import sha256 @@ -65,6 +66,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'], []) + 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('|')] + cells = [[value.strip() for value in next(csv.reader([line], delimiter='|', escapechar='\\'))[1:-1]] + for line in table_rows] + self.assertEqual(['品级', '功法名称'], cells[0]) + self.assertEqual(len(rows) + 2, len(cells)) + self.assertTrue(all(len(row) == 2 for row in cells), 'Markdown浏览表只保留品级和名称') + self.assertEqual([row['name'] for row in rows], [row[1] for row in cells[2:]]) def test_registry_updates_follow_explicit_correction_and_never_inherit_a_new_version(self): documents = deepcopy(self.documents) diff --git a/tools/AGENTS.md b/tools/AGENTS.md index 247e8486..35baf041 100644 --- a/tools/AGENTS.md +++ b/tools/AGENTS.md @@ -8,7 +8,7 @@ - `tools/prompts-library/`：提示词 Excel、Markdown、JSONL 转换工具。 - `tools/chat-vault/`：AI 聊天记录保存工具。 - `tools/external/`：第三方工具、外部仓库和 Git submodule。 -- `faqi-catalog.md`：法器重要性只读简表，仅含“品级、名称、解释”三列；数据归`metadata/faqi.json`，详细来源与资源分流仍归各自唯一所有者。 +- `faqi-catalog.md`：法器重要性只读浏览表，仅含“品级、名称”两列；详细登记归`metadata/faqi.json`，原资源字段仍归资源YAML。 ## 约束 diff --git a/tools/README.md b/tools/README.md index 722bcc56..f153f61b 100644 --- a/tools/README.md +++ b/tools/README.md @@ -8,7 +8,7 @@ - `tools/chat-vault/`：AI 聊天记录保存工具。 - `tools/external/`：外部仓库、第三方工具与 submodule。 - `tools/config/`：Codex 等工具配置。 -- [faqi-catalog.md](faqi-catalog.md)：法器重要性只读简表，仅展示“品级、名称、解释”三列；详细登记与判定归[metadata/faqi.json](../metadata/faqi.json)，原资源字段仍归资源YAML。 +- [faqi-catalog.md](faqi-catalog.md)：法器重要性只读浏览表，仅展示“品级、名称”两列；详细登记与判定归[metadata/faqi.json](../metadata/faqi.json)，原资源字段仍归资源YAML。 ## 法器总表维护 diff --git a/tools/faqi-catalog.md b/tools/faqi-catalog.md index 1356fc55..24c870dd 100644 --- a/tools/faqi-catalog.md +++ b/tools/faqi-catalog.md @@ -1,37 +1,37 @@ # Vibe Coding法器重要性总表 -品级仅表示 Vibe Coding 重要性暂定，不代表效能验证；完整登记见[metadata/faqi.json](../metadata/faqi.json)。 +品级仅表示 Vibe Coding 重要性暂定，不代表效能验证；本页仅供浏览，完整登记见[metadata/faqi.json](../metadata/faqi.json)。 -| 品级 | 名称 | 解释 | -|:---------|:----------------------------------------------------------|:----------------------------------------------------------------------------------------------------------------| -| 天阶高级 | 2.2 云端模型服务/API与固定模型版本 | 提供理解需求、推理和生成代码的核心智能能力；没有模型推理路径即失去Vibe Coding的定义性特征，供应商与模型可替换。 | -| 天阶高级 | Pi Agent CLI（当前 PATH 实例） | 直接承接需求、上下文、模型调用和工具执行循环；当前环境的核心交互入口，缺失会改变Vibe Coding核心形态。 | -| 天阶中级 | 2.2 本地模型权重、Tokenizer与推理引擎 | 可提供核心模型推理并支持本地化、隐私或离线需求；在通用工作流中可由云端推理替代，故低于定义性核心路径。 | -| 天阶中级 | Codex CLI（依赖图替代项） | 若选用可承担AI代码协作与工具编排核心；当前仅具名候选且可与其他运行时替换，低于已用核心路径。 | -| 地阶高级 | GNU Bash | 直接承接终端命令、开发脚本和验证操作，是当前Agent落地代码动作的高重要性接口；Shell实现可替代但该角色不可缺。 | -| 地阶高级 | 3.2 Terminal Emulator / PTY | 把Agent计划转成真实文件、构建和测试操作的关键执行边界；没有等价工具执行通道，代码闭环无法完成。 | -| 地阶高级 | Git 本地客户端 | 支撑审查AI改动、保留版本历史和安全回退，是可维护代码生成闭环的高重要性基础；版本控制实现可替代。 | -| 地阶中级 | 8 CPU/GPU、内存、存储、网络、电力与数据中心 | 为模型调用、代码执行及数据交换提供资源底座；实现可跨云、主机和本地环境替换，故不是单一核心产品。 | -| 地阶中级 | 4.2 包注册表、Git源与可信缓存 | 支持安装成熟组件、解析代码依赖和重建开发环境；具体注册表与来源有替代，不直接承担AI生成。 | -| 地阶中级 | Node.js 运行时 | 支撑前端、Node项目和本仓Markdown工具链；具体语言环境可替代，重要性低于通用Agent与终端执行核心。 | -| 地阶中级 | npm / npx 工具 | 让Node生态依赖和命令行工具可安装、解析与调用；作用范围依赖项目技术栈，可由其他生态包管理器替代。 | -| 地阶中级 | Python 运行时 | 支撑本仓工具及大量Python项目的执行和验证；语言运行时可按项目替代，重要但非所有Vibe Coding任务必需。 | -| 地阶初级 | GNU Make | 把构建和验证命令组织成可重复入口有助于交付，但Make可由其他任务运行器或脚本替代。 | -| 地阶初级 | Ubuntu 用户空间发行版 | 承载当前工具链和本地命令，但同类操作系统环境可以替代，重要性来自运行基座而非该发行版身份。 | -| 地阶初级 | WSL2 Linux 内核 | 提供当前WSL用户空间的执行底座，但存在其他内核和宿主替代，不属于AI编程核心能力。 | -| 地阶初级 | WSL 2 承载平台 | 为当前工具链提供运行宿主，但Linux、macOS或原生Windows等环境可替代，不是Vibe Coding定义性能力。 | -| 玄阶高级 | 7.1 Git托管、CI Runner与CI/CD平台 | 把代码生成接入可重复测试、审查和协作交付，显著扩展可靠使用范围；本地闭环可运行但难以替代团队级持续验证。 | -| 玄阶高级 | 2.3 检索/索引/记忆与向量库 | 支撑跨文件和长任务上下文保持、历史知识复用，提升复杂任务可处理范围；短任务仍可不依赖，且实现可替换。 | -| 玄阶中级 | 7.2-7.3 制品注册表、部署目标、产品运行时、数据库与外部API | 支撑部署、数据库和API集成，使代码进入真实产品场景；并非每次编码必需，故属于重要交付扩展而非核心生成。 | -| 玄阶中级 | auto-skill模板生成脚本 | 把操作知识封装为可复用Agent技能，能扩展后续任务能力；属于增益支路，不是最小编码闭环的必需组件。 | -| 玄阶中级 | auto-skill结构校验脚本 | 降低扩展技能结构错误造成的接入阻断；不判断语义正确性，属于能力扩展的质量辅助。 | -| 玄阶中级 | Skill Seekers程序 | 增加Agent可复用的领域能力和上下文资产；需特定工作流，不能替代通用推理与工具执行。 | -| 玄阶初级 | 官方Skill初始化脚本 | 降低Claude Skill结构初始化成本，作用范围绑定特定生态，可手工完成且不影响其他Agent的基础闭环。 | -| 玄阶初级 | Codex配置安装与恢复脚本 | 降低特定Agent初始配置成本，但只服务候选运行时且可手工替代；不属于核心模型推理或执行闭环。 | -| 玄阶初级 | Skill Seekers本地运行适配脚本 | 便于调用特定知识转技能工具；范围受上游工具限制，可直接调用或人工替代。 | -| 黄阶高级 | tmux 当前运行实例 | 可持久化和并行组织终端工作，复杂协作时有价值；普通单会话开发可替代，不属于核心生成链。 | -| 黄阶高级 | auto-tmux命令封装程序 | 能管理多会话和worker工作流，复杂并行时有用；基础单Agent编码不依赖，且当前doctor烟测失败，重要性不等于实现质量。 | -| 黄阶高级 | tmux终端复用程序 | 支持持久终端与多窗口工作流，复杂长任务可受益；普通编码闭环有替代方案，不属定义性核心。 | -| 黄阶中级 | oh-my-tmux可执行配置程序 | 改善tmux使用便利性，但不提供模型推理或核心代码执行能力，可由其他终端配置替代。 | -| 黄阶初级 | 提示词格式转换程序 | 只负责格式转换，能维护和复用提示词资产但不参与模型推理或代码执行；替代方式多，属低重要性辅助。 | +| 品级 | 名称 | +|:---------|:----------------------------------------------------------| +| 天阶高级 | 2.2 云端模型服务/API与固定模型版本 | +| 天阶高级 | Pi Agent CLI（当前 PATH 实例） | +| 天阶中级 | 2.2 本地模型权重、Tokenizer与推理引擎 | +| 天阶中级 | Codex CLI（依赖图替代项） | +| 地阶高级 | GNU Bash | +| 地阶高级 | 3.2 Terminal Emulator / PTY | +| 地阶高级 | Git 本地客户端 | +| 地阶中级 | 8 CPU/GPU、内存、存储、网络、电力与数据中心 | +| 地阶中级 | 4.2 包注册表、Git源与可信缓存 | +| 地阶中级 | Node.js 运行时 | +| 地阶中级 | npm / npx 工具 | +| 地阶中级 | Python 运行时 | +| 地阶初级 | GNU Make | +| 地阶初级 | Ubuntu 用户空间发行版 | +| 地阶初级 | WSL2 Linux 内核 | +| 地阶初级 | WSL 2 承载平台 | +| 玄阶高级 | 7.1 Git托管、CI Runner与CI/CD平台 | +| 玄阶高级 | 2.3 检索/索引/记忆与向量库 | +| 玄阶中级 | 7.2-7.3 制品注册表、部署目标、产品运行时、数据库与外部API | +| 玄阶中级 | auto-skill模板生成脚本 | +| 玄阶中级 | auto-skill结构校验脚本 | +| 玄阶中级 | Skill Seekers程序 | +| 玄阶初级 | 官方Skill初始化脚本 | +| 玄阶初级 | Codex配置安装与恢复脚本 | +| 玄阶初级 | Skill Seekers本地运行适配脚本 | +| 黄阶高级 | tmux 当前运行实例 | +| 黄阶高级 | auto-tmux命令封装程序 | +| 黄阶高级 | tmux终端复用程序 | +| 黄阶中级 | oh-my-tmux可执行配置程序 | +| 黄阶初级 | 提示词格式转换程序 |