commitgate 0.7.0 → 0.8.0

package/package.json

@@ -1,72 +1,73 @@
-{
-  "name": "commitgate",
-  "version": "0.7.0",
-  "description": "CommitGate — Builder↔Reviewer(Claude↔Codex) fail-closed 커밋 게이트: 리뷰·승인·증거 없인 커밋을 통과시키지 않는 AI REQ 워크플로 kit (req:new/next/review-codex/doctor/commit)",
-  "type": "module",
-  "license": "MIT",
-  "author": "sol5288",
-  "repository": {
-    "type": "git",
-    "url": "git+https://github.com/sol5288/commitgate.git"
-  },
-  "homepage": "https://github.com/sol5288/commitgate#readme",
-  "bugs": {
-    "url": "https://github.com/sol5288/commitgate/issues"
-  },
-  "keywords": [
-    "ai",
-    "code-review",
-    "workflow",
-    "codex",
-    "claude",
-    "git",
-    "commit-gate",
-    "fail-closed",
-    "review-gate",
-    "cli"
-  ],
-  "bin": {
-    "commitgate": "bin/commitgate.mjs"
-  },
-  "scripts": {
-    "req:new": "tsx scripts/req/req-new.ts",
-    "req:review-codex": "tsx scripts/req/review-codex.ts",
-    "req:doctor": "tsx scripts/req/req-doctor.ts",
-    "req:next": "tsx scripts/req/req-next.ts",
-    "req:commit": "tsx scripts/req/req-commit.ts",
-    "test": "vitest run",
-    "typecheck": "tsc --noEmit",
-    "smoke": "node scripts/smoke.mjs",
-    "verify:overrides": "node scripts/verify-review-overrides.mjs"
-  },
-  "files": [
-    "scripts/req",
-    "scripts/verify-review-overrides.mjs",
-    "workflow/machine.schema.json",
-    "workflow/req.config.schema.json",
-    "workflow/review-persona.md",
-    "bin",
-    "templates",
-    "AGENTS.template.md",
-    "req.config.json.sample",
-    "README.md",
-    "README.en.md",
-    "CHANGELOG.md"
-  ],
-  "engines": {
-    "node": ">=18.17"
-  },
-  "dependencies": {
-    "ajv": "^8.20.0",
-    "cross-spawn": "^7.0.6",
-    "semver": "^7.6.3",
-    "tsx": "^4.19.1"
-  },
-  "devDependencies": {
-    "@types/cross-spawn": "^6.0.6",
-    "@types/node": "^22.7.4",
-    "@types/semver": "^7.5.8",
-    "typescript": "^5.6.2",
-    "vitest": "^2.1.2"
-  }
-}
+{
+  "name": "commitgate",
+  "version": "0.8.0",
+  "description": "CommitGate — Builder↔Reviewer(Claude↔Codex) fail-closed 커밋 게이트: 리뷰·승인·증거 없인 커밋을 통과시키지 않는 AI REQ 워크플로 kit (req:new/next/review-codex/doctor/commit)",
+  "type": "module",
+  "license": "MIT",
+  "author": "sol5288",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/sol5288/commitgate.git"
+  },
+  "homepage": "https://github.com/sol5288/commitgate#readme",
+  "bugs": {
+    "url": "https://github.com/sol5288/commitgate/issues"
+  },
+  "keywords": [
+    "ai",
+    "code-review",
+    "workflow",
+    "codex",
+    "claude",
+    "git",
+    "commit-gate",
+    "fail-closed",
+    "review-gate",
+    "cli"
+  ],
+  "bin": {
+    "commitgate": "bin/commitgate.mjs"
+  },
+  "scripts": {
+    "req:new": "tsx scripts/req/req-new.ts",
+    "req:review-codex": "tsx scripts/req/review-codex.ts",
+    "req:doctor": "tsx scripts/req/req-doctor.ts",
+    "req:next": "tsx scripts/req/req-next.ts",
+    "req:commit": "tsx scripts/req/req-commit.ts",
+    "test": "vitest run",
+    "typecheck": "tsc --noEmit",
+    "smoke": "node scripts/smoke.mjs",
+    "verify:overrides": "node scripts/verify-review-overrides.mjs"
+  },
+  "files": [
+    "scripts/req",
+    "scripts/verify-review-overrides.mjs",
+    "workflow/machine.schema.json",
+    "workflow/req.config.schema.json",
+    "workflow/review-persona.md",
+    "bin",
+    "templates",
+    "skills",
+    "AGENTS.template.md",
+    "req.config.json.sample",
+    "README.md",
+    "README.en.md",
+    "CHANGELOG.md"
+  ],
+  "engines": {
+    "node": ">=18.17"
+  },
+  "dependencies": {
+    "ajv": "^8.20.0",
+    "cross-spawn": "^7.0.6",
+    "semver": "^7.6.3",
+    "tsx": "^4.19.1"
+  },
+  "devDependencies": {
+    "@types/cross-spawn": "^6.0.6",
+    "@types/node": "^22.7.4",
+    "@types/semver": "^7.5.8",
+    "typescript": "^5.6.2",
+    "vitest": "^2.1.2"
+  }
+}

