@resolveio/server-lib 22.3.134 → 22.3.136

package/util/support-runner-v5.js

@@ -241,6 +241,22 @@ function ownerFileLooksBroad(value) {
         || /^(\.|src|server|angular|client|app|lib|packages?)$/i.test(normalized)
         || /(^|\/)(node_modules|dist|build|coverage|\.git)(\/|$)/i.test(normalized);
 }
+function proofPlanLooksRouteOnly(proofPlan) {
+    var assertionText = cleanText([
+        proofPlan.business_assertion,
+        proofPlan.action,
+        proofPlan.after,
+        proofPlan.data_assertion,
+        proofPlan.artifact_expectation
+    ].filter(Boolean).join(' '), 3000).toLowerCase();
+    if (!assertionText) {
+        return false;
+    }
+    var routeOnlySignal = /\b(route|page|screen|dashboard|url|component|shell)\b/.test(assertionText)
+        && /\b(loads?|loaded|renders?|rendered|opens?|opened|visible|visibility|hydrates?|hydrated|screenshot)\b/.test(assertionText);
+    var businessSignal = /\b(save|saved|persist|persisted|create|created|update|updated|delete|deleted|filter|filtered|exclude|excluded|include|included|row|rows|record|records|count|counts|total|totals|value|values|data|mongo|query|result|results|invoice|pdf|export|download|upload|import|dropdown|selection|selected|form|submit|submitted|validation|error message|customer|account|user|permission|auth|control|button|status|calculation|performance|duration|latency)\b/.test(assertionText);
+    return routeOnlySignal && !businessSignal;
+}
 function normalizeResolveIOSupportDiagnosisGate(value, now) {
     var source = cleanObject(value);
     if (!Object.keys(source).length) {
@@ -409,6 +425,9 @@ function validateResolveIOSupportDiagnosisGate(value, options) {
     if (!normalized.proof_plan.business_assertion) {
         blockers.push('Diagnosis proof_plan.business_assertion is required.');
     }
+    if (proofPlanLooksRouteOnly(normalized.proof_plan)) {
+        blockers.push('Diagnosis proof_plan cannot be route-load, screen-visible, or screenshot-only; it must name the business state/data/control change that proves the issue is fixed.');
+    }
     if (!normalized.evidence.length) {
         blockers.push('Diagnosis evidence must include ticket/code/browser/log/Mongo proof.');
     }
@@ -636,86 +655,45 @@ function decideResolveIOSupportV5RepairGate(input) {
             summary: input.blocker
         }
     }); };
