@erzhe/harness-kit 0.1.3 → 0.1.4

package/dist/harness-kit.cjs

@@ -16619,9 +16619,24 @@ function loadManifest(repo) {
 }
 function validateManifest(m) {
   const issues = [];
+  function checkStrArr(arr, prefix) {
+    if (!arr) return;
+    for (let i = 0; i < arr.length; i++) {
+      if (typeof arr[i] !== "string") {
+        issues.push({
+          level: "error",
+          msg: `${prefix}[${i}] \u5FC5\u987B\u662F\u5B57\u7B26\u4E32\uFF08\u5F53\u524D\u662F ${typeof arr[i]}\uFF09`
+        });
+      }
+    }
+  }
   if (!m.spec) issues.push({ level: "error", msg: "\u7F3A\u5C11 spec \u5B57\u6BB5" });
   if (!m.identity?.name) issues.push({ level: "error", msg: "identity.name \u5FC5\u586B" });
   if (!m.identity?.summary) issues.push({ level: "warn", msg: "identity.summary \u5EFA\u8BAE\u586B\u5199" });
+  checkStrArr(m.identity?.scope_in, "identity.scope_in");
+  checkStrArr(m.identity?.scope_out, "identity.scope_out");
+  checkStrArr(m.identity?.upstream, "identity.upstream");
+  checkStrArr(m.identity?.downstream, "identity.downstream");
   for (const [verb, cap] of Object.entries(m.capabilities ?? {})) {
     if (!cap?.run) issues.push({ level: "error", msg: `capabilities.${verb}.run \u5FC5\u586B` });
   }
@@ -16636,11 +16651,23 @@ function validateManifest(m) {
     if (!inv.enforcement && !inv.check && !inv.manual) {
       issues.push({ level: "warn", msg: `invariant ${inv.id} \u65E2\u65E0 enforcement/check \u4E5F\u672A\u6807 manual` });
     }
+    const pfx = `invariant "${inv.id}" \u7684 enforcement`;
+    checkStrArr(inv.enforcement?.forbid_pattern, `${pfx}.forbid_pattern`);
+    checkStrArr(inv.enforcement?.forbid_import, `${pfx}.forbid_import`);
+    checkStrArr(inv.enforcement?.require_pattern, `${pfx}.require_pattern`);
+    checkStrArr(inv.enforcement?.path_glob, `${pfx}.path_glob`);
+  }
+  for (const k of m.knowledge ?? []) {
+    checkStrArr(k.binds, `knowledge "${k.path}" \u7684 binds`);
   }
   const capVerbs = new Set(Object.keys(m.capabilities ?? {}));
   for (const r of m.routing ?? []) {
     if (!r.when) issues.push({ level: "error", msg: "\u5B58\u5728\u7F3A\u5C11 when \u7684 routing \u6761\u76EE" });
+    for (const field of ["read", "entry", "dont_assume", "verify"]) {
+      checkStrArr(r[field], `routing "${r.when}" \u7684 ${field}`);
+    }
     for (const v of r.verify ?? []) {
+      if (typeof v !== "string") continue;
       if (!v.includes(" ") && !capVerbs.has(v))
         issues.push({ level: "warn", msg: `routing "${r.when}" \u7684 verify \u5F15\u7528\u4E86\u672A\u58F0\u660E\u7684 capability: ${v}` });
     }
@@ -16655,11 +16682,20 @@ function validateManifest(m) {
     modSeen.add(mod.name);
     if (!mod.entry?.length)
       issues.push({ level: "warn", msg: `module ${mod.name} \u672A\u58F0\u660E entry\uFF08\u65E0\u6CD5\u505A\u65B0\u9C9C\u5EA6\u7ED1\u5B9A\uFF09` });
+    for (const field of ["entry", "upstream", "downstream", "must_know", "pitfalls"]) {
+      checkStrArr(mod[field], `module "${mod.name}" \u7684 ${field}`);
+    }
   }
   return issues;
 }
 
 // src/render.ts
+function safeStr(v) {
+  if (typeof v === "string") return v;
+  if (v == null) return "";
+  if (typeof v === "number" || typeof v === "boolean") return String(v);
+  return JSON.stringify(v);
+}
 function renderTargets(m) {
   const targets = [
     ["AGENTS.md", renderAgentsMd(m)],
@@ -16699,15 +16735,15 @@ function renderAgentsMd(m) {
   L.push("");
   if (id.scope_in?.length || id.scope_out?.length) {
     L.push("## Scope");
-    if (id.scope_in?.length) L.push("", "In scope:", ...id.scope_in.map((s) => `- ${s}`));
+    if (id.scope_in?.length) L.push("", "In scope:", ...id.scope_in.map((s) => `- ${safeStr(s)}`));
     if (id.scope_out?.length)
-      L.push("", "Out of scope (do NOT modify here):", ...id.scope_out.map((s) => `- ${s}`));
+      L.push("", "Out of scope (do NOT modify here):", ...id.scope_out.map((s) => `- ${safeStr(s)}`));
     L.push("");
   }
   if (id.upstream?.length || id.downstream?.length) {
     L.push("## Dependencies");
-    if (id.upstream?.length) L.push("", `Upstream: ${id.upstream.join(", ")}`);
-    if (id.downstream?.length) L.push("", `Downstream: ${id.downstream.join(", ")}`);
+    if (id.upstream?.length) L.push("", `Upstream: ${id.upstream.map(safeStr).join(", ")}`);
+    if (id.downstream?.length) L.push("", `Downstream: ${id.downstream.map(safeStr).join(", ")}`);
     L.push("");
   }
   const caps = Object.entries(m.capabilities ?? {});
@@ -16759,10 +16795,10 @@ function renderRoutingMd(m) {
   L.push("Find the change-type that matches your task and follow that row before editing.", "");
   for (const r of m.routing ?? []) {
     L.push(`## ${r.when}`);
-    if (r.read?.length) L.push(`- Read first: ${r.read.map((s) => `\`${s}\``).join(", ")}`);
-    if (r.entry?.length) L.push(`- Entry points: ${r.entry.map((s) => `\`${s}\``).join(", ")}`);
-    if (r.dont_assume?.length) for (const d of r.dont_assume) L.push(`- Do NOT assume: ${d}`);
-    if (r.verify?.length) L.push(`- Minimum verification: ${r.verify.map((s) => `\`${s}\``).join(", ")}`);
+    if (r.read?.length) L.push(`- Read first: ${r.read.map((s) => `\`${safeStr(s)}\``).join(", ")}`);
+    if (r.entry?.length) L.push(`- Entry points: ${r.entry.map((s) => `\`${safeStr(s)}\``).join(", ")}`);
+    if (r.dont_assume?.length) for (const d of r.dont_assume) L.push(`- Do NOT assume: ${safeStr(d)}`);
+    if (r.verify?.length) L.push(`- Minimum verification: ${r.verify.map((s) => `\`${safeStr(s)}\``).join(", ")}`);
     L.push("");
   }
   return L.join("\n");
@@ -16773,11 +16809,11 @@ function renderModulesMd(m) {
   L.push("# Module map", "");
   for (const mod of m.modules ?? []) {
     L.push(`## ${mod.name} \u2014 ${mod.role}`);
-    if (mod.entry?.length) L.push(`- Entry: ${mod.entry.map((s) => `\`${s}\``).join(", ")}`);
-    if (mod.upstream?.length) L.push(`- Upstream: ${mod.upstream.join(", ")}`);
-    if (mod.downstream?.length) L.push(`- Downstream: ${mod.downstream.join(", ")}`);
-    if (mod.must_know?.length) for (const k of mod.must_know) L.push(`- Must know: ${k}`);
-    if (mod.pitfalls?.length) for (const p of mod.pitfalls) L.push(`- Pitfall: ${p}`);
+    if (mod.entry?.length) L.push(`- Entry: ${mod.entry.map((s) => `\`${safeStr(s)}\``).join(", ")}`);
+    if (mod.upstream?.length) L.push(`- Upstream: ${mod.upstream.map(safeStr).join(", ")}`);
+    if (mod.downstream?.length) L.push(`- Downstream: ${mod.downstream.map(safeStr).join(", ")}`);
+    if (mod.must_know?.length) for (const k of mod.must_know) L.push(`- Must know: ${safeStr(k)}`);
+    if (mod.pitfalls?.length) for (const p of mod.pitfalls) L.push(`- Pitfall: ${safeStr(p)}`);
     L.push("");
   }
   return L.join("\n");

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@erzhe/harness-kit",
-  "version": "0.1.3",
+  "version": "0.1.4",
   "type": "module",
   "description": "AI-friendly repo harness: a manifest.yaml single source of truth that generates AGENTS.md / CLAUDE.md / Cursor rules and enforces invariants, contracts and drift via `harness-kit verify`.",
   "keywords": [
@@ -39,14 +39,6 @@
     "access": "public",
     "registry": "https://registry.npmjs.org/"
   },
-  "scripts": {
-    "harness": "tsx src/cli.ts",
-    "build": "esbuild src/cli.ts --bundle --platform=node --format=cjs --target=node18 --log-override:empty-import-meta=silent --outfile=dist/harness-kit.cjs && chmod +x dist/harness-kit.cjs",
-    "typecheck": "tsc --noEmit",
-    "test": "node --import tsx --test test/*.test.ts",
-    "test:repos": "bash scripts/regression.sh",
-    "prepare": "pnpm build"
-  },
   "dependencies": {
     "commander": "^15.0.0",
     "fast-glob": "^3.3.3",
@@ -57,5 +49,12 @@
     "esbuild": "^0.28.1",
     "tsx": "^4.22.5",
     "typescript": "^6.0.3"
+  },
+  "scripts": {
+    "harness": "tsx src/cli.ts",
+    "build": "esbuild src/cli.ts --bundle --platform=node --format=cjs --target=node18 --log-override:empty-import-meta=silent --outfile=dist/harness-kit.cjs && chmod +x dist/harness-kit.cjs",
+    "typecheck": "tsc --noEmit",
+    "test": "node --import tsx --test test/*.test.ts",
+    "test:repos": "bash scripts/regression.sh"
   }
-}
+}