okstra 0.189.3 → 0.189.4

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

@@ -44,13 +44,13 @@
   </header>
   <main id="main-content" data-report-role="human-main">
     {% block human_content %}{% endblock %}
-    {% if briefEndStates %}
+    {% if endStates %}
     <section data-report-section="brief-end-states">
       <h2>{{ t('base.brief-end-states') }}</h2>
       <p class="section-lede">{{ t('base.brief-end-states-intro') }}</p>
       <table>
-        <thead><tr><th scope="col">{{ t('macros.layout.id') }}</th><th scope="col">{{ t('base.brief-statement') }}</th></tr></thead>
-        <tbody>{% for row in briefEndStates %}<tr id="id-{{ row.id }}">{{ row_key(pairs=[(t('macros.layout.id'), row.id), (t('base.brief-section'), row.section | enum_label('briefSection'))]) }}<td>{{ row.statement | inline_code }}</td></tr>{% endfor %}</tbody>
+        <thead><tr><th scope="col">{{ t('macros.layout.id') }}</th><th scope="col">{{ t('base.brief-statement') }}</th><th scope="col">{{ t('base.end-state-coverage') }}</th></tr></thead>
+        <tbody>{% for row in endStates %}<tr id="id-{{ row.id }}">{{ row_key(pairs=[(t('macros.layout.id'), row.id), (t('base.brief-section'), row.section | enum_label('briefSection'))]) }}<td>{{ row.statement | inline_code }}</td><td>{% if row.coverage %}<span class="status status-{{ row.coverage.disposition }}">{{ row.coverage.disposition | enum_label('endStateDisposition') }}</span>{% if row.coverage.get("coveredBy") %} · {{ t('base.end-state-covered-by') }} {{ row.coverage.coveredBy | inline_code }}{% endif %}{% if row.coverage.get("blockedBy") %} · {{ t('base.end-state-blocked-by') }} {{ (row.coverage.blockedBy.get("kind") if row.coverage.blockedBy is mapping else row.coverage.blockedBy) | inline_code }}{% if row.coverage.blockedBy is mapping and row.coverage.blockedBy.get("ref") %} {{ row.coverage.blockedBy.ref | inline_code }}{% endif %}{% endif %}{% if row.coverage.get("rationale") %}<p class="evidence-refs">{{ row.coverage.rationale | inline_code }}</p>{% endif %}{% else %}{{ t('base.end-state-not-judged') }}{% endif %}</td></tr>{% endfor %}</tbody>
       </table>
     </section>
     {% endif %}
@@ -67,6 +67,16 @@
       {% endif %}
     </section>
     {% endif %}
+    {% if agentActivity %}
+    <section data-report-section="agent-activity" data-reader-kind="audit">
+      <h2>{{ t('base.agent-activity') }}</h2>
+      <p class="section-lede">{{ t('base.agent-activity-intro') }}</p>
+      <table>
+        <thead><tr><th scope="col">{{ t('base.agent') }}</th><th scope="col">{{ t('base.activity') }}</th></tr></thead>
+        <tbody>{% for row in agentActivity %}<tr id="id-{{ row.activityId }}">{{ row_key(pairs=[(t('macros.layout.id'), row.activityId), (t('base.agent'), row.agent), (t('macros.layout.kind'), row.kind | enum_label('activityKind'))], status_name=t('macros.layout.status'), status_raw=row.outcome, status_text=row.outcome | enum_label('activityOutcome')) }}<td>{{ row.summary | inline_code }}{% set refs = (row.get("evidenceRefs") or []) + (row.get("clarificationRefs") or []) %}{% if refs %}<p class="evidence-refs">{{ t('macros.layout.evidence') }} {{ refs | evidence_refs }}</p>{% endif %}</td></tr>{% endfor %}</tbody>
+      </table>
+    </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

@@ -88,7 +88,8 @@
       "cross-check-dissent": "Workers disagreed",
       "missing-information": "Missing information",
       "follow-up": "Follow-up",
