@dzhechkov/harness-core 0.7.4 → 0.7.6

package/dist/writer-quiescence.js

@@ -0,0 +1,82 @@
+/**
+ * Writer-quiescence probe for Step 8 — feature qe-writer-quiescence (backlog 700b46a4).
+ *
+ * MEASURED (crossrt-1, 2026-08-18): Step-8 graded a MOVING tree — a background worker wrote at
+ * 19:25, 19:32 and 19:46, AFTER the verdict, its last write clobbering a file the same round had
+ * just written. The reviewer hand-waited six consecutive 30-second zero-write windows and
+ * re-measured everything. This module is that wait, as a machine: the same idea the publish gate
+ * already enforces («не публикуй, пока рой жив»), applied to grading.
+ *
+ * A BELT, not the root: mutual exclusion of writers (worktree isolation) is item 9520e506. The
+ * probe therefore NEVER blocks a run — a moving tree downgrades the verdict's standing loudly
+ * instead of stopping the pipeline.
+ *
+ * PURE: the shell script is GENERATED here and executed by a workflow agent (the workflow sandbox
+ * has no child_process — the agent is the shell, same as the landing barrier); the answer is
+ * PARSED here, parse-never-synthesize: an empty or malformed probe is 'inconclusive', never
+ * 'quiet'.
+ */
+export const WQ_WINDOW_SECONDS = 20;
+export const WQ_MAX_WINDOWS = 9;
+export const WQ_REQUIRED_QUIET = 3;
+/**
+ * The probe script a workflow agent runs verbatim. Polls the declared targets PLUS the feature
+ * dir (FR-4: the feature's own artifacts are exactly the surface crossrt-1 saw clobbered) in
+ * fixed windows; prints one `WQ-WINDOW <n> changed=<count>` line per window and exits early after
+ * `requiredQuiet` consecutive zeros. `find -newermt '-<w+5> seconds'` widens the lookback slightly
+ * past the sleep so a write on the window boundary cannot fall between two polls.
+ */
+export function quiescenceProbeScript(paths, opts) {
+    const w = opts?.windowSeconds ?? WQ_WINDOW_SECONDS;
+    const max = opts?.maxWindows ?? WQ_MAX_WINDOWS;
+    const need = opts?.requiredQuiet ?? WQ_REQUIRED_QUIET;
+    const targets = paths
+        .map((p) => String(p).trim())
+        .filter((p) => p !== '' && !p.startsWith('-') && !p.includes("'"))
+        .map((p) => `'${p.replace(/'/g, '')}'`)
+        .join(' ');
+    const lookback = w + 5;
+    // Cross-family review (round 1, D): find errors — a missing/typo'd target, a permission failure —
+    // used to feed ZERO to `wc -l`, so a probe that could not look reported quiet. Errors now print
+    // `changed=ERR` and the parser refuses to let an ERR window feed a quiet streak.
+    return (`quiet=0; n=0; while [ $n -lt ${max} ]; do n=$((n+1)); sleep ${w}; ` +
+        `out=$(find ${targets} -type f -newermt '-${lookback} seconds' 2>&1 >/tmp/wq-list.$$); st=$?; ` +
+        `if [ $st -ne 0 ] || [ -n "$out" ]; then c=ERR; else c=$(wc -l < /tmp/wq-list.$$); fi; rm -f /tmp/wq-list.$$; ` +
+        `echo "WQ-WINDOW $n changed=$c"; ` +
+        `if [ "$c" = "0" ]; then quiet=$((quiet+1)); if [ $quiet -ge ${need} ]; then echo "WQ-DONE quiet"; exit 0; fi; else quiet=0; fi; ` +
+        `done; echo "WQ-DONE budget"`);
+}
+/** Parse the probe transcript into a verdict. Empty/malformed ⇒ inconclusive, never quiet. */
+export function decideWriterQuiescence(probeText, requiredQuiet = WQ_REQUIRED_QUIET) {
+    const text = probeText === null || probeText === undefined ? '' : String(probeText);
+    // -1 encodes an ERR window (find could not look): it can never join a quiet streak, and its
+    // presence degrades a no-streak outcome to 'inconclusive' — an instrument that failed to observe
+    // must not testify to movement either.
+    const windows = [];
+    for (const line of text.split(/\r?\n/)) {
+        const m = /WQ-WINDOW\s+\d+\s+changed=(\d+|ERR)/.exec(line);
+        if (m)
+            windows.push(m[1] === 'ERR' ? -1 : Number(m[1]));
+    }
+    if (windows.length === 0) {
+        return { verdict: 'inconclusive', windows, note: 'quiescence probe returned no windows — grading standing NOT established (probe failure is never quiet)' };
+    }
+    let streak = 0;
+    for (const c of windows) {
+        streak = c === 0 ? streak + 1 : 0;
+        if (streak >= requiredQuiet) {
+            // The claim is exactly what was measured (cross-family review): mtime evidence of no recent
+            // writes — never a writer-lifecycle guarantee. The root guarantee is worktree isolation.
+            return { verdict: 'quiet', windows, note: `no observed writes in ${requiredQuiet} consecutive windows (mtime evidence only — not a writer-lifecycle guarantee)` };
+        }
+    }
+    if (windows.some((c) => c < 0)) {
+        return { verdict: 'inconclusive', windows, note: 'quiescence probe could not observe every window (find errored) — grading standing NOT established' };
+    }
+    return {
+        verdict: 'moving',
+        windows,
+        note: `tree is MOVING: no ${requiredQuiet} consecutive quiet windows within budget (per-window changed counts: ${windows.join(',')}) — the verdict below was graded on a moving tree and must say so`,
+    };
+}
+//# sourceMappingURL=writer-quiescence.js.map

