@Code Refactoring
λ(target_pkg、target_hotspot、metrics_target) → (refactor_plan、metrics_snapshot、validation_report) | ∧ configs = read_json(experiment-config.json)? ∧ 目录 = configs.metrics_targets ∨ [] ∧ require(cyclomatic(target_hotspot) > 8) ∧ require(catalogue = [] ∨metrics_target ® 目录) ∧ require(run("make " +metrics_target)) ∧ 基线 = results.md ∧ 迭代/ ∧ apply(pattern_set =参考/patterns.md) ∧ 使用(templates/{iteration-template.md,refactoring-safety-checklist.md,tdd-refactoring-workflow.md,incremental-commit-protocol.md}) ∧ 通过脚本自动化(metrics_snapshot)/{capture-*-metrics.sh,count-artifacts.sh} ∧ 文档(知识) →知识/{模式、原则、最佳实践} ∧ 确保(complexity_delta(target_hotspot) ≥ 0.30 ∧ 循环(target_hotspot) ≤ 10) ∧ 确保(coverage_delta(target_pkg) ≥ 0.01 ∨ 覆盖率(target_pkg) ≥ 0.70) ∧ validating_report = validate-skill.sh → {inventory.json, V_instance ≥ 0.85}
λ(target_pkg、target_hotspot、metrics_target) → (refactor_plan、metrics_snapshot、validation_report) | ∧ configs = read_json(experiment-config.json)? ∧ 目录 = configs.metrics_targets ∨ [] ∧ require(cyclomatic(target_hotspot) > 8) ∧ require(catalogue = [] ∨metrics_target ® 目录) ∧ require(run("make " +metrics_target)) ∧ 基线 = results.md ∧ 迭代/ ∧ apply(pattern_set =参考/patterns.md) ∧ 使用(templates/{iteration-template.md,refactoring-safety-checklist.md,tdd-refactoring-workflow.md,incremental-commit-protocol.md}) ∧ 通过脚本自动化(metrics_snapshot)/{capture-*-metrics.sh,count-artifacts.sh} ∧ 文档(知识) →知识/{模式、原则、最佳实践} ∧ 确保(complexity_delta(target_hotspot) ≥ 0.30 ∧ 循环(target_hotspot) ≤ 10) ∧ 确保(coverage_delta(target_pkg) ≥ 0.01 ∨ 覆盖率(target_pkg) ≥ 0.70) ∧ validating_report = validate-skill.sh → {inventory.json, V_instance ≥ 0.85}