@mstar-harness/engine 3.8.1 → 3.8.3

package/dist/core.d.ts

@@ -109,3 +109,11 @@ export declare function harnessVersionFrom(moduleDir: string): string;
  * single-version invariant keeps root, engine, cli and opencode aligned.
  */
 export declare function readHarnessVersion(): string;
+/**
+ * Exact `dsh-llm-fallbacks` version shared by the workspace pin and the
+ * published CLI `init --target dsh` install spec. Two literals only: this
+ * constant and `packages/dsh/package.json` `devDependencies["dsh-llm-fallbacks"]`.
+ * A drift test asserts they match. CLI src must not import JSON (no
+ * resolveJsonModule; published dist cannot see the repo).
+ */
+export declare const DSH_LLM_FALLBACKS_VERSION = "0.5.2";

package/dist/engine.js

@@ -81,6 +81,7 @@ function harnessVersionFrom(moduleDir) {
 function readHarnessVersion() {
   return harnessVersionFrom(dirname(fileURLToPath(import.meta.url)));
 }
+var DSH_LLM_FALLBACKS_VERSION = "0.5.2";
 // src/mstarc.ts
 import { readFileSync as readFileSync2, statSync } from "node:fs";
 import { dirname as dirname2, isAbsolute, join as join2, relative, resolve as resolve2 } from "node:path";
@@ -5595,18 +5596,62 @@ function findEphemeralCitations(skillText) {
   return citations;
 }
 var TEST_FILE_PATH_RE = /[\w./-]+\.(?:test|spec)\.[a-z0-9]+/i;
-var TEST_FILE_PHRASE_RE = /\btest files?\b/i;
+var TEST_FILE_PHRASE_RE = /\btest file(?:s|\(s\))?\s*:[ \t]*(.+)/i;
 var COMMAND_PROMPT_RE = /^\s*[$>]\s*\S/;
 var RUNNER_RE = /\b(?:bun|pnpm|npm|yarn|npx|bunx)\s+(?:test|run|exec)\b|\b(?:npx|bunx)\s+[\w./-]+\b|\b(?:tsc|vitest|jest|mocha|pytest)\b|\bgo\s+test\b|\bcargo\s+test\b/i;
 var OUTPUT_TOKEN_RE = /[\u2713\u2714\u2717\u2718]|\b(?:PASS|FAIL)\b|\b\d+\s+(?:pass(?:es|ed)?|fail(?:s|ed|ing)?|skipped|tests?|ok)\b|\bok\s+\d+\b|\ball\s+ok\b|exit(?:ed)?\s+(?:with\s+)?(?:code\s+)?\d+/i;
+function hasEvidenceDetail(value) {
+  const detail = value.trim().replace(/^`+|`+$/g, "").trim();
+  return detail.length > 0 && !/^(?:n\/a|none|tbd|todo|tba|unknown|skipped|not[- ]run|\.\.\.|\u2026|<[^>]+>)$/i.test(detail);
+}
 function assertSddTddTriple(reportText) {
   const violations = [];
-  const lines = reportText.split(/\r?\n/);
+  const activeRound = [...reportText.matchAll(/^## Verification round:[ \t]*(.*)$/gm)].at(-1);
+  if (activeRound && !hasEvidenceDetail(activeRound[1])) {
+    return {
+      ok: false,
+      violations: [violation11("medium", "lint.sdd-evidence.invalid-round", "Verification round requires a concrete label.")]
+    };
+  }
+  const activeText = activeRound ? reportText.slice(activeRound.index + activeRound[0].length) : reportText;
+  const lines = activeText.split(/\r?\n/);
+  const fields = new Map;
+  for (const line of lines) {
+    const match = line.match(/^\s*(Verification mode|Changed files|Tests|Reason|Check command|Check result):[ \t]*(.*)$/i);
+    if (match) {
+      const key = match[1].toLowerCase();
+      fields.set(key, [...fields.get(key) ?? [], match[2].trim()]);
+    }
+  }
+  const modes = fields.get("verification mode");
+  if (modes) {
+    if (modes.length !== 1 || modes[0] !== "scoped-check") {
+      return {
+        ok: false,
+        violations: [violation11("medium", "lint.sdd-evidence.invalid-mode", "Use exactly one Verification mode: scoped-check declaration in the active round; unknown or duplicate modes are invalid.")]
+      };
+    }
+    for (const key of ["changed files", "tests", "reason", "check command", "check result"]) {
+      const values = fields.get(key) ?? [];
+      const value = values[0] ?? "";
+      const valid = values.length === 1 && (key === "tests" ? value === "N/A" : hasEvidenceDetail(value));
+      if (!valid) {
+        violations.push(violation11("medium", `lint.sdd-evidence.${key.replaceAll(" ", "-")}`, `scoped-check requires one concrete ${key} field${key === "tests" ? " with value N/A" : ""}; missing, duplicate, or placeholder evidence is invalid.`));
+      }
+    }
+    return { ok: violations.length === 0, violations };
+  }
+  if (lines.some((line) => /^\s*(?:Tests|(?:Covering )?test file(?:s|\(s\))?):\s*`?N\/A`?\s*$/i.test(line))) {
+    return {
+      ok: false,
+      violations: [violation11("medium", "lint.sdd-tdd.missing-tests", "Bare N/A is not test evidence; document/policy checks need an explicit, complete scoped-check declaration.")]
+    };
+  }
   let hasTests = false;
   let hasCommand = false;
   let hasOutput = false;
   for (const line of lines) {
-    if (!hasTests && (TEST_FILE_PATH_RE.test(line) || TEST_FILE_PHRASE_RE.test(line)))
+    if (!hasTests && (TEST_FILE_PATH_RE.test(line) || hasEvidenceDetail(line.match(TEST_FILE_PHRASE_RE)?.[1] ?? "")))
       hasTests = true;
     if (!hasCommand && (COMMAND_PROMPT_RE.test(line) || RUNNER_RE.test(line)))
       hasCommand = true;
@@ -6823,6 +6868,7 @@ export {
   AUDIT_PRIORITIES,
   AUDIT_RISKS,
   DEV_TRACK_PARAMS,
+  DSH_LLM_FALLBACKS_VERSION,
   FIVE_QUESTION_SECTIONS,
   GIT_CAPTURE_MAX_BYTES,
   KNOWLEDGE_BUG_PROBLEM_TYPES,

package/dist/index.d.ts

@@ -27,7 +27,7 @@
  * 5-question bodies and resolves skill-relative asset paths.
  */
 export type { GateResult, Severity, ValidationResult } from "./core.js";
-export { SEVERITY_ORDER, applyEnforcement, readHarnessVersion, readJson, resolveProjectRoot, writeJson } from "./core.js";
+export { DSH_LLM_FALLBACKS_VERSION, SEVERITY_ORDER, applyEnforcement, readHarnessVersion, readJson, resolveProjectRoot, writeJson } from "./core.js";
 export type { HarnessKind, ResolveHarnessDirOptions, ResolveSpecsDirOptions, } from "./path.js";
 export type { MstarcConfig } from "./mstarc.js";
 export { MSTARC_FILE, MSTARC_HARNESS_DIR_KEY, MSTARC_PROJECT_DIR_KEY, MSTARC_SECTION, MSTARC_WORKFLOW_DIR_KEY, findMstarc, parseMstarc, } from "./mstarc.js";

package/dist/lint.d.ts

@@ -138,11 +138,12 @@ export type EphemeralCitation = {
  */
 export declare function findEphemeralCitations(skillText: string): EphemeralCitation[];
 /**
- * Assert the SDD TDD triple is present in a `task-N-report.md` text
- * (mstar-coding-behavior § Integration Notes — "completion evidence must
- * include TDD triple — test file(s), command, output — in task-N-report.md";
- * mstar-sdd/references/file-handoffs.md — fix subagents append covering test
- * file(s), command run, output).
+ * Validate task report evidence: an explicit scoped-check declaration for
+ * document/policy checks, otherwise the executable-change TDD triple.
+ * This checks structure, not whether the declared mode fits the actual diff
+ * or a command ran. PM/QC own applicability and evidence authenticity.
+ * Scoped check results may be arbitrary concrete static-tool output; the
+ * output-token heuristic below applies only to executable test triples.
  *
  * One violation per missing part:
  * - `lint.sdd-tdd.missing-tests` — no test file reference
@@ -150,9 +151,8 @@ export declare function findEphemeralCitations(skillText: string): EphemeralCita
  * - `lint.sdd-tdd.missing-output` — no output evidence
  *
  * Heuristics (documented, conservative — tuned so prose alone never counts):
- * - tests: a `.test.<ext>` / `.spec.<ext>` path, or the phrase "test file(s)"
- * (the handoff template's exact header). "I added tests" without a file or
- * the phrase does not count.
+ * - tests: a `.test.<ext>` / `.spec.<ext>` path, or a non-placeholder
+ * "test file(s): <reference>" field. Bare N/A is not test evidence.
  * - command: a `$`-prefixed line, or a known runner invocation (bun/pnpm/
  * npm/yarn/npx/bunx test|run|exec, npx/bunx exec, tsc/vitest/jest/mocha/
  * pytest/go test/cargo test). Prose "run the tests" names no runner and

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mstar-harness/engine",
-  "version": "3.8.1",
+  "version": "3.8.3",
   "description": "Morning Star Harness Workflow Engine — deterministic workflow enforcement library (path, status, lease, dispatch, sdd, iteration, lint gates).",
   "license": "MIT",
   "repository": {