@ngockhoale/ukit 3.4.52 → 3.4.53

package/CHANGELOG.md

@@ -2,6 +2,15 @@
 
 All notable changes to UKit are documented here.
 
+## 3.4.53 - 2026-10-22
+
+**Stop-level closure of the UNPROVEN verdict (follow-up to 3.4.52).**
+- `recoveryInstruction`: a non-current `unproven` verdict no longer yields "verdict is stale, re-run at current head"; it names the real gap (masked pipe, exit status unproven) and never "fix the failure".
+- `stop-coordinator`: the `verify:pass` predicate and `goalVerificationVerdict` treat `unproven` as unmet but report "unproven (exit status not proven)", not a verified failure; `unproven` never counts as a pass.
+- New Stop-level regressions (`tests/hooks/executionLedgerStopLifecycle.test.js`, GC-03e): UNPROVEN neither failure nor PASS; exhausted retry budget ends visibly without a recovery loop or write demand; same-task same-command PASS clears its own blocker, a different command / UNPROVEN rerun / another task does not; a superseded failure stops producing recovery text.
+- Note: `tests/handoff/**` is excluded from `vitest`; run `tests/handoff/goalCompletion.test.js` with `node --test` (vitest exits 1 with "No test files found").
+- Verified offline on macOS/Node 22; no live host proof.
+
 ## 3.4.52 - 2026-10-22
 
 **Verification-loop ledger integrity (post-3.4.51 follow-up).**

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@ngockhoale/ukit",
-  "version": "3.4.52",
+  "version": "3.4.53",
   "description": "Install/update an index-first AI workspace for Claude Code, OpenAI Codex and omp (Oh My Pi).",
   "license": "MIT",
   "type": "module",

package/template_project/.claude/ukit/runtime/execution-ledger.mjs

@@ -3483,7 +3483,9 @@ function recoveryInstruction(missingEvidence, ledger = {}, routeSummary = {}, {
     if (!instruction && ledger.verdict && typeof ledger.verdict === 'object') {
       if (ledger.verdict.kind === 'check-only') {
         instruction = 'check-only does not satisfy this lane; verify on the real surface (run the feature / inspect the artifact).';
-      } else {
+      } else if (ledger.verdict.kind !== 'unproven') {
+        // An UNPROVEN verdict never satisfied the gate, so its currency is irrelevant: the
+        // gap is the missing exit status (named below), not a stale head.
         const currency = verdictCurrent(ledger.verdict, { cwd });
         if (currency.current !== true) {
           const sha = ledger.verdict.headSha ? String(ledger.verdict.headSha).slice(0, 12) : 'unknown';

package/template_project/.claude/ukit/runtime/stop-coordinator.mjs

@@ -1065,9 +1065,14 @@ async function evalVerifyPass(projectRoot) {
   for (let i = receipts.length - 1; i >= 0; i -= 1) {
     const r = receipts[i];
     if (!r || typeof r !== 'object' || r.kind !== 'verification') continue;
-    if (r.success === true && r.verdict?.kind !== 'failed') {
+    if (r.success === true && r.verdict?.kind !== 'failed' && r.verdict?.kind !== 'unproven') {
       return { pass: true, detail: 'last verification passed' };
     }
+    // A masked-pipe run (exit status unproven) is not a verified failure: same fail-closed
+    // result, but the detail must say what is actually missing.
+    if (r.exitStatusUnproven === true || r.verdict?.kind === 'unproven') {
+      return { pass: false, detail: 'last verification unproven (exit status not proven)' };
+    }
     return { pass: false, detail: 'last verification failed' };
   }
   return { pass: false, detail: 'no verification receipt recorded' };
@@ -1136,6 +1141,7 @@ function goalVerificationVerdict(ledger) {
   const verdict = typeof ledger.verdict === 'string' ? ledger.verdict.trim().toLowerCase() : null;
   if (verdict === 'pass' || verdict === 'passed' || verdict === 'verified') return { pass: true, detail: 'verification verdict: pass' };
   if (verdict === 'fail' || verdict === 'failed') return { pass: false, detail: 'verification verdict: fail' };
+  if (verdict === 'unproven') return { pass: false, detail: 'verification verdict: unproven (exit status not proven)' };
   if (ledger.verified === true) return { pass: true, detail: 'verification: verified' };
   if (ledger.verified === false) return { pass: false, detail: 'verification: not verified' };
   if (typeof ledger.verify === 'string' && ledger.verify.trim().toLowerCase() === 'pass') return { pass: true, detail: 'verify: pass' };