-      "plan-item": "Plan item"
+      "record-row": "Record row",
+      "summary-point": "Summary point"
     },
     "optionCriterion": {
       "requirement-fit": "Requirement fit",
@@ -128,6 +129,28 @@
       "Expected Behavior": "Expected behavior",
       "Preserved Behavior": "Preserved behavior",
       "Expected Outcome": "Expected outcome"
+    },
+    "activityKind": {
+      "worker-dispatched": "Worker dispatched",
+      "worker-completed": "Worker completed",
+      "verification-round-completed": "Verification round completed",
+      "self-fix-applied": "Self-fix applied",
+      "lead-correction-applied": "Lead correction applied",
+      "user-decision-required": "User decision required",
+      "user-decision-evaluated": "User decision evaluated"
+    },
+    "activityOutcome": {
+      "pending": "Pending",
+      "completed": "Completed",
+      "failed": "Failed",
+      "blocked": "Blocked",
+      "resolved": "Resolved"
+    },
+    "endStateDisposition": {
+      "addressed": "Addressed",
+      "deferred": "Deferred",
+      "not-applicable": "Not applicable",
+      "blocked": "Blocked"
     }
   },
   "enumHint": {
@@ -163,9 +186,17 @@
     "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.",
     "brief-end-states": "End states the brief pinned",
-    "brief-end-states-intro": "The requirement ids this report cites (EB, PB, EO) name these brief items, quoted verbatim from the task brief.",
+    "brief-end-states-intro": "The end states this report cites (EB, PB, EO): the brief's own wording, and what this run concluded about each.",
     "brief-section": "Section",
-    "brief-statement": "Statement"
+    "brief-statement": "Statement",
+    "end-state-coverage": "This run's verdict",
+    "end-state-covered-by": "covered by",
+    "end-state-blocked-by": "blocked by",
+    "end-state-not-judged": "not judged in this run",
+    "agent-activity": "Agent activity",
+    "agent-activity-intro": "What each agent was asked to do in this run and how it ended. Decision cards and prose cite these rows by id.",
+    "agent": "Agent",
+    "activity": "Activity"
   },
   "runUsage": {
     "heading": "What this run cost",
@@ -359,7 +390,13 @@
       "uncommitted-state": "Uncommitted state",
       "per-stage-reports": "Per-stage reports",
       "release-path": "Release path",
-      "the-current-verdict-does-not-allow-release-h": "The current verdict does not allow release-handoff to start. Clear the blocker or the condition first."
+      "the-current-verdict-does-not-allow-release-h": "The current verdict does not allow release-handoff to start. Clear the blocker or the condition first.",
+      "next-step": "Next step",
+      "conditions-for-acceptance": "Conditions for acceptance",
+      "conditions-for-acceptance-intro": "Acceptance stands only while each condition below is met; a row that blocks release-handoff must be evidenced before handoff.",
+      "condition": "Condition",
+      "evidence-required": "Evidence required",
+      "blocks-release-handoff": "Blocks release-handoff"
     },
     "implementation-option-selection": {
       "original-requirements": "Original requirement coverage",
@@ -513,7 +550,8 @@
       "stages": "Stages",
       "status": "Status",
       "extract": "Extract",
-      "keep": "Keep as-is"
+      "keep": "Keep as-is",
+      "planning-invariants": "Planning invariants"
     },
     "implementation": {
       "what-was-delivered": "What was delivered",

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

@@ -88,7 +88,8 @@
       "cross-check-dissent": "작업자 간 이견",
       "missing-information": "빠진 정보",
       "follow-up": "후속 작업",
-      "plan-item": "계획 항목"
+      "record-row": "레코드 행",
+      "summary-point": "요약 항목"
     },
     "optionCriterion": {
       "requirement-fit": "요구사항 적합",
@@ -128,6 +129,28 @@
       "Expected Behavior": "기대 동작",
       "Preserved Behavior": "보존 동작",
       "Expected Outcome": "기대 산출"
+    },
+    "activityKind": {
+      "worker-dispatched": "워커 배치",
+      "worker-completed": "워커 완료",
+      "verification-round-completed": "검증 라운드 완료",
+      "self-fix-applied": "자체 수정 적용",
+      "lead-correction-applied": "리드 교정 적용",
+      "user-decision-required": "사용자 결정 필요",
+      "user-decision-evaluated": "사용자 결정 평가"
+    },
+    "activityOutcome": {
+      "pending": "대기",
+      "completed": "완료",
+      "failed": "실패",
+      "blocked": "차단",
+      "resolved": "해결"
+    },
+    "endStateDisposition": {
+      "addressed": "충족",
+      "deferred": "보류",
+      "not-applicable": "해당 없음",
+      "blocked": "차단"
     }
   },
   "enumHint": {
@@ -163,9 +186,17 @@
     "drop-that-file-into": ". 그 파일을 여기에 두면",
     "and-the-next-run-picks-your-answers-up-on-it": "다음 run 이 알아서 답변을 읽어 갑니다.",
     "brief-end-states": "브리프가 고정한 최종 상태",
-    "brief-end-states-intro": "이 리포트가 인용하는 요구사항 아이디(EB·PB·EO)는 브리프의 다음 항목입니다. 문장은 태스크 브리프 원문 그대로입니다.",
+    "brief-end-states-intro": "이 리포트가 인용하는 최종 상태 아이디(EB·PB·EO)입니다. 문장은 태스크 브리프 원문이고, 오른쪽은 이번 run 이 그 상태에 내린 판정입니다.",
     "brief-section": "절",
-    "brief-statement": "내용"
+    "brief-statement": "내용",
+    "end-state-coverage": "이번 run 의 판정",
+    "end-state-covered-by": "덮은 항목",
+    "end-state-blocked-by": "막힌 사유",
+    "end-state-not-judged": "이번 run 에서 판정하지 않음",
+    "agent-activity": "에이전트 활동",
+    "agent-activity-intro": "이번 run 에서 각 에이전트가 맡은 일과 그 결과입니다. 결정 카드와 본문이 이 행을 아이디로 인용합니다.",
+    "agent": "에이전트",
+    "activity": "활동"
   },
   "runUsage": {
     "heading": "이번 실행에 든 비용",
@@ -359,7 +390,13 @@
       "uncommitted-state": "커밋되지 않은 상태",
       "per-stage-reports": "stage 별 리포트",
       "release-path": "릴리스 경로",
-      "the-current-verdict-does-not-allow-release-h": "현재 판정으로는 release-handoff 를 시작할 수 없습니다. 차단 항목이나 조건을 먼저 해소하세요."
+      "the-current-verdict-does-not-allow-release-h": "현재 판정으로는 release-handoff 를 시작할 수 없습니다. 차단 항목이나 조건을 먼저 해소하세요.",
+      "next-step": "다음 단계",
+      "conditions-for-acceptance": "수용 조건",
+      "conditions-for-acceptance-intro": "아래 조건이 모두 충족되는 동안에만 수용이 유지됩니다. release-handoff 를 막는 행은 인계 전에 근거가 있어야 합니다.",
+      "condition": "조건",
+      "evidence-required": "필요한 근거",
+      "blocks-release-handoff": "release-handoff 차단"
     },
     "implementation-option-selection": {
       "original-requirements": "원본 요구사항 커버리지",
@@ -513,7 +550,8 @@
       "stages": "stage",
       "status": "상태",
       "extract": "추출",
-      "keep": "그대로 둠"
+      "keep": "그대로 둠",
+      "planning-invariants": "계획 불변 조건"
     },
     "implementation": {
       "what-was-delivered": "무엇을 만들었나",

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

@@ -80,13 +80,13 @@
   <ol class="clarification-options">
     {% for option in options %}
     <li class="clarification-option{% if option.role == 'recommended' %} is-recommended{% endif %}" data-option-value="{{ option.answer }}">
-      <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-answer">{{ option.answer | inline_code }}{% if option.role == 'recommended' %} <span class="badge">{{ t('macros.forms.recommended') }}</span>{% endif %}</p>
       {% if option.disposition | default(None) %}<p class="clarification-option-disposition"><code>{{ option.disposition }}</code></p>{% endif %}
-      <p class="clarification-option-rationale">{{ option.rationale }}</p>
+      <p class="clarification-option-rationale">{{ option.rationale | inline_code }}</p>
       <dl class="clarification-option-impact">
         <dt>{{ t('macros.forms.scope-impact') }}</dt><dd>{% if option.reach | default(None) %}{{ option.reach }}{% if option.scopeEffects | default([]) %}, {{ option.scopeEffects | join(', ') }}{% endif %}{% else %}{{ option.scopeImpact | join(', ') }}{% endif %}</dd>
-        <dt>{{ t('macros.forms.added-work') }}</dt><dd>{{ option.addedWork }}</dd>
-        <dt>{{ t('macros.forms.direction-change') }}</dt><dd>{{ option.directionChange }}</dd>
+        <dt>{{ t('macros.forms.added-work') }}</dt><dd>{{ option.addedWork | inline_code }}</dd>
+        <dt>{{ t('macros.forms.direction-change') }}</dt><dd>{{ option.directionChange | inline_code }}</dd>
       </dl>
     </li>
     {% endfor %}

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 %}
+{% from "html/macros/layout.html" import narrative as render_narrative, row_key %}
 {% from "html/macros/visualizations.html" import figure %}
 
 {% block human_content %}
