@resolveio/server-lib 22.3.199 → 22.3.200

package/util/support-runner-v5.js

@@ -50,6 +50,7 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.evaluateResolveIOSupportPreflightGate = evaluateResolveIOSupportPreflightGate;
 exports.selectResolveIOSupportSimilarCaseHints = selectResolveIOSupportSimilarCaseHints;
 exports.buildResolveIOSupportDiagnosisEvidencePack = buildResolveIOSupportDiagnosisEvidencePack;
+exports.buildResolveIOSupportDiagnosisProofMatrix = buildResolveIOSupportDiagnosisProofMatrix;
 exports.evaluateResolveIOSupportDiagnosisEvidenceQuality = evaluateResolveIOSupportDiagnosisEvidenceQuality;
 exports.normalizeResolveIOSupportDiagnosisGate = normalizeResolveIOSupportDiagnosisGate;
 exports.extractResolveIOSupportDiagnosisGateFromText = extractResolveIOSupportDiagnosisGateFromText;
@@ -68,8 +69,11 @@ exports.validateResolveIOSupportNextActionContract = validateResolveIOSupportNex
 exports.buildResolveIOSupportManagerExecutionPacket = buildResolveIOSupportManagerExecutionPacket;
 exports.decideResolveIOSupportV5RepeatedFailureStop = decideResolveIOSupportV5RepeatedFailureStop;
 exports.evaluateResolveIOSupportEvidenceFreshness = evaluateResolveIOSupportEvidenceFreshness;
+exports.validateResolveIOSupportEvidenceProbeContract = validateResolveIOSupportEvidenceProbeContract;
+exports.buildResolveIOSupportEvidenceProbeContract = buildResolveIOSupportEvidenceProbeContract;
 exports.buildResolveIOSupportContinuationProofCheckpoint = buildResolveIOSupportContinuationProofCheckpoint;
 exports.changedFilesOutsideResolveIOSupportDiagnosisOwnerFiles = changedFilesOutsideResolveIOSupportDiagnosisOwnerFiles;
+exports.buildResolveIOSupportOwnerScopedRepairContract = buildResolveIOSupportOwnerScopedRepairContract;
 exports.decideResolveIOSupportV5RepairGate = decideResolveIOSupportV5RepairGate;
 exports.applyResolveIOSupportDiagnosisGateToMicrotasks = applyResolveIOSupportDiagnosisGateToMicrotasks;
 exports.fingerprintResolveIOSupportV5Blocker = fingerprintResolveIOSupportV5Blocker;