package/dist/writer-quiescence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"writer-quiescence.js","sourceRoot":"","sources":["../src/writer-quiescence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AASH,MAAM,CAAC,MAAM,iBAAiB,GAAG,EAAE,CAAC;AACpC,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC;AAChC,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAEnC;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CACnC,KAAwB,EACxB,IAA8E;IAE9E,MAAM,CAAC,GAAG,IAAI,EAAE,aAAa,IAAI,iBAAiB,CAAC;IACnD,MAAM,GAAG,GAAG,IAAI,EAAE,UAAU,IAAI,cAAc,CAAC;IAC/C,MAAM,IAAI,GAAG,IAAI,EAAE,aAAa,IAAI,iBAAiB,CAAC;IACtD,MAAM,OAAO,GAAG,KAAK;SAClB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SAC5B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;SACjE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC;SACtC,IAAI,CAAC,GAAG,CAAC,CAAC;IACb,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,CAAC;IACvB,kGAAkG;IAClG,gGAAgG;IAChG,iFAAiF;IACjF,OAAO,CACL,gCAAgC,GAAG,4BAA4B,CAAC,IAAI;QACpE,cAAc,OAAO,uBAAuB,QAAQ,2CAA2C;QAC/F,+GAA+G;QAC/G,kCAAkC;QAClC,+DAA+D,IAAI,+DAA+D;QAClI,6BAA6B,CAC9B,CAAC;AACJ,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,sBAAsB,CAAC,SAAkB,EAAE,aAAa,GAAG,iBAAiB;IAC1F,MAAM,IAAI,GAAG,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACpF,4FAA4F;IAC5F,iGAAiG;IACjG,uCAAuC;IACvC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QACvC,MAAM,CAAC,GAAG,qCAAqC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAI,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,EAAE,wGAAwG,EAAE,CAAC;IAC9J,CAAC;IACD,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,MAAM,IAAI,aAAa,EAAE,CAAC;YAC5B,4FAA4F;YAC5F,yFAAyF;YACzF,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,yBAAyB,aAAa,+EAA+E,EAAE,CAAC;QACpK,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QAC/B,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,EAAE,mGAAmG,EAAE,CAAC;IACzJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,QAAQ;QACjB,OAAO;QACP,IAAI,EAAE,sBAAsB,aAAa,wEAAwE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,mEAAmE;KACtM,CAAC;AACJ,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@dzhechkov/harness-core",
-  "version": "0.7.4",
+  "version": "0.7.6",
   "description": "Shared harness logic - skill loading, additive apply, and the init/sync/verify/doctor operations.",
   "type": "module",
   "license": "MIT",
@@ -27,20 +27,20 @@
     "sbom.json"
   ],
   "dependencies": {
-    "@dzhechkov/adapter-claude": "^0.2.0",
-    "@dzhechkov/adapter-codex": "^0.2.0",
-    "@dzhechkov/adapter-hermes": "^0.2.0",
-    "@dzhechkov/adapter-openclaude": "^0.1.0",
-    "@dzhechkov/adapter-opencode": "^0.2.0",
     "proper-lockfile": "^4.1.2",
     "yaml": "^2.0.0",
-    "@dzhechkov/adapter-agents-md": "0.1.2",
-    "@dzhechkov/adapter-copilot": "0.1.2",
-    "@dzhechkov/adapter-gemini": "0.1.2",
-    "@dzhechkov/adapter-cursor": "0.1.2",
-    "@dzhechkov/adapter-windsurf": "0.1.2",
-    "@dzhechkov/core": "0.2.16",
-    "@dzhechkov/memory": "0.2.14"
+    "@dzhechkov/adapter-agents-md": "0.1.3",
+    "@dzhechkov/adapter-codex": "^0.2.2",
+    "@dzhechkov/adapter-cursor": "0.1.3",
+    "@dzhechkov/adapter-copilot": "0.1.3",
+    "@dzhechkov/adapter-gemini": "0.1.3",
+    "@dzhechkov/adapter-openclaude": "^0.1.2",
+    "@dzhechkov/adapter-claude": "^0.2.2",
+    "@dzhechkov/adapter-hermes": "^0.2.2",
+    "@dzhechkov/adapter-opencode": "^0.2.2",
+    "@dzhechkov/core": "0.2.17",
+    "@dzhechkov/adapter-windsurf": "0.1.3",
+    "@dzhechkov/memory": "0.2.15"
   },
   "peerDependenciesMeta": {
     "@ruvector/rvf": {