@@ -7,8 +7,18 @@
   <h2>{{ t('tasks.final-verification.verification-verdict') }}</h2>
   <p><span class="status status-{{ verdictToken }}">{{ verdictToken }}</span></p>
   {{ render_narrative(narrative.verdictExplanation, "finalVerification.userNarrative.verdictExplanation") }}
+  <p data-report-field="finalVerdict.finalConclusion">{{ finalVerdict.finalConclusion | inline_code }}</p>
+  <p data-report-field="finalVerdict.nextStep"><strong>{{ t('tasks.final-verification.next-step') }}</strong> {{ finalVerdict.nextStep | inline_code }}</p>
 </section>
 
+{% if finalVerdict.get("conditionalAcceptanceConditions") %}
+<section data-report-section="acceptance-conditions" data-report-field="finalVerdict.conditionalAcceptanceConditions">
+  <h2>{{ t('tasks.final-verification.conditions-for-acceptance') }}</h2>
+  <p class="section-lede">{{ t('tasks.final-verification.conditions-for-acceptance-intro') }}</p>
+  <table><thead><tr><th>{{ t('macros.layout.id') }}</th><th>{{ t('tasks.final-verification.condition') }}</th><th>{{ t('tasks.final-verification.evidence-required') }}</th></tr></thead><tbody>{% for row in finalVerdict.conditionalAcceptanceConditions %}<tr id="id-{{ row.id }}">{{ row_key(pairs=[(t('macros.layout.id'), row.id)], status_name=t('tasks.final-verification.blocks-release-handoff'), status_raw=('blocked' if row.blocksReleaseHandoff else 'covered'), status_text=(t('macros.layout.checked') if row.blocksReleaseHandoff else t('macros.layout.none'))) }}<td>{{ row.condition | inline_code }}</td><td>{{ row.evidenceRequired | inline_code }}</td></tr>{% endfor %}</tbody></table>
+</section>
+{% endif %}
+
 <section data-report-section="requirement-results" data-report-field="finalVerification.validationEvidence">
   <h2>{{ t('tasks.final-verification.result-per-requirement') }}</h2>
   {{ render_narrative(narrative.coverageExplanation, "finalVerification.userNarrative.coverageExplanation") }}

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

@@ -8,42 +8,43 @@
    and the coverage table and left the mechanism, scores, votes, commitments
    and invariants in the record only. #}
 {% macro option_card(row, rank, criteria) -%}
+{% set extra = cardLinks.get(row.id, {}) %}
 <article class="summary-card" id="id-{{ row.id }}">
-    <p class="eyebrow">#{{ rank }} · {{ row.id | inline_code }} · {{ t('macros.layout.proposed-by') }} {{ row.proposedBy | inline_code }}</p>
-    <h3>{{ row.name | inline_code }}</h3>
+    <p class="eyebrow">#{{ rank }} · {{ row.id | inline_code(extra) }} · {{ t('macros.layout.proposed-by') }} {{ row.proposedBy | inline_code(extra) }}</p>
+    <h3>{{ row.name | inline_code(extra) }}</h3>
     <div class="option-detail">
       <h4>{{ t('tasks.implementation-option-selection.what-changes') }}</h4>
-      <p><strong>{{ t('tasks.implementation-option-selection.goal') }}</strong> {{ row.goal | inline_code }}</p>
+      <p><strong>{{ t('tasks.implementation-option-selection.goal') }}</strong> {{ row.goal | inline_code(extra) }}</p>
       <p><strong>{{ t('tasks.implementation-option-selection.change-areas') }}</strong></p>
-      <ul>{% for area in row.expectedChangeAreas %}<li>{{ area | inline_code }}</li>{% endfor %}</ul>
-      <table data-report-field="implementationOptionSelection.rankedOptions.scopeCommitments"><thead><tr><th>{{ t('tasks.implementation-option-selection.commitment') }}</th><th>{{ t('tasks.implementation-option-selection.commitment-body') }}</th><th>{{ t('tasks.implementation-option-selection.requirements') }}</th></tr></thead><tbody>{% for item in row.scopeCommitments %}<tr>{{ row_key(pairs=[(t('macros.layout.id'), item.id), (t('macros.layout.kind'), item.kind | enum_label('commitmentKind'))]) }}<td>{{ item.commitment | inline_code }}</td><td>{{ item.requirementIds | join(", ") | inline_code }}</td></tr>{% endfor %}</tbody></table>
+      <ul>{% for area in row.expectedChangeAreas %}<li>{{ area | inline_code(extra) }}</li>{% endfor %}</ul>
+      <table data-report-field="implementationOptionSelection.rankedOptions.scopeCommitments"><thead><tr><th>{{ t('tasks.implementation-option-selection.commitment') }}</th><th>{{ t('tasks.implementation-option-selection.commitment-body') }}</th><th>{{ t('tasks.implementation-option-selection.requirements') }}</th></tr></thead><tbody>{% for item in row.scopeCommitments %}<tr id="id-{{ row.id }}-{{ item.id }}">{{ row_key(pairs=[(t('macros.layout.id'), item.id), (t('macros.layout.kind'), item.kind | enum_label('commitmentKind'))]) }}<td>{{ item.commitment | inline_code(extra) }}</td><td>{{ item.requirementIds | join(", ") | inline_code(extra) }}</td></tr>{% endfor %}</tbody></table>
     </div>
     <div class="option-detail">
       <h4>{{ t('tasks.implementation-option-selection.how-it-works') }}</h4>
-      <p>{{ row.coreMechanism | inline_code }}</p>
+      <p>{{ row.coreMechanism | inline_code(extra) }}</p>
       <p><strong>{{ t('tasks.implementation-option-selection.boundaries') }}</strong></p>
-      <ul>{% for boundary in row.architectureBoundaries %}<li>{{ boundary | inline_code }}</li>{% endfor %}</ul>
+      <ul>{% for boundary in row.architectureBoundaries %}<li>{{ boundary | inline_code(extra) }}</li>{% endfor %}</ul>
     </div>
     <div class="option-detail">
       <h4>{{ t('tasks.implementation-option-selection.why-this-direction') }}</h4>
       <p><strong>{{ t('tasks.implementation-option-selection.weighted-score') }}</strong> {{ row.weightedScore }} / 5</p>
-      <table data-report-field="implementationOptionSelection.rankedOptions.criterionScores"><thead><tr><th>{{ t('tasks.implementation-option-selection.criterion') }}</th><th class="figure">{{ t('tasks.implementation-option-selection.weight') }}</th><th class="figure">{{ t('tasks.implementation-option-selection.score') }}</th><th>{{ t('tasks.implementation-option-selection.reason') }}</th></tr></thead><tbody>{% for score in row.criterionScores %}<tr><td>{{ score.criterion | enum_label('optionCriterion') }}</td><td class="figure">{{ criteria.get(score.criterion, '') }}</td><td class="figure">{{ score.score }}</td><td>{{ score.rationale | inline_code }}</td></tr>{% endfor %}</tbody></table>
+      <table data-report-field="implementationOptionSelection.rankedOptions.criterionScores"><thead><tr><th>{{ t('tasks.implementation-option-selection.criterion') }}</th><th class="figure">{{ t('tasks.implementation-option-selection.weight') }}</th><th class="figure">{{ t('tasks.implementation-option-selection.score') }}</th><th>{{ t('tasks.implementation-option-selection.reason') }}</th></tr></thead><tbody>{% for score in row.criterionScores %}<tr><td>{{ score.criterion | enum_label('optionCriterion') }}</td><td class="figure">{{ criteria.get(score.criterion, '') }}</td><td class="figure">{{ score.score }}</td><td>{{ score.rationale | inline_code(extra) }}</td></tr>{% endfor %}</tbody></table>
       <p><strong>{{ t('tasks.implementation-option-selection.feasibility-votes') }}</strong></p>