package/req.config.json.sample

@@ -8,6 +8,7 @@
   "granularityMaxFiles": 8,
   "reviewModel": "gpt-5.6-terra",
   "reviewReasoningEffort": "high",
+  "reviewBudget": { "autoBudget": 5, "hardCap": 8 },
   "designDocs": {
     "requirement": "00-requirement.md",
     "design": "01-design.md",

package/scripts/req/lib/config.ts

@@ -27,6 +27,12 @@ export interface DesignDocs {
  */
 export type ReviewReasoningEffort = 'none' | 'minimal' | 'low' | 'medium' | 'high' | 'xhigh'
 
+/** review 예산(REQ-2026-028 A-2a). config↔review-codex 순환 방지를 위해 여기(config)에 정의. */
+export interface ReviewBudget {
+  autoBudget: number
+  hardCap: number
+}
+
 /** 사용자가 `req.config.json`에 줄 수 있는 부분 config(전부 선택). */
 export interface RawConfig {
   ticketRoot?: string
@@ -42,6 +48,8 @@ export interface RawConfig {
   reviewModel?: string | null
   /** codex 리뷰 추론강도(REQ-2026-013 P1). null = `-c model_reasoning_effort=` 생략. 미지정 = DEFAULTS. */
   reviewReasoningEffort?: ReviewReasoningEffort | null
+  /** REQ-2026-028 A-2a: review 예산. 미지정 = DEFAULTS(5/8). hardCap≤8·autoBudget≤hardCap은 loadConfig 검증. */
+  reviewBudget?: ReviewBudget
 }
 
 /** 해소된 config(DEFAULTS 병합 + 파생 절대경로). */
@@ -57,6 +65,7 @@ export interface ResolvedConfig {
   designDocs: DesignDocs
   reviewModel: string | null
   reviewReasoningEffort: ReviewReasoningEffort | null
+  reviewBudget: ReviewBudget
   // 파생(절대경로)
   workflowDirAbs: string
   schemaPathAbs: string
@@ -104,6 +113,8 @@ export const DEFAULTS = {
   // `as ... | null`은 handoffPath와 같은 이유(직접 import 소비자의 `| null` 계약 보존).
   reviewModel: 'gpt-5.6-terra' as string | null,
   reviewReasoningEffort: 'high' as ReviewReasoningEffort | null,
+  // REQ-2026-028 A-2a: review 예산. autoBudget=자동 허용 회차, hardCap=절대 상한(9번째 차단 → 8).
+  reviewBudget: { autoBudget: 5, hardCap: 8 } as ReviewBudget,
 }
 
 const BASENAME_RE = '^[A-Za-z0-9][A-Za-z0-9._-]*$' // basename만(슬래시·백슬래시·선행 `.`(→`..`) 금지)
@@ -125,6 +136,16 @@ export const CONFIG_SCHEMA = {
     reviewModel: { type: ['string', 'null'], pattern: BASENAME_RE },
     // effort는 실측 확정 enum(R15) + null. null을 enum에 포함해야 `{effort:null}`이 통과(JSON Schema enum은 타입 무관 전체 적용).
     reviewReasoningEffort: { type: ['string', 'null'], enum: ['none', 'minimal', 'low', 'medium', 'high', 'xhigh', null] },
+    // REQ-2026-028 A-2a: 예산. 스키마는 타입·상한(hardCap≤8·최소 1)까지. 교차검증(autoBudget≤hardCap)은 loadConfig.
+    reviewBudget: {
+      type: 'object',
+      additionalProperties: false,
+      required: ['autoBudget', 'hardCap'],
+      properties: {
+        autoBudget: { type: 'integer', minimum: 1 },
+        hardCap: { type: 'integer', minimum: 1, maximum: 8 },
+      },
+    },
     designDocs: {
       type: 'object',
       additionalProperties: false,
@@ -209,8 +230,17 @@ export function loadConfig(opts: { root?: string | null; cwd?: string } = {}): R
     reviewModel: raw.reviewModel !== undefined ? raw.reviewModel : DEFAULTS.reviewModel,
     reviewReasoningEffort:
       raw.reviewReasoningEffort !== undefined ? raw.reviewReasoningEffort : DEFAULTS.reviewReasoningEffort,
+    reviewBudget: raw.reviewBudget ?? DEFAULTS.reviewBudget,
   }
 
+  // REQ-2026-028 R7: 교차검증(스키마가 표현 못 함). AJV가 이미 hardCap∈[1,8]·autoBudget≥1을 잡았고,
+  // 여기서 autoBudget ≤ hardCap을 강제(fail-closed). R4("9번째는 어떤 경로로도 차단")는 설정을 넘는 코드
+  // 상수 경계다 — hardCap>8은 스키마가 거부하므로 config 한 줄로 뚫을 수 없다.
+  if (merged.reviewBudget.autoBudget > merged.reviewBudget.hardCap)
+    throw new Error(
+      `req.config: reviewBudget.autoBudget(${merged.reviewBudget.autoBudget}) > hardCap(${merged.reviewBudget.hardCap}) — autoBudget는 hardCap 이하여야 한다`,
+    )
+
   // repo-내부 자원(ticketRoot·schemaPath·reviewPersonaPath)은 **상대경로 + root 하위**만(절대경로·탈출 금지 → portable).
   // handoffPath만 면제 — 형제 repo의 SSOT 문서를 읽는 **외부 참조**이기 때문.
   // reviewPersonaPath는 패키지가 배포하고 init이 repo 안에 까는 자원이라 schemaPath와 같은 축이다(REQ-2026-010 D2).

package/scripts/req/req-commit.ts

@@ -20,6 +20,7 @@ import {
   readPhases,
   archiveBaseName,
   isArchiveFileName,
+  isValidIsoInstant,
   type ApprovalEvidence,
   type ReviewKind,
   type WorkflowState,
@@ -34,7 +35,7 @@ let pkgManager: PackageManager = DEFAULTS.packageManager
 let gitAdapter: GitAdapter = createGitAdapter(packageRoot())
 const SHA256_RE = /^[0-9a-f]{64}$/i
 const GIT_OID_RE = /^[0-9a-f]{40}(?:[0-9a-f]{24})?$/i // git OID: 40(SHA-1) 또는 64(SHA-256)
-const ISO_RE = /^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}(?:\.\d{1,9})?Z$/ // new Date().toISOString() 형식
+// ISO 검증은 review-codex의 isValidIsoInstant(형식+달력 유효성) 재사용 — 달력 불가능 값 거부(REQ-2026-030).
 // evidencePreflight 구조 사전검증용 placeholder(실제 sourceSha/consumedAt는 source 커밋 후 채움). valid OID/ISO 형식.
 const PREFLIGHT_PLACEHOLDER_OID = '0'.repeat(40)
 const PREFLIGHT_PLACEHOLDER_ISO = '2000-01-01T00:00:00.000Z'
@@ -163,8 +164,8 @@ export function validateManifest(
     if (typeof e.response_sha256 !== 'string' || !SHA256_RE.test(e.response_sha256)) problems.push(`line ${ln}: response_sha256 형식 오류(64hex)`)
     if (typeof e.review_base_sha !== 'string' || !GIT_OID_RE.test(e.review_base_sha)) problems.push(`line ${ln}: review_base_sha 비-OID`)
     if (typeof e.consumed_by_commit_sha !== 'string' || !GIT_OID_RE.test(e.consumed_by_commit_sha)) problems.push(`line ${ln}: consumed_by_commit_sha 비-OID`)
-    if (typeof e.approved_at !== 'string' || !ISO_RE.test(e.approved_at)) problems.push(`line ${ln}: approved_at 비-ISO`)
-    if (typeof e.consumed_at !== 'string' || !ISO_RE.test(e.consumed_at)) problems.push(`line ${ln}: consumed_at 비-ISO`)
+    if (!isValidIsoInstant(e.approved_at)) problems.push(`line ${ln}: approved_at 비-ISO`)
+    if (!isValidIsoInstant(e.consumed_at)) problems.push(`line ${ln}: consumed_at 비-ISO`)
     // kind별 strict 바인딩(반대 kind 필드 금지).
     if (kind === 'phase') {
       if (typeof e.phase_id !== 'string' || !e.phase_id || !opts.validPhaseIds.includes(e.phase_id))
@@ -228,7 +229,7 @@ export function userConfirmProblem(ucc: unknown): string | null {
   const c = ucc as { confirmed?: unknown; method?: unknown; confirmed_at?: unknown }
   if (c.confirmed !== true) return 'confirmed=true 아님'
   if (typeof c.method !== 'string' || !c.method.trim()) return 'method(공백 아닌 문자열) 필요'
-  if (typeof c.confirmed_at !== 'string' || !ISO_RE.test(c.confirmed_at)) return 'confirmed_at(ISO) 필요'
+  if (!isValidIsoInstant(c.confirmed_at)) return 'confirmed_at(ISO) 필요'
   return null
 }
 

package/scripts/req/req-new.ts

@@ -7,12 +7,14 @@
  *   - 기본 dry-run(계획 출력), `--run` 시 실제 브랜치 생성·티켓 파일·스캐폴드 커밋.
  *   - REQ id 채번은 registry 미사용(1차) — workflow/REQ-* 디렉터리 스캔으로 max+1.
  *
- * 사용: req:new <slug> [--run] [--risk LOW|HIGH] [--title "..."]   (저장소 패키지매니저의 실행 형식으로)
+ * 사용: req:new <slug> [--run] [--risk LOW|HIGH] [--title "..."] [--successor-of <REQ-id>]
+ *   --successor-of: 대체 REQ. 부모에 replace 종결(human-resolution) 기록이 있어야 하며, 없으면 fail-closed
+ *     (티켓 미생성). lineage는 부모 state에서 읽는다(REQ-2026-029 A-2b).
  */
 import { mkdirSync, writeFileSync, readdirSync, existsSync } from 'node:fs'
 import { join, relative } from 'node:path'
 import { pathToFileURL } from 'node:url'
-import { writeState, type WorkflowState } from './review-codex'
+import { writeState, loadState, resolveSuccessorLineage, type WorkflowState, type SuccessorOf } from './review-codex'
 import { loadConfig, packageRoot, buildScriptInvocation, type DesignDocs, type PackageManager } from './lib/config'
 import { createGitAdapter, type GitAdapter } from './lib/adapters'
 import { parseStatusZ, formatStatusEntry, STATUS_Z_ARGS, type StatusEntry } from './lib/porcelain'
@@ -69,7 +71,7 @@ export function nextStepHint(pm: PackageManager, reqId: string): string {
   return `코드 변경 → git add → ${buildScriptInvocation(pm, 'req:review-codex', [id, '--run']).join(' ')}`
 }
 
-export function buildInitialState(reqId: string, branch: string, risk: 'LOW' | 'HIGH'): WorkflowState {
+export function buildInitialState(reqId: string, branch: string, risk: 'LOW' | 'HIGH', successorOf?: SuccessorOf): WorkflowState {
   return {
     id: reqId,
     branch,
@@ -87,7 +89,12 @@ export function buildInitialState(reqId: string, branch: string, risk: 'LOW' | '
     phases: [],
     // REQ-016 A1(D-016-6): grandfathering 트리거 — 신규 REQ는 승인 증거를 강제(FAIL), legacy(필드 부재)는 WARN.
     approval_evidence_required: true,
-  }
+    // REQ-2026-027 D1: review series 모델 버전. 첫 리뷰 전에도 존재해 "새 ticket(레코드 없음)"과
+    // "legacy(필드 부재)"를 구분한다. 필드 부재 = legacy → 새 재리뷰 시 AWAIT_HUMAN/throw(자동 초기화 금지).
+    review_series_model_version: 1,
+    // REQ-2026-029 D3: 대체 REQ면 부모 lineage(--successor-of). 빈 review_series로 새 예산 — 부모 이력만 보존.
+    ...(successorOf ? { successor_of: successorOf } : {}),
+  } as WorkflowState
 }
 
 function listExistingReqIds(workflowDir: string): string[] {
@@ -103,11 +110,12 @@ export interface Opts {
   title: string | null
   run: boolean
   root: string | null
+  successorOf: string | null // REQ-2026-029 D3: 부모 REQ id(대체 REQ lineage)
 }
 
 /** 인자 파싱(fail-closed): 잘못된 --risk·값 누락·알 수 없는 옵션은 즉시 throw(조용한 fallback 금지). */
 export function parseArgs(argv: string[]): Opts {
-  const o: Opts = { slug: null, risk: 'LOW', title: null, run: false, root: null }
+  const o: Opts = { slug: null, risk: 'LOW', title: null, run: false, root: null, successorOf: null }
   for (let i = 0; i < argv.length; i++) {
     const a = argv[i]
     if (a === undefined) continue
@@ -120,6 +128,10 @@ export function parseArgs(argv: string[]): Opts {
       const v = argv[++i]
       if (v === undefined) throw new Error('--root 값 필요')
       o.root = v
+    } else if (a === '--successor-of') {
+      const v = argv[++i]
+      if (v === undefined) throw new Error('--successor-of 값 필요(부모 REQ id)')
+      o.successorOf = v
     } else if (a === '--risk') {
       const v = argv[++i]
       if (v !== 'LOW' && v !== 'HIGH')
@@ -156,12 +168,29 @@ export function main(argv: string[] = process.argv.slice(2)): void {
   const ticketRootRel = relative(cfg.root, cfg.workflowDirAbs).replace(/\\/g, '/')
   const ticketRel = relative(cfg.root, ticketDir).replace(/\\/g, '/')
 
+  // REQ-2026-029 D3: --successor-of lineage 해소. **branch 생성·mkdir 前**에 검증(design-r01 observation) —
+  // 부모 없음·replace 기록 없음·형식 위반이면 여기서 throw해 티켓이 생성되지 않는다(R6 fail-closed).
+  let successorOf: SuccessorOf | undefined
+  if (o.successorOf !== null) {
+    const parentId = o.successorOf.startsWith('REQ-') ? o.successorOf : `REQ-${o.successorOf}`
+    const parentDir = join(cfg.workflowDirAbs, parentId)
+    let parentState: WorkflowState
+    try {
+      parentState = loadState(parentDir)
+    } catch {
+      throw new Error(`--successor-of ${parentId}: 부모 티켓 state를 읽을 수 없다(${parentDir})`)
+    }
+    // recorded_at은 자식 생성 시각(부모 값 아님). dry-run에선 검증만 하고 값은 버린다.
+    successorOf = resolveSuccessorLineage(parentState, parentId, new Date().toISOString())
+  }
+
   if (!o.run) {
     console.log('[req:new] DRY-RUN (--run 시 실제 생성)')
     console.log(`  REQ    : ${reqId}`)
     console.log(`  branch : ${branch}`)
     console.log(`  ticket : ${ticketRel}/ (state.json·${dd.requirement}·${dd.design}·${dd.plan}·codex-request.md)`)
     console.log(`  risk   : ${o.risk}`)
+    if (successorOf) console.log(`  successor_of : ${successorOf.req_id} (부모 ${successorOf.parent_attempts_total}회 · replace 승인 확인)`)
     return
   }
 
@@ -182,7 +211,7 @@ export function main(argv: string[] = process.argv.slice(2)): void {
 
   git(['checkout', '-b', branch]) // D11/DEC-WF-020: feat/req-* 생성·체크아웃
   mkdirSync(ticketDir, { recursive: true })
-  writeState(ticketDir, buildInitialState(reqId, branch, o.risk))
+  writeState(ticketDir, buildInitialState(reqId, branch, o.risk, successorOf))
   writeFileSync(join(ticketDir, dd.requirement), `# ${reqId} 요구사항\n\n${o.title ?? '(요구사항 작성)'}\n`, 'utf8')
   // DEC-WF-027 design-first: design·plan 스캐폴드도 함께 생성 — 첫 --kind design 리뷰가 문서 누락으로 fail-closed 되지 않게.
   writeFileSync(

package/scripts/req/req-next.ts

@@ -29,10 +29,14 @@ import {
   captureDesignBinding,
   captureIndexHash,
   findUnstagedOrUntracked,
+  isLegacyTicket,
+  openSeriesAttempts,
+  isSeriesKeyTerminal,
   type WorkflowState,
   type ReviewKind,
   type LastReviewMarker,
 } from './review-codex'
+import type { ReviewBudget } from './lib/config'
 
 // ─────────────────────────────────────────────── 읽기 전용 git 경계 (D6-1) ──
 
@@ -130,6 +134,8 @@ export interface NextInput {
   worktreeReviewClean: boolean
   /** 현재 인덱스 전체 해시(`captureIndexHash`). 계산 불가면 null. */
   currentIndexHash: string | null
+  /** REQ-2026-028 A-2a: review 예산(G3 escalated 판정용). main이 cfg에서 채운다. */
+  reviewBudget: ReviewBudget
 }
 
 /** `consumed_approvals[]`에서 phase_id를 안전하게 읽는다. */
@@ -355,6 +361,48 @@ function gateRunCandidate(input: NextInput, cand: RunCandidate): NextAction {
         '워킹트리에 unstaged/untracked 변경이 있어 리뷰(D10)가 실패한다. 의도한 변경은 `git add`, 그 외는 정리한 뒤 다시 req:next.',
     }
 
+  // terminal (REQ-2026-029 A-2b): human-resolution으로 종결된 키 → AWAIT_HUMAN. **G3보다 앞**(R4) — 종결된
+  // series는 예산 안내("고치고 예외 받으라")가 아니라 "이미 끝났다 — 대체 REQ" 안내가 맞다. G1보다는 뒤
+  // (dirty면 정리 먼저). 우선순위: G1 → terminal → G3 → G2.
+  if (isSeriesKeyTerminal(input.state, cand.kind, cand.phaseId))
+    return {
+      kind: 'AWAIT_HUMAN',
+      detail: '이 series는 human-resolution으로 종결됐다. 같은 키에서 자동으로 재개하지 않는다.',
+      controlPoint: 'human-resolution 종결됨',
+      approvalSentence: '대체가 필요하면 `req:new --successor-of <이 REQ>`로 만든다(종결 상태 유지 결정도 사람이 한다)',
+      diagnostics: ['종결 사유: human-resolution', '재개는 자동으로 일어나지 않는다 — 대체 REQ 또는 종결 유지.'],
+    }
+
+  // G3 (REQ-2026-028 A-2a): 자동 예산 소진(escalated) → AWAIT_HUMAN. **G2보다 앞**(R13) — 5회차 NEEDS_FIX
+  // 직후엔 escalated와 같은 바인딩 needs-fix가 동시 성립하는데, G2가 먼저 "findings 고치고 다시 add"(AGENT)를
+  // 내면 그 조언이 거짓이다(고쳐도 사람 승인 없이 6회차가 안 열린다). escalated는 파생값(저장 안 함, R11).
+  const openAttempts = openSeriesAttempts(input.state, cand.kind, cand.phaseId)
+  const { autoBudget, hardCap } = input.reviewBudget
+  if (openAttempts >= autoBudget) {
+    const nextAttempt = openAttempts + 1
+    const lrOutcome = (input.state.last_review as LastReviewMarker | undefined)?.outcome ?? '(없음)'
+    const hardBlocked = openAttempts >= hardCap
+    // ⚠️ "위험 수용"은 어느 문구에도 넣지 않는다(배분표 ④ — 부정문으로도 금지). 긍정 선택지만 나열.
+    const options = hardBlocked
+      ? '예외로도 진행 불가 — 종료하거나 정합한 대체 REQ를 작성한다.'
+      : '사람 승인 시 1회 예외 가능(review_exception_confirmed) · 종료 · 정합한 대체 REQ 작성.'
+    return {
+      kind: 'AWAIT_HUMAN',
+      detail: hardBlocked
+        ? `이 series는 하드 상한(hardCap=${hardCap})에 도달했다. ${nextAttempt}회차는 어떤 경로로도 실행하지 않는다.`
+        : `이 series는 자동 예산(autoBudget=${autoBudget})을 소진했다. ${nextAttempt}회차는 사람 결정이 필요하다.`,
+      controlPoint: 'review 예산 소진(escalated)',
+      approvalSentence: hardBlocked
+        ? 'review 하드 상한 도달 — 종료 또는 대체 REQ 작성(둘 중 하나를 사람이 결정)'
+        : `review ${nextAttempt}회차 예외 승인(또는 종료·대체 REQ 작성)`,
+      diagnostics: [
+        `series 시도 수(openAttempts)=${openAttempts} · 다음 회차=${nextAttempt}`,
+        `직전 리뷰 outcome=${lrOutcome}`,
+        `선택지: ${options}`,
+      ],
+    }
+  }
+
   // G2
   const lr = input.state.last_review as LastReviewMarker | undefined
   const sameTarget =
@@ -438,6 +486,18 @@ export function resolveNext(input: NextInput): NextAction {
       approvalSentence: 'req:commit --run 승인',
     }
 
+  // 1.5 legacy ticket(REQ-2026-027 D1): 모델 버전 부재 = legacy. 살아 있는 승인(1번)보다는 뒤 —
+  // 그건 소비만 하면 되고 새 외부 호출이 아니다. design/phase RUN 후보(2·3번)보다는 **앞** — 그 후보를
+  // 내면 사용자가 실행한 뒤에야 호출 지점에서 throw된다(R2는 AWAIT_HUMAN을 요구). 자동 초기화하지 않는다.
+  if (isLegacyTicket(state))
+    return {
+      kind: 'AWAIT_HUMAN',
+      detail:
+        'legacy ticket(review_series_model_version 부재)이다. 자동으로 새 모델로 초기화하지 않는다 — 사람이 이 티켓을 새 series 모델로 채택할지 결정해야 한다.',
+      controlPoint: 'legacy 티켓 채택',
+      approvalSentence: 'state.json에 review_series_model_version: 1 추가(이 티켓을 새 모델로 채택) 승인',
+    }
+
   // 2. 설계 문서가 인덱스에 없으면 3번의 freshness 판정(captureDesignBinding)이 throw한다. 여기서 먼저 거른다.
   if (!input.designDocsInIndex)
     return {
@@ -631,6 +691,7 @@ export function main(argv: string[] = process.argv.slice(2)): void {
     hasStagedChanges: roGit(['diff', '--cached', '--name-only']).trim().length > 0,
     worktreeReviewClean: findUnstagedOrUntracked(statusEntries, scratch, ticketRel).length === 0,
     currentIndexHash: captureIndexHash(roGit),
+    reviewBudget: cfg.reviewBudget,
   })
 
   if (opts.json) console.log(JSON.stringify({ req_id: state.id, ...action }, null, 2))