okstra 0.205.0 → 0.205.1

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "okstra",
-  "version": "0.205.0",
+  "version": "0.205.1",
   "description": "Host-aware multi-provider cross-verification orchestrator runtime and agent skills.",
   "license": "MIT",
   "author": "devonshin",

package/runtime/BUILD.json

@@ -1,5 +1,5 @@
 {
-  "package": "0.205.0",
-  "builtAt": "2026-09-24T06:19:35.404Z",
+  "package": "0.205.1",
+  "builtAt": "2026-09-24T12:56:22.833Z",
   "repoRoot": "/home/runner/work/okstra/okstra"
 }

package/runtime/python/okstra_ctl/incremental_carry.py

@@ -387,7 +387,16 @@ def _carry_unchanged_checklists(
 def _recompute_dispatch_queue(
     narrative: Mapping[str, Any],
     state_items: dict[str, dict],
+    stage_ledger: Mapping[str, Any] | None = None,
 ) -> list[str]:
+    """이월 뒤 남은 디스패치 큐.
+
+    stage 상태는 디스크 원장이 답한다. 그것 없이 서사의 depends-on 만으로 다시
+    세면 이미 구현된 stage 가 `ready` 로 읽혀 큐에 들어가고, 정작 이번 run 이
+    추가한 stage 는 의존이 안 풀린 것으로 보여 빠진다 — 큐가 정확히 뒤집힌다
+    (2026-09-24, jobs implementation-planning 003: stage 1~8 done + stage 9
+    추가인 carry-all run 에서 큐 33 → 60, 내용은 done stage 의 항목뿐).
+    """
     try:
         extracted = extract_plan_items(_planning(dict(narrative)))
     except (CarryError, PlanItemContractError, KeyError, TypeError):
@@ -404,7 +413,13 @@ def _recompute_dispatch_queue(
     }
     if not previous_hashes:
         return []
-    ledger = planning_stage_ledger(_planning(dict(narrative)))
+    ledger = planning_stage_ledger(
+        _planning(dict(narrative)),
+        {
+            str(stage): str(status)
+            for stage, status in (stage_ledger or {}).items()
+        },
+    )
     return reverify_item_ids(extracted, previous_hashes, ledger)
 
 
@@ -479,7 +494,9 @@ def merge_v3_plan_state(
     pbv["planItems"] = [
         state_items[item_id] for item_id in sorted(state_items)
     ]
-    queue = _recompute_dispatch_queue(narrative, state_items)
+    queue = _recompute_dispatch_queue(
+        narrative, state_items, pbv.get("stageLedger"),
+    )
     if queue:
         pbv["dispatchQueue"] = queue
     return state

package/runtime/python/okstra_ctl/plan_items_cli.py

@@ -1579,6 +1579,13 @@ def _reject_uncompleted_round_loss(
 
     이력이 없는 데이터(final-report `--data` 경로)는 대상이 아니다 — 라운드
     스냅샷을 갖는 것은 convergence 소유 상태 파일뿐이다.
+
+    직전 run 에서 이월된 표도 대상이 아니다. 그 행의 라운드 번호는 **그 run 의**
+    번호라 이번 run 의 이력에는 없고, 그래서 열린 라운드로 읽혔다 — 안내하는
+    `complete-round --round 2` 는 이번 run 에 존재하지도 않는 라운드라 실행할 수
+    없었다(2026-09-24, jobs implementation-planning 003: seed --prior-state 가
+    이월한 P-Dep·P-Var 5건이 round 1 적용을 막음). 그 표의 이력은 직전 run 의
+    상태 파일이 갖고 있다.
     """
     if not isinstance(history, list):
         return
@@ -1594,6 +1601,8 @@ def _reject_uncompleted_round_loss(
         for row in item.get("verdicts") or []:
             if not isinstance(row, Mapping):
                 continue
+            if str(row.get("carriedForwardFromSeq") or "").strip():
+                continue
             recorded_round = row.get("round")
             if (
                 isinstance(recorded_round, int)

package/runtime/validators/validate-run.py

@@ -1429,6 +1429,29 @@ def _dispatch_roster_key(row: Mapping[str, Any]) -> str:
         return ""
 
 
+def _dispatch_row_paths(team_state: Mapping[str, Any], worker_id: str) -> tuple[str, str]:
+    """이 로스터 워커의 dispatch 행이 기록한 (promptPath, resultPath).
+
+    v2 assignment 로 띄운 워커는 로스터 행의 경로가 빈 채로 남는다.
+    `workers[].promptPath` 는 첫 v1 dispatch 하나만 가리키는 필드이고 v2 행은
+    그것을 채우지 않는다(`okstra_ctl.dispatch_state.worker_dispatch_records` 의
+    주석, 2026-09-08 실측). 그래서 acceptance critic 처럼 v2 로만 띄우는 워커는
+    프롬프트와 결과 파일이 디스크에 그대로 있는데도 "promptPath 가 없다",
+    "결과 파일이 없다" 로 보고됐다(2026-09-24, jobs final-verification 002).
+    사실은 dispatch 행에 있으므로 그리로 폴백한다.
+    """
+    prompt = ""
+    result = ""
+    for row in team_state.get("workerDispatches") or ():
+        if not isinstance(row, Mapping) or _dispatch_roster_key(row) != worker_id:
+            continue
+        prompt = prompt or str(row.get("promptPath") or "")
+        result = result or str(
+            row.get("workerResultPath") or row.get("resultPath") or ""
+        )
+    return prompt, result
+
+
 def _validate_cmux_workers_were_dispatched_by_okstra(
     team_state: dict,
     workers: list,
@@ -1628,14 +1651,26 @@ def validate_team_state(
                 f"{role} must use modelExecutionValue `{expected_model_execution_value}`"
             )
 
+        # 경로는 로스터 행이 소유하지만 v2 dispatch 는 그 행을 채우지 않는다.
+        # 비어 있을 때만 dispatch 행에서 읽는다 — 로스터 행에 값이 있으면 그것이
+        # 대조 대상이다.
+        roster_prompt = str(worker.get("promptPath") or "")
+        roster_result = str(worker.get("resultPath") or "")
+        if not roster_prompt or not roster_result:
+            fallback_prompt, fallback_result = _dispatch_row_paths(
+                team_state, str(worker.get("workerId") or "")
+            )
+            roster_prompt = roster_prompt or fallback_prompt
+            roster_result = roster_result or fallback_result
+
         expected_result_relative = expected.get("resultPath")
-        result_relative = worker.get("resultPath", "")
+        result_relative = roster_result
         if expected_result_relative and result_relative != expected_result_relative:
             failures.append(
                 f"{role} must use resultPath `{expected_result_relative}`"
             )
         expected_prompt_relative = expected.get("promptPath")
-        prompt_relative = worker.get("promptPath", "")
+        prompt_relative = roster_prompt
         if expected_prompt_relative and prompt_relative != expected_prompt_relative:
             failures.append(
                 f"{role} must use promptPath `{expected_prompt_relative}`"

package/runtime/validators/validate_session_conformance.py

@@ -383,6 +383,9 @@ def _collect_lead_evidence(
         if candidate is not None:
             sessions.setdefault(sid, candidate)
     evidence = _LeadEvidence(window=(since, until))
+    ledger_progress = _ledger_progress(
+        team_state, run_manifest, project_root, task_type, suffix
+    )
     for sid, path in sorted(sessions.items()):
         progress, reads, agent_name = _scan_one_jsonl(path, since, until)
         if agent_name and sid != lead_sid:
@@ -400,7 +403,10 @@ def _collect_lead_evidence(
             "implementation entry-guard conformance cannot be verified, which "
             "fails the run (same principle as the token-usage accuracy contract)."
         )
-    evidence.progress.sort()
+    # 전사와 원장은 같은 체크포인트의 두 기록이다. 계약은 둘 다 요구하고
+    # (`lead-progress append` 로 기록, 같은 줄을 대화에 raw 로 emit), 검사는
+    # 어느 쪽에 남았든 그 체크포인트를 본 것으로 판정한다.
+    evidence.progress = _merge_progress(evidence.progress, ledger_progress)
     for ts_list in evidence.sidecar_reads.values():
         ts_list.sort()
     if _is_activity_contract_v1_planning(run_manifest):
@@ -643,6 +649,69 @@ def _collect_artifact_lead_evidence(
     return evidence, None
 
 
+def _ledger_progress(
+    team_state: dict,
+    run_manifest: Mapping[str, Any],
+    project_root: Path,
+    task_type: str,
+    suffix: str | None,
+) -> list[tuple[str, str, str]]:
+    """원장에 기록된 이 run 의 PROGRESS 체크포인트. 못 읽으면 빈 목록.
+
+    `okstra lead-progress append` 는 호스트와 무관하게 체크포인트를
+    `leadEventsPath` 에 쓰고, 리드 계약은 모든 체크포인트를 그 명령으로
+    기록하라고 요구한다(`prompts/lead/okstra-lead-contract.md` "Progress
+    reporting"). 그런데 `claude-jsonl` 증거 경로는 세션 전사만 훑어서, 계약대로
+    기록한 run 이 체크포인트 전건 누락으로 보고됐다 — 기본 호스트에서 그 명령의
+    출력을 읽는 소비자가 없었다(2026-09-24, jobs final-verification 002:
+    원장에 progress 30행, advisory 10건).
+
+    원장 행은 스크랩한 대화 텍스트보다 약한 증거가 아니다. `--phase` 는 열거된
+    phase id 만 받고 `--worker` 는 로스터 역할로 다시 쓰이므로, 그 행은 검증된
+    입력으로 okstra 자신이 쓴 것이다.
+    """
+    events_path, _error = _resolve_lead_events_path(
+        team_state, run_manifest, project_root
+    )
+    if events_path is None:
+        return []
+    try:
+        events = read_lead_events(events_path)
+    except LeadEventParseError:
+        return []
+    run_seq = _run_sequence(run_manifest, suffix)
+    rows: list[tuple[str, str, str]] = []
+    for event in events:
+        if event.event_type not in ("progress", "progress-checkpoint"):
+            continue
+        if not _event_matches_run(event, team_state, run_manifest, task_type, run_seq):
+            continue
+        progress = _progress_line_from_event(event)
+        if progress is not None:
+            rows.append(progress)
+    return rows
+
+
+def _merge_progress(
+    rows: list[tuple[str, str, str]],
+    extra: list[tuple[str, str, str]],
+) -> list[tuple[str, str, str]]:
+    """두 증거 출처의 체크포인트를 합친다. 같은 줄은 한 번만 남는다.
+
+    리드는 계약상 원장에 기록하고 같은 줄을 대화에 내보내므로, 합치면 같은
+    체크포인트가 두 번 들어온다. 서술 정확성 검사는 줄 단위로 대조하니 중복은
+    판정을 바꾸지 않지만, 보고 문구에 같은 줄이 두 번 실리는 것을 막는다.
+    """
+    seen = {(phase, line) for _ts, phase, line in rows}
+    for ts, phase, line in extra:
+        if (phase, line) in seen:
+            continue
+        seen.add((phase, line))
+        rows.append((ts, phase, line))
+    rows.sort()
+    return rows
+
+
 def _conformance_evidence_source(
     team_state: dict,
 ) -> tuple[str | None, str | None]: