codeharness 0.12.1 → 0.13.0

package/dist/index.js

@@ -1348,7 +1348,7 @@ function importStoriesToBeads(stories, opts, beadsFns) {
 }
 
 // src/commands/init.ts
-var HARNESS_VERSION = true ? "0.12.1" : "0.0.0-dev";
+var HARNESS_VERSION = true ? "0.13.0" : "0.0.0-dev";
 function getStackLabel(stack) {
   if (stack === "nodejs") return "Node.js (package.json)";
   if (stack === "python") return "Python";
@@ -2379,7 +2379,7 @@ function countStories(statuses) {
     if (status === "backlog" || status === "ready-for-dev") ready++;
     else if (status === "done") done++;
     else if (status === "in-progress" || status === "review") inProgress++;
-    else if (status === "verified") verified++;
+    else if (status === "verifying") verified++;
   }
   return { total, ready, done, inProgress, verified };
 }
@@ -3339,7 +3339,34 @@ function validateProofQuality(proofPath) {
     const inlineMatches = [...content.matchAll(inlineAcPattern)];
     const acNumbers = new Set(inlineMatches.map((m) => m[1]));
     if (acNumbers.size === 0) {
-      return { verified: 0, pending: 0, escalated: 0, total: 0, passed: false };
+      const narrativeAcPattern = /=== AC ?(\d+):/g;
+      const narrativeMatches = [...content.matchAll(narrativeAcPattern)];
+      const narrativeAcNumbers = new Set(narrativeMatches.map((m) => m[1]));
+      if (narrativeAcNumbers.size === 0) {
+        return { verified: 0, pending: 0, escalated: 0, total: 0, passed: false };
+      }
+      const sortedAcs = narrativeMatches.map((m) => ({ num: m[1], idx: m.index })).filter((v, i, a) => a.findIndex((x) => x.num === v.num) === i).sort((a, b) => a.idx - b.idx);
+      for (let i = 0; i < sortedAcs.length; i++) {
+        const { num: acNum, idx: acIdx } = sortedAcs[i];
+        const regionStart = i > 0 ? sortedAcs[i - 1].idx : 0;
+        const regionEnd = i + 1 < sortedAcs.length ? sortedAcs[i + 1].idx : content.length;
+        const section = content.slice(regionStart, regionEnd);
+        if (section.includes("[ESCALATE]")) {
+          escalated++;
+        } else if (/```output/m.test(section)) {
+          verified++;
+        } else {
+          pending++;
+        }
+      }
+      const narrativeTotal = verified + pending + escalated;
+      return {
+        verified,
+        pending,
+        escalated,
+        total: narrativeTotal,
+        passed: pending === 0 && verified > 0
+      };
     }
     for (const acNum of acNumbers) {
       const acPattern = new RegExp(`--- AC ?${acNum}:`, "g");
@@ -6827,7 +6854,7 @@ function registerGithubImportCommand(program) {
 }
 
 // src/index.ts
-var VERSION = true ? "0.12.1" : "0.0.0-dev";
+var VERSION = true ? "0.13.0" : "0.0.0-dev";
 function createProgram() {
   const program = new Command();
   program.name("codeharness").description("Makes autonomous coding agents produce software that actually works").version(VERSION).option("--json", "Output in machine-readable JSON format");

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "codeharness",
-  "version": "0.12.1",
+  "version": "0.13.0",
   "type": "module",
   "description": "CLI for codeharness — makes autonomous coding agents produce software that actually works",
   "bin": {