okstra 0.158.1 → 0.160.0

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

@@ -1,5 +1,6 @@
 <!DOCTYPE html>
 {% from "html/macros/forms.html" import clarification_responses %}
+{% from "html/macros/layout.html" import row_key %}
 <html lang="en" data-task-template="{{ taskType }}">
 <head>
   <meta charset="utf-8">
@@ -38,6 +39,47 @@
       </ol>
     </section>
     {% endif %}
+    {% if runUsage %}
+    <section data-report-section="run-usage" data-reader-kind="audit">
+      <h2>{{ t('runUsage.heading') }}</h2>
+      <p class="run-usage-lede">{{ t('runUsage.intro') }}</p>
+      <table>
+        <thead><tr>
+          <th scope="col">{{ t('runUsage.agent') }}</th>
+          <th scope="col" class="figure">{{ t('runUsage.raw-tokens') }}</th>
+          <th scope="col" class="figure">{{ t('runUsage.billable-tokens') }}</th>
+          <th scope="col" class="figure">{{ t('runUsage.cost') }}</th>
+          <th scope="col" class="figure">{{ t('runUsage.duration') }}</th>
+        </tr></thead>
+        <tbody>
+          {% for row in runUsage.rows %}
+          <tr>
+            {{ row_key(pairs=[(t('runUsage.agent'), row.agent), (t('runUsage.role'), row.role), (t('runUsage.model'), row.model)], status_name=t('runUsage.status'), status_raw=row.status, status_text=row.status | enum_label('workerStatus')) }}
+            <td class="figure">{{ row.rawTokens }}{% if row.cliTokens %}<span class="cli-extra">{{ t('runUsage.cli') }} {{ row.cliTokens }}</span>{% endif %}</td>
+            <td class="figure">{{ row.billableTokens }}</td>
+            <td class="figure">{{ row.cost }}{% if row.cliCost %}<span class="cli-extra">+ {{ t('runUsage.cli') }} {{ row.cliCost }}</span>{% endif %}</td>
+            <td class="figure">{{ row.duration }}</td>
+          </tr>
+          {% endfor %}
+          {% if runUsage.unaccounted %}
+          <tr>
+            <td class="row-key">{{ t('runUsage.unaccounted') }}</td>
+            <td class="figure">{{ runUsage.unaccounted.rawTokens }}</td>
+            <td class="figure">{{ runUsage.unaccounted.billableTokens }}</td>
+            <td class="figure">{{ runUsage.unaccounted.cost }}</td>
+            <td class="figure"></td>
+          </tr>
+          {% endif %}
+        </tbody>
+        <tfoot>
+          <tr><th scope="row">{{ t('runUsage.row-lead') }}</th><td class="figure">{{ runUsage.lead.rawTokens }}</td><td class="figure">{{ runUsage.lead.billableTokens }}</td><td class="figure">{{ runUsage.lead.cost }}</td><td class="figure"></td></tr>
+          <tr><th scope="row">{{ t('runUsage.row-workers') }}</th><td class="figure">{{ runUsage.worker.rawTokens }}</td><td class="figure">{{ runUsage.worker.billableTokens }}</td><td class="figure">{{ runUsage.worker.cost }}</td><td class="figure"></td></tr>
+          <tr class="grand-total"><th scope="row">{{ t('runUsage.row-total') }}</th><td class="figure">{{ runUsage.grand.rawTokens }}</td><td class="figure">{{ runUsage.grand.billableTokens }}</td><td class="figure">{{ runUsage.grand.cost }}</td><td class="figure"></td></tr>
+          {% if runUsage.cliCost %}<tr><th scope="row">{{ t('runUsage.row-cli') }}</th><td class="figure"></td><td class="figure"></td><td class="figure">{{ runUsage.cliCost }}</td><td class="figure"></td></tr>{% endif %}
+        </tfoot>
+      </table>
+    </section>
+    {% endif %}
   </main>
   <footer class="human-report-footer">
     <button type="button" data-action="export-user-response">{{ t('base.export-my-answers') }}</button>

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

