codeharness 0.12.2 → 0.13.2

package/dist/index.js

@@ -1348,7 +1348,7 @@ function importStoriesToBeads(stories, opts, beadsFns) {
 }
 
 // src/commands/init.ts
-var HARNESS_VERSION = true ? "0.12.2" : "0.0.0-dev";
+var HARNESS_VERSION = true ? "0.13.2" : "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,69 @@ 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) {
+        const bulletAcPattern = /^- AC ?(\d+)[^:\n]*:/gm;
+        const bulletMatches = [...content.matchAll(bulletAcPattern)];
+        const bulletAcNumbers = new Set(bulletMatches.map((m) => m[1]));
+        if (bulletAcNumbers.size === 0) {
+          return { verified: 0, pending: 0, escalated: 0, total: 0, passed: false };
+        }
+        let bVerified = 0;
+        let bPending = 0;
+        let bEscalated = 0;
+        for (const acNum of bulletAcNumbers) {
+          const bulletPattern = new RegExp(`^- AC ?${acNum}[^:\\n]*:(.*)$`, "m");
+          const bulletMatch = content.match(bulletPattern);
+          if (!bulletMatch) {
+            bPending++;
+            continue;
+          }
+          const bulletText = bulletMatch[1].toLowerCase();
+          if (bulletText.includes("n/a") || bulletText.includes("escalat") || bulletText.includes("superseded")) {
+            bEscalated++;
+          } else {
+            bVerified++;
+          }
+        }
+        const hasAnyEvidence = /```output\n/m.test(content);
+        if (!hasAnyEvidence) {
+          bPending += bVerified;
+          bVerified = 0;
+        }
+        const bTotal = bVerified + bPending + bEscalated;
+        return {
+          verified: bVerified,
+          pending: bPending,
+          escalated: bEscalated,
+          total: bTotal,
+          passed: bPending === 0 && bVerified > 0
+        };
+      }
+      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");
@@ -3539,7 +3601,15 @@ function verifyStory(storyId, isJson, root) {
   } else {
     showboatStatus = showboatResult.passed ? "pass" : "fail";
     if (!showboatResult.passed) {
-      fail(`Showboat verify failed: ${showboatResult.output}`, { json: isJson });
+      if (isJson) {
+        jsonOutput({
+          status: "fail",
+          message: `Showboat verify failed: ${showboatResult.output}`,
+          proofQuality: { verified: proofQuality.verified, pending: proofQuality.pending, escalated: proofQuality.escalated, total: proofQuality.total }
+        });
+      } else {
+        fail(`Showboat verify failed: ${showboatResult.output}`);
+      }
       process.exitCode = 1;
       return;
     }
@@ -6827,7 +6897,7 @@ function registerGithubImportCommand(program) {
 }
 
 // src/index.ts
-var VERSION = true ? "0.12.2" : "0.0.0-dev";
+var VERSION = true ? "0.13.2" : "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.2",
+  "version": "0.13.2",
   "type": "module",
   "description": "CLI for codeharness — makes autonomous coding agents produce software that actually works",
   "bin": {