okstra 0.200.0 → 0.201.0

package/runtime/templates/reports/html/i18n/en.json

@@ -446,6 +446,9 @@
       "verdict": "Verdict",
       "counterevidence": "Strongest counterevidence",
       "safety-blockers": "Safety blockers",
+      "technical-verification": "Technical verification pending",
+      "user-decision": "User decision record",
+      "classification-required": "Classification required before reassembly",
       "unresolved-facts": "Unresolved feasibility facts",
       "expected-outcome": "Expected outcome",
       "coverage-line": "Covers {covered} of {total} requirements ({verdict}).",
@@ -686,6 +689,14 @@
       "decision-needed": "Decision needed",
       "glossary": "Glossary",
       "decision-record": "Decision record"
+    },
+    "technical-verification": {
+      "source": "Source comparison",
+      "scope": "Technical evidence only; no implementation direction is approved.",
+      "checks": "Experiment plans and observations",
+      "confirming": "Confirming signal",
+      "rejecting": "Rejecting signal",
+      "next": "Return to comparison"
     }
   }
 }

package/runtime/templates/reports/html/i18n/ko.json

@@ -446,6 +446,9 @@
       "verdict": "판정",
       "counterevidence": "가장 강한 반대 근거",
       "safety-blockers": "안전 차단 요인",
+      "technical-verification": "기술 검증 대기",
+      "user-decision": "사용자 결정 기록",
+      "classification-required": "재조립 전 해결 방식 분류 필요",
       "unresolved-facts": "미확정 실행 가능성 사실",
       "expected-outcome": "예상 결과",
       "coverage-line": "요구사항 {total}개 중 {covered}개를 충족합니다({verdict}).",
@@ -686,6 +689,14 @@
       "decision-needed": "결정 필요",
       "glossary": "용어집",
       "decision-record": "결정 기록"
+    },
+    "technical-verification": {
+      "source": "검증 대상 비교 보고서",
+      "scope": "기술적 근거만 수집하며 구현 방향을 승인하지 않습니다.",
+      "checks": "시험 계획과 관측 결과",
+      "confirming": "가설을 지지하는 신호",
+      "rejecting": "가설을 반박하는 신호",
+      "next": "구현 방향 재비교"
     }
   }
 }

package/runtime/templates/reports/html/tasks/implementation-option-selection.template.html

@@ -33,8 +33,7 @@
       <table data-report-field="implementationOptionSelection.rankedOptions.feasibilityVotes"><thead><tr><th>{{ t('tasks.implementation-option-selection.worker') }}</th><th>{{ t('tasks.implementation-option-selection.reason') }}</th><th>{{ t('tasks.implementation-option-selection.counterevidence') }}</th></tr></thead><tbody>{% for vote in row.feasibilityVotes %}<tr>{{ row_key(pairs=[(t('tasks.implementation-option-selection.worker'), vote.worker)], status_name=t('tasks.implementation-option-selection.verdict'), status_raw=vote.verdict, status_text=vote.verdict | enum_label('feasibilityVerdict')) }}<td>{{ vote.rationale | inline_code(extra) }}</td><td>{{ vote.counterevidence | inline_code(extra) }}</td></tr>{% endfor %}</tbody></table>
       {% if row.safetyBlockers %}<p><strong>{{ t('tasks.implementation-option-selection.safety-blockers') }}</strong></p>
       <ul>{% for blocker in row.safetyBlockers %}<li><span class="status status-risk">{{ blocker.category | enum_label('safetyCategory') }}</span> {{ blocker.statement | inline_code(extra) }} <span class="evidence-refs">{{ t('macros.layout.evidence') }} {{ blocker.evidence | evidence_refs(extra) }}</span></li>{% endfor %}</ul>{% endif %}