@@ -134,6 +138,489 @@ function cleanList(values, limit, max) {
 function cleanObject(value) {
     return value && typeof value === 'object' && !Array.isArray(value) ? value : {};
 }
+function cleanNumber(value) {
+    var parsed = Number(value);
+    return Number.isFinite(parsed) ? parsed : undefined;
+}
+function supportApprovalExplicitlyApprovesOverLimit(value) {
+    return value.approve_over_max_hours === true
+        || value.approveOverMaxHours === true
+        || value.approve_over_six_hours === true
+        || value.approveOverSixHours === true
+        || value.over_limit_approved === true
+        || value.overLimitApproved === true
+        || value.over_max_auto_hours_approved === true
+        || value.overMaxAutoHoursApproved === true
+        || value.operator_approved_over_limit === true
+        || value.operatorApprovedOverLimit === true;
+}
+function normalizeResolveIOSupportAutonomyApprovalContract(value, options) {
+    var _a, _b;
+    if (options === void 0) { options = {}; }
+    var source = cleanObject(value);
+    var required = options.required === true;
+    if (!Object.keys(source).length && !required) {
+        return undefined;
+    }
+    var ownerFiles = cleanList(source.owner_files || source.ownerFiles || options.ownerFiles, 80, 500)
+        .map(normalizeOwnerFilePath)
+        .filter(Boolean);
+    var approvedOwnerFiles = cleanList(source.approved_owner_files || source.approvedOwnerFiles || ownerFiles, 80, 500)
+        .map(normalizeOwnerFilePath)
+        .filter(Boolean);
+    var currentOwnerFiles = cleanList(source.current_owner_files || source.currentOwnerFiles || ownerFiles, 80, 500)
+        .map(normalizeOwnerFilePath)
+        .filter(Boolean);
+    var ownerFileFingerprint = cleanText(source.owner_file_fingerprint
+        || source.ownerFileFingerprint
+        || (currentOwnerFiles.length ? hashResolveIOSupportV5Evidence({ ownerFiles: currentOwnerFiles.slice().sort() }).slice(0, 18) : ''), 180);
+    var approvedOwnerFileFingerprint = cleanText(source.approved_owner_file_fingerprint
+        || source.approvedOwnerFileFingerprint
+        || (approvedOwnerFiles.length ? hashResolveIOSupportV5Evidence({ ownerFiles: approvedOwnerFiles.slice().sort() }).slice(0, 18) : ''), 180);
+    var currentOwnerFileSet = new Set(currentOwnerFiles);
+    var approvedOwnerFileSet = new Set(approvedOwnerFiles);
+    var ownerFilesAddedSinceApproval = cleanList(source.owner_files_added_since_approval || source.ownerFilesAddedSinceApproval, 80, 500)
+        .map(normalizeOwnerFilePath)
+        .filter(Boolean);
+    var ownerFilesRemovedSinceApproval = cleanList(source.owner_files_removed_since_approval || source.ownerFilesRemovedSinceApproval, 80, 500)
+        .map(normalizeOwnerFilePath)
+        .filter(Boolean);
+    var computedOwnerFilesAdded = currentOwnerFiles.filter(function (entry) { return !approvedOwnerFileSet.has(entry); });
+    var computedOwnerFilesRemoved = approvedOwnerFiles.filter(function (entry) { return !currentOwnerFileSet.has(entry); });
+    var ownerFilesChangedSinceApproval = source.owner_files_changed_since_approval === true
+        || source.ownerFilesChangedSinceApproval === true
+        || computedOwnerFilesAdded.length > 0
+        || computedOwnerFilesRemoved.length > 0
+        || (!!ownerFileFingerprint && !!approvedOwnerFileFingerprint && ownerFileFingerprint !== approvedOwnerFileFingerprint);
+    var scopeFingerprint = cleanText(source.scope_fingerprint || source.scopeFingerprint, 180);
+    var previousScopeFingerprint = cleanText(source.previous_scope_fingerprint || source.previousScopeFingerprint, 180);
+    var diagnosisScopeFingerprint = cleanText(source.diagnosis_scope_fingerprint || source.diagnosisScopeFingerprint, 180);
+    var previousDiagnosisScopeFingerprint = cleanText(source.previous_diagnosis_scope_fingerprint || source.previousDiagnosisScopeFingerprint, 180);
+    var scopeChangedSinceApproval = source.scope_changed_since_approval === true
+        || source.scopeChangedSinceApproval === true
+        || (!!scopeFingerprint && !!previousScopeFingerprint && scopeFingerprint !== previousScopeFingerprint);
+    var diagnosisScopeChangedSinceApproval = source.diagnosis_scope_changed_since_approval === true
+        || source.diagnosisScopeChangedSinceApproval === true
+        || (!!diagnosisScopeFingerprint && !!previousDiagnosisScopeFingerprint && diagnosisScopeFingerprint !== previousDiagnosisScopeFingerprint);
+    var onTheFlyScopeChangeApprovalRequired = source.on_the_fly_scope_change_approval_required === true
+        || source.onTheFlyScopeChangeApprovalRequired === true
+        || scopeChangedSinceApproval
+        || ownerFilesChangedSinceApproval
+        || diagnosisScopeChangedSinceApproval;
+    var estimatedHours = cleanNumber((_a = source.estimated_hours) !== null && _a !== void 0 ? _a : source.estimatedHours);
+    var maxAutoHoursWithoutApproval = cleanNumber((_b = source.max_auto_hours_without_approval) !== null && _b !== void 0 ? _b : source.maxAutoHoursWithoutApproval) || 6;
+    var overMaxAutoHours = source.over_max_auto_hours === true
+        || source.overMaxAutoHours === true
+        || (estimatedHours !== undefined && estimatedHours > maxAutoHoursWithoutApproval);
+    var explicitOverLimitApproval = supportApprovalExplicitlyApprovesOverLimit(source);
+    var bugNotBug = cleanText(source.bug_not_bug || source.bugNotBug, 80);
+    var bugNotBugKnown = source.bug_not_bug_known === true
+        || source.bugNotBugKnown === true
+        || bugNotBug === 'bug'
+        || bugNotBug === 'not_bug'
+        || bugNotBug === 'not bug';
+    var bugNotBugClassificationApproved = source.bug_not_bug_classification_approved === true
+        || source.bugNotBugClassificationApproved === true;
+    var afterApprovalAutopilotUntilAGrade = source.after_approval_autopilot_until_a_grade === true
+        || source.afterApprovalAutopilotUntilAGrade === true
+        || source.autopilot_after_approval_until_a_grade === true
+        || source.autopilotAfterApprovalUntilAGrade === true;
+    var completionContract = cleanObject(source.autopilot_completion_contract || source.autopilotCompletionContract);
+    var approved = source.approved === true;
+    var blockers = Array.from(new Set(__spreadArray(__spreadArray(__spreadArray(__spreadArray(__spreadArray(__spreadArray(__spreadArray(__spreadArray(__spreadArray(__spreadArray(__spreadArray(__spreadArray(__spreadArray([], __read(cleanList(source.blockers, 40, 500)), false), __read((!Object.keys(source).length && required ? ['Support autonomy approval is required before product-code repair.'] : [])), false), __read((source.requires_over_limit_approval === true || source.requiresOverLimitApproval === true ? ['Estimated work is over the automatic hour ceiling and requires operator approval.'] : [])), false), __read((source.requires_scope_reapproval === true || source.requiresScopeReapproval === true || scopeChangedSinceApproval ? ['The approved support scope changed and requires on-the-fly reapproval.'] : [])), false), __read((source.requires_owner_file_reapproval === true || source.requiresOwnerFileReapproval === true || ownerFilesChangedSinceApproval ? ['The owner-file set changed after approval and requires reapproval.'] : [])), false), __read((source.requires_intake_reapproval === true || source.requiresIntakeReapproval === true ? ['The support intake/classification changed after approval and requires reapproval.'] : [])), false), __read((source.requires_diagnosis_scope_reapproval === true || source.requiresDiagnosisScopeReapproval === true || diagnosisScopeChangedSinceApproval ? ['The accepted diagnosis/proof scope changed after approval and requires reapproval.'] : [])), false), __read((source.requires_classification_approval === true || source.requiresClassificationApproval === true ? ['Bug/not-bug classification must be approved before product-code repair.'] : [])), false), __read((source.requires_estimate_hours === true || source.requiresEstimateHours === true ? ['Estimated hours must be recorded before product-code repair.'] : [])), false), __read((approved && bugNotBugKnown !== true ? ['Bug/not-bug classification must be set before approved support autopilot can repair product code.'] : [])), false), __read((approved && bugNotBugClassificationApproved !== true ? ['Bug/not-bug classification must be approved before approved support autopilot can repair product code.'] : [])), false), __read((approved && estimatedHours === undefined ? ['Estimated hours must be recorded before approved support autopilot can repair product code.'] : [])), false), __read((approved && overMaxAutoHours && explicitOverLimitApproval !== true ? ["Estimated work is ".concat(estimatedHours, " hours, above the ").concat(maxAutoHoursWithoutApproval, "-hour autonomy ceiling, and needs explicit over-limit operator approval.")] : [])), false))).slice(0, 40);
+    var status = approved && blockers.length === 0
+        ? 'approved_autopilot'
+        : Object.keys(source).length ? 'approval_required' : 'missing';
+    var decisionKind = cleanText(source.decision_kind || source.decisionKind || source.approval_kind || source.approvalKind, 120)
+        || (status === 'approved_autopilot'
+            ? 'approved_autopilot'
+            : overMaxAutoHours && explicitOverLimitApproval !== true
+                ? 'over_limit_approval_required'
+                : bugNotBugClassificationApproved !== true
+                    ? 'classification_approval_required'
+                    : 'operator_approval_required');
+    var approvalAction = cleanText(source.approval_action || source.approvalAction, 120)
+        || (decisionKind === 'over_limit_approval_required' ? 'approve_support_autonomy_over_limit' : 'approve_support_autonomy');
+    return {
+        contractId: cleanText(source.contract_id || source.contractId, 180)
+            || stableIdFromText('support-autonomy-approval', [
+                decisionKind,
+                ownerFiles.join('|'),
+                String(estimatedHours !== null && estimatedHours !== void 0 ? estimatedHours : ''),
+                isoNow(options.now).slice(0, 16)
+            ].join('\n')),
+        status: status,
+        approved: status === 'approved_autopilot',
+        approvedAt: cleanText(source.approved_at || source.approvedAt, 80) || undefined,
+        approvedBy: cleanText(source.approved_by || source.approvedBy, 160) || undefined,
+        decisionKind: decisionKind,
+        approvalAction: approvalAction,
+        preferredChoiceId: cleanText(source.preferred_choice_id || source.preferredChoiceId, 120)
+            || (approvalAction === 'approve_support_autonomy_over_limit' ? 'approve_over_limit_autonomy' : 'approve_auto_fix_le_6h_bug'),
+        canApproveFromConsole: source.can_approve_from_console !== false && source.canApproveFromConsole !== false,
+        estimatedHours: estimatedHours,
+        estimatedHoursKnown: estimatedHours !== undefined || source.estimated_hours_known === true || source.estimatedHoursKnown === true,
+        maxAutoHoursWithoutApproval: maxAutoHoursWithoutApproval,
+        overMaxAutoHours: overMaxAutoHours,
+        explicitOverLimitApproval: explicitOverLimitApproval,
+        bugNotBug: bugNotBug,
+        bugNotBugKnown: bugNotBugKnown,
+        bugNotBugClassificationApproved: bugNotBugClassificationApproved,
+        requiresOverLimitApproval: source.requires_over_limit_approval === true || source.requiresOverLimitApproval === true || (overMaxAutoHours && explicitOverLimitApproval !== true),
+        requiresScopeReapproval: source.requires_scope_reapproval === true || source.requiresScopeReapproval === true || scopeChangedSinceApproval,
+        requiresOwnerFileReapproval: source.requires_owner_file_reapproval === true || source.requiresOwnerFileReapproval === true || ownerFilesChangedSinceApproval,
+        requiresIntakeReapproval: source.requires_intake_reapproval === true || source.requiresIntakeReapproval === true,
+        requiresDiagnosisScopeReapproval: source.requires_diagnosis_scope_reapproval === true || source.requiresDiagnosisScopeReapproval === true || diagnosisScopeChangedSinceApproval,
+        requiresClassificationApproval: source.requires_classification_approval === true || source.requiresClassificationApproval === true || bugNotBugClassificationApproved !== true,
+        requiresEstimateHours: source.requires_estimate_hours === true || source.requiresEstimateHours === true || estimatedHours === undefined,
+        changeApprovalMode: cleanText(source.change_approval_mode || source.changeApprovalMode, 120) || 'on_the_fly_reapproval_required',
+        afterApprovalAutopilotUntilAGrade: afterApprovalAutopilotUntilAGrade,
+        targetGrade: cleanText(source.target_grade || source.targetGrade || completionContract.target_grade || completionContract.targetGrade || 'A', 20),
+        terminalTarget: cleanText(source.terminal_target
+            || source.terminalTarget
+            || completionContract.required_terminal_state
+            || completionContract.requiredTerminalState, 800) || 'A-grade PR with QA screenshots, AIQaBusinessAssertion before/action/after proof, source commit proof, and changed files inside owner_files',
+        qaScreenshotsRequired: source.qa_screenshots_required === true || source.qaScreenshotsRequired === true,
+        beforeActionAfterBusinessProofRequired: source.before_action_after_business_proof_required === true || source.beforeActionAfterBusinessProofRequired === true,
+        aiqaBusinessAssertionRequired: source.aiqa_business_assertion_required === true || source.aiqaBusinessAssertionRequired === true,
+        ownerFiles: ownerFiles,
+        approvedOwnerFiles: approvedOwnerFiles,
+        currentOwnerFiles: currentOwnerFiles,
+        scopeFingerprint: scopeFingerprint,
+        previousScopeFingerprint: previousScopeFingerprint,
+        scopeChangedSinceApproval: scopeChangedSinceApproval,
+        ownerFileFingerprint: ownerFileFingerprint,
+        approvedOwnerFileFingerprint: approvedOwnerFileFingerprint,
+        ownerFilesChangedSinceApproval: ownerFilesChangedSinceApproval,
+        ownerFilesAddedSinceApproval: ownerFilesAddedSinceApproval.length ? ownerFilesAddedSinceApproval : computedOwnerFilesAdded,
+        ownerFilesRemovedSinceApproval: ownerFilesRemovedSinceApproval.length ? ownerFilesRemovedSinceApproval : computedOwnerFilesRemoved,
+        diagnosisScopeFingerprint: diagnosisScopeFingerprint,
+        previousDiagnosisScopeFingerprint: previousDiagnosisScopeFingerprint,
+        diagnosisScopeIncluded: source.diagnosis_scope_included === true || source.diagnosisScopeIncluded === true || !!diagnosisScopeFingerprint,
+        diagnosisScopeValid: source.diagnosis_scope_valid === true || source.diagnosisScopeValid === true,
+        diagnosisScopeChangedSinceApproval: diagnosisScopeChangedSinceApproval,
+        diagnosisScopeFields: cleanList(source.diagnosis_scope_fields || source.diagnosisScopeFields, 40, 160),
+        diagnosisScopeBlockers: cleanList(source.diagnosis_scope_blockers || source.diagnosisScopeBlockers, 40, 500),
+        requiresOperatorApprovalForAnyScopeChange: source.requires_operator_approval_for_any_scope_change !== false && source.requiresOperatorApprovalForAnyScopeChange !== false,
+        leSixHourScopeCanAutofixAfterApproval: source.le_six_hour_scope_can_autofix_after_approval === true
+            || source.leSixHourScopeCanAutofixAfterApproval === true
+            || (status === 'approved_autopilot' && estimatedHours !== undefined && estimatedHours <= maxAutoHoursWithoutApproval),
+        onTheFlyScopeChangeApprovalRequired: onTheFlyScopeChangeApprovalRequired,
+        requiredCompletionEvidence: cleanList(source.required_completion_evidence || source.requiredCompletionEvidence || completionContract.required_evidence || completionContract.requiredEvidence, 40, 500),
+        forbiddenWithoutReapproval: cleanList(source.forbidden_without_reapproval || source.forbiddenWithoutReapproval, 40, 500),
+        allowedAutoActions: cleanList(source.allowed_auto_actions || source.allowedAutoActions, 40, 240),
+        blockers: blockers,
+        autopilotApprovalBoundaryValid: status === 'approved_autopilot'
+    };
+}
+function buildResolveIOSupportProductRepairDispatchGuard(input) {
+    var _a, _b, _c, _d, _e;
+    if (!input.approval && !input.editsProductCode) {
+        return undefined;
+    }
+    var ownerFiles = cleanList(input.ownerFiles || ((_a = input.approval) === null || _a === void 0 ? void 0 : _a.ownerFiles), 80, 500)
+        .map(normalizeOwnerFilePath)
+        .filter(Boolean);
+    var approval = input.approval;
+    var allowed = input.editsProductCode ? (approval === null || approval === void 0 ? void 0 : approval.autopilotApprovalBoundaryValid) === true : true;
+    var nextAction = allowed
+        ? (input.editsProductCode ? 'run_targeted_product_repair' : 'continue_non_product_action')
+        : (approval === null || approval === void 0 ? void 0 : approval.approvalAction) || 'approve_support_autonomy';
+    var terminalTarget = (approval === null || approval === void 0 ? void 0 : approval.terminalTarget)
+        || 'A-grade PR with QA screenshots, AIQaBusinessAssertion before/action/after proof, source commit proof, and changed files inside owner_files';
+    var requiredCompletionEvidence = ((_b = approval === null || approval === void 0 ? void 0 : approval.requiredCompletionEvidence) === null || _b === void 0 ? void 0 : _b.length)
+        ? approval.requiredCompletionEvidence
+        : [
+            'A-grade execution/artifacts/pull_request review',
+            'GitHub PR URL',
+            'QA screenshots with captions',
+            'AIQaBusinessAssertion before/action/after business proof',
+            'changed files subset of approved owner_files'
+        ];
+    return {
+        guard: 'support_autonomy_product_repair_dispatch_guard',
+        status: allowed ? 'allowed' : 'blocked',
+        allowed: allowed,
+        action: input.action,
+        editsProductCode: input.editsProductCode,
+        canEditProductCode: allowed && input.editsProductCode,
+        autoContinueAfterApproval: allowed && input.editsProductCode,
+        nextAction: nextAction,
+        reason: allowed
+            ? 'Approved bounded support autonomy allows this product-code repair inside the current owner-file and diagnosis scope.'
+            : (approval === null || approval === void 0 ? void 0 : approval.blockers.join(' | ')) || 'Support autonomy approval is required before product-code repair.',
+        approvalContractId: (approval === null || approval === void 0 ? void 0 : approval.contractId) || '',
+        continuationContractMode: 'approved_scope_to_a_grade_pr',
+        terminalTarget: terminalTarget,
+        nextProofPhases: [
+            'confirm_support_diagnosis_gate',
+            'run_owner_scoped_repair',
+            'run_compile_preflight',
+            'run_business_proof_qa_with_screenshots',
+            'create_or_update_pr',
+            'run_a_grade_review',
+            'park_before_merge_release_or_customer_send'
+        ],
+        allowedAutoActions: [
+            'run_read_only_diagnosis',
+            'run_owner_scoped_repair',
+            'run_compile_preflight',
+            'run_business_proof_qa',
+            'create_or_update_pr',
+            'auto_improve_until_a_grade'
+        ],
+        forbiddenActions: ((_c = approval === null || approval === void 0 ? void 0 : approval.forbiddenWithoutReapproval) === null || _c === void 0 ? void 0 : _c.length) ? approval.forbiddenWithoutReapproval : [
+            'estimated_hours greater than max_auto_hours_without_approval',
+            'bug/not-bug classification change',
+            'owner_files expansion or edit outside SupportDiagnosisGate owner_files',
+            'accepted_hypothesis, failing_path, issue_case, or proof_plan change',
+            'customer success reply, merge, release, or deploy before AIQaBusinessAssertion proof'
+        ],
+        ownerFiles: ownerFiles,
+        approvedOwnerFiles: ((_d = approval === null || approval === void 0 ? void 0 : approval.approvedOwnerFiles) === null || _d === void 0 ? void 0 : _d.length) ? approval.approvedOwnerFiles : ownerFiles,
+        currentOwnerFiles: ((_e = approval === null || approval === void 0 ? void 0 : approval.currentOwnerFiles) === null || _e === void 0 ? void 0 : _e.length) ? approval.currentOwnerFiles : ownerFiles,
+        scopeFingerprint: (approval === null || approval === void 0 ? void 0 : approval.scopeFingerprint) || '',
+        ownerFileFingerprint: (approval === null || approval === void 0 ? void 0 : approval.ownerFileFingerprint) || '',
+        approvedOwnerFileFingerprint: (approval === null || approval === void 0 ? void 0 : approval.approvedOwnerFileFingerprint) || '',
+        ownerFilesChangedSinceApproval: (approval === null || approval === void 0 ? void 0 : approval.ownerFilesChangedSinceApproval) === true,
+        ownerFilesAddedSinceApproval: (approval === null || approval === void 0 ? void 0 : approval.ownerFilesAddedSinceApproval) || [],
+        ownerFilesRemovedSinceApproval: (approval === null || approval === void 0 ? void 0 : approval.ownerFilesRemovedSinceApproval) || [],
+        requiresOverLimitApproval: (approval === null || approval === void 0 ? void 0 : approval.requiresOverLimitApproval) === true,
+        requiresScopeReapproval: (approval === null || approval === void 0 ? void 0 : approval.requiresScopeReapproval) === true,
+        requiresOwnerFileReapproval: (approval === null || approval === void 0 ? void 0 : approval.requiresOwnerFileReapproval) === true,
+        requiresDiagnosisScopeReapproval: (approval === null || approval === void 0 ? void 0 : approval.requiresDiagnosisScopeReapproval) === true,
+        requiredCompletionEvidence: requiredCompletionEvidence,
+        blockers: (approval === null || approval === void 0 ? void 0 : approval.blockers) || []
+    };
+}
+function supportAutopilotArtifactListHasScreenshotOrTrace(values) {
+    return cleanList(values, 80, 500).some(function (entry) {
+        var text = entry.toLowerCase();
+        return /screenshot|trace|video|har|browser-artifact|qa-artifact/.test(text)
+            || /\.(png|jpe?g|webp|gif|zip|trace|har|webm|mp4)(\?|#|$)/i.test(entry);
+    });
+}
+function supportAutopilotGradeMeetsA(value) {
+    return /^(A\+|A|A-)$/i.test(cleanText(value, 20));
+}
+function normalizeSupportAutopilotPrReviewContract(value) {
+    var _a, _b, _c, _d, _e, _f, _g, _h;
+    var contract = cleanObject(value);
+    var grades = cleanObject(contract.grades);
+    var executionGrade = cleanText(contract.execution_grade
+        || contract.executionGrade
+        || grades.execution
+        || grades.execution_grade
+        || grades.executionGrade, 20).toUpperCase();
+    var artifactsGrade = cleanText(contract.artifacts_grade
+        || contract.artifactsGrade
+        || grades.artifacts
+        || grades.artifacts_grade
+        || grades.artifactsGrade, 20).toUpperCase();
+    var pullRequestGrade = cleanText(contract.pull_request_grade
+        || contract.pullRequestGrade
+        || grades.pull_request
+        || grades.pullRequest
+        || grades.pr
+        || grades.pr_grade, 20).toUpperCase();
+    var strictGatePassed = contract.strict_gate_passed === true
+        || contract.strictGatePassed === true
+        || contract.passes_strict_gate === true
+        || contract.passesStrictGate === true;
+    var ready = contract.ready === true
+        || strictGatePassed === true
+        || (supportAutopilotGradeMeetsA(executionGrade)
+            && supportAutopilotGradeMeetsA(artifactsGrade)
+            && supportAutopilotGradeMeetsA(pullRequestGrade)
+            && cleanText(contract.status, 120).toLowerCase() === 'passed');
+    var status = cleanText(contract.status, 120)
+        || (ready ? 'passed' : Object.keys(contract).length ? 'blocked' : 'missing');
+    return {
+        contractId: cleanText(contract.contract_id || contract.contractId, 180),
+        status: status,
+        ready: ready,
+        strictGatePassed: ready && strictGatePassed !== false,
+        strictGateReason: cleanText(contract.strict_gate_reason || contract.strictGateReason || contract.reason, 500),
+        executionGrade: executionGrade,
+        artifactsGrade: artifactsGrade,
+        pullRequestGrade: pullRequestGrade,
+        evidenceRefs: cleanList(contract.evidence_refs || contract.evidenceRefs || contract.artifacts || contract.artifact_paths || contract.artifactPaths, 80, 500),
+        blockers: cleanList(contract.blockers, 40, 500),
+        nextAction: cleanText(contract.next_action || contract.nextAction || ((_a = contract.continuation_contract) === null || _a === void 0 ? void 0 : _a.action) || ((_b = contract.continuationContract) === null || _b === void 0 ? void 0 : _b.action), 160),
+        failureClass: cleanText(contract.failure_class || contract.failureClass || ((_c = contract.continuation_contract) === null || _c === void 0 ? void 0 : _c.failure_class) || ((_d = contract.continuationContract) === null || _d === void 0 ? void 0 : _d.failureClass), 120),
+        blockerFingerprint: cleanText(contract.blocker_fingerprint || contract.blockerFingerprint || ((_e = contract.continuation_contract) === null || _e === void 0 ? void 0 : _e.blocker_fingerprint) || ((_f = contract.continuationContract) === null || _f === void 0 ? void 0 : _f.blockerFingerprint), 180),
+        evidenceHash: cleanText(contract.evidence_hash || contract.evidenceHash || ((_g = contract.continuation_contract) === null || _g === void 0 ? void 0 : _g.evidence_hash) || ((_h = contract.continuationContract) === null || _h === void 0 ? void 0 : _h.evidenceHash), 180),
+        continuationContract: cleanObject(contract.continuation_contract || contract.continuationContract)
+    };
+}
+function buildResolveIOSupportAutopilotCompletionProgress(input) {
+    var _a;
+    var approval = input.approval;
+    var prReadinessContract = cleanObject(input.prReadinessContract);
+    var hasApprovalSource = !!approval || Object.keys(prReadinessContract).length > 0;
+    if (!hasApprovalSource) {
+        return undefined;
+    }
+    var createdAt = isoNow(input.now);
+    var prStatus = cleanText(prReadinessContract.status, 120).toLowerCase();
+    var prReady = prReadinessContract.ready === true || prStatus === 'ready';
+    var prReview = normalizeSupportAutopilotPrReviewContract(input.prReviewContract);
+    var prReviewReady = prReview.ready === true;
+    var pullRequestUrl = cleanText(prReadinessContract.pull_request_url
+        || prReadinessContract.pullRequestUrl, 500);
+    var pullRequestStatus = cleanText(prReadinessContract.pull_request_status
+        || prReadinessContract.pullRequestStatus, 120);
+    var businessProofArtifacts = cleanList(__spreadArray(__spreadArray(__spreadArray([], __read(cleanList(input.businessProofArtifacts, 80, 500)), false), __read(cleanList(input.businessProofReadiness.artifactPaths, 80, 500)), false), __read(cleanList(prReadinessContract.business_proof_artifacts || prReadinessContract.businessProofArtifacts, 80, 500)), false), 120, 500);
+    var changedFiles = cleanList(__spreadArray(__spreadArray([], __read(cleanList(input.changedFiles, 80, 500)), false), __read(cleanList(prReadinessContract.modified_files || prReadinessContract.modifiedFiles, 80, 500)), false), 120, 500).map(normalizeOwnerFilePath).filter(Boolean);
+    var businessProofReady = input.businessProofReadiness.ready === true
+        || prReadinessContract.business_proof_ready === true
+        || prReadinessContract.businessProofReady === true;
+    var hasScreenshotOrTrace = supportAutopilotArtifactListHasScreenshotOrTrace(businessProofArtifacts);
+    var changedFilesReady = changedFiles.length > 0;
+    var approvalBoundaryValid = (approval === null || approval === void 0 ? void 0 : approval.autopilotApprovalBoundaryValid) === true;
+    var approvalApproved = (approval === null || approval === void 0 ? void 0 : approval.approved) === true;
+    var targetGrade = (approval === null || approval === void 0 ? void 0 : approval.targetGrade) || cleanText(prReadinessContract.target_grade || prReadinessContract.targetGrade || 'A', 20) || 'A';
+    var terminalTarget = (approval === null || approval === void 0 ? void 0 : approval.terminalTarget)
+        || 'A-grade PR with QA screenshots, AIQaBusinessAssertion before/action/after proof, source commit proof, and changed files inside owner_files';
+    var requiredEvidence = Array.from(new Set(__spreadArray(__spreadArray([], __read(((approval === null || approval === void 0 ? void 0 : approval.requiredCompletionEvidence) || [])), false), [
+        'SupportDiagnosisGate passed',
+        'owner-scoped changed files',
+        'AIQaBusinessAssertion before/action/after business proof',
+        'QA screenshot or trace artifact',
+        'A-grade PR URL',
+        'A-grade execution/artifacts/pull_request review'
+    ], false))).slice(0, 24);
+    var completedEvidence = Array.from(new Set(__spreadArray([
+        input.diagnosisValid ? 'SupportDiagnosisGate passed' : '',
+        changedFilesReady ? 'changed files recorded' : '',
+        businessProofReady ? 'AIQaBusinessAssertion business proof ready' : '',
+        hasScreenshotOrTrace ? 'QA screenshot or trace artifact recorded' : '',
+        prReady ? 'PR readiness contract ready' : '',
+        pullRequestUrl ? "pull_request_url=".concat(pullRequestUrl) : '',
+        prReviewReady ? "A-grade PR review passed execution=".concat(prReview.executionGrade || '-', " artifacts=").concat(prReview.artifactsGrade || '-', " pull_request=").concat(prReview.pullRequestGrade || '-') : ''
+    ], __read(prReview.evidenceRefs), false).filter(Boolean))).slice(0, 24);
+    var missingEvidence = Array.from(new Set([
+        !approvalApproved ? 'approved support autonomy contract' : '',
+        approvalApproved && !approvalBoundaryValid ? 'valid autonomy approval boundary' : '',
+        !input.diagnosisValid ? 'SupportDiagnosisGate passed' : '',
+        input.preflightGate.blocksProductRepair ? 'passing support preflight/compile gate' : '',
+        !changedFilesReady ? 'owner-scoped changed-file evidence' : '',
+        !businessProofReady ? 'AIQaBusinessAssertion before/action/after business proof' : '',
+        (approval === null || approval === void 0 ? void 0 : approval.qaScreenshotsRequired) !== false && !hasScreenshotOrTrace ? 'QA screenshot or trace artifact' : '',
+        businessProofReady && !prReady ? 'PR readiness contract' : '',
+        businessProofReady && prReady && !pullRequestUrl ? 'A-grade PR URL' : '',
+        businessProofReady && prReady && !!pullRequestUrl && !prReviewReady ? 'A-grade execution/artifacts/pull_request review' : ''
+    ].filter(Boolean))).slice(0, 24);
+    var activePhase = 'not_required';
+    var nextAction = 'park_manual';
+    var status = 'not_required';
+    if (!approvalApproved || !approvalBoundaryValid) {
+        activePhase = 'approval_required';
+        nextAction = (approval === null || approval === void 0 ? void 0 : approval.approvalAction) === 'approve_support_autonomy_over_limit'
+            ? 'approve_support_autonomy_over_limit'
+            : 'approve_support_autonomy';
+        status = 'blocked';
+    }
+    else if (!input.diagnosisValid) {
+        activePhase = 'diagnosis';
+        nextAction = 'run_diagnosis_gate';
+        status = 'in_progress';
+    }
+    else if (input.preflightGate.blocksProductRepair) {
+        activePhase = 'preflight';
+        nextAction = 'repair_infra_only';
+        status = 'in_progress';
+    }
+    else if (!changedFilesReady) {
+        activePhase = 'repair';
+        nextAction = 'run_owner_scoped_repair';
+        status = 'in_progress';
+    }
+    else if (!businessProofReady || !hasScreenshotOrTrace) {
+        activePhase = 'business_proof';
+        nextAction = 'run_business_proof_qa';
+        status = 'in_progress';
+    }
+    else if (!prReady || !pullRequestUrl) {
+        activePhase = 'pr_packaging';
+        nextAction = 'create_pr';
+        status = 'ready_for_pr';
+    }
+    else if (!prReviewReady) {
+        activePhase = 'pr_review';
+        nextAction = 'run_a_grade_pr_review';
+        status = 'in_progress';
+    }
+    else {
+        activePhase = 'park_before_merge_release_customer';
+        nextAction = 'park_before_merge_release_or_customer_send';
+        status = 'complete';
+    }
+    var requiresHumanApproval = activePhase === 'approval_required'
+        || activePhase === 'park_before_merge_release_customer';
+    var canAutoDispatchNext = status !== 'blocked'
+        && status !== 'complete'
+        && requiresHumanApproval !== true
+        && nextAction !== 'approve_support_autonomy'
+        && nextAction !== 'approve_support_autonomy_over_limit';
+    return {
+        contractId: "support-autopilot-completion-".concat(hashResolveIOSupportV5Evidence({
+            approvalContractId: (approval === null || approval === void 0 ? void 0 : approval.contractId) || '',
+            activePhase: activePhase,
+            nextAction: nextAction,
+            businessProofReady: businessProofReady,
+            pullRequestUrl: pullRequestUrl,
+            prReviewReady: prReviewReady,
+            prReviewStatus: prReview.status,
+            prReviewStrictGateReason: prReview.strictGateReason,
+            prReviewExecutionGrade: prReview.executionGrade,
+            prReviewArtifactsGrade: prReview.artifactsGrade,
+            prReviewPullRequestGrade: prReview.pullRequestGrade,
+            createdAt: createdAt.slice(0, 16)
+        }).slice(0, 16)),
+        mode: 'approved_scope_to_a_grade_pr',
+        status: status,
+        activePhase: activePhase,
+        nextAction: nextAction,
+        nextCommand: nextAction === 'create_pr'
+            ? 'createSupportTicketCodexPullRequestManual'
+            : String(nextAction),
+        reason: status === 'complete'
+            ? 'Approved support autopilot reached A-grade PR proof; merge, release, deploy, and customer reply remain separately gated.'
+            : missingEvidence.join(' | ') || "Continue approved support autopilot phase ".concat(activePhase, "."),
+        approved: approvalApproved,
+        approvalBoundaryValid: approvalBoundaryValid,
+        approvalContractId: (approval === null || approval === void 0 ? void 0 : approval.contractId) || '',
+        targetGrade: targetGrade,
+        terminalTarget: terminalTarget,
+        businessProofReady: businessProofReady,
+        hasScreenshotOrTrace: hasScreenshotOrTrace,
+        changedFilesReady: changedFilesReady,
+        prReadinessReady: prReady,
+        prReviewReady: prReviewReady,
+        prReviewStatus: prReview.status,
+        prReviewContractId: prReview.contractId,
+        prReviewStrictGatePassed: prReview.strictGatePassed,
+        prReviewStrictGateReason: prReview.strictGateReason,
+        prReviewExecutionGrade: prReview.executionGrade,
+        prReviewArtifactsGrade: prReview.artifactsGrade,
+        prReviewPullRequestGrade: prReview.pullRequestGrade,
+        pullRequestUrl: pullRequestUrl,
+        pullRequestStatus: pullRequestStatus,
+        canContinueWithoutCodexMonitor: canAutoDispatchNext,
+        canAutoDispatchNext: canAutoDispatchNext,
+        requiresHumanApproval: requiresHumanApproval,
+        completedEvidence: completedEvidence,
+        missingEvidence: missingEvidence,
+        requiredEvidence: requiredEvidence,
+        forbiddenActions: Array.from(new Set(__spreadArray(__spreadArray([], __read(((approval === null || approval === void 0 ? void 0 : approval.forbiddenWithoutReapproval) || [])), false), [
+            'Do not merge, release, deploy, or send customer success reply from approved autopilot completion alone.',
+            'Do not mark complete without QA screenshots/traces, AIQaBusinessAssertion proof, changed files, PR URL, and A-grade PR review.'
+        ], false))).slice(0, 24),
+        blockers: Array.from(new Set(__spreadArray(__spreadArray(__spreadArray(__spreadArray([], __read(((approval === null || approval === void 0 ? void 0 : approval.blockers) || [])), false), __read((((_a = input.productRepairDispatchGuard) === null || _a === void 0 ? void 0 : _a.status) === 'blocked' ? input.productRepairDispatchGuard.blockers : [])), false), __read(prReview.blockers), false), __read(missingEvidence), false))).slice(0, 24),
+        createdAt: createdAt
+    };
+}
 function normalizeResolveIOSupportPreflightCheckName(value) {
     var normalized = cleanText(value, 120)
         .toLowerCase()
@@ -388,22 +875,41 @@ function normalizeSupportDiagnosisEvidence(values) {
     var allowed = new Set(['ticket', 'browser', 'mongo', 'log', 'code', 'commit', 'qa', 'other']);
     if (!Array.isArray(values)) {
         var summary = cleanText(values, 1200);
-        return summary ? [{ type: 'other', summary: summary }] : [];
+        return summary ? [{
+                id: "evidence-".concat(hashResolveIOSupportV5Evidence({ type: 'other', summary: summary }).slice(0, 12)),
+                type: 'other',
+                summary: summary
+            }] : [];
     }
     var stringEvidence = values
         .filter(function (entry) { return typeof entry === 'string'; })
-        .map(function (entry) { return ({
-        type: 'other',
-        summary: cleanText(entry, 1200)
-    }); });
+        .map(function (entry) {
+        var summary = cleanText(entry, 1200);
+        return {
+            id: "evidence-".concat(hashResolveIOSupportV5Evidence({ type: 'other', summary: summary }).slice(0, 12)),
+            type: 'other',
+            summary: summary
+        };
+    });
     var objectEvidence = values
         .filter(function (entry) { return entry && typeof entry === 'object' && !Array.isArray(entry); })
         .map(function (entry) {
         var type = cleanText(entry.type, 80).toLowerCase();
+        var normalizedType = (allowed.has(type) ? type : 'other');
+        var summary = cleanText(entry.summary || entry.message || entry.evidence || entry.reason, 1200);
+        var artifactPath = cleanText(entry.artifactPath || entry.artifact_path || entry.path || entry.file, 500);
+        var ownerFiles = cleanList(entry.ownerFiles || entry.owner_files || entry.files, 12, 500)
+            .map(normalizeOwnerFilePath)
+            .filter(Boolean);
+        var evidenceRefs = cleanList(entry.evidenceRefs || entry.evidence_refs || entry.refs, 12, 500);
         return {
-            type: (allowed.has(type) ? type : 'other'),
-            summary: cleanText(entry.summary || entry.message || entry.evidence || entry.reason, 1200),
-            artifactPath: cleanText(entry.artifactPath || entry.path || entry.file, 500)
+            id: cleanText(entry.id || entry.evidenceId || entry.evidence_id, 160)
+                || "evidence-".concat(hashResolveIOSupportV5Evidence({ type: normalizedType, summary: summary, artifactPath: artifactPath, ownerFiles: ownerFiles }).slice(0, 12)),
+            type: normalizedType,
+            summary: summary,
+            artifactPath: artifactPath,
+            ownerFiles: ownerFiles,
+            evidenceRefs: evidenceRefs
         };
     });
     return stringEvidence.concat(objectEvidence)
@@ -775,6 +1281,7 @@ function buildResolveIOSupportDiagnosisEvidencePack(input) {
     var diagnosisSource = input.diagnosisGate || (bundle === null || bundle === void 0 ? void 0 : bundle.supportV5DiagnosisGate);
     var validation = validateResolveIOSupportDiagnosisGate(diagnosisSource);
     var normalizedDiagnosis = validation.normalized;
+    var proofMatrix = validation.proofMatrix || buildResolveIOSupportDiagnosisProofMatrix(diagnosisSource, input.now);
     var ownerFileHints = cleanList(__spreadArray(__spreadArray(__spreadArray([], __read(cleanList(input.ownerFiles, 16, 500)), false), __read(cleanList(normalizedDiagnosis === null || normalizedDiagnosis === void 0 ? void 0 : normalizedDiagnosis.owner_files, 16, 500)), false), __read(cleanList(activeMicrotask === null || activeMicrotask === void 0 ? void 0 : activeMicrotask.targetFiles, 8, 500)), false), 16, 500).map(normalizeOwnerFilePath).filter(Boolean);
     var issueClassHint = normalizeIssueClass(input.issueClass || (normalizedDiagnosis === null || normalizedDiagnosis === void 0 ? void 0 : normalizedDiagnosis.issue_class));
     var text = cleanText([
@@ -825,9 +1332,15 @@ function buildResolveIOSupportDiagnosisEvidencePack(input) {
         activeMicrotaskId: activeMicrotask === null || activeMicrotask === void 0 ? void 0 : activeMicrotask.microtaskId,
         similarCaseSelection: similarCaseSelection,
         issueClassProbeCatalog: SUPPORT_ISSUE_CLASS_PROBE_CATALOG,
+        proofMatrix: proofMatrix,
         structuredFacts: {
             currentDiagnosisStatus: validation.status,
             currentDiagnosisValid: validation.valid,
+            proofMatrixStatus: proofMatrix.status,
+            proofMatrixId: proofMatrix.matrixId,
+            proofMatrixBlockerCount: proofMatrix.blockers.length,
+            ownerFileCoverageReady: proofMatrix.ownerFileCoverage.every(function (entry) { return entry.covered; }),
+            coveredOwnerFileCount: proofMatrix.ownerFileCoverage.filter(function (entry) { return entry.covered; }).length,
             reproductionStatus: normalizedDiagnosis === null || normalizedDiagnosis === void 0 ? void 0 : normalizedDiagnosis.issue_case.reproduction_status,
             evidenceTypes: ((_e = validation.evidenceQuality) === null || _e === void 0 ? void 0 : _e.evidenceTypes) || [],
             reproductionEvidenceTypes: ((_f = validation.evidenceQuality) === null || _f === void 0 ? void 0 : _f.reproductionEvidenceTypes) || [],
@@ -865,6 +1378,53 @@ function normalizeOwnerFilePath(value) {
         .replace(/^\/+/, '')
         .replace(/\s+$/g, '');
 }
+function ownerFileComparablePathKeys(value) {
+    var e_4, _a;
+    var normalized = normalizeOwnerFilePath(value);
+    if (!normalized) {
+        return [];
+    }
+    var keys = new Set([normalized]);
+    try {
+        for (var _b = __values([
+            'angular/app/',
+            'server/src/',
+            'server/app/',
+            'client/src/',
+            'client/app/'
+        ]), _c = _b.next(); !_c.done; _c = _b.next()) {
+            var marker = _c.value;
+            var escaped = marker.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+            var match = normalized.match(new RegExp("(?:^|/)(".concat(escaped, ".+)$"), 'i'));
+            if (match === null || match === void 0 ? void 0 : match[1]) {
+                keys.add(match[1]);
+            }
+        }
+    }
+    catch (e_4_1) { e_4 = { error: e_4_1 }; }
+    finally {
+        try {
+            if (_c && !_c.done && (_a = _b.return)) _a.call(_b);
+        }
+        finally { if (e_4) throw e_4.error; }
+    }
+    return Array.from(keys);
+}
+function ownerFilePathMatchesDiagnosisOwner(filePath, ownerFile) {
+    var normalizedFilePath = normalizeOwnerFilePath(filePath);
+    var normalizedOwnerFile = normalizeOwnerFilePath(ownerFile);
+    if (!normalizedFilePath || !normalizedOwnerFile) {
+        return false;
+    }
+    var fileKeys = ownerFileComparablePathKeys(normalizedFilePath);
+    var ownerKeys = ownerFileComparablePathKeys(normalizedOwnerFile);
+    if (fileKeys.some(function (fileKey) { return ownerKeys.some(function (ownerKey) { return fileKey.toLowerCase() === ownerKey.toLowerCase(); }); })) {
+        return true;
+    }
+    return normalizedFilePath === normalizedOwnerFile
+        || normalizedFilePath.endsWith("/".concat(normalizedOwnerFile))
+        || normalizedOwnerFile.endsWith("/".concat(normalizedFilePath));
+}
 function ownerFileLooksBroad(value) {
     var normalized = normalizeOwnerFilePath(value);
     return !normalized
@@ -874,6 +1434,81 @@ function ownerFileLooksBroad(value) {
         || /^(\.|src|server|angular|client|app|lib|packages?)$/i.test(normalized)
         || /(^|\/)(node_modules|dist|build|coverage|\.git)(\/|$)/i.test(normalized);
 }
+function ownerFileLooksNonProductEvidence(value) {
+    var normalized = normalizeOwnerFilePath(value);
+    return /(^|\/)(qa-artifacts?|screenshots?|screen-shots?|traces?|logs?|tmp|temp|coverage|dist|build|docs?)(\/|$)/i.test(normalized)
+        || /(^|\/)(__tests__|tests?|spec)(\/|$)|\.(?:spec|test)\.[jt]sx?$/i.test(normalized)
+        || /\.(?:png|jpe?g|gif|webp|svg|pdf|log|txt|md|markdown)$/i.test(normalized);
+}
+function supportDiagnosisTextLooksGeneric(value, minimumLength) {
+    if (minimumLength === void 0) { minimumLength = 18; }
+    var text = cleanText(value, 1000).toLowerCase();
+    if (!text) {
+        return false;
+    }
+    var compact = text.replace(/[^a-z0-9]+/g, ' ').trim();
+    if (!compact) {
+        return false;
+    }
+    var meaningfulWords = compact.split(/\s+/g).filter(function (word) { return word.length >= 4; });
+    return compact.length < minimumLength
+        || meaningfulWords.length < 3
+        || /^(n a|na|none|null|unknown|todo|tbd|pending|fix|bug|issue|problem|broken|not working|works|should work)$/i.test(compact)
+        || /\b(todo|tbd|placeholder|unknown|guess|maybe|probably|something|somewhere|stuff|things?)\b/i.test(compact)
+        || /^(fix|debug|investigate|check|look into|test|verify)( the)? (issue|bug|problem|ticket|route|page)$/i.test(compact)
+        || /^(the )?(issue|bug|problem|ticket|route|page)( is)? (fixed|broken|not working|wrong)$/i.test(compact);
+}
+function collectGenericSupportDiagnosisFields(gate) {
+    var _a, _b, _c, _d;
+    var fields = [
+        ['issue_case.expected_result', gate.issue_case.expected_result, 18],
+        ['issue_case.observed_result', gate.issue_case.observed_result, 18],
+        ['accepted_hypothesis.statement', gate.accepted_hypothesis.statement, 24],
+        ['accepted_hypothesis.falsifiable_test', gate.accepted_hypothesis.falsifiable_test, 24],
+        ['proof_plan.before', gate.proof_plan.before || gate.proof_plan.before_state_unavailable_reason, 24],
+        ['proof_plan.action', gate.proof_plan.action, 24],
+        ['proof_plan.after', gate.proof_plan.after, 24],
+        ['proof_plan.business_assertion', gate.proof_plan.business_assertion, 24],
+        ['proof_plan.data_assertion', gate.proof_plan.data_assertion, 24],
+        ['proof_plan.business_proof_contract.setup_state', (_a = gate.proof_plan.business_proof_contract) === null || _a === void 0 ? void 0 : _a.setup_state, 24],
+        ['proof_plan.business_proof_contract.action_under_test', (_b = gate.proof_plan.business_proof_contract) === null || _b === void 0 ? void 0 : _b.action_under_test, 24],
+        ['proof_plan.business_proof_contract.expected_business_state_change', (_c = gate.proof_plan.business_proof_contract) === null || _c === void 0 ? void 0 : _c.expected_business_state_change, 24],
+        ['proof_plan.business_proof_contract.data_or_dom_assertion', (_d = gate.proof_plan.business_proof_contract) === null || _d === void 0 ? void 0 : _d.data_or_dom_assertion, 24]
+    ];
+    var genericFields = fields
+        .filter(function (_a) {
+        var _b = __read(_a, 3), field = _b[0], value = _b[1], minimumLength = _b[2];
+        if (!cleanText(value, 1000)) {
+            return false;
+        }
+        if ((field === 'proof_plan.data_assertion' || field === 'proof_plan.business_proof_contract.data_or_dom_assertion')
+            && /\b(id|url|pdf)\b/i.test(cleanText(value, 1000))) {
+            return supportDiagnosisTextLooksGeneric(value, 12);
+        }
+        return supportDiagnosisTextLooksGeneric(value, minimumLength);
+    })
+        .map(function (_a) {
+        var _b = __read(_a, 1), field = _b[0];
+        return field;
+    });
+    var genericEvidence = gate.accepted_hypothesis.evidence
+        .map(function (entry, index) { return supportDiagnosisTextLooksGeneric(entry, 20) ? "accepted_hypothesis.evidence[".concat(index, "]") : ''; })
+        .filter(Boolean);
+    var genericRejectedAlternatives = gate.rejected_alternatives
+        .map(function (entry, index) { return supportDiagnosisTextLooksGeneric(entry, 20) ? "rejected_alternatives[".concat(index, "]") : ''; })
+        .filter(Boolean);
+    return __spreadArray(__spreadArray(__spreadArray([], __read(genericFields), false), __read(genericEvidence), false), __read(genericRejectedAlternatives), false);
+}
+function supportProofArtifactLooksVague(value) {
+    var text = cleanText(value, 500).toLowerCase();
+    if (!text) {
+        return true;
+    }
+    var compact = text.replace(/[^a-z0-9]+/g, ' ').trim();
+    var businessSignal = /\b(dom|data|mongo|delta|row|rows|count|counts|record|records|persist|persisted|parsed|field|fields|pdf|export|invoice|upload|import|dropdown|selected|selection|id|total|timing|duration|latency|query|network|console|method|publication|response|before|after)\b/i.test(compact);
+    var routeOnlySignal = /\b(screenshot|screen shot|browser trace|trace|log|page|route|screen)\b/i.test(compact);
+    return !businessSignal || (/^(screenshot|screen shot|browser trace|trace|log|page screenshot|route screenshot|screen screenshot)$/i.test(compact) && routeOnlySignal);
+}
 function proofPlanLooksRouteOnly(proofPlan) {
     var assertionText = cleanText([
         proofPlan.business_assertion,
@@ -890,9 +1525,146 @@ function proofPlanLooksRouteOnly(proofPlan) {
     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 supportDiagnosisEvidenceLooksRouteOnly(entry) {
+    var text = cleanText([entry.summary, entry.artifactPath].filter(Boolean).join(' '), 2200).toLowerCase();
+    if (!text) {
+        return false;
+    }
+    var routeOnlySignal = /\b(route|page|screen|dashboard|url|component|shell|screenshot|screen shot)\b/.test(text)
+        && /\b(loads?|loaded|renders?|rendered|opens?|opened|visible|visibility|hydrates?|hydrated|captured|displayed)\b/.test(text);
+    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|before|after)\b/.test(text);
+    return routeOnlySignal && !businessSignal;
+}
+function supportDiagnosisEvidenceLooksBusinessSpecific(entry) {
+    var text = cleanText([entry.summary, entry.artifactPath].filter(Boolean).join(' '), 2200).toLowerCase();
+    if (!text || supportDiagnosisEvidenceLooksRouteOnly(entry)) {
+        return false;
+    }
+    return /\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|before|after)\b/.test(text);
+}
 var SUPPORT_REPRODUCTION_EVIDENCE_TYPES = new Set(['browser', 'mongo', 'log', 'qa']);
 var SUPPORT_ROOT_CAUSE_EVIDENCE_TYPES = new Set(['browser', 'mongo', 'log', 'code', 'commit', 'qa']);
 var SUPPORT_ARTIFACT_RECOMMENDED_EVIDENCE_TYPES = new Set(['browser', 'mongo', 'log', 'qa']);
+function supportDiagnosisEvidenceRef(entry) {
+    return {
+        evidenceId: entry.id || "evidence-".concat(hashResolveIOSupportV5Evidence(entry).slice(0, 12)),
+        type: entry.type,
+        summary: cleanText(entry.summary, 1200),
+        artifactPath: cleanText(entry.artifactPath, 500) || undefined,
+        ownerFiles: cleanList(entry.ownerFiles, 12, 500).map(normalizeOwnerFilePath).filter(Boolean)
+    };
+}
+function supportNormalizedPathMentioned(value, ownerFile) {
+    var normalizedOwner = normalizeOwnerFilePath(ownerFile).toLowerCase();
+    var text = cleanText(value, 2000).replace(/\\/g, '/').toLowerCase();
+    return !!normalizedOwner && !!text && text.includes(normalizedOwner);
+}
+function supportDiagnosisOwnerFileCoverage(gate, evidenceRefs) {
+    var failingPathFields = [
+        ['frontend', gate.failing_path.frontend],
+        ['backend', gate.failing_path.backend],
+        ['shared_library', gate.failing_path.shared_library],
+        ['data_query', gate.failing_path.data_query],
+        ['description', gate.failing_path.description]
+    ];
+    return gate.owner_files.map(function (ownerFile) {
+        var normalizedOwner = normalizeOwnerFilePath(ownerFile);
+        var evidenceIds = evidenceRefs
+            .filter(function (entry) { return entry.ownerFiles.map(normalizeOwnerFilePath).includes(normalizedOwner); })
+            .map(function (entry) { return entry.evidenceId; });
+        var matchedFailingPathFields = failingPathFields
+            .filter(function (_a) {
+            var _b = __read(_a, 2), value = _b[1];
+            return supportNormalizedPathMentioned(value, normalizedOwner);
+        })
+            .map(function (_a) {
+            var _b = __read(_a, 1), field = _b[0];
+            return field;
+        });
+        return {
+            ownerFile: normalizedOwner,
+            covered: evidenceIds.length > 0 || matchedFailingPathFields.length > 0,
+            evidenceIds: evidenceIds,
+            failingPathFields: matchedFailingPathFields
+        };
+    });
+}
+function buildResolveIOSupportDiagnosisProofMatrix(value, now) {
+    var gate = normalizeResolveIOSupportDiagnosisGate(value);
+    if (!gate) {
+        return {
+            matrixId: "support-diagnosis-proof-matrix-".concat(hashResolveIOSupportV5Evidence({ missing: true, now: isoNow(now) }).slice(0, 16)),
+            status: 'incomplete',
+            ownerFiles: [],
+            reproductionEvidence: [],
+            rootCauseEvidence: [],
+            ownerFileCoverage: [],
+            businessProofArtifacts: [],
+            proofPlanChecks: {
+                beforeActionAfter: false,
+                businessAssertion: false,
+                businessProofContract: false,
+                dataOrDomAssertion: false
+            },
+            blockers: ['SupportDiagnosisGate is missing.'],
+            generatedAt: isoNow(now)
+        };
+    }
+    var evidenceRefs = gate.evidence.map(supportDiagnosisEvidenceRef);
+    var reproductionEvidence = evidenceRefs.filter(function (entry) { return SUPPORT_REPRODUCTION_EVIDENCE_TYPES.has(entry.type); });
+    var businessReproductionEvidence = reproductionEvidence.filter(supportDiagnosisEvidenceLooksBusinessSpecific);
+    var rootCauseEvidence = evidenceRefs.filter(function (entry) { return SUPPORT_ROOT_CAUSE_EVIDENCE_TYPES.has(entry.type); });
+    var ownerFileCoverage = supportDiagnosisOwnerFileCoverage(gate, evidenceRefs);
+    var proofContract = gate.proof_plan.business_proof_contract;
+    var businessProofArtifacts = Array.from(new Set(cleanList(__spreadArray([
+        gate.proof_plan.artifact_expectation
+    ], __read(((proofContract === null || proofContract === void 0 ? void 0 : proofContract.proof_artifacts) || [])), false), 20, 500)));
+    var proofPlanChecks = {
+        beforeActionAfter: !!((gate.proof_plan.before || gate.proof_plan.before_state_unavailable_reason) && gate.proof_plan.action && gate.proof_plan.after),
+        businessAssertion: !!gate.proof_plan.business_assertion,
+        businessProofContract: !!proofContract,
+        dataOrDomAssertion: !!(gate.proof_plan.data_assertion || (proofContract === null || proofContract === void 0 ? void 0 : proofContract.data_or_dom_assertion))
+    };
+    var blockers = [];
+    if (gate.issue_case.reproduction_status === 'reproduced' && !reproductionEvidence.length) {
+        blockers.push('Proof matrix requires reproduction evidence for reproduced support diagnoses.');
+    }
+    if (gate.issue_case.reproduction_status === 'reproduced' && reproductionEvidence.length && !businessReproductionEvidence.length) {
+        blockers.push('Proof matrix requires issue-specific business reproduction evidence; route-load or screenshot-only evidence cannot satisfy reproduction.');
+    }
+    if (!rootCauseEvidence.length) {
+        blockers.push('Proof matrix requires typed root-cause evidence before repair.');
+    }
+    var uncoveredOwners = ownerFileCoverage.filter(function (entry) { return !entry.covered; }).map(function (entry) { return entry.ownerFile; });
+    if (uncoveredOwners.length) {
+        blockers.push("Proof matrix owner_files are not tied to failing_path or structured evidence ownerFiles: ".concat(uncoveredOwners.join(', '), "."));
+    }
+    if (!businessProofArtifacts.length) {
+        blockers.push('Proof matrix requires business proof artifacts from the diagnosis proof_plan.');
+    }
+    if (!proofPlanChecks.beforeActionAfter || !proofPlanChecks.businessAssertion || !proofPlanChecks.businessProofContract || !proofPlanChecks.dataOrDomAssertion) {
+        blockers.push('Proof matrix requires before/action/after, business assertion, business_proof_contract, and DOM/data assertion coverage.');
+    }
+    return {
+        matrixId: "support-diagnosis-proof-matrix-".concat(hashResolveIOSupportV5Evidence({
+            issueClass: gate.issue_class,
+            ownerFiles: gate.owner_files,
+            evidenceIds: evidenceRefs.map(function (entry) { return entry.evidenceId; }),
+            businessProofArtifacts: businessProofArtifacts,
+            proofPlanChecks: proofPlanChecks
+        }).slice(0, 16)),
+        status: blockers.length ? 'incomplete' : 'ready',
+        issueClass: gate.issue_class,
+        ownerFiles: gate.owner_files,
+        reproductionEvidence: reproductionEvidence,
+        rootCauseEvidence: rootCauseEvidence,
+        ownerFileCoverage: ownerFileCoverage,
+        businessProofArtifacts: businessProofArtifacts,
+        proofPlanChecks: proofPlanChecks,
+        blockers: blockers,
+        generatedAt: isoNow(now || gate.updatedAt)
+    };
+}
 function evaluateResolveIOSupportDiagnosisEvidenceQuality(value) {
     var normalized = normalizeResolveIOSupportDiagnosisGate(value);
     if (!normalized) {
@@ -903,6 +1675,8 @@ function evaluateResolveIOSupportDiagnosisEvidenceQuality(value) {
             reproductionEvidenceTypes: [],
             rootCauseEvidenceTypes: [],
             artifactBackedEvidenceCount: 0,
+            routeOnlyReproductionEvidenceCount: 0,
+            businessReproductionEvidenceCount: 0,
             hasTicketContext: false,
             hasRootCauseEvidence: false,
             hasReproductionEvidence: false
@@ -917,6 +1691,9 @@ function evaluateResolveIOSupportDiagnosisEvidenceQuality(value) {
         .filter(function (entry) { return SUPPORT_ROOT_CAUSE_EVIDENCE_TYPES.has(entry.type); })
         .map(function (entry) { return entry.type; })));
     var artifactBackedEvidenceCount = evidence.filter(function (entry) { return !!entry.artifactPath; }).length;
+    var reproductionEvidence = evidence.filter(function (entry) { return SUPPORT_REPRODUCTION_EVIDENCE_TYPES.has(entry.type); });
+    var routeOnlyReproductionEvidenceCount = reproductionEvidence.filter(supportDiagnosisEvidenceLooksRouteOnly).length;
+    var businessReproductionEvidenceCount = reproductionEvidence.filter(supportDiagnosisEvidenceLooksBusinessSpecific).length;
     var hasTicketContext = evidence.some(function (entry) { return entry.type === 'ticket'; })
         || Boolean(normalized.issue_case.customer_complaint && normalized.issue_case.account_customer_context);
     var hasRootCauseEvidence = rootCauseEvidenceTypes.length > 0;
@@ -934,6 +1711,9 @@ function evaluateResolveIOSupportDiagnosisEvidenceQuality(value) {
     if (normalized.issue_case.reproduction_status === 'reproduced' && !hasReproductionEvidence) {
         blockers.push('Diagnosis reproduced issue_case requires browser, Mongo, log, or QA reproduction evidence before repair.');
     }
+    if (normalized.issue_case.reproduction_status === 'reproduced' && hasReproductionEvidence && !businessReproductionEvidenceCount) {
+        blockers.push('Diagnosis reproduced issue_case requires issue-specific business reproduction proof; route-load or screenshot-only evidence is route evidence only.');
+    }
     if (normalized.issue_case.reproduction_status === 'blocked'
         && !normalized.issue_case.reproduction_blocker) {
         blockers.push('Diagnosis blocked reproduction requires issue_case.reproduction_blocker.');
@@ -952,6 +1732,8 @@ function evaluateResolveIOSupportDiagnosisEvidenceQuality(value) {
         reproductionEvidenceTypes: reproductionEvidenceTypes,
         rootCauseEvidenceTypes: rootCauseEvidenceTypes,
         artifactBackedEvidenceCount: artifactBackedEvidenceCount,
+        routeOnlyReproductionEvidenceCount: routeOnlyReproductionEvidenceCount,
+        businessReproductionEvidenceCount: businessReproductionEvidenceCount,
         hasTicketContext: hasTicketContext,
         hasRootCauseEvidence: hasRootCauseEvidence,
         hasReproductionEvidence: hasReproductionEvidence
@@ -1020,7 +1802,7 @@ function normalizeResolveIOSupportDiagnosisGate(value, now) {
     return gate;
 }
 function extractResolveIOSupportDiagnosisGateFromText(value, now) {
-    var e_4, _a;
+    var e_5, _a;
     var text = String(value || '').trim();
     if (!text) {
         return undefined;
@@ -1048,12 +1830,12 @@ function extractResolveIOSupportDiagnosisGateFromText(value, now) {
             }
         }
     }
-    catch (e_4_1) { e_4 = { error: e_4_1 }; }
+    catch (e_5_1) { e_5 = { error: e_5_1 }; }
     finally {
         try {
             if (candidates_1_1 && !candidates_1_1.done && (_a = candidates_1.return)) _a.call(candidates_1);
         }
-        finally { if (e_4) throw e_4.error; }
+        finally { if (e_5) throw e_5.error; }
     }
     return undefined;
 }
@@ -1115,6 +1897,14 @@ function validateResolveIOSupportDiagnosisGate(value, options) {
     if (broadFiles.length) {
         blockers.push("Diagnosis owner_files contains broad or unsafe path(s): ".concat(broadFiles.join(', '), "."));
     }
+    var nonProductEvidenceFiles = normalized.owner_files.filter(ownerFileLooksNonProductEvidence);
+    if (nonProductEvidenceFiles.length) {
+        blockers.push("Diagnosis owner_files must be exact product/source owner files, not tests/docs/artifacts/logs/screenshots: ".concat(nonProductEvidenceFiles.join(', '), "."));
+    }
+    var genericFields = collectGenericSupportDiagnosisFields(normalized);
+    if (genericFields.length) {
+        blockers.push("Diagnosis fields are too generic or placeholder-like; replace with ticket-specific falsifiable details: ".concat(genericFields.join(', '), "."));
+    }
     if (!normalized.proof_plan.before && !normalized.proof_plan.before_state_unavailable_reason) {
         blockers.push('Diagnosis proof_plan.before is required unless proof_plan.before_state_unavailable_reason explains why before-state proof is impossible.');
     }
@@ -1153,6 +1943,9 @@ function validateResolveIOSupportDiagnosisGate(value, options) {
         if (!proofContract.proof_artifacts.length) {
             blockers.push('Diagnosis proof_plan.business_proof_contract.proof_artifacts must include at least one required artifact.');
         }
+        else if (proofContract.proof_artifacts.every(supportProofArtifactLooksVague)) {
+            blockers.push('Diagnosis proof_plan.business_proof_contract.proof_artifacts are too generic; include replayable DOM/data/Mongo/network/artifact proof tied to the business assertion.');
+        }
         if (!proofContract.data_or_dom_assertion) {
             blockers.push('Diagnosis proof_plan.business_proof_contract.data_or_dom_assertion is required.');
         }
@@ -1162,13 +1955,16 @@ function validateResolveIOSupportDiagnosisGate(value, options) {
     }
     var evidenceQuality = evaluateResolveIOSupportDiagnosisEvidenceQuality(normalized);
     blockers.push.apply(blockers, __spreadArray([], __read(evidenceQuality.blockers), false));
+    var proofMatrix = buildResolveIOSupportDiagnosisProofMatrix(normalized);
+    blockers.push.apply(blockers, __spreadArray([], __read(proofMatrix.blockers), false));
     normalized.status = blockers.length ? 'incomplete' : 'passed';
     return {
         valid: blockers.length === 0,
         status: normalized.status,
         blockers: blockers,
         normalized: normalized,
-        evidenceQuality: evidenceQuality
+        evidenceQuality: evidenceQuality,
+        proofMatrix: proofMatrix
     };
 }
 function normalizeSupportConfidenceLevel(value) {
@@ -1202,7 +1998,7 @@ function supportStatusLooksPassed(value) {
     return /\b(pass|passed|success|succeeded|complete|completed|ready|not_required|not required)\b/i.test(cleanText(value, 200));
 }
 function nestedObject(source) {
-    var e_5, _a;
+    var e_6, _a;
     var keys = [];
     for (var _i = 1; _i < arguments.length; _i++) {
         keys[_i - 1] = arguments[_i];
@@ -1216,17 +2012,17 @@ function nestedObject(source) {
             }
         }
     }
-    catch (e_5_1) { e_5 = { error: e_5_1 }; }
+    catch (e_6_1) { e_6 = { error: e_6_1 }; }
     finally {
         try {
             if (keys_1_1 && !keys_1_1.done && (_a = keys_1.return)) _a.call(keys_1);
         }
-        finally { if (e_5) throw e_5.error; }
+        finally { if (e_6) throw e_6.error; }
     }
     return {};
 }
 function resolveSupportReplyReleaseGate(input) {
-    var e_6, _a;
+    var e_7, _a;
     var _b;
     var releaseEvidence = cleanObject(input.releaseEvidence);
     var releaseStatus = cleanText(input.releaseStatus
@@ -1297,12 +2093,12 @@ function resolveSupportReplyReleaseGate(input) {
             blockers.push("missing_".concat(field));
         }
     }
-    catch (e_6_1) { e_6 = { error: e_6_1 }; }
+    catch (e_7_1) { e_7 = { error: e_7_1 }; }
     finally {
         try {
             if (missingCommitProofFields_1_1 && !missingCommitProofFields_1_1.done && (_a = missingCommitProofFields_1.return)) _a.call(missingCommitProofFields_1);
         }
-        finally { if (e_6) throw e_6.error; }
+        finally { if (e_7) throw e_7.error; }
     }
     var shouldEvaluateHotfix = statusBlocked || commitProofRequired || Object.keys(hotfixEvidence).length > 0;
     var hotfixContinuation = shouldEvaluateHotfix
@@ -1348,7 +2144,7 @@ function supportBusinessAssertionRouteOnly(value) {
     return /^(route_probe_pass|route_only_pass|route_pass|route_probe|route_loaded)$/i.test(cleanText(value, 80));
 }
 function normalizeSupportBusinessProofAssertions(input) {
-    var e_7, _a;
+    var e_8, _a;
     var gate = normalizeResolveIOSupportDiagnosisGate(input.diagnosisGate);
     var proofPlan = gate === null || gate === void 0 ? void 0 : gate.proof_plan;
     var proofContract = proofPlan === null || proofPlan === void 0 ? void 0 : proofPlan.business_proof_contract;
@@ -1382,12 +2178,12 @@ function normalizeSupportBusinessProofAssertions(input) {
             });
         }
     }
-    catch (e_7_1) { e_7 = { error: e_7_1 }; }
+    catch (e_8_1) { e_8 = { error: e_8_1 }; }
     finally {
         try {
             if (_c && !_c.done && (_a = _b.return)) _a.call(_b);
         }
-        finally { if (e_7) throw e_7.error; }
+        finally { if (e_8) throw e_8.error; }
     }
     var status = cleanText(input.businessAssertionStatus || input.outcomeLabel, 80);
     if (!assertions.length && (supportBusinessAssertionPassed(status) || supportBusinessAssertionRouteOnly(status) || supportBusinessAssertionFailed(status))) {
@@ -1425,8 +2221,59 @@ function supportBusinessProofAssertionText(assertion) {
         assertion.message
     ].filter(Boolean).join(' '), 4000);
 }
+function normalizeSupportProofRoute(value) {
+    var raw = cleanText(value, 500);
+    if (!raw) {
+        return '';
+    }
+    var route = raw.split(/[?#]/)[0].replace(/\/+$/g, '') || '/';
+    return route.toLowerCase();
+}
+function supportProofFieldMatches(candidate, expected, minimumLength) {
+    if (minimumLength === void 0) { minimumLength = 12; }
+    var candidateText = cleanText(candidate, 1400).toLowerCase();
+    var expectedText = cleanText(expected, 1400).toLowerCase();
+    if (!candidateText || !expectedText || expectedText.length < minimumLength) {
+        return false;
+    }
+    return candidateText === expectedText
+        || candidateText.includes(expectedText)
+        || expectedText.includes(candidateText);
+}
+function supportBusinessProofAssertionHasStructuredContractMapping(assertion, gate) {
+    var proofPlan = gate.proof_plan;
+    var proofContract = proofPlan.business_proof_contract;
+    var expectedRoute = normalizeSupportProofRoute(proofPlan.route || gate.issue_case.route_module);
+    var assertionRoute = normalizeSupportProofRoute(assertion.route);
+    var routeMatches = !expectedRoute || !assertionRoute || expectedRoute === assertionRoute;
+    var actionMatches = [
+        assertion.action,
+        assertion.workflow
+    ].some(function (candidate) { return [
+        proofPlan.action,
+        proofContract === null || proofContract === void 0 ? void 0 : proofContract.action_under_test
+    ].some(function (expected) { return supportProofFieldMatches(candidate, expected, 12); }); });
+    var expectedStateMatches = [
+        assertion.expected,
+        assertion.after,
+        assertion.observed,
+        assertion.dataProof,
+        assertion.assertion
+    ].some(function (candidate) { return [
+        proofPlan.after,
+        proofPlan.business_assertion,
+        proofPlan.data_assertion,
+        proofContract === null || proofContract === void 0 ? void 0 : proofContract.expected_business_state_change,
+        proofContract === null || proofContract === void 0 ? void 0 : proofContract.data_or_dom_assertion
+    ].some(function (expected) { return supportProofFieldMatches(candidate, expected, 12); }); });
+    var hasBusinessDataProof = !!cleanText(assertion.dataProof, 50)
+        || Object.keys(cleanObject(assertion.mongoDelta)).length > 0
+        || !!cleanText(assertion.observed, 80)
+        || !!cleanText(assertion.after, 80);
+    return routeMatches && actionMatches && expectedStateMatches && hasBusinessDataProof;
+}
 function supportBusinessProofAssertionMatchesContract(assertion, gate) {
-    var e_8, _a;
+    var e_9, _a;
     if (!gate) {
         return false;
     }
@@ -1437,7 +2284,7 @@ function supportBusinessProofAssertionMatchesContract(assertion, gate) {
         || metadata.diagnosis_proof_plan_matched === true
         || metadata.proofPlanMatched === true
         || metadata.proof_plan_matched === true) {
-        return true;
+        return supportBusinessProofAssertionHasStructuredContractMapping(assertion, gate);
     }
     var proofPlan = gate.proof_plan;
     var proofContract = proofPlan.business_proof_contract;
@@ -1466,12 +2313,12 @@ function supportBusinessProofAssertionMatchesContract(assertion, gate) {
             }
         }
     }
-    catch (e_8_1) { e_8 = { error: e_8_1 }; }
+    catch (e_9_1) { e_9 = { error: e_9_1 }; }
     finally {
         try {
             if (proofWords_1_1 && !proofWords_1_1.done && (_a = proofWords_1.return)) _a.call(proofWords_1);
         }
-        finally { if (e_8) throw e_8.error; }
+        finally { if (e_9) throw e_9.error; }
     }
     return overlap >= Math.min(5, Math.max(3, Math.ceil(proofWords.size * 0.45)));
 }
@@ -1946,6 +2793,7 @@ function supportAutonomousReviewTypeForAction(action) {
             return 'owner_scoped_repair';
         case 'run_business_proof_qa':
             return 'business_proof_qa';
+        case 'run_a_grade_pr_review':
         case 'repair_release_hotfix_first':
         case 'ready_for_release_gate':
             return 'release_hotfix';
@@ -2266,6 +3114,180 @@ function decideResolveIOSupportCustomerReplyPolicy(input) {
         }
     }, issueClassProbePlanValidation);
 }
+function buildSupportIssueClassBrowserSteps(args) {
+    var route = cleanText(args.route, 500) || 'the affected route/module';
+    var issueSteps = {
+        no_op_submit: [
+            'Capture the form/action state before submit, including the target record id or validation state.',
+            'Trigger the exact submit/action control reported by the customer.',
+            'Verify the persisted state, success/validation message, or method/network result changed as expected.'
+        ],
+        missing_wrong_data: [
+            'Load the named customer/account/record context before changing any filters or data.',
+            'Compare visible DOM values against the persisted/source-of-truth data.',
+            'Verify the corrected visible values remain tied to the same customer/account context.'
+        ],
+        filter_query_mismatch: [
+            'Capture the unfiltered or before-filter row/count state for the affected dataset.',
+            'Apply the exact reported filter/query/search inputs.',
+            'Assert included rows/counts and excluded wrong rows against DOM plus data/query proof.'
+        ],
+        invoice_pdf_export: [
+            'Open the affected invoice/report/export route and capture source rows/totals before export.',
+            'Trigger the exact PDF/export/download action.',
+            'Parse or inspect the generated artifact and verify expected rows, totals, fields, or file output.'
+        ],
+        upload_import: [
+            'Attach the representative import file or fixture and capture pre-import row/count state.',
+            'Run the upload/import action through the visible workflow.',
+            'Verify result messaging plus persisted row/count delta or rejected-row evidence.'
+        ],
+        route_auth_hydration: [
+            'Seed or replay auth for the affected user/account before route navigation.',
+            'Open the exact route and wait for the functional screen, not only the shell/nav.',
+            'Assert required controls/data are hydrated and capture console/network errors if hydration fails.'
+        ],
+        slow_query_performance: [
+            'Capture before timing/log evidence for the reported query or workflow.',
+            'Run the same query/workflow after repair with equivalent inputs and account context.',
+            'Verify timing target or improvement while preserving result equivalence.'
+        ]
+    };
+    return __spreadArray(__spreadArray([
+        "Navigate to ".concat(route, " as the affected user/account context.")
+    ], __read((issueSteps[args.issueClass] || issueSteps.missing_wrong_data)), false), [
+        args.before ? "Before proof: ".concat(args.before) : '',
+        args.action ? "Action under test: ".concat(args.action) : "Action under test: ".concat(args.action || 'execute the reported workflow action'),
+        args.after ? "Expected after state: ".concat(args.after) : '',
+        args.assertion ? "DOM/data assertion: ".concat(args.assertion) : ''
+    ], false).map(function (entry) { return cleanText(entry, 500); })
+        .filter(Boolean)
+        .slice(0, 10);
+}
+function buildSupportIssueClassDataProofRequirements(args) {
+    var issueRequirements = {
+        no_op_submit: ['pre-submit state', 'submit action result', 'persisted state or validation delta'],
+        missing_wrong_data: ['expected source-of-truth record', 'visible DOM/data snapshot', 'same-account/customer proof'],
+        filter_query_mismatch: ['filter input values', 'included row/count proof', 'excluded wrong-row proof', 'query/publication proof when available'],
+        invoice_pdf_export: ['export trigger trace', 'generated file artifact path', 'parsed generated content proof'],
+        upload_import: ['input file fixture', 'import result message', 'persisted row/count delta'],
+        route_auth_hydration: ['auth context', 'hydrated DOM proof', 'console/network error log'],
+        slow_query_performance: ['before timing', 'after timing', 'result equivalence proof', 'query/log trace']
+    };
+    return Array.from(new Set(__spreadArray(__spreadArray(__spreadArray([], __read((issueRequirements[args.issueClass] || issueRequirements.missing_wrong_data)), false), __read(args.requiredArtifacts), false), [
+        args.assertion
+    ], false).map(function (entry) { return cleanText(entry, 260); }).filter(Boolean))).slice(0, 16);
+}
+function buildSupportIssueClassProbeAssertionTemplate(args) {
+    return {
+        assertion: args.stateTransition.assertion || args.expected,
+        status: 'pending',
+        workflow: args.objective,
+        route: cleanText(args.route, 500) || undefined,
+        before: args.stateTransition.before,
+        action: args.stateTransition.action,
+        expected: args.expected,
+        observed: '',
+        dataProof: '',
+        artifactPaths: args.requiredArtifacts,
+        metadata: {
+            supportDiagnosisProof: true,
+            issueClass: args.issueClass,
+            probePlanRequired: true,
+            routeOnlyIsFalsePass: true
+        }
+    };
+}
+function buildSupportIssueClassProbeQaRow(args) {
+    var rowId = "support-issue-probe-".concat(hashResolveIOSupportV5Evidence({
+        issueClass: args.issueClass,
+        route: args.route,
+        action: args.action,
+        assertion: args.stateTransition.assertion
+    }).slice(0, 16));
+    return {
+        row_id: rowId,
+        issue_class: args.issueClass,
+        probe_type: 'issue_class_probe',
+        route: cleanText(args.route, 500) || undefined,
+        action_under_test: args.action,
+        browser_steps: args.browserSteps,
+        expected_result: args.expected,
+        expected_dom_or_data_proof: args.expectedEvidence,
+        required_artifacts: args.requiredArtifacts,
+        false_pass_blockers: args.falsePassBlockers,
+        state_transition: args.stateTransition,
+        acceptance_gate: 'aiqa_business_assertion',
+        requires_aiqa_business_assertion: true,
+        route_only_is_false_pass: true,
+        mobile_viewport_required: args.issueClass === 'route_auth_hydration'
+    };
+}
+function normalizeResolveIOSupportIssueClassProbeQaRow(value, fallback) {
+    var source = cleanObject(value);
+    if (!Object.keys(source).length && !fallback.action) {
+        return undefined;
+    }
+    var stateTransition = cleanObject(source.state_transition || source.stateTransition);
+    var normalizedStateTransition = {
+        before: cleanText(stateTransition.before, 800) || fallback.stateTransition.before,
+        action: cleanText(stateTransition.action, 800) || fallback.stateTransition.action,
+        after: cleanText(stateTransition.after, 800) || fallback.stateTransition.after,
+        assertion: cleanText(stateTransition.assertion, 1000) || fallback.stateTransition.assertion
+    };
+    var browserSteps = cleanList(source.browser_steps || source.browserSteps, 12, 500).length
+        ? cleanList(source.browser_steps || source.browserSteps, 12, 500)
+        : fallback.browserSteps;
+    return {
+        row_id: cleanText(source.row_id || source.rowId || source.id, 180) || "support-issue-probe-".concat(hashResolveIOSupportV5Evidence({
+            issueClass: fallback.issueClass,
+            route: source.route || fallback.route,
+            action: source.action_under_test || source.actionUnderTest || fallback.action,
+            assertion: normalizedStateTransition.assertion
+        }).slice(0, 16)),
+        issue_class: (normalizeIssueClass(source.issue_class || source.issueClass) || fallback.issueClass),
+        probe_type: (cleanText(source.probe_type || source.probeType, 80) || 'issue_class_probe'),
+        route: cleanText(source.route, 500) || fallback.route,
+        action_under_test: cleanText(source.action_under_test || source.actionUnderTest || source.action, 1200) || fallback.action,
+        browser_steps: browserSteps,
+        expected_result: cleanText(source.expected_result || source.expectedResult, 1600) || fallback.expectedBusinessProof,
+        expected_dom_or_data_proof: cleanText(source.expected_dom_or_data_proof || source.expectedDomOrDataProof || source.expected_evidence || source.expectedEvidence, 1600) || fallback.expectedEvidence,
+        required_artifacts: cleanList(source.required_artifacts || source.requiredArtifacts, 16, 260).length
+            ? cleanList(source.required_artifacts || source.requiredArtifacts, 16, 260)
+            : fallback.requiredArtifacts,
+        false_pass_blockers: cleanList(source.false_pass_blockers || source.falsePassBlockers, 12, 260).length
+            ? cleanList(source.false_pass_blockers || source.falsePassBlockers, 12, 260)
+            : fallback.falsePassBlockers,
+        state_transition: normalizedStateTransition,
+        acceptance_gate: 'aiqa_business_assertion',
+        requires_aiqa_business_assertion: true,
+        route_only_is_false_pass: true,
+        mobile_viewport_required: source.mobile_viewport_required === true || source.mobileViewportRequired === true
+    };
+}
+function normalizeResolveIOSupportIssueClassProbeAssertionTemplate(value, fallback) {
+    var source = cleanObject(value);
+    return {
+        assertion: cleanText(source.assertion, 1600) || fallback.stateTransition.assertion || fallback.expected,
+        status: 'pending',
+        workflow: cleanText(source.workflow, 1000) || fallback.objective,
+        route: cleanText(source.route, 500) || fallback.route,
+        before: cleanText(source.before, 800) || fallback.stateTransition.before,
+        action: cleanText(source.action, 800) || fallback.stateTransition.action,
+        expected: cleanText(source.expected, 1600) || fallback.expected,
+        observed: cleanText(source.observed, 1600),
+        dataProof: cleanText(source.dataProof || source.data_proof, 1600),
+        artifactPaths: cleanList(source.artifactPaths || source.artifact_paths, 20, 500).length
+            ? cleanList(source.artifactPaths || source.artifact_paths, 20, 500)
+            : fallback.requiredArtifacts,
+        metadata: {
+            supportDiagnosisProof: true,
+            issueClass: fallback.issueClass,
+            probePlanRequired: true,
+            routeOnlyIsFalsePass: true
+        }
+    };
+}
 function buildResolveIOSupportIssueClassProbes(value) {
     var validation = validateResolveIOSupportDiagnosisGate(value);
     var gate = validation.normalized || normalizeResolveIOSupportDiagnosisGate(value);
@@ -2337,13 +3359,51 @@ function buildResolveIOSupportIssueClassProbes(value) {
     var selected = map[gate.issue_class];
     var catalog = SUPPORT_ISSUE_CLASS_PROBE_CATALOG.find(function (entry) { return entry.issue_class === gate.issue_class; });
     var requiredArtifacts = Array.from(new Set(__spreadArray(__spreadArray([], __read(contractArtifacts), false), __read(selected.requiredArtifacts), false)));
-    return [__assign(__assign({}, common), { failure_class: selected.failureClass, objective: "Issue-class probe for ".concat(gate.issue_class, ": ").concat(gate.issue_case.customer_complaint), action: proofContract
-                ? "".concat(proofContract.action_under_test, " ").concat(selected.action)
-                : selected.action, expected_evidence: "".concat(selected.expected).concat(assertion ? " Assertion: ".concat(assertion, ".") : '').concat(requiredArtifacts.length ? " Required artifacts: ".concat(requiredArtifacts.join(', '), ".") : '').trim(), expected_business_proof: proof || gate.proof_plan.business_assertion, required_artifacts: requiredArtifacts, false_pass_blockers: (catalog === null || catalog === void 0 ? void 0 : catalog.false_pass_blockers) || [
-                'route loaded only',
-                'screenshot without business state proof',
-                'model claim without DOM/data proof'
-            ] })];
+    var stateTransition = common.state_transition;
+    var action = proofContract
+        ? "".concat(proofContract.action_under_test, " ").concat(selected.action)
+        : selected.action;
+    var expectedEvidence = "".concat(selected.expected).concat(assertion ? " Assertion: ".concat(assertion, ".") : '').concat(requiredArtifacts.length ? " Required artifacts: ".concat(requiredArtifacts.join(', '), ".") : '').trim();
+    var objective = "Issue-class probe for ".concat(gate.issue_class, ": ").concat(gate.issue_case.customer_complaint);
+    var falsePassBlockers = (catalog === null || catalog === void 0 ? void 0 : catalog.false_pass_blockers) || [
+        'route loaded only',
+        'screenshot without business state proof',
+        'model claim without DOM/data proof'
+    ];
+    var browserSteps = buildSupportIssueClassBrowserSteps({
+        issueClass: gate.issue_class,
+        route: route,
+        action: stateTransition.action || action,
+        before: stateTransition.before,
+        after: stateTransition.after,
+        assertion: stateTransition.assertion
+    });
+    var dataProofRequirements = buildSupportIssueClassDataProofRequirements({
+        issueClass: gate.issue_class,
+        assertion: stateTransition.assertion,
+        requiredArtifacts: requiredArtifacts
+    });
+    var qaRow = buildSupportIssueClassProbeQaRow({
+        issueClass: gate.issue_class,
+        route: route,
+        objective: objective,
+        action: action,
+        expected: proof || gate.proof_plan.business_assertion,
+        expectedEvidence: expectedEvidence,
+        stateTransition: stateTransition,
+        requiredArtifacts: requiredArtifacts,
+        falsePassBlockers: falsePassBlockers,
+        browserSteps: browserSteps
+    });
+    var assertionTemplate = buildSupportIssueClassProbeAssertionTemplate({
+        issueClass: gate.issue_class,
+        route: route,
+        objective: objective,
+        expected: proof || gate.proof_plan.business_assertion,
+        stateTransition: stateTransition,
+        requiredArtifacts: requiredArtifacts
+    });
+    return [__assign(__assign({}, common), { failure_class: selected.failureClass, objective: objective, action: action, browser_steps: browserSteps, expected_evidence: expectedEvidence, expected_business_proof: proof || gate.proof_plan.business_assertion, data_proof_requirements: dataProofRequirements, required_artifacts: requiredArtifacts, qa_rows: [qaRow], active_qa_row: qaRow, aiqa_business_assertion_template: assertionTemplate, false_pass_blockers: falsePassBlockers })];
 }
 function normalizeResolveIOSupportIssueClassProbe(value, diagnosisGate) {
     var source = cleanObject(value);
@@ -2354,28 +3414,109 @@ function normalizeResolveIOSupportIssueClassProbe(value, diagnosisGate) {
     var stateTransition = cleanObject(source.state_transition || source.stateTransition);
     var route = cleanText(source.route, 500);
     var failureClass = cleanText(source.failure_class || source.failureClass || 'business', 80);
+    var normalizedIssueClass = (issueClass || (diagnosisGate === null || diagnosisGate === void 0 ? void 0 : diagnosisGate.issue_class) || 'missing_wrong_data');
+    var action = cleanText(source.action, 1200);
+    var expectedEvidence = cleanText(source.expected_evidence || source.expectedEvidence, 1600);
+    var expectedBusinessProof = cleanText(source.expected_business_proof || source.expectedBusinessProof, 1600);
+    var requiredArtifacts = cleanList(source.required_artifacts || source.requiredArtifacts, 12, 220);
+    var falsePassBlockers = cleanList(source.false_pass_blockers || source.falsePassBlockers, 8, 260);
+    var normalizedStateTransition = {
+        before: cleanText(stateTransition.before, 800),
+        action: cleanText(stateTransition.action, 800),
+        after: cleanText(stateTransition.after, 800),
+        assertion: cleanText(stateTransition.assertion, 1000)
+    };
+    var browserSteps = cleanList(source.browser_steps || source.browserSteps, 12, 500).length
+        ? cleanList(source.browser_steps || source.browserSteps, 12, 500)
+        : buildSupportIssueClassBrowserSteps({
+            issueClass: normalizedIssueClass,
+            route: route,
+            action: normalizedStateTransition.action || action,
+            before: normalizedStateTransition.before,
+            after: normalizedStateTransition.after,
+            assertion: normalizedStateTransition.assertion
+        });
+    var dataProofRequirements = cleanList(source.data_proof_requirements || source.dataProofRequirements, 16, 260).length
+        ? cleanList(source.data_proof_requirements || source.dataProofRequirements, 16, 260)
+        : buildSupportIssueClassDataProofRequirements({
+            issueClass: normalizedIssueClass,
+            assertion: normalizedStateTransition.assertion,
+            requiredArtifacts: requiredArtifacts
+        });
+    var rawQaRows = Array.isArray(source.qa_rows)
+        ? source.qa_rows
+        : Array.isArray(source.qaRows)
+            ? source.qaRows
+            : source.active_qa_row || source.activeQaRow
+                ? [source.active_qa_row || source.activeQaRow]
+                : [];
+    var normalizedQaRows = rawQaRows
+        .map(function (row) { return normalizeResolveIOSupportIssueClassProbeQaRow(row, {
+        issueClass: normalizedIssueClass,
+        route: route,
+        action: action,
+        expectedBusinessProof: expectedBusinessProof,
+        expectedEvidence: expectedEvidence,
+        requiredArtifacts: requiredArtifacts,
+        falsePassBlockers: falsePassBlockers,
+        stateTransition: normalizedStateTransition,
+        browserSteps: browserSteps
+    }); })
+        .filter(function (row) { return !!row; });
+    if (!normalizedQaRows.length && action && expectedEvidence) {
+        normalizedQaRows.push(buildSupportIssueClassProbeQaRow({
+            issueClass: normalizedIssueClass,
+            route: route,
+            objective: cleanText(source.objective, 1000),
+            action: action,
+            expected: expectedBusinessProof,
+            expectedEvidence: expectedEvidence,
+            stateTransition: normalizedStateTransition,
+            requiredArtifacts: requiredArtifacts,
+            falsePassBlockers: falsePassBlockers,
+            browserSteps: browserSteps
+        }));
+    }
+    var assertionTemplateSource = cleanObject(source.aiqa_business_assertion_template || source.aiqaBusinessAssertionTemplate);
+    var assertionTemplate = Object.keys(assertionTemplateSource).length
+        ? normalizeResolveIOSupportIssueClassProbeAssertionTemplate(assertionTemplateSource, {
+            issueClass: normalizedIssueClass,
+            route: route,
+            objective: cleanText(source.objective, 1000),
+            expected: expectedBusinessProof,
+            stateTransition: normalizedStateTransition,
+            requiredArtifacts: requiredArtifacts
+        })
+        : buildSupportIssueClassProbeAssertionTemplate({
+            issueClass: normalizedIssueClass,
+            route: route,
+            objective: cleanText(source.objective, 1000),
+            expected: expectedBusinessProof,
+            stateTransition: normalizedStateTransition,
+            requiredArtifacts: requiredArtifacts
+        });
     return {
-        issue_class: (issueClass || (diagnosisGate === null || diagnosisGate === void 0 ? void 0 : diagnosisGate.issue_class) || 'missing_wrong_data'),
+        issue_class: normalizedIssueClass,
         probe_type: (cleanText(source.probe_type || source.probeType, 80) || 'issue_class_probe'),
         failure_class: failureClass,
         objective: cleanText(source.objective, 1000),
         route: route,
-        action: cleanText(source.action, 1200),
-        expected_evidence: cleanText(source.expected_evidence || source.expectedEvidence, 1600),
-        expected_business_proof: cleanText(source.expected_business_proof || source.expectedBusinessProof, 1600),
-        required_artifacts: cleanList(source.required_artifacts || source.requiredArtifacts, 12, 220),
-        state_transition: {
-            before: cleanText(stateTransition.before, 800),
-            action: cleanText(stateTransition.action, 800),
-            after: cleanText(stateTransition.after, 800),
-            assertion: cleanText(stateTransition.assertion, 1000)
-        },
+        action: action,
+        browser_steps: browserSteps,
+        expected_evidence: expectedEvidence,
+        expected_business_proof: expectedBusinessProof,
+        data_proof_requirements: dataProofRequirements,
+        required_artifacts: requiredArtifacts,
+        qa_rows: normalizedQaRows,
+        active_qa_row: normalizedQaRows[0],
+        aiqa_business_assertion_template: assertionTemplate,
+        state_transition: normalizedStateTransition,
         acceptance_gate: cleanText(source.acceptance_gate || source.acceptanceGate, 120) === 'aiqa_business_assertion'
             ? 'aiqa_business_assertion'
             : 'aiqa_business_assertion',
         blocks_acceptance_without_business_assertion: source.blocks_acceptance_without_business_assertion !== false
             && source.blocksAcceptanceWithoutBusinessAssertion !== false,
-        false_pass_blockers: cleanList(source.false_pass_blockers || source.falsePassBlockers, 8, 260)
+        false_pass_blockers: falsePassBlockers
     };
 }
 function validateResolveIOSupportIssueClassProbePlan(value, diagnosisGate, now) {
@@ -2402,6 +3543,25 @@ function validateResolveIOSupportIssueClassProbePlan(value, diagnosisGate, now)
     var planRequiredArtifacts = cleanList(source.requiredArtifacts || source.required_artifacts, 16, 220);
     var activeRequiredArtifacts = cleanList(activeProbe === null || activeProbe === void 0 ? void 0 : activeProbe.required_artifacts, 16, 220);
     var requiredArtifacts = planRequiredArtifacts.length ? planRequiredArtifacts : activeRequiredArtifacts;
+    var planQaRows = Array.isArray(source.qaRows)
+        ? source.qaRows
+        : Array.isArray(source.qa_rows)
+            ? source.qa_rows
+            : [];
+    var qaRows = (planQaRows.length ? planQaRows : probes.flatMap(function (probe) { return probe.qa_rows || []; }))
+        .map(function (row) { return normalizeResolveIOSupportIssueClassProbeQaRow(row, {
+        issueClass: (issueClass || (normalizedDiagnosis === null || normalizedDiagnosis === void 0 ? void 0 : normalizedDiagnosis.issue_class) || 'missing_wrong_data'),
+        route: activeProbe === null || activeProbe === void 0 ? void 0 : activeProbe.route,
+        action: (activeProbe === null || activeProbe === void 0 ? void 0 : activeProbe.action) || '',
+        expectedBusinessProof: (activeProbe === null || activeProbe === void 0 ? void 0 : activeProbe.expected_business_proof) || '',
+        expectedEvidence: (activeProbe === null || activeProbe === void 0 ? void 0 : activeProbe.expected_evidence) || '',
+        requiredArtifacts: requiredArtifacts,
+        falsePassBlockers: (activeProbe === null || activeProbe === void 0 ? void 0 : activeProbe.false_pass_blockers) || (catalog === null || catalog === void 0 ? void 0 : catalog.false_pass_blockers) || [],
+        stateTransition: (activeProbe === null || activeProbe === void 0 ? void 0 : activeProbe.state_transition) || { before: '', action: '', after: '', assertion: '' },
+        browserSteps: (activeProbe === null || activeProbe === void 0 ? void 0 : activeProbe.browser_steps) || []
+    }); })
+        .filter(function (row) { return !!row; });
+    var activeQaRow = qaRows[0] || (activeProbe === null || activeProbe === void 0 ? void 0 : activeProbe.active_qa_row);
     var falsePassBlockers = cleanList(source.falsePassBlockers || source.false_pass_blockers, 12, 260).length
         ? cleanList(source.falsePassBlockers || source.false_pass_blockers, 12, 260)
         : cleanList(activeProbe === null || activeProbe === void 0 ? void 0 : activeProbe.false_pass_blockers, 12, 260).length
@@ -2454,6 +3614,29 @@ function validateResolveIOSupportIssueClassProbePlan(value, diagnosisGate, now)
         if (activeRequiredArtifacts.length < 2) {
             blockers.push('Active issue-class probe must require at least two proof artifacts.');
         }
+        if (cleanList(activeProbe.browser_steps, 12, 500).length < 3) {
+            blockers.push('Issue-class probe must include executable browser_steps for the business workflow.');
+        }
+        if (cleanList(activeProbe.data_proof_requirements, 16, 260).length < 2) {
+            blockers.push('Issue-class probe must include DOM/data proof requirements.');
+        }
+    }
+    if (!qaRows.length || !activeQaRow) {
+        blockers.push('Issue-class probe plan must include at least one executable QA row.');
+    }
+    if (activeQaRow) {
+        if (activeQaRow.acceptance_gate !== 'aiqa_business_assertion' || activeQaRow.requires_aiqa_business_assertion !== true) {
+            blockers.push('Issue-class QA row must require AIQaBusinessAssertion.');
+        }
+        if (activeQaRow.route_only_is_false_pass !== true) {
+            blockers.push('Issue-class QA row must mark route-only evidence as a false pass.');
+        }
+        if (cleanList(activeQaRow.browser_steps, 12, 500).length < 3) {
+            blockers.push('Issue-class QA row must include executable browser steps.');
+        }
+        if (!cleanText(activeQaRow.expected_dom_or_data_proof, 1600)) {
+            blockers.push('Issue-class QA row must include expected DOM/data proof.');
+        }
     }
     if (requiredArtifacts.length < 2) {
         blockers.push('Issue-class probe plan must require at least two proof artifacts.');
@@ -2477,6 +3660,8 @@ function validateResolveIOSupportIssueClassProbePlan(value, diagnosisGate, now)
         diagnosisValid: diagnosisValidation.valid === true,
         probes: probes,
         activeProbe: activeProbe,
+        qaRows: qaRows,
+        activeQaRow: activeQaRow,
         requiredArtifacts: requiredArtifacts,
         acceptanceGate: 'aiqa_business_assertion',
         falsePassBlockers: falsePassBlockers,
@@ -2498,6 +3683,7 @@ function buildResolveIOSupportIssueClassProbePlan(diagnosisGate, now) {
         ? buildResolveIOSupportIssueClassProbes(diagnosisValidation.normalized)
         : [];
     var activeProbe = probes[0];
+    var qaRows = probes.flatMap(function (probe) { return probe.qa_rows || []; });
     var issueClass = ((_a = diagnosisValidation.normalized) === null || _a === void 0 ? void 0 : _a.issue_class) || (activeProbe === null || activeProbe === void 0 ? void 0 : activeProbe.issue_class);
     var catalog = SUPPORT_ISSUE_CLASS_PROBE_CATALOG.find(function (entry) { return entry.issue_class === issueClass; });
     var provisional = {
@@ -2512,6 +3698,8 @@ function buildResolveIOSupportIssueClassProbePlan(diagnosisGate, now) {
         diagnosisValid: diagnosisValidation.valid === true,
         probes: probes,
         activeProbe: activeProbe,
+        qaRows: qaRows,
+        activeQaRow: qaRows[0],
         requiredArtifacts: cleanList(activeProbe === null || activeProbe === void 0 ? void 0 : activeProbe.required_artifacts, 16, 220),
         acceptanceGate: 'aiqa_business_assertion',
         falsePassBlockers: ((_b = activeProbe === null || activeProbe === void 0 ? void 0 : activeProbe.false_pass_blockers) === null || _b === void 0 ? void 0 : _b.length)
@@ -2548,6 +3736,12 @@ function supportManagerRetryScopeForAction(action) {
     if (action === 'run_business_proof_qa') {
         return 'business_proof_only';
     }
+    if (action === 'create_pr') {
+        return 'pr_packaging_only';
+    }
+    if (action === 'run_a_grade_pr_review') {
+        return 'pr_review_only';
+    }
     if (action === 'repair_release_hotfix_first') {
         return 'release_hotfix_only';
     }
@@ -2559,8 +3753,65 @@ function supportManagerRetryScopeForAction(action) {
     }
     return 'none';
 }
+function supportManagerDispatchActionForNextAction(action, fields, preflightGate) {
+    if (action === 'collect_new_evidence' || action === 'run_business_proof_qa') {
+        return 'run_evidence_probe';
+    }
+    if (action === 'run_diagnosis_gate' || action === 'revise_diagnosis_scope') {
+        return 'run_read_only_diagnosis';
+    }
+    if (action === 'repair_infra_only') {
+        return (preflightGate === null || preflightGate === void 0 ? void 0 : preflightGate.failureClass) === 'compile' ? 'run_compile_repair' : 'run_infra_repair';
+    }
+    if (action === 'run_owner_scoped_repair') {
+        return 'run_targeted_product_repair';
+    }
+    if (action === 'repair_release_hotfix_first') {
+        return 'run_release_repair';
+    }
+    if (action === 'create_pr') {
+        return 'continue_gate';
+    }
+    if (action === 'run_a_grade_pr_review') {
+        return 'continue_gate';
+    }
+    if (action === 'ready_for_release_gate' || action === 'draft_customer_reply') {
+        return 'continue_gate';
+    }
+    if ((fields === null || fields === void 0 ? void 0 : fields.canRunQa) === true) {
+        return 'run_evidence_probe';
+    }
+    if ((fields === null || fields === void 0 ? void 0 : fields.canRunModel) === true) {
+        return 'run_read_only_diagnosis';
+    }
+    return 'park_manual';
+}
+function supportProjectedActionCostUsdForNextAction(action, fields) {
+    if (action === 'run_owner_scoped_repair') {
+        return 2.5;
+    }
+    if (action === 'run_diagnosis_gate' || action === 'revise_diagnosis_scope') {
+        return 1.2;
+    }
+    if (action === 'repair_release_hotfix_first' || (fields === null || fields === void 0 ? void 0 : fields.canHotfixBackend) === true) {
+        return 0.35;
+    }
+    if (action === 'create_pr') {
+        return 0.1;
+    }
+    if (action === 'run_a_grade_pr_review') {
+        return 0.1;
+    }
+    if (action === 'repair_infra_only' || action === 'run_business_proof_qa' || action === 'collect_new_evidence') {
+        return 0.25;
+    }
+    if (action === 'draft_customer_reply') {
+        return 0.1;
+    }
+    return (fields === null || fields === void 0 ? void 0 : fields.canRunModel) === true ? 1 : (fields === null || fields === void 0 ? void 0 : fields.canRunQa) === true ? 0.25 : 0;
+}
 function supportManagerMaxAttemptsForContract(contract) {
-    if (contract.action === 'run_owner_scoped_repair' || contract.action === 'repair_release_hotfix_first') {
+    if (contract.action === 'run_owner_scoped_repair' || contract.action === 'repair_release_hotfix_first' || contract.action === 'create_pr' || contract.action === 'run_a_grade_pr_review') {
         return 1;
     }
     if (contract.action === 'repair_infra_only') {
@@ -2571,9 +3822,29 @@ function supportManagerMaxAttemptsForContract(contract) {
     }
     return contract.costRisk === 'expensive_model' ? 1 : 2;
 }
+function supportManagerRequiredResetEvidenceForContract(contract) {
+    var _a, _b;
+    var resetFromStopConditions = cleanList(contract === null || contract === void 0 ? void 0 : contract.stopConditions, 32, 600)
+        .map(function (entry) {
+        var match = entry.match(/Reset requires:\s*(.+)$/i);
+        return cleanText((match === null || match === void 0 ? void 0 : match[1]) || '', 500);
+    })
+        .filter(Boolean);
+    var defaults = [
+        ((_a = contract === null || contract === void 0 ? void 0 : contract.decisionBasis) === null || _a === void 0 ? void 0 : _a.blockerFingerprint) ? 'changed blocker fingerprint' : '',
+        ((_b = contract === null || contract === void 0 ? void 0 : contract.decisionBasis) === null || _b === void 0 ? void 0 : _b.evidenceHash) ? 'changed evidence hash' : '',
+        (contract === null || contract === void 0 ? void 0 : contract.action) === 'run_business_proof_qa' ? 'fresh AIQaBusinessAssertion with before/action/after proof artifact' : '',
+        (contract === null || contract === void 0 ? void 0 : contract.action) === 'run_owner_scoped_repair' ? 'owner-scoped diff plus compile proof and fresh business proof handoff' : '',
+        (contract === null || contract === void 0 ? void 0 : contract.action) === 'run_a_grade_pr_review' ? 'fresh strict PR review evidence or changed PR review blocker fingerprint' : '',
+        (contract === null || contract === void 0 ? void 0 : contract.action) === 'repair_infra_only' ? 'fresh infra/preflight evidence hash' : ''
+    ].filter(Boolean);
+    return Array.from(new Set(__spreadArray(__spreadArray(__spreadArray([], __read(resetFromStopConditions), false), __read(defaults), false), [
+        'fresh artifact path, verifier signal, or validated state transition for the selected action'
+    ], false))).slice(0, 16);
+}
 function validateResolveIOSupportNextActionContract(value) {
-    var e_9, _a;
-    var _b, _c, _d;
+    var e_10, _a;
+    var _b, _c, _d, _e, _f;
     var contract = cleanObject(value);
     var blockers = [];
     var warnings = [];
@@ -2588,18 +3859,18 @@ function validateResolveIOSupportNextActionContract(value) {
     ];
     try {
         for (var requiredStringFields_1 = __values(requiredStringFields), requiredStringFields_1_1 = requiredStringFields_1.next(); !requiredStringFields_1_1.done; requiredStringFields_1_1 = requiredStringFields_1.next()) {
-            var _e = __read(requiredStringFields_1_1.value, 2), field = _e[0], fieldValue = _e[1];
+            var _g = __read(requiredStringFields_1_1.value, 2), field = _g[0], fieldValue = _g[1];
             if (!cleanText(fieldValue, 500)) {
                 blockers.push("NextActionContract.".concat(field, " is required."));
             }
         }
     }
-    catch (e_9_1) { e_9 = { error: e_9_1 }; }
+    catch (e_10_1) { e_10 = { error: e_10_1 }; }
     finally {
         try {
             if (requiredStringFields_1_1 && !requiredStringFields_1_1.done && (_a = requiredStringFields_1.return)) _a.call(requiredStringFields_1);
         }
-        finally { if (e_9) throw e_9.error; }
+        finally { if (e_10) throw e_10.error; }
     }
     if (!Array.isArray(contract.nextCommands) || !contract.nextCommands.length) {
         blockers.push('NextActionContract.nextCommands must include at least the primary command.');
@@ -2649,12 +3920,34 @@ function validateResolveIOSupportNextActionContract(value) {
             blockers.push('Business proof QA must require AIQaBusinessAssertion or before/action/after proof.');
         }
     }
+    if (action === 'create_pr') {
+        if (((_c = contract.decisionBasis) === null || _c === void 0 ? void 0 : _c.businessProofReady) !== true) {
+            blockers.push('PR packaging requires businessProofReady=true.');
+        }
+        if (!contract.successEvidence.some(function (entry) { return /pull_request_url|PR|pull request/i.test(entry); })) {
+            blockers.push('PR packaging must require pull_request_url evidence.');
+        }
+        if (!contract.forbiddenActions.some(function (entry) { return /merge|release|deploy|customer/i.test(entry); })) {
+            blockers.push('PR packaging must forbid merge, release, deploy, and customer-send side effects.');
+        }
+    }
+    if (action === 'run_a_grade_pr_review') {
+        if (((_d = contract.decisionBasis) === null || _d === void 0 ? void 0 : _d.businessProofReady) !== true) {
+            blockers.push('A-grade PR review requires businessProofReady=true.');
+        }
+        if (!contract.successEvidence.some(function (entry) { return /A-grade|execution\/artifacts\/pull_request|strict gate|grade/i.test(entry); })) {
+            blockers.push('A-grade PR review must require strict grade evidence.');
+        }
+        if (!contract.forbiddenActions.some(function (entry) { return /merge|release|deploy|customer/i.test(entry); })) {
+            blockers.push('A-grade PR review must forbid merge, release, deploy, and customer-send side effects.');
+        }
+    }
     if (action === 'repair_release_hotfix_first') {
-        if (((_c = contract.decisionBasis) === null || _c === void 0 ? void 0 : _c.hotfixCommitRequired) === true
+        if (((_e = contract.decisionBasis) === null || _e === void 0 ? void 0 : _e.hotfixCommitRequired) === true
             && !__spreadArray(__spreadArray(__spreadArray([], __read(contract.successEvidence), false), __read(contract.stopConditions), false), __read(contract.forbiddenActions), false).some(function (entry) { return /sourceCommitSha|githubCommitUrl|gitCommitStatus|gitPushStatus|GitHub commit/i.test(entry); })) {
             blockers.push('Hotfix release action requires GitHub commit and push proof before continuation.');
         }
-        if (((_d = contract.decisionBasis) === null || _d === void 0 ? void 0 : _d.liveHotfixBlockedUntilCommit) === true && contract.safeToAutoRun === true && primaryCommand !== 'record_hotfix_evidence') {
+        if (((_f = contract.decisionBasis) === null || _f === void 0 ? void 0 : _f.liveHotfixBlockedUntilCommit) === true && contract.safeToAutoRun === true && primaryCommand !== 'record_hotfix_evidence') {
             warnings.push('Live hotfix is blocked until commit proof; manager should record evidence before any live apply.');
         }
     }
@@ -2677,6 +3970,7 @@ function validateResolveIOSupportNextActionContract(value) {
     };
 }
 function buildResolveIOSupportManagerExecutionPacket(contract, now) {
+    var _a, _b, _c, _d, _e;
     var validation = validateResolveIOSupportNextActionContract(contract);
     var createdAt = isoNow(now || (contract === null || contract === void 0 ? void 0 : contract.createdAt));
     var executeNow = validation.valid === true
@@ -2691,6 +3985,33 @@ function buildResolveIOSupportManagerExecutionPacket(contract, now) {
     var proofRequiredBeforeContinuation = Array.from(new Set(__spreadArray(__spreadArray([], __read(cleanList(contract === null || contract === void 0 ? void 0 : contract.successEvidence, 24, 500)), false), [
         cleanText(contract === null || contract === void 0 ? void 0 : contract.expectedStateTransition, 500)
     ], false).filter(Boolean))).slice(0, 24);
+    var retryScope = supportManagerRetryScopeForAction(contract === null || contract === void 0 ? void 0 : contract.action);
+    var maxAttemptsBeforeFreshEvidence = supportManagerMaxAttemptsForContract(contract);
+    var stopConditions = cleanList(contract === null || contract === void 0 ? void 0 : contract.stopConditions, 24, 500);
+    var requiredResetEvidence = supportManagerRequiredResetEvidenceForContract(contract);
+    var proofResetContract = {
+        contractId: "support-proof-reset-".concat(hashResolveIOSupportV5Evidence({
+            contractId: contract === null || contract === void 0 ? void 0 : contract.contractId,
+            action: contract === null || contract === void 0 ? void 0 : contract.action,
+            retryScope: retryScope,
+            blockerFingerprint: (_a = contract === null || contract === void 0 ? void 0 : contract.decisionBasis) === null || _a === void 0 ? void 0 : _a.blockerFingerprint,
+            evidenceHash: (_b = contract === null || contract === void 0 ? void 0 : contract.decisionBasis) === null || _b === void 0 ? void 0 : _b.evidenceHash,
+            createdAt: createdAt.slice(0, 16)
+        }).slice(0, 16)),
+        status: executeNow ? 'ready' : (status === 'manual_required' ? 'manual_required' : 'blocked'),
+        action: contract === null || contract === void 0 ? void 0 : contract.action,
+        retryScope: retryScope,
+        maxAttemptsBeforeFreshEvidence: maxAttemptsBeforeFreshEvidence,
+        startingFailureClass: cleanText((_c = contract === null || contract === void 0 ? void 0 : contract.decisionBasis) === null || _c === void 0 ? void 0 : _c.failureClass, 120),
+        startingBlockerFingerprint: cleanText((_d = contract === null || contract === void 0 ? void 0 : contract.decisionBasis) === null || _d === void 0 ? void 0 : _d.blockerFingerprint, 180),
+        startingEvidenceHash: cleanText((_e = contract === null || contract === void 0 ? void 0 : contract.decisionBasis) === null || _e === void 0 ? void 0 : _e.evidenceHash, 180),
+        requiredResetEvidence: requiredResetEvidence,
+        proofRequiredBeforeContinuation: proofRequiredBeforeContinuation,
+        stopConditions: stopConditions,
+        canRunWithoutCodexMonitor: (contract === null || contract === void 0 ? void 0 : contract.canRunWithoutCodexMonitor) === true && executeNow,
+        sourceNextActionContractId: cleanText(contract === null || contract === void 0 ? void 0 : contract.contractId, 180),
+        createdAt: createdAt
+    };
     return {
         packetId: "support-manager-exec-".concat(hashResolveIOSupportV5Evidence({
             contractId: contract === null || contract === void 0 ? void 0 : contract.contractId,
@@ -2708,15 +4029,16 @@ function buildResolveIOSupportManagerExecutionPacket(contract, now) {
         executeNow: executeNow,
         canRunWithoutCodexMonitor: (contract === null || contract === void 0 ? void 0 : contract.canRunWithoutCodexMonitor) === true,
         codexFallbackRequired: (contract === null || contract === void 0 ? void 0 : contract.codexFallbackRequired) === true,
-        retryScope: supportManagerRetryScopeForAction(contract === null || contract === void 0 ? void 0 : contract.action),
-        maxAttemptsBeforeFreshEvidence: supportManagerMaxAttemptsForContract(contract),
+        retryScope: retryScope,
+        maxAttemptsBeforeFreshEvidence: maxAttemptsBeforeFreshEvidence,
         costRisk: (contract === null || contract === void 0 ? void 0 : contract.costRisk) || 'manual_blocked',
         proofRequiredBeforeContinuation: proofRequiredBeforeContinuation,
         expectedStateTransition: cleanText(contract === null || contract === void 0 ? void 0 : contract.expectedStateTransition, 1000),
-        stopConditions: cleanList(contract === null || contract === void 0 ? void 0 : contract.stopConditions, 24, 500),
+        stopConditions: stopConditions,
         forbiddenActions: cleanList(contract === null || contract === void 0 ? void 0 : contract.forbiddenActions, 24, 500),
         ownerFiles: cleanList(contract === null || contract === void 0 ? void 0 : contract.ownerFiles, 24, 500),
         nextCommands: cleanList(contract === null || contract === void 0 ? void 0 : contract.nextCommands, 24, 240),
+        proofResetContract: proofResetContract,
         blockers: Array.from(new Set(__spreadArray(__spreadArray([], __read(cleanList(contract === null || contract === void 0 ? void 0 : contract.blockers, 24, 500)), false), __read(validation.blockers), false))).slice(0, 24),
         validation: validation,
         createdAt: createdAt
@@ -2973,6 +4295,180 @@ function evaluateResolveIOSupportEvidenceFreshness(input) {
         artifactPaths: artifactPaths
     };
 }
+function validateResolveIOSupportEvidenceProbeContract(value) {
+    var source = cleanObject(value);
+    if (!Object.keys(source).length) {
+        return {
+            valid: false,
+            status: 'blocked',
+            blockers: ['Support evidence probe contract is missing.']
+        };
+    }
+    var status = cleanText(source.status, 80) === 'ready' ? 'ready' : 'blocked';
+    var normalized = {
+        contractId: cleanText(source.contractId || source.contract_id, 180),
+        status: status,
+        probeType: cleanText(source.probeType || source.probe_type, 80) || 'manual',
+        evidenceOnly: true,
+        productRepairAllowed: false,
+        canRunWithoutCodexMonitor: source.canRunWithoutCodexMonitor === true || source.can_run_without_codex_monitor === true,
+        issueClass: normalizeIssueClass(source.issueClass || source.issue_class) || undefined,
+        planId: cleanText(source.planId || source.plan_id, 180) || undefined,
+        activeRoute: cleanText(source.activeRoute || source.active_route, 500) || undefined,
+        actionUnderTest: cleanText(source.actionUnderTest || source.action_under_test, 1000) || undefined,
+        expectedBusinessProof: cleanText(source.expectedBusinessProof || source.expected_business_proof, 1400) || undefined,
+        stateTransition: cleanObject(source.stateTransition || source.state_transition),
+        startingFailureClass: cleanText(source.startingFailureClass || source.starting_failure_class, 120),
+        startingBlockerFingerprint: cleanText(source.startingBlockerFingerprint || source.starting_blocker_fingerprint, 180),
+        startingEvidenceHash: cleanText(source.startingEvidenceHash || source.starting_evidence_hash, 180),
+        sameFailureCount: Math.max(0, Number(source.sameFailureCount || source.same_failure_count || 0) || 0),
+        pingPongCount: Math.max(0, Number(source.pingPongCount || source.ping_pong_count || 0) || 0),
+        requiredNewSignals: cleanList(source.requiredNewSignals || source.required_new_signals, 20, 500),
+        requiredArtifacts: cleanList(source.requiredArtifacts || source.required_artifacts, 20, 500),
+        acceptableEvidence: cleanList(source.acceptableEvidence || source.acceptable_evidence, 20, 500),
+        blockers: cleanList(source.blockers, 20, 500),
+        forbiddenActions: cleanList(source.forbiddenActions || source.forbidden_actions, 20, 500),
+        nextCommands: cleanList(source.nextCommands || source.next_commands, 16, 260),
+        createdAt: cleanText(source.createdAt || source.created_at, 80) || isoNow()
+    };
+    var blockers = __spreadArray([], __read(normalized.blockers), false);
+    if (!normalized.contractId) {
+        blockers.push('Evidence probe contract requires contractId.');
+    }
+    if (!['issue_class_probe', 'business_proof', 'preflight', 'release', 'manual'].includes(normalized.probeType)) {
+        blockers.push('Evidence probe contract probeType is invalid.');
+    }
+    if (source.evidenceOnly === false || source.evidence_only === false) {
+        blockers.push('Evidence probe contract must be evidenceOnly=true.');
+    }
+    if (source.productRepairAllowed === true || source.product_repair_allowed === true) {
+        blockers.push('Evidence probe contract must block productRepairAllowed.');
+    }
+    if (!normalized.requiredNewSignals.length) {
+        blockers.push('Evidence probe contract requires at least one new signal that can unblock the loop.');
+    }
+    if (!normalized.requiredArtifacts.length) {
+        blockers.push('Evidence probe contract requires concrete artifact requirements.');
+    }
+    if (!normalized.acceptableEvidence.length) {
+        blockers.push('Evidence probe contract requires acceptableEvidence.');
+    }
+    if (!normalized.nextCommands.length) {
+        blockers.push('Evidence probe contract requires nextCommands.');
+    }
+    if (!normalized.forbiddenActions.some(function (entry) { return /product-code|repair loop|source edit|owner_files/i.test(entry); })) {
+        blockers.push('Evidence probe contract must explicitly forbid product-code repair/source edits.');
+    }
+    if (normalized.probeType === 'issue_class_probe') {
+        if (!normalized.issueClass) {
+            blockers.push('Issue-class evidence probe requires issueClass.');
+        }
+        if (!normalized.activeRoute) {
+            blockers.push('Issue-class evidence probe requires activeRoute.');
+        }
+        if (!normalized.actionUnderTest) {
+            blockers.push('Issue-class evidence probe requires actionUnderTest.');
+        }
+        if (!normalized.expectedBusinessProof) {
+            blockers.push('Issue-class evidence probe requires expectedBusinessProof.');
+        }
+        if (!normalized.acceptableEvidence.some(function (entry) { return /AIQaBusinessAssertion|before\/action\/after|DOM|Mongo|data/i.test(entry); })) {
+            blockers.push('Issue-class evidence probe must require AIQaBusinessAssertion or before/action/after DOM/data/Mongo proof.');
+        }
+    }
+    normalized.blockers = Array.from(new Set(blockers)).slice(0, 20);
+    normalized.status = normalized.blockers.length ? 'blocked' : 'ready';
+    normalized.canRunWithoutCodexMonitor = normalized.status === 'ready' && normalized.evidenceOnly === true && normalized.productRepairAllowed === false;
+    return {
+        valid: normalized.status === 'ready',
+        status: normalized.status,
+        blockers: normalized.blockers,
+        normalized: normalized
+    };
+}
+function buildResolveIOSupportEvidenceProbeContract(input) {
+    var _a, _b, _c, _d, _e, _f, _g, _h, _j;
+    var now = isoNow(input.now);
+    var diagnosisValidation = validateResolveIOSupportDiagnosisGate(input.diagnosisGate);
+    var issueClassProbePlanValidation = validateResolveIOSupportIssueClassProbePlan(input.issueClassProbePlan, diagnosisValidation.normalized, input.now);
+    var activeProbe = issueClassProbePlanValidation.activeProbe
+        || ((_a = issueClassProbePlanValidation.normalized) === null || _a === void 0 ? void 0 : _a.activeProbe);
+    var freshness = input.evidenceFreshness || evaluateResolveIOSupportEvidenceFreshness({
+        failureClass: input.failureClass,
+        blocker: input.blocker,
+        evidenceHash: input.evidenceHash
+    });
+    var probeType = activeProbe
+        ? 'issue_class_probe'
+        : /^(infra|compile)$/i.test(freshness.failureClass)
+            ? 'preflight'
+            : /release/i.test(freshness.failureClass)
+                ? 'release'
+                : diagnosisValidation.valid
+                    ? 'business_proof'
+                    : 'manual';
+    var requiredNewSignals = Array.from(new Set(__spreadArray(__spreadArray([], __read(cleanList(freshness.requiredResetEvidence, 20, 500)), false), [
+        'changed blockerFingerprint from the starting failure',
+        'changed evidenceHash from the starting failure',
+        'fresh artifact path not already attached to the repeated failure',
+        activeProbe ? 'AIQaBusinessAssertion mapped to the active IssueClassProbePlan' : 'fresh before/action/after proof artifact'
+    ], false))).slice(0, 20);
+    var requiredArtifacts = Array.from(new Set(__spreadArray(__spreadArray(__spreadArray(__spreadArray(__spreadArray(__spreadArray([], __read(cleanList(input.requiredEvidence, 20, 500)), false), __read(cleanList(activeProbe === null || activeProbe === void 0 ? void 0 : activeProbe.required_artifacts, 20, 500)), false), __read(cleanList((_b = issueClassProbePlanValidation.normalized) === null || _b === void 0 ? void 0 : _b.requiredArtifacts, 20, 500)), false), __read((probeType === 'preflight' ? ['preflight log with changed infra/compile status'] : [])), false), __read((probeType === 'release' ? ['release/hotfix gate result with changed status'] : [])), false), __read((activeProbe ? ['AIQaBusinessAssertion JSON artifact'] : [])), false))).slice(0, 20);
+    var acceptableEvidence = Array.from(new Set([
+        activeProbe ? 'AIQaBusinessAssertion tied to the active issue-class probe' : 'before/action/after business proof artifact',
+        activeProbe ? "state transition proof: ".concat(activeProbe.state_transition.before || 'before', " -> ").concat(activeProbe.state_transition.action || activeProbe.action, " -> ").concat(activeProbe.state_transition.after || 'after') : '',
+        'changed blockerFingerprint or evidenceHash',
+        'new DOM/data/Mongo/network artifact proving the blocker changed',
+        'new compile/infra/release proof only if the failure class changed'
+    ].filter(Boolean))).slice(0, 20);
+    var blockers = Array.from(new Set(__spreadArray(__spreadArray(__spreadArray([], __read((diagnosisValidation.valid ? [] : ['Valid SupportDiagnosisGate is required before bounded support evidence collection.'])), false), __read((probeType === 'issue_class_probe' && !issueClassProbePlanValidation.valid ? issueClassProbePlanValidation.blockers : [])), false), __read((freshness.mustCollectNewEvidence ? [] : ['Evidence probe contract is intended for repeated/stale failures that must collect new evidence.'])), false))).slice(0, 20);
+    var nextCommands = Array.from(new Set([
+        activeProbe ? 'execute_active_issue_class_probe_evidence_only' : 'collect_before_action_after_evidence_only',
+        'record_changed_blocker_or_evidence_hash',
+        'write_aiqa_business_assertion_or_blocker_artifact',
+        'return_to_diagnosis_or_owner_scoped_repair_only_after_probe_passes'
+    ])).slice(0, 12);
+    var contract = {
+        contractId: "support-evidence-probe-".concat(hashResolveIOSupportV5Evidence({
+            issueClass: (_c = diagnosisValidation.normalized) === null || _c === void 0 ? void 0 : _c.issue_class,
+            planId: (_d = issueClassProbePlanValidation.normalized) === null || _d === void 0 ? void 0 : _d.planId,
+            failureClass: freshness.failureClass,
+            blockerFingerprint: freshness.blockerFingerprint,
+            evidenceHash: freshness.evidenceHash,
+            requiredNewSignals: requiredNewSignals,
+            createdAt: now.slice(0, 16)
+        }).slice(0, 16)),
+        status: blockers.length ? 'blocked' : 'ready',
+        probeType: probeType,
+        evidenceOnly: true,
+        productRepairAllowed: false,
+        canRunWithoutCodexMonitor: blockers.length === 0,
+        issueClass: ((_e = diagnosisValidation.normalized) === null || _e === void 0 ? void 0 : _e.issue_class) || (activeProbe === null || activeProbe === void 0 ? void 0 : activeProbe.issue_class),
+        planId: (_f = issueClassProbePlanValidation.normalized) === null || _f === void 0 ? void 0 : _f.planId,
+        activeRoute: (activeProbe === null || activeProbe === void 0 ? void 0 : activeProbe.route) || ((_g = diagnosisValidation.normalized) === null || _g === void 0 ? void 0 : _g.proof_plan.route),
+        actionUnderTest: (activeProbe === null || activeProbe === void 0 ? void 0 : activeProbe.action) || ((_h = diagnosisValidation.normalized) === null || _h === void 0 ? void 0 : _h.proof_plan.action),
+        expectedBusinessProof: (activeProbe === null || activeProbe === void 0 ? void 0 : activeProbe.expected_business_proof) || ((_j = diagnosisValidation.normalized) === null || _j === void 0 ? void 0 : _j.proof_plan.business_assertion),
+        stateTransition: activeProbe === null || activeProbe === void 0 ? void 0 : activeProbe.state_transition,
+        startingFailureClass: freshness.failureClass,
+        startingBlockerFingerprint: freshness.blockerFingerprint,
+        startingEvidenceHash: freshness.evidenceHash,
+        sameFailureCount: freshness.sameFailureCount,
+        pingPongCount: freshness.pingPongCount,
+        requiredNewSignals: requiredNewSignals,
+        requiredArtifacts: requiredArtifacts,
+        acceptableEvidence: acceptableEvidence,
+        blockers: blockers,
+        forbiddenActions: [
+            'Do not edit product-code or source files during this evidence probe.',
+            'Do not run another repair loop from the same blockerFingerprint and evidenceHash.',
+            'Do not treat route-load, screenshot-only, scorecard-only, or model-claim proof as acceptance.'
+        ],
+        nextCommands: nextCommands,
+        createdAt: now
+    };
+    var validation = validateResolveIOSupportEvidenceProbeContract(contract);
+    return validation.normalized || contract;
+}
 function buildResolveIOSupportContinuationProofCheckpoint(input) {
     var evidenceFreshness = input.evidenceFreshness;
     var action = input.action;
@@ -3036,14 +4532,14 @@ function changedFilesOutsideResolveIOSupportDiagnosisOwnerFiles(diagnosisGate, c
     if (!validation.valid || !validation.normalized) {
         return cleanList(changedFiles, 80, 500);
     }
-    var owners = new Set(validation.normalized.owner_files.map(normalizeOwnerFilePath));
+    var owners = validation.normalized.owner_files.map(normalizeOwnerFilePath).filter(Boolean);
     return cleanList(changedFiles, 120, 500)
         .map(normalizeOwnerFilePath)
         .filter(function (filePath) {
         if (!filePath) {
             return false;
         }
-        if (owners.has(filePath)) {
+        if (owners.some(function (ownerFile) { return ownerFilePathMatchesDiagnosisOwner(filePath, ownerFile); })) {
             return false;
         }
         if (options.allowTests && /(^|\/)(tests?|spec|__tests__)(\/|$)|\.(?:spec|test)\.[jt]sx?$/i.test(filePath)) {
@@ -3052,6 +4548,94 @@ function changedFilesOutsideResolveIOSupportDiagnosisOwnerFiles(diagnosisGate, c
         return true;
     });
 }
+function supportRepairPurposeForOwnerFile(gate, coverage) {
+    var _a;
+    if (!gate) {
+        return 'Repair is blocked until SupportDiagnosisGate validates.';
+    }
+    var pathParts = coverage.failingPathFields.length
+        ? coverage.failingPathFields.join('/')
+        : 'diagnosed failing path';
+    var proof = ((_a = gate.proof_plan.business_proof_contract) === null || _a === void 0 ? void 0 : _a.expected_business_state_change)
+        || gate.proof_plan.business_assertion
+        || gate.proof_plan.after;
+    return cleanText("Update ".concat(coverage.ownerFile, " only for ").concat(pathParts, "; preserve unrelated behavior and prove: ").concat(proof), 1000);
+}
+function buildResolveIOSupportOwnerScopedRepairContract(input) {
+    if (input === void 0) { input = {}; }
+    var diagnosisValidation = validateResolveIOSupportDiagnosisGate(input.diagnosisGate);
+    var gate = diagnosisValidation.normalized;
+    var proofMatrix = diagnosisValidation.proofMatrix || buildResolveIOSupportDiagnosisProofMatrix(input.diagnosisGate, input.now);
+    var ownerFiles = (gate === null || gate === void 0 ? void 0 : gate.owner_files) || proofMatrix.ownerFiles || [];
+    var changedFiles = cleanList(input.changedFiles, 120, 500)
+        .map(normalizeOwnerFilePath)
+        .filter(Boolean);
+    var outsideOwnerFiles = changedFiles.length
+        ? changedFilesOutsideResolveIOSupportDiagnosisOwnerFiles(gate || input.diagnosisGate, changedFiles, {
+            allowTests: input.allowTestsOutsideOwnerFiles === true
+        })
+        : [];
+    var patchUnits = proofMatrix.ownerFileCoverage.map(function (coverage) { return ({
+        ownerFile: coverage.ownerFile,
+        coverageEvidenceIds: coverage.evidenceIds,
+        failingPathFields: coverage.failingPathFields,
+        repairPurpose: supportRepairPurposeForOwnerFile(gate, coverage),
+        requiredLocalChecks: [
+            'compile or targeted typecheck passes',
+            'targeted unit/integration check when available',
+            'no edits outside owner_files except explicitly allowed tests'
+        ]
+    }); });
+    var blockers = Array.from(new Set(__spreadArray(__spreadArray(__spreadArray(__spreadArray(__spreadArray([], __read(diagnosisValidation.blockers), false), __read(proofMatrix.blockers), false), __read((outsideOwnerFiles.length ? ["Repair contract changed files outside owner_files: ".concat(outsideOwnerFiles.join(', '))] : [])), false), __read((ownerFiles.length ? [] : ['Repair contract requires a non-empty owner_files set.'])), false), __read((patchUnits.length ? [] : ['Repair contract requires at least one owner-file patch unit.'])), false))).slice(0, 40);
+    var status = blockers.length ? 'blocked' : 'ready';
+    var requiredEvidenceBeforeRepair = [
+        'valid SupportDiagnosisGate',
+        'ready SupportDiagnosisProofMatrix',
+        'owner_files coverage for every patch unit',
+        'preflight/compile gate not blocking product repair'
+    ];
+    var requiredEvidenceAfterRepair = [
+        'changed files are within owner_files',
+        'compile or targeted unit gate passes',
+        'fresh AIQaBusinessAssertion mapped to diagnosis proof_plan',
+        'business proof artifacts include before/action/after DOM/data or Mongo proof'
+    ];
+    var createdAt = isoNow(input.now);
+    return {
+        contractId: "support-owner-scoped-repair-".concat(hashResolveIOSupportV5Evidence({
+            issueClass: gate === null || gate === void 0 ? void 0 : gate.issue_class,
+            ownerFiles: ownerFiles,
+            proofMatrixId: proofMatrix.matrixId,
+            changedFiles: changedFiles,
+            outsideOwnerFiles: outsideOwnerFiles,
+            createdAt: createdAt.slice(0, 16)
+        }).slice(0, 16)),
+        status: status,
+        sourceEditsAllowed: status === 'ready',
+        canRunWithoutCodexMonitor: status === 'ready',
+        issueClass: gate === null || gate === void 0 ? void 0 : gate.issue_class,
+        ownerFiles: ownerFiles,
+        proofMatrixId: proofMatrix.matrixId,
+        changedFiles: changedFiles,
+        outsideOwnerFiles: outsideOwnerFiles,
+        patchUnits: patchUnits,
+        requiredEvidenceBeforeRepair: requiredEvidenceBeforeRepair,
+        requiredEvidenceAfterRepair: requiredEvidenceAfterRepair,
+        nextCommands: [
+            'load_owner_files_only',
+            'apply_smallest_fix_to_patch_units',
+            'run_smallest_compile_or_unit_gate',
+            'handoff_to_business_proof_qa'
+        ],
+        forbiddenActions: [
+            'Do not edit outside owner_files unless SupportDiagnosisGate is revised with new evidence.',
+            'Do not accept route-load, screenshot-only, scorecard-only, or model-claim proof.',
+            'Do not draft a customer resolution until business proof readiness passes.'
+        ],
+        blockers: blockers,
+        createdAt: createdAt
+    };
+}
 function decideResolveIOSupportV5RepairGate(input) {
     var _a, _b, _c, _d, _e, _f, _g, _h, _j, _k, _l, _m, _o, _p;
     var activeStepType = cleanText(input.activeStepType, 80);
@@ -3062,6 +4646,11 @@ function decideResolveIOSupportV5RepairGate(input) {
     });
     var ownerFiles = ((_a = diagnosisValidation.normalized) === null || _a === void 0 ? void 0 : _a.owner_files) || [];
     var outsideOwnerFiles = changedFilesOutsideResolveIOSupportDiagnosisOwnerFiles(diagnosisValidation.normalized || input.diagnosisGate, input.changedFiles, { allowTests: input.allowTestsOutsideOwnerFiles === true });
+    var ownerScopedRepairContract = buildResolveIOSupportOwnerScopedRepairContract({
+        diagnosisGate: diagnosisValidation.normalized || input.diagnosisGate,
+        changedFiles: input.changedFiles,
+        allowTestsOutsideOwnerFiles: input.allowTestsOutsideOwnerFiles === true
+    });
     var repeatedFailure = ((_b = input.history) === null || _b === void 0 ? void 0 : _b.length) ? decideResolveIOSupportV5RepeatedFailureStop({
         history: input.history,
         failureClass: failureClass,
@@ -3137,31 +4726,31 @@ function decideResolveIOSupportV5RepairGate(input) {
     };
     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, preflightGate: preflightGate, repeatedFailure: repeatedFailure, diagnosisValidation: diagnosisValidation }, recoveryFieldsFor(recoveryPlan_1));
+        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, ownerScopedRepairContract: ownerScopedRepairContract, outsideOwnerFiles: outsideOwnerFiles, preflightGate: preflightGate, repeatedFailure: repeatedFailure, diagnosisValidation: diagnosisValidation }, recoveryFieldsFor(recoveryPlan_1));
     }
     if (preflightGate.blocksProductRepair) {
         var recoveryFailureClass = preflightGate.failureClass === 'compile' ? 'compile' : 'infra';
         var recoveryPlan_2 = recoveryPlanFor('retry_infra', 'support_v5_preflight_gate_blocks_product_repair', recoveryFailureClass, false);
         return __assign({ action: 'infra_repair_only', canEditProductCode: false, blockers: preflightGate.blockers.length
                 ? preflightGate.blockers
-                : ['Deterministic support preflight must pass 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, preflightGate: preflightGate, repeatedFailure: repeatedFailure, diagnosisValidation: diagnosisValidation }, recoveryFieldsFor(recoveryPlan_2));
+                : ['Deterministic support preflight must pass 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, ownerScopedRepairContract: ownerScopedRepairContract, outsideOwnerFiles: outsideOwnerFiles, preflightGate: preflightGate, repeatedFailure: repeatedFailure, diagnosisValidation: diagnosisValidation }, recoveryFieldsFor(recoveryPlan_2));
     }
     if (failureClass === 'infra' || failureClass === 'compile') {
         var recoveryPlan_3 = recoveryPlanFor('retry_infra', 'support_v5_infra_or_compile_repair_required', failureClass, false);
-        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: (_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, preflightGate: preflightGate, repeatedFailure: repeatedFailure, diagnosisValidation: diagnosisValidation }, recoveryFieldsFor(recoveryPlan_3));
+        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: (_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, ownerScopedRepairContract: ownerScopedRepairContract, outsideOwnerFiles: outsideOwnerFiles, preflightGate: preflightGate, repeatedFailure: repeatedFailure, diagnosisValidation: diagnosisValidation }, recoveryFieldsFor(recoveryPlan_3));
     }
     if (activeStepType === 'diagnosis_gate' || !diagnosisValidation.valid) {
         var recoveryPlan_4 = recoveryPlanFor('continue', 'support_v5_diagnosis_gate_required', 'diagnosis', false);
         return __assign({ action: 'diagnose_only', canEditProductCode: false, blockers: diagnosisValidation.blockers.length
                 ? diagnosisValidation.blockers
-                : ['SupportDiagnosisGate is required before product-code repair.'], 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, preflightGate: preflightGate, repeatedFailure: repeatedFailure, diagnosisValidation: diagnosisValidation }, recoveryFieldsFor(recoveryPlan_4));
+                : ['SupportDiagnosisGate is required before product-code repair.'], 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, ownerScopedRepairContract: ownerScopedRepairContract, outsideOwnerFiles: outsideOwnerFiles, preflightGate: preflightGate, repeatedFailure: repeatedFailure, diagnosisValidation: diagnosisValidation }, recoveryFieldsFor(recoveryPlan_4));
     }
     if (outsideOwnerFiles.length) {
         var recoveryPlan_5 = recoveryPlanFor('continue', 'support_v5_out_of_scope_requires_diagnosis_revision', 'owner_scope', false);
-        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: (_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, preflightGate: preflightGate, repeatedFailure: repeatedFailure, diagnosisValidation: diagnosisValidation }, recoveryFieldsFor(recoveryPlan_5));
+        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: (_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, ownerScopedRepairContract: ownerScopedRepairContract, outsideOwnerFiles: outsideOwnerFiles, preflightGate: preflightGate, repeatedFailure: repeatedFailure, diagnosisValidation: diagnosisValidation }, recoveryFieldsFor(recoveryPlan_5));
     }
     var recoveryPlan = recoveryPlanFor('continue', 'support_v5_product_repair_allowed_after_diagnosis', failureClass || 'product_code', true);
-    return __assign({ action: 'allow_product_repair', canEditProductCode: true, blockers: [], ownerFiles: ownerFiles, issueClass: (_o = diagnosisValidation.normalized) === null || _o === void 0 ? void 0 : _o.issue_class, proofPlan: (_p = diagnosisValidation.normalized) === null || _p === void 0 ? void 0 : _p.proof_plan, outsideOwnerFiles: outsideOwnerFiles, preflightGate: preflightGate, repeatedFailure: repeatedFailure, diagnosisValidation: diagnosisValidation }, recoveryFieldsFor(recoveryPlan));
+    return __assign({ action: 'allow_product_repair', canEditProductCode: true, blockers: [], ownerFiles: ownerFiles, issueClass: (_o = diagnosisValidation.normalized) === null || _o === void 0 ? void 0 : _o.issue_class, proofPlan: (_p = diagnosisValidation.normalized) === null || _p === void 0 ? void 0 : _p.proof_plan, ownerScopedRepairContract: ownerScopedRepairContract, outsideOwnerFiles: outsideOwnerFiles, preflightGate: preflightGate, repeatedFailure: repeatedFailure, diagnosisValidation: diagnosisValidation }, recoveryFieldsFor(recoveryPlan));
 }
 function applyResolveIOSupportDiagnosisGateToMicrotasks(bundle, diagnosisGate) {
     var _a;
@@ -3182,6 +4771,29 @@ function applyResolveIOSupportDiagnosisGateToMicrotasks(bundle, diagnosisGate) {
         || (proofContract === null || proofContract === void 0 ? void 0 : proofContract.data_or_dom_assertion)
         || gate.proof_plan.data_assertion
         || gate.proof_plan.after;
+    var repairObjective = cleanText([
+        "Patch the accepted root cause in ".concat(ownerFiles.join(', '), "."),
+        "Hypothesis: ".concat(gate.accepted_hypothesis.statement),
+        "Business proof: ".concat(gate.proof_plan.business_assertion)
+    ].filter(Boolean).join(' '), 520);
+    var repairSelfGate = [
+        "Modify only the diagnosed owner files unless you revise the diagnosis with new evidence. Owner files: ".concat(ownerFiles.join(', '), "."),
+        "Implement the falsifiable fix for: ".concat(gate.accepted_hypothesis.statement),
+        'Do not re-run read-only reproduction as the repair; make the smallest product-code change and report targeted proof.'
+    ].join(' ');
+    var qaObjective = cleanText([
+        'QA proof for diagnosis business assertion:',
+        (proofContract === null || proofContract === void 0 ? void 0 : proofContract.action_under_test) || gate.proof_plan.action,
+        '=>',
+        businessAssertion || businessProof
+    ].filter(Boolean).join(' '), 420);
+    var looksLikeReadOnlyDiagnosisTask = function (task) {
+        var text = "".concat(task.objective || '', "\n").concat(task.selfGate || '', "\n").concat(task.blocker || '');
+        if (!/\b(replicat|reproduc|diagnos|analy[sz]|investigat|inspect|review|classif|read[-\s]*only|attached\s+template|upload\s+issue)\b/i.test(text)) {
+            return false;
+        }
+        return !/\b(patch|repair|fix|implement|correct|update|change product-code|product-code change)\b/i.test(task.objective || '');
+    };
     var diagnosisMicrotaskId = ((_a = (bundle.supportV5MicrotaskLedger || [])
         .find(function (task) { return task.type === 'diagnosis_gate'; })) === null || _a === void 0 ? void 0 : _a.microtaskId)
         || stableIdFromText('diagnosis', "Root-cause-first diagnosis gate for: ".concat(cleanText(bundle.supportV5ScopeDigest || gate.issue_case.customer_complaint, 360) || 'support ticket'));
@@ -3190,10 +4802,12 @@ function applyResolveIOSupportDiagnosisGateToMicrotasks(bundle, diagnosisGate) {
             return __assign(__assign({}, task), { status: validation.valid ? 'pass' : 'needs_repair', blocker: validation.valid ? '' : validation.blockers.join(' | '), updatedAt: now });
         }
         if (task.lane === 'build' && /repair|product_repair|build_repair/i.test(String(task.type || ''))) {
-            return __assign(__assign({}, task), { targetFiles: ownerFiles, contextRefs: Array.from(new Set(__spreadArray(__spreadArray([], __read((task.contextRefs || [])), false), ['supportV5DiagnosisGate', 'owner_files'], false))), selfGate: "Repair only the diagnosed owner files unless you revise the diagnosis with new evidence. Owner files: ".concat(ownerFiles.join(', '), "."), acceptanceProof: businessProof, dependsOn: Array.from(new Set(__spreadArray(__spreadArray([], __read((task.dependsOn || [])), false), [diagnosisMicrotaskId], false))), updatedAt: now });
+            var staleDiagnosisTask = validation.valid && looksLikeReadOnlyDiagnosisTask(task);
+            return __assign(__assign({}, task), { status: staleDiagnosisTask ? 'pending' : task.status, objective: staleDiagnosisTask ? repairObjective : task.objective, targetFiles: ownerFiles, contextRefs: Array.from(new Set(__spreadArray(__spreadArray([], __read((task.contextRefs || [])), false), ['supportV5DiagnosisGate', 'owner_files', 'proof_plan', 'accepted_hypothesis'], false))), selfGate: repairSelfGate, acceptanceProof: businessProof, dependsOn: Array.from(new Set(__spreadArray(__spreadArray([], __read((task.dependsOn || [])), false), [diagnosisMicrotaskId], false))), attempts: staleDiagnosisTask ? 0 : task.attempts, blocker: staleDiagnosisTask ? '' : task.blocker, updatedAt: now });
         }
         if (task.lane === 'qa' && task.type === 'qa_row') {
-            return __assign(__assign({}, task), { contextRefs: Array.from(new Set(__spreadArray(__spreadArray([], __read((task.contextRefs || [])), false), ['supportV5DiagnosisGate', 'supportV5IssueClassProbePlan', 'proof_plan'], false))), selfGate: (activeProbe === null || activeProbe === void 0 ? void 0 : activeProbe.action) || task.selfGate, acceptanceProof: (activeProbe === null || activeProbe === void 0 ? void 0 : activeProbe.expected_business_proof) || businessProof || task.acceptanceProof, targetFiles: ownerFiles, updatedAt: now });
+            var staleQaTask = validation.valid && looksLikeReadOnlyDiagnosisTask(task);
+            return __assign(__assign({}, task), { objective: staleQaTask ? qaObjective : task.objective, contextRefs: Array.from(new Set(__spreadArray(__spreadArray([], __read((task.contextRefs || [])), false), ['supportV5DiagnosisGate', 'supportV5IssueClassProbePlan', 'proof_plan'], false))), selfGate: (activeProbe === null || activeProbe === void 0 ? void 0 : activeProbe.action) || task.selfGate, acceptanceProof: (activeProbe === null || activeProbe === void 0 ? void 0 : activeProbe.expected_business_proof) || businessProof || task.acceptanceProof, targetFiles: ownerFiles, attempts: staleQaTask ? 0 : task.attempts, blocker: staleQaTask ? '' : task.blocker, updatedAt: now });
         }
         return task;
     });
@@ -3272,7 +4886,7 @@ function buildResolveIOSupportV5ScopeDigest(input) {
     return raw.slice(0, maxChars);
 }
 function buildResolveIOSupportV5MicrotaskLedger(input) {
-    var e_10, _a;
+    var e_11, _a;
     var existing = Array.isArray(input.existing) ? input.existing : [];
     var completedByObjective = new Map();
     try {
@@ -3283,12 +4897,12 @@ function buildResolveIOSupportV5MicrotaskLedger(input) {
             }
         }
     }
-    catch (e_10_1) { e_10 = { error: e_10_1 }; }
+    catch (e_11_1) { e_11 = { error: e_11_1 }; }
     finally {
         try {
             if (existing_1_1 && !existing_1_1.done && (_a = existing_1.return)) _a.call(existing_1);
         }
-        finally { if (e_10) throw e_10.error; }
+        finally { if (e_11) throw e_11.error; }
     }
     var now = isoNow(input.now);
     var requirements = cleanList(input.requirements, 30, 240);
@@ -3737,6 +5351,7 @@ function decideResolveIOSupportV5AutonomousNextAction(input) {
         ignoreInfra: true
     });
     var ownerFiles = ((_a = diagnosisValidation.normalized) === null || _a === void 0 ? void 0 : _a.owner_files) || repairGate.ownerFiles || [];
+    var diagnosisProofMatrix = diagnosisValidation.proofMatrix || buildResolveIOSupportDiagnosisProofMatrix(bundle.supportV5DiagnosisGate, input.now);
     var proofContract = (_b = diagnosisValidation.normalized) === null || _b === void 0 ? void 0 : _b.proof_plan.business_proof_contract;
     var expectedProof = (proofContract === null || proofContract === void 0 ? void 0 : proofContract.data_or_dom_assertion)
         || ((_c = diagnosisValidation.normalized) === null || _c === void 0 ? void 0 : _c.proof_plan.business_assertion)
@@ -3770,6 +5385,8 @@ function decideResolveIOSupportV5AutonomousNextAction(input) {
             revise_diagnosis_scope: 'scope_revision_required',
             run_owner_scoped_repair: 'owner_scoped_repair_ready',
             run_business_proof_qa: 'business_proof_required',
+            create_pr: 'pr_packaging_ready',
+            run_a_grade_pr_review: 'pr_review_required',
             repair_release_hotfix_first: 'release_hotfix_required',
             collect_new_evidence: 'collect_new_evidence',
             draft_customer_reply: 'customer_reply_draft_ready',
@@ -3783,6 +5400,8 @@ function decideResolveIOSupportV5AutonomousNextAction(input) {
             scope_revision_required: 'scope',
             owner_scoped_repair_ready: 'repair',
             business_proof_required: 'business_proof',
+            pr_packaging_ready: 'release',
+            pr_review_required: 'release',
             release_hotfix_required: 'release',
             release_gate_ready: 'release',
             customer_reply_draft_ready: 'customer_reply',
@@ -3793,9 +5412,11 @@ function decideResolveIOSupportV5AutonomousNextAction(input) {
         var diagnosisValid = diagnosisValidation.valid === true;
         var ownerFilesReady = diagnosisValid && ownerFiles.length > 0;
         var proofPlanReady = diagnosisValid && !!proofContract;
+        var proofMatrixReady = diagnosisProofMatrix.status === 'ready';
+        var ownerScopedRepairContractReady = repairGate.ownerScopedRepairContract.status === 'ready';
         var issueClassProbePlanReady = issueClassProbePlanValidation.valid === true;
         var preflightReady = preflightGate.blocksProductRepair !== true;
-        var rootCauseFirstSatisfied = diagnosisValid && ownerFilesReady && proofPlanReady && issueClassProbePlanReady && preflightReady;
+        var rootCauseFirstSatisfied = diagnosisValid && ownerFilesReady && proofPlanReady && proofMatrixReady && issueClassProbePlanReady && preflightReady;
         var sameFailureParked = evidenceFreshness.mustCollectNewEvidence === true
             || (action === 'collect_new_evidence' && /repeated|no_progress|ping_pong|same failure|same evidence/i.test(reason));
         return {
@@ -3806,10 +5427,12 @@ function decideResolveIOSupportV5AutonomousNextAction(input) {
             diagnosisValid: diagnosisValid,
             ownerFilesReady: ownerFilesReady,
             proofPlanReady: proofPlanReady,
+            proofMatrixReady: proofMatrixReady,
+            ownerScopedRepairContractReady: ownerScopedRepairContractReady,
             businessProofReady: businessProofReadiness.ready === true,
             infraOnly: action === 'repair_infra_only',
             sameFailureParked: sameFailureParked,
-            canEditProductCode: fields.canEditProductCode === true && rootCauseFirstSatisfied,
+            canEditProductCode: fields.canEditProductCode === true && rootCauseFirstSatisfied && ownerScopedRepairContractReady,
             canRunIssueClassProbe: rootCauseFirstSatisfied && (action === 'run_business_proof_qa' || status === 'business_proof_required'),
             canRunBusinessProofQa: rootCauseFirstSatisfied && (action === 'run_business_proof_qa' || !businessProofReadiness.ready),
             canRelease: action === 'ready_for_release_gate' && businessProofReadiness.ready === true,
@@ -3821,12 +5444,14 @@ function decideResolveIOSupportV5AutonomousNextAction(input) {
             preflightStatus: preflightGate.status,
             preflightFailureClass: preflightGate.failureClass,
             reason: reason,
-            blockers: Array.from(new Set(__spreadArray(__spreadArray(__spreadArray([], __read(blockers), false), __read(issueClassProbePlanValidation.blockers), false), __read(preflightGate.blockers), false))),
+            blockers: Array.from(new Set(__spreadArray(__spreadArray(__spreadArray(__spreadArray(__spreadArray([], __read(blockers), false), __read(diagnosisProofMatrix.blockers), false), __read(repairGate.ownerScopedRepairContract.blockers), false), __read(issueClassProbePlanValidation.blockers), false), __read(preflightGate.blockers), false))),
             ownerFiles: ownerFiles,
             issueClass: ((_a = diagnosisValidation.normalized) === null || _a === void 0 ? void 0 : _a.issue_class) || repairGate.issueClass,
             expectedProof: expectedProof,
             issueClassProbes: issueClassProbes,
             issueClassProbePlan: issueClassProbePlan,
+            proofMatrix: diagnosisProofMatrix,
+            ownerScopedRepairContract: repairGate.ownerScopedRepairContract,
             businessProofStatus: businessProofReadiness.status,
             proofFingerprint: businessProofReadiness.proofFingerprint,
             artifactFingerprint: businessProofReadiness.artifactFingerprint,
@@ -3853,6 +5478,12 @@ function decideResolveIOSupportV5AutonomousNextAction(input) {
         if (action === 'run_business_proof_qa') {
             return 'A fresh AIQaBusinessAssertion maps to the validated IssueClassProbePlan and records before/action/after DOM, data, or Mongo proof.';
         }
+        if (action === 'create_pr') {
+            return 'A support PR is created or updated from the proof-ready run, with merge/release/customer-send still blocked behind human/release gates.';
+        }
+        if (action === 'run_a_grade_pr_review') {
+            return 'The support PR is checked against strict execution, artifact, pull-request, AIQa, before/action/after, and screenshot/trace evidence; merge/release/customer-send remain blocked.';
+        }
         if (action === 'repair_release_hotfix_first') {
             return primaryCommand === 'record_hotfix_evidence'
                 ? 'Hotfix evidence is recorded with sourceCommitSha, githubCommitUrl, passed gitCommitStatus, and passed gitPushStatus before any live backend apply or continuation.'
@@ -3869,20 +5500,34 @@ function decideResolveIOSupportV5AutonomousNextAction(input) {
         }
         return 'The runner stays parked until a human changes scope, budget, evidence, or autonomy policy.';
     };
-    var buildNextActionContract = function (action, label, reason, fields, rootCauseReadiness, continuationProofCheckpoint, primaryCommand, nextCommands, requiredEvidence, forbiddenActions, blockers) {
+    var buildNextActionContract = function (action, label, reason, fields, rootCauseReadiness, continuationProofCheckpoint, primaryCommand, nextCommands, requiredEvidence, forbiddenActions, blockers, evidenceProbeContract, autonomyApproval, productRepairDispatchGuard, autopilotCompletionProgress) {
+        var _a, _b, _c, _d, _e, _f;
         var lane = (fields.lane || (activeMicrotask === null || activeMicrotask === void 0 ? void 0 : activeMicrotask.lane) || 'supervisor');
         var stepType = (fields.stepType || activeStepType);
         var liveHotfixBlockedUntilCommit = fields.liveHotfixBlockedUntilCommit === true;
         var hotfixCommitRequired = action === 'repair_release_hotfix_first'
             || liveHotfixBlockedUntilCommit
             || fields.canHotfixBackend === true;
-        var requiresHumanApproval = action === 'park_manual'
+        var baseRequiresHumanApproval = action === 'park_manual'
             || action === 'ask_customer_clarification'
             || rootCauseReadiness.requiresHumanDecision === true;
+        var dispatchAction = supportManagerDispatchActionForNextAction(action, fields, preflightGate);
+        var autonomyPolicy = input.autonomyPolicy
+            ? (0, ai_runner_manager_policy_1.decideResolveIOAIManagerAutonomyPolicy)(__assign(__assign({}, input.autonomyPolicy), { dispatchAction: dispatchAction, projectedActionCostUsd: (_a = input.autonomyPolicy.projectedActionCostUsd) !== null && _a !== void 0 ? _a : supportProjectedActionCostUsdForNextAction(action, fields), evidenceStrength: input.autonomyPolicy.evidenceStrength || evidenceFreshness.evidenceStrength, materialEvidence: (_b = input.autonomyPolicy.materialEvidence) !== null && _b !== void 0 ? _b : evidenceFreshness.materialEvidence, newEvidence: (_c = input.autonomyPolicy.newEvidence) !== null && _c !== void 0 ? _c : evidenceFreshness.newEvidence, evidenceSignals: input.autonomyPolicy.evidenceSignals || evidenceFreshness.evidenceSignals, operatorApproved: (_d = input.operatorApproved) !== null && _d !== void 0 ? _d : input.autonomyPolicy.operatorApproved }))
+            : undefined;
+        var productRepairApprovalBlocked = (productRepairDispatchGuard === null || productRepairDispatchGuard === void 0 ? void 0 : productRepairDispatchGuard.status) === 'blocked';
+        var autonomyBlocksAutoRun = (!!autonomyPolicy && autonomyPolicy.canAutoDispatch !== true)
+            || productRepairApprovalBlocked;
+        var requiresHumanApproval = baseRequiresHumanApproval
+            || (autonomyPolicy === null || autonomyPolicy === void 0 ? void 0 : autonomyPolicy.requiresHumanApproval) === true
+            || (autonomyPolicy === null || autonomyPolicy === void 0 ? void 0 : autonomyPolicy.blocked) === true
+            || productRepairApprovalBlocked;
         var safeToAutoRun = fields.canRunAutonomously === true
-            && !requiresHumanApproval
-            && (action !== 'run_owner_scoped_repair' || (rootCauseReadiness.rootCauseFirstSatisfied === true && evidenceFreshness.mustCollectNewEvidence !== true))
+            && !baseRequiresHumanApproval
+            && !autonomyBlocksAutoRun
+            && (action !== 'run_owner_scoped_repair' || (rootCauseReadiness.rootCauseFirstSatisfied === true && rootCauseReadiness.ownerScopedRepairContractReady === true && evidenceFreshness.mustCollectNewEvidence !== true))
             && (action !== 'run_business_proof_qa' || rootCauseReadiness.issueClassProbePlanReady === true)
+            && (action !== 'collect_new_evidence' || (evidenceProbeContract === null || evidenceProbeContract === void 0 ? void 0 : evidenceProbeContract.status) === 'ready')
             && (action !== 'repair_release_hotfix_first' || primaryCommand !== 'apply_backend_hotfix_only_after_commit_proof' || liveHotfixBlockedUntilCommit !== true);
         var costRisk = requiresHumanApproval
             ? 'manual_blocked'
@@ -3909,13 +5554,22 @@ function decideResolveIOSupportV5AutonomousNextAction(input) {
             action !== 'run_diagnosis_gate' ? 'SupportDiagnosisGate validation checked before action.' : 'Diagnosis is read-only and cannot edit source files.',
             action === 'run_owner_scoped_repair' ? 'Root-cause-first gate is satisfied and owner_files are the only editable product files.' : '',
             action === 'run_business_proof_qa' ? 'Business proof QA must use the diagnosis proof_plan and validated IssueClassProbePlan.' : '',
+            action === 'create_pr' ? 'Business proof and changed-file evidence are ready; this action only packages/updates the support PR.' : '',
+            action === 'run_a_grade_pr_review' ? 'A support PR exists and must pass strict A-grade review before any merge, release, deploy, or customer reply.' : '',
             action === 'repair_release_hotfix_first' ? 'Live backend hotfix is blocked until GitHub commit proof is recorded and passed.' : '',
-            evidenceFreshness.mustCollectNewEvidence === true ? 'Current failure is stale or repeated; only evidence collection is allowed until proof changes.' : ''
+            productRepairDispatchGuard ? "Support autonomy approval ".concat((autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.status) || 'missing', ": ").concat(productRepairDispatchGuard.reason, ".") : '',
+            autopilotCompletionProgress ? "Approved-autopilot phase ".concat(autopilotCompletionProgress.activePhase, ": ").concat(autopilotCompletionProgress.reason, ".") : '',
+            evidenceFreshness.mustCollectNewEvidence === true ? 'Current failure is stale or repeated; only evidence collection is allowed until proof changes.' : '',
+            autonomyPolicy ? "Autonomy policy ".concat(autonomyPolicy.mode, ": ").concat(autonomyPolicy.reason, ".") : ''
         ], __read(requiredEvidence), false).filter(Boolean))).slice(0, 24);
         var stopConditions = Array.from(new Set(__spreadArray([
             'Stop if the same failure class, blocker fingerprint, and evidence hash repeat without material evidence.',
             'Stop if the action would edit outside diagnosis owner_files without a revised diagnosis gate.',
             'Stop if route-load, screenshot-only, scorecard-only, or model-claim proof is the only acceptance evidence.',
+            action === 'create_pr' ? 'Stop before merge, release, deploy, or customer-send; PR packaging is the only allowed side effect.' : '',
+            action === 'run_a_grade_pr_review' ? 'Stop before merge, release, deploy, or customer-send; this action only records strict A-grade PR review evidence.' : '',
+            (autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.overMaxAutoHours) && autonomyApproval.explicitOverLimitApproval !== true ? "Stop before product-code repair: estimated work is over ".concat(autonomyApproval.maxAutoHoursWithoutApproval, " hours without explicit over-limit approval.") : '',
+            (productRepairDispatchGuard === null || productRepairDispatchGuard === void 0 ? void 0 : productRepairDispatchGuard.status) === 'blocked' ? 'Stop before product-code repair until the autonomy approval/dispatch guard is allowed.' : '',
             liveHotfixBlockedUntilCommit ? 'Stop before live backend hotfix until sourceCommitSha, githubCommitUrl, passed gitCommitStatus, and passed gitPushStatus are recorded.' : ''
         ], __read(continuationProofCheckpoint.requiredResetEvidence.map(function (entry) { return "Reset requires: ".concat(entry); })), false).filter(Boolean))).slice(0, 24);
         var createdAt = isoNow(input.now);
@@ -3946,12 +5600,16 @@ function decideResolveIOSupportV5AutonomousNextAction(input) {
                 diagnosisValid: rootCauseReadiness.diagnosisValid === true,
                 ownerFilesReady: rootCauseReadiness.ownerFilesReady === true,
                 proofPlanReady: rootCauseReadiness.proofPlanReady === true,
+                proofMatrixReady: rootCauseReadiness.proofMatrixReady === true,
+                proofMatrixId: (_e = rootCauseReadiness.proofMatrix) === null || _e === void 0 ? void 0 : _e.matrixId,
+                ownerScopedRepairContractReady: rootCauseReadiness.ownerScopedRepairContractReady === true,
+                ownerScopedRepairContractId: (_f = rootCauseReadiness.ownerScopedRepairContract) === null || _f === void 0 ? void 0 : _f.contractId,
                 businessProofReady: businessProofReadiness.ready === true,
                 evidenceFreshnessStatus: evidenceFreshness.status,
                 evidenceStrength: evidenceFreshness.evidenceStrength,
-                failureClass: evidenceFreshness.failureClass,
-                blockerFingerprint: evidenceFreshness.blockerFingerprint,
-                evidenceHash: evidenceFreshness.evidenceHash,
+                failureClass: cleanText(fields.failureClass || evidenceFreshness.failureClass, 120),
+                blockerFingerprint: cleanText(fields.blockerFingerprint || evidenceFreshness.blockerFingerprint, 180),
+                evidenceHash: cleanText(fields.evidenceHash || evidenceFreshness.evidenceHash, 180),
                 sameFailureCount: evidenceFreshness.sameFailureCount,
                 issueClassProbePlanReady: rootCauseReadiness.issueClassProbePlanReady === true,
                 preflightReady: rootCauseReadiness.preflightReady === true,
@@ -3959,16 +5617,56 @@ function decideResolveIOSupportV5AutonomousNextAction(input) {
                 preflightFailureClass: preflightGate.failureClass,
                 preflightEvidenceHash: preflightGate.evidenceHash,
                 hotfixCommitRequired: hotfixCommitRequired,
-                liveHotfixBlockedUntilCommit: liveHotfixBlockedUntilCommit
+                liveHotfixBlockedUntilCommit: liveHotfixBlockedUntilCommit,
+                evidenceProbeContractReady: evidenceProbeContract ? evidenceProbeContract.status === 'ready' : undefined,
+                evidenceProbeContractId: evidenceProbeContract === null || evidenceProbeContract === void 0 ? void 0 : evidenceProbeContract.contractId,
+                autonomyMode: autonomyPolicy === null || autonomyPolicy === void 0 ? void 0 : autonomyPolicy.mode,
+                autonomyCanAutoDispatch: autonomyPolicy === null || autonomyPolicy === void 0 ? void 0 : autonomyPolicy.canAutoDispatch,
+                autonomyReason: autonomyPolicy === null || autonomyPolicy === void 0 ? void 0 : autonomyPolicy.reason,
+                autonomyExpectedValueScore: autonomyPolicy === null || autonomyPolicy === void 0 ? void 0 : autonomyPolicy.expectedValueScore,
+                autonomyExpectedValuePositive: autonomyPolicy === null || autonomyPolicy === void 0 ? void 0 : autonomyPolicy.expectedValuePositive,
+                autonomyProjectedSpendUsd: autonomyPolicy === null || autonomyPolicy === void 0 ? void 0 : autonomyPolicy.projectedSpendUsd,
+                autonomyApprovalRequired: !!autonomyApproval || input.requireAutonomyApprovalForProductRepair === true,
+                autonomyApprovalApproved: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.approved,
+                autonomyApprovalBoundaryValid: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.autopilotApprovalBoundaryValid,
+                autonomyApprovalDecisionKind: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.decisionKind,
+                autonomyApprovalAction: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.approvalAction,
+                approvedScopeHours: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.estimatedHours,
+                maxAutoHoursWithoutApproval: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.maxAutoHoursWithoutApproval,
+                overMaxAutoHours: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.overMaxAutoHours,
+                bugNotBug: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.bugNotBug,
+                bugNotBugClassificationApproved: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.bugNotBugClassificationApproved,
+                scopeFingerprint: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.scopeFingerprint,
+                scopeChangedSinceApproval: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.scopeChangedSinceApproval,
+                ownerFileFingerprint: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.ownerFileFingerprint,
+                approvedOwnerFileFingerprint: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.approvedOwnerFileFingerprint,
+                ownerFilesChangedSinceApproval: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.ownerFilesChangedSinceApproval,
+                ownerFilesAddedSinceApproval: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.ownerFilesAddedSinceApproval,
+                ownerFilesRemovedSinceApproval: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.ownerFilesRemovedSinceApproval,
+                diagnosisScopeFingerprint: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.diagnosisScopeFingerprint,
+                previousDiagnosisScopeFingerprint: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.previousDiagnosisScopeFingerprint,
+                diagnosisScopeIncluded: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.diagnosisScopeIncluded,
+                diagnosisScopeValid: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.diagnosisScopeValid,
+                diagnosisScopeChangedSinceApproval: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.diagnosisScopeChangedSinceApproval,
+                diagnosisScopeFields: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.diagnosisScopeFields,
+                diagnosisScopeBlockers: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.diagnosisScopeBlockers,
+                requiresOperatorApprovalForAnyScopeChange: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.requiresOperatorApprovalForAnyScopeChange,
+                leSixHourScopeCanAutofixAfterApproval: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.leSixHourScopeCanAutofixAfterApproval,
+                onTheFlyScopeChangeApprovalRequired: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.onTheFlyScopeChangeApprovalRequired,
+                afterApprovalAutopilotUntilAGrade: autonomyApproval === null || autonomyApproval === void 0 ? void 0 : autonomyApproval.afterApprovalAutopilotUntilAGrade,
+                autopilotCompletionStatus: autopilotCompletionProgress === null || autopilotCompletionProgress === void 0 ? void 0 : autopilotCompletionProgress.status,
+                autopilotCompletionPhase: autopilotCompletionProgress === null || autopilotCompletionProgress === void 0 ? void 0 : autopilotCompletionProgress.activePhase,
+                autopilotCompletionNextAction: autopilotCompletionProgress === null || autopilotCompletionProgress === void 0 ? void 0 : autopilotCompletionProgress.nextAction,
+                autopilotCompletionReady: (autopilotCompletionProgress === null || autopilotCompletionProgress === void 0 ? void 0 : autopilotCompletionProgress.status) === 'complete'
             },
             preconditions: preconditions,
             expectedStateTransition: nextActionExpectedTransition(action, primaryCommand),
             successEvidence: Array.from(new Set(requiredEvidence.length ? requiredEvidence : continuationProofCheckpoint.requiredEvidence)).slice(0, 24),
             stopConditions: stopConditions,
-            forbiddenActions: forbiddenActions.slice(0, 24),
+            forbiddenActions: Array.from(new Set(__spreadArray(__spreadArray(__spreadArray(__spreadArray([], __read(forbiddenActions), false), __read(((autopilotCompletionProgress === null || autopilotCompletionProgress === void 0 ? void 0 : autopilotCompletionProgress.forbiddenActions) || [])), false), __read(((productRepairDispatchGuard === null || productRepairDispatchGuard === void 0 ? void 0 : productRepairDispatchGuard.forbiddenActions) || [])), false), __read(((autonomyPolicy === null || autonomyPolicy === void 0 ? void 0 : autonomyPolicy.forbiddenActions) || [])), false))).slice(0, 24),
             ownerFiles: ownerFiles.slice(0, 24),
-            blockers: blockers.slice(0, 24),
-            nextCommands: nextCommands.slice(0, 24),
+            blockers: Array.from(new Set(__spreadArray(__spreadArray(__spreadArray(__spreadArray([], __read(blockers), false), __read((autopilotCompletionProgress && autopilotCompletionProgress.status !== 'complete' ? autopilotCompletionProgress.blockers : [])), false), __read(((productRepairDispatchGuard === null || productRepairDispatchGuard === void 0 ? void 0 : productRepairDispatchGuard.status) === 'blocked' ? productRepairDispatchGuard.blockers : [])), false), __read((autonomyPolicy && autonomyPolicy.canAutoDispatch !== true ? ["autonomy_policy:".concat(autonomyPolicy.reason)] : [])), false))).slice(0, 24),
+            nextCommands: Array.from(new Set(__spreadArray(__spreadArray(__spreadArray([], __read(((productRepairDispatchGuard === null || productRepairDispatchGuard === void 0 ? void 0 : productRepairDispatchGuard.status) === 'blocked' && productRepairDispatchGuard.nextAction ? [productRepairDispatchGuard.nextAction] : [])), false), __read((autopilotCompletionProgress && autopilotCompletionProgress.nextAction !== action ? [autopilotCompletionProgress.nextCommand] : [])), false), __read(nextCommands), false))).slice(0, 24),
             createdAt: createdAt
         };
     };
@@ -3988,13 +5686,22 @@ function decideResolveIOSupportV5AutonomousNextAction(input) {
             && action === 'collect_new_evidence'
             && nextActionContract.safeToAutoRun === true
             && nextActionContract.canRunWithoutCodexMonitor === true;
+        var approvalAction = cleanText(nextActionContract.decisionBasis.autonomyApprovalAction, 120);
+        var approvalDecisionKind = cleanText(nextActionContract.decisionBasis.autonomyApprovalDecisionKind, 120);
+        var approvalChoiceId = approvalAction
+            ? (approvalAction === 'approve_support_autonomy_over_limit' || /over_limit/i.test(approvalDecisionKind)
+                ? 'approve_over_limit_autonomy'
+                : 'approve_auto_fix_le_6h_bug')
+            : '';
         var preferredChoiceId = autoDispatchAllowed
             ? 'run_bounded_evidence_probe'
-            : action === 'ask_customer_clarification'
-                ? 'review_customer_clarification'
-                : action === 'run_diagnosis_gate' || action === 'revise_diagnosis_scope'
-                    ? 'revise_diagnosis_gate'
-                    : 'keep_parked';
+            : approvalChoiceId
+                ? approvalChoiceId
+                : action === 'ask_customer_clarification'
+                    ? 'review_customer_clarification'
+                    : action === 'run_diagnosis_gate' || action === 'revise_diagnosis_scope'
+                        ? 'revise_diagnosis_gate'
+                        : 'keep_parked';
         var baseRequiredEvidence = Array.from(new Set(__spreadArray(__spreadArray(__spreadArray([], __read(requiredEvidence), false), __read(continuationProofCheckpoint.requiredResetEvidence), false), __read(evidenceFreshness.requiredResetEvidence), false).filter(Boolean))).slice(0, 20);
         var choices = [];
         if (repeatedEvidenceBlocked) {
@@ -4010,6 +5717,21 @@ function decideResolveIOSupportV5AutonomousNextAction(input) {
                 allowedWithoutCodexMonitor: autoDispatchAllowed
             });
         }
+        if (approvalAction) {
+            choices.push({
+                choiceId: approvalChoiceId || 'approve_support_autonomy',
+                label: approvalChoiceId === 'approve_over_limit_autonomy' ? 'Approve Over Limit' : 'Approve Autopilot',
+                action: approvalAction,
+                description: approvalChoiceId === 'approve_over_limit_autonomy'
+                    ? 'Approve this over-six-hour support scope; after approval the runner continues only inside the approved diagnosis/owner-file boundary until A-grade PR proof or a new scope blocker.'
+                    : 'Approve this bounded bug/not-bug support scope; after approval the runner continues to A-grade PR proof with QA screenshots and before/action/after business proof.',
+                safety: approvalChoiceId === 'approve_over_limit_autonomy' ? 'high' : 'medium',
+                requiresConfirmation: true,
+                nextCommand: approvalAction,
+                expectedResult: 'Autonomy approval gate changes to approved_autopilot or records the exact scope/estimate/classification field that still blocks product-code repair.',
+                allowedWithoutCodexMonitor: false
+            });
+        }
         choices.push({
             choiceId: 'revise_diagnosis_gate',
             label: 'Revise Diagnosis',
@@ -4095,7 +5817,7 @@ function decideResolveIOSupportV5AutonomousNextAction(input) {
         };
     };
     var makeDecision = function (action, label, reason, fields) {
-        var _a;
+        var _a, _b, _c, _d, _e;
         var primaryCommand = fields.primaryCommand || action;
         var nextCommands = Array.from(new Set(__spreadArray([
             primaryCommand
@@ -4116,7 +5838,48 @@ function decideResolveIOSupportV5AutonomousNextAction(input) {
             requiredResetEvidence: fields.requiredEvidence,
             blocksProductRepair: evidenceFreshness.mustCollectNewEvidence === true
         });
-        var nextActionContract = buildNextActionContract(action, label, reason, fields, rootCauseReadiness, continuationProofCheckpoint, primaryCommand, nextCommands, requiredEvidence, forbiddenActions, blockers);
+        var editsProductCode = fields.canEditProductCode === true || action === 'run_owner_scoped_repair';
+        var autonomyApproval = normalizeResolveIOSupportAutonomyApprovalContract(input.autonomyApproval, {
+            required: input.requireAutonomyApprovalForProductRepair === true && editsProductCode,
+            action: action,
+            ownerFiles: ownerFiles,
+            now: input.now
+        });
+        var productRepairDispatchGuard = autonomyApproval
+            ? buildResolveIOSupportProductRepairDispatchGuard({
+                action: action,
+                approval: autonomyApproval,
+                editsProductCode: editsProductCode,
+                ownerFiles: ownerFiles,
+                now: input.now
+            })
+            : undefined;
+        var autopilotCompletionProgress = buildResolveIOSupportAutopilotCompletionProgress({
+            approval: autonomyApproval,
+            productRepairDispatchGuard: productRepairDispatchGuard,
+            action: action,
+            diagnosisValid: diagnosisValidation.valid === true,
+            preflightGate: preflightGate,
+            businessProofReadiness: businessProofReadiness,
+            businessProofArtifacts: input.businessProofArtifacts,
+            changedFiles: input.changedFiles,
+            prReadinessContract: input.prReadinessContract,
+            prReviewContract: input.prReviewContract,
+            now: input.now
+        });
+        var evidenceProbeContract = action === 'collect_new_evidence'
+            ? buildResolveIOSupportEvidenceProbeContract({
+                diagnosisGate: diagnosisValidation.normalized,
+                issueClassProbePlan: issueClassProbePlan,
+                evidenceFreshness: evidenceFreshness,
+                requiredEvidence: requiredEvidence,
+                now: input.now
+            })
+            : undefined;
+        var autonomyPolicy = input.autonomyPolicy
+            ? (0, ai_runner_manager_policy_1.decideResolveIOAIManagerAutonomyPolicy)(__assign(__assign({}, input.autonomyPolicy), { dispatchAction: supportManagerDispatchActionForNextAction(action, fields, preflightGate), projectedActionCostUsd: (_a = input.autonomyPolicy.projectedActionCostUsd) !== null && _a !== void 0 ? _a : supportProjectedActionCostUsdForNextAction(action, fields), evidenceStrength: input.autonomyPolicy.evidenceStrength || evidenceFreshness.evidenceStrength, materialEvidence: (_b = input.autonomyPolicy.materialEvidence) !== null && _b !== void 0 ? _b : evidenceFreshness.materialEvidence, newEvidence: (_c = input.autonomyPolicy.newEvidence) !== null && _c !== void 0 ? _c : evidenceFreshness.newEvidence, evidenceSignals: input.autonomyPolicy.evidenceSignals || evidenceFreshness.evidenceSignals, operatorApproved: (_d = input.operatorApproved) !== null && _d !== void 0 ? _d : input.autonomyPolicy.operatorApproved }))
+            : undefined;
+        var nextActionContract = buildNextActionContract(action, label, reason, fields, rootCauseReadiness, continuationProofCheckpoint, primaryCommand, nextCommands, requiredEvidence, forbiddenActions, blockers, evidenceProbeContract, autonomyApproval, productRepairDispatchGuard, autopilotCompletionProgress);
         var managerExecutionPacket = buildResolveIOSupportManagerExecutionPacket(nextActionContract, input.now);
         var humanReviewPacket = fields.humanReviewPacket
             || (action === 'draft_customer_reply' && customerReplyPolicy.humanReviewPacket ? customerReplyPolicy.humanReviewPacket : undefined)
@@ -4171,7 +5934,7 @@ function decideResolveIOSupportV5AutonomousNextAction(input) {
             forbiddenActions: forbiddenActions,
             blockers: blockers,
             ownerFiles: ownerFiles,
-            issueClass: ((_a = diagnosisValidation.normalized) === null || _a === void 0 ? void 0 : _a.issue_class) || repairGate.issueClass,
+            issueClass: ((_e = diagnosisValidation.normalized) === null || _e === void 0 ? void 0 : _e.issue_class) || repairGate.issueClass,
             expectedProof: expectedProof,
             issueClassProbes: issueClassProbes,
             issueClassProbePlan: issueClassProbePlan,
@@ -4191,6 +5954,11 @@ function decideResolveIOSupportV5AutonomousNextAction(input) {
             managerExecutionPacket: managerExecutionPacket,
             humanReviewPacket: humanReviewPacket,
             humanDecisionRequest: humanDecisionRequest,
+            evidenceProbeContract: evidenceProbeContract,
+            autonomyApproval: autonomyApproval,
+            productRepairDispatchGuard: productRepairDispatchGuard,
+            autopilotCompletionProgress: autopilotCompletionProgress,
+            autonomyPolicy: autonomyPolicy,
             hotfixContinuation: fields.hotfixContinuation,
             hotfixDurabilityContract: fields.hotfixDurabilityContract,
             recordedAt: isoNow(input.now)
@@ -4468,6 +6236,164 @@ function decideResolveIOSupportV5AutonomousNextAction(input) {
             forbiddenActions: ['Do not run release or customer reply until businessProofReadiness.ready=true.']
         });
     }
+    var prReadinessContract = cleanObject(input.prReadinessContract);
+    var prReadinessStatus = cleanText(prReadinessContract.status, 120).toLowerCase();
+    var prReadinessReady = prReadinessContract.ready === true || prReadinessStatus === 'ready';
+    var pullRequestUrl = cleanText(prReadinessContract.pull_request_url || prReadinessContract.pullRequestUrl, 500);
+    var prReviewContract = normalizeSupportAutopilotPrReviewContract(input.prReviewContract);
+    var prReviewReady = prReviewContract.ready === true;
+    var approvalSource = cleanObject(input.autonomyApproval);
+    var approvedAutopilotUntilPr = (approvalSource.approved === true || cleanText(approvalSource.status, 120).toLowerCase() === 'approved_autopilot')
+        && (approvalSource.after_approval_autopilot_until_a_grade === true
+            || approvalSource.afterApprovalAutopilotUntilAGrade === true
+            || approvalSource.autopilot_after_approval_until_a_grade === true
+            || approvalSource.autopilotAfterApprovalUntilAGrade === true
+            || !!approvalSource.autopilot_completion_contract
+            || !!approvalSource.autopilotCompletionContract);
+    if (!activeMicrotask && businessProofReadiness.ready && (approvedAutopilotUntilPr || prReadinessReady) && !pullRequestUrl) {
+        return makeDecision('create_pr', 'Create PR', 'support_v5_business_proof_complete_create_a_grade_pr', {
+            canRunAutonomously: true,
+            canRunModel: false,
+            canRunQa: false,
+            canEditProductCode: false,
+            lane: 'release',
+            stepType: 'release_gate',
+            primaryCommand: 'createSupportTicketCodexPullRequestManual',
+            nextCommands: [
+                'create_pr',
+                'createSupportTicketCodexPullRequestManual',
+                'record_support_pr_readiness_contract',
+                'run_a_grade_pr_review',
+                'park_before_merge_release_or_customer_send'
+            ],
+            requiredEvidence: [
+                'AIQaBusinessAssertion pass',
+                'QA screenshot or trace artifact',
+                'changed files subset of owner_files',
+                'PR readiness contract',
+                'pull_request_url'
+            ],
+            forbiddenActions: [
+                'Do not merge the PR from this action.',
+                'Do not release, deploy, or send customer success reply from PR packaging alone.'
+            ]
+        });
+    }
+    if (!activeMicrotask && businessProofReadiness.ready && approvedAutopilotUntilPr && pullRequestUrl) {
+        if (!prReviewReady) {
+            if (prReviewContract.nextAction === 'run_business_proof_qa') {
+                return makeDecision('run_business_proof_qa', 'Run Business Proof QA', 'support_v5_a_grade_review_requires_business_proof', {
+                    failureClass: prReviewContract.failureClass || 'business_proof',
+                    blockerFingerprint: prReviewContract.blockerFingerprint,
+                    evidenceHash: prReviewContract.evidenceHash,
+                    canRunAutonomously: true,
+                    canRunQa: true,
+                    canRunModel: false,
+                    canEditProductCode: false,
+                    lane: 'qa',
+                    stepType: 'business_proof',
+                    primaryCommand: 'run_support_v5_business_proof_qa_row',
+                    nextCommands: ['execute_issue_class_probe', 'record_before_action_after_artifacts', 'write_aiqa_business_assertion', 'rerun_support_a_grade_pr_review'],
+                    requiredEvidence: Array.from(new Set(__spreadArray([
+                        'AIQaBusinessAssertion before/action/after proof',
+                        'QA screenshot or trace artifact'
+                    ], __read(prReviewContract.evidenceRefs), false))),
+                    blockers: Array.from(new Set(__spreadArray(__spreadArray([], __read(prReviewContract.blockers), false), [
+                        prReviewContract.strictGateReason ? "strict_gate:".concat(prReviewContract.strictGateReason) : '',
+                        prReviewContract.blockerFingerprint ? "blocker_fingerprint:".concat(prReviewContract.blockerFingerprint) : ''
+                    ], false).filter(Boolean))),
+                    forbiddenActions: ['Do not merge, release, deploy, or send customer reply until A-grade PR review passes.']
+                });
+            }
+            if (prReviewContract.nextAction === 'run_owner_scoped_repair') {
+                return makeDecision('run_owner_scoped_repair', 'Run Owner-Scoped Repair', 'support_v5_a_grade_review_requires_owner_scoped_repair', {
+                    failureClass: prReviewContract.failureClass || 'grade_below_target',
+                    blockerFingerprint: prReviewContract.blockerFingerprint,
+                    evidenceHash: prReviewContract.evidenceHash,
+                    canRunAutonomously: true,
+                    canRunModel: true,
+                    canEditProductCode: true,
+                    lane: 'build',
+                    stepType: 'build_repair',
+                    primaryCommand: 'run_support_v5_owner_scoped_repair',
+                    nextCommands: ['repair_strict_gate_blocker_inside_owner_files', 'run_compile_preflight', 'run_business_proof_qa', 'rerun_support_a_grade_pr_review'],
+                    requiredEvidence: Array.from(new Set(__spreadArray(__spreadArray(__spreadArray([], __read(repairGate.ownerScopedRepairContract.requiredEvidenceBeforeRepair), false), __read(repairGate.ownerScopedRepairContract.requiredEvidenceAfterRepair), false), [
+                        'A-grade PR review blocker resolved'
+                    ], false))),
+                    blockers: Array.from(new Set(__spreadArray(__spreadArray(__spreadArray([], __read(repairGate.ownerScopedRepairContract.blockers), false), __read(prReviewContract.blockers), false), [
+                        prReviewContract.strictGateReason ? "strict_gate:".concat(prReviewContract.strictGateReason) : '',
+                        prReviewContract.blockerFingerprint ? "blocker_fingerprint:".concat(prReviewContract.blockerFingerprint) : ''
+                    ], false).filter(Boolean))),
+                    forbiddenActions: Array.from(new Set(__spreadArray(__spreadArray([], __read(repairGate.ownerScopedRepairContract.forbiddenActions), false), [
+                        'Do not edit outside owner_files unless diagnosis is revised with new evidence.',
+                        'Do not merge, release, deploy, or send customer reply until A-grade PR review passes.'
+                    ], false)))
+                });
+            }
+            return makeDecision('run_a_grade_pr_review', 'Run A-grade PR Review', 'support_v5_pr_exists_a_grade_review_required', {
+                failureClass: prReviewContract.failureClass || 'pr_review_evidence_missing',
+                blockerFingerprint: prReviewContract.blockerFingerprint,
+                evidenceHash: prReviewContract.evidenceHash,
+                canRunAutonomously: true,
+                canRunModel: false,
+                canRunQa: true,
+                canEditProductCode: false,
+                lane: 'release',
+                stepType: 'release_gate',
+                primaryCommand: 'run_support_a_grade_pr_review',
+                nextCommands: [
+                    'run_support_a_grade_pr_review',
+                    'fetch_support_testing_status_for_pr_review',
+                    'record_support_pr_review_contract',
+                    'park_before_merge_release_or_customer_send'
+                ],
+                requiredEvidence: [
+                    'pull_request_url',
+                    'A-grade execution/artifacts/pull_request review',
+                    'strict gate pass',
+                    'AIQaBusinessAssertion before/action/after proof',
+                    'QA screenshot or trace artifact'
+                ],
+                blockers: Array.from(new Set(__spreadArray(__spreadArray([], __read(prReviewContract.blockers), false), [
+                    prReviewContract.strictGateReason ? "strict_gate:".concat(prReviewContract.strictGateReason) : '',
+                    prReviewContract.blockerFingerprint ? "blocker_fingerprint:".concat(prReviewContract.blockerFingerprint) : '',
+                    'A-grade PR review has not passed yet.'
+                ], false).filter(Boolean))),
+                forbiddenActions: [
+                    'Do not merge the PR from this action.',
+                    'Do not release, deploy, or send customer reply from PR review alone.',
+                    'If strict review fails, route to the bounded blocker action instead of accepting from PR URL alone.'
+                ]
+            });
+        }
+        return makeDecision('park_manual', 'Review A-grade PR', 'support_v5_approved_autopilot_reached_a_grade_pr_review_required', {
+            canRunAutonomously: false,
+            canRunModel: false,
+            canRunQa: false,
+            canEditProductCode: false,
+            lane: 'release',
+            stepType: 'release_gate',
+            primaryCommand: 'review_a_grade_pr_and_release_gate',
+            nextCommands: [
+                'review_a_grade_pr_and_release_gate',
+                'approve_merge_release_or_customer_reply',
+                'park_before_merge_release_or_customer_send'
+            ],
+            requiredEvidence: [
+                'pull_request_url',
+                'A-grade execution/artifacts/pull_request review',
+                'strict gate pass',
+                'AIQaBusinessAssertion pass',
+                'QA screenshots or trace artifacts',
+                'human approval before merge/release/customer send'
+            ],
+            blockers: ['Approved autopilot reached PR proof; merge, release, deploy, and customer reply require separate human/release approval.'],
+            forbiddenActions: [
+                'Do not merge the PR without human approval.',
+                'Do not release, deploy, or send customer reply from approved-autopilot completion alone.'
+            ]
+        });
+    }
     if (!activeMicrotask && businessProofReadiness.ready) {
         return makeDecision('ready_for_release_gate', 'Run Release Gate', 'support_v5_business_proof_complete_release_gate_ready', {
             canRunAutonomously: true,
@@ -4486,9 +6412,10 @@ function decideResolveIOSupportV5AutonomousNextAction(input) {
         lane: (activeMicrotask === null || activeMicrotask === void 0 ? void 0 : activeMicrotask.lane) || 'build',
         stepType: activeStepType || 'build_repair',
         primaryCommand: 'run_support_v5_owner_scoped_repair',
-        nextCommands: ['load_owner_files_only', 'apply_smallest_fix', 'run_smallest_compile_or_unit_gate', 'handoff_to_business_proof_qa'],
-        requiredEvidence: ['changed files within owner_files', 'compile/unit proof', 'next QA row'],
-        forbiddenActions: ['Do not edit outside owner_files unless diagnosis is revised with new evidence.']
+        nextCommands: repairGate.ownerScopedRepairContract.nextCommands,
+        requiredEvidence: Array.from(new Set(__spreadArray(__spreadArray([], __read(repairGate.ownerScopedRepairContract.requiredEvidenceBeforeRepair), false), __read(repairGate.ownerScopedRepairContract.requiredEvidenceAfterRepair), false))),
+        blockers: repairGate.ownerScopedRepairContract.blockers,
+        forbiddenActions: repairGate.ownerScopedRepairContract.forbiddenActions
     });
 }
 function buildResolveIOSupportV5DiagnoseFirstPrompt(lines) {
@@ -4744,7 +6671,7 @@ function buildResolveIOSupportV5MicrotaskPrompt(input) {
     };
 }
 function summarizeResolveIOSupportV5MicrotaskUsage(bundle) {
-    var e_11, _a, e_12, _b;
+    var e_12, _a, e_13, _b;
     var byMicrotask = new Map();
     var bySection = new Map();
     var totalPromptTokenEstimate = 0;
@@ -4759,17 +6686,17 @@ function summarizeResolveIOSupportV5MicrotaskUsage(bundle) {
             existing.calls += 1;
             byMicrotask.set(usage.microtaskId, existing);
             try {
-                for (var _e = (e_12 = void 0, __values(usage.promptSections || [])), _f = _e.next(); !_f.done; _f = _e.next()) {
+                for (var _e = (e_13 = void 0, __values(usage.promptSections || [])), _f = _e.next(); !_f.done; _f = _e.next()) {
                     var section = _f.value;
                     bySection.set(section.name, (bySection.get(section.name) || 0) + section.tokenEstimate);
                 }
             }
-            catch (e_12_1) { e_12 = { error: e_12_1 }; }
+            catch (e_13_1) { e_13 = { error: e_13_1 }; }
             finally {
                 try {
                     if (_f && !_f.done && (_b = _e.return)) _b.call(_e);
                 }
-                finally { if (e_12) throw e_12.error; }
+                finally { if (e_13) throw e_13.error; }
             }
             var hardCap = usage.lane === 'qa' ? promptBudget.qaMicrotaskHardCap : promptBudget.buildMicrotaskHardCap;
             if ((usage.promptTokenEstimate || 0) > hardCap) {
@@ -4777,12 +6704,12 @@ function summarizeResolveIOSupportV5MicrotaskUsage(bundle) {
             }
         }
     }
-    catch (e_11_1) { e_11 = { error: e_11_1 }; }
+    catch (e_12_1) { e_12 = { error: e_12_1 }; }
     finally {
         try {
             if (_d && !_d.done && (_a = _c.return)) _a.call(_c);
         }
-        finally { if (e_11) throw e_11.error; }
+        finally { if (e_12) throw e_12.error; }
     }
     return {
         totalPromptTokenEstimate: totalPromptTokenEstimate,