okstra 0.201.3 → 0.202.0

package/runtime/templates/manager/view.template.html

@@ -0,0 +1,108 @@
+<!doctype html>
+<html lang="en">
+<head>
+<meta charset="utf-8">
+<meta name="viewport" content="width=device-width, initial-scale=1">
+<title>{{TITLE}}</title>
+<style>
+:root {
+  --bg: #f7f7f5;
+  --panel: #ffffff;
+  --text: #1f2328;
+  --muted: #5f6670;
+  --line: #d9dbde;
+  --planned: #6e7781;
+  --missing: #9a6700;
+  --running: #0969da;
+  --done: #1a7f37;
+  --blocked: #cf222e;
+}
+@media (prefers-color-scheme: dark) {
+  :root {
+    --bg: #111418;
+    --panel: #1a1f25;
+    --text: #e6e8eb;
+    --muted: #9aa3ad;
+    --line: #2f363e;
+    --planned: #8b949e;
+    --missing: #d29922;
+    --running: #58a6ff;
+    --done: #3fb950;
+    --blocked: #f85149;
+  }
+}
+* { box-sizing: border-box; }
+body {
+  margin: 0;
+  background: var(--bg);
+  color: var(--text);
+  font: 14px/1.5 -apple-system, BlinkMacSystemFont, "Segoe UI", "Apple SD Gothic Neo", "Noto Sans KR", sans-serif;
+}
+main { max-width: 1200px; margin: 0 auto; padding: 24px 16px 48px; }
+header h1 { margin: 0 0 4px; font-size: 22px; }
+.meta { color: var(--muted); font-size: 13px; }
+section { margin-top: 28px; }
+h2 { font-size: 17px; margin: 0 0 10px; }
+h3 { font-size: 15px; margin: 0; }
+.panel {
+  background: var(--panel);
+  border: 1px solid var(--line);
+  border-radius: 8px;
+  padding: 16px;
+  margin-bottom: 16px;
+}
+.tiles { display: grid; grid-template-columns: repeat(auto-fit, minmax(120px, 1fr)); gap: 10px; }
+.tile { background: var(--panel); border: 1px solid var(--line); border-radius: 8px; padding: 10px 12px; }
+.tile .count { font-size: 24px; font-weight: 600; }
+.tile .label { color: var(--muted); font-size: 12px; text-transform: uppercase; letter-spacing: 0.04em; }
+.scroll { overflow-x: auto; }
+table { width: 100%; border-collapse: collapse; }
+th, td { text-align: left; padding: 7px 10px; border-bottom: 1px solid var(--line); vertical-align: top; }
+th { color: var(--muted); font-weight: 600; font-size: 12px; white-space: nowrap; }
+.wrap { display: inline-block; min-width: 220px; }
+code.id { white-space: nowrap; word-break: normal; }
+code { font: 12px/1.4 ui-monospace, SFMono-Regular, Menlo, monospace; word-break: break-all; }
+.chip {
+  display: inline-block;
+  padding: 1px 8px;
+  border-radius: 999px;
+  border: 1px solid currentColor;
+  font-size: 12px;
+  white-space: nowrap;
+}
+.chip.planned { color: var(--planned); }
+.chip.missing { color: var(--missing); }
+.chip.running { color: var(--running); }
+.chip.done { color: var(--done); }
+.chip.blocked { color: var(--blocked); }
+.task-head { display: flex; flex-wrap: wrap; gap: 8px 16px; align-items: baseline; margin-bottom: 8px; }
+.counts { display: flex; flex-wrap: wrap; gap: 6px; }
+.hint { color: var(--muted); font-size: 12px; margin: 6px 0 12px; }
+details { margin-top: 10px; }
+summary { cursor: pointer; color: var(--muted); }
+ul.plain { margin: 6px 0 0; padding-left: 18px; }
+.empty { color: var(--muted); }
+a { color: var(--running); }
+</style>
+</head>
+<body>
+<main>
+<header>
+<h1>{{TITLE}}</h1>
+<div class="meta">{{META}}</div>
+</header>
+<section>
+<h2>Summary</h2>
+{{SUMMARY}}
+</section>
+<section>
+<h2>Projects</h2>
+{{PROJECTS}}
+</section>
+<section>
+<h2>Manager tasks</h2>
+{{TASKS}}
+</section>
+</main>
+</body>
+</html>

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

@@ -371,6 +371,8 @@
     "final-verification": {
       "verification-verdict": "Verification verdict",
       "result-per-requirement": "Result per requirement",
+      "requirement": "Requirement",
+      "evidence": "Evidence",
       "what-the-change-added": "What the change added",
       "traced-to": "Serves",
       "callers": "Callers",

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

@@ -371,6 +371,8 @@
     "final-verification": {
       "verification-verdict": "검증 판정",
       "result-per-requirement": "요구사항별 결과",
+      "requirement": "요구사항",
+      "evidence": "근거",
       "what-the-change-added": "이 변경이 추가한 것",
       "traced-to": "봉사하는 요구사항",
       "callers": "호출자",

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

@@ -1,6 +1,5 @@
 {% extends "html/base.template.html" %}
 {% from "html/macros/layout.html" import narrative as render_narrative, row_key %}
-{% from "html/macros/visualizations.html" import figure %}
 
 {% block human_content %}
 <section data-report-section="verification-verdict">
@@ -22,7 +21,8 @@
 <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") }}
-  {{ figure(coverageFigure, anchor_nodes=true) }}
+  <div class="table-scroll"><table><thead><tr><th>{{ t('macros.layout.id') }}</th><th>{{ t('tasks.final-verification.requirement') }}</th><th>{{ t('macros.layout.status') }}</th><th>{{ t('tasks.final-verification.evidence') }}</th></tr></thead>
+  <tbody>{% for row in final.validationEvidence %}<tr id="id-{{ row.id }}"><td>{{ row.id | inline_code }}</td><td>{{ row.requirement | inline_code }}</td><td><span class="status status-{{ row.status }}">{{ row.status }}</span></td><td>{{ row.artifact | inline_code }}</td></tr>{% endfor %}</tbody></table></div>
 </section>
 
 <section data-report-section="added-surface" data-report-field="finalVerification.addedSurfaceAudit">

package/runtime/validators/validate-brief.py

@@ -104,6 +104,10 @@ AUGMENTATION_LABELS = {
 
 REPORTER_CONFIRMATION_VALUES = {"complete", "partial", "pending", "skipped"}
 
+# okstra-manager `task split` renders the same brief contract for each project
+# it splits a tracker issue into.
+GENERATORS = {"okstra-brief-gen", "okstra-manager"}
+
 SCOPE_VALUES = {"reporter-input", "codebase"}
 
 TASK_GRAPH_HEADER = ["From", "Relation", "To", "Direction", "Source", "Impact"]
@@ -693,9 +697,10 @@ def validate_brief(path: Path, briefs_root: Path) -> list[str]:
     if fm.get("type") != "brief":
         errors.append(f"frontmatter type must be 'brief', got {fm.get('type')!r}")
 
-    if fm.get("generator") != "okstra-brief-gen":
+    if fm.get("generator") not in GENERATORS:
         errors.append(
-            f"frontmatter generator must be 'okstra-brief-gen', got {fm.get('generator')!r}"
+            f"frontmatter generator must be one of {sorted(GENERATORS)}, "
+            f"got {fm.get('generator')!r}"
         )
 
     if fm.get("reporter-confirmations") not in REPORTER_CONFIRMATION_VALUES: