Files
2025-11-30 09:07:22 +08:00

21 lines
1.2 KiB
Markdown
Raw Permalink Blame History

This file contains ambiguous Unicode characters
This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.
---
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
---
λ(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}