@cyning/harness 2.0.1 → 2.0.4

package/ontology.yaml

@@ -2,8 +2,8 @@
 # 人类真值：docs/methodology/product/DESIGN_ONTOLOGY_v1_zh.md
 # 冲突时以 Markdown 为准 · 供未来 harness ontology-check 使用
 
-version: "1.2"
-product_semver: "2.0.0"
+version: "1.3"
+product_semver: "2.0.4"
 license: MIT
 
 classes:
@@ -64,24 +64,44 @@ axioms:
     text: "禁止 sync 覆盖 docs/tasks、reviews、invokes/by-task"
   - id: S5
     text: "harness-sync apply 前须 git-clean（可 --force 跳过）"
+  - id: D1
+    text: "每次 20-task-audit 必须产出 AuditReview（零阻塞须写明）"
   - id: D2
-    text: "HG-AUDIT-R1 pending 时 22 不得附 30 Prompt"
+    text: "HG-AUDIT-R1 pending 时 20-task-audit 不得附 30 Prompt（别名 22-task-audit）"
   - id: D7
     text: "public push 须 HG-RELEASE 人闸 checklist 全勾"
 
+# V2 hat_id · Starter 闭包 + Extended POINTER（见 DESIGN_ONTOLOGY §3.2）
 starter_hats:
-  - hat_id: "10-requirements"
-    role: RequirementsHat
-  - hat_id: "22-task-audit"
+  - hat_id: "10-task"
+    role: TaskRequirementsHat
+    alias: "10-requirements"
+  - hat_id: "20-task-audit"
     role: TaskAuditHat
+    alias: "22-task-audit"
   - hat_id: "30-execute-code"
     role: ExecuteHat
   - hat_id: "40-self-check"
     role: SelfCheckHat
 
+extended_hats:
+  - hat_id: "10-spec"
+    role: SpecRequirementsHat
+    pointer: "工作区 docs/harness/prompts/10-spec-requirements.md"
+  - hat_id: "20-spec-audit"
+    role: SpecAuditHat
+    pointer: "工作区 docs/harness/prompts/20-spec-audit.md"
+  - hat_id: "00-orchestrator"
+    role: OrchestratorHat
+  - hat_id: "50-independent-reinspect"
+    role: ReinspectHat
+
 human_gates:
   - id: HG-TASK-DRAFT
-    blocks_hats: ["22-task-audit", "30-execute-code"]
+    blocks_hats: ["20-task-audit", "30-execute-code"]
+  - id: HG-SPEC-SIGNOFF
+    blocks_hats: ["30-execute-code"]
+    note: "Epic 级 · SPEC approved 后 00 方可派实现链至 30"
   - id: HG-AUDIT-R1
     blocks_hats: ["30-execute-code"]
   - id: HG-RELEASE

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cyning/harness",
-  "version": "2.0.1",
+  "version": "2.0.4",
   "description": "cyning-harness discipline package · init / upgrade / check CLI",
   "license": "MIT",
   "type": "module",

package/schema/verify_result.v1.schema.json

@@ -0,0 +1,65 @@
+{
+  "$schema": "http://json-schema.org/draft-07/schema#",
+  "$id": "https://cyning.me/harness/schemas/verify_result.v1.schema.json",
+  "title": "Harness Verify Agent Handoff Result v1",
+  "description": "npx @cyning/harness verify --json 输出 · A6 v2.0.2+",
+  "oneOf": [
+    { "$ref": "#/definitions/single" },
+    { "$ref": "#/definitions/multi" }
+  ],
+  "definitions": {
+    "single": {
+      "type": "object",
+      "required": [
+        "schema_version",
+        "verify_ok",
+        "task",
+        "may_start_30"
+      ],
+      "properties": {
+        "schema_version": { "type": "string", "const": "1" },
+        "verify_ok": { "type": "boolean" },
+        "task": { "type": "string" },
+        "task_path": { "type": "string" },
+        "task_slug": { "type": ["string", "null"] },
+        "may_start_30": { "type": "boolean" },
+        "blocked_reason": { "type": ["string", "null"] },
+        "review_path": { "type": ["string", "null"] },
+        "entry_invoke_20": { "type": ["string", "null"] },
+        "entry_invoke_20_resolved": { "type": ["string", "null"] },
+        "entry_invoke_30": { "type": ["string", "null"] },
+        "entry_invoke_30_resolved": { "type": ["string", "null"] },
+        "next_hat": { "type": ["string", "null"], "enum": ["30", null] },
+        "agent_preamble": { "type": ["string", "null"] },
+        "warnings": {
+          "type": "array",
+          "items": { "type": "string" }
+        },
+        "gates": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "required": ["id", "status"],
+            "properties": {
+              "id": { "type": "string" },
+              "status": { "type": "string" },
+              "blocks_hats": { "type": "string" }
+            }
+          }
+        }
+      }
+    },
+    "multi": {
+      "type": "object",
+      "required": ["schema_version", "verify_ok", "tasks"],
+      "properties": {
+        "schema_version": { "type": "string", "const": "1" },
+        "verify_ok": { "type": "boolean" },
+        "tasks": {
+          "type": "array",
+          "items": { "$ref": "#/definitions/single" }
+        }
+      }
+    }
+  }
+}

