@wairon/cli 5.1.1-dev.49 → 5.1.1-dev.50

package/dist/cli/index.js

@@ -65,7 +65,7 @@ var init_defaults = __esm({
       copilot: ".github/prompts",
       codex: ".codex/agents"
     };
-    WAIRON_VERSION = "5.1.1-dev.49";
+    WAIRON_VERSION = "5.1.1-dev.50";
     GITHUB_REPO = "SYW-Apps/Waffle-AIron";
     SUPPORTED_ALIASES = ["wai"];
     SCAN_EXCLUDE_DIRS = /* @__PURE__ */ new Set([
@@ -934,6 +934,17 @@ var init_project = __esm({
        * carried as debt.
        */
       exclude: import_zod4.z.array(import_zod4.z.string()).optional(),
+      /**
+       * Project-relative directories holding this project's TESTS. Declaring none
+       * means no test scan and no `testsToRevisit` on any write — opt-in on the
+       * same terms as `sourceRoots`, so a project that never asked for it never
+       * pays for it.
+       *
+       * Separate from `sourceRoots` deliberately: tests are not code the specs are
+       * expected to claim, and putting them there would make every test file an
+       * UNCLAIMED_SOURCE_FILE.
+       */
+      testRoots: import_zod4.z.array(import_zod4.z.string()).optional(),
       /**
        * The files under the source roots that no spec names yet, frozen. A listed
        * file is not reported; an unlisted one is UNCLAIMED_SOURCE_FILE; an entry
@@ -15821,6 +15832,17 @@ function stripComments(text2, patterns) {
 function escapeRe(s) {
   return s.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
 }
+function boundNames(captured, localOnly) {
+  const names = [];
+  for (const piece of captured.split(",")) {
+    const sides = piece.split(" as ");
+    for (const side of localOnly ? sides.slice(-1) : sides) {
+      const name = side.trim();
+      if (/^[A-Za-z_$][\w$]*$/.test(name)) names.push(name);
+    }
+  }
+  return names;
+}
 function collectStrings(text2) {
   const anchors = /* @__PURE__ */ new Set();
   for (const m of text2.matchAll(STRING_RE)) {
@@ -15838,10 +15860,7 @@ function analyzeWithPatterns(text2, patterns) {
     for (const m of stripped.matchAll(re)) {
       const captured = m[1];
       if (!captured) continue;
-      for (const piece of captured.split(",")) {
-        const name = (piece.includes(" as ") ? piece.split(" as ")[1] : piece).trim();
-        if (name && /^[A-Za-z_$][\w$]*$/.test(name)) declared.add(name);
-      }
+      for (const name of boundNames(captured, true)) declared.add(name);
     }
   }
   for (const re of patterns.imports) {
@@ -15856,6 +15875,7 @@ function analyzeWithPatterns(text2, patterns) {
       for (const re of patterns.declarations) {
         re.lastIndex = 0;
         const m = re.exec(line2);
+        re.lastIndex = 0;
         if (m?.[1]) exported.add(m[1]);
       }
     }
@@ -16173,7 +16193,7 @@ function looksBinary(buffer) {
   const probe2 = buffer.subarray(0, Math.min(buffer.length, 4096));
   return probe2.includes(0);
 }
-function walkSourceRoots(sourceRoots, exclude, projectRoot2) {
+function walkDeclaredRoots(roots, exclude, projectRoot2) {
   const found = [];
   const seen = /* @__PURE__ */ new Set();
   const excluded = exclude.map(pathKey);
@@ -16203,7 +16223,7 @@ function walkSourceRoots(sourceRoots, exclude, projectRoot2) {
       }
     }
   };
-  for (const root of sourceRoots) {
+  for (const root of roots) {
     const key = pathKey(root);
     if (path13.isAbsolute(key) || path13.normalize(key).split(path13.sep)[0] === "..") continue;
     const absolute = path13.resolve(projectRoot2, key);
@@ -16224,7 +16244,7 @@ function buildCodeModel(implementations, types, projectRoot2, sourceRoots = [],
   const files = [];
   const seen = /* @__PURE__ */ new Set();
   const exactCache = /* @__PURE__ */ new Map();
-  const rootFiles = walkSourceRoots(sourceRoots, exclude, projectRoot2);
+  const rootFiles = walkDeclaredRoots(sourceRoots, exclude, projectRoot2);
   const declaredPaths = [];
   for (const impl of implementations) {
     declaredPaths.push(...implementationSourceFiles(impl));
@@ -16302,7 +16322,49 @@ function buildCodeModel(implementations, types, projectRoot2, sourceRoots = [],
   }
   return { files, projectRoot: projectRoot2, rootFiles };
 }
-var fs10, path13, import_module2, EXTENSION_LANGUAGE, C_FAMILY_COMMENTS, JS_PATTERNS, LANGUAGE_PATTERNS, PATTERN_ANALYSIS_MAX_BYTES, IDENTIFIER_RE, STRING_RE, tsResolutionCache, TS_RESOLUTION_RETRY_MS;
+function readTestFiles(testRoots, projectRoot2) {
+  const scanned = [];
+  for (const key of walkDeclaredRoots(testRoots, [], projectRoot2)) {
+    let text2;
+    try {
+      const buffer = fs10.readFileSync(path13.resolve(projectRoot2, key));
+      if (looksBinary(buffer)) continue;
+      text2 = buffer.toString("utf8");
+    } catch {
+      continue;
+    }
+    const imports = /* @__PURE__ */ new Set();
+    for (const m of text2.matchAll(NAMED_IMPORT_BINDINGS_RE)) {
+      for (const name of boundNames(m[1] ?? "", false)) imports.add(name);
+    }
+    const words2 = /* @__PURE__ */ new Set();
+    for (const m of text2.matchAll(IDENTIFIER_RE)) words2.add(m[0]);
+    scanned.push({ path: key, imports, words: words2 });
+  }
+  return scanned;
+}
+function findTestsReferencing(methods, projectRoot2, testRoots = []) {
+  const scanned = readTestFiles(testRoots, projectRoot2);
+  if (scanned.length === 0) return [];
+  const indiscriminateAbove = scanned.length / 10;
+  const found = [];
+  for (const method2 of methods) {
+    const symbol = method2.symbol ?? method2.name;
+    const imported = scanned.filter((f) => f.imports.has(symbol)).map((f) => f.path);
+    const mentioned = scanned.filter((f) => !f.imports.has(symbol) && f.words.has(symbol)).map((f) => f.path);
+    const indiscriminate = mentioned.length > indiscriminateAbove;
+    if (imported.length === 0 && mentioned.length === 0) continue;
+    found.push({
+      method: method2.name,
+      symbol,
+      imported,
+      mentioned: indiscriminate ? [] : mentioned,
+      indiscriminate
+    });
+  }
+  return found;
+}
+var fs10, path13, import_module2, EXTENSION_LANGUAGE, C_FAMILY_COMMENTS, NAMED_IMPORT_BINDINGS_RE, JS_PATTERNS, LANGUAGE_PATTERNS, PATTERN_ANALYSIS_MAX_BYTES, IDENTIFIER_RE, STRING_RE, tsResolutionCache, TS_RESOLUTION_RETRY_MS;
 var init_source_analysis = __esm({
   "src/core/source-analysis.ts"() {
     "use strict";
@@ -16335,6 +16397,7 @@ var init_source_analysis = __esm({
       ".swift": "swift"
     };
     C_FAMILY_COMMENTS = { lineComments: ["//"], blockComments: [["/*", "*/"]] };
+    NAMED_IMPORT_BINDINGS_RE = /\bimport\s*\{([^}]*)\}/g;
     JS_PATTERNS = {
       ...C_FAMILY_COMMENTS,
       declarations: [
@@ -16344,7 +16407,7 @@ var init_source_analysis = __esm({
         /([A-Za-z_$][\w$]*)\s*[:=]\s*(?:async\s+)?(?:function\b|\()/g,
         /(?:^|\s)(?:public|private|protected|static|async|get|set)\s+([A-Za-z_$][\w$]*)\s*\(/g,
         // named import bindings realize forwarding adapters
-        /\bimport\s*\{([^}]*)\}/g
+        NAMED_IMPORT_BINDINGS_RE
       ],
       imports: [
         /\b(?:import|export)\b[^'"\n]*['"]([^'"]+)['"]/g,
@@ -23097,6 +23160,7 @@ var init_gate_identity = __esm({
 var validation_exports = {};
 __export(validation_exports, {
   computeGateStateId: () => computeGateStateId,
+  findTestsReferencing: () => findTestsReferencing2,
   listRules: () => listRules2,
   loadProjectConfig: () => loadProjectConfig3,
   validateAsComplete: () => validateAsComplete,
@@ -23121,6 +23185,9 @@ function projectPackSelections() {
     return [];
   }
 }
+function findTestsReferencing2(methods, projectRoot2, testRoots = []) {
+  return findTestsReferencing(methods, projectRoot2, testRoots);
+}
 function issueKey(issue2) {
   return `${issue2.code}|${issue2.specId ?? ""}`;
 }
@@ -24887,6 +24954,7 @@ function moveChangeReports(edits, dryRun) {
     changes,
     ineffective: [],
     notices: [],
+    testsToRevisit: [],
     summary: `${dryRun ? "Would move" : "Moved"} into ${edit.kind} "${edit.id}": ${changes.length} change${changes.length === 1 ? "" : "s"}.`
   }));
 }
@@ -26951,6 +27019,7 @@ var init_specs2 = __esm({
             changes,
             ineffective,
             notices,
+            testsToRevisit: [],
             summary: `No change to ${kind} "${id}" \u2014 the delta matches what is stored, so nothing ${dryRun ? "would be" : "was"} written.`
           };
         }
@@ -26965,6 +27034,7 @@ var init_specs2 = __esm({
             changes,
             ineffective,
             notices,
+            testsToRevisit: [],
             summary: `Dry run on ${kind} "${id}": ${changes.length} change${changes.length === 1 ? "" : "s"} would be made. Nothing was written.`
           };
         }
@@ -27000,6 +27070,10 @@ var init_specs2 = __esm({
           changes,
           ineffective,
           notices,
+          // The store never searches for tests: it holds the tree and knows
+          // nothing about the rule engine that reads code. The GATED write above
+          // it fills this in, which is also the only write path a human drives.
+          testsToRevisit: [],
           summary: `Updated ${kind} "${id}": ${changes.length} change${changes.length === 1 ? "" : "s"}.`
         };
       }
@@ -28228,11 +28302,11 @@ function candidateOptions() {
 function noticesFrom(verdict) {
   return verdict.warnings.map((w) => `${w.code}: ${w.message}`);
 }
-function componentCandidateGate() {
+function componentCandidateGate(options = candidateOptions()) {
   return {
     gate: (kind, merged) => {
       if (kind !== "component") return;
-      const verdict = validateComponentCandidate(merged, candidateOptions());
+      const verdict = validateComponentCandidate(merged, options);
       if (verdict.errors.length) throw new Error(formatCandidateRefusal(verdict));
       return noticesFrom(verdict);
     }
@@ -28244,7 +28318,27 @@ function addComponent(candidate) {
   return [...noticesFrom(verdict), ...saveComponentSpec(candidate)];
 }
 function updateSpecGated(kind, id, delta, dryRun) {
-  return updateSpec(kind, id, delta, componentCandidateGate(), dryRun);
+  const bound2 = candidateOptions();
+  const gate = componentCandidateGate(bound2);
+  const report2 = updateSpec(kind, id, delta, gate, dryRun);
+  const testRoots = bound2.rules?.conformance?.testRoots ?? [];
+  const changed = changedMethods(report2, delta);
+  if (changed.length > 0 && testRoots.length > 0) {
+    report2.testsToRevisit = findTestsReferencing2(changed, getProjectRoot(), testRoots);
+  }
+  return report2;
+}
+function changedMethods(report2, delta) {
+  const named = /* @__PURE__ */ new Set();
+  for (const change of report2.changes) {
+    const [field, name] = change.path.split(".");
+    if (field === "methods" && name) named.add(name);
+  }
+  const written = Array.isArray(delta?.methods) ? delta.methods : [];
+  return [...named].map((name) => ({
+    name,
+    symbol: written.find((m) => m?.name === name)?.symbol
+  }));
 }
 function methodMoveGate(source) {
   const bound2 = candidateOptions();
@@ -28279,6 +28373,7 @@ var init_authoring = __esm({
     init_validation();
     init_candidate();
     init_core();
+    init_fs();
   }
 });
 
@@ -28386,6 +28481,17 @@ function renderChangeReport(report2) {
     lines.push("", "NO EFFECT:", ...report2.ineffective.map((i) => `- ${i}`));
   }
   if (report2.notices.length) lines.push("", "NOTICE:", ...report2.notices.map((n) => `- ${n}`));
+  if (report2.testsToRevisit.length) {
+    lines.push("", "TESTS TO REVISIT:");
+    for (const entry of report2.testsToRevisit) {
+      lines.push(`- ${entry.method} (searched as "${entry.symbol}")`);
+      if (entry.imported.length) lines.push(`  imports it: ${entry.imported.join(", ")}`);
+      if (entry.mentioned.length) lines.push(`  names it: ${entry.mentioned.join(", ")}`);
+      if (entry.indiscriminate) {
+        lines.push("  names it: withheld \u2014 the bare name matches more than a tenth of the suite, so the list carries no signal.");
+      }
+    }
+  }
   return lines.join("\n");
 }
 function writeReceipt(sentence, receipt) {
@@ -29990,6 +30096,15 @@ var init_server = __esm({
       ),
       notices: import_zod11.z.array(import_zod11.z.string()).describe("Store placement notices, gate warnings and delta notices."),
       summary: import_zod11.z.string().describe("One line for people."),
+      testsToRevisit: import_zod11.z.array(import_zod11.z.object({
+        method: import_zod11.z.string().describe("The contract method this write changed or deleted."),
+        symbol: import_zod11.z.string().describe("The code-level name searched for: the method's `symbol` when it declares one, else its name."),
+        imported: import_zod11.z.array(import_zod11.z.string()).describe("Test files that IMPORT that symbol \u2014 the high-confidence list, because an import is a binding and not a coincidence."),
+        mentioned: import_zod11.z.array(import_zod11.z.string()).describe("Test files that name the symbol without importing it \u2014 usually a test driving it through a portal. Empty when `indiscriminate` is true."),
+        indiscriminate: import_zod11.z.boolean().describe("True when the bare name matched more than a tenth of the test suite, so the mention list was withheld as noise.")
+      })).describe(
+        "The tests that encode a method this write changed or deleted, one entry per such method. Empty when the write touched no method, when the project declares no `rules.conformance.testRoots`, or when nothing references them. Read it before promising that existing tests still pass."
+      ),
       ...staleServerOutput
     };
     validationIssueOutput = {