okstra 0.186.6 → 0.186.7

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "okstra",
-  "version": "0.186.6",
+  "version": "0.186.7",
   "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.186.6",
-  "builtAt": "2026-08-24T10:57:13.340Z",
+  "package": "0.186.7",
+  "builtAt": "2026-08-24T14:17:01.495Z",
   "repoRoot": "/home/runner/work/okstra/okstra"
 }

package/runtime/python/okstra_ctl/plan_items_cli.py

@@ -641,6 +641,7 @@ def _verdict_row(worker: str, block: VerdictBlock) -> dict[str, Any]:
         ("breakageKind", block.breakage_kind),
         ("fixability", block.fixability),
         ("note", block.note),
+        ("explanation", block.explanation),
     ):
         if value:
             row[key] = value

package/runtime/python/okstra_ctl/report_contract.py

@@ -130,6 +130,7 @@ IMPLEMENTATION_PLANNING_LEGACY_REQUIRED_HUMAN_FIELDS = (
     "implementationPlanning.tradeoffMatrix",
     "implementationPlanning.recommendedOption",
     "implementationPlanning.stageMap",
+    "implementationPlanning.planBodyVerification",
 )
 
 IMPLEMENTATION_PLANNING_PLAN_READY_REQUIRED_HUMAN_FIELDS = (
@@ -138,6 +139,7 @@ IMPLEMENTATION_PLANNING_PLAN_READY_REQUIRED_HUMAN_FIELDS = (
     "implementationPlanning.coverageSummary",
     "implementationPlanning.stageMap",
     "implementationPlanning.requirementCoverage",
+    "implementationPlanning.planBodyVerification",
 )
 
 IMPLEMENTATION_PLANNING_INVALIDATED_REQUIRED_HUMAN_FIELDS = (

package/runtime/python/okstra_ctl/report_html/common.py

@@ -2,11 +2,8 @@
 from __future__ import annotations
 
 
-# Every block whose rows prose cites but no section of its own renders, with
-# the keys each one names its content, its provenance, and its confidence by. A
-# key hunt across all of them would misread `crossVerification.consensus`, whose
-# `evidence` key holds provenance while `evidence.primary` uses the same word
-# for content — so the block a row came from is named here rather than guessed.
+# 본문이 인용하지만 전용 섹션이 없는 행만 대장에 넣는다. 키 이름만으로
+# 블록을 고르면 `evidence.primary` 의 내용과 다른 블록의 출처 칸이 섞인다.
 #
 # Source and confidence are separate columns because most blocks carry only one
 # of the two: `evidence.primary` cites a file and never rates itself, while
@@ -29,8 +26,6 @@ _LEDGER_BLOCKS = (
     (("analysisCommon", "confirmedFacts"), "statement", "", "", "confirmed-fact"),
     (("analysisCommon", "inferences"), "statement", "", "confidence", "inference"),
     (("analysisCommon", "unknowns"), "question", "reason", "", "unknown"),
-    (("crossVerification", "consensus"), "statement", "evidence", "", "cross-check-consensus"),
-    (("crossVerification", "differences"), "disagreement", "workersPosition", "", "cross-check-dissent"),
     (("missingInformation",), "item", "risk", "", "missing-information"),
     (("followUpTasks",), "title", "reason", "", "follow-up"),
 )

package/runtime/python/okstra_ctl/report_html/render.py

@@ -157,6 +157,9 @@ def render_v2_html_view(
         "sourceData": source_data,
         "dataSha256": _sha256(data_path),
         "clarificationItems": data.get("clarificationItems", []),
+        # 합의·이견 근거는 태스크 본문과 같이 기본 화면에 올린다. 근거 대장
+        # 감사 모드에만 두면 판정이 사용자에게 안 보인다.
+        "crossVerification": data.get("crossVerification") or {},
         # Every task type ends with the same run-cost section, so it is bound
         # here rather than in ten view models that would each rebuild it.
         "runUsage": run_usage(data),

package/runtime/python/okstra_ctl/report_html/view_models/implementation_planning.py

@@ -89,16 +89,13 @@ def _stage_figure(planning: dict):
     return stage_map_figure(nodes=nodes, edges=edges, title="Implementation stage dependencies")
 
 
-# Blocks the approver's view leaves to the markdown report: the checklist the
-# implementer works from, the dependency and rollback tables an incident reader
-# needs, and the verification rounds the audit trail keeps. Declared here so the
-# ids they carry stop being anchor targets in this document.
+# 승인자가 보지 않는 구현자·사고 대응 표. 계획 본문 검증은 판정과 근거가
+# 승인 판단이라 여기 두지 않는다.
 _OMITTED_FIELDS = (
     "validationChecklist",
     "crossProjectDependencies",
     "dependencyMigrationRisk",
     "rollbackStrategy",
-    "planBodyVerification",
 )
 
 

package/runtime/schemas/final-report-v2.0.schema.json

@@ -9330,6 +9330,10 @@
                     "note": {
                       "type": "string"
                     },
+                    "explanation": {
+                      "type": "string",
+                      "description": "The worker's two-to-three-sentence verdict rationale. Distinct from `note`, which records the falsification candidate considered even on AGREE."
+                    },
                     "round": {
                       "description": "The plan-body verification round this verdict was cast in. A self-fix round rewrites the plan after a verification round, so a verdict whose round is at or before `selfFixRoundsApplied` judged text that has since changed. Without it there is no way to tell how many rewrites a surviving verdict predates, and a gate can pass on judgements two generations stale.",
                       "type": "integer",

package/runtime/schemas/final-report-v3.0.schema.json

@@ -9322,6 +9322,10 @@
                     "note": {
                       "type": "string"
                     },
+                    "explanation": {
+                      "type": "string",
+                      "description": "The worker's two-to-three-sentence verdict rationale. Distinct from `note`, which records the falsification candidate considered even on AGREE."
+                    },
                     "round": {
                       "description": "The plan-body verification round this verdict was cast in. A self-fix round rewrites the plan after a verification round, so a verdict whose round is at or before `selfFixRoundsApplied` judged text that has since changed. Without it there is no way to tell how many rewrites a surviving verdict predates, and a gate can pass on judgements two generations stale.",
                       "type": "integer",

package/runtime/templates/reports/html/base.template.html

@@ -44,6 +44,19 @@
   </header>
   <main id="main-content" data-report-role="human-main">
     {% block human_content %}{% endblock %}
+    {% if crossVerification.get("consensus") or crossVerification.get("differences") %}
+    <section data-report-section="cross-check">
+      <h2>{{ t('base.cross-check') }}</h2>
+      {% if crossVerification.get("consensus") %}
+      <h3>{{ t('base.agreed-across-workers') }}</h3>
+      <div class="summary-grid">{% for row in crossVerification.consensus %}<article class="summary-card" id="id-xv-{{ row.id }}"><p class="eyebrow">{{ row.id | inline_code }}</p><h3>{{ row.statement | inline_code }}</h3><p class="evidence-refs">{{ t('macros.layout.evidence') }} {{ row.evidence | inline_code }}</p></article>{% endfor %}</div>
+      {% endif %}
+      {% if crossVerification.get("differences") %}
+      <h3>{{ t('base.workers-disagreed') }}</h3>
+      <div class="summary-grid">{% for row in crossVerification.differences %}<article class="summary-card tone-important" id="id-xv-{{ row.id }}"><p class="eyebrow">{{ row.id | inline_code }}</p><h3>{{ row.disagreement | inline_code }}</h3><p>{% for pos in row.get("workersPosition", []) %}{{ pos.worker | inline_code }} · {{ pos.position | inline_code }}{% if not loop.last %} · {% endif %}{% endfor %}</p><p class="evidence-refs">{{ t('macros.layout.evidence') }} {{ row.evidence | inline_code }}</p></article>{% endfor %}</div>
+      {% endif %}
+    </section>
+    {% endif %}
     {{ clarification_responses(clarificationItems) }}
     {% if evidenceIndex %}
     <section data-report-section="evidence-ledger" data-reader-kind="audit">

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

@@ -72,6 +72,12 @@
       "full": "Replanned in full",
       "incremental": "Partly replanned"
     },
+    "planGate": {
+      "passed": "Passed",
+      "passed-with-dissent": "Passed with dissent",
+      "blocked-by-disagreement": "Blocked by disagreement",
+      "aborted-non-result": "Verification produced no result"
+    },
     "ledgerKind": {
       "code-evidence": "Code evidence",
       "hypothesis": "Hypothesis",
@@ -106,6 +112,9 @@
     "written": "Written",
     "elapsed": "Elapsed",
     "evidence-ledger": "Evidence ledger",
+    "cross-check": "Worker agreement and dissent",
+    "agreed-across-workers": "Agreed across workers",
+    "workers-disagreed": "Workers disagreed",
     "source": "Source",
     "confidence": "Confidence",
     "export-my-answers": "Export my answers",
@@ -293,6 +302,7 @@
       "the-change-added-no-new-surface": "The change added no new identifier, module, or configuration entry.",
       "what-blocks-acceptance": "What blocks acceptance",
       "nothing-is-holding-acceptance": "Nothing is holding acceptance.",
+      "follow-up": "Follow-up:",
       "residual-risk": "Residual risk",
       "owner": "Owner:",
       "escalation-condition": "Escalation condition:",
@@ -382,6 +392,12 @@
       "mitigation": "Mitigation",
       "rollback-strategy": "Rollback strategy",
       "plan-body-verification": "Plan body verification",
+      "source-section": "source §",
+      "breakage": "Breakage",
+      "fixability": "Fixability",
+      "claim": "Claim",
+      "reproduction": "Reproduction",
+      "note": "Note:",
       "verdict": "Verdict",
       "what-it-blocked": "What it blocked",
       "plan-item": "Plan item",
@@ -439,6 +455,9 @@
       "implemented-by": "Implemented by",
       "verification-result": "Verification result",
       "independent-check": "Independent check:",
+      "independent-rerun": "Independent re-run:",
+      "command-log": "Command log:",
+      "discrepancy": "Discrepancy:",
       "exit-code": "exit code",
       "what-is-left": "What is left",
       "nothing-was-changed-outside-the-plan": "Nothing was changed outside the plan.",

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

@@ -72,6 +72,12 @@
       "full": "전부 다시 계획함",
       "incremental": "일부만 다시 계획함"
     },
+    "planGate": {
+      "passed": "통과",
+      "passed-with-dissent": "이견이 남았지만 통과",
+      "blocked-by-disagreement": "이견으로 차단",
+      "aborted-non-result": "검증이 결과를 내지 못함"
+    },
     "ledgerKind": {
       "code-evidence": "코드 근거",
       "hypothesis": "가설",
@@ -106,6 +112,9 @@
     "written": "작성",
     "elapsed": "소요 시간",
     "evidence-ledger": "근거 대장",
+    "cross-check": "작업자 합의와 이견",
+    "agreed-across-workers": "작업자 간 합의",
+    "workers-disagreed": "작업자 간 이견",
     "source": "출처",
     "confidence": "확신도",
     "export-my-answers": "내 답변 내보내기",
@@ -293,6 +302,7 @@
       "the-change-added-no-new-surface": "이 변경이 새로 추가한 식별자·모듈·설정 항목은 없습니다.",
       "what-blocks-acceptance": "수용을 막는 것",
       "nothing-is-holding-acceptance": "수용을 막는 것이 없습니다.",
+      "follow-up": "후속:",
       "residual-risk": "남은 위험",
       "owner": "담당:",
       "escalation-condition": "에스컬레이션 조건:",
@@ -382,6 +392,12 @@
       "mitigation": "완화 방안",
       "rollback-strategy": "롤백 전략",
       "plan-body-verification": "계획 본문 검증",
+      "source-section": "출처 §",
+      "breakage": "결함 종류",
+      "fixability": "수정 가능성",
+      "claim": "주장",
+      "reproduction": "재현",
+      "note": "메모:",
       "verdict": "판정",
       "what-it-blocked": "무엇을 막았는지",
       "plan-item": "계획 항목",
@@ -439,6 +455,9 @@
       "implemented-by": "구현한 곳",
       "verification-result": "검증 결과",
       "independent-check": "독립 검증:",
+      "independent-rerun": "독립 재실행:",
+      "command-log": "명령 기록:",
+      "discrepancy": "불일치:",
       "exit-code": "종료 코드",
       "what-is-left": "남은 것",
       "nothing-was-changed-outside-the-plan": "계획 밖에서 바뀐 것이 없습니다.",

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

@@ -1,5 +1,5 @@
 {% extends "html/base.template.html" %}
-{% from "html/macros/layout.html" import narrative as render_narrative, summary_card %}
+{% from "html/macros/layout.html" import narrative as render_narrative %}
 {% from "html/macros/visualizations.html" import figure %}
 
 {% block human_content %}
@@ -24,7 +24,7 @@
 <section data-report-section="blockers" data-report-field="finalVerification.acceptanceBlockers">
   <h2>{{ t('tasks.final-verification.what-blocks-acceptance') }}</h2>
   {{ render_narrative(narrative.blockerExplanation, "finalVerification.userNarrative.blockerExplanation") }}
-  <div class="summary-grid">{% for row in final.acceptanceBlockers %}{{ summary_card(row.id ~ " · " ~ row.severity, row.statement, "important", anchor=row.id) }}{% else %}<p>{{ t('tasks.final-verification.nothing-is-holding-acceptance') }}</p>{% endfor %}</div>
+  <div class="summary-grid">{% for row in final.acceptanceBlockers %}<article class="summary-card tone-important" id="id-{{ row.id }}"><p class="eyebrow">{{ row.id | inline_code }} · {{ row.severity }}</p><h3>{{ row.statement | inline_code }}</h3><p class="evidence-refs">{{ t('macros.layout.evidence') }} {{ row.evidence | inline_code }}</p><p>{{ t('tasks.final-verification.follow-up') }} {{ row.followUpPhase | inline_code }}</p></article>{% else %}<p>{{ t('tasks.final-verification.nothing-is-holding-acceptance') }}</p>{% endfor %}</div>
 </section>
 
 <section data-report-section="residual-risk" data-report-field="finalVerification.residualRisk">

package/runtime/templates/reports/html/tasks/implementation-planning.template.html

@@ -84,15 +84,9 @@
 </section>
 {% endif %}
 
-{# The verification checklist, cross-project dependencies, migration risk,
-   rollback strategy, plan-body verification rounds, and the agent-activity
-   ledger are the implementer's and the auditor's working material, not the
-   approver's: this reader is deciding whether to greenlight the plan, and none
-   of those tables move that decision. They stay in the markdown report, which
-   is what the next phase and the audit trail read. Requirement coverage is the
-   exception — "does this plan actually do what the brief asked" is the
-   approval question itself. A-NNN citations still need an id in this document
-   or the checkRef links land nowhere. #}
+{# 검증 체크리스트·프로젝트 간 의존·마이그레이션 위험·롤백·활동 대장은
+   구현자와 감사 추적용이다. 계획 본문 검증의 판정과 근거는 승인 판단이라
+   이 화면에 남긴다. A-NNN 인용은 이 문서에 id 가 있어야 checkRef 가 산다. #}
 <section data-report-section="requirement-coverage" data-report-field="implementationPlanning.requirementCoverage">
   <h2>{{ t('tasks.implementation-planning.how-each-requirement-gets-met') }}</h2>
   {% if planning.get("planningContract") == "selected-direction" %}
@@ -102,6 +96,22 @@
   {% endif %}
 </section>
 
+{% if planning.get("planBodyVerification") %}
+<section data-report-section="plan-body-verification" data-report-field="implementationPlanning.planBodyVerification">
+  <h2>{{ t('tasks.implementation-planning.plan-body-verification') }}</h2>
+  <p><span class="status status-{{ planning.planBodyVerification.gateResult }}">{{ planning.planBodyVerification.gateResult | enum_label('planGate') }}</span></p>
+  {% if planning.planBodyVerification.get("uniformVerifiers") %}
+  <p>{{ t('tasks.implementation-planning.uniform-verifier-label') }} — {% for row in planning.planBodyVerification.uniformVerifiers %}{{ row.worker | inline_code }} · {{ row.verdict | inline_code }} ({{ row.itemCount }}){% if not loop.last %}, {% endif %}{% endfor %}</p>
+  <p class="evidence-refs">{{ t('tasks.implementation-planning.uniform-verifier-legend') }}</p>
+  {% endif %}
+  <div class="summary-grid">{% for item in planning.planBodyVerification.planItems %}<article class="summary-card" id="id-{{ item.id }}"><p class="eyebrow">{{ item.id | inline_code }}{% if item.get("sourceSection") %} · {{ t('tasks.implementation-planning.source-section') }} {{ item.sourceSection | inline_code }}{% endif %}</p><h3>{{ item.subject | inline_code }}</h3>{% for vote in item.verdicts %}<p><strong>{{ vote.worker | inline_code }}</strong> <span class="status status-{{ vote.verdict | lower }}">{{ vote.verdict }}</span>{% if vote.get("breakageKind") %} · {{ t('tasks.implementation-planning.breakage') }} {{ vote.breakageKind | inline_code }}{% endif %}{% if vote.get("fixability") %} · {{ t('tasks.implementation-planning.fixability') }} {{ vote.fixability | inline_code }}{% endif %}{% if vote.get("claimKind") %} · {{ t('tasks.implementation-planning.claim') }} {{ vote.claimKind | inline_code }}{% endif %}{% if vote.get("reproductionResult") %} · {{ t('tasks.implementation-planning.reproduction') }} {{ vote.reproductionResult | inline_code }}{% endif %}</p>{% if vote.get("note") %}<p class="evidence-refs">{{ t('tasks.implementation-planning.note') }} {{ vote.note | inline_code }}</p>{% endif %}{% if vote.get("explanation") %}<p>{{ vote.explanation | inline_code }}</p>{% endif %}{% endfor %}</article>{% endfor %}</div>
+  {% if planning.planBodyVerification.get("dissentLog") %}
+  <h3>{{ t('tasks.implementation-planning.dissent-left-standing') }}</h3>
+  <ul>{% for row in planning.planBodyVerification.dissentLog %}<li>{{ row.planItem | inline_code }} · {{ row.workerRole | inline_code }} — {{ row.body | inline_code }}</li>{% endfor %}</ul>
+  {% endif %}
+</section>
+{% endif %}
+
 {% if planning.get("supersessionLedger") is not none %}
 <section data-report-section="superseded" data-report-field="implementationPlanning.supersessionLedger">
   <h2>{{ t('tasks.implementation-planning.what-your-answers-overturned') }}</h2>

package/runtime/templates/reports/html/tasks/implementation.template.html

@@ -24,7 +24,7 @@
   <h2>{{ t('tasks.implementation.verification-result') }}</h2>
   {{ render_narrative(narrative.validationExplanation, "implementation.userNarrative.validationExplanation") }}
   <div class="summary-grid">{% for row in implementation.validationEvidence %}{{ summary_card(row.phase ~ " · " ~ t('tasks.implementation.exit-code') ~ " " ~ row.exitCode, row.outputTail, "important" if row.exitCode else "neutral") }}{% endfor %}</div>
-  <p><strong>{{ t('tasks.implementation.independent-check') }}</strong> {% for row in implementation.verifierResults %}<span class="status status-{{ row.verdict | lower }}">{{ row.verdict }}</span>{% if not loop.last %}, {% endif %}{% endfor %}</p>
+  {% for row in implementation.verifierResults %}<article class="summary-card tone-{{ row.verdict | lower }}"><p class="eyebrow">{{ row.verifier | inline_code }} · <span class="status status-{{ row.verdict | lower }}">{{ row.verdict }}</span></p>{% if row.get("independentValidationRerun") %}<p><strong>{{ t('tasks.implementation.independent-rerun') }}</strong> {{ row.independentValidationRerun | inline_code }}</p>{% endif %}{% if row.get("readOnlyCommandLog") %}<p><strong>{{ t('tasks.implementation.command-log') }}</strong> {{ row.readOnlyCommandLog | inline_code }}</p>{% endif %}{% if row.get("discrepancy") %}<p class="evidence-refs">{{ t('tasks.implementation.discrepancy') }} {{ row.discrepancy | inline_code }}</p>{% endif %}{% if row.get("declinedFixRecommendations") %}<p>{{ row.declinedFixRecommendations | inline_code }}</p>{% endif %}</article>{% endfor %}
 </section>
 
 <section data-report-section="remaining-issues">