-      <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 }}</td><td>{{ vote.counterevidence | inline_code }}</td></tr>{% endfor %}</tbody></table>
+      <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 }} <span class="evidence-refs">{{ t('macros.layout.evidence') }} {{ blocker.evidence | evidence_refs }}</span></li>{% endfor %}</ul>{% endif %}
+      <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 }} — {{ t('tasks.implementation-option-selection.why-it-matters') }} {{ fact.whyItMatters | inline_code }} <span class="evidence-refs">{{ t('macros.layout.evidence') }} {{ fact.evidence | evidence_refs }}</span></li>{% endfor %}</ul>{% endif %}
+      <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 %}
     </div>
     <div class="option-detail">
       <h4>{{ t('tasks.implementation-option-selection.expected-outcome') }}</h4>
       <div data-report-field="implementationOptionSelection.rankedOptions.coverageSummary"><p>{{ t('tasks.implementation-option-selection.coverage-line') | replace('{covered}', row.coverageSummary.coveredCount) | replace('{total}', row.coverageSummary.totalCount) | replace('{verdict}', row.coverageSummary.coverageVerdict | enum_label('coverageVerdict')) }}</p>
       <p><strong>{{ t('macros.layout.coverage-percent') }}</strong> <span data-report-metric="coveragePercent">{{ row.coverageSummary.coveragePercent }}</span>% · <strong>{{ t('macros.layout.scope-precision-percent') }}</strong> <span data-report-metric="scopePrecisionPercent">{{ row.coverageSummary.scopePrecisionPercent }}</span>%</p></div>
-      <table data-report-field="implementationOptionSelection.rankedOptions.requirementCoverage"><thead><tr><th>{{ t('tasks.implementation-option-selection.requirement') }}</th><th>{{ t('tasks.implementation-option-selection.satisfaction') }}</th><th>{{ t('tasks.implementation-option-selection.verification') }}</th></tr></thead><tbody>{% for coverage in row.requirementCoverage %}<tr>{{ row_key(pairs=[(t('macros.layout.id'), coverage.requirementId), (t('macros.layout.status'), coverage.status)]) }}<td>{{ coverage.satisfaction | inline_code }}</td><td>{{ coverage.expectedVerification | inline_code }}</td></tr>{% endfor %}</tbody></table>
+      <table data-report-field="implementationOptionSelection.rankedOptions.requirementCoverage"><thead><tr><th>{{ t('tasks.implementation-option-selection.requirement') }}</th><th>{{ t('tasks.implementation-option-selection.satisfaction') }}</th><th>{{ t('tasks.implementation-option-selection.verification') }}</th></tr></thead><tbody>{% for coverage in row.requirementCoverage %}<tr>{{ row_key(pairs=[(t('macros.layout.id'), coverage.requirementId), (t('macros.layout.status'), coverage.status)]) }}<td>{{ coverage.satisfaction | inline_code(extra) }}</td><td>{{ coverage.expectedVerification | inline_code(extra) }}</td></tr>{% endfor %}</tbody></table>
       {% if row.planningInvariants %}<p><strong>{{ t('tasks.implementation-option-selection.planning-invariants') }}</strong></p>
-      <ul data-report-field="implementationOptionSelection.rankedOptions.planningInvariants">{% for invariant in row.planningInvariants %}<li>{{ invariant.id | inline_code }} · {{ invariant.statement | inline_code }} ({{ invariant.requirementIds | join(", ") | inline_code }})</li>{% endfor %}</ul>{% endif %}
+      <ul data-report-field="implementationOptionSelection.rankedOptions.planningInvariants">{% for invariant in row.planningInvariants %}<li id="id-{{ row.id }}-{{ invariant.id }}">{{ invariant.id | inline_code(extra) }} · {{ invariant.statement | inline_code(extra) }} ({{ invariant.requirementIds | join(", ") | inline_code(extra) }})</li>{% endfor %}</ul>{% endif %}
     </div>
-    <p class="evidence-refs">{{ t('macros.layout.evidence') }} {{ row.codeEvidence | evidence_refs }}</p>
+    <p class="evidence-refs">{{ t('macros.layout.evidence') }} {{ row.codeEvidence | evidence_refs(extra) }}</p>
 </article>
 {%- endmacro %}
 
@@ -88,6 +89,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 }}</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 }}</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/implementation-planning.template.html