-    if (repeatedFailure === null || repeatedFailure === void 0 ? void 0 : repeatedFailure.shouldStop) {
-        var recoveryPlan_1 = recoveryPlanFor('park_repeated_failure', repeatedFailure.reason, repeatedFailure.failureClass, true);
+    var recoveryFieldsFor = function (recoveryPlan) {
+        var recoveryCheckpoint = recoveryCheckpointFor(recoveryPlan);
         return {
-            action: 'park_repeated_failure',
-            canEditProductCode: false,
-            blockers: [repeatedFailure.reason],
-            ownerFiles: ownerFiles,
-            issueClass: (_c = diagnosisValidation.normalized) === null || _c === void 0 ? void 0 : _c.issue_class,
-            proofPlan: (_d = diagnosisValidation.normalized) === null || _d === void 0 ? void 0 : _d.proof_plan,
-            outsideOwnerFiles: outsideOwnerFiles,
-            repeatedFailure: repeatedFailure,
-            diagnosisValidation: diagnosisValidation,
-            recoveryPlan: recoveryPlan_1,
-            recoveryCheckpoint: recoveryCheckpointFor(recoveryPlan_1)
+            recoveryPlan: recoveryPlan,
+            recoveryCheckpoint: recoveryCheckpoint,
+            recoveryEvidenceProbe: (0, ai_runner_manager_policy_1.buildResolveIOAIManagerRecoveryEvidenceProbe)({
+                checkpoint: recoveryCheckpoint,
+                current: {
+                    lane: 'build',
+                    stepType: activeStepType || 'build_repair',
+                    failureClass: failureClass || 'unknown',
+                    blocker: input.blocker || (diagnosisValidation.blockers || []).join(' | '),
+                    evidenceHash: input.evidenceHash,
+                    changedFiles: cleanList(input.changedFiles, 40, 500),
+                    summary: input.blocker
+                }
+            })
         };
+    };
+    if (repeatedFailure === null || repeatedFailure === void 0 ? void 0 : repeatedFailure.shouldStop) {
+        var recoveryPlan_1 = recoveryPlanFor('park_repeated_failure', repeatedFailure.reason, repeatedFailure.failureClass, true);
+        return __assign({ action: 'park_repeated_failure', canEditProductCode: false, blockers: [repeatedFailure.reason], ownerFiles: ownerFiles, issueClass: (_c = diagnosisValidation.normalized) === null || _c === void 0 ? void 0 : _c.issue_class, proofPlan: (_d = diagnosisValidation.normalized) === null || _d === void 0 ? void 0 : _d.proof_plan, outsideOwnerFiles: outsideOwnerFiles, repeatedFailure: repeatedFailure, diagnosisValidation: diagnosisValidation }, recoveryFieldsFor(recoveryPlan_1));
     }
     if (failureClass === 'infra' || failureClass === 'compile') {
         var recoveryPlan_2 = recoveryPlanFor('retry_infra', 'support_v5_infra_or_compile_repair_required', failureClass, false);
-        return {
-            action: 'infra_repair_only',
-            canEditProductCode: false,
-            blockers: ['Infra/compile/Puppeteer/startup failures must be repaired in the harness lane before product-code repair.'],
-            ownerFiles: ownerFiles,
-            issueClass: (_e = diagnosisValidation.normalized) === null || _e === void 0 ? void 0 : _e.issue_class,
-            proofPlan: (_f = diagnosisValidation.normalized) === null || _f === void 0 ? void 0 : _f.proof_plan,
-            outsideOwnerFiles: outsideOwnerFiles,
-            repeatedFailure: repeatedFailure,
-            diagnosisValidation: diagnosisValidation,
-            recoveryPlan: recoveryPlan_2,
-            recoveryCheckpoint: recoveryCheckpointFor(recoveryPlan_2)
-        };
+        return __assign({ action: 'infra_repair_only', canEditProductCode: false, blockers: ['Infra/compile/Puppeteer/startup failures must be repaired in the harness lane before product-code repair.'], ownerFiles: ownerFiles, issueClass: (_e = diagnosisValidation.normalized) === null || _e === void 0 ? void 0 : _e.issue_class, proofPlan: (_f = diagnosisValidation.normalized) === null || _f === void 0 ? void 0 : _f.proof_plan, outsideOwnerFiles: outsideOwnerFiles, repeatedFailure: repeatedFailure, diagnosisValidation: diagnosisValidation }, recoveryFieldsFor(recoveryPlan_2));
     }
     if (activeStepType === 'diagnosis_gate' || !diagnosisValidation.valid) {
         var recoveryPlan_3 = recoveryPlanFor('continue', 'support_v5_diagnosis_gate_required', 'diagnosis', false);
-        return {
-            action: 'diagnose_only',
-            canEditProductCode: false,
-            blockers: diagnosisValidation.blockers.length
+        return __assign({ action: 'diagnose_only', canEditProductCode: false, blockers: diagnosisValidation.blockers.length
                 ? diagnosisValidation.blockers
-                : ['SupportDiagnosisGate is required before product-code repair.'],
-            ownerFiles: ownerFiles,
-            issueClass: (_g = diagnosisValidation.normalized) === null || _g === void 0 ? void 0 : _g.issue_class,
-            proofPlan: (_h = diagnosisValidation.normalized) === null || _h === void 0 ? void 0 : _h.proof_plan,
-            outsideOwnerFiles: outsideOwnerFiles,
-            repeatedFailure: repeatedFailure,
-            diagnosisValidation: diagnosisValidation,
-            recoveryPlan: recoveryPlan_3,
-            recoveryCheckpoint: recoveryCheckpointFor(recoveryPlan_3)
-        };
+                : ['SupportDiagnosisGate is required before product-code repair.'], ownerFiles: ownerFiles, issueClass: (_g = diagnosisValidation.normalized) === null || _g === void 0 ? void 0 : _g.issue_class, proofPlan: (_h = diagnosisValidation.normalized) === null || _h === void 0 ? void 0 : _h.proof_plan, outsideOwnerFiles: outsideOwnerFiles, repeatedFailure: repeatedFailure, diagnosisValidation: diagnosisValidation }, recoveryFieldsFor(recoveryPlan_3));
     }
     if (outsideOwnerFiles.length) {
         var recoveryPlan_4 = recoveryPlanFor('continue', 'support_v5_out_of_scope_requires_diagnosis_revision', 'owner_scope', false);
-        return {
-            action: 'reject_out_of_scope',
-            canEditProductCode: false,
-            blockers: ["Changed files outside diagnosis owner_files; revise diagnosis with new evidence before broadening edits: ".concat(outsideOwnerFiles.join(', '))],
-            ownerFiles: ownerFiles,
-            issueClass: (_j = diagnosisValidation.normalized) === null || _j === void 0 ? void 0 : _j.issue_class,
-            proofPlan: (_k = diagnosisValidation.normalized) === null || _k === void 0 ? void 0 : _k.proof_plan,
-            outsideOwnerFiles: outsideOwnerFiles,
-            repeatedFailure: repeatedFailure,
-            diagnosisValidation: diagnosisValidation,
-            recoveryPlan: recoveryPlan_4,
-            recoveryCheckpoint: recoveryCheckpointFor(recoveryPlan_4)
-        };
+        return __assign({ action: 'reject_out_of_scope', canEditProductCode: false, blockers: ["Changed files outside diagnosis owner_files; revise diagnosis with new evidence before broadening edits: ".concat(outsideOwnerFiles.join(', '))], ownerFiles: ownerFiles, issueClass: (_j = diagnosisValidation.normalized) === null || _j === void 0 ? void 0 : _j.issue_class, proofPlan: (_k = diagnosisValidation.normalized) === null || _k === void 0 ? void 0 : _k.proof_plan, outsideOwnerFiles: outsideOwnerFiles, repeatedFailure: repeatedFailure, diagnosisValidation: diagnosisValidation }, recoveryFieldsFor(recoveryPlan_4));
     }
     var recoveryPlan = recoveryPlanFor('continue', 'support_v5_product_repair_allowed_after_diagnosis', failureClass || 'product_code', true);
-    return {
-        action: 'allow_product_repair',
-        canEditProductCode: true,
-        blockers: [],
-        ownerFiles: ownerFiles,
-        issueClass: (_l = diagnosisValidation.normalized) === null || _l === void 0 ? void 0 : _l.issue_class,
-        proofPlan: (_m = diagnosisValidation.normalized) === null || _m === void 0 ? void 0 : _m.proof_plan,
-        outsideOwnerFiles: outsideOwnerFiles,
-        repeatedFailure: repeatedFailure,
-        diagnosisValidation: diagnosisValidation,
-        recoveryPlan: recoveryPlan,
-        recoveryCheckpoint: recoveryCheckpointFor(recoveryPlan)
-    };
+    return __assign({ action: 'allow_product_repair', canEditProductCode: true, blockers: [], ownerFiles: ownerFiles, issueClass: (_l = diagnosisValidation.normalized) === null || _l === void 0 ? void 0 : _l.issue_class, proofPlan: (_m = diagnosisValidation.normalized) === null || _m === void 0 ? void 0 : _m.proof_plan, outsideOwnerFiles: outsideOwnerFiles, repeatedFailure: repeatedFailure, diagnosisValidation: diagnosisValidation }, recoveryFieldsFor(recoveryPlan));
 }
 function applyResolveIOSupportDiagnosisGateToMicrotasks(bundle, diagnosisGate) {
     var validation = validateResolveIOSupportDiagnosisGate(diagnosisGate);
@@ -1007,7 +985,8 @@ function initializeResolveIOSupportV5State(input) {
             : [],
         supportV5FailureFingerprints: Array.isArray(existing.supportV5FailureFingerprints)
             ? existing.supportV5FailureFingerprints.slice(-200)
-            : []
+            : [],
+        supportV5RecoveryEvidenceProbe: existing.supportV5RecoveryEvidenceProbe
     };
     return diagnosisValidation.valid && diagnosisValidation.normalized
         ? applyResolveIOSupportDiagnosisGateToMicrotasks(initialized, diagnosisValidation.normalized)
@@ -1143,59 +1122,38 @@ function decideResolveIOSupportV5Continuation(bundle) {
         plan: recoveryPlan,
         current: last
     }); };
