vaspera-pm 2.3.0 → 2.3.1

package/README.md

@@ -182,7 +182,7 @@ npx vaspera-pm install  # Configures Claude Code
 
 Features:
 - Team collaboration & sharing
-- Usage tracking & quotas (Free: 5, Starter: 100, Pro: 500/month)
+- Usage tracking & quotas (Free: 100, Starter: 500, Pro: 2,500/month)
 - Jira/Linear/GitHub/ADO integrations
 - Historical drift tracking
 - No Anthropic key needed (we proxy requests)

package/dist/cli.js

@@ -25390,26 +25390,102 @@ function formatCodeIndexForAI(index, importanceScores) {
   }
   return lines.join("\n");
 }
-async function crossValidateWithAST(docsRequirements, codeIndex, docsContent, semanticHints, importanceScores) {
+async function crossValidateWithAST(docsRequirements, codeIndex, docsContent, semanticHints, importanceScores, onProgress) {
   const codeIndexText = formatCodeIndexForAI(codeIndex, importanceScores);
-  let semanticHintsText = "";
-  if (semanticHints && semanticHints.size > 0) {
-    const hintLines = ["## SEMANTIC MATCH HINTS", ""];
-    hintLines.push("Pre-computed semantic matches between requirements and code (use these as starting points):");
-    hintLines.push("");
-    for (const [reqId, match] of semanticHints) {
-      if (match.matches.length > 0) {
-        hintLines.push(`### ${reqId}`);
-        hintLines.push(`Top matches (${match.confidence}% confidence):`);
-        for (const m of match.matches.slice(0, 3)) {
-          hintLines.push(`  - ${m.type}: ${m.name} [${m.filePath}:${m.lineNumber}] (${Math.round(m.score * 100)}%)`);
-        }
-        hintLines.push("");
-      }
+  const estimatedPromptSize = JSON.stringify(docsRequirements).length + codeIndexText.length + docsContent.substring(0, 3e4).length;
+  const needsBatching = docsRequirements.length > MAX_REQUIREMENTS_PER_BATCH || estimatedPromptSize > MAX_CODE_INDEX_CHARS_PER_BATCH * 2;
+  if (needsBatching) {
+    if (onProgress) {
+      const batchCount = Math.ceil(docsRequirements.length / MAX_REQUIREMENTS_PER_BATCH);
+      onProgress("verification", 66, `Large codebase detected: splitting into ${batchCount} batches of ${MAX_REQUIREMENTS_PER_BATCH} requirements`);
     }
-    semanticHintsText = hintLines.join("\n");
+    return crossValidateWithASTBatched(docsRequirements, codeIndex, codeIndexText, docsContent, semanticHints, importanceScores, onProgress);
+  }
+  return crossValidateWithASTSingle(docsRequirements, codeIndexText, docsContent, semanticHints);
+}
+async function crossValidateWithASTSingle(docsRequirements, codeIndexText, docsContent, semanticHints) {
+  const semanticHintsText = buildSemanticHintsText(semanticHints, docsRequirements.map((r) => r.id));
+  const systemPrompt = buildVerificationSystemPrompt(true);
+  const docsReqJson = JSON.stringify(docsRequirements, null, 2);
+  const userMessage = `## REQUIREMENTS TO VERIFY
+${docsReqJson}
+
+## COMPLETE CODE INDEX
+${codeIndexText}
+${semanticHintsText ? `
+${semanticHintsText}` : ""}
+## DOCUMENTATION (for context)
+${docsContent.substring(0, 3e4)}
+
+For each requirement, find matching code in the index and determine verification status.
+Code entries include [file:line] references - use these in your evidence.
+${semanticHintsText ? "Use the semantic match hints above as starting points for your verification." : ""}`;
+  const result = await createJsonCompletion({
+    systemPrompt,
+    userMessage,
+    model: "balanced",
+    maxTokens: 16384
+  });
+  return parseVerificationResult(result);
+}
+async function crossValidateWithASTBatched(docsRequirements, codeIndex, codeIndexText, docsContent, semanticHints, importanceScores, onProgress) {
+  const batches = [];
+  for (let i = 0; i < docsRequirements.length; i += MAX_REQUIREMENTS_PER_BATCH) {
+    batches.push(docsRequirements.slice(i, i + MAX_REQUIREMENTS_PER_BATCH));
+  }
+  const allRequirements = [];
+  let totalInputTokens = 0;
+  let totalOutputTokens = 0;
+  const docsContextLimit = Math.min(2e4, Math.floor(3e4 / batches.length * 2));
+  for (let batchIdx = 0; batchIdx < batches.length; batchIdx++) {
+    const batch = batches[batchIdx];
+    const isFirstBatch = batchIdx === 0;
+    const batchIds = batch.map((r) => r.id);
+    if (onProgress) {
+      const batchPercent = 65 + Math.round(batchIdx / batches.length * 15);
+      onProgress("verification", batchPercent, `Verifying batch ${batchIdx + 1}/${batches.length} (${batch.length} requirements)...`);
+    }
+    const batchSemanticHints = buildSemanticHintsText(semanticHints, batchIds);
+    const systemPrompt = buildVerificationSystemPrompt(isFirstBatch);
+    const docsReqJson = JSON.stringify(batch, null, 2);
+    const batchLabel = `[Batch ${batchIdx + 1}/${batches.length}]`;
+    const userMessage = `${batchLabel} Verify these ${batch.length} requirements against the code index.
+
+## REQUIREMENTS TO VERIFY
+${docsReqJson}
+
+## COMPLETE CODE INDEX
+${codeIndexText}
+${batchSemanticHints ? `
+${batchSemanticHints}` : ""}
+## DOCUMENTATION (for context)
+${docsContent.substring(0, docsContextLimit)}
+
+For each requirement, find matching code in the index and determine verification status.
+Code entries include [file:line] references - use these in your evidence.
+${batchSemanticHints ? "Use the semantic match hints above as starting points for your verification." : ""}`;
+    const result = await createJsonCompletion({
+      systemPrompt,
+      userMessage,
+      model: "balanced",
+      maxTokens: 16384
+    });
+    const parsed = parseVerificationResult(result);
+    allRequirements.push(...parsed.requirements);
+    totalInputTokens += parsed.tokensUsed.input;
+    totalOutputTokens += parsed.tokensUsed.output;
   }
-  const systemPrompt = `You are a specification verification expert. Compare documentation requirements against a structured code index.
+  return {
+    requirements: allRequirements,
+    tokensUsed: { input: totalInputTokens, output: totalOutputTokens }
+  };
+}
+function buildVerificationSystemPrompt(includeUndocumented) {
+  const undocSection = includeUndocumented ? `
+For code features not matching any requirement:
+UNDOCUMENTED: Feature exists in code but has no corresponding requirement.` : "";
+  const returnFormat = includeUndocumented ? 'Return JSON: {"requirements": [...], "undocumented": [...]}' : 'Return JSON: {"requirements": [...]}';
+  return `You are a specification verification expert. Compare documentation requirements against a structured code index.
 
 The code index shows ALL functions, routes, classes, types, and CONFIG ENTRIES in the codebase with their EXACT locations.
 This is a complete inventory - if something is not listed, it does not exist.
@@ -25426,14 +25502,11 @@ For each requirement, find matching code OR config entries and determine:
 VERIFIED: The requirement is implemented in code OR config. Cite the specific file:line.
 DRIFT: The requirement is partially implemented or differs from spec. Explain the difference.
 UNIMPLEMENTED: No matching code or config found in the index. This is a gap.
-
-For code features not matching any requirement:
-UNDOCUMENTED: Feature exists in code but has no corresponding requirement.
-
+${undocSection}
 CRITICAL: Provide file:line references for ALL matches. The code index includes exact locations.
 For config files, use the format "package.json:5" or "action.yml:12".
 
-Return JSON: {"requirements": [...], "undocumented": [...]}
+${returnFormat}
 
 Each requirement entry:
 {
@@ -25452,30 +25525,32 @@ Each requirement entry:
     "recommendation": "update_docs|update_code|needs_discussion"
   }
 }`;
-  const docsReqJson = JSON.stringify(docsRequirements, null, 2);
-  const userMessage = `## REQUIREMENTS TO VERIFY
-${docsReqJson}
-
-## COMPLETE CODE INDEX
-${codeIndexText}
-${semanticHintsText ? `
-${semanticHintsText}` : ""}
-## DOCUMENTATION (for context)
-${docsContent.substring(0, 3e4)}
-
-For each requirement, find matching code in the index and determine verification status.
-Code entries include [file:line] references - use these in your evidence.
-${semanticHintsText ? "Use the semantic match hints above as starting points for your verification." : ""}`;
-  const result = await createJsonCompletion({
-    systemPrompt,
-    userMessage,
-    model: "balanced",
-    maxTokens: 16384
-  });
+}
+function buildSemanticHintsText(semanticHints, requirementIds) {
+  if (!semanticHints || semanticHints.size === 0) return "";
+  const hintLines = ["## SEMANTIC MATCH HINTS", ""];
+  hintLines.push("Pre-computed semantic matches between requirements and code (use these as starting points):");
+  hintLines.push("");
+  let hasHints = false;
+  for (const reqId of requirementIds) {
+    const match = semanticHints.get(reqId);
+    if (match && match.matches.length > 0) {
+      hasHints = true;
+      hintLines.push(`### ${reqId}`);
+      hintLines.push(`Top matches (${match.confidence}% confidence):`);
+      for (const m of match.matches.slice(0, 3)) {
+        hintLines.push(`  - ${m.type}: ${m.name} [${m.filePath}:${m.lineNumber}] (${Math.round(m.score * 100)}%)`);
+      }
+      hintLines.push("");
+    }
+  }
+  return hasHints ? hintLines.join("\n") : "";
+}
+function parseVerificationResult(result) {
   const allRequirements = [];
   const reqs = Array.isArray(result.data) ? result.data : result.data.requirements || [];
   allRequirements.push(...reqs);
-  if (result.data.undocumented) {
+  if (!Array.isArray(result.data) && result.data.undocumented) {
     for (const undoc of result.data.undocumented) {
       allRequirements.push({
         id: undoc.id,
@@ -25643,7 +25718,8 @@ async function verifyWithAST(docsContent, codeFiles, options = {}) {
     codeIndex,
     docsContent,
     semanticHints,
-    importanceScores
+    importanceScores,
+    onProgress
   );
   progress("verification", 80, `Cross-validation complete: ${verified.requirements.length} items analyzed`);
   progress("finishing", 85, "Adjusting drift severity based on file importance...");
@@ -25947,7 +26023,7 @@ function formatDriftReportMarkdown(report) {
   }
   return lines.join("\n");
 }
-var CHUNK_SIZE_THRESHOLD2, TARGET_CHUNK_SIZE2, CHUNK_OVERLAP2, DEFAULT_PARSE_CONCURRENCY, MAX_PARSE_CONCURRENCY, MAX_FUNCTIONS_THRESHOLD, MAX_TYPES_THRESHOLD, MAX_CONSTANTS_THRESHOLD, MAX_FILE_SIZE_BYTES, LARGE_FILE_WARNING_BYTES;
+var CHUNK_SIZE_THRESHOLD2, TARGET_CHUNK_SIZE2, CHUNK_OVERLAP2, MAX_REQUIREMENTS_PER_BATCH, MAX_CODE_INDEX_CHARS_PER_BATCH, DEFAULT_PARSE_CONCURRENCY, MAX_PARSE_CONCURRENCY, MAX_FUNCTIONS_THRESHOLD, MAX_TYPES_THRESHOLD, MAX_CONSTANTS_THRESHOLD, MAX_FILE_SIZE_BYTES, LARGE_FILE_WARNING_BYTES;
 var init_verification = __esm({
   "src/verification/index.ts"() {
     "use strict";
@@ -25963,6 +26039,8 @@ var init_verification = __esm({
     CHUNK_SIZE_THRESHOLD2 = 4e4;
     TARGET_CHUNK_SIZE2 = 35e3;
     CHUNK_OVERLAP2 = 3e3;
+    MAX_REQUIREMENTS_PER_BATCH = 25;
+    MAX_CODE_INDEX_CHARS_PER_BATCH = 8e4;
     DEFAULT_PARSE_CONCURRENCY = 8;
     MAX_PARSE_CONCURRENCY = 16;
     MAX_FUNCTIONS_THRESHOLD = 5e3;