okstra 0.146.1 → 0.148.0

package/runtime/skills/okstra-run/SKILL.md

@@ -1,11 +1,11 @@
 ---
 name: okstra-run
-description: Use when the user wants to start an okstra task (cross-verification run) directly from the current Claude Code session — without spawning a new claude process. Equivalent in effect to `okstra.sh --task-type ...` but driven through interactive prompts. Trigger words include "okstra run", "okstra start", "start okstra", "begin okstra task", "run okstra in this session", "okstra here", "continue on", "run the next phase", "start okstra in this session".
+description: Use when the user wants to start or continue an okstra cross-verification task directly from the current agent session. Trigger words include "okstra run", "okstra start", "start okstra", "begin okstra task", "run okstra in this session", "okstra here", "continue on", and "run the next phase".
 ---
 
 # OKSTRA Run (in-session)
 
-Launch an okstra task — gather inputs interactively via the **wizard state machine** (`okstra wizard ...`), then take over as `Claude lead` in the current session.
+Launch an okstra task — gather inputs interactively via the **wizard state machine** (`okstra wizard ...`), then take over as `Okstra lead` in the current session using the adapter selected for that host.
 
 **Single authority**: this skill drives `okstra wizard`, which owns every step (ordering, branching, validation). The skill is just a thin prompt-relay loop — it never decides "what to ask next" itself. If the flow needs to change, edit `scripts/okstra_ctl/wizard.py`, not this file.
 
@@ -13,12 +13,12 @@ Launch an okstra task — gather inputs interactively via the **wizard state mac
 
 ## When to Use
 
-- The user is inside a Claude Code session and asks to start an okstra task ("run okstra here", "start an error-analysis on this branch", "okstra implementation-planning for INV-1234").
-- Continue an existing task (next phase) without leaving the current claude session.
+- The user is inside a supported agent host and asks to start an okstra task ("run okstra here", "start an error-analysis on this branch", "okstra implementation-planning for INV-1234").
+- Continue an existing task (next phase) without leaving the current agent session.
 
 ## When NOT to Use
 
-- User explicitly asks to spawn a new terminal / new claude — use `okstra-inspect history.4` (resume command) or instruct them to run `okstra` in another terminal.
+- User explicitly asks to spawn a new terminal / new agent session — use `okstra-inspect history.4` (resume command) or instruct them to run `okstra` in another terminal.
 - User wants status only — use `okstra-inspect status`.
 - User wants past runs — use `okstra-inspect history`.
 
@@ -57,18 +57,27 @@ Never invent additional questions. Never reorder. **Never drop, hide, or merge a
 
 ## Step 1: Preflight
 
+Resolve `<host-runtime>` from the host that is executing this skill. This is a harness capability declaration, never a `which`/`PATH` inference and never a worker-provider choice:
+
+- Claude Code host → `claude-code`
+- Codex host → `codex`
+- Antigravity CLI host → `antigravity`
+- other host → `external`
+
+The host-native provider runs as the current lead session when its role is supported. Other selected providers run through their registered CLI wrappers. Claude remains only the model-policy default; it is not the process owner.
+
 Run one Bash tool call (Bash invocation rule from the top of this file applies):
 
 ```bash
-okstra preflight --runtime claude-code --json
+okstra preflight --runtime <host-runtime> --json
 ```
 
 Parse the stdout JSON. `ok: false` (or `okstra` not on `PATH` at all) → tell the user: "okstra not set up — run `/okstra-setup` first." Then stop. If the call fails with `unknown command: preflight`, the `okstra` binary on PATH predates this skill — tell the user to update it (`npm i -g okstra@latest`), then stop (`/okstra-setup` does not update the binary). Do **not** try to invoke `npx -y okstra@latest ...` as a fallback — `npx` is not on the literal-token allow-list and will force a confirmation prompt on every wizard call afterward. Every subsequent `okstra <subcmd>` call self-bootstraps its Python path, so never `export PYTHONPATH=...`.
 
-On `ok: true`, inspect `runtimeReadiness.checks` for the check whose `id` is `workspace-trust`. This is a Claude Code host-runtime check, independent of whether the worker providers are Claude, Codex, or Antigravity.
+On `ok: true`, inspect `runtimeReadiness.checks` for the check whose `id` is `workspace-trust`. This check is host-specific and independent of the selected worker providers.
 
-- `status: required` with `action: restart-and-trust` → tell the user: "Claude Code must trust `<projectRoot>` before Okstra can dispatch workers. Close this session, reopen that project in Claude Code, choose `Yes, I trust this folder`, then run `/okstra-run` again." Then stop before Step 2. Never start the wizard or dispatch a worker from this session.
-- `status: unavailable` → tell the user that Claude Code workspace trust could not be verified, ask them to open `<projectRoot>` directly in Claude Code and complete any trust prompt, then run `/okstra-run` again. Then stop before Step 2.
+- On `claude-code`, `status: required` with `action: restart-and-trust` → tell the user: "Claude Code must trust `<projectRoot>` before Okstra can dispatch workers. Close this session, reopen that project in Claude Code, choose `Yes, I trust this folder`, then run `/okstra-run` again." Then stop before Step 2. Never start the wizard or dispatch a worker from this session.
+- On `claude-code`, `status: unavailable` → tell the user that Claude Code workspace trust could not be verified, ask them to open `<projectRoot>` directly in Claude Code and complete any trust prompt, then run `/okstra-run` again. Then stop before Step 2.
 - `status: accepted` or `status: not-applicable` → carry `projectRoot` and `projectId` as literal strings into Step 2.
 - If `runtimeReadiness` is absent, preserve compatibility with an older preflight response: carry `projectRoot` and `projectId` into Step 2. The existing `unknown command: preflight` branch remains the authoritative stale-CLI failure.
 - Any other `workspace-trust` status is unrecognized runtime output: show the status and stop before Step 2 instead of guessing that trust exists.
