refactor

Select this owning procedure for a behavior-preserving restructure, whether requested in plain language or through /refactor. Entry syntax is not an additional gate; the approved-surface, parity, and verification requirements below still apply. Externally observable behavior before equals after, proven rather than assumed.

Entry boundaries

• Identify both the surface and the motivation. Phase 1 owns the precise surface table and its approval; knowing a command name does not establish either.
• New behavior, including a new error path, side effect, or public method beyond a Phase 3 seam, belongs to /feature. Incorrect existing behavior belongs to /fix.
• An explanation-only question stays in the non-mutating question-answer path, not this editing procedure and not a required help-command detour.
• Persisting an already-completed refactor belongs to the existing commit owner at routines/commit-gate/SKILL.md, with its actual authorization and gates. No commit, push, or PR is implied merely by entering this refactor procedure.

Pre-flight

Read these, or STOP and surface the gap — never guess a command or a threshold:

• <project-root>/.codearbiter/CONTEXT.md — the stage: frontmatter (the maturity value) and project context.
• <project-root>/.codearbiter/tech-stack.md — the test, coverage, lint, and type-check invocations; file layout.
• includes/verification-boundary.md — the required split between focused local parity proof and exhaustive exact-head hosted CI.
• <project-root>/.codearbiter/coding-standards.md — style, structure, naming. Required for Phase 4.

The working tree MUST be clean over the named surface before Phase 1. A dirty surface conflates the refactor diff with unrelated edits and breaks parity verification — STOP and surface it.

Phase 1 — Surface identification · gate: BLOCK

Enumerate the exact blast radius before any other work. Restate the planned refactor in one sentence and confirm it back to the user, then record a surface table:

• Files (repo-relative paths).
• Top-level symbols touched — function, class, and exported member names.
• Public method signatures within those symbols.
• External consumers — call sites in other modules.

Reject vague surfaces. "the auth module", "the user service", "some helpers in utils" are categories, not surfaces. A surface is acceptable only when a reader could grep the repo for the listed symbols and arrive at the same file set. The table is the parity contract for Phases 2–6.

Gate: a precise, complete surface table, user-signed-off. A vague or category-level surface does not pass — "the functions signToken, verifyToken, and rotateKey in src/auth/tokens.ts" passes; "the auth module" does not.

Phase 2 — Behavioral parity coverage proof · gate: BLOCK

Prove pre-existing tests already exercise the named surface well enough to detect a behavior change, before any production code is touched. Locate every test that exercises a symbol in the surface table. Run the coverage command from tech-stack.md scoped to the surface files; record each metric required by the declared coverage profile and the per-symbol test evidence.

Coverage scales with the maturity value (stage: in CONTEXT.md) — the same knob as tdd Phase 5, using the shared threshold table includes/maturity-coverage.md.

Every public method in the surface table MUST have at least one direct test — transitive coverage through a higher-level integration test does not count. A public method with zero direct tests is uncovered for this gate.

Resolve the declared coverage profile from tech-stack.md against the shared maturity-coverage.md rule. Every required metric must clear the threshold, and the shared report-validity and critical-path evidence requirements must hold. Keep the same profile, scope and required metrics before and after the refactor. Where the surface has no coverage tooling, take the no-tooling exemption in includes/maturity-coverage.md — it requires QUOTING the tech-stack.md Coverage section that omits a command for this surface — and the per-symbol direct-test proof stands alone. Without that citation the phase STOPs rather than passing on an unverifiable claim.

If surface coverage is below the maturity threshold on any required metric, OR any public method has zero direct tests, halt and route to the tdd skill (routines/tdd/SKILL.md) Phase 1 to backfill obligations and red tests for the uncovered surface. Resume Phase 2 only after the backfill is green.

Gate: surface coverage at or above the maturity threshold on every required metric in the declared coverage profile, the shared critical-path evidence present, AND every public method backed by a direct test. Otherwise backfill via tdd Phase 1 before retrying.

Phase 3 — Red parity tests (conditional) · gate: BLOCK

