@haystackeditor/cli 0.23.0 → 0.23.1

package/dist/commands/verify-precompute.js

@@ -196,11 +196,11 @@ function deriveChangeTitle(gitRoot, baseSha, treeSha, commits, deadline) {
 }
 function slimInputHash() {
     // Mirrors front_half_cache_derive in blast-cache.sh for a slim bundle:
-    // printf '%s\0%s\0%s\0%s\0%s\0' slim agent-deferred none none crawl-blast-v1.
+    // printf '%s\0%s\0%s\0%s\0%s\0' slim agent-deferred none none crawl-blast-groups-v2.
     // The fifth field (CRAWL-V1 rule 4) keeps bundles written before
     // crawl-blast.json existed from being restored for a crawl.
     return createHash('sha256')
-        .update(Buffer.from('slim\0agent-deferred\0none\0none\0crawl-blast-v1\0'))
+        .update(Buffer.from('slim\0agent-deferred\0none\0none\0crawl-blast-groups-v2\0'))
         .digest('hex');
 }
 async function buildCompressedPatch(gitRoot, baseSha, workCommit, deadline) {

package/dist/commands/verify.js

@@ -160,6 +160,19 @@ function checkSpot(value) {
         || (reached.page !== null && typeof reached.page !== 'string')))
         invalid('how a changed spot was reached');
 }
+function checkPlanningCoverage(value) {
+    if (!isRecord(value) || !['groups', 'selectedIncidentPairs', 'unplannedIncidentPairs', 'proposedSituations', 'selectedSituations',
+        'deferredSituations', 'unrealizedSituations', 'completedSituations', 'blockedSituations'].every(key => isCount(value[key]))
+        || typeof value.sourceGraphTruncated !== 'boolean' || !Array.isArray(value.unresolvedChanges))
+        invalid('its planning coverage');
+    const changes = new Set();
+    for (const item of value.unresolvedChanges) {
+        if (!isRecord(item) || typeof item.changeKey !== 'string' || !item.changeKey || typeof item.reason !== 'string' || !item.reason
+            || changes.has(item.changeKey))
+            invalid('its unresolved changes');
+        changes.add(item.changeKey);
+    }
+}
 /** The published results' shape, shared by the sealed manifest and (amendment 9) an answer; `what` names which. */
 function checkResults(value, view, what) {
     if (!isRecord(value) || value.schemaVersion !== 1)
@@ -196,6 +209,8 @@ function checkResults(value, view, what) {
         || standIns.coverage.length > CRAWL_MAX_STAND_IN_ROWS || !standIns.coverage.every(isStandInRow)
         || !isCount(standIns.omittedRows) || !isStrings(standIns.gaps, CRAWL_MAX_STAND_IN_ROWS)))
         invalid('its outside-service coverage');
+    if (Object.hasOwn(reach, 'planning'))
+        checkPlanningCoverage(reach.planning);
     if (value.error !== null)
         checkError(value.error, 'its error');
 }
@@ -439,6 +454,17 @@ export function formatCrawl(view) {
     const blast = published.reach.blast;
     if (blast !== null)
         lines.push(`  ${blast.ran} of ${plural(blast.functions, 'affected function')} ran.`);
+    const planning = published.reach.planning;
+    if (planning !== undefined) {
+        lines.push('', chalk.bold('Situations considered'), `  Considered ${plural(planning.groups, 'group')} of related behavior, with ${plural(planning.selectedIncidentPairs, 'possible failure pattern')} selected across them.`, `  ${planning.selectedSituations} of ${plural(planning.proposedSituations, 'proposed situation')} selected; ${planning.deferredSituations} deferred.`, `  Actions completed for ${plural(planning.completedSituations, 'situation')}; ${planning.blockedSituations} blocked during execution.`, `  Could not plan checks for ${plural(planning.unplannedIncidentPairs, 'selected failure pattern')}; ${plural(planning.unrealizedSituations, 'selected situation')} had no executable route.`, '  Completed actions do not establish that a situation is free of bugs.');
+        if (planning.sourceGraphTruncated)
+            lines.push('  The recorded code relationships were incomplete.');
+        if (planning.unresolvedChanges.length) {
+            lines.push('  Changes that could not be included in a behavior group:');
+            for (const change of planning.unresolvedChanges)
+                lines.push(`    ${safe(change.changeKey)}: ${safe(change.reason)}`);
+        }
+    }
     // Amendment 13: calls to outside services the stand-ins could not serve: the copy's missing coverage, never a finding.
     const gaps = published.standIns?.gaps ?? [];
     if (gaps.length > 0) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@haystackeditor/cli",
-  "version": "0.23.0",
+  "version": "0.23.1",
   "description": "haystack verify: run your app with and without a change, and see what the change broke",
   "type": "module",
   "bin": {