okstra 0.189.2 → 0.189.4

package/runtime/python/okstra_ctl/worker_audit_check.py

@@ -13,8 +13,16 @@ import sys
 from pathlib import Path
 
 from okstra_ctl.worker_audit_ledger import (
-    check_worker_results_audit,
     worker_result_files,
+    worker_results_audit_findings,
+)
+
+# Phase 7 은 같은 규칙을 두 등급으로 판정한다. 여기서 그 등급을 함께 내지 않으면
+# exit 2 하나로 "run 이 실패한다" 고 읽힌다 — 2026-09-05 실측(dev-10626 stage-1)에서
+# 리드가 권고 등급의 미매칭 인용을 차단 실패로 읽고 결과를 거절·재배치했다.
+RUN_IMPACT = (
+    "blocking rows fail the run at Phase 7 (validate-run); advisory rows do not "
+    "fail the run at Phase 7 and can only be fixed now, while the worker is alive"
 )
 
 
@@ -25,16 +33,19 @@ _CLI_EPILOG = r"""Usage:
   --run-dir    the run directory; worker-results/ and prompts/ hang off it
   --worker     check only this worker (default: every worker in the run)
 
-Emits one JSON object — `{ok, failures[]}` — and exits 2 when failures[] is
-non-empty, 0 otherwise.
+Emits one JSON object — `{ok, inspected, inspectedFiles[], failures[],
+blocking[], advisory[], runImpact}` — and exits 2 when failures[] is
+non-empty, 0 otherwise. `failures` is `blocking` followed by `advisory`.
 
 Runs the Phase 7 audit-sidecar rules now, while the worker session is still
 alive: that every result file carries no `## 0. Reading Confirmation` heading,
-that its audit sidecar exists, and that every backticked `path:line` citation
-has a matching Evidence read row in that sidecar.
+that its audit sidecar exists (blocking), and that every backticked `path:line`
+citation has a matching Evidence read row in that sidecar (advisory).
 
-Call it right after collecting a worker result. The same failure at Phase 7
-leaves only a retroactive edit — which breaks the audit chain — or a failed run.
+Exit 2 means "fix it now", not "the run fails": only `blocking` rows fail the
+run at Phase 7, and `advisory` rows are the ones nothing can repair once the
+worker session is gone. Do not reject or re-dispatch a result over an advisory
+row alone.
 """
 
 
@@ -58,9 +69,10 @@ def _parser() -> argparse.ArgumentParser:
 
 def main(argv: list[str] | None = None) -> int:
     args = _parser().parse_args(argv)
-    failures = check_worker_results_audit(
+    blocking, advisory = worker_results_audit_findings(
         args.run_dir, args.task_type, args.seq, worker=args.worker
     )
+    failures = blocking + advisory
     # A selector that narrows to nothing also produces no failures, so `ok`
     # alone cannot tell a real pass from a check that judged zero files —
     # a mistyped `--worker` used to read as a clean bill of health. The count
@@ -77,6 +89,9 @@ def main(argv: list[str] | None = None) -> int:
             "inspected": len(inspected),
             "inspectedFiles": inspected,
             "failures": failures,
+            "blocking": blocking,
+            "advisory": advisory,
+            "runImpact": RUN_IMPACT,
         },
         ensure_ascii=False,
         indent=2,

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

@@ -3940,6 +3940,10 @@
       ],
       "additionalProperties": false,
       "properties": {
+        "id": {
+          "type": "string",
+          "pattern": "^R-[0-9]{3,}$"
+        },
         "originalRequirementId": {
           "type": "string",
           "pattern": "^(EB|PB|EO)-[0-9]{3}$"

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

@@ -4050,6 +4050,10 @@
       ],
       "additionalProperties": false,
       "properties": {
+        "id": {
+          "type": "string",
+          "pattern": "^R-[0-9]{3,}$"
+        },
         "originalRequirementId": {
           "type": "string",
           "pattern": "^(EB|PB|EO)-[0-9]{3}$"

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