@planu/cli 5.3.31 → 5.3.32

package/CHANGELOG.md

@@ -1,3 +1,9 @@
+## [5.3.32] - 2026-08-21
+
+### Bug Fixes
+- fix(spec-1585): harden scope-boundary contradiction checker against topical false positives
+
+
 ## [5.3.31] - 2026-08-21
 
 ### Bug Fixes

package/dist/engine/scope-boundaries/contradiction-checker.js

@@ -37,12 +37,35 @@ const STOP_WORDS = new Set([
     'all',
     'can',
     'may',
+    'rather',
+    'than',
+    'which',
+    'would',
+    'such',
+    'same',
+    'each',
+    'also',
+    'over',
+    'onto',
 ]);
 function keywords(phrase) {
     return normalize(phrase)
         .split(' ')
         .filter((w) => w.length > 3 && !STOP_WORDS.has(w));
 }
+/**
+ * Shared negation detector: "not/without ..." or "no <non-idiom> ..." immediately before a verb.
+ * Excludes adverbial idioms ("no doubt/longer/way/matter") that do NOT negate the verb.
+ */
+function endsWithNegation(before) {
+    if (/\b(?:not|without|never)(?:\s+\w+){0,6}\s*$/.test(before)) {
+        return true;
+    }
+    if (!/\bno(?:\s+\w+){0,6}\s*$/.test(before)) {
+        return false;
+    }
+    return !/\bno\s+(?:doubt)\b(?:\s+\w+){0,5}\s*$/.test(before);
+}
 /** Return true only for explicit language that preserves an existing boundary. */
 function preservesBoundary(text) {
     const normalized = normalize(text);
@@ -53,8 +76,19 @@ function preservesBoundary(text) {
         /\bkeeps?\b.{0,80}\bunchanged\b/,
         /\bpreserves?\b.{0,80}\b(?:behavior|contract|boundary|semantics|state)\b/,
         /\bwithout (?:any )?(?:changing|modifying|altering|adding|introducing)\b/,
-        /\b(?:does|do|must|will|should) not (?:change|modify|alter|add|introduce|implement|enable)\b/,
+        /\b(?:does|do|must|will|should) not (?:change|modify|alter|add|introduce|implement|enable|upgrade)\b/,
         /\bno changes? to\b/,
+        /\bno\b(?!\s+(?:doubt)\b)(?:\s+\w+){0,6}\s+changes?\b/,
+        /\bunchanged\b/,
+        /\bstill contains\b.{0,60}\bunchanged\b/,
+        /\bis preserved\b/,
+        /\b(?:remains?|stays?) (?:preserved|intact|in place)\b/,
+        /\brefuses? to\b/,
+        /\bmust still be rejected\b/,
+        /\bnever (?:rebound|rebind|launders?|laundered)\b/,
+        /\bstays? (?:rejected|blocked)\b/,
+        /\bdoes not emit\b/,
+        /\bstill emits?\b.{0,60}\binvalid\b/,
     ].some((pattern) => pattern.test(normalized));
 }
 const CLAUSE_KEYWORD_OR_PUNCTUATION = /\b(?:but|while|although|however)\b|[,;]/i;
@@ -66,7 +100,7 @@ function splitClauses(text) {
         .map((clause) => clause.trim())
         .filter(Boolean);
 }
-const AFFIRMATIVE_ACTION_VERBS = /\b(?:build(?:s|ing)?|chang(?:e|es|ing)|modif(?:y|ies|ying)|alter(?:s|ing)?|add(?:s|ing)?|introduc(?:e|es|ing)|implement(?:s|ing)?|enabl(?:e|es|ing)|expos(?:e|es|ing|ed)|mutat(?:e|es|ing)|rewrit(?:e|es|ing|ten))\b/;
+const AFFIRMATIVE_ACTION_VERBS = /\b(?:build(?:s|ing)?|chang(?:e|es|ing)|modif(?:y|ies|ying)|alter(?:s|ing)?|add(?:s|ing)?|introduc(?:e|es|ing)|implement(?:s|ing)?|enabl(?:e|es|ing)|expos(?:e|es|ing|ed)|mutat(?:e|es|ing)|rewrit(?:e|es|ing|ten)|remov(?:e|es|ing|ed)|forc(?:e|es|ing))\b/;
 function assertsForbiddenAction(text) {
     return AFFIRMATIVE_ACTION_VERBS.test(normalize(text));
 }