+    var recoveryFieldsFor = function (recoveryPlan) {
+        var recoveryCheckpoint = recoveryCheckpointFor(recoveryPlan);
+        return {
+            recoveryPlan: recoveryPlan,
+            recoveryCheckpoint: recoveryCheckpoint,
+            recoveryEvidenceProbe: (0, ai_runner_manager_policy_1.buildResolveIOAIManagerRecoveryEvidenceProbe)({
+                checkpoint: recoveryCheckpoint,
+                current: last
+            })
+        };
+    };
     if (budgetExceeded) {
         var recoveryPlan_5 = recoveryPlanFor('manual_handoff', 'support_v5_budget_guard', {
             productRepairFailure: false
         });
-        return {
-            action: 'park',
-            reason: 'support_v5_budget_guard',
-            nextStep: (last === null || last === void 0 ? void 0 : last.stepType) || 'cleanup',
-            repeatedNoProgressCount: repeatedNoProgressCount,
-            budgetExceeded: budgetExceeded,
-            recoveryPlan: recoveryPlan_5,
-            recoveryCheckpoint: recoveryCheckpointFor(recoveryPlan_5)
-        };
+        return __assign({ action: 'park', reason: 'support_v5_budget_guard', nextStep: (last === null || last === void 0 ? void 0 : last.stepType) || 'cleanup', repeatedNoProgressCount: repeatedNoProgressCount, budgetExceeded: budgetExceeded }, recoveryFieldsFor(recoveryPlan_5));
     }
     if (repeatedNoProgressCount > budget.maxRepeatedNoProgress) {
         var recoveryPlan_6 = recoveryPlanFor('park_repeated_failure', 'support_v5_repeated_no_progress', {
             productRepairFailure: true
         });
-        return {
-            action: 'park',
-            reason: 'support_v5_repeated_no_progress',
-            nextStep: (last === null || last === void 0 ? void 0 : last.stepType) || 'cleanup',
-            repeatedNoProgressCount: repeatedNoProgressCount,
-            budgetExceeded: budgetExceeded,
-            recoveryPlan: recoveryPlan_6,
-            recoveryCheckpoint: recoveryCheckpointFor(recoveryPlan_6)
-        };
+        return __assign({ action: 'park', reason: 'support_v5_repeated_no_progress', nextStep: (last === null || last === void 0 ? void 0 : last.stepType) || 'cleanup', repeatedNoProgressCount: repeatedNoProgressCount, budgetExceeded: budgetExceeded }, recoveryFieldsFor(recoveryPlan_6));
     }
     if (repeatedFailure === null || repeatedFailure === void 0 ? void 0 : repeatedFailure.shouldStop) {
         var recoveryPlan_7 = recoveryPlanFor(repeatedFailure.reason === 'support_v5_ping_pong_failure_loop' ? 'park_ping_pong' : 'park_repeated_failure', repeatedFailure.reason, {
             failureClass: repeatedFailure.failureClass,
             productRepairFailure: true
         });
-        return {
-            action: 'park',
-            reason: repeatedFailure.reason,
-            nextStep: (last === null || last === void 0 ? void 0 : last.stepType) || 'cleanup',
-            repeatedNoProgressCount: repeatedFailure.repeatedCount,
-            budgetExceeded: budgetExceeded,
-            recoveryPlan: recoveryPlan_7,
-            recoveryCheckpoint: recoveryCheckpointFor(recoveryPlan_7)
-        };
+        return __assign({ action: 'park', reason: repeatedFailure.reason, nextStep: (last === null || last === void 0 ? void 0 : last.stepType) || 'cleanup', repeatedNoProgressCount: repeatedFailure.repeatedCount, budgetExceeded: budgetExceeded }, recoveryFieldsFor(recoveryPlan_7));
     }
     var recoveryPlan = recoveryPlanFor('continue', 'support_v5_continue');
-    return {
-        action: 'continue',
-        reason: 'support_v5_continue',
-        nextStep: (last === null || last === void 0 ? void 0 : last.stepType) || bundle.supportV5SupervisorState.activeStep,
-        repeatedNoProgressCount: repeatedNoProgressCount,
-        budgetExceeded: false,
-        recoveryPlan: recoveryPlan,
-        recoveryCheckpoint: recoveryCheckpointFor(recoveryPlan)
-    };
+    return __assign({ action: 'continue', reason: 'support_v5_continue', nextStep: (last === null || last === void 0 ? void 0 : last.stepType) || bundle.supportV5SupervisorState.activeStep, repeatedNoProgressCount: repeatedNoProgressCount, budgetExceeded: false }, recoveryFieldsFor(recoveryPlan));
 }
 function buildResolveIOSupportV5DiagnoseFirstPrompt(lines) {
     var _a, _b;