@@ -89,7 +98,8 @@ Then initialize the wizard with the literal `projectRoot` / `projectId` you pars
 okstra wizard init \
   --state-file /var/folders/.../okstra-wizard.AbCd.json \
   --project-root /abs/path/to/project \
-  --project-id   my-project-id
+  --project-id   my-project-id \
+  --host-runtime <host-runtime>
 ```
 
 Output: the same `{ok, next}` JSON described above. The first `next` is always `step: "task_pick"`.
@@ -101,7 +111,7 @@ Repeat until `next.kind == "done"` (or `"aborted"` — terminal cancel, see "How
 1. **Render** the prompt according to `kind` (and `multi` for pick). **Always append the progress marker to the rendered question label** (the `AskUserQuestion` question text, or the `text`-prompt message): suffix it with ` (<next.progress.label>)` — render `progress.label` exactly as the wizard sent it, never recompute it. Example: label `Step 8/11 · 3 steps remaining` → `Select a model (Step 8/11 · 3 steps remaining)`. Re-prompts after `ok: false` reuse `current.progress.label` the same way. The progress marker is presentation-only — never send it back to the wizard as part of an answer.
    - `pick` + `presentation: "numbered-text"` → plain text containing `label`, followed by every option as a numbered Markdown list. Consume the user's next message verbatim as the answer string.
    - `pick` + `multi: false` → `AskUserQuestion` with `multiSelect: false`, `label`, and `options`. The user's chosen option's `value` is the answer string.
-   - `pick` + `multi: true` → `AskUserQuestion` with `multiSelect: true`, `label`, and `options`. Join the selected `value`s with `,` into a single literal CSV string (e.g. `"claude,codex,antigravity"`) and submit it as a single `--answer "claude,codex,antigravity"`. Empty selection submits `--answer ""` and the wizard re-prompts.
+   - `pick` + `multi: true` → `AskUserQuestion` with `multiSelect: true`, `label`, and `options`. Join the selected `value`s with `,` into a single literal CSV string (e.g. `"claude,codex,grok,kimi"`) and submit it as one `--answer` value. Empty selection submits `--answer ""` and the wizard re-prompts.
    - `pick_group` → one `AskUserQuestion` with one question per `questions[]` entry (tab). Map each tab's selected `value` back by `questions[].step`, assemble a JSON object, and submit it as a single literal `--answer '<json>'`.
    - `text` → plain text message containing `label`. Consume the user's next reply verbatim as the answer string (empty reply = empty string).
 2. **Submit** the answer — call `okstra wizard step` with the literal state-file path from Step 2 and the literal user answer (no shell variables, no `$(...)`):
@@ -185,38 +195,17 @@ Before rendering the next phase's bundle — and between worker rounds within a
 
 Build the `okstra render-bundle` invocation from `outcome.renderArgs`, passing each key as `--<key>` and the value verbatim (including empty strings — they are intentional `use phase default` markers).
 
+Analysis sidetracks therefore forward wizard-owned entries such as `--analysis-target "<args.analysis-target>"` and `--evidence-inputs "<args.evidence-inputs>"` when those keys are present. These are examples of the generic mapping rule, not a separate hard-coded argument list.
+
 Step 3's empty-answer and escaping rules apply verbatim: every flag whose value is the empty string MUST still be passed explicitly as `--<key> ""` (e.g. `--workers ""`, `--directive ""`) — `render-bundle` distinguishes "flag absent" from "flag present with empty value", and the wizard's intent is always the latter.
 
-The okstra-run skill is the Claude Code execution front door, so it marks the host explicitly with `--runtime claude-code` / `--lead-runtime claude-code`; bare `okstra run` cannot invoke Claude Code `TeamCreate` / `Agent(...)` from a terminal.
+Add `--lead-runtime <host-runtime>` from Step 1. Pass every `outcome.renderArgs` entry exactly once; do not enumerate a fixed provider list in this skill because the wizard and provider registry own those keys. If `renderArgs` ever contains `lead-runtime`, replace it with the Step 1 host value rather than emitting the flag twice.
 
 ```bash
 okstra render-bundle \
-  --lead-runtime claude-code \
-  --project-root "<args.project-root>" \
-  --project-id   "<args.project-id>" \
-  --task-group   "<args.task-group>" \
-  --task-id      "<args.task-id>" \
-  --task-type    "<args.task-type>" \
-  --task-brief   "<args.task-brief>" \
-  --analysis-target "<args.analysis-target>" \
-  --evidence-inputs "<args.evidence-inputs>" \
-  --executor     "<args.executor>" \
-  --critic       "<args.critic>" \
-  --approved-plan "<args.approved-plan>" \
-  --stage        "<args.stage>" \
-  --stages       "<args.stages>" \
-  --base-ref     "<args.base-ref>" \
-  --workers      "<args.workers>" \
-  --directive    "<args.directive>" \
-  --lead-model   "<args.lead-model>" \
-  --claude-model "<args.claude-model>" \
-  --codex-model  "<args.codex-model>" \
-  --antigravity-model "<args.antigravity-model>" \
-  --report-writer-model "<args.report-writer-model>" \
-  --related-tasks "<args.related-tasks>" \
-  --clarification-response "<args.clarification-response>" \
-  --pr-template-path "<args.pr-template-path>" \
-  --fix-cycle "<args.fix-cycle>"
+  --lead-runtime <host-runtime> \
+  --<first-renderArgs-key> "<first-renderArgs-value>" \
+  --<each-remaining-renderArgs-key> "<corresponding-value>"
 ```
 
 `render-bundle` auto-supplies `--workspace-root` and forces `--render-only`. Stdout prints `okstra task root:`, `okstra instruction-set:`, and the full rendered lead prompt. Parse the labelled lines for `TASK_ROOT` and `INSTRUCTION_SET_PATH`. Also watch for an optional `okstra concurrent-run stages:` label line — present only when a concurrent run is detected (see "Concurrent-run detection branch" below).
@@ -265,14 +254,14 @@ If `render-bundle` fails with a `PrepareError` containing `Recorded stage SHAs n
 
 If the anchor (`implementation_base_commit`) is reported unresolvable, run the same command's `--reset-anchor <ref>` after user confirmation. Correcting a confirm item without the picker is forbidden — the runtime also rejects a confirm correction without `--use-ref`.
 
-## Step 6: Take over as Claude lead
+## Step 6: Take over as Okstra lead
 
-Read `<INSTRUCTION_SET_PATH>/claude-execution-prompt.md` verbatim and enter `Claude lead` mode. The lead prompt now points to compact intake artifacts first (`active-run-context`, `analysis-profile.md`, and `analysis-packet.md`); full source files such as `analysis-material.md`, `reference-expectations.md`, and `final-report-template.md` are lazy/fallback inputs. Follow the rendered prompt order, do not preempt it.
+Read `<INSTRUCTION_SET_PATH>/lead-execution-prompt.md` verbatim and take over as `Okstra lead` in the current host-native session. The prompt selects exactly one runtime adapter and points to compact intake artifacts first (`active-run-context`, `analysis-profile.md`, and `analysis-packet.md`); full source files such as `analysis-material.md`, `reference-expectations.md`, and `final-report-template.md` are lazy/fallback inputs. Follow the rendered prompt order, do not preempt it.
 
 Then proceed through the phases exactly as the lead prompt directs (Phase 1 context → Phase 2+ worker dispatch → final synthesis → final report).
 
 Inform the user with one short line:
-> Took over as Claude lead for `<taskKey>` (`<task-type>`). Run dir: `<RUN_DIR_RELATIVE_PATH>`. Beginning Phase 1 (context loading).
+> Took over as Okstra lead (`<host-runtime>`) for `<taskKey>` (`<task-type>`). Run dir: `<RUN_DIR_RELATIVE_PATH>`. Beginning Phase 1 (context loading).
 
 ## Step 7: implementation unattended chaining (chain-stages)
 
@@ -281,7 +270,7 @@ When `task-type == implementation` and Step 5 render-args' `chain-stages` CSV ha
 Queue = the topologically-sorted stage list from splitting `chain-stages` on `,` (the order Task 5 emitted by topologically sorting the dependency closure). For each stage `N` in the queue, in order:
 
 1. Call Step 5's `render-bundle` with the same arguments but `--stage N` (the base commit is auto-computed by prepare from the predecessor's done `head_commit`, so do not pass it by hand). Step 5's blocking local conformance waiver offer·concurrent-run detection·git-reconcile gates apply identically to each stage's `render-bundle`.
-2. As in Step 6, become Claude lead and run that stage's Phase 1–7 inline. Phase 6's lead post-stage persistence appends that stage's `status:"done"` row to `runs/<plan-task-key>/consumers.jsonl` (per the implementation profile directive).
+2. As in Step 6, become the host-native Okstra lead and run that stage's Phase 1–7 inline. Phase 6's lead post-stage persistence appends that stage's `status:"done"` row to `runs/<plan-task-key>/consumers.jsonl` (per the implementation profile directive).
 3. After confirming that `done` row was written, reclaim the completed teammate panes of the stage you just finished: run `$HOME/.okstra/bin/okstra-trace-cleanup.sh --run-dir "<the run dir of the stage you just completed>"` (add `--keep report-writer-worker` if the report writer is still in flight). Then move to the next stage.
 4. One-line report at each stage start/finish: `stage N/<total> start` / `stage N done → next K`.
 

package/runtime/templates/prd/pr-body.template.md

@@ -9,7 +9,7 @@ This file is used when there is no custom PR template. Priority:
 
 To use your own templates in project or global settings, add the `prTemplatePath` key to one of the paths above. (Absolute path or relative path based on `project_root`)
 
-The placeholder is filled in directly by the Claude lead for the release-handoff based on the following inputs:
+The placeholder is filled in directly by the Okstra lead for the release-handoff based on the following inputs:
   - The intent and scope of the run brief
   - The grounds for the verdict in the referenced final-verification report
   - The commit range from `git log --oneline <base>..HEAD`

package/runtime/templates/reports/final-report-v2.template.md