@@ -19,6 +19,10 @@
 <section data-report-section="direction-realization" data-report-field="implementationPlanning.directionRealization">
   <h2>{{ t('tasks.implementation-planning.direction-realization') }}</h2>
   <article class="summary-card"><h3>{{ planning.directionRealization.goal | inline_code }}</h3><p><strong>{{ t('tasks.implementation-planning.core-mechanism') }}</strong> {{ planning.directionRealization.coreMechanism | inline_code }}</p><p><strong>{{ t('tasks.implementation-planning.interfaces') }}</strong> {{ planning.directionRealization.interfaces | inline_code }}</p><p><strong>{{ t('tasks.implementation-planning.blast-radius') }}</strong> {{ planning.directionRealization.blastRadius | inline_code }}</p><ul>{% for file in planning.directionRealization.fileStructure %}<li id="id-{{ file.id }}">{{ file.action }} <code>{{ file.path }}</code> — {{ file.summary | inline_code }}</li>{% endfor %}</ul></article>
+  {% if planning.directionRealization.get("planningInvariants") %}
+  <h3>{{ t('tasks.implementation-planning.planning-invariants') }}</h3>
+  <ul data-report-field="implementationPlanning.directionRealization.planningInvariants">{% for row in planning.directionRealization.planningInvariants %}<li id="id-{{ row.id }}">{{ row.id | inline_code }} · {{ row.statement | inline_code }}{% if row.get("requirementIds") %} ({{ row.requirementIds | join(", ") | inline_code }}){% endif %}</li>{% endfor %}</ul>
+  {% endif %}
 </section>
 <section data-report-section="plan-coverage" data-report-field="implementationPlanning.coverageSummary">
   <h2>{{ t('tasks.implementation-planning.plan-coverage') }}</h2>
@@ -90,7 +94,7 @@
 <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" %}
-  <table><thead><tr><th>{{ t('tasks.implementation-planning.original-requirement') }}</th><th>{{ t('tasks.implementation-planning.stages') }}</th><th>{{ t('tasks.implementation-planning.status') }}</th></tr></thead><tbody>{% for row in planning.requirementCoverage %}<tr><td>{{ row.originalRequirementId | inline_code }}</td><td>{{ row.stageRefs | join(", ") | inline_code }}</td><td>{{ row.status | inline_code }}</td></tr>{% endfor %}</tbody></table>
+  <table><thead><tr><th>{{ t('tasks.implementation-planning.original-requirement') }}</th><th>{{ t('tasks.implementation-planning.stages') }}</th><th>{{ t('tasks.implementation-planning.status') }}</th></tr></thead><tbody>{% for row in planning.requirementCoverage %}<tr{% if row.get("id") %} id="id-{{ row.id }}"{% endif %}><td>{% if row.get("id") %}{{ row.id | inline_code }} · {% endif %}{{ row.originalRequirementId | inline_code }}</td><td>{{ row.stageRefs | join(", ") | inline_code }}</td><td>{{ row.status | inline_code }}</td></tr>{% endfor %}</tbody></table>
   {% else %}
   <table><thead><tr><th>{{ t('tasks.implementation-planning.requirement') }}</th><th>{{ t('tasks.implementation-planning.body') }}</th><th>{{ t('tasks.implementation-planning.covered-by') }}</th></tr></thead><tbody>{% for row in planning.requirementCoverage %}<tr id="id-{{ row.id }}">{{ row_key(pairs=[(t('macros.layout.id'), row.id), (t('macros.layout.source'), row.source)], status_name=t('macros.layout.status'), status_raw=row.status, status_text=row.status) }}<td>{{ row.requirement | inline_code }}</td><td>{{ row.coveredBy | inline_code }}</td></tr>{% endfor %}</tbody></table>
   {% endif %}
@@ -145,10 +149,6 @@
 {% endif %}
 {% endif %}
 
-{% if agentActivities %}
-<div hidden>{% for row in agentActivities %}<span id="id-{{ row.activityId }}"></span>{% endfor %}</div>
-{% endif %}
-
 <section data-report-section="open-decisions">
   <h2>{{ t('tasks.implementation-planning.open-decisions-before-approval') }}</h2>
   <div class="summary-grid">{% for row in openDecisions %}{{ summary_card(row.id ~ " · " ~ row.kind, row.statement, "important", anchor=row.id) }}{% else %}<p>{{ t('tasks.implementation-planning.no-open-decision-is-holding-approval') }}</p>{% endfor %}</div>

package/runtime/templates/reports/html/tasks/requirements-discovery.template.html

@@ -38,7 +38,7 @@
   {{ render_narrative(narrative.confirmedRequirements, "requirementsDiscovery.userNarrative.confirmedRequirements") }}
   <div class="summary-grid" data-report-field="requirementsDiscovery.confirmedRequirements">{% for row in requirements.confirmedRequirements %}{{ summary_card(row.id ~ " · " ~ t('tasks.requirements-discovery.settled'), row.statement, anchor=row.id) }}{% endfor %}</div>
   {{ render_narrative(narrative.unresolvedRequirements, "requirementsDiscovery.userNarrative.unresolvedRequirements") }}
-  <div class="summary-grid" data-report-field="requirementsDiscovery.unresolvedRequirements">{% for row in requirements.unresolvedRequirements %}{{ summary_card(row.id ~ " · " ~ t('tasks.requirements-discovery.decision-needed'), row.statement, "important") }}{% else %}<p>{{ t('tasks.requirements-discovery.nothing-is-left-unsettled') }}</p>{% endfor %}</div>
+  <div class="summary-grid" data-report-field="requirementsDiscovery.unresolvedRequirements">{% set clarification_ids = clarificationItems | map(attribute='id') | list %}{% for row in requirements.unresolvedRequirements %}{{ summary_card(row.id ~ " · " ~ t('tasks.requirements-discovery.decision-needed'), row.statement, "important", anchor=(row.id if row.id not in clarification_ids else '')) }}{% else %}<p>{{ t('tasks.requirements-discovery.nothing-is-left-unsettled') }}</p>{% endfor %}</div>
 </section>
 
 <section data-report-section="routing">

