@lazyingart/agintiflow 0.20.277 → 0.20.279

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lazyingart/agintiflow",
-  "version": "0.20.277",
+  "version": "0.20.279",
   "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-dynamic-step-budget.js

@@ -182,6 +182,94 @@ function toolMessage(payload) {
 }
 
 try {
+  const readOnlyVerificationGoal = [
+    "Continue this exact saved task in the same workspace. Do not start over and do",
+    "not modify source_brief.md, measurements.csv, prompt.txt, or TASK.md.",
+    "The prior run completed the task-owned repository repair. Run exactly `git status --short`.",
+    "Do not rebuild, rewrite, recommit, or restore obsolete outputs when the worktree is clean.",
+  ].join("\n");
+  const readOnlyVerificationState = {
+    goal: readOnlyVerificationGoal,
+    messages: [
+      toolMessage({
+        toolName: "run_command",
+        ok: true,
+        exitCode: 0,
+        args: { command: "git commit -m 'Complete retained repair'" },
+        stdout: "[main abcdef1] Complete retained repair\n 1 file changed, 1 insertion(+)",
+        goalRevision: 13,
+        projectMutationRevision: 19,
+      }),
+      toolMessage({
+        toolName: "run_command",
+        ok: true,
+        exitCode: 0,
+        args: { command: "git status --short" },
+        stdout: "",
+        goalRevision: 15,
+        projectMutationRevision: 23,
+      }),
+    ],
+    meta: {
+      goalContract: {
+        version: 3,
+        revision: 15,
+        activeGoalRevision: 15,
+        taskGoal: "Create the editable deck, commit the focused repair, and verify it.",
+        activeGoal: readOnlyVerificationGoal,
+        currentRequest: readOnlyVerificationGoal,
+        currentPreview: readOnlyVerificationGoal,
+        history: [{ revision: 15, refreshExecutionContract: true }],
+      },
+      activeExecutionContract: {
+        revision: 15,
+        startedMutationRevision: 22,
+        requiresWorkspaceMutation: false,
+        requiresFileMutation: false,
+        requiresSourceGrounding: false,
+        requiredProjectCommands: ["git status --short"],
+      },
+      projectVerification: {
+        mutationRevision: 23,
+        requiredCommands: ["git status --short"],
+      },
+      durableGitActions: ["commit", "status"],
+      durableGitEvidence: [
+        { action: "commit", goalRevision: 13, mutationRevision: 19 },
+        { action: "status", goalRevision: 15, mutationRevision: 23 },
+      ],
+    },
+  };
+  const readOnlyVerificationContract = completionTaskContract(
+    { taskProfile: "slides" },
+    readOnlyVerificationState
+  );
+  assert(
+    readOnlyVerificationContract.requiresWorkspaceMutation === false &&
+      readOnlyVerificationContract.requiresFileMutation === false &&
+      readOnlyVerificationContract.requiresSourceGrounding === false,
+    "a verification-only continuation inherited stale mutation requirements from retained task context"
+  );
+  assert(
+    readOnlyVerificationContract.requiredGitActions.includes("commit") &&
+      Number(readOnlyVerificationContract.requiredGitRevision || 0) === 0 &&
+      Number(readOnlyVerificationContract.requiredGitMutationRevision || 0) === 0,
+    "a verification-only continuation demanded a new commit instead of accepting retained same-task Git evidence"
+  );
+  const readOnlyGitEvaluation = evaluateScsEvidence(
+    {
+      ...readOnlyVerificationContract,
+      requiresExternalEvidence: false,
+      requiredEvidence: [],
+      requiredProjectCommands: [],
+    },
+    buildScsEvidenceLedger({ state: readOnlyVerificationState })
+  );
+  assert(
+    readOnlyGitEvaluation.missingGitActions.length === 0,
+    "a prior verified same-task commit did not satisfy a read-only completion continuation"
+  );
+
   const runLockConfig = {
     sessionsDir: path.join(tempRoot, "run-lock-sessions"),
   };

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"),

package/src/agent-runner.js

@@ -11319,6 +11319,19 @@ export function completionTaskContract(config = {}, state = {}) {
   const currentContract = currentRequest
     ? deriveScsTaskContract({ goal: currentRequest, taskProfile })
     : null;
+  const authoritativeReadOnlyContinuation = Boolean(
+    currentRequest &&
+      refreshesExecutionContract &&
+      activeExecutionContractIsAuthoritative &&
+      activeExecutionContract.requiresWorkspaceMutation !== true &&
+      activeExecutionContract.requiresFileMutation !== true &&
+      activeExecutionContract.requiresSourceGrounding !== true &&
+      currentContract?.requiresWorkspaceMutation !== true &&
+      currentContract?.requiresFileMutation !== true &&
+      currentContract?.requiresSourceGrounding !== true &&
+      !(Array.isArray(currentContract?.requiredGitActions) &&
+        currentContract.requiredGitActions.length > 0)
+  );
   if (
     currentRequest &&
     (refreshesExecutionContract || activeExecutionContractIsAuthoritative) &&
@@ -11383,12 +11396,15 @@ export function completionTaskContract(config = {}, state = {}) {
     contract = {
       ...contract,
       requiredEvidence: [...evidenceByCategory.values()],
-      requiresWorkspaceMutation: Boolean(
-        contract.requiresWorkspaceMutation || currentContract?.requiresWorkspaceMutation
-      ),
-      requiresFileMutation: Boolean(
-        contract.requiresFileMutation || currentContract?.requiresFileMutation
-      ),
+      requiresWorkspaceMutation: authoritativeReadOnlyContinuation
+        ? false
+        : Boolean(contract.requiresWorkspaceMutation || currentContract?.requiresWorkspaceMutation),
+      requiresFileMutation: authoritativeReadOnlyContinuation
+        ? false
+        : Boolean(contract.requiresFileMutation || currentContract?.requiresFileMutation),
+      requiresSourceGrounding: authoritativeReadOnlyContinuation
+        ? false
+        : Boolean(contract.requiresSourceGrounding || currentContract?.requiresSourceGrounding),
       currentEvidenceCategories: [...currentEvidenceCategories],
       currentEvidenceRevision: currentGoalRevision,
       currentMutationBaseline: startedMutationRevision,
@@ -11414,14 +11430,22 @@ export function completionTaskContract(config = {}, state = {}) {
   if (Array.isArray(contract.requiredGitActions) && contract.requiredGitActions.length) {
     contract = {
       ...contract,
-      requiredGitRevision: Math.max(
-        Number(contract.requiredGitRevision || 0),
-        Number(goalContract.activeGoalRevision || goalContract.revision || 0)
-      ),
-      requiredGitMutationRevision: Math.max(
-        Number(contract.requiredGitMutationRevision || 0),
-        Number(contract.projectMutationRevision || state.meta?.projectVerification?.mutationRevision || 0)
-      ),
+      requiredGitRevision: authoritativeReadOnlyContinuation
+        ? Number(contract.requiredGitRevision || 0)
+        : Math.max(
+            Number(contract.requiredGitRevision || 0),
+            Number(goalContract.activeGoalRevision || goalContract.revision || 0)
+          ),
+      requiredGitMutationRevision: authoritativeReadOnlyContinuation
+        ? Number(contract.requiredGitMutationRevision || 0)
+        : Math.max(
+            Number(contract.requiredGitMutationRevision || 0),
+            Number(
+              contract.projectMutationRevision ||
+                state.meta?.projectVerification?.mutationRevision ||
+                0
+            )
+          ),
     };
   }
   return contract;

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),