package/wizard/compliance-bench.sh

@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
-# SDD-Compliance micro-bench · v1 · S1–S5
+# SDD-Compliance micro-bench · v1 · S1–S6
 # 输出合规率 %；不测 LLM 解题，只测 Orchestrate/Verify 可机械部分。
 set -euo pipefail
 
@@ -12,14 +12,14 @@ QUIET=0
 
 usage() {
   cat <<'EOF'
-用法：compliance-bench.sh [--all | S1 S2 S3 S4 S5] [--quiet]
+用法：compliance-bench.sh [--all | S1 S2 S3 S4 S5 S6] [--quiet]
 
-  --all     运行 S1–S5（默认输出含公理解释与摘要表）
+  --all     运行 S1–S6（默认输出含公理解释与摘要表）
   --quiet   CI/脚本模式：stdout 仅打印合规率数字；摘要说明走 stderr
 
 说明：
   合规率 = PASS 场景数 ÷ 总场景数 × 100。
-  100 表示 S1–S5 全部通过，即 gate-check / sync 行为符合 SDD 公理；
+  100 表示 S1–S6 全部通过，即 gate-check / sync / verify handoff 行为符合 SDD 公理；
   不是 LLM 解题正确率，也不是业务项目胜率。
 
 示例：
@@ -30,9 +30,9 @@ EOF
 
 while [[ $# -gt 0 ]]; do
   case "$1" in
-    --all) SCENARIOS=(S1 S2 S3 S4 S5); shift ;;
+    --all) SCENARIOS=(S1 S2 S3 S4 S5 S6); shift ;;
     --quiet) QUIET=1; shift ;;
-    S1|S2|S3|S4|S5) SCENARIOS+=("$1"); shift ;;
+    S1|S2|S3|S4|S5|S6) SCENARIOS+=("$1"); shift ;;
     -h|--help) usage; exit 0 ;;
     *) echo "未知参数: $1" >&2; usage; exit 1 ;;
   esac
@@ -68,7 +68,7 @@ gate_status() {
 print_banner() {
   [[ "$QUIET" == "1" ]] && return 0
   log_scenario "╔══════════════════════════════════════════════════════════════╗"
-  log_scenario "║  SDD-Compliance micro-bench · v1 · S1–S5                    ║"
+  log_scenario "║  SDD-Compliance micro-bench · v1 · S1–S6                    ║"
   log_scenario "╚══════════════════════════════════════════════════════════════╝"
   log_scenario ""
   log_scenario "性质  机械合规测试 · 合成夹具 · 不调用 LLM"
@@ -241,6 +241,32 @@ scenario_S5() {
   fi
 }
 
+scenario_S6() {
+  local dir="$BENCH_DIR/S6_agent_handoff"
+  local tf="task_s6_agent_handoff.md"
+  scenario_header "S6" "Agent handoff · verify --json" \
+    "A6 · 30 前 Agent 可发现路由" \
+    "examples/compliance_bench/S6_agent_handoff/" \
+    "HG-AUDIT-R1=approved + entry_invoke_30 → may_start_30 true"
+
+  local json may entry
+  json="$(node "$HARNESS_ROOT/bin/harness.js" verify --target "$dir" --task "$tf" --json 2>/dev/null || true)"
+  may="$(printf '%s' "$json" | node -e "let d='';process.stdin.on('data',c=>d+=c);process.stdin.on('end',()=>{try{const j=JSON.parse(d);console.log(j.may_start_30)}catch{console.log('')}})")"
+  entry="$(printf '%s' "$json" | node -e "let d='';process.stdin.on('data',c=>d+=c);process.stdin.on('end',()=>{try{const j=JSON.parse(d);console.log(j.entry_invoke_30||'')}catch{console.log('')}})")"
+
+  if [[ "$may" == "true" && -n "$entry" ]]; then
+    scenario_footer "S6" "PASS" "may_start_30=true · entry_invoke_30 非空" \
+      "verify --json 输出 Agent handoff 字段 · A6 路由可机械发现"
+    PASS=$((PASS+1))
+    RESULTS+=("S6|PASS|may_start_30=true")
+  else
+    scenario_footer "S6" "FAIL" "may=$may entry=$entry" \
+      "verify --json 缺 handoff 字段 · 须修 lib/task-meta 或夹具"
+    FAIL=$((FAIL+1))
+    RESULTS+=("S6|FAIL|may=$may")
+  fi
+}
+
 print_summary() {
   local total=$((PASS+FAIL))
   local rate=0
@@ -286,6 +312,7 @@ for s in "${SCENARIOS[@]}"; do
     S3) scenario_S3 ;;
     S4) scenario_S4 ;;
     S5) scenario_S5 ;;