-      {% if row.unresolvedFeasibilityFacts %}<p><strong>{{ t('tasks.implementation-option-selection.unresolved-facts') }}</strong></p>
-      <ul>{% for fact in row.unresolvedFeasibilityFacts %}<li>{{ fact.fact | inline_code(extra) }} — {{ t('tasks.implementation-option-selection.why-it-matters') }} {{ fact.whyItMatters | inline_code(extra) }} <span class="evidence-refs">{{ t('macros.layout.evidence') }} {{ fact.evidence | evidence_refs(extra) }}</span></li>{% endfor %}</ul>{% endif %}
+      {{ unresolved_facts(row, extra) }}
     </div>
     <div class="option-detail">
       <h4>{{ t('tasks.implementation-option-selection.expected-outcome') }}</h4>
@@ -48,6 +47,11 @@
 </article>
 {%- endmacro %}
 
+{% macro unresolved_facts(row, extra) -%}
+{% if row.unresolvedFeasibilityFacts %}<p><strong>{{ t('tasks.implementation-option-selection.unresolved-facts') }}</strong></p>
+      <ul>{% for fact in row.unresolvedFeasibilityFacts %}<li>{% if fact.get('resolutionKind') == 'technical-verification' %}{{ t('tasks.implementation-option-selection.technical-verification') }}: {% elif fact.get('resolutionKind') == 'user-decision' %}{{ t('tasks.implementation-option-selection.user-decision') }} ({{ fact.get('clarificationRefs', []) | join(', ') | inline_code(extra) }}): {% else %}{{ t('tasks.implementation-option-selection.classification-required') }}: {% endif %}{{ fact.fact | inline_code(extra) }} — {{ t('tasks.implementation-option-selection.why-it-matters') }} {{ fact.whyItMatters | inline_code(extra) }} <span class="evidence-refs">{{ t('macros.layout.evidence') }} {{ fact.evidence | evidence_refs(extra) }}</span></li>{% endfor %}</ul>{% endif %}
+{%- endmacro %}
+
 {% block human_content %}
 <section data-report-section="selection-status">
   <h2>{{ t('tasks.implementation-option-selection.selection-status') }}</h2>
@@ -89,6 +93,6 @@
 
 <section data-report-section="candidate-audit" data-report-field="implementationOptionSelection.candidateAudit">
   <h2>{{ t('tasks.implementation-option-selection.candidate-audit') }}</h2>
-  <table><thead><tr><th>{{ t('tasks.implementation-option-selection.candidate') }}</th><th>{{ t('tasks.implementation-option-selection.goal-column') }}</th><th>{{ t('tasks.implementation-option-selection.disposition') }}</th><th>{{ t('tasks.implementation-option-selection.reason') }}</th><th>{{ t('macros.layout.coverage-percent') }}</th><th>{{ t('macros.layout.scope-precision-percent') }}</th></tr></thead><tbody>{% for row in selection.candidateAudit %}<tr id="id-{{ row.id }}">{{ row_key(pairs=[(t('macros.layout.id'), row.id), (t('macros.layout.proposed-by'), row.proposedBy)]) }}<td>{{ row.goal | inline_code(cardLinks.get(row.id, {})) }}{% if row.get("scopeCommitments") %}<ul class="audit-commitments">{% for item in row.scopeCommitments %}<li id="id-{{ row.id }}-{{ item.id }}">{{ item.id | inline_code(cardLinks.get(row.id, {})) }} · {{ item.commitment | inline_code(cardLinks.get(row.id, {})) }}</li>{% endfor %}</ul>{% endif %}</td><td>{{ row.disposition }}{% if row.mergedInto %} → {{ row.mergedInto | inline_code }}{% endif %}</td><td>{{ row.reason | inline_code }}</td><td>{{ row.coverageSummary.coveragePercent }}</td><td>{{ row.coverageSummary.scopePrecisionPercent }}</td></tr>{% else %}<tr><td colspan="6">{{ t('tasks.implementation-option-selection.no-audit-entries') }}</td></tr>{% endfor %}</tbody></table>
+  <table><thead><tr><th>{{ t('tasks.implementation-option-selection.candidate') }}</th><th>{{ t('tasks.implementation-option-selection.goal-column') }}</th><th>{{ t('tasks.implementation-option-selection.disposition') }}</th><th>{{ t('tasks.implementation-option-selection.reason') }}</th><th>{{ t('macros.layout.coverage-percent') }}</th><th>{{ t('macros.layout.scope-precision-percent') }}</th></tr></thead><tbody>{% for row in selection.candidateAudit %}<tr id="id-{{ row.id }}">{{ row_key(pairs=[(t('macros.layout.id'), row.id), (t('macros.layout.proposed-by'), row.proposedBy)]) }}<td>{{ row.goal | inline_code(cardLinks.get(row.id, {})) }}{% if row.get("scopeCommitments") %}<ul class="audit-commitments">{% for item in row.scopeCommitments %}<li id="id-{{ row.id }}-{{ item.id }}">{{ item.id | inline_code(cardLinks.get(row.id, {})) }} · {{ item.commitment | inline_code(cardLinks.get(row.id, {})) }}</li>{% endfor %}</ul>{% endif %}</td><td>{{ row.disposition }}{% if row.mergedInto %} → {{ row.mergedInto | inline_code }}{% endif %}</td><td>{{ row.reason | inline_code }}{{ unresolved_facts(row, cardLinks.get(row.id, {})) }}</td><td>{{ row.coverageSummary.coveragePercent }}</td><td>{{ row.coverageSummary.scopePrecisionPercent }}</td></tr>{% else %}<tr><td colspan="6">{{ t('tasks.implementation-option-selection.no-audit-entries') }}</td></tr>{% endfor %}</tbody></table>
 </section>
 {% endblock %}

