okstra 0.180.0 → 0.183.2

package/runtime/validators/validate_session_conformance.py

@@ -583,17 +583,29 @@ def _plan_body_rounds_ran(run_dir: Path, suffix: str | None) -> int:
     돈 run 은 매 라운드의 완료 워커가 그대로 남았다."""
     if not suffix:
         return 0
-    path = run_dir / "state" / f"plan-body-verification-{suffix}.json"
     try:
-        doc = json.loads(path.read_text())
+        doc = json.loads(_plan_body_state_path(run_dir, suffix).read_text())
     except (OSError, json.JSONDecodeError):
         return 0
     if not isinstance(doc, dict):
         return 0
-    rounds = doc.get("roundCount")
+    # 계약은 이 값을 중첩 `planBodyVerification`(자가수정 루프가 끝난 뒤의 최종
+    # 상태)에 둔다. 최상위는 라운드별 이력이라 라운드 수의 자리가 아니다.
+    projection = doc.get("planBodyVerification")
+    rounds = projection.get("roundCount") if isinstance(projection, dict) else None
     return rounds if isinstance(rounds, int) and rounds > 0 else 0
 
 
+def _plan_body_state_path(run_dir: Path, suffix: str) -> Path:
+    """이 run 의 plan-body 상태 파일.
+
+    `suffix` 는 team-state 이름에서 나온 **state** seq 다. `okstra_ctl/paths.py`
+    가 이 파일을 같은 seq 로 정의하므로 둘이 같은 곳을 가리킨다 — 리드가 리포트
+    seq 로 쓰면 여기서 못 찾고, 라운드 수가 0 으로 읽힌다.
+    """
+    return run_dir / "state" / f"plan-body-verification-{suffix}.json"
+
+
 def _ids_reported_as_asked(report_path: Path) -> list[str]:
     """리포트가 "사용자에게 물었다"고 기록한 열린 승인 차단 행의 id."""
     name = report_path.name
@@ -797,6 +809,26 @@ def _check_activity_worker_agents(
             )
 
 
+def _allowed_automatic_rounds(self_fix_rounds: int) -> int:
+    """이 run 이 돌아도 되는 자동 plan-body 라운드 수.
+
+    상한이 2 로 고정돼 있던 동안 다른 규칙과 정면으로 충돌했다.
+    `validators/validate-run.py` `_validate_verdict_rounds_outlive_self_fix` 는
+    자가수정 뒤 **모든** 항목이 그 rewrite 이후 라운드의 판정을 들고 있어야
+    한다고 요구한다. 그런데 자가수정 직후의 표적 재검증은 고친 항목만 덮으므로,
+    나머지 항목을 덮는 배치가 하나 더 필요하다 — 실측 run 에서 114항목 중 18개가
+    표적 라운드, 남은 96개가 그다음 라운드였다. 상한 2 는 그 마지막 배치를
+    금지하고, 금지에 따르면 96개가 고쳐지기 전 본문에 대한 판정을 게이트에 싣는다.
+
+    기준선은 2다 — 초기 검증과 재검증 한 번. 자가수정이 없어도 두 번째 배치가
+    필요할 수 있다: 동수이거나 상대 워커가 판정을 못 낸 항목은 `needs-reverify`
+    로 그 라운드에 실린다. 자가수정은 여기에 배치를 하나씩 더한다. 표적 재검증은
+    기준선의 두 번째 배치가 받고, 늘어나는 것은 그 라운드가 덮지 못한 잔여 항목을
+    일소하는 배치다.
+    """
+    return 2 + max(self_fix_rounds, 0)
+
+
 def _self_fix_rounds_applied(report_data: Mapping[str, Any]) -> int:
     planning = report_data.get("implementationPlanning")
     plan_verification = (
@@ -912,9 +944,12 @@ def _check_activity_round_counts(
         verification_rounds,
     )
     automatic_rounds = verification_rounds - len(user_reverification_rounds)
-    if automatic_rounds > 2:
+    self_fix_rounds = _self_fix_rounds_applied(report_data)
+    allowed_rounds = _allowed_automatic_rounds(self_fix_rounds)
+    if automatic_rounds > allowed_rounds:
         errors.append(
-            "activity contract: at most two plan verification batches are allowed; "
+            f"activity contract: at most {allowed_rounds} plan verification "
+            f"batch(es) are allowed for {self_fix_rounds} self-fix round(s); "
             f"roundCount={verification_rounds}, "
             f"humanReverificationRounds={sorted(user_reverification_rounds)}."
         )
@@ -922,9 +957,10 @@ def _check_activity_round_counts(
         errors.append(
             "activity contract: `verification-round-completed` count must match "
             f"automatic plan-body rounds={automatic_rounds} from "
-            f"roundCount={verification_rounds}; recorded={recorded_verifications}."
+            f"roundCount={verification_rounds} in "
+            f"{_plan_body_state_path(run_dir, suffix or '')}; "
+            f"recorded={recorded_verifications}."
         )
-    self_fix_rounds = _self_fix_rounds_applied(report_data)
     recorded_self_fixes = len(indexed.get("self-fix-applied", []))
     if recorded_self_fixes != self_fix_rounds:
         errors.append(