@lazyingart/agintiflow 0.20.276 → 0.20.278

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lazyingart/agintiflow",
-  "version": "0.20.276",
+  "version": "0.20.278",
   "type": "module",
   "description": "AgInTiFlow is a project-aware agent workspace for hybrid wet-dry R&D, hardware-aware intelligence, software automation, and industrial workflows.",
   "license": "Apache-2.0",

package/scripts/smoke-scs-evidence-visibility.js

@@ -88,6 +88,18 @@ const pathWrappedImmutableSourceContract = deriveScsTaskContract({
   taskProfile: "slides",
 });
 
+const wrappedNegativeVerificationOnlyContract = deriveScsTaskContract({
+  goal: [
+    "Continue the exact active presentation task from its clean committed state.",
+    "The prior run completed the task-owned repository repair.",
+    "Do not start over and do",
+    "not modify source_brief.md, measurements.csv, prompt.txt, or TASK.md.",
+    "Do not rebuild, rewrite, recommit, or otherwise mutate the repository.",
+    "Read build_deck.py and TASK.md, run the exact validator, and finish from the retained evidence.",
+  ].join("\n"),
+  taskProfile: "slides",
+});
+
 const recoveryInstructionContract = deriveScsTaskContract({
   goal: [
     "Use the retained source and these two failures: the tests invoke ../service_ctl.py, while `python3 service_ctl.py start --state-dir .runtime` fails. Preserve the lifecycle assertions rather than replacing them, repair service_ctl.py, and remove the accidental untracked resume-after-git-baseline-recovery-dev-prompt.txt.",
@@ -201,6 +213,26 @@ for (const contract of [
     "a negative action or its governed path list lost protection across a line wrap"
   );
 }
+assert.deepEqual(
+  wrappedNegativeVerificationOnlyContract.excludedOutputPaths.sort(),
+  ["TASK.md", "measurements.csv", "prompt.txt", "source_brief.md"].sort(),
+  "a line-wrapped 'do not' prefix lost its immutable source exclusions"
+);
+assert.deepEqual(
+  wrappedNegativeVerificationOnlyContract.exactOutputPaths,
+  [],
+  "a verification-only continuation inferred exact outputs from a wrapped negative clause"
+);
+assert.equal(
+  wrappedNegativeVerificationOnlyContract.requiresWorkspaceMutation,
+  false,
+  "a verification-only continuation with a wrapped negative prefix required workspace mutation"
+);
+assert.equal(
+  wrappedNegativeVerificationOnlyContract.requiresFileMutation,
+  false,
+  "a verification-only continuation with a wrapped negative prefix required file mutation"
+);
 assert(
   recoveryInstructionContract.excludedOutputPaths.includes("resume-after-git-baseline-recovery-dev-prompt.txt") &&
     !recoveryInstructionContract.exactOutputPaths.includes("resume-after-git-baseline-recovery-dev-prompt.txt"),
@@ -871,6 +903,46 @@ try {
     "a session-generated helper circularly grounded a path claim"
   );
 
+  fs.writeFileSync(
+    reportPath,
+    "Verified generated helper: `notes/generated-evidence.md`.\n",
+    "utf8"
+  );
+  const generatedHelperPathIsDirectlyObserved = evaluateScsSemanticContract(contract, {
+    commandCwd: groundingRoot,
+    events: [
+      {
+        type: "tool.completed",
+        data: {
+          ok: true,
+          toolName: "write_file",
+          path: "notes/generated-evidence.md",
+          change: { path: "notes/generated-evidence.md" },
+        },
+      },
+      {
+        type: "file.changed",
+        data: { path: "notes/generated-evidence.md", commandCwd: groundingRoot },
+      },
+      {
+        type: "tool.completed",
+        data: {
+          ok: true,
+          toolName: "read_file",
+          path: "notes/generated-evidence.md",
+          content: helperContent,
+          commandEvidence: extractMarkdownCommandEvidence(helperContent, "notes/generated-evidence.md"),
+          pathEvidence: extractMarkdownPathEvidence(helperContent, "notes/generated-evidence.md"),
+        },
+      },
+    ],
+  });
+  assert.equal(
+    generatedHelperPathIsDirectlyObserved.ok,
+    true,
+    "a successful direct read did not ground the generated file's own path"
+  );
+
   const shellSourceContent = [
     "Verified interface:",
     "```bash",

package/src/scs-evidence.js

@@ -412,6 +412,13 @@ function forbiddenTails(text = "") {
   return tails;
 }
 
+function normalizeWrappedNegativePrefixes(goal = "") {
+  return String(goal || "").replace(
+    /\b(do|must|should)\s*\r?\n\s*not\b/giu,
+    "$1 not"
+  );
+}
+
 function inferExactOutputPaths(goal = "") {
   const paths = [];
   const lines = String(goal || "").split(/\n/);
@@ -557,7 +564,7 @@ export function inferExplicitlyExcludedOutputPaths(goal = "") {
       `(?=\\S{1,260}\\.(?:${extensionPattern})\\b)`,
     "giu"
   );
-  const source = String(goal || "")
+  const source = normalizeWrappedNegativePrefixes(goal)
     .replace(/([,，、])\s*\r?\n\s*/gu, "$1 ")
     .replace(wrappedNegativeAction, "$1 ")
     .replace(wrappedNegativePath, "$1 ");
@@ -1065,7 +1072,7 @@ function codeProfileRequiresCommand(goal = "") {
 }
 
 function goalRequestsWorkspaceMutation(goal = "", taskProfile = "") {
-  const text = normalizedText(stripForbiddenLanguage(goal));
+  const text = normalizedText(stripCompletedWorkNarration(stripForbiddenLanguage(goal)));
   if (String(taskProfile || "").trim().toLowerCase() === "review") {
     return /\b(?:append|copy|create|delete|edit|fix|implement|modify|move|patch|refactor|remove|rename|repair|replace|rewrite|save|update|write)\b/.test(
       text
@@ -1080,7 +1087,7 @@ function goalRequestsWorkspaceMutation(goal = "", taskProfile = "") {
 }
 
 function goalRequestsFileMutation(goal = "", taskProfile = "") {
-  const text = normalizedText(stripForbiddenLanguage(goal));
+  const text = normalizedText(stripCompletedWorkNarration(stripForbiddenLanguage(goal)));
   if (!goalRequestsWorkspaceMutation(text, taskProfile)) return false;
   return (
     /\b(?:code|codebase|document(?:ation)?|files?|notes?|path|readme|repo(?:sitory)?|script|source|workspace)\b/.test(
@@ -1301,13 +1308,35 @@ function inferRequiredToolCalls(goal = "") {
 }
 
 function stripForbiddenLanguage(goal = "") {
-  return String(goal || "")
-    .replace(/\b(do not|don't|dont|never|no need to)\s+([^.\n;]+)/gi, "")
+  return normalizeWrappedNegativePrefixes(goal)
+    .replace(/\b(do not|don't|dont|must not|should not|never|no need to)\s+([^.\n;]+)/gi, "")
     .replace(/\bwithout\s+([^.,\n;]+)/gi, "")
     .replace(/不要([^。\n；]+)/g, "")
     .replace(/禁止([^。\n；]+)/g, "");
 }
 
+function stripCompletedWorkNarration(goal = "") {
+  const completedAction =
+    "(?:completed?|finished|performed|applied|committed|repaired|fixed|rebuilt|rewrote|generated|created|updated|modified|patched|moved|relocated)";
+  const priorActor =
+    "(?:(?:the\\s+)?(?:prior|previous|earlier|last)\\s+(?:run|turn|attempt|session|agent|worker)|(?:it|this|that)\\s+(?:was|has\\s+been))";
+  return String(goal || "")
+    .replace(
+      new RegExp(
+        `\\b${priorActor}\\b[^.!?;；。！？\\n]{0,300}\\b${completedAction}\\b[^.!?;；。！？\\n]*`,
+        "gi"
+      ),
+      ""
+    )
+    .replace(
+      new RegExp(
+        `\\b(?:already|previously|earlier)\\b[^.!?;；。！？\\n]{0,180}\\b${completedAction}\\b[^.!?;；。！？\\n]*`,
+        "gi"
+      ),
+      ""
+    );
+}
+
 function parseAgintiEvidenceScopeMatch(goal = "") {
   const matches = [
     ...String(goal || "").matchAll(/^AGINTI_EVIDENCE_SCOPE_JSON:\s*(\{[^\n]+\})\s*$/gm),
@@ -2592,11 +2621,11 @@ function sourceEvidencePaths({ events = [], state = {}, contract = {}, commandCw
     commandCwd,
   });
   const paths = new Map();
-  const addPath = (value = "", source = "") => {
+  const addPath = (value = "", source = "", { allowExcludedDirect = false } = {}) => {
     const cleaned = cleanPathToken(value);
     if (!cleaned) return;
     const keys = pathComparisonKeys(cleaned, commandCwd);
-    if (keys.some((key) => excluded.has(key))) return;
+    if (!allowExcludedDirect && keys.some((key) => excluded.has(key))) return;
     const canonical = keys[keys.length - 1] || cleaned;
     if (!paths.has(canonical)) paths.set(canonical, { path: cleaned, source: String(source || "") });
     for (const key of keys) {
@@ -2641,8 +2670,12 @@ function sourceEvidencePaths({ events = [], state = {}, contract = {}, commandCw
     const payloadPath = payload.path || payload.args?.path || "";
     const payloadPathKeys = pathComparisonKeys(payloadPath, commandCwd);
     const sourceIsExcluded = payloadPathKeys.some((key) => excluded.has(key));
-    if (toolName === "read_file" && sourceIsExcluded) return;
-    if (["read_file", "list_files", "search_files", "inspect_project"].includes(toolName)) {
+    if (toolName === "read_file") {
+      // Reading a generated or previously mutated file proves that exact path
+      // exists. Its contents still cannot ground additional claims.
+      addPath(payloadPath, `${toolName} result`, { allowExcludedDirect: true });
+      if (sourceIsExcluded) return;
+    } else if (["list_files", "search_files", "inspect_project"].includes(toolName)) {
       addPath(payloadPath, `${toolName} result`);
     }
     if (toolName === "read_file") {