Pin any new test seam the refactor exposes before implementation. A new seam is one of: a newly exported symbol that did not exist; a new public method signature on an existing class; a previously private function promoted to module-public.

If the refactor exposes no new seam, record "No new seams" and skip to Phase 4. Otherwise, for each seam write one or more tests that pin its contract. These tests MUST be red before implementation, and every pre-existing test MUST stay green. A seam test is scoped strictly to the restructure — it MUST NOT require behavior beyond what the original code already produced. A seam test that needs new behavior to pass means the work is a feature: route it to tdd and abort.

Gate: either "No new seams", or failing seam tests with all pre-existing tests still green. BLOCK if a proposed seam test requires new behavior, or if any pre-existing test breaks as a side effect of writing the seam tests.

Phase 4 — Implementation · gate: BLOCK

Apply the restructure with zero behavior change, to the conventions in coding-standards.md. Confine every edit to the surface table. Acceptable edits: rename symbols (with consumer updates); extract or inline functions and methods; move symbols between files; replace an internal implementation with an equivalent one; collapse or split modules where the public interface is preserved.

Unacceptable inside a refactor: adding a behavior, branch, error path, or side effect; changing the value any public method returns for any pre-existing input; adding a public method beyond a Phase 3 seam; changing observable order of operations (event emission, logging, IO). Classify the resulting staged diff against commit-gate classification criteria — a diff that classifies as feat is not a refactor; halt and route to tdd.

Gate: the refactor confined to the surface table, with any Phase 3 seam tests now green. BLOCK if the diff classifies as feat, or if any edit falls outside the Phase 1 surface table without an explicit user-approved amendment.

Phase 5 — Parity verification · gate: BLOCK

Run every impact-bounded local parity test identified in Phase 2, following verification-boundary.md. Each MUST pass with NO modification to its source — inspect the diff and confirm zero edits to any pre-existing test file. A modified pre-existing test is, by definition, evidence the surface's observable behavior changed: revert it. If it cannot pass after revert, the refactor introduced a behavior change and is routed to tdd as a feature or fix. Phase 3 seam tests (if any) MUST pass. Record the pass/fail tally and any modified-test detection. The exhaustive pre-existing suite remains a required exact-head hosted-CI merge gate.

Gate: scoped parity tests green with zero pre-existing tests modified. BLOCK if any pre-existing test was modified to pass, or if any applicable test fails; the branch still MUST NOT merge until exhaustive exact-head hosted CI passes.

Phase 6 — Lint and coverage · gate: BLOCK

Run lint, the type-check if the project is statically typed, and coverage, all from tech-stack.md. Resolve every lint and type error. Confirm surface coverage remains at or above the maturity threshold on every required metric in the same declared coverage profile. A refactor MUST NOT reduce coverage of the surface it touched on any required metric or drop its critical-path evidence.

Where the surface has no coverage tooling, the same clause as Phase 2 applies — the no-tooling exemption in includes/maturity-coverage.md, citation included — and parity is verified through Phase 5's unmodified pre-existing tests alone. Phase 2 and Phase 6 MUST NOT give different answers about the same surface, which is why both defer to the one shared clause rather than restating its conditions.

Gate: clean lint and type-check, zero errors, and no coverage regression on the named surface. "Mostly passes" is not passing — this is what clears the path to commit-gate.

Hard rules

• MUST NOT begin Phase 2 without a precise, user-signed-off surface table.
• MUST NOT proceed past Phase 2 if surface coverage is below the maturity threshold or any public method has zero direct tests — route to tdd Phase 1 to backfill.
• MUST NOT introduce new behavior in Phase 4. A diff that classifies as feat under commit-gate is not a refactor.
• MUST NOT modify any pre-existing test to make it pass. A modified test is a behavior change.
• MUST NOT reduce coverage of the named surface during the refactor.
• MUST NOT extend the surface mid-flight without an explicit user-approved amendment to the Phase 1 table.
• MUST NOT inline-suppress a lint rule to clear Phase 6, and never to bypass a security-relevant rule.
• MUST NOT guess the test, coverage, lint, or type-check command — read tech-stack.md or STOP.