carve-harness: Skill for Claude Code

checklist-loop — 스펙→개발→체크리스트→채점→재작업 루프 (모델 무관 SOP)

권위는 도구가 아니라 이 절차에 있다(fable-team-guide 4절). carve-verify-loop 워크플로는 이 절차를 코드로 자동 실행할 뿐이다. Fable/Opus/Sonnet 어떤 세션이든, 훅 없는 다른 에이전트든 아래를 그대로 수동 실행하면 동일하게 동작한다.

핵심 불변식

• 생성자(builder)와 채점자(evaluator)는 절대 같은 에이전트가 아니다 (Self-Eval Blindspot 방지, AGENTS.md 6절).
• 주장을 믿지 않는다. "구현했다"는 claim은 실제 코드 대조 + 테스트 실행으로만 인정한다.
• 완료 = 모든 항목 score ≥ 임계(기본 95). 하나라도 미달이면 루프는 끝나지 않는다.
• 에이전트 간 통신은 파일 기반 — specs/checklist.json이 단일 진실원.

specs/checklist.json 스키마 (정본)

{
  "goal": "주문 취소 API",
  "iteration": 2,
  "threshold": 95,
  "items": [
    {
      "id": "c1",
      "claim": "POST /orders/{id}/cancel 구현",
      "acceptance": "204 반환 + 상태 CANCELLED 전이 테스트 통과",
      "owns": ["src/api/cancel/**"],
      "attempts": 2,
      "score": 75,
      "axes": { "exists": 25, "match": 25, "test": 0, "contract": 15, "no_regress": 10 },
      "tests": { "ran": true, "passed": 3, "failed": 1, "command": "npm test -- cancel" },
      "pass": false,
      "gaps": ["멱등성 미검증", "이미 취소된 주문 409 테스트 없음"],
      "evidence": "src/api/cancel/route.ts:12; test 3/4 pass"
    }
  ]
}

• claim/acceptance/owns: 분해 단계에서 채운다. owns glob은 항목끼리 겹치면 안 된다(파일 오너 1개).
• type(선택): convention | correctness | domain_safety. domain_safety 항목은 100점이 아니면 총점·임계와 무관하게 Stop 게이트가 차단한다(GATE-C7, 블루프린트 §5.5 허용 실패율 0%). 도메인 불변식(CLAUDE.md 도메인 규칙)을 구현하는 항목에 붙여라. type 없는 항목은 임계(95) 규칙만.
• axes/tests/score/pass/gaps/evidence/attempts: 채점 단계에서 채운다. score = 5축 합, pass = score >= threshold.
• 5축 루브릭(합 100): exists25·match25·test25·contract15·no_regress10.
• test 축은 채점자가 신고하지 않는다 — 실행 결과에서 파생한다. evaluator는 tests: {ran, passed, failed, command, output}을 보고하고, ran:true·passed>0·failed=0이면 test=25, 아니면 0이다(비율 부분점수 없음 — 4/5 통과가 20점이면 나머지 만점과 합쳐 정확히 95라 실패 테스트를 안고 통과한다). 미실행·실패 1건이면 나머지 네 축 만점이어도 합 75라 95를 넘을 수 없다(거짓 완료 차단). 숫자를 직접 받으면 이 불변식은 산문일 뿐이다.
• 게이트가 축을 대조한다(GATE-C8). axes가 있으면 checklist-gate.sh가 score를 축에서 재계산해 불일치와 "test=0인데 임계 이상"을 차단하고, tests가 있으면 test 축을 실행 결과에서 다시 파생해 대조한다. axes 없는 항목은 기존대로 score만 본다(구형·타 에이전트 체크리스트 하위호환).