package/runtime/validators/validate-report-views.py

@@ -14,7 +14,9 @@ second rendering of that same record:
   4. each visualization's svg node ids match its fallback ids;
   5. the Response IDs in the HTML match ``clarificationItems[]`` 1:1;
   6. no external URL appears in ``<script src=>`` / ``<link href=>`` /
-     ``<img src=>`` — the self-contained guarantee.
+     ``<img src=>`` — the self-contained guarantee;
+  7. every in-page ``href="#…"`` lands on an element id of the page — the
+     renderer's index and the template's anchors agree.
 
 A schema-v1 report keeps the Markdown as its source, so its checks read the
 §1 Clarification Items table (fail-closed when the heading is present but the
@@ -133,9 +135,36 @@ def _validate_v2(report_path: Path, data_path: Path, data: dict) -> list[str]:
         )
     if _EXTERNAL_URL_RE.search(html_text):
         failures.append("html contains external URL in script/link/img — must be self-contained")
+    failures.extend(_dead_in_page_links(html_text))
     return failures
 
 
+_ANCHOR_HREF_RE = re.compile(r'href="#([^"]+)"')
+_ELEMENT_ID_RE = re.compile(r'\bid="([^"]+)"')
+
+
+def _dead_in_page_links(html_text: str) -> list[str]:
+    """(7) every in-page link lands on an element of this page.
+
+    The renderer links every id the record defines (`report_html/common.py`
+    `anchor_index`); a link to a missing anchor means the index claimed a row
+    the template never drew — 2026-09-05 audit of 28 shipped reports found
+    `A-`, `UQ-`, `PI-` and `IC-` links dead this way. The cause is always
+    renderer-side, so the finding stays with the page, not the author.
+    """
+    body = html_text.split("<body", 1)[-1]
+    body = re.sub(r"<script.*?</script>|<style.*?</style>", "", body, flags=re.DOTALL)
+    ids = set(_ELEMENT_ID_RE.findall(body))
+    dead = sorted({target for target in _ANCHOR_HREF_RE.findall(body) if target not in ids})
+    if not dead:
+        return []
+    return [
+        "dead in-page link(s): "
+        + ", ".join(f"#{target}" for target in dead[:12])
+        + (f" (+{len(dead) - 12} more)" if len(dead) > 12 else "")
+    ]
+
+
 def _no_form_sections(html_body: str) -> list[str]:
     """Return a list of strings, each being the rendered chunk of a
     no-form section (5.6 / 5.7 / 5.8) up to the next h2/h3. Used to

package/runtime/validators/validate-run.py

@@ -3084,6 +3084,9 @@ def validate_final_report_data(
     failures.extend(f"{task_type}: {error}" for error in analysis_result.errors)
 
     _validate_no_opaque_id_references(data, failures)
+    _validate_no_null_literals_in_prose(data, failures)
+    for warning in _unbridged_worker_finding_refs(data):
+        print(f"validate-run: warning: {warning}", file=sys.stderr)
     # Phase-agnostic: the coverage critic runs in every finding-producing phase.
     _validate_unverified_critic_gaps_recorded(data, failures)
     # Called here rather than from a task-type branch: four profiles raise
@@ -3162,7 +3165,9 @@ def validate_final_report_data(
         carried = _carried_decision_map(
             manifest, project_root=project_root, report_path=report_path
         )
-        _validate_supersession_ledger(data, failures, carried=carried)
+        _validate_supersession_ledger(
+            data, failures, carried=carried, new_plan=selected_direction_contract
+        )
         _validate_approval_clarification_backtrace(data, failures)
         _validate_rerun_guidance(data, failures)
         _validate_approval_guidance(data, failures)
@@ -3242,6 +3247,97 @@ def _validate_no_opaque_id_references(data: dict, failures: list[str]) -> None:
             )
 
 
+# A stringified null is not prose. Lowercase `none` is a token the clarification
+# option contract uses on purpose ("reverses nothing"), so only the capitalised
+# and language-native spellings count — 2026-09-05 audit: `"None"` in 16
+# trade-off cells and 2 option fields across the shipped reports.
+_NULL_LITERALS = frozenset({"None", "null", "undefined", "NaN"})
+_FINDING_REF_RE = re.compile(r"^F-\d{3,}$")
+# Citation lists the human page renders as links or plain text.
+_CITATION_LIST_KEYS = ("evidenceRefs", "supportingEvidence", "falsifyingEvidenceChecked")
+
+
+def _prose_pointers(node: object, key: str = "", pointer: str = "") -> list[tuple[str, str]]:
+    """(JSON pointer, value) for every string under a reader-facing prose key."""
+    from okstra_ctl.report_translation import PROSE_KEYS
+
+    out: list[tuple[str, str]] = []
+    if isinstance(node, dict):
+        for child_key, value in node.items():
+            out.extend(_prose_pointers(value, str(child_key), f"{pointer}/{child_key}"))
+    elif isinstance(node, list):
+        for index, value in enumerate(node):
+            out.extend(_prose_pointers(value, key, f"{pointer}/{index}"))
+    elif isinstance(node, str) and key in PROSE_KEYS:
+        out.append((pointer, node))
+    return out
+
+
+def _validate_no_null_literals_in_prose(data: dict, failures: list[str]) -> None:
+    """A prose cell holding `None`/`null`/`undefined` is a serialisation
+    artefact the page prints verbatim — nlpvibe planning-009…014 showed
+    `None` under Test cost and Rollout cost. An empty value is spelled by
+    omitting the field or leaving it empty, never by naming the language's
+    null."""
+    offenders = [
+        f"{pointer} = {value.strip()!r}"
+        for pointer, value in _prose_pointers(data)
+        if value.strip() in _NULL_LITERALS
+    ]
+    if offenders:
+        failures.append(
+            "final-report data.json: prose field(s) hold a null literal — "
+            + ", ".join(offenders[:8])
+            + (f" (+{len(offenders) - 8} more)" if len(offenders) > 8 else "")
+            + ". Leave the field empty or omit it; the page prints the literal as text."
+        )
+
+
+def _unbridged_worker_finding_refs(data: dict) -> list[str]:
+    """Advisory: citation lists naming a worker's own finding number (`F-NNN`)
+    that no `evidence.primary[].sourceItems` entry carries.
+
+    The page links a bare `F-NNN` only when exactly one promoted evidence row
+    cites it as `<worker>:F-NNN` (`report_html/common.py`
+    `worker_finding_links`); every other one is dead text. The 2026-09-05
+    audit found 22 to 156 such citations per shipped report, so this stays a
+    warning until the writer contracts have caught up — cite the promoted
+    `E-` row, or add the finding to that row's `sourceItems`.
+    """
+    bridged: set[str] = set()
+    for row in ((data.get("evidence") or {}).get("primary") or []):
+        if not isinstance(row, dict):
+            continue
+        for item in row.get("sourceItems") or []:
+            for token in re.findall(r"\b(F-\d{3,})\b", str(item)):
+                bridged.add(token)
+    unbridged: dict[str, list[str]] = {}
+
+    def walk(node: object, key: str = "", pointer: str = "") -> None:
+        if isinstance(node, dict):
+            for child_key, value in node.items():
+                walk(value, str(child_key), f"{pointer}/{child_key}")
+        elif isinstance(node, list):
+            if key in _CITATION_LIST_KEYS:
+                for value in node:
+                    if isinstance(value, str) and _FINDING_REF_RE.match(value.strip()) and value.strip() not in bridged:
+                        unbridged.setdefault(value.strip(), []).append(pointer)
+            else:
+                for index, value in enumerate(node):
+                    walk(value, key, f"{pointer}/{index}")
+
+    walk(data)
+    if not unbridged:
+        return []
+    listed = ", ".join(f"{ref} ({len(where)}×)" for ref, where in sorted(unbridged.items())[:10])
+    return [
+        f"citation lists name worker finding number(s) no evidence.primary "
+        f"sourceItems entry carries — {listed}"
+        + (f" (+{len(unbridged) - 10} more)" if len(unbridged) > 10 else "")
+        + "; cite the promoted E- row or add `<worker>:F-NNN` to its sourceItems"
+    ]
+
+
 def _validate_implementation_planning_cross_project(data: dict, failures: list[str]) -> None:
     """타 프로젝트 의존을 DM 행(`kind == 'cross-project'`)으로 선언했다면
     `crossProjectDependencies` 에 `direction == 'upstream-precondition'` 행이
