okstra 0.189.4 → 0.190.0

package/runtime/validators/validate_session_conformance.py

@@ -508,6 +508,42 @@ def _read_scoped_lead_activities(
     return activities, events_path, None
 
 
+# 리드가 `progress` 행을 빠뜨려도 같은 사실이 activity 원장에 남아 있는
+# 체크포인트. 값은 `okstra agent-activity append --kind` 가 받는 것과 같고,
+# 왼쪽이 그 kind, 오른쪽이 그것이 증명하는 PROGRESS phase 다.
+_ACTIVITY_PROGRESS_PHASE = {
+    "worker-dispatched": "phase-4-dispatch",
+    "worker-completed": "phase-5-collect",
+    "verification-round-completed": "phase-5.5-convergence",
+}
+
+
+def _progress_from_activity(event) -> tuple[str, str, str] | None:
+    """activity 한 행이 증명하는 PROGRESS 체크포인트.
+
+    `PROGRESS:` 는 사용자가 보는 대화 텍스트이고, artifact-only 호스트에서는
+    리드가 그것을 `leadEventsPath` 에 손으로 append 해야 검증에 잡힌다. 리드가
+    그 행을 빠뜨리면 워커를 실제로 띄우고 거둔 run 도 체크포인트 전건 누락으로
+    보고됐다 — 그 사실이 `okstra agent-activity append` 가 쓴 activity 행에
+    이미 기록돼 있는데도(실측: dev-10784 error-analysis, advisory 22건 중 9건이
+    activity 원장으로 확인 가능한 항목이었다). 원장에 있는 것은 원장에서 읽는다.
+
+    나머지 체크포인트(intake·prompts·team-create·synthesis·persist)는 대응하는
+    activity kind 가 없다. 그것들은 여전히 리드가 남겨야 하고, 없으면 없다고
+    보고된다.
+    """
+    details = event.details
+    phase = _ACTIVITY_PROGRESS_PHASE.get(str(details.get("kind") or ""))
+    if phase is None:
+        return None
+    agent = str(details.get("agent") or "").strip()
+    if not agent or agent == "okstra-lead":
+        # 리드 자신을 주체로 적은 행은 워커를 지목하지 않는다. 워커별 체크포인트
+        # 검사는 이름을 대조하므로, 이름 없는 행으로 그 검사를 만족시키지 않는다.
+        return (event.timestamp, phase, f"PROGRESS: {phase}")
+    return (event.timestamp, phase, f"PROGRESS: {phase} worker={agent}")
+
+
 def _progress_line_from_event(event) -> tuple[str, str, str] | None:
     details = event.details
     phase = details.get("phase")
@@ -568,6 +604,7 @@ def _collect_artifact_lead_evidence(
 
     run_seq = _run_sequence(run_manifest, suffix)
     evidence = _LeadEvidence(scanned_files=[events_path])
+    from_activities: list[tuple[str, str, str]] = []
     for event in events:
         if not _event_matches_run(
             event, team_state, run_manifest, task_type, run_seq
@@ -575,6 +612,9 @@ def _collect_artifact_lead_evidence(
             continue
         if event.event_type == "activity":
             evidence.activities.append(event)
+            derived = _progress_from_activity(event)
+            if derived is not None:
+                from_activities.append(derived)
         elif event.event_type in ("progress", "progress-checkpoint"):
             progress = _progress_line_from_event(event)
             if progress is not None:
@@ -585,6 +625,12 @@ def _collect_artifact_lead_evidence(
                 basename, timestamp = read
                 evidence.sidecar_reads.setdefault(basename, []).append(timestamp)
 
+    if not evidence.progress:
+        # 리드가 `progress` 행을 하나도 남기지 않은 run 에서만 원장으로 대신
+        # 읽는다. 한 줄이라도 남긴 run 에서는 그 줄들이 검사 대상이다 — 거기서
+        # 원장을 섞으면 "PROGRESS 라인의 `worker=` 가 로스터 역할과 일치하는가"
+        # 라는 서술 정확성 검사가 대조할 것을 잃는다.
+        evidence.progress.extend(from_activities)
     evidence.progress.sort()
     for ts_list in evidence.sidecar_reads.values():
         ts_list.sort()
@@ -1299,6 +1345,7 @@ def _check_activity_contract(
 def _check_user_confirm_checkpoints(
     by_phase: dict[str, list[tuple[str, str]]],
     asked_ids: list[str],
+    activities: list,
     errors: list[str],
 ) -> None:
     """"물어봤다"는 리포트의 기록에는 물어본 흔적이 세션에 남아 있어야 한다.
@@ -1313,8 +1360,21 @@ def _check_user_confirm_checkpoints(
         return
     detail = "prompts/lead/okstra-lead-contract.md 'User confirmation before an approval blocker'"
     asked_lines = " ".join(line for _ts, line in by_phase.get("user-confirm", []))
+    # 원장이 더 강한 증거다. `okstra agent-activity append --kind
+    # user-decision-required --evidence-ref C-NNN` 이 남긴 행은 리드가 그
+    # 질문을 실제로 냈다는 구조화된 기록이고, 대화에 같은 문장을 냈는지보다
+    # 확실하다. 실측(dev-10784 error-analysis): 리드가 C-001·C-002 를 묻고
+    # 두 행을 정확히 남겼는데, 이 검사가 대화 텍스트만 보아 둘 다 누락으로
+    # 보고했다.
+    asked_in_ledger = {
+        ref
+        for event in activities
+        if event.details.get("kind") == "user-decision-required"
+        for ref in (event.details.get("evidenceRefs") or [])
+        if isinstance(ref, str)
+    }
     for row_id in asked_ids:
-        if row_id in asked_lines:
+        if row_id in asked_lines or row_id in asked_in_ledger:
             continue
         errors.append(
             f"PROGRESS checkpoint missing: `user-confirm {row_id}` — the final "
@@ -1325,6 +1385,38 @@ def _check_user_confirm_checkpoints(
         )
 
 
+def _check_user_confirm_activities(
+    evidence: _LeadEvidence,
+    report_path: Path,
+    errors: list[str],
+) -> None:
+    """artifact-only 호스트에서 "물어봤다"를 확인하는 자리.
+
+    `_check_user_confirm_checkpoints` 와 같은 질문에 답하되, 근거를 대화
+    텍스트가 아니라 activity 원장의 `user-decision-required` 행에서 찾는다.
+    리드는 `okstra agent-activity append --kind user-decision-required
+    --evidence-ref C-NNN` 으로 그 행을 남긴다.
+    """
+    asked_ids = _ids_reported_as_asked(report_path)
+    if not asked_ids:
+        return
+    required = [
+        event
+        for event in evidence.activities
+        if event.details.get("kind") == "user-decision-required"
+    ]
+    for row_id in asked_ids:
+        if any(_activity_references(event, row_id) for event in required):
+            continue
+        errors.append(
+            f"activity contract: the final report records `{row_id}` as an "
+            "approval blocker the user was asked about, but no "
+            "`user-decision-required` activity references it. Ask before "
+            "writing the row, then record it with `okstra agent-activity "
+            f"append --kind user-decision-required --evidence-ref {row_id}`."
+        )
+
+
 def _phase_mentions_worker(
     lines: list[tuple[str, str]], roles: set[str]
 ) -> bool:
@@ -1525,7 +1617,7 @@ def _check_progress_checkpoints(
         by_phase, _plan_body_rounds_ran(run_dir, suffix), narration
     )
     _check_user_confirm_checkpoints(
-        by_phase, _ids_reported_as_asked(report_path), errors
+        by_phase, _ids_reported_as_asked(report_path), evidence.activities, errors
     )
 
 
@@ -1744,6 +1836,7 @@ def _check_entry_guard_reads(
     errors: list[str],
     instruction_set: Path | None,
     task_type: str,
+    evidence_source: str = "claude-jsonl",
 ) -> None:
     """검사 3 — entry guard. fresh-read 규칙(이전 run 기억으로 갈음 불가)은 run
     윈도우 스코핑이 보장한다: 이번 윈도우 안의 Read 만 증거로 인정된다.
@@ -1751,6 +1844,12 @@ def _check_entry_guard_reads(
     anchor 가 있는 행은 존재 + 순서를, anchor 가 `None` 인 행은 존재만 본다.
     `staged_per_run` 행은 이 run 의 instruction-set 에 실제로 있을 때만,
     `required_when` 행은 그 PROGRESS 체크포인트가 이 run 에 있을 때만 요구한다."""
+    if evidence_source == "artifact-only":
+        # `_check_cmux_adapter_read` 와 같은 사유다: artifact-only 호스트의
+        # 리드는 파일을 읽어도 그 사실을 남길 도구 기록이 없다. 그 자리에서
+        # "읽은 흔적이 없다"는 읽지 않았다는 뜻이 아니라 기록 형식이 없다는
+        # 뜻이고, 그 둘을 구분하지 못하는 검사는 판정하지 않는다.
+        return
     seen_phases = {phase for _ts, phase, _line in evidence.progress}
     anchor_phases = {row.anchor[0] for row in _ENTRY_GUARD_READS if row.anchor}
     anchors: dict[str, str] = {}
@@ -1859,5 +1958,6 @@ def validate_session_conformance(
         result.errors,
         _instruction_set_dir(run_dir, suffix, project_root),
         task_type,
+        evidence_source,
     )
     return result