package/runtime/templates/reports/html/tasks/technical-verification.template.html

@@ -0,0 +1,35 @@
+{% extends "html/base.template.html" %}
+{% block human_content %}
+<section data-report-section="technical-source" data-report-field="technicalVerification.sourceReport">
+  <h2>{{ t('tasks.technical-verification.source') }}</h2>
+  <p>{{ verification.sourceReport | inline_code }}</p>
+  <p>{{ t('tasks.technical-verification.scope') }}</p>
+</section>
+<section data-report-section="technical-checks" data-report-field="technicalVerification.checks">
+  <h2>{{ t('tasks.technical-verification.checks') }}</h2>
+  {% for row in verification.checks %}
+  <article id="id-{{ row.id }}">
+    <h3>{{ row.id }} · {{ row.candidateId }} · {{ row.status }}</h3>
+    <p>{{ row.fact | inline_code }}</p>
+    <p>{{ row.hypothesis | inline_code }}</p>
+    <p>{{ row.procedure | inline_code }}</p>
+    <dl>
+      <dt>{{ t('tasks.technical-verification.confirming') }}</dt><dd>{{ row.confirmingSignal | inline_code }}</dd>
+      <dt>{{ t('tasks.technical-verification.rejecting') }}</dt><dd>{{ row.rejectingSignal | inline_code }}</dd>
+    </dl>
+    <p>{{ row.observation | inline_code }}</p>
+    {% for command in row.commands %}
+    <pre><code>{{ command.command }}</code></pre>
+    <p><code>{{ command.cwd }}</code> · {{ command.exitCode }}</p>
+    <p>{{ [command.logPath] | code_evidence }}</p>
+    {% endfor %}
+    <ul>{% for limitation in row.limitations %}<li>{{ limitation | inline_code }}</li>{% endfor %}</ul>
+  </article>
+  {% endfor %}
+</section>
+<section data-report-section="technical-routing" data-report-field="technicalVerification.routing">
+  <h2>{{ t('tasks.technical-verification.next') }}</h2>
+  <p>{{ verification.routing.nextTaskType | inline_code }}</p>
+  <p>{{ verification.routing.rationale | inline_code }}</p>
+</section>
+{% endblock %}

package/runtime/templates/reports/md/tasks/technical-verification.template.md

@@ -0,0 +1,5 @@
+{% import "md/macros/sections.md" as s with context -%}
+{{ s.section("technicalVerification.sourceReport", "Source Comparison") }}
+{{ s.section("technicalVerification.checks", "Experiment Plans and Observations") }}
+{{ s.section("technicalVerification.routing", "Return to Comparison") }}
+{{ md_rest("technicalVerification", 3) }}