@@ -4794,11 +4890,22 @@ def _answered_clarification_ids(data: dict) -> list[str]:
 
 
 def _validate_supersession_ledger(
-    data: dict, failures: list[str], *, carried: dict | None = None,
+    data: dict,
+    failures: list[str],
+    *,
+    carried: dict | None = None,
+    new_plan: bool = False,
 ) -> None:
     """Incorporating an answer means retiring what it invalidates, not only
     adding what it decides.
 
+    `new_plan` marks a plan built from a selected direction. Prepare seeds
+    that run's ledger with every answer the option-selection record carried
+    (2026-09-05), and a first plan has no earlier statement those answers
+    could retire — an entry per carried row would be `no-dependent-statement`
+    by construction. Those ids are exempt; answers the plan itself raised and
+    settled still need their entry.
+
     A re-run reconciles each `C-*` row's `Status` and writes the new decision
     into the plan, but nothing required it to remove the sentences the answer
     made false. The result is one plan carrying two opposite instructions for
@@ -4812,7 +4919,10 @@ def _validate_supersession_ledger(
     if not isinstance(ip, dict):
         return
     answered = set(_answered_clarification_ids(data))
-    answered.update((carried or {}).keys())
+    if new_plan:
+        answered.difference_update((carried or {}).keys())
+    else:
+        answered.update((carried or {}).keys())
     if not answered:
         return
     ledger = [e for e in (ip.get("supersessionLedger") or []) if isinstance(e, dict)]