@@ -0,0 +1,66 @@
+---
+title: {{ frontmatter.title | yaml_scalar }}
+id: {{ frontmatter.id | yaml_scalar }}
+tags: {{ frontmatter.tags | yaml_inline_list }}
+status: {{ frontmatter.status | yaml_scalar }}
+aliases: {{ frontmatter.aliases | yaml_inline_list }}
+date: {{ frontmatter.date | yaml_scalar }}
+task-id: {{ frontmatter.taskId | yaml_scalar }}
+task-group: {{ frontmatter.taskGroup | yaml_scalar }}
+project-id: {{ frontmatter.projectId | yaml_scalar }}
+task-type: {{ frontmatter.taskType | yaml_scalar }}
+worker-id: {{ frontmatter.workerId | yaml_scalar }}
+approved: {{ "true" if frontmatter.approved else "false" }}
+implementation-option: {{ frontmatter.implementationOption | default("") | yaml_scalar }}
+schema-version: {{ schemaVersion | yaml_scalar }}
+---
+
+# {{ frontmatter.title }}
+
+- Task Key: `{{ header.taskKey }}`
+- Created At: `{{ header.createdAt }}`
+- Task Type: `{{ header.taskType }}`
+- Report Owner: `{{ header.reportOwner }}`
+- Report Author: `{{ header.reportAuthor }}`
+- Lead Model: `{{ header.leadModel | model_detail }}`
+- Okstra Version: `{{ header.okstraVersion }}`
+
+## AI Handoff Summary
+
+- Verdict: `{{ finalVerdict.verdictToken }}`
+- Direction: `{{ finalVerdict.direction }}`
+- Rationale IDs: {{ finalVerdict.rationaleRowIds | join(", ") }}
+- Blocking IDs: {{ aiBlockingIds | join(", ") if aiBlockingIds else "none" }}
+- Next step: {{ finalVerdict.nextStep }}
+
+### Decision Context
+
+{{ aiDecisionContext | json_block }}
+
+### Next Task Contract
+
+{{ aiRoutingContract | json_block }}
+
+## Clarification and User Decisions
+
+{{ clarificationItems | json_block }}
+
+## Evidence Ledger
+
+{{ aiEvidenceLedger | json_block }}
+
+## Task Deliverable: {{ aiTaskDeliverableTitle }}
+
+{{ aiTaskDeliverable | json_block }}
+
+## Cross Verification Audit
+
+{{ crossVerification | json_block }}
+
+## Execution Audit
+
+{{ executionStatus | json_block }}
+
+## Token and Cost Audit
+
+{{ tokenUsage | json_block }}

package/runtime/templates/reports/html/assets/base.css