@@ -60,6 +60,13 @@
     "handoffMode": {
       "whole-task": "Whole task",
       "stage-group": "Selected stages"
+    },
+    "workerStatus": {
+      "completed": "Completed",
+      "error": "Failed",
+      "timeout": "Timed out",
+      "not-run": "Not run",
+      "synthesis-only": "Synthesis only"
     }
   },
   "enumHint": {
@@ -86,6 +93,24 @@
     "drop-that-file-into": ". Drop that file into",
     "and-the-next-run-picks-your-answers-up-on-it": "and the next run picks your answers up on its own."
   },
+  "runUsage": {
+    "heading": "What this run cost",
+    "intro": "Every agent this run dispatched, with what it spent and how long it was working. Agents run alongside each other, so their durations do not add up to the elapsed time in the header. Raw tokens are the volume processed; billable tokens are that same work restated in input-price units, which is what the cost is computed from.",
+    "agent": "Agent",
+    "role": "Role",
+    "model": "Model",
+    "status": "Status",
+    "raw-tokens": "Raw tokens",
+    "billable-tokens": "Billable tokens",
+    "cost": "Cost",
+    "duration": "Working time",
+    "cli": "CLI",
+    "unaccounted": "Not attributed to an agent above",
+    "row-lead": "Lead",
+    "row-workers": "Workers",
+    "row-total": "Total",
+    "row-cli": "CLI calls (billed separately)"
+  },
   "macros": {
     "forms": {
       "review-this-analysis": "Review this analysis",
@@ -107,7 +132,11 @@
       "answer-as": "Answer as",
       "questions-waiting-on-you": "Questions waiting on you",
       "count-questions-waiting-on-you": "{count} questions waiting on you",
-      "your-answer-to-id": "Your answer to {id}"
+      "your-answer-to-id": "Your answer to {id}",
+      "recommended": "Recommended",
+      "scope-impact": "Scope",
+      "added-work": "Added work",
+      "direction-change": "Direction change"
     },
     "visualizations": {
       "component": "Component",

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

@@ -60,6 +60,13 @@
     "handoffMode": {
       "whole-task": "태스크 전체",
       "stage-group": "선택한 stage"
+    },
+    "workerStatus": {
+      "completed": "완료",
+      "error": "실패",
+      "timeout": "시간 초과",
+      "not-run": "미실행",
+      "synthesis-only": "종합만 수행"
     }
   },
   "enumHint": {
@@ -86,6 +93,24 @@
     "drop-that-file-into": ". 그 파일을 여기에 두면",
     "and-the-next-run-picks-your-answers-up-on-it": "다음 run 이 알아서 답변을 읽어 갑니다."
   },
+  "runUsage": {
+    "heading": "이번 실행에 든 비용",
+    "intro": "이번 실행이 투입한 에이전트별로 얼마를 썼고 얼마나 오래 일했는지입니다. 에이전트는 서로 겹쳐서 돌기 때문에 각 작업 시간을 더해도 머리말의 소요 시간과 같지 않습니다. 원시 토큰은 처리한 분량이고, 과금 환산 토큰은 같은 작업을 입력 단가 기준으로 환산한 값으로 금액은 이 값에서 나옵니다.",
+    "agent": "에이전트",
+    "role": "역할",
+    "model": "모델",
+    "status": "상태",
+    "raw-tokens": "원시 토큰",
+    "billable-tokens": "과금 환산 토큰",
+    "cost": "금액",
+    "duration": "작업 시간",
+    "cli": "CLI",
+    "unaccounted": "위 행에 귀속되지 않은 사용량",
+    "row-lead": "리드",
+    "row-workers": "워커 합계",
+    "row-total": "합계",
+    "row-cli": "CLI 호출 (별도 청구)"
+  },
   "macros": {
     "forms": {
       "review-this-analysis": "이 분석 검토하기",
@@ -107,7 +132,11 @@
       "answer-as": "답변 형식",
       "questions-waiting-on-you": "답변을 기다리는 질문",
       "count-questions-waiting-on-you": "답변을 기다리는 질문 {count}건",
-      "your-answer-to-id": "{id}에 대한 답변"
+      "your-answer-to-id": "{id}에 대한 답변",
+      "recommended": "권장",
+      "scope-impact": "범위",
+      "added-work": "추가 작업",
+      "direction-change": "방향 전환"
     },
     "visualizations": {
       "component": "구성 요소",

package/runtime/templates/reports/html/macros/forms.html

@@ -40,6 +40,21 @@
     <p class="eyebrow">{{ row.id }} · {{ row.kind }}</p>
     {{ row.statement | paragraphs }}
     <dl class="clarification-expected"><dt>{{ t('macros.forms.answer-as') }}</dt><dd>{{ row.expectedForm | inline_code }}</dd></dl>
+    {% if row.options %}
+    <ol class="clarification-options">
+      {% for option in row.options %}
+      <li class="clarification-option{% if option.role == 'recommended' %} is-recommended{% endif %}">
+        <p class="clarification-option-answer">{{ option.answer }}{% if option.role == 'recommended' %} <span class="badge">{{ t('macros.forms.recommended') }}</span>{% endif %}</p>
+        <p class="clarification-option-rationale">{{ option.rationale }}</p>
+        <dl class="clarification-option-impact">
+          <dt>{{ t('macros.forms.scope-impact') }}</dt><dd>{{ option.scopeImpact | join(', ') }}</dd>
+          <dt>{{ t('macros.forms.added-work') }}</dt><dd>{{ option.addedWork }}</dd>
+          <dt>{{ t('macros.forms.direction-change') }}</dt><dd>{{ option.directionChange }}</dd>
+        </dl>
+      </li>
+      {% endfor %}
+    </ol>
+    {% endif %}
     <label for="response-{{ row.id }}">{{ t('macros.forms.your-answer-to-id') | replace('{id}', row.id) }}</label>
     <textarea id="response-{{ row.id }}" data-response-id="{{ row.id }}" rows="4">{{ row.userInput | default('') }}</textarea>
   </article>

package/runtime/templates/reports/html/macros/visualizations.html

@@ -7,11 +7,12 @@
   </figcaption>
   <div class="visualization" aria-hidden="true">{{ model.svg | safe }}</div>
   {% set show_paths = model.nodes | selectattr("paths") | first is defined %}
+  {% set show_detail = model.nodes | selectattr("detail") | first is defined %}
   <table class="visualization-fallback">
-    <thead><tr><th>{{ t('macros.visualizations.component') }}</th><th>{{ t('macros.visualizations.what-it-does') }}</th>{% if show_paths %}<th>{{ t('macros.visualizations.paths') }}</th>{% endif %}</tr></thead>
+    <thead><tr><th>{{ t('macros.visualizations.component') }}</th>{% if show_detail %}<th>{{ t('macros.visualizations.what-it-does') }}</th>{% endif %}{% if show_paths %}<th>{{ t('macros.visualizations.paths') }}</th>{% endif %}</tr></thead>
     <tbody>
       {% for node in model.nodes %}
-      <tr{% if anchor_nodes %} id="id-{{ node.id }}"{% endif %} data-fallback-id="{{ node.id }}">{{ row_key(pairs=[("ID", node.id), ("Name", node.label), ("Kind", node.note)]) }}<td>{{ node.detail | inline_code }}</td>{% if show_paths %}<td>{% for path in node.paths %}<code>{{ path }}</code>{% if not loop.last %} {% endif %}{% endfor %}</td>{% endif %}</tr>
+      <tr{% if anchor_nodes %} id="id-{{ node.id }}"{% endif %} data-fallback-id="{{ node.id }}">{{ row_key(pairs=[("ID", node.id), ("Name", node.label), ("Kind", node.note)]) }}{% if show_detail %}<td>{{ node.detail | inline_code }}</td>{% endif %}{% if show_paths %}<td>{% for path in node.paths %}<code>{{ path }}</code>{% if not loop.last %} {% endif %}{% endfor %}</td>{% endif %}</tr>
       {% endfor %}
     </tbody>
   </table>

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

@@ -69,6 +69,7 @@
   <h2>{{ t('tasks.implementation-planning.plan-body-verification') }}</h2>
   <p><strong>{{ t('tasks.implementation-planning.verdict') }}</strong> — {{ planning.planBodyVerification.gateResult | inline_code }} ({{ planning.planBodyVerification.roundCount }} rounds{% if planning.planBodyVerification.get("selfFixRoundsApplied") is not none %}, {{ planning.planBodyVerification.selfFixRoundsApplied }} self-fix rounds{% if planning.planBodyVerification.get("selfFixStopReason") %} · {{ planning.planBodyVerification.selfFixStopReason | inline_code }}{% endif %}{% endif %})</p>
   {% if planning.planBodyVerification.get("gateBlockedBy") %}<p><strong>{{ t('tasks.implementation-planning.what-it-blocked') }}</strong> — {{ planning.planBodyVerification.gateBlockedBy | join(", ") | inline_code }}</p>{% endif %}
+  {% if planning.planBodyVerification.get("uniformVerifiers") %}<p><strong>{{ t('implementationPlanning.planBodyUniformVerifierLabel') }}</strong> — {% for u in planning.planBodyVerification.uniformVerifiers %}{{ u.worker | inline_code }} → {{ u.verdict | inline_code }} ({{ u.itemCount }}){% if not loop.last %}, {% endif %}{% endfor %}<br><small>{{ t('implementationPlanning.planBodyUniformVerifierLegend') }}</small></p>{% endif %}
   <table><thead><tr><th>{{ t('tasks.implementation-planning.plan-item') }}</th><th>{{ t('tasks.implementation-planning.subject') }}</th></tr></thead><tbody>{% for row in planning.planBodyVerification.planItems %}<tr id="id-{{ row.id }}">{{ row_key(pairs=[("ID", row.id), ("Source section", row.sourceSection)]) }}<td>{{ row.subject | inline_code }}</td></tr>{% endfor %}</tbody></table>
   {% if planning.planBodyVerification.get("dissentLog") %}<h3>{{ t('tasks.implementation-planning.dissent-left-standing') }}</h3>
   <table><thead><tr><th>{{ t('tasks.implementation-planning.subject') }}</th><th>{{ t('tasks.implementation-planning.body') }}</th></tr></thead><tbody>{% for row in planning.planBodyVerification.dissentLog %}<tr>{{ row_key(pairs=[("Subject", row.planItem), ("Worker", row.workerRole)]) }}<td>{{ row.body | inline_code }}</td></tr>{% endfor %}</tbody></table>{% endif %}

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

@@ -137,6 +137,8 @@
   "implementationPlanning": {
     "planBodyGateLegend": "Gate values — `passed`: agreed, no dissent · `passed-with-dissent`: a minority dissent remains but the gate passes (a majority dissent would block approval) · `blocked-by-disagreement`: majority dissent blocks approval · `aborted-non-result`: verification itself produced no result.",
     "planBodyBlockedByLegend": "Which input blocked the gate — `majority-disagree`: a worker majority dissent · `coverage-gap`: a Requirement Coverage gap / blocked row, independent of worker votes · `non-result`: verification produced no result. Absent means nothing blocked.",
+    "planBodyUniformVerifierLabel": "Uniform verifier",
+    "planBodyUniformVerifierLegend": "This verifier answered the same verdict to every item it voted on, so this round's refutation signal came from its peers alone — the gate above reads as a wider cross-check than it was. A unanimous round is a legitimate outcome; confirm from the worker's `-audit-` sidecar that it actually opened the cited evidence.",
     "planBodyVerdictLegend": "Verdict — **AGREE**: executable as written and internally consistent with other items · **SUPPLEMENT**: item is sound but a dependency / edge case / precondition is missing · **DISAGREE**: has a defect (see Breakage kind) · **verification-error**: the worker produced no result.",
     "planBodyBreakageLegend": "Breakage kind — a: cited file path/symbol mismatches another step or option · b: command is not executable or is ambiguous · c: validation signal is not observable · d: rollback violates commit/dependency order (advisory — a rollback is human-run, so this never blocks the gate) · e: contradicts the trade-off matrix · f: requirement-coverage row does not map to an option/stage/step that actually satisfies the requirement. (`--` = not applicable) Fixability: planner-fixable = correctable from code + plan + brief; needs-user-input = requires an external decision.",
     "planBodySourceLabel": "source §",