omnius 1.0.567 → 1.0.568

package/dist/index.js

@@ -568249,6 +568249,16 @@ function finalizeCompletionLedgerTruth(ledger) {
   if (effectiveLastVerification >= 0 && effectiveLastVerification >= lastVerificationInvalidatingMutation) {
     unresolved = unresolved.filter((item) => item.source !== "verification_missing" && item.source !== "verification_freshness");
   }
+  unresolved = unresolved.filter((item) => {
+    const failedIndex = ledger.evidence.findIndex((entry) => entry.id === item.source);
+    if (failedIndex < 0)
+      return true;
+    const failed = ledger.evidence[failedIndex];
+    if (!failed || !isFailedVerificationEvidence(failed))
+      return true;
+    const family = verificationFamily(failed);
+    return family === null || (lastSuccessfulVerificationByFamily.get(family) ?? -1) <= failedIndex;
+  });
   ledger.evidence.forEach((entry, index) => {
     if (isFailedVerificationEvidence(entry)) {
       const family = verificationFamily(entry);
@@ -595297,6 +595307,34 @@ Pick the SMALLEST concrete deliverable from the spec — typically the project e
         }
         return gaps;
       }
+      /**
+       * Keep the in-memory REG-37 failure set aligned with the ordered shell
+       * history.  A completion hold can legitimately tell the model to run an
+       * exact verifier later in the same run; that later pass must clear the
+       * original hold before the truth auto-finalizer evaluates the next turn.
+       *
+       * This deliberately recomputes from post-mutation evidence rather than
+       * clearing the most recently mentioned todo.  That preserves freshness for
+       * every completed leaf and leaves independent artifact-inspection failures
+       * intact.
+       */
+      _refreshCompletedTodoVerifierFailures(todos, toolCallLog) {
+        const gaps = this._completionVerifierGapsAfterFinalMutation(todos, toolCallLog);
+        const gapContents = new Set(gaps.map((gap) => gap.todo.content));
+        for (const todo of todos) {
+          const verifyCommand = typeof todo.verifyCommand === "string" ? todo.verifyCommand.trim() : "";
+          if (todo.status !== "completed" || !verifyCommand || !isExecutableVerifyCommand(verifyCommand)) {
+            continue;
+          }
+          if (gapContents.has(todo.content)) {
+            this._verifyCommandFailures.add(todo.content);
+          } else {
+            this._verifyCommandFailures.delete(todo.content);
+          }
+          this._refreshTodoVerificationFailure(todo.content);
+        }
+        return gaps;
+      }
       _formatFreshVerifierGapFeedback(gaps) {
         const lines = gaps.slice(0, 8).map((gap) => {
           const artifacts = gap.declaredArtifacts.length ? ` artifacts=${gap.declaredArtifacts.join(", ")}` : " artifacts=(none declared; any later project mutation invalidates verifier evidence)";
@@ -596203,7 +596241,10 @@ ${modelVisible}` : modelVisible || result.error || displayOutput || "";
         void result;
         if (commandIsPureReadOnlyPipeline(command))
           return false;
-        return /\b(test|tests|vitest|jest|pytest|go test|cargo test|npm test|pnpm test|yarn test|typecheck|tsc|build|verify|verification|check)\b/i.test(command);
+        if (!/\b(test|tests|vitest|jest|pytest|go test|cargo test|npm test|pnpm test|yarn test|typecheck|tsc|build|verify|verification|check)\b/i.test(command)) {
+          return false;
+        }
+        return commandReliablySatisfiesVerifyCommand(command, command);
       }
       _shouldSuppressCompletionDiscoveryEvidence(toolName, result, targetPaths) {
         if (result.success !== true)
@@ -603543,18 +603584,7 @@ ${dynamicProjectContext}`
         };
         const holdUnresolvedVerificationTaskComplete = (turn) => {
           const todos = this.readSessionTodos() || [];
-          const freshVerifierGaps = this._completionVerifierGapsAfterFinalMutation(todos, toolCallLog);
-          const gapContents = new Set(freshVerifierGaps.map((gap) => gap.todo.content));
-          for (const todo of todos) {
-            if (todo.status === "completed" && typeof todo.verifyCommand === "string" && todo.verifyCommand.trim().length > 0) {
-              if (gapContents.has(todo.content)) {
-                this._verifyCommandFailures.add(todo.content);
-              } else {
-                this._verifyCommandFailures.delete(todo.content);
-              }
-              this._refreshTodoVerificationFailure(todo.content);
-            }
-          }
+          const freshVerifierGaps = this._refreshCompletedTodoVerifierFailures(todos, toolCallLog);
           const freshGapFailures = freshVerifierGaps.map((gap) => gap.todo.content);
           const newFailures = [
             .../* @__PURE__ */ new Set([
@@ -607693,6 +607723,7 @@ ${cachedResult}`,
                     this._lastBuildSuccessCommand = (_declaredVerify || _shellCmd2).slice(0, 200);
                     this._truthAutoCompleteBlockedValidationTurn = -1;
                   }
+                  this._refreshCompletedTodoVerifierFailures(this.readSessionTodos() || [], toolCallLog);
                 }
                 if (tc.name === "todo_write") {
                   try {

package/npm-shrinkwrap.json

@@ -1,12 +1,12 @@
 {
   "name": "omnius",
-  "version": "1.0.567",
+  "version": "1.0.568",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "omnius",
-      "version": "1.0.567",
+      "version": "1.0.568",
       "bundleDependencies": [
         "image-to-ascii"
       ],

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "omnius",
-  "version": "1.0.567",
+  "version": "1.0.568",
   "description": "AI coding agent powered by open-source models (Ollama/vLLM) — interactive TUI with agentic tool-calling loop",
   "type": "module",
   "main": "./dist/index.js",