@@ -0,0 +1,41 @@
+* { box-sizing: border-box; }
+:root { color-scheme: light dark; font-family: Inter, ui-sans-serif, system-ui, sans-serif; line-height: 1.55; }
+body { margin: 0; background: Canvas; color: CanvasText; }
+.skip-link { position: absolute; left: -999px; }
+.skip-link:focus { left: 1rem; top: 1rem; z-index: 20; background: Canvas; padding: .6rem; }
+.human-report-header, main, .audit { width: min(1120px, calc(100% - 2rem)); margin-inline: auto; }
+.human-report-header { padding: 3rem 0 1.5rem; }
+.human-report-header h1 { max-width: 30ch; font-size: clamp(1.5rem, 3vw, 2.25rem); line-height: 1.15; margin: .25rem 0 .75rem; }
+.lede { max-width: 70ch; font-size: clamp(1.05rem, 2vw, 1.35rem); line-height: 1.4; margin: 0 0 1rem; }
+.eyebrow { text-transform: uppercase; letter-spacing: .08em; font-size: .78rem; color: GrayText; }
+main { display: grid; gap: 1rem; padding-bottom: 3rem; }
+section { padding: 1.4rem; border: 1px solid color-mix(in srgb, CanvasText 14%, transparent); border-radius: 16px; background: color-mix(in srgb, Canvas 94%, CanvasText 6%); }
+h2 { margin-top: 0; font-size: 1.45rem; }
+h3 { margin-bottom: .35rem; }
+.summary-grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(220px, 1fr)); gap: .8rem; }
+.summary-card { padding: 1rem; border-radius: 12px; background: color-mix(in srgb, Highlight 8%, Canvas); border-left: 4px solid color-mix(in srgb, Highlight 55%, GrayText); }
+.tone-high, .tone-important { border-left-color: #d94b4b; }
+.tone-medium { border-left-color: #d79b25; }
+.evidence-refs { color: GrayText; font-size: .85rem; }
+figure { margin: 1rem 0 0; }
+figcaption { display: flex; flex-wrap: wrap; justify-content: space-between; gap: .5rem; margin-bottom: .7rem; }
+.visualization { overflow-x: auto; border-radius: 12px; background: color-mix(in srgb, CanvasText 4%, Canvas); }
+svg { max-width: 100%; min-width: 520px; height: auto; }
+svg .edge { stroke: GrayText; stroke-width: 2; }
+svg .edge-arrow-head { fill: GrayText; }
+svg .node rect { fill: color-mix(in srgb, Highlight 14%, Canvas); stroke: Highlight; }
+svg .node text { fill: CanvasText; font-size: 13px; }
+table { width: 100%; border-collapse: collapse; margin-top: 1rem; font-size: .9rem; }
+th, td { text-align: left; vertical-align: top; border-bottom: 1px solid color-mix(in srgb, CanvasText 18%, transparent); padding: .55rem; }
+.visualization-fallback { margin-top: .8rem; }
+.status { display: inline-block; border-radius: 999px; padding: .1rem .5rem; background: color-mix(in srgb, GrayText 15%, Canvas); }
+.status-gap, .status-risk { background: color-mix(in srgb, #d94b4b 18%, Canvas); }
+.audit { margin-bottom: 3rem; padding: 1rem; border: 1px solid GrayText; border-radius: 12px; }
+.audit pre { overflow: auto; white-space: pre-wrap; }
+.human-report-footer { width: min(1120px, calc(100% - 2rem)); margin: 0 auto 2rem; display: flex; flex-wrap: wrap; gap: .6rem; }
+.human-report-footer pre { flex-basis: 100%; white-space: pre-wrap; max-height: 14em; overflow: auto; }
+fieldset, label { display: block; margin: .7rem 0; }
+textarea, select { width: 100%; max-width: 60rem; padding: .55rem; font: inherit; }
+@media (max-width: 640px) { section { padding: 1rem; } .visualization { display: none; } }
+@media print { .skip-link, .audit, script { display: none !important; } body { color: #000; background: #fff; } section { break-inside: avoid; border-color: #bbb; } .visualization-fallback { display: table; } }
+code { font-family: ui-monospace, SFMono-Regular, Menlo, monospace; font-size: .9em; padding: .1em .3em; border-radius: 4px; background: color-mix(in srgb, CanvasText 8%, Canvas); }

package/runtime/templates/reports/html/assets/base.js

@@ -0,0 +1,5 @@
+(function () {
+  "use strict";
+
+  document.documentElement.classList.add("js-enabled");
+})();

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

@@ -0,0 +1,79 @@
+<!DOCTYPE html>
+{% from "html/macros/forms.html" import clarification_responses %}
+<html lang="{{ 'ko' if humanSummary else 'en' }}" data-task-template="{{ taskType }}">
+<head>
+  <meta charset="utf-8">
+  <meta name="viewport" content="width=device-width,initial-scale=1">
+  <title>{{ (runMeta.task_key.split(':') | last)[:16] }} · {{ taskType }} #{{ runMeta.seq }}</title>
+  <style>{{ css | safe }}</style>
+</head>
+<body>
+  <a class="skip-link" href="#main-content">Skip to report content</a>
+  <header class="human-report-header">
+    <p class="eyebrow">{{ taskType }}</p>
+    <h1>{{ taskType }} #{{ runMeta.seq }}</h1>
+    <p class="lede">{{ humanSummary.headline | inline_code }}</p>
+    <p>{{ humanSummary.outcome | inline_code }}</p>
+    <button type="button" data-action="export-user-response">사용자 응답 내보내기</button>
+  </header>
+  <main id="main-content" data-report-role="human-main">
+    {% block human_content %}{% endblock %}
+    {{ clarification_responses(clarificationItems) }}
+    {% if evidenceIndex %}
+    <section data-report-section="evidence-ledger">
+      <h2>근거 대장</h2>
+      <table>
+        <thead><tr><th>ID</th><th>내용</th><th>출처 · 신뢰도</th></tr></thead>
+        <tbody>
+          {% for row_id, row in evidenceIndex | dictsort %}
+          <tr id="ev-{{ row_id }}"><td>{{ row_id }}</td><td>{{ row.text | inline_code }}</td><td>{% if row.codeEvidence %}{{ row.codeEvidence | code_evidence }}{% else %}{{ row.source | inline_code }}{% endif %}</td></tr>
+          {% endfor %}
+        </tbody>
+      </table>
+    </section>
+    {% endif %}
+  </main>
+  <details id="audit-details" class="audit" data-report-role="audit">
+    <summary>감사 정보</summary>
+    <section data-audit-field="crossVerification">
+      <h2>Cross Verification</h2>
+      <pre>{{ audit.crossVerification | audit_json }}</pre>
+    </section>
+    <section data-audit-field="executionStatus">
+      <h2>Execution Status by Agent</h2>
+      <pre>{{ audit.executionStatus | audit_json }}</pre>
+    </section>
+    <section data-audit-field="tokenUsage">
+      <h2>Token Usage</h2>
+      <pre>{{ audit.tokenUsage | audit_json }}</pre>
+    </section>
+    {% if audit.planBodyVerification is defined %}
+    <section data-audit-field="planBodyVerification">
+      <h2>Plan Body Verification</h2>
+      <pre>{{ audit.planBodyVerification | audit_json }}</pre>
+    </section>
+    {% endif %}
+    {% if audit.deliveryEvidence is defined %}
+    <section data-audit-field="deliveryEvidence">
+      <h2>Delivery Evidence</h2>
+      <pre>{{ audit.deliveryEvidence | audit_json }}</pre>
+    </section>
+    {% endif %}
+  </details>
+  <footer class="human-report-footer">
+    <button type="button" data-action="export-user-response">사용자 응답 내보내기</button>
+    <button type="button" data-action="copy-user-response">복사</button>
+    <button type="button" data-action="dismiss-user-response" hidden>닫기</button>
+    <pre id="user-response-output" aria-live="polite"></pre>
+  </footer>
+  <script id="run-meta" type="application/json">{{ {
+    "task-key": runMeta.task_key,
+    "task-type": runMeta.task_type,
+    "seq": runMeta.seq,
+    "source-report": runMeta.source_report,
+    "source-data-sha256": dataSha256,
+    "source-md-sha256": markdownSha256
+  } | tojson }}</script>
+  <script>{{ js | safe }}</script>
+</body>
+</html>

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

@@ -0,0 +1,47 @@
+{% macro analysis_review(selector_ids) -%}
+<section id="analysis-review" data-report-section="analysis-review">
+  <h2>분석 검토</h2>
+  <fieldset><legend>판정</legend>
+    <input id="analysis-review-accepted" type="radio" name="analysis-review-status" value="accepted"><label for="analysis-review-accepted">수락</label>
+    <input id="analysis-review-revision-requested" type="radio" name="analysis-review-status" value="revision-requested"><label for="analysis-review-revision-requested">수정 요청</label>
+    <input id="analysis-review-rejected" type="radio" name="analysis-review-status" value="rejected"><label for="analysis-review-rejected">거절</label>
+  </fieldset>
+  <label for="analysis-review-affected-ids">영향받는 ID</label>
+  <select id="analysis-review-affected-ids" multiple>
+      {% for analysis_id in selector_ids %}<option value="{{ analysis_id }}">{{ analysis_id }}</option>{% endfor %}
+  </select>
+  <label for="analysis-review-reason">이유</label><textarea id="analysis-review-reason" rows="3"></textarea>
+  <label for="analysis-review-evidence">추가 근거</label><textarea id="analysis-review-evidence" rows="3"></textarea>
+  <label for="analysis-review-scope-change">요청 범위 변경</label><textarea id="analysis-review-scope-change" rows="3"></textarea>
+</section>
+{%- endmacro %}
+
+{% macro plan_approval(state) -%}
+<section id="plan-approval" data-report-section="plan-approval">
+  <h2>계획 승인</h2>
+  <label for="approval-option">구현 옵션</label>
+  <select id="approval-option"{% if state.disabled_reason %} disabled{% endif %}>
+      {% for name in state.option_names %}
+      {% if name == state.recommended_option %}<option data-recommended="true" selected value="{{ name }}">{{ name | inline_code }} (권장)</option>{% else %}<option value="{{ name }}">{{ name | inline_code }}</option>{% endif %}
+      {% endfor %}
+  </select>
+  <input type="checkbox" id="approval-checkbox"{% if state.disabled_reason %} disabled{% endif %}><label for="approval-checkbox">이 계획을 승인합니다.</label>
+  {% if state.disabled_reason %}<div class="approval-disabled-reason"><p><strong>{{ state.disabled_reason }}</strong>라 아직 승인할 수 없습니다.</p><p>{{ state.blocker_ids | join(', ') }}에 답하고 사용자 응답을 내보낸 뒤 clarification 재개 명령으로 보고서를 다시 생성하세요.</p></div>{% endif %}
+</section>
+{%- endmacro %}
+
+{% macro clarification_responses(items) -%}
+{% if items %}
+<section class="clarification-responses" aria-label="열린 질문에 답하기">
+  <h2>열린 질문에 답하기</h2>
+  <table><thead><tr><th>ID</th><th>질문</th><th>기대 형식</th><th>사용자 응답</th></tr></thead><tbody>
+  {% for row in items %}
+    <tr data-response-id="{{ row.id }}" data-kind="{{ row.kind }}">
+      <td>{{ row.id }}</td><td>{{ row.statement | inline_code }}</td><td>{{ row.expectedForm | inline_code }}</td>
+      <td><label for="response-{{ row.id }}">{{ row.id }} 사용자 응답</label><textarea id="response-{{ row.id }}" data-response-id="{{ row.id }}" rows="3">{{ row.userInput | default('') }}</textarea></td>
+    </tr>
+  {% endfor %}
+  </tbody></table>
+</section>
+{% endif %}
+{%- endmacro %}

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

@@ -0,0 +1,19 @@
+{% macro narrative(value, field_name, evidence_index={}) -%}
+<div class="narrative" data-report-field="{{ field_name }}">
+  {{ value.text | paragraphs }}
+  <p class="evidence-refs">근거: {{ value.evidenceRefs | evidence_refs(evidence_index) }}</p>
+</div>
+{%- endmacro %}
+
+{% macro action_list(actions) -%}
+<ol class="action-list">
+  {% for action in actions %}<li>{{ action | inline_code }}</li>{% endfor %}
+</ol>
+{%- endmacro %}
+
+{% macro summary_card(title, body, tone='neutral') -%}
+<article class="summary-card tone-{{ tone }}">
+  <h3>{{ title }}</h3>
+  <p>{{ body | inline_code }}</p>
+</article>
+{%- endmacro %}

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

@@ -0,0 +1,27 @@
+{% macro figure(model) -%}
+<figure data-figure-kind="{{ model.kind }}" aria-labelledby="{{ model.figure_id }}-title" aria-describedby="{{ model.figure_id }}-summary">
+  <figcaption>
+    <strong id="{{ model.figure_id }}-title">{{ model.title }}</strong>
+    <span id="{{ model.figure_id }}-summary">{{ model.summary }}</span>
+  </figcaption>
+  <div class="visualization" aria-hidden="true">{{ model.svg | safe }}</div>
+  <table class="visualization-fallback">
+    <thead><tr><th>ID</th><th>이름</th><th>그룹</th><th>상태</th><th>설명</th></tr></thead>
+    <tbody>
+      {% for node in model.nodes %}
+      <tr data-fallback-id="{{ node.id }}"><td>{{ node.id }}</td><td>{{ node.label | inline_code }}</td><td>{{ node.group | inline_code }}</td><td>{{ node.status }}</td><td>{{ node.detail | inline_code }}</td></tr>
+      {% endfor %}
+    </tbody>
+  </table>
+  {% if model.edges %}
+  <table class="visualization-fallback visualization-edges">
+    <thead><tr><th>출발</th><th>도착</th><th>관계</th></tr></thead>
+    <tbody>
+      {% for edge in model.edges %}
+      <tr data-fallback-edge="{{ edge.source }}-{{ edge.target }}"><td>{{ edge.source }}</td><td>{{ edge.target }}</td><td>{{ edge.label | inline_code }}</td></tr>
+      {% endfor %}
+    </tbody>
+  </table>
+  {% endif %}
+</figure>
+{%- endmacro %}

package/runtime/templates/reports/html/tasks/change-impact-analysis.template.html

@@ -0,0 +1,40 @@
+{% extends "html/base.template.html" %}
+{% from "html/macros/layout.html" import narrative as render_narrative, summary_card %}
+{% from "html/macros/visualizations.html" import figure %}
+{% from "html/macros/forms.html" import analysis_review %}
+
+{% block human_content %}
+<section data-report-section="change-overview">
+  <h2>변경 개요</h2>
+  {{ render_narrative(narrative.changeExplanation, "changeImpactAnalysis.userNarrative.changeExplanation", evidenceIndex) }}
+  <p>{{ change.changeRequest.summary | inline_code }}</p>
+</section>
+
+<section data-report-section="affected-and-unaffected">
+  <h2>영향받는 영역과 영향 없는 경계</h2>
+  {{ render_narrative(narrative.impactExplanation, "changeImpactAnalysis.userNarrative.impactExplanation", evidenceIndex) }}
+  <div data-report-field="changeImpactAnalysis.impactItems"><h3>영향받는 영역</h3>{% for row in change.impactItems %}{{ summary_card(row.id ~ " · " ~ (row.target | inline_code), row.impactKind ~ " / 영향 " ~ row.level ~ " / 신뢰 " ~ row.confidence) }}{% endfor %}</div>
+  <div data-report-field="changeImpactAnalysis.unaffectedBoundaries"><h3>영향 없는 경계</h3>{{ render_narrative(narrative.unaffectedExplanation, "changeImpactAnalysis.userNarrative.unaffectedExplanation", evidenceIndex) }}<ul>{% for row in change.unaffectedBoundaries %}<li>{{ row.summary | inline_code }}</li>{% endfor %}</ul></div>
+</section>
+
+<section data-report-section="blast-radius" data-report-field="changeImpactAnalysis.dependencyBlastRadius">
+  <h2>파급 범위</h2>
+  {{ figure(blastRadiusFigure) }}
+</section>
+
+<section data-report-section="test-and-operations">
+  <h2>테스트·운영·호환성</h2>
+  <div data-report-field="changeImpactAnalysis.compatibilityImpact"><h3>호환성</h3><ul>{% for row in change.compatibilityImpact %}<li>{{ row.summary | inline_code }}</li>{% endfor %}</ul></div>
+  <div data-report-field="changeImpactAnalysis.migrationImpact"><h3>마이그레이션</h3><ul>{% for row in change.migrationImpact %}<li>{{ row.summary | inline_code }}</li>{% endfor %}</ul></div>
+  <div data-report-field="changeImpactAnalysis.rollbackImpact"><h3>롤백</h3><ul>{% for row in change.rollbackImpact %}<li>{{ row.summary | inline_code }}</li>{% endfor %}</ul></div>
+  <div data-report-field="changeImpactAnalysis.securityAndPerformanceImpact"><h3>보안과 성능</h3><ul>{% for row in change.securityAndPerformanceImpact %}<li>{{ row.summary | inline_code }}</li>{% endfor %}</ul></div>
+</section>
+
+<section data-report-section="planning-readiness" data-report-field="changeImpactAnalysis.planningInputs">
+  <h2>계획 준비도</h2>
+  {{ render_narrative(narrative.planningReadiness, "changeImpactAnalysis.userNarrative.planningReadiness", evidenceIndex) }}
+  <ul>{% for row in change.planningInputs %}<li>{{ row.constraint | inline_code }}{% if row.unknown %} — 미확정{% endif %}</li>{% endfor %}</ul>
+</section>
+
+{{ analysis_review(analysisReviewIds) }}
+{% endblock %}

package/runtime/templates/reports/html/tasks/error-analysis.template.html

@@ -0,0 +1,40 @@
+{% extends "html/base.template.html" %}
+{% from "html/macros/layout.html" import narrative as render_narrative, summary_card %}
+{% from "html/macros/visualizations.html" import figure %}
+
+{% block human_content %}
+<section data-report-section="symptom">
+  <h2>사용자가 겪은 증상</h2>
+  {{ render_narrative(narrative.symptomExplanation, "errorAnalysis.userNarrative.symptomExplanation", evidenceIndex) }}
+  <blockquote data-report-field="errorAnalysis.symptomVerbatim">{{ error.symptomVerbatim | inline_code }}</blockquote>
+  <p data-report-field="errorAnalysis.observableFailure">{{ error.observableFailure | inline_code }}</p>
+</section>
+
+<section data-report-section="reproduction">
+  <h2>재현 상태</h2>
+  <p><span class="status status-{{ error.reproduction.status }}">{{ error.reproduction.status }}</span></p>
+  <ul>{% for item in error.reproduction.evidence %}<li>{{ [item] | evidence_refs(evidenceIndex) }}</li>{% endfor %}</ul>
+  {% if error.reproduction.blockedReason %}<p>{{ error.reproduction.blockedReason | inline_code }}</p>{% endif %}
+</section>
+
+<section data-report-section="causes">
+  <h2>원인 후보</h2>
+  {{ render_narrative(narrative.causeExplanation, "errorAnalysis.userNarrative.causeExplanation", evidenceIndex) }}
+  {{ figure(causeFigure) }}
+  <div class="summary-grid">{% for row in error.causeCandidates %}<article class="summary-card tone-{{ row.confidence }}"><p class="eyebrow">{{ row.id }} · 신뢰도 {{ row.confidence }}</p><h3>{{ row.statement | inline_code }}</h3><p class="evidence-refs">지지 근거: {{ row.supportingEvidence | evidence_refs(evidenceIndex) }}</p></article>{% else %}<p>현재 확인된 원인 후보가 없습니다.</p>{% endfor %}</div>
+</section>
+
+<section data-report-section="uncertainty">
+  <h2>아직 확정할 수 없는 부분</h2>
+  {{ render_narrative(narrative.uncertaintyExplanation, "errorAnalysis.userNarrative.uncertaintyExplanation", evidenceIndex) }}
+  {% for row in error.causeCandidates %}<article class="summary-card"><h3>{{ row.id }}</h3><p data-report-field="errorAnalysis.causeCandidates.confidence"><strong>현재 신뢰도:</strong> {{ row.confidence }}</p><p data-report-field="errorAnalysis.causeCandidates.falsifyingEvidenceChecked"><strong>확인한 반증:</strong> {{ row.falsifyingEvidenceChecked | join(', ') | inline_code }}</p><p data-report-field="errorAnalysis.causeCandidates.disproveWith"><strong>이 가설을 기각하는 방법:</strong> {{ row.disproveWith | inline_code }}</p></article>{% endfor %}
+</section>
+
+<section data-report-section="next-diagnostic">
+  <h2>다음 진단 한 가지</h2>
+  {{ render_narrative(narrative.diagnosticGuidance, "errorAnalysis.userNarrative.diagnosticGuidance", evidenceIndex) }}
+  {{ summary_card("실행", error.nextDiagnostic.action, "important") }}
+  <p><strong>확인 신호:</strong> {{ error.nextDiagnostic.confirmingSignal | inline_code }}</p>
+  <p><strong>기각 신호:</strong> {{ error.nextDiagnostic.rejectingSignal | inline_code }}</p>
+</section>
+{% endblock %}

package/runtime/templates/reports/html/tasks/feature-analysis.template.html

@@ -0,0 +1,40 @@
+{% extends "html/base.template.html" %}
+{% from "html/macros/layout.html" import narrative as render_narrative, summary_card %}
+{% from "html/macros/visualizations.html" import figure %}
+{% from "html/macros/forms.html" import analysis_review %}
+
+{% block human_content %}
+<section data-report-section="feature-overview">
+  <h2>기능 개요</h2>
+  {{ render_narrative(narrative.userBehaviorExplanation, "featureAnalysis.userNarrative.userBehaviorExplanation", evidenceIndex) }}
+  <p><strong>대상:</strong> {{ feature.target.requestedValue | inline_code }}</p>
+  <ul>{% for row in feature.actors %}<li>{{ row.description | inline_code }}</li>{% endfor %}</ul>
+</section>
+
+<section data-report-section="behavior-flow" data-report-field="featureAnalysis.flows">
+  <h2>사용자 행동 흐름</h2>
+  {{ render_narrative(narrative.flowExplanation, "featureAnalysis.userNarrative.flowExplanation", evidenceIndex) }}
+  {{ figure(flowFigure) }}
+  <div class="summary-grid">{% for row in feature.flows %}<article class="summary-card" data-flow-kind="{{ 'alternate' if row.kind == 'alternative' else row.kind }}"><p class="eyebrow">{{ row.id }} · {{ row.kind }}</p><ol>{% for step in row.steps %}<li>{{ step.action | inline_code }}</li>{% endfor %}</ol></article>{% endfor %}</div>
+</section>
+
+<section data-report-section="rules-and-state">
+  <h2>규칙과 상태 변경</h2>
+  {{ render_narrative(narrative.rulesAndStateExplanation, "featureAnalysis.userNarrative.rulesAndStateExplanation", evidenceIndex) }}
+  <div data-report-field="featureAnalysis.domainRules"><h3>도메인 규칙</h3>{% for row in feature.domainRules %}{{ summary_card(row.id ~ " · " ~ (row.condition | inline_code), row.outcome) }}{% endfor %}</div>
+  <div data-report-field="featureAnalysis.stateChanges"><h3>상태 변경</h3>{% for row in feature.stateChanges %}{{ summary_card(row.id ~ " · " ~ row.field, row.change) }}{% endfor %}</div>
+</section>
+
+<section data-report-section="external-interactions" data-report-field="featureAnalysis.externalInteractions">
+  <h2>외부 상호작용</h2>
+  {% for row in feature.externalInteractions %}{{ summary_card(row.target | inline_code, row.input ~ " → " ~ row.output ~ ". 실패 시: " ~ row.failureHandling) }}{% endfor %}
+</section>
+
+<section data-report-section="test-gaps" data-report-field="featureAnalysis.testCoverage">
+  <h2>테스트와 공백</h2>
+  {{ render_narrative(narrative.testGapExplanation, "featureAnalysis.userNarrative.testGapExplanation", evidenceIndex) }}
+  {% for row in feature.testCoverage %}{{ summary_card(row.id, "테스트: " ~ (row.testPaths | join(', ')) ~ "; 공백: " ~ ((row.gaps | join(', ')) or '없음')) }}{% endfor %}
+</section>
+
+{{ analysis_review(analysisReviewIds) }}
+{% endblock %}