harness-everything 0.11.2 → 0.11.3

package/.claude-plugin/marketplace.json

@@ -10,7 +10,7 @@
       "name": "harness-everything",
       "source": "./",
       "description": "Harness OS: an orchestrated agent operating system — tier routing, circuit breaker guardrails, verification gates, WAL session memory, and self-evolving workspace rules.",
-      "version": "0.11.2",
+      "version": "0.11.3",
       "author": {
         "name": "Miya Daniel"
       },

package/.claude-plugin/plugin.json

@@ -1,7 +1,7 @@
 {
   "name": "harness-everything",
   "description": "Harness OS: an orchestrated agent operating system — tier routing, circuit breaker guardrails, verification gates, WAL session memory, and self-evolving workspace rules.",
-  "version": "0.11.2",
+  "version": "0.11.3",
   "author": {
     "name": "Miya Daniel"
   },

package/CHANGELOG.md

@@ -2,6 +2,12 @@
 
 All notable changes to this project are documented in this file.
 
+## [0.11.3](https://github.com/dyphn1/Harness-everything/compare/v0.11.2...v0.11.3) (2026-09-18)
+
+### Bug Fixes
+
+* **workflow:** Resolve verification-after-edit-missing without a host exit code ([e5dae03](https://github.com/dyphn1/Harness-everything/commit/e5dae03799cca594ac3e4f9d0facca6209dec3c8)), closes [#153](https://github.com/dyphn1/Harness-everything/issues/153)
+
 ## [0.11.2](https://github.com/dyphn1/Harness-everything/compare/v0.11.1...v0.11.2) (2026-09-18)
 
 ### Bug Fixes

package/ci/mechanism-2ah-workflow-lifecycle.test.js

@@ -175,8 +175,11 @@ try {
   check(stop().status === 2, 'direct/iterative route cannot complete unverified mutation');
   check(stop({ stop_hook_active: true }).status === 0 && read(file).state === 'blocked', 'iterative retry reports incomplete state');
   check(control('start').status === 0, 'blocked iterative route can resume without a Fable stage map');
+  // Issue #153: a host is not guaranteed to report a numeric exit code at
+  // all (state-persist.js's own isFailed logic already treats "no exit code
+  // and no stderr" as success), so this must resolve rather than deadlock.
   node('hooks/scripts/state-persist.js', { ...payload, tool_name: 'Bash', tool_input: { command: 'npm test' }, tool_response: { stdout: 'no code' } });
-  check(stop().status === 2, 'verification without numeric exit status is unknown');
+  check(stop().status === 0 && read(file).state === 'satisfied', 'verification without a host-reported numeric exit status still resolves completion');
   node('hooks/scripts/state-persist.js', { ...payload, tool_name: 'Bash', tool_input: { command: 'npm test' }, tool_response: { exitCode: 0, stdout: 'passed' } });
   check(stop().status === 0 && read(file).state === 'satisfied', 'observed iterative verification resolves completion');
   console.log(`PASS: workflow lifecycle (${passed} assertions)`);

package/ci/mechanism-2f-stop-gate.test.js

@@ -20,4 +20,57 @@ helper.check(
 );
 fs.unlinkSync(dirtyFile);
 
+console.log('\n[2f] workflow-stop-gate (iterative-single) verification signal...');
+
+const now = Date.now();
+
+// Bug reproduction (issue #153): a verify-classified command that genuinely
+// succeeded but whose host never reported a numeric exit code (observed on
+// at least one live host - state-persist.js writes lastVerifyExitCode: null
+// for any non-failing command when the PostToolUse payload has no numeric
+// exitCode) must not be treated as unverified.
+helper.writeState('workflow-run.json', {
+  schemaVersion: 1, sessionId: helper.SESSION_ID, strategy: 'iterative-single',
+  state: 'running', lastMutationAt: now - 5000,
+});
+helper.writeState('handoff-state.json', {
+  status: 'idle', lastEditAt: now - 5000, lastVerifyAt: now, lastVerifyExitCode: null,
+});
+const hostExitCodeUnavailable = helper.runHook('workflow-stop-gate.js', { session_id: helper.SESSION_ID });
+helper.check(
+  '2f. workflow-stop-gate resolves when verify ran after edit even without a numeric exit code',
+  hostExitCodeUnavailable.code === 0 && helper.readState('workflow-run.json').state === 'satisfied',
+  `Got exit=${hostExitCodeUnavailable.code}, stderr="${hostExitCodeUnavailable.stderr.slice(0, 300)}"`
+);
+
+// Regression guard: explicit exit 0 (host does report it) must still resolve.
+helper.writeState('workflow-run.json', {
+  schemaVersion: 1, sessionId: helper.SESSION_ID, strategy: 'iterative-single',
+  state: 'running', lastMutationAt: now - 5000,
+});
+helper.writeState('handoff-state.json', {
+  status: 'idle', lastEditAt: now - 5000, lastVerifyAt: now, lastVerifyExitCode: 0,
+});
+const hostExitCodeReported = helper.runHook('workflow-stop-gate.js', { session_id: helper.SESSION_ID });
+helper.check(
+  '2f. workflow-stop-gate still resolves when the host does report exit code 0',
+  hostExitCodeReported.code === 0 && helper.readState('workflow-run.json').state === 'satisfied',
+  `Got exit=${hostExitCodeReported.code}`
+);
+
+// Negative control: no verification ran after the edit at all -> stays blocked.
+helper.writeState('workflow-run.json', {
+  schemaVersion: 1, sessionId: helper.SESSION_ID, strategy: 'iterative-single',
+  state: 'running', lastMutationAt: now,
+});
+helper.writeState('handoff-state.json', {
+  status: 'idle', lastEditAt: now, lastVerifyAt: now - 5000, lastVerifyExitCode: null,
+});
+const staleVerify = helper.runHook('workflow-stop-gate.js', { session_id: helper.SESSION_ID });
+helper.check(
+  '2f. workflow-stop-gate still blocks when no verification ran after the edit',
+  staleVerify.code === 2 && staleVerify.stderr.includes('verification-after-edit-missing'),
+  `Got exit=${staleVerify.code}, stderr="${staleVerify.stderr.slice(0, 300)}"`
+);
+
 helper.finish();

package/hooks/scripts/workflow-stop-gate.js

@@ -21,7 +21,15 @@ function decide(payload) {
   } else {
     const handoff = readJson(path.join(sessionDir, 'handoff-state.json'));
     const lastEdit = Math.max(workflow.lastMutationAt || 0, handoff?.lastEditAt || 0);
-    if (lastEdit && ((handoff?.lastVerifyAt || 0) < lastEdit || handoff?.lastVerifyExitCode !== 0)) unresolved = ['verification-after-edit-missing'];
+    // state-persist.js only ever records lastVerifyAt/lastVerifyExitCode from
+    // its `!isFailed` branch, so reaching this timestamp already proves the
+    // command succeeded. Do not additionally require lastVerifyExitCode===0:
+    // hosts are not guaranteed to report a numeric exit code at all (some
+    // PostToolUse payloads omit it entirely), in which case state-persist.js
+    // correctly records success with lastVerifyExitCode: null, and requiring
+    // a literal 0 here would make this gate permanently unresolvable on that
+    // host after any edit.
+    if (lastEdit && (handoff?.lastVerifyAt || 0) < lastEdit) unresolved = ['verification-after-edit-missing'];
   }
   if (unresolved.length) {
     workflow.unresolved = unresolved;

package/opencode-plugin/plugin.json

@@ -1,7 +1,7 @@
 {
   "name": "harness-enforcement",
   "description": "Repository inventory for the opencode enforcement plugin and its standalone helper",
-  "version": "0.11.2",
+  "version": "0.11.3",
   "runtime": "index.mjs",
   "hooks": {
     "verify": "hooks/verify.js"

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "harness-everything",
-  "version": "0.11.2",
+  "version": "0.11.3",
   "description": "Harness OS: An Orchestrated Agent Operating System for AI-driven Development",
   "main": "harness-everything/scripts/bootstrap.js",
   "bin": {

package/plugins/harness-everything/.codex-plugin/plugin.json

@@ -1,6 +1,6 @@
 {
   "name": "harness-everything",
-  "version": "0.11.2",
+  "version": "0.11.3",
   "description": "Invariant-first engineering harness for routing, verification, and failure recovery while preserving agent autonomy.",
   "author": {
     "name": "Miya Daniel",

package/plugins/harness-everything/hooks/scripts/workflow-stop-gate.js

@@ -21,7 +21,15 @@ function decide(payload) {
   } else {
     const handoff = readJson(path.join(sessionDir, 'handoff-state.json'));
     const lastEdit = Math.max(workflow.lastMutationAt || 0, handoff?.lastEditAt || 0);
-    if (lastEdit && ((handoff?.lastVerifyAt || 0) < lastEdit || handoff?.lastVerifyExitCode !== 0)) unresolved = ['verification-after-edit-missing'];
+    // state-persist.js only ever records lastVerifyAt/lastVerifyExitCode from
+    // its `!isFailed` branch, so reaching this timestamp already proves the
+    // command succeeded. Do not additionally require lastVerifyExitCode===0:
+    // hosts are not guaranteed to report a numeric exit code at all (some
+    // PostToolUse payloads omit it entirely), in which case state-persist.js
+    // correctly records success with lastVerifyExitCode: null, and requiring
+    // a literal 0 here would make this gate permanently unresolvable on that
+    // host after any edit.
+    if (lastEdit && (handoff?.lastVerifyAt || 0) < lastEdit) unresolved = ['verification-after-edit-missing'];
   }
   if (unresolved.length) {
     workflow.unresolved = unresolved;

package/plugins/harness-everything/plugin.json

@@ -1,7 +1,7 @@
 {
   "$schema": "https://agent-plugins.org/schemas/1.0.0/plugin.schema.json",
   "name": "harness-everything",
-  "version": "0.11.2",
+  "version": "0.11.3",
   "description": "Invariant-first engineering harness for routing, verification, and failure recovery while preserving agent autonomy.",
   "author": {
     "name": "Miya Daniel",