+    S6) scenario_S6 ;;
   esac
 done
 

package/wizard/lib/generate-invoke-index.js

@@ -2,10 +2,13 @@
 // 生成 .cyning-harness/invoke_index.json（harness-sync --index 的 JSON 引擎）
 import fs from 'node:fs';
 import path from 'node:path';
+import { parseHarnessMeta } from '../../lib/task-meta.js';
 
 const target = process.argv[2];
+const workspaceRoot = process.argv[3] || undefined;
+
 if (!target) {
-  console.error('用法: node generate-invoke-index.js /path/to/target-repo');
+  console.error('用法: node generate-invoke-index.js /path/to/target-repo [/path/to/workspace-root]');
   process.exit(1);
 }
 
@@ -13,7 +16,6 @@ const byTaskDir = path.join(target, 'docs/harness/invokes/by-task');
 const indexFile = path.join(target, '.cyning-harness/invoke_index.json');
 
 function extractHatId(filename) {
-  // invoke_YYYYMMDD_<hat_id>_*.md 或 invoke_YYYYMMDD_<hat_id>.md
   const base = path.basename(filename, '.md');
   const parts = base.split('_');
   if (parts.length >= 3 && parts[0] === 'invoke') {
@@ -22,12 +24,47 @@ function extractHatId(filename) {
   return 'unknown';
 }
 
+function collectTaskEntryPoints() {
+  const entryBySlug = {};
+  const taskDirs = [
+    path.join(target, 'docs/tasks/active'),
+    path.join(target, 'docs/tasks/done'),
+  ];
+
+  for (const dir of taskDirs) {
+    if (!fs.existsSync(dir)) continue;
+    for (const name of fs.readdirSync(dir)) {
+      if (!name.startsWith('task_') || !name.endsWith('.md')) continue;
+      const content = fs.readFileSync(path.join(dir, name), 'utf8');
+      const meta = parseHarnessMeta(content);
+      const slug = meta.task_slug;
+      if (!slug) continue;
+
+      const points = {};
+      if (meta.entry_invoke_10_task) points['10'] = meta.entry_invoke_10_task;
+      if (meta.entry_invoke_20) points['20'] = meta.entry_invoke_20;
+      if (meta.entry_invoke_30) points['30'] = meta.entry_invoke_30;
+
+      if (Object.keys(points).length === 0) continue;
+
+      entryBySlug[slug] = {
+        task_markdown: path.relative(target, path.join(dir, name)).replace(/\\/g, '/'),
+        entry_points: points,
+      };
+    }
+  }
+
+  return entryBySlug;
+}
+
 const index = {
   schema_version: '1',
   generated_at: new Date().toISOString(),
   index: {},
 };
 
+const taskEntries = collectTaskEntryPoints();
+
 if (fs.existsSync(byTaskDir)) {
   for (const entry of fs.readdirSync(byTaskDir, { withFileTypes: true })) {
     if (!entry.isDirectory()) continue;
@@ -48,13 +85,36 @@ if (fs.existsSync(byTaskDir)) {
 
     invokes.sort((a, b) => a.path.localeCompare(b.path));
 
-    index.index[slug] = {
+    const record = {
       task_slug: slug,
       invokes,
     };
+
+    if (taskEntries[slug]) {
+      record.task_markdown = taskEntries[slug].task_markdown;
+      record.entry_points = taskEntries[slug].entry_points;
+    }
+
+    index.index[slug] = record;
   }
 }
 
+// task 有 entry_invoke 但尚无 invokes/by-task 目录时也索引
+for (const [slug, data] of Object.entries(taskEntries)) {
+  if (!index.index[slug]) {
+    index.index[slug] = {
+      task_slug: slug,
+      invokes: [],
+      task_markdown: data.task_markdown,
+      entry_points: data.entry_points,
+    };
+  }
+}
+
+if (workspaceRoot) {
+  index.workspace_root = path.resolve(workspaceRoot);
+}
+
 fs.mkdirSync(path.dirname(indexFile), { recursive: true });
 fs.writeFileSync(indexFile, JSON.stringify(index, null, 2) + '\n');
 console.log(`invoke_index: ${indexFile}`);