| name | code-refactoring |
| description | BAIME-aligned refactoring protocol for Go hotspots (CLIs, services, MCP tooling) with automated metrics (e.g., metrics-cli, metrics-mcp) and documentation. |
| allowed-tools | Read, Write, Edit, Bash, Grep, Glob |
| contracts | [{"grep":"behavior-preserving"},{"grep":"cyclomatic"},{"grep":"complexity_delta"}] |
Spec
λ(target_pkg, target_hotspot, metrics_target) → (refactor_plan, metrics_snapshot, validation_report) |
∧ configs = read_json(experiment-config.json)?
∧ catalogue = configs.metrics_targets ∨ []
∧ require(cyclomatic(target_hotspot) > 8)
∧ require(catalogue = [] ∨ metrics_target ∈ catalogue)
∧ require(run("make " + metrics_target))
∧ baseline = results.md ∧ iterations/
∧ apply(pattern_set = reference/patterns.md)
∧ use(templates/{iteration-template.md,refactoring-safety-checklist.md,tdd-refactoring-workflow.md,incremental-commit-protocol.md})
∧ automate(metrics_snapshot) via scripts/{capture-*-metrics.sh,count-artifacts.sh}
∧ document(knowledge) → knowledge/{patterns,principles,best-practices}
∧ ensure(complexity_delta(target_hotspot) ≥ 0.30 ∧ cyclomatic(target_hotspot) ≤ 10)
∧ ensure(coverage_delta(target_pkg) ≥ 0.01 ∨ coverage(target_pkg) ≥ 0.70)
∧ validation_report = validate-skill.sh → {inventory.json, V_instance ≥ 0.85}
∧ guarantee(behavior-preserving: all existing tests pass before and after each iteration)