package/runtime/validators/validate-run.py

@@ -87,6 +87,7 @@ from okstra_ctl.stage_citations import enumerated_stage_numbers  # noqa: E402
 from okstra_ctl.plan_items import (  # noqa: E402
     CRITIC_WORKER_ID,
     advisory_plan_body_gating,
+    requires_plan_repair,
     analyser_key as _analyser_key,
     is_critic_worker,
     lead_decision_basis,
@@ -116,6 +117,7 @@ from okstra_ctl.final_report_paths import (  # noqa: E402
     translation_sidecar_path,
 )
 from okstra_token_usage.report import _match_worker_index  # noqa: E402
+from okstra_ctl.technical_verification import validate_technical_verification_report
 from okstra_ctl.implementation_options import (  # noqa: E402
     validate_blocked_answer_channel,
     validate_implementation_option_selection,
@@ -3310,6 +3312,7 @@ def validate_final_report_data(
     _validate_verifier_discrepancy_names_checklist_phase(
         data, report_path, project_root, failures
     )
+    failures.extend(validate_technical_verification_report(data, report_path, project_root or report_path.parent))
     if task_type == "implementation-option-selection":
         selection = data.get("implementationOptionSelection") or {}
         validation_root = project_root or report_path.parent
@@ -4163,7 +4166,7 @@ def _recompute_plan_body_gate(
         return None
     if all(c == "all-non-result" for c in classes):
         return "aborted-non-result"
-    if pbv.get("gating") is False:
+    if pbv.get("gating") is False and not requires_plan_repair(pbv):
         if any(c in ("majority-disagree", "has-dissent", "needs-reverify", "all-non-result") for c in classes):
             return "passed-with-dissent"
         return "passed"
@@ -4297,7 +4300,7 @@ def _gate_blocking_causes(
     """Which inputs actually block approval, as `gateBlockedBy` enum values."""
     causes = set()
     recomputed = _recompute_plan_body_gate(pbv, accepted_item_ids)
-    if pbv.get("gating") is False:
+    if pbv.get("gating") is False and not requires_plan_repair(pbv):
         if recomputed == "aborted-non-result":
             causes.add("non-result")
         return causes
@@ -6181,6 +6184,8 @@ def _validate_advisory_plan_body_gating(data: dict, failures: list[str]) -> None
     if not isinstance(pbv, dict) or pbv.get("gating") is not False:
         return
     facts = ip.get("designPreparation") is not None or ip.get("stageMap") or ip.get("stages")
+    if requires_plan_repair(pbv):
+        failures.append("plan-body-verification: objective verification defects require gating=true; repair the affected items")
     if facts and not advisory_plan_body_gating(ip):
         failures.append(
             "final-report data.json: implementationPlanning.planBodyVerification "
@@ -7109,7 +7114,7 @@ def _validate_plan_body_clarification_matching(
     # 게이트 계산은 이미 그것을 존중한다(`_recompute_plan_body_gate`,
     # `_gate_blocking_causes`). 이 검사만 그 상태를 안 보면 자문 라운드가
     # 승인 차단 행을 강제하게 되어, 막지 않기로 한 판정이 다시 막는다.
-    if pbv.get("gating") is False:
+    if pbv.get("gating") is False and not requires_plan_repair(pbv):
         return
     accepted = (
         _resolved_noncritical_dissent_ids(data)
@@ -7178,7 +7183,7 @@ def _validate_self_fix_before_clarification(data: dict, failures: list[str]) ->
     # 자문 라운드에 planner-fixable 과반 반대가 하나라도 나오면 통과 가능한
     # 값이 없다. `okstra plan-items complete-round` 도 자문 라운드의 self-fix
     # 기록을 거부하므로(plan_items_cli.py) 우회로도 없다.
-    if pbv.get("gating") is False:
+    if pbv.get("gating") is False and not requires_plan_repair(pbv):
         return
     if _self_fix_budget_exhausted(pbv):
         return