@@ -78,9 +112,9 @@ function hasAffirmativeDrift(text, outOfScopeItem) {
             new RegExp(`^${AFFIRMATIVE_ACTION_VERBS.source}`).test(segment) &&
             clauseMatchesScope(actionSegments[index - 1] ?? '', outOfScopeItem);
         for (const match of segment.matchAll(action)) {
-            const before = segment.slice(Math.max(0, match.index - 24), match.index);
+            const before = segment.slice(Math.max(0, match.index - 80), match.index);
             const after = segment.slice(match.index + match[0].length);
-            if (/\b(?:not|without|no)\s*$/.test(before)) {
+            if (endsWithNegation(before)) {
                 continue;
             }
             if (/^\s+remains? unchanged\b/.test(after)) {
@@ -102,7 +136,8 @@ function isDirectPhraseMatch(normCriterion, normScope) {
 function clauseMatchesScope(clause, outOfScopeItem) {
     const normalizedClause = normalize(clause);
     const normalizedScope = normalize(outOfScopeItem);
-    if (normalizedClause.includes(normalizedScope) || normalizedScope.includes(normalizedClause)) {
+    if (containsKeyword(normalizedClause, normalizedScope) ||
+        containsKeyword(normalizedScope, normalizedClause)) {
         return true;
     }
     const scopeKeywords = keywords(outOfScopeItem);
@@ -116,6 +151,33 @@ function clauseMentionsScope(clause, outOfScopeItem) {
     const mentionCandidates = scopeKeywords.length > 0 ? scopeKeywords : [normalize(outOfScopeItem)];
     return mentionCandidates.some((keyword) => containsKeyword(normalizedClause, keyword));
 }
+/**
+ * Bind the affirmative verb to the excluded object — an action verb only
+ * counts when a scope keyword sits within ACTION_SCOPE_WINDOW tokens of it.
+ */
+const ACTION_SCOPE_WINDOW = 4;
+function assertsActionNearScope(clause, outOfScopeItem) {
+    const tokens = normalize(clause).split(' ');
+    const scopeKeywords = keywords(outOfScopeItem);
+    const mentionCandidates = scopeKeywords.length > 0 ? scopeKeywords : [normalize(outOfScopeItem)];
+    for (let i = 0; i < tokens.length; i++) {
+        const token = tokens[i] ?? '';
+        if (!AFFIRMATIVE_ACTION_VERBS.test(token)) {
+            continue;
+        }
+        const before = tokens.slice(Math.max(0, i - 6), i).join(' ');
+        if (endsWithNegation(before)) {
+            continue;
+        }
+        const lo = Math.max(0, i - ACTION_SCOPE_WINDOW);
+        const hi = Math.min(tokens.length, i + ACTION_SCOPE_WINDOW + 1);
+        const window = tokens.slice(lo, hi).join(' ');
+        if (mentionCandidates.some((keyword) => containsKeyword(window, keyword))) {
+            return true;
+        }
+    }
+    return false;
+}
 /**
  * Determine whether a criterion text contradicts an out-of-scope item.
  * Uses substring match first, then keyword overlap as fuzzy fallback.
@@ -139,7 +201,10 @@ function contradicts(criterionText, outOfScopeItem) {
     }
     const scopeAssertsForbiddenAction = assertsForbiddenAction(outOfScopeItem);
     return clauses.some((clause) => clauseMatchesScope(clause, outOfScopeItem) &&
-        (!scopeAssertsForbiddenAction || assertsForbiddenAction(clause)));
+        (!scopeAssertsForbiddenAction ||
+            (hasConditionalException
+                ? assertsForbiddenAction(clause)
+                : assertsActionNearScope(clause, outOfScopeItem))));
 }
 /**
  * Check acceptance criteria against the spec's outOfScope declarations.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@planu/cli",
-  "version": "5.3.31",
+  "version": "5.3.32",
   "description": "Planu — MCP Server for Spec Driven Development. Cross-platform (Linux/macOS/Windows, x64/arm64).",
   "type": "module",
   "main": "dist/index.js",

package/planu-plugin.json

@@ -2,7 +2,7 @@
   "name": "dev.planu.cli",
   "displayName": "Planu — Spec Driven Development",
   "description": "Manage software specs, estimations, and autonomous SDD workflows. Language-agnostic MCP server for Claude Code.",
-  "version": "5.3.31",
+  "version": "5.3.32",
   "icon": "assets/plugin/icon.svg",
   "command": ["npx", "@planu/cli@latest"],
   "packageName": "@planu/cli",