@@ -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) |
## 更新与核对