@resolveio/server-lib 22.3.175 → 22.3.176

package/src/util/support-runner-v5.ts

@@ -0,0 +1,4785 @@
+import {
+	buildResolveIOAIManagerRecoveryCheckpoint,
+	buildResolveIOAIManagerRecoveryActionPacket,
+	buildResolveIOAIManagerRecoveryEvidenceProbe,
+	buildResolveIOAIManagerRecoveryPlan,
+	decideResolveIOAIManagerHotfixContinuation,
+	decideResolveIOAIManagerPolicy,
+	hashResolveIOAIManagerEvidence,
+	ResolveIOAIManagerHotfixContinuationDecision,
+	ResolveIOAIManagerHotfixFirstReleasePolicy,
+	ResolveIOAIManagerEvidenceStrength,
+	ResolveIOAIManagerRecoveryCheckpoint,
+	ResolveIOAIManagerRecoveryActionPacket,
+	ResolveIOAIManagerRecoveryActionDispatchRecord,
+	ResolveIOAIManagerRecoveryExecutionDirective,
+	ResolveIOAIManagerRecoveryEvidenceProbe,
+	ResolveIOAIManagerRecoveryPlan,
+	ResolveIOAIManagerRecoveryPlanInput
+} from './ai-runner-manager-policy';
+
+export type ResolveIOSupportV5StepType =
+	| 'diagnosis_gate'
+	| 'reproduction_probe'
+	| 'issue_class_probe'
+	| 'business_proof'
+	| 'compile_check'
+	| 'startup_check'
+	| 'live_seed'
+	| 'auth_bootstrap'
+	| 'route_probe'
+	| 'qa_row'
+	| 'build_repair'
+	| 'qa_retest'
+	| 'pr_review'
+	| 'artifact_package'
+	| 'cleanup';
+
+export type ResolveIOSupportV5Outcome =
+	| 'pass'
+	| 'needs_repair'
+	| 'retry_same_step'
+	| 'park_manual'
+	| 'budget_stop'
+	| 'infra_retry'
+	| 'ready_for_merge';
+
+export type ResolveIOSupportV5Lane = 'build' | 'qa' | 'review' | 'supervisor';
+
+export type ResolveIOSupportIssueClass =
+	| 'no_op_submit'
+	| 'missing_wrong_data'
+	| 'filter_query_mismatch'
+	| 'invoice_pdf_export'
+	| 'upload_import'
+	| 'route_auth_hydration'
+	| 'slow_query_performance';
+
+export type ResolveIOSupportDiagnosisGateStatus = 'missing' | 'incomplete' | 'blocked' | 'passed';
+
+export type ResolveIOSupportV5FailureClass =
+	| 'diagnosis'
+	| 'infra'
+	| 'compile'
+	| 'route'
+	| 'business'
+	| 'product_code'
+	| 'qa_evidence'
+	| 'release'
+	| 'unknown';
+
+export interface ResolveIOSupportDiagnosisIssueCase {
+	customer_complaint: string;
+	expected_result: string;
+	observed_result: string;
+	route_module: string;
+	account_customer_context: string;
+	reproduction_status: 'reproduced' | 'blocked' | 'classified';
+	reproduction_blocker?: string;
+}
+
+export interface ResolveIOSupportDiagnosisHypothesis {
+	statement: string;
+	falsifiable_test: string;
+	evidence: string[];
+}
+
+export interface ResolveIOSupportDiagnosisFailingPath {
+	frontend?: string;
+	backend?: string;
+	shared_library?: string;
+	data_query?: string;
+	description: string;
+}
+
+export interface ResolveIOSupportDiagnosisBusinessProofContract {
+	issue_class: ResolveIOSupportIssueClass;
+	setup_state: string;
+	action_under_test: string;
+	expected_business_state_change: string;
+	prohibited_false_pass: string;
+	proof_artifacts: string[];
+	data_or_dom_assertion: string;
+}
+
+export interface ResolveIOSupportDiagnosisProofPlan {
+	before: string;
+	before_state_unavailable_reason?: string;
+	action: string;
+	after: string;
+	business_assertion: string;
+	route?: string;
+	data_assertion?: string;
+	artifact_expectation?: string;
+	business_proof_contract?: ResolveIOSupportDiagnosisBusinessProofContract;
+}
+
+export interface ResolveIOSupportDiagnosisHint {
+	id?: string;
+	ticketNumber?: string;
+	title?: string;
+	outcome?: string;
+	issueClass?: string;
+	ownerFiles?: string[];
+	commitSha?: string;
+	commitMessage?: string;
+	reason?: string;
+}
+
+export type ResolveIOSupportSimilarCaseSource = 'airun' | 'support_ticket' | 'git_commit' | 'manual';
+
+export interface ResolveIOSupportSimilarCaseCandidate extends ResolveIOSupportDiagnosisHint {
+	source: ResolveIOSupportSimilarCaseSource;
+	summary?: string;
+	keywords?: string[];
+	updatedAt?: string;
+	metadata?: Record<string, any>;
+}
+
+export interface ResolveIOSupportSimilarCaseRankedHint extends ResolveIOSupportDiagnosisHint {
+	source: ResolveIOSupportSimilarCaseSource;
+	score: number;
+	structuredSignals: string[];
+	advisoryOnly: true;
+}
+
+export interface ResolveIOSupportSimilarCaseSelectionInput {
+	issueClass?: ResolveIOSupportIssueClass | string;
+	ownerFiles?: any;
+	text?: any;
+	candidates?: any[];
+	limit?: number;
+	now?: Date | string;
+}
+
+export interface ResolveIOSupportSimilarCaseSelection {
+	ranked: ResolveIOSupportSimilarCaseRankedHint[];
+	similarTickets: ResolveIOSupportSimilarCaseRankedHint[];
+	similarCommits: ResolveIOSupportSimilarCaseRankedHint[];
+	ignoredCount: number;
+	generatedAt: string;
+}
+
+export type ResolveIOSupportDiagnosisEvidencePackStatus =
+	| 'needs_diagnosis'
+	| 'diagnosis_ready'
+	| 'blocked';
+
+export interface ResolveIOSupportIssueClassProbeCatalogEntry {
+	issue_class: ResolveIOSupportIssueClass;
+	probe_type: ResolveIOSupportV5StepType;
+	failure_class: ResolveIOSupportV5FailureClass;
+	action: string;
+	proof_required: string;
+	required_artifacts: string[];
+	acceptance_gate: 'aiqa_business_assertion';
+	false_pass_blockers: string[];
+}
+
+export interface ResolveIOSupportDiagnosisEvidencePack {
+	packId: string;
+	status: ResolveIOSupportDiagnosisEvidencePackStatus;
+	readOnly: true;
+	sourceEditsAllowed: false;
+	rootCauseFirstRequired: true;
+	requiredOutputKey: 'support_diagnosis_gate';
+	requiredFields: string[];
+	requiredEvidence: string[];
+	forbiddenActions: string[];
+	diagnosisValid: boolean;
+	diagnosisStatus: ResolveIOSupportDiagnosisGateStatus;
+	validationBlockers: string[];
+	issueClassHint?: ResolveIOSupportIssueClass;
+	ownerFileHints: string[];
+	activeMicrotaskId?: string;
+	similarCaseSelection: ResolveIOSupportSimilarCaseSelection;
+	issueClassProbeCatalog: ResolveIOSupportIssueClassProbeCatalogEntry[];
+	structuredFacts: Record<string, any>;
+	generatedAt: string;
+}
+
+export interface ResolveIOSupportDiagnosisEvidencePackInput {
+	bundle?: ResolveIOSupportV5StateBundle;
+	diagnosisGate?: any;
+	similarCaseHints?: any;
+	issueClass?: ResolveIOSupportIssueClass | string;
+	ownerFiles?: any;
+	text?: any;
+	ticketContext?: Record<string, any>;
+	now?: Date | string;
+}
+
+export interface ResolveIOSupportDiagnosisEvidence {
+	type: 'ticket' | 'browser' | 'mongo' | 'log' | 'code' | 'commit' | 'qa' | 'other';
+	summary: string;
+	artifactPath?: string;
+}
+
+export interface ResolveIOSupportDiagnosisGate {
+	issue_case: ResolveIOSupportDiagnosisIssueCase;
+	issue_class: ResolveIOSupportIssueClass;
+	accepted_hypothesis: ResolveIOSupportDiagnosisHypothesis;
+	rejected_alternatives: string[];
+	failing_path: ResolveIOSupportDiagnosisFailingPath;
+	owner_files: string[];
+	proof_plan: ResolveIOSupportDiagnosisProofPlan;
+	similar_tickets?: ResolveIOSupportDiagnosisHint[];
+	similar_commits?: ResolveIOSupportDiagnosisHint[];
+	evidence: ResolveIOSupportDiagnosisEvidence[];
+	status: ResolveIOSupportDiagnosisGateStatus;
+	updatedAt?: string;
+}
+
+export interface ResolveIOSupportDiagnosisGateValidation {
+	valid: boolean;
+	status: ResolveIOSupportDiagnosisGateStatus;
+	blockers: string[];
+	normalized?: ResolveIOSupportDiagnosisGate;
+	evidenceQuality?: ResolveIOSupportDiagnosisEvidenceQuality;
+}
+
+export interface ResolveIOSupportDiagnosisEvidenceQuality {
+	valid: boolean;
+	blockers: string[];
+	evidenceTypes: ResolveIOSupportDiagnosisEvidence['type'][];
+	reproductionEvidenceTypes: ResolveIOSupportDiagnosisEvidence['type'][];
+	rootCauseEvidenceTypes: ResolveIOSupportDiagnosisEvidence['type'][];
+	artifactBackedEvidenceCount: number;
+	hasTicketContext: boolean;
+	hasRootCauseEvidence: boolean;
+	hasReproductionEvidence: boolean;
+}
+
+export type ResolveIOSupportCustomerReplyAction =
+	| 'draft_resolution_reply'
+	| 'ask_clarification'
+	| 'hold_internal';
+
+export type ResolveIOSupportHumanReviewType =
+	| 'diagnosis_gate'
+	| 'owner_scoped_repair'
+	| 'business_proof_qa'
+	| 'release_hotfix'
+	| 'customer_resolution_reply'
+	| 'customer_clarification'
+	| 'new_evidence'
+	| 'internal_hold';
+
+export interface ResolveIOSupportHumanReviewPacket {
+	reviewType: ResolveIOSupportHumanReviewType;
+	title: string;
+	summary: string;
+	primaryAction: string;
+	question?: string;
+	customerFacingDraftAllowed: boolean;
+	customerSendAllowed: boolean;
+	requiresHumanApproval: boolean;
+	safety: 'safe_to_draft' | 'needs_clarification' | 'internal_hold';
+	reason: string;
+	blockers: string[];
+	requiredEvidence: string[];
+	evidenceRefs: string[];
+	nextCommands: string[];
+	forbiddenActions: string[];
+	costRisk: 'free_or_deterministic' | 'small_model_or_qa' | 'expensive_model' | 'release_or_customer_send';
+	createdAt: string;
+}
+
+export interface ResolveIOSupportCustomerReplyPolicyInput {
+	diagnosisGate?: any;
+	outcomeLabel?: string;
+	confidence?: any;
+	businessAssertionStatus?: string;
+	businessAssertions?: any[];
+	businessProofArtifacts?: any[];
+	previousProofFingerprint?: string;
+	previousArtifactFingerprint?: string;
+	unresolvedBlockers?: any[];
+	releaseStatus?: string;
+}
+
+export interface ResolveIOSupportCustomerReplyPolicy {
+	action: ResolveIOSupportCustomerReplyAction;
+	canDraftCustomerReply: boolean;
+	canSendCustomerReply: boolean;
+	confidenceLevel: 'high' | 'medium' | 'low' | 'unknown';
+	safety: 'safe_to_draft' | 'needs_clarification' | 'internal_hold';
+	reason: string;
+	requiredEvidence: string[];
+	clarificationQuestion?: string;
+	humanReviewPacket?: ResolveIOSupportHumanReviewPacket;
+	draftBasis?: {
+		issueClass: ResolveIOSupportIssueClass;
+		businessProof: string;
+		artifactCount: number;
+	};
+}
+
+export interface ResolveIOSupportIssueClassProbe {
+	issue_class: ResolveIOSupportIssueClass;
+	probe_type: ResolveIOSupportV5StepType;
+	failure_class: ResolveIOSupportV5FailureClass;
+	objective: string;
+	route?: string;
+	action: string;
+	expected_evidence: string;
+	expected_business_proof: string;
+	required_artifacts: string[];
+	state_transition: {
+		before: string;
+		action: string;
+		after: string;
+		assertion: string;
+	};
+	acceptance_gate: 'aiqa_business_assertion';
+	blocks_acceptance_without_business_assertion: boolean;
+}
+
+export interface ResolveIOSupportBusinessProofAssertion {
+	assertion: string;
+	status: string;
+	workflow?: string;
+	route?: string;
+	before?: string;
+	action?: string;
+	expected?: string;
+	after?: string;
+	observed?: string;
+	dataProof?: string;
+	mongoDelta?: Record<string, any>;
+	artifactPaths: string[];
+	message?: string;
+	acceptanceBlocked?: boolean;
+	routeOnly?: boolean;
+	metadata?: Record<string, any>;
+}
+
+export interface ResolveIOSupportBusinessProofReadinessInput {
+	diagnosisGate?: any;
+	outcomeLabel?: string;
+	businessAssertionStatus?: string;
+	businessAssertions?: any[];
+	businessProofArtifacts?: any[];
+	previousProofFingerprint?: string;
+	previousArtifactFingerprint?: string;
+}
+
+export interface ResolveIOSupportBusinessProofReadiness {
+	ready: boolean;
+	status: 'missing' | 'route_only' | 'failed' | 'blocked' | 'weak' | 'stale' | 'passed';
+	reason: string;
+	blockers: string[];
+	requiredEvidence: string[];
+	artifactPaths: string[];
+	proofFingerprint: string;
+	artifactFingerprint: string;
+	proofFreshness: 'missing' | 'fresh' | 'same_as_previous' | 'stale_artifact' | 'unknown';
+	matchedAssertion?: ResolveIOSupportBusinessProofAssertion;
+}
+
+export interface ResolveIOSupportV5RepeatStopInput {
+	history: ResolveIOSupportV5StepRecord[];
+	failureClass?: ResolveIOSupportV5FailureClass | string;
+	blocker?: string;
+	evidence?: any;
+	evidenceHash?: string;
+	changedFiles?: any;
+	artifactPaths?: any;
+	limit?: number;
+	ignoreInfra?: boolean;
+}
+
+export interface ResolveIOSupportV5RepeatStopDecision {
+	shouldStop: boolean;
+	repeatedCount: number;
+	failureClass: string;
+	blockerFingerprint: string;
+	evidenceHash: string;
+	newEvidence?: boolean;
+	materialEvidence?: boolean;
+	evidenceStrength?: ResolveIOAIManagerEvidenceStrength;
+	evidenceSignals?: string[];
+	reason: string;
+}
+
+export type ResolveIOSupportEvidenceFreshnessStatus =
+	| 'missing'
+	| 'fresh'
+	| 'retry_below_limit'
+	| 'material_evidence'
+	| 'weak_evidence'
+	| 'stale_repeated'
+	| 'ping_pong'
+	| 'infra_ignored';
+
+export interface ResolveIOSupportEvidenceFreshness {
+	status: ResolveIOSupportEvidenceFreshnessStatus;
+	failureClass: string;
+	blockerFingerprint: string;
+	evidenceHash: string;
+	sameFailureCount: number;
+	pingPongCount: number;
+	newEvidence: boolean;
+	materialEvidence: boolean;
+	evidenceStrength: ResolveIOAIManagerEvidenceStrength;
+	evidenceSignals: string[];
+	loopBudgetShouldReset: boolean;
+	canRetry: boolean;
+	mustCollectNewEvidence: boolean;
+	productRepairFailure: boolean;
+	reason: string;
+	requiredResetEvidence: string[];
+	changedFiles: string[];
+	artifactPaths: string[];
+}
+
+export type ResolveIOSupportV5RepairGateAction =
+	| 'diagnose_only'
+	| 'infra_repair_only'
+	| 'allow_product_repair'
+	| 'reject_out_of_scope'
+	| 'park_repeated_failure';
+
+export interface ResolveIOSupportV5RepairGateInput {
+	diagnosisGate?: any;
+	activeStepType?: ResolveIOSupportV5StepType | string;
+	changedFiles?: any;
+	artifactPaths?: any;
+	failureClass?: ResolveIOSupportV5FailureClass | string;
+	blocker?: string;
+	evidence?: any;
+	evidenceHash?: string;
+	history?: ResolveIOSupportV5StepRecord[];
+	maxOwnerFiles?: number;
+	maxRepeatedNoProgress?: number;
+	allowTestsOutsideOwnerFiles?: boolean;
+}
+
+export interface ResolveIOSupportV5RepairGateDecision {
+	action: ResolveIOSupportV5RepairGateAction;
+	canEditProductCode: boolean;
+	blockers: string[];
+	ownerFiles: string[];
+	issueClass?: ResolveIOSupportIssueClass;
+	proofPlan?: ResolveIOSupportDiagnosisProofPlan;
+	outsideOwnerFiles: string[];
+	repeatedFailure?: ResolveIOSupportV5RepeatStopDecision;
+	diagnosisValidation: ResolveIOSupportDiagnosisGateValidation;
+	recoveryPlan: ResolveIOAIManagerRecoveryPlan;
+	recoveryCheckpoint: ResolveIOAIManagerRecoveryCheckpoint;
+	recoveryEvidenceProbe: ResolveIOAIManagerRecoveryEvidenceProbe;
+	recoveryAction: ResolveIOAIManagerRecoveryActionPacket;
+}
+
+export type ResolveIOSupportV5MicrotaskStatus =
+	| 'pending'
+	| 'in_progress'
+	| 'pass'
+	| 'needs_repair'
+	| 'blocked'
+	| 'parked';
+
+export type ResolveIOSupportV5MicrotaskType =
+	| ResolveIOSupportV5StepType
+	| 'planning'
+	| 'scope_slice'
+	| 'product_repair'
+	| 'runner_repair';
+
+export interface ResolveIOSupportV5PromptBudget {
+	initialPlannerCap: number;
+	buildMicrotaskCap: number;
+	buildMicrotaskHardCap: number;
+	qaMicrotaskCap: number;
+	qaMicrotaskHardCap: number;
+	repairMicrotaskCap: number;
+	repairMicrotaskHardCap: number;
+}
+
+export interface ResolveIOSupportV5Microtask {
+	microtaskId: string;
+	lane: ResolveIOSupportV5Lane;
+	type: ResolveIOSupportV5MicrotaskType;
+	status: ResolveIOSupportV5MicrotaskStatus;
+	objective: string;
+	targetFiles: string[];
+	contextRefs: string[];
+	selfGate: string;
+	acceptanceProof: string;
+	threadKey: string;
+	promptTokenEstimate?: number;
+	attempts: number;
+	dependsOn: string[];
+	parentScopeId?: string;
+	blocker?: string;
+	createdAt: string;
+	updatedAt: string;
+}
+
+export interface ResolveIOSupportV5UsageSection {
+	name: string;
+	tokenEstimate: number;
+}
+
+export interface ResolveIOSupportV5MicrotaskUsage {
+	microtaskId: string;
+	lane: ResolveIOSupportV5Lane;
+	model?: string;
+	threadKey?: string;
+	reuseThread: boolean;
+	freshReason?: string;
+	promptTokenEstimate: number;
+	promptSections: ResolveIOSupportV5UsageSection[];
+	actualInputTokens?: number;
+	actualCachedInputTokens?: number;
+	actualOutputTokens?: number;
+	durationMs?: number;
+	outcome?: ResolveIOSupportV5Outcome | ResolveIOSupportV5MicrotaskStatus;
+	recordedAt: string;
+}
+
+export interface ResolveIOSupportV5Budget {
+	maxPromptTokensPerNonInitialStep: number;
+	maxLoopsPerTicket: number;
+	maxRepeatedNoProgress: number;
+	maxRuntimeMinutesPerLoop: number;
+	totalPromptTokenEstimate: number;
+	totalRuntimeMs: number;
+	loopCount: number;
+}
+
+export interface ResolveIOSupportV5LaneMemory {
+	lane: ResolveIOSupportV5Lane;
+	model: string;
+	threadKey: string;
+	scopeSummary: string;
+	activeBlocker: string;
+	activeQaRow?: {
+		index?: number;
+		workflow?: string;
+		route?: string;
+		assertion?: string;
+		status?: string;
+	};
+	changedFiles: string[];
+	artifactPaths: string[];
+	latestPromptTokenEstimate?: number;
+	updatedAt: string;
+}
+
+export interface ResolveIOSupportV5FailureFingerprint {
+	stepType: ResolveIOSupportV5StepType;
+	failureClass: string;
+	blockerFingerprint: string;
+	evidenceHash: string;
+	recordedAt: string;
+}
+
+export interface ResolveIOSupportV5SupervisorState {
+	version: 'v5';
+	status: 'active' | 'parked' | 'complete';
+	currentGoal: string;
+	approvedScope: string;
+	prBranch: string;
+	activeStep: ResolveIOSupportV5StepType;
+	activeBlocker: string;
+	lastGoodCheckpoint: string;
+	currentQaRow?: ResolveIOSupportV5LaneMemory['activeQaRow'];
+	processLease?: {
+		runId?: string;
+		token?: string;
+		generation?: number;
+		workspace?: string;
+		lane?: string;
+	};
+	artifactLinks: string[];
+	noEmailUnlessApproved: boolean;
+	updatedAt: string;
+}
+
+export interface ResolveIOSupportV5StepRecord {
+	microtaskId?: string;
+	stepType: ResolveIOSupportV5StepType;
+	outcome: ResolveIOSupportV5Outcome;
+	lane: ResolveIOSupportV5Lane;
+	model?: string;
+	threadKey?: string;
+	promptTokenEstimate?: number;
+	runtimeMs?: number;
+	summary: string;
+	blocker?: string;
+	changedFiles?: string[];
+	artifactPaths?: string[];
+	diagnosisGate?: ResolveIOSupportDiagnosisGate;
+	failureClass?: ResolveIOSupportV5FailureClass | string;
+	blockerFingerprint?: string;
+	evidenceHash?: string;
+	recordedAt: string;
+}
+
+export interface ResolveIOSupportV5RunnerIncident {
+	incidentClass: string;
+	summary: string;
+	stepType?: ResolveIOSupportV5StepType;
+	blockerFingerprint?: string;
+	artifactPaths?: string[];
+	recordedAt: string;
+}
+
+export interface ResolveIOSupportV5StateBundle {
+	supportWorkflowVersion: 'v5';
+	supportV5SupervisorState: ResolveIOSupportV5SupervisorState;
+	supportV5DiagnosisGate?: ResolveIOSupportDiagnosisGate;
+	supportV5DiagnosisEvidencePack?: ResolveIOSupportDiagnosisEvidencePack;
+	supportV5LaneMemory: {
+		build: ResolveIOSupportV5LaneMemory;
+		qa: ResolveIOSupportV5LaneMemory;
+	};
+	supportV5StepHistory: ResolveIOSupportV5StepRecord[];
+	supportV5Budget: ResolveIOSupportV5Budget;
+	supportV5RunnerIncidents: ResolveIOSupportV5RunnerIncident[];
+	supportV5MicrotaskLedger: ResolveIOSupportV5Microtask[];
+	supportV5ActiveMicrotaskId?: string;
+	supportV5ScopeDigest?: string;
+	supportV5MicrotaskUsageHistory: ResolveIOSupportV5MicrotaskUsage[];
+	supportV5FailureFingerprints?: ResolveIOSupportV5FailureFingerprint[];
+	supportV5RecoveryPlan?: ResolveIOAIManagerRecoveryPlan;
+	supportV5RecoveryCheckpoint?: ResolveIOAIManagerRecoveryCheckpoint;
+	supportV5RecoveryEvidenceProbe?: ResolveIOAIManagerRecoveryEvidenceProbe;
+	supportV5RecoveryAction?: ResolveIOAIManagerRecoveryActionPacket;
+	supportV5RecoveryDispatchHistory?: ResolveIOAIManagerRecoveryActionDispatchRecord[];
+	supportV5RecoveryDirective?: ResolveIOAIManagerRecoveryExecutionDirective;
+}
+
+export interface ResolveIOSupportV5InitializeInput {
+	jobId: string;
+	ticketId?: string;
+	ticketNumber?: string;
+	title?: string;
+	description?: string;
+	approvedScopeRequirements?: string[];
+	approvedScopeHours?: number | null;
+	prBranch?: string;
+	buildThreadKey?: string;
+	qaThreadKey?: string;
+	processLease?: ResolveIOSupportV5SupervisorState['processLease'];
+	now?: Date | string;
+	existing?: Partial<ResolveIOSupportV5StateBundle>;
+}
+
+export interface ResolveIOSupportV5StepInput {
+	microtaskId?: string;
+	stepType: ResolveIOSupportV5StepType;
+	outcome: ResolveIOSupportV5Outcome;
+	lane: ResolveIOSupportV5Lane;
+	model?: string;
+	threadKey?: string;
+	promptTokenEstimate?: number;
+	runtimeMs?: number;
+	summary?: string;
+	blocker?: string;
+	changedFiles?: string[];
+	artifactPaths?: string[];
+	diagnosisGate?: ResolveIOSupportDiagnosisGate;
+	failureClass?: ResolveIOSupportV5FailureClass | string;
+	evidenceHash?: string;
+	activeQaRow?: ResolveIOSupportV5LaneMemory['activeQaRow'];
+	now?: Date | string;
+}
+
+export interface ResolveIOSupportV5ContinuationDecision {
+	action: 'continue' | 'park';
+	reason: string;
+	nextStep: ResolveIOSupportV5StepType;
+	repeatedNoProgressCount: number;
+	budgetExceeded: boolean;
+	recoveryPlan: ResolveIOAIManagerRecoveryPlan;
+	recoveryCheckpoint: ResolveIOAIManagerRecoveryCheckpoint;
+	recoveryEvidenceProbe: ResolveIOAIManagerRecoveryEvidenceProbe;
+	recoveryAction: ResolveIOAIManagerRecoveryActionPacket;
+}
+
+export type ResolveIOSupportV5AutonomousNextAction =
+	| 'run_diagnosis_gate'
+	| 'ask_customer_clarification'
+	| 'repair_infra_only'
+	| 'revise_diagnosis_scope'
+	| 'run_owner_scoped_repair'
+	| 'run_business_proof_qa'
+	| 'repair_release_hotfix_first'
+	| 'collect_new_evidence'
+	| 'draft_customer_reply'
+	| 'ready_for_release_gate'
+	| 'park_manual';
+
+export type ResolveIOSupportContinuationProofCheckpointStatus =
+	| 'waiting_for_state_transition'
+	| 'waiting_for_proof'
+	| 'waiting_for_new_evidence'
+	| 'ready_to_continue';
+
+export interface ResolveIOSupportContinuationProofCheckpoint {
+	required: boolean;
+	status: ResolveIOSupportContinuationProofCheckpointStatus;
+	action: ResolveIOSupportV5AutonomousNextAction;
+	reason: string;
+	startingFailureClass: string;
+	startingBlockerFingerprint: string;
+	startingEvidenceHash: string;
+	requiredEvidence: string[];
+	requiredResetEvidence: string[];
+	successRequiresNewEvidence: boolean;
+	blocksProductRepairUntilChangedEvidence: boolean;
+	nextAction: string;
+}
+
+export type ResolveIOSupportRootCauseReadinessStatus =
+	| 'diagnosis_required'
+	| 'customer_clarification_required'
+	| 'infra_repair_only'
+	| 'scope_revision_required'
+	| 'owner_scoped_repair_ready'
+	| 'business_proof_required'
+	| 'release_hotfix_required'
+	| 'release_gate_ready'
+	| 'customer_reply_draft_ready'
+	| 'collect_new_evidence'
+	| 'parked';
+
+export interface ResolveIOSupportRootCauseReadiness {
+	status: ResolveIOSupportRootCauseReadinessStatus;
+	nextGate: 'diagnosis' | 'infra' | 'scope' | 'repair' | 'business_proof' | 'release' | 'customer_reply' | 'evidence' | 'manual';
+	nextCommand: string;
+	rootCauseFirstSatisfied: boolean;
+	diagnosisValid: boolean;
+	ownerFilesReady: boolean;
+	proofPlanReady: boolean;
+	businessProofReady: boolean;
+	infraOnly: boolean;
+	sameFailureParked: boolean;
+	canEditProductCode: boolean;
+	canRunIssueClassProbe: boolean;
+	canRunBusinessProofQa: boolean;
+	canRelease: boolean;
+	canDraftCustomerReply: boolean;
+	requiresHumanDecision: boolean;
+	reason: string;
+	blockers: string[];
+	ownerFiles: string[];
+	issueClass?: ResolveIOSupportIssueClass;
+	expectedProof?: string;
+	issueClassProbes?: ResolveIOSupportIssueClassProbe[];
+	businessProofStatus?: ResolveIOSupportBusinessProofReadiness['status'];
+	proofFingerprint?: string;
+	artifactFingerprint?: string;
+	proofFreshness?: ResolveIOSupportBusinessProofReadiness['proofFreshness'];
+}
+
+export type ResolveIOSupportNextActionCostRisk =
+	| 'free_or_deterministic'
+	| 'small_model_or_qa'
+	| 'expensive_model'
+	| 'release_or_customer_send'
+	| 'manual_blocked';
+
+export interface ResolveIOSupportNextActionContract {
+	contractId: string;
+	action: ResolveIOSupportV5AutonomousNextAction;
+	label: string;
+	primaryCommand: string;
+	lane: ResolveIOSupportV5Lane | 'release' | 'customer';
+	stepType: ResolveIOSupportV5StepType | 'release_gate' | 'customer_reply';
+	safeToAutoRun: boolean;
+	requiresHumanApproval: boolean;
+	canRunWithoutCodexMonitor: boolean;
+	codexFallbackRequired: boolean;
+	codexFallbackReason: string;
+	costRisk: ResolveIOSupportNextActionCostRisk;
+	rootCauseFirstSatisfied: boolean;
+	decisionBasis: {
+		diagnosisValid: boolean;
+		ownerFilesReady: boolean;
+		proofPlanReady: boolean;
+		businessProofReady: boolean;
+		evidenceFreshnessStatus: ResolveIOSupportEvidenceFreshnessStatus;
+		evidenceStrength: ResolveIOAIManagerEvidenceStrength;
+		failureClass: string;
+		blockerFingerprint: string;
+		evidenceHash: string;
+		sameFailureCount: number;
+		hotfixCommitRequired: boolean;
+		liveHotfixBlockedUntilCommit: boolean;
+	};
+	preconditions: string[];
+	expectedStateTransition: string;
+	successEvidence: string[];
+	stopConditions: string[];
+	forbiddenActions: string[];
+	ownerFiles: string[];
+	blockers: string[];
+	nextCommands: string[];
+	createdAt: string;
+}
+
+export interface ResolveIOSupportV5AutonomousDecisionInput {
+	bundle: ResolveIOSupportV5StateBundle;
+	changedFiles?: any;
+	failureClass?: ResolveIOSupportV5FailureClass | string;
+	blocker?: any;
+	evidence?: any;
+	evidenceHash?: string;
+	outcomeLabel?: string;
+	confidence?: any;
+	businessAssertionStatus?: string;
+	businessAssertions?: any[];
+	businessProofArtifacts?: any[];
+	artifactPaths?: any;
+	previousProofFingerprint?: string;
+	previousArtifactFingerprint?: string;
+	unresolvedBlockers?: any[];
+	releaseStatus?: string;
+	hotfixEvidence?: any;
+	releasePolicy?: ResolveIOAIManagerHotfixFirstReleasePolicy;
+	releaseGatePassed?: boolean;
+	maxOwnerFiles?: number;
+	now?: Date | string;
+}
+
+export interface ResolveIOSupportV5AutonomousDecision {
+	action: ResolveIOSupportV5AutonomousNextAction;
+	label: string;
+	reason: string;
+	canRunAutonomously: boolean;
+	canEditProductCode: boolean;
+	canRunModel: boolean;
+	canRunQa: boolean;
+	canPrepareHotfixPatch: boolean;
+	canHotfixBackend: boolean;
+	liveHotfixBlockedUntilCommit: boolean;
+	canDraftCustomerReply: boolean;
+	canSendCustomerReply: boolean;
+	lane: ResolveIOSupportV5Lane | 'release' | 'customer';
+	stepType: ResolveIOSupportV5StepType | 'release_gate' | 'customer_reply';
+	microtaskId?: string;
+	primaryCommand: string;
+	nextCommands: string[];
+	requiredEvidence: string[];
+	forbiddenActions: string[];
+	blockers: string[];
+	ownerFiles: string[];
+	issueClass?: ResolveIOSupportIssueClass;
+	expectedProof?: string;
+	issueClassProbes: ResolveIOSupportIssueClassProbe[];
+	activeMicrotask?: ResolveIOSupportV5Microtask;
+	diagnosisValidation: ResolveIOSupportDiagnosisGateValidation;
+	repairGate: ResolveIOSupportV5RepairGateDecision;
+	continuation: ResolveIOSupportV5ContinuationDecision;
+	customerReplyPolicy: ResolveIOSupportCustomerReplyPolicy;
+	businessProofReadiness: ResolveIOSupportBusinessProofReadiness;
+	evidenceFreshness: ResolveIOSupportEvidenceFreshness;
+	rootCauseReadiness: ResolveIOSupportRootCauseReadiness;
+	continuationProofCheckpoint: ResolveIOSupportContinuationProofCheckpoint;
+	nextActionContract: ResolveIOSupportNextActionContract;
+	humanReviewPacket: ResolveIOSupportHumanReviewPacket;
+	hotfixContinuation?: ResolveIOAIManagerHotfixContinuationDecision;
+	recordedAt: string;
+}
+
+function isoNow(value?: Date | string): string {
+	if (value instanceof Date) {
+		return value.toISOString();
+	}
+	const parsed = value ? new Date(value) : new Date();
+	if (Number.isFinite(parsed.getTime())) {
+		return parsed.toISOString();
+	}
+	return new Date().toISOString();
+}
+
+function cleanText(value: any, max = 2000): string {
+	return String(value || '').replace(/\s+/g, ' ').trim().slice(0, max);
+}
+
+function cleanList(values: any, limit = 20, max = 500): string[] {
+	if (!Array.isArray(values)) {
+		return [];
+	}
+	const result: string[] = [];
+	for (const value of values) {
+		const normalized = cleanText(value, max);
+		if (normalized && !result.includes(normalized)) {
+			result.push(normalized);
+		}
+		if (result.length >= limit) {
+			break;
+		}
+	}
+	return result;
+}
+
+function cleanObject(value: any): Record<string, any> {
+	return value && typeof value === 'object' && !Array.isArray(value) ? value : {};
+}
+
+function pickText(source: Record<string, any>, fields: string[], max = 1000): string {
+	for (const field of fields) {
+		const normalized = cleanText(source?.[field], max);
+		if (normalized) {
+			return normalized;
+		}
+	}
+	return '';
+}
+
+function normalizeIssueClass(value: any): ResolveIOSupportIssueClass | '' {
+	const normalized = cleanText(value, 80)
+		.toLowerCase()
+		.replace(/[\s-]+/g, '_');
+	const aliases: Record<string, ResolveIOSupportIssueClass> = {
+		no_op: 'no_op_submit',
+		no_op_submit: 'no_op_submit',
+		submit_noop: 'no_op_submit',
+		missing_data: 'missing_wrong_data',
+		wrong_data: 'missing_wrong_data',
+		missing_wrong_data: 'missing_wrong_data',
+		filter_mismatch: 'filter_query_mismatch',
+		query_mismatch: 'filter_query_mismatch',
+		filter_query_mismatch: 'filter_query_mismatch',
+		invoice_pdf_export: 'invoice_pdf_export',
+		pdf_export: 'invoice_pdf_export',
+		export: 'invoice_pdf_export',
+		upload: 'upload_import',
+		import: 'upload_import',
+		upload_import: 'upload_import',
+		route_auth: 'route_auth_hydration',
+		auth_hydration: 'route_auth_hydration',
+		route_auth_hydration: 'route_auth_hydration',
+		slow_query: 'slow_query_performance',
+		performance: 'slow_query_performance',
+		slow_query_performance: 'slow_query_performance'
+	};
+	return aliases[normalized] || '';
+}
+
+function normalizeReproductionStatus(value: any): ResolveIOSupportDiagnosisIssueCase['reproduction_status'] {
+	const normalized = cleanText(value, 80).toLowerCase();
+	if (/blocked|unable|cannot/.test(normalized)) {
+		return 'blocked';
+	}
+	if (/classif|triag|inferred/.test(normalized)) {
+		return 'classified';
+	}
+	return 'reproduced';
+}
+
+function normalizeSupportDiagnosisEvidence(values: any): ResolveIOSupportDiagnosisEvidence[] {
+	const allowed = new Set(['ticket', 'browser', 'mongo', 'log', 'code', 'commit', 'qa', 'other']);
+	if (!Array.isArray(values)) {
+		const summary = cleanText(values, 1200);
+		return summary ? [{ type: 'other', summary }] : [];
+	}
+	const stringEvidence: ResolveIOSupportDiagnosisEvidence[] = values
+		.filter((entry) => typeof entry === 'string')
+		.map((entry) => ({
+			type: 'other' as const,
+			summary: cleanText(entry, 1200)
+		}));
+	const objectEvidence: ResolveIOSupportDiagnosisEvidence[] = values
+		.filter((entry) => entry && typeof entry === 'object' && !Array.isArray(entry))
+		.map((entry) => {
+			const type = cleanText(entry.type, 80).toLowerCase();
+			return {
+				type: (allowed.has(type) ? type : 'other') as ResolveIOSupportDiagnosisEvidence['type'],
+				summary: cleanText(entry.summary || entry.message || entry.evidence || entry.reason, 1200),
+				artifactPath: cleanText(entry.artifactPath || entry.path || entry.file, 500)
+			};
+		});
+	return stringEvidence.concat(objectEvidence)
+		.filter((entry) => entry.summary)
+		.slice(0, 20);
+}
+
+function normalizeSupportDiagnosisHints(values: any): ResolveIOSupportDiagnosisHint[] {
+	return (Array.isArray(values) ? values : [])
+		.map((entry) => {
+			if (typeof entry === 'string') {
+				return { reason: cleanText(entry, 500) };
+			}
+			const value = cleanObject(entry);
+			return {
+				id: cleanText(value.id || value._id, 160),
+				ticketNumber: cleanText(value.ticketNumber || value.ticket_number || value.sourceTicketNumber, 80),
+				title: cleanText(value.title || value.summary, 300),
+				outcome: cleanText(value.outcome || value.status, 80),
+				issueClass: cleanText(value.issueClass || value.issue_class, 80),
+				ownerFiles: cleanList(value.ownerFiles || value.owner_files || value.files, 8, 240),
+				commitSha: cleanText(value.commitSha || value.commit_sha, 80),
+				commitMessage: cleanText(value.commitMessage || value.commit_message, 300),
+				reason: cleanText(value.reason || value.matchReason || value.match_reason, 500)
+			};
+		})
+		.filter((entry) => entry.id || entry.ticketNumber || entry.title || entry.reason || entry.commitSha)
+		.slice(0, 8);
+}
+
+function normalizeSupportSimilarCaseSource(value: any): ResolveIOSupportSimilarCaseSource {
+	const normalized = cleanText(value, 80).toLowerCase();
+	if (/commit|git/.test(normalized)) {
+		return 'git_commit';
+	}
+	if (/ticket/.test(normalized)) {
+		return 'support_ticket';
+	}
+	if (/airun|ai_run|run/.test(normalized)) {
+		return 'airun';
+	}
+	return 'manual';
+}
+
+function supportOutcomeLooksAccepted(value: any): boolean {
+	return /^(accepted|pass|passed|complete|completed|merged|released)$/i.test(cleanText(value, 80));
+}
+
+function supportOutcomeLooksRejected(value: any): boolean {
+	return /\b(reject|rejected|false_pass|failed|failure|blocked|unknown|stopped|manual_handoff)\b/i.test(cleanText(value, 120));
+}
+
+function supportOwnerFileDirectory(value: string): string {
+	const normalized = normalizeOwnerFilePath(value);
+	const parts = normalized.split('/').filter(Boolean);
+	return parts.length > 1 ? parts.slice(0, -1).join('/') : normalized;
+}
+
+function supportTextTokens(value: any): string[] {
+	const stop = new Set(['the', 'and', 'for', 'with', 'that', 'this', 'from', 'into', 'when', 'where', 'what', 'have', 'has', 'had', 'not', 'but', 'are', 'was', 'were', 'issue', 'ticket', 'support']);
+	return Array.from(new Set(cleanText(value, 3000).toLowerCase()
+		.split(/[^a-z0-9_/-]+/g)
+		.map((token) => token.trim())
+		.filter((token) => token.length >= 3 && !stop.has(token))))
+		.slice(0, 80);
+}
+
+function normalizeResolveIOSupportSimilarCaseCandidate(value: any): ResolveIOSupportSimilarCaseCandidate | undefined {
+	const source = cleanObject(value);
+	if (!Object.keys(source).length && typeof value !== 'string') {
+		return undefined;
+	}
+	if (typeof value === 'string') {
+		const summary = cleanText(value, 500);
+		return summary ? {
+			source: 'manual',
+			title: summary,
+			summary,
+			keywords: supportTextTokens(summary)
+		} : undefined;
+	}
+	const metadata = cleanObject(source.metadata);
+	const runSourceIds = cleanObject(source.sourceIds || source.source_ids || metadata.sourceIds || metadata.source_ids);
+	const diagnosis = cleanObject(source.diagnosisGate || source.diagnosis_gate || source.supportV5DiagnosisGate || source.support_v5_diagnosis_gate || metadata.diagnosisGate || metadata.diagnosis_gate);
+	const sourceIds = cleanObject(source.sourceIds || source.source_ids || metadata.sourceIds || metadata.source_ids);
+	const sourceText = [
+		source.title,
+		source.summary,
+		source.message,
+		source.description,
+		source.reason,
+		source.commitMessage,
+		source.commit_message,
+		diagnosis.issue_case?.customer_complaint,
+		diagnosis.accepted_hypothesis?.statement
+	].filter(Boolean).join(' ');
+	const ownerFiles = cleanList(
+		source.ownerFiles
+		|| source.owner_files
+		|| source.files
+		|| diagnosis.owner_files
+		|| diagnosis.ownerFiles
+		|| metadata.ownerFiles
+		|| metadata.owner_files,
+		12,
+		300
+	).map(normalizeOwnerFilePath).filter(Boolean);
+	const issueClass = cleanText(
+		source.issueClass
+		|| source.issue_class
+		|| diagnosis.issue_class
+		|| diagnosis.issueClass
+		|| metadata.issueClass
+		|| metadata.issue_class,
+		80
+	);
+	const candidate: ResolveIOSupportSimilarCaseCandidate = {
+		source: normalizeSupportSimilarCaseSource(source.source || source.type || source.runSource),
+		id: cleanText(source.id || source._id || source.runId || source.run_id, 160),
+		ticketNumber: cleanText(source.ticketNumber || source.ticket_number || source.sourceTicketNumber || sourceIds.ticketNumber || runSourceIds.ticketNumber, 80),
+		title: cleanText(source.title || source.name || source.summary, 300),
+		outcome: cleanText(source.outcome || source.status || source.outcomeLabel || source.outcome_label, 80),
+		issueClass: normalizeIssueClass(issueClass) || cleanText(issueClass, 80),
+		ownerFiles,
+		commitSha: cleanText(source.commitSha || source.commit_sha || source.sha || source.sourceCommitSha || source.source_commit_sha, 80),
+		commitMessage: cleanText(source.commitMessage || source.commit_message || source.message, 300),
+		reason: cleanText(source.reason || source.matchReason || source.match_reason, 500),
+		summary: cleanText(source.summary || source.description || source.message || sourceText, 800),
+		keywords: cleanList(source.keywords || source.tags, 20, 80).concat(supportTextTokens(sourceText)).slice(0, 40),
+		updatedAt: isoNow(source.updatedAt || source.updated_at || source.recordedAt || source.recorded_at || source.createdAt || source.created_at),
+		metadata
+	};
+	if (!candidate.id && !candidate.ticketNumber && !candidate.title && !candidate.commitSha && !candidate.summary) {
+		return undefined;
+	}
+	if (candidate.commitSha && candidate.source === 'manual') {
+		candidate.source = 'git_commit';
+	}
+	if (candidate.ticketNumber && candidate.source === 'manual') {
+		candidate.source = 'support_ticket';
+	}
+	return candidate;
+}
+
+export function selectResolveIOSupportSimilarCaseHints(input: ResolveIOSupportSimilarCaseSelectionInput = {}): ResolveIOSupportSimilarCaseSelection {
+	const issueClass = normalizeIssueClass(input.issueClass);
+	const ownerFiles = cleanList(input.ownerFiles, 12, 300).map(normalizeOwnerFilePath).filter(Boolean);
+	const ownerFileSet = new Set(ownerFiles);
+	const ownerDirs = new Set(ownerFiles.map(supportOwnerFileDirectory).filter(Boolean));
+	const textTokens = new Set(supportTextTokens(input.text));
+	const limit = Math.max(1, Math.min(12, Number(input.limit || 6)));
+	const normalized = (Array.isArray(input.candidates) ? input.candidates : [])
+		.map(normalizeResolveIOSupportSimilarCaseCandidate)
+		.filter((candidate): candidate is ResolveIOSupportSimilarCaseCandidate => !!candidate);
+	const ranked: ResolveIOSupportSimilarCaseRankedHint[] = [];
+	let ignoredCount = 0;
+	for (const candidate of normalized) {
+		const outcomeKnown = !!candidate.outcome;
+		const accepted = supportOutcomeLooksAccepted(candidate.outcome) || (!!candidate.commitSha && !supportOutcomeLooksRejected(candidate.outcome));
+		if (outcomeKnown && !accepted) {
+			ignoredCount += 1;
+			continue;
+		}
+		const signals: string[] = [];
+		let score = accepted ? 100 : 40;
+		const candidateIssueClass = normalizeIssueClass(candidate.issueClass);
+		if (issueClass && candidateIssueClass && issueClass === candidateIssueClass) {
+			score += 45;
+			signals.push(`issue_class:${issueClass}`);
+		}
+		const exactOwnerOverlap = candidate.ownerFiles.filter((file) => ownerFileSet.has(normalizeOwnerFilePath(file)));
+		if (exactOwnerOverlap.length) {
+			score += 35 + Math.min(20, exactOwnerOverlap.length * 5);
+			signals.push(`owner_file_overlap:${exactOwnerOverlap.slice(0, 3).join(',')}`);
+		}
+		const directoryOverlap = candidate.ownerFiles
+			.map(supportOwnerFileDirectory)
+			.filter((dir) => dir && ownerDirs.has(dir));
+		if (directoryOverlap.length && !exactOwnerOverlap.length) {
+			score += 18;
+			signals.push(`owner_dir_overlap:${Array.from(new Set(directoryOverlap)).slice(0, 2).join(',')}`);
+		}
+		const candidateTokens = new Set([...(candidate.keywords || []), ...supportTextTokens([candidate.title, candidate.summary, candidate.commitMessage].join(' '))]);
+		const tokenOverlap = Array.from(candidateTokens).filter((token) => textTokens.has(token)).slice(0, 6);
+		if (tokenOverlap.length) {
+			score += Math.min(18, tokenOverlap.length * 3);
+			signals.push(`weak_text_overlap:${tokenOverlap.join(',')}`);
+		}
+		if (candidate.commitSha) {
+			score += 8;
+			signals.push('commit_linked');
+		}
+		if (!signals.length && score < 100) {
+			ignoredCount += 1;
+			continue;
+		}
+		ranked.push({
+			id: candidate.id,
+			ticketNumber: candidate.ticketNumber,
+			title: candidate.title,
+			outcome: candidate.outcome || (candidate.commitSha ? 'commit_hint' : ''),
+			issueClass: candidateIssueClass || candidate.issueClass,
+			ownerFiles: candidate.ownerFiles.slice(0, 8),
+			commitSha: candidate.commitSha,
+			commitMessage: candidate.commitMessage,
+			reason: signals.join('; '),
+			source: candidate.source,
+			score,
+			structuredSignals: signals,
+			advisoryOnly: true
+		});
+	}
+	const sorted = ranked
+		.sort((a, b) => b.score - a.score || String(b.ticketNumber || b.commitSha || '').localeCompare(String(a.ticketNumber || a.commitSha || '')))
+		.slice(0, limit);
+	return {
+		ranked: sorted,
+		similarTickets: sorted.filter((hint) => hint.source !== 'git_commit').slice(0, limit),
+		similarCommits: sorted.filter((hint) => hint.source === 'git_commit' || !!hint.commitSha).slice(0, limit),
+		ignoredCount,
+		generatedAt: isoNow(input.now)
+	};
+}
+
+const SUPPORT_DIAGNOSIS_GATE_REQUIRED_FIELDS = [
+	'issue_case',
+	'issue_class',
+	'accepted_hypothesis',
+	'rejected_alternatives',
+	'failing_path',
+	'owner_files',
+	'proof_plan',
+	'evidence',
+	'status'
+];
+
+const SUPPORT_DIAGNOSIS_REQUIRED_EVIDENCE = [
+	'customer complaint, expected result, observed result, route/module, and account/customer context',
+	'reproduction proof or blocked-reproduction reason',
+	'one accepted falsifiable root-cause hypothesis with evidence',
+	'rejected alternatives showing the runner did not guess',
+	'frontend/backend/shared failing path',
+	'small exact owner_files set',
+	'before/action/after business proof plan',
+	'AIQaBusinessAssertion acceptance requirement'
+];
+
+const SUPPORT_DIAGNOSIS_FORBIDDEN_ACTIONS = [
+	'Do not edit source, package, generated, fixture, QA artifact, or local data files while building the diagnosis gate.',
+	'Do not use similar tickets or commits as proof; they are advisory hints only.',
+	'Do not broaden owner_files from similar hints without fresh evidence from the current ticket.',
+	'Do not accept route load, screenshot, scorecard, wow score, or model claim as ticket acceptance.',
+	'Do not run product-code repair until SupportDiagnosisGate validates.'
+];
+
+const SUPPORT_ISSUE_CLASS_PROBE_CATALOG: ResolveIOSupportIssueClassProbeCatalogEntry[] = [{
+	issue_class: 'no_op_submit',
+	probe_type: 'issue_class_probe',
+	failure_class: 'business',
+	action: 'Submit the reported form/action and prove a persisted state change or expected validation result.',
+	proof_required: 'Before/action/after DOM or data proof that the submit is no longer a no-op.',
+	required_artifacts: ['before form state', 'submit action trace', 'post-submit DOM/data proof', 'method or network result'],
+	acceptance_gate: 'aiqa_business_assertion',
+	false_pass_blockers: ['route loaded only', 'button clicked without persisted result', 'model claim without DOM/data proof']
+}, {
+	issue_class: 'missing_wrong_data',
+	probe_type: 'issue_class_probe',
+	failure_class: 'business',
+	action: 'Load the named record/list and compare visible data to the expected persisted source.',
+	proof_required: 'Visible data and persisted data match the customer expectation.',
+	required_artifacts: ['expected source record', 'visible DOM/data snapshot', 'persisted data comparison'],
+	acceptance_gate: 'aiqa_business_assertion',
+	false_pass_blockers: ['non-empty page only', 'wrong account/customer context', 'sample substitute for named record']
+}, {
+	issue_class: 'filter_query_mismatch',
+	probe_type: 'issue_class_probe',
+	failure_class: 'business',
+	action: 'Apply the reported filter/query inputs and assert included/excluded rows or counts.',
+	proof_required: 'Returned rows/counts match the expected dataset and exclude the wrong records.',
+	required_artifacts: ['filter input trace', 'included/excluded row proof', 'query or publication result proof'],
+	acceptance_gate: 'aiqa_business_assertion',
+	false_pass_blockers: ['filter control visible only', 'route screenshot without row proof']
+}, {
+	issue_class: 'invoice_pdf_export',
+	probe_type: 'issue_class_probe',
+	failure_class: 'business',
+	action: 'Generate the invoice/PDF/export and inspect the generated artifact.',
+	proof_required: 'Generated artifact contains the expected customer-visible rows, totals, fields, or file output.',
+	required_artifacts: ['export trigger trace', 'generated file artifact path', 'parsed artifact content proof'],
+	acceptance_gate: 'aiqa_business_assertion',
+	false_pass_blockers: ['download button visible only', 'unparsed file exists only']
+}, {
+	issue_class: 'upload_import',
+	probe_type: 'issue_class_probe',
+	failure_class: 'business',
+	action: 'Run the upload/import workflow with a representative file and assert parsed plus persisted results.',
+	proof_required: 'Import result message and persisted rows/counts changed as expected.',
+	required_artifacts: ['input file fixture', 'import result message', 'persisted row/count delta'],
+	acceptance_gate: 'aiqa_business_assertion',
+	false_pass_blockers: ['file picker opens only', 'upload toast without persisted delta']
+}, {
+	issue_class: 'route_auth_hydration',
+	probe_type: 'issue_class_probe',
+	failure_class: 'route',
+	action: 'Open the route as the affected user and prove authenticated hydration reaches the functional screen.',
+	proof_required: 'Hydrated route shows required controls/data for the affected account and no shell-only fallback.',
+	required_artifacts: ['auth context', 'hydrated DOM proof', 'console/network error log'],
+	acceptance_gate: 'aiqa_business_assertion',
+	false_pass_blockers: ['home route proof', 'login shell proof', 'header-only screenshot']
+}, {
+	issue_class: 'slow_query_performance',
+	probe_type: 'issue_class_probe',
+	failure_class: 'business',
+	action: 'Run the reported query/workflow with timing/log evidence before and after the fix.',
+	proof_required: 'Timing improves or meets target while result equivalence is preserved.',
+	required_artifacts: ['before timing', 'after timing', 'result equivalence proof', 'query/log trace'],
+	acceptance_gate: 'aiqa_business_assertion',
+	false_pass_blockers: ['compile pass only', 'single timing without before/after comparison']
+}];
+
+function normalizeSupportSimilarCaseSelection(value: any, input: ResolveIOSupportSimilarCaseSelectionInput): ResolveIOSupportSimilarCaseSelection {
+	const object = cleanObject(value);
+	if (Array.isArray(value)) {
+		return selectResolveIOSupportSimilarCaseHints({
+			...input,
+			candidates: value
+		});
+	}
+	if (object.ranked || object.similarTickets || object.similar_tickets || object.similarCommits || object.similar_commits) {
+		const normalizeRanked = (entries: any): ResolveIOSupportSimilarCaseRankedHint[] => (Array.isArray(entries) ? entries : [])
+			.map((entry): ResolveIOSupportSimilarCaseRankedHint | undefined => {
+				const candidate = normalizeResolveIOSupportSimilarCaseCandidate(entry);
+				if (!candidate) {
+					return undefined;
+				}
+				const signals = cleanList((entry || {}).structuredSignals || (entry || {}).structured_signals, 10, 160);
+				return {
+					id: candidate.id,
+					ticketNumber: candidate.ticketNumber,
+					title: candidate.title,
+					outcome: candidate.outcome,
+					issueClass: normalizeIssueClass(candidate.issueClass) || candidate.issueClass,
+					ownerFiles: candidate.ownerFiles.slice(0, 8),
+					commitSha: candidate.commitSha,
+					commitMessage: candidate.commitMessage,
+					reason: cleanText((entry || {}).reason || signals.join('; '), 500),
+					source: candidate.source,
+					score: Number((entry || {}).score || 0),
+					structuredSignals: signals,
+					advisoryOnly: true as const
+				};
+			})
+			.filter((entry): entry is ResolveIOSupportSimilarCaseRankedHint => Boolean(entry))
+			.slice(0, Math.max(1, Math.min(12, Number(input.limit || 6))));
+		const rankedHints = normalizeRanked(object.ranked);
+		const ticketHints = normalizeRanked(object.similarTickets || object.similar_tickets);
+		const commitHints = normalizeRanked(object.similarCommits || object.similar_commits);
+		const merged = rankedHints.length
+			? rankedHints
+			: [...ticketHints, ...commitHints]
+				.sort((a, b) => b.score - a.score)
+				.slice(0, Math.max(1, Math.min(12, Number(input.limit || 6))));
+		return {
+			ranked: merged,
+			similarTickets: ticketHints.length ? ticketHints : merged.filter((hint) => hint.source !== 'git_commit'),
+			similarCommits: commitHints.length ? commitHints : merged.filter((hint) => hint.source === 'git_commit' || !!hint.commitSha),
+			ignoredCount: Number(object.ignoredCount || object.ignored_count || 0),
+			generatedAt: cleanText(object.generatedAt || object.generated_at, 120) || isoNow(input.now)
+		};
+	}
+	return selectResolveIOSupportSimilarCaseHints(input);
+}
+
+export function buildResolveIOSupportDiagnosisEvidencePack(
+	input: ResolveIOSupportDiagnosisEvidencePackInput = {}
+): ResolveIOSupportDiagnosisEvidencePack {
+	const bundle = input.bundle;
+	const activeMicrotask = bundle
+		? selectResolveIOSupportV5ActiveMicrotask(bundle.supportV5MicrotaskLedger || [], bundle.supportV5ActiveMicrotaskId)
+		: undefined;
+	const diagnosisSource = input.diagnosisGate || bundle?.supportV5DiagnosisGate;
+	const validation = validateResolveIOSupportDiagnosisGate(diagnosisSource);
+	const normalizedDiagnosis = validation.normalized;
+	const ownerFileHints = cleanList([
+		...cleanList(input.ownerFiles, 16, 500),
+		...cleanList(normalizedDiagnosis?.owner_files, 16, 500),
+		...cleanList(activeMicrotask?.targetFiles, 8, 500)
+	], 16, 500).map(normalizeOwnerFilePath).filter(Boolean);
+	const issueClassHint = normalizeIssueClass(input.issueClass || normalizedDiagnosis?.issue_class);
+	const text = cleanText([
+		input.text,
+		bundle?.supportV5ScopeDigest,
+		bundle?.supportV5SupervisorState?.currentGoal,
+		input.ticketContext?.title,
+		input.ticketContext?.subject,
+		input.ticketContext?.summary
+	].filter(Boolean).join(' '), 3000);
+	const similarInput: ResolveIOSupportSimilarCaseSelectionInput = {
+		issueClass: issueClassHint || normalizedDiagnosis?.issue_class,
+		ownerFiles: ownerFileHints,
+		text,
+		candidates: Array.isArray(input.similarCaseHints) ? input.similarCaseHints : [],
+		limit: 6,
+		now: input.now
+	};
+	const similarCaseSelection = normalizeSupportSimilarCaseSelection(input.similarCaseHints, similarInput);
+	const status: ResolveIOSupportDiagnosisEvidencePackStatus = validation.valid
+		? 'diagnosis_ready'
+		: validation.status === 'blocked'
+			? 'blocked'
+			: 'needs_diagnosis';
+	const generatedAt = isoNow(input.now);
+	return {
+		packId: `support-diagnosis-pack-${hashResolveIOSupportV5Evidence({
+			status,
+			issueClassHint,
+			ownerFileHints,
+			blockers: validation.blockers,
+			text,
+			activeMicrotaskId: activeMicrotask?.microtaskId
+		})}`,
+		status,
+		readOnly: true,
+		sourceEditsAllowed: false,
+		rootCauseFirstRequired: true,
+		requiredOutputKey: 'support_diagnosis_gate',
+		requiredFields: SUPPORT_DIAGNOSIS_GATE_REQUIRED_FIELDS,
+		requiredEvidence: SUPPORT_DIAGNOSIS_REQUIRED_EVIDENCE,
+		forbiddenActions: SUPPORT_DIAGNOSIS_FORBIDDEN_ACTIONS,
+		diagnosisValid: validation.valid,
+		diagnosisStatus: validation.status,
+		validationBlockers: validation.blockers,
+		issueClassHint: issueClassHint || undefined,
+		ownerFileHints: ownerFileHints.slice(0, 12),
+		activeMicrotaskId: activeMicrotask?.microtaskId,
+		similarCaseSelection,
+		issueClassProbeCatalog: SUPPORT_ISSUE_CLASS_PROBE_CATALOG,
+		structuredFacts: {
+			currentDiagnosisStatus: validation.status,
+			currentDiagnosisValid: validation.valid,
+			reproductionStatus: normalizedDiagnosis?.issue_case.reproduction_status,
+			evidenceTypes: validation.evidenceQuality?.evidenceTypes || [],
+			reproductionEvidenceTypes: validation.evidenceQuality?.reproductionEvidenceTypes || [],
+			rootCauseEvidenceTypes: validation.evidenceQuality?.rootCauseEvidenceTypes || [],
+			artifactBackedEvidenceCount: validation.evidenceQuality?.artifactBackedEvidenceCount || 0,
+			similarHintCount: similarCaseSelection.ranked.length,
+			similarHintsAdvisoryOnly: true,
+			productRepairBlockedUntilDiagnosisPassed: validation.valid !== true
+		},
+		generatedAt
+	};
+}
+
+function normalizeSupportDiagnosisBusinessProofContract(value: any, issueClassHint: any): ResolveIOSupportDiagnosisBusinessProofContract | undefined {
+	const source = cleanObject(value);
+	if (!Object.keys(source).length) {
+		return undefined;
+	}
+	const issueClass = normalizeIssueClass(source.issue_class || source.issueClass || issueClassHint)
+		|| normalizeIssueClass(issueClassHint)
+		|| 'missing_wrong_data';
+	return {
+		issue_class: issueClass,
+		setup_state: pickText(source, ['setup_state', 'setupState', 'before', 'precondition'], 1000),
+		action_under_test: pickText(source, ['action_under_test', 'actionUnderTest', 'action', 'steps'], 1000),
+		expected_business_state_change: pickText(source, ['expected_business_state_change', 'expectedBusinessStateChange', 'expected_change', 'expectedChange', 'after'], 1000),
+		prohibited_false_pass: pickText(source, ['prohibited_false_pass', 'prohibitedFalsePass', 'false_pass', 'falsePass'], 1000),
+		proof_artifacts: cleanList(source.proof_artifacts || source.proofArtifacts || source.artifacts || source.artifact_paths || source.artifactPaths, 10, 500),
+		data_or_dom_assertion: pickText(source, ['data_or_dom_assertion', 'dataOrDomAssertion', 'data_assertion', 'dataAssertion', 'dom_assertion', 'domAssertion', 'assertion'], 1000)
+	};
+}
+
+function normalizeOwnerFilePath(value: any): string {
+	return cleanText(value, 500)
+		.replace(/\\/g, '/')
+		.replace(/^\.\/+/, '')
+		.replace(/^\/+/, '')
+		.replace(/\s+$/g, '');
+}
+
+function ownerFileLooksBroad(value: string): boolean {
+	const normalized = normalizeOwnerFilePath(value);
+	return !normalized
+		|| normalized.includes('*')
+		|| normalized.endsWith('/')
+		|| !/\.[a-z0-9]+$/i.test(normalized)
+		|| /^(\.|src|server|angular|client|app|lib|packages?)$/i.test(normalized)
+		|| /(^|\/)(node_modules|dist|build|coverage|\.git)(\/|$)/i.test(normalized);
+}
+
+function proofPlanLooksRouteOnly(proofPlan: ResolveIOSupportDiagnosisProofPlan): boolean {
+	const assertionText = cleanText([
+		proofPlan.business_assertion,
+		proofPlan.action,
+		proofPlan.after,
+		proofPlan.data_assertion,
+		proofPlan.artifact_expectation
+	].filter(Boolean).join(' '), 3000).toLowerCase();
+	if (!assertionText) {
+		return false;
+	}
+	const routeOnlySignal = /\b(route|page|screen|dashboard|url|component|shell)\b/.test(assertionText)
+		&& /\b(loads?|loaded|renders?|rendered|opens?|opened|visible|visibility|hydrates?|hydrated|screenshot)\b/.test(assertionText);
+	const 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;
+}
+
+const SUPPORT_REPRODUCTION_EVIDENCE_TYPES = new Set<ResolveIOSupportDiagnosisEvidence['type']>(['browser', 'mongo', 'log', 'qa']);
+const SUPPORT_ROOT_CAUSE_EVIDENCE_TYPES = new Set<ResolveIOSupportDiagnosisEvidence['type']>(['browser', 'mongo', 'log', 'code', 'commit', 'qa']);
+const SUPPORT_ARTIFACT_RECOMMENDED_EVIDENCE_TYPES = new Set<ResolveIOSupportDiagnosisEvidence['type']>(['browser', 'mongo', 'log', 'qa']);
+
+export function evaluateResolveIOSupportDiagnosisEvidenceQuality(value: any): ResolveIOSupportDiagnosisEvidenceQuality {
+	const normalized = normalizeResolveIOSupportDiagnosisGate(value);
+	if (!normalized) {
+		return {
+			valid: false,
+			blockers: ['SupportDiagnosisGate is missing.'],
+			evidenceTypes: [],
+			reproductionEvidenceTypes: [],
+			rootCauseEvidenceTypes: [],
+			artifactBackedEvidenceCount: 0,
+			hasTicketContext: false,
+			hasRootCauseEvidence: false,
+			hasReproductionEvidence: false
+		};
+	}
+	const evidence = normalized.evidence || [];
+	const evidenceTypes = Array.from(new Set(evidence.map((entry) => entry.type)));
+	const reproductionEvidenceTypes = Array.from(new Set(evidence
+		.filter((entry) => SUPPORT_REPRODUCTION_EVIDENCE_TYPES.has(entry.type))
+		.map((entry) => entry.type)));
+	const rootCauseEvidenceTypes = Array.from(new Set(evidence
+		.filter((entry) => SUPPORT_ROOT_CAUSE_EVIDENCE_TYPES.has(entry.type))
+		.map((entry) => entry.type)));
+	const artifactBackedEvidenceCount = evidence.filter((entry) => !!entry.artifactPath).length;
+	const hasTicketContext = evidence.some((entry) => entry.type === 'ticket')
+		|| Boolean(normalized.issue_case.customer_complaint && normalized.issue_case.account_customer_context);
+	const hasRootCauseEvidence = rootCauseEvidenceTypes.length > 0;
+	const hasReproductionEvidence = reproductionEvidenceTypes.length > 0;
+	const blockers: string[] = [];
+	if (!evidence.length) {
+		blockers.push('Diagnosis evidence must include typed ticket/code/browser/log/Mongo/QA proof.');
+	}
+	if (!hasRootCauseEvidence) {
+		blockers.push('Diagnosis evidence must include at least one non-ticket root-cause proof item: code, commit, browser, Mongo, log, or QA.');
+	}
+	if (!hasTicketContext) {
+		blockers.push('Diagnosis evidence must preserve the customer/ticket context used for reproduction.');
+	}
+	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 === 'blocked'
+		&& !normalized.issue_case.reproduction_blocker) {
+		blockers.push('Diagnosis blocked reproduction requires issue_case.reproduction_blocker.');
+	}
+	const unartifactedRuntimeEvidence = evidence.filter((entry) => SUPPORT_ARTIFACT_RECOMMENDED_EVIDENCE_TYPES.has(entry.type) && !entry.artifactPath);
+	if (unartifactedRuntimeEvidence.length) {
+		blockers.push(`Diagnosis runtime evidence must include artifactPath for replayable proof: ${unartifactedRuntimeEvidence.map((entry) => entry.type).join(', ')}.`);
+	}
+	if (normalized.issue_case.reproduction_status === 'reproduced' && artifactBackedEvidenceCount < 1) {
+		blockers.push('Diagnosis reproduced issue_case requires at least one artifact-backed evidence item.');
+	}
+	return {
+		valid: blockers.length === 0,
+		blockers,
+		evidenceTypes: evidenceTypes as ResolveIOSupportDiagnosisEvidence['type'][],
+		reproductionEvidenceTypes: reproductionEvidenceTypes as ResolveIOSupportDiagnosisEvidence['type'][],
+		rootCauseEvidenceTypes: rootCauseEvidenceTypes as ResolveIOSupportDiagnosisEvidence['type'][],
+		artifactBackedEvidenceCount,
+		hasTicketContext,
+		hasRootCauseEvidence,
+		hasReproductionEvidence
+	};
+}
+
+export function normalizeResolveIOSupportDiagnosisGate(value: any, now?: Date | string): ResolveIOSupportDiagnosisGate | undefined {
+	const source = cleanObject(value);
+	if (!Object.keys(source).length) {
+		return undefined;
+	}
+	const issueCaseSource = cleanObject(source.issue_case || source.issueCase);
+	const hypothesisSource = cleanObject(source.accepted_hypothesis || source.acceptedHypothesis);
+	const failingPathSource = cleanObject(source.failing_path || source.failingPath);
+	const proofPlanSource = cleanObject(source.proof_plan || source.proofPlan);
+	const issueClass = normalizeIssueClass(source.issue_class || source.issueClass);
+	const businessProofContract = normalizeSupportDiagnosisBusinessProofContract(
+		proofPlanSource.business_proof_contract || proofPlanSource.businessProofContract || source.business_proof_contract || source.businessProofContract,
+		issueClass || source.issue_class || source.issueClass
+	);
+	const ownerFiles = cleanList(source.owner_files || source.ownerFiles, 20, 500)
+		.map(normalizeOwnerFilePath)
+		.filter(Boolean);
+	const gate: ResolveIOSupportDiagnosisGate = {
+		issue_case: {
+			customer_complaint: pickText(issueCaseSource, ['customer_complaint', 'customerComplaint', 'complaint', 'request', 'summary'], 1200),
+			expected_result: pickText(issueCaseSource, ['expected_result', 'expectedResult', 'expected'], 1000),
+			observed_result: pickText(issueCaseSource, ['observed_result', 'observedResult', 'observed', 'actual'], 1000),
+			route_module: pickText(issueCaseSource, ['route_module', 'routeModule', 'route', 'module', 'screen'], 500),
+			account_customer_context: pickText(issueCaseSource, ['account_customer_context', 'accountCustomerContext', 'account', 'customer', 'user', 'context'], 800),
+			reproduction_status: normalizeReproductionStatus(issueCaseSource.reproduction_status || issueCaseSource.reproductionStatus || source.reproduction_status),
+			reproduction_blocker: pickText(issueCaseSource, ['reproduction_blocker', 'reproductionBlocker', 'blocked_reason', 'blockedReason'], 1000)
+		},
+		issue_class: issueClass || 'missing_wrong_data',
+		accepted_hypothesis: {
+			statement: pickText(hypothesisSource, ['statement', 'hypothesis', 'root_cause', 'rootCause', 'summary'], 1200)
+				|| (typeof source.accepted_hypothesis === 'string' ? cleanText(source.accepted_hypothesis, 1200) : ''),
+			falsifiable_test: pickText(hypothesisSource, ['falsifiable_test', 'falsifiableTest', 'test', 'proof', 'falsifier'], 1000),
+			evidence: cleanList(hypothesisSource.evidence || source.hypothesis_evidence || source.hypothesisEvidence, 10, 800)
+		},
+		rejected_alternatives: cleanList(source.rejected_alternatives || source.rejectedAlternatives, 10, 700),
+		failing_path: {
+			frontend: pickText(failingPathSource, ['frontend', 'frontend_path', 'frontendPath', 'eventPath'], 700),
+			backend: pickText(failingPathSource, ['backend', 'backend_path', 'backendPath', 'methodPublicationPath'], 700),
+			shared_library: pickText(failingPathSource, ['shared_library', 'sharedLibrary', 'library', 'lib'], 700),
+			data_query: pickText(failingPathSource, ['data_query', 'dataQuery', 'query'], 700),
+			description: pickText(failingPathSource, ['description', 'path', 'summary'], 1200) || cleanText(source.failing_path, 1200)
+		},
+		owner_files: ownerFiles,
+		proof_plan: {
+			before: pickText(proofPlanSource, ['before', 'before_state', 'beforeState', 'precondition'], 1000),
+			before_state_unavailable_reason: pickText(proofPlanSource, ['before_state_unavailable_reason', 'beforeStateUnavailableReason', 'before_unavailable_reason'], 1000),
+			action: pickText(proofPlanSource, ['action', 'browser_action', 'browserAction', 'steps'], 1000),
+			after: pickText(proofPlanSource, ['after', 'after_state', 'afterState', 'expected_after'], 1000),
+			business_assertion: pickText(proofPlanSource, ['business_assertion', 'businessAssertion', 'assertion'], 1000),
+			route: pickText(proofPlanSource, ['route', 'url'], 500),
+			data_assertion: pickText(proofPlanSource, ['data_assertion', 'dataAssertion', 'mongo_delta', 'mongoDelta'], 1000),
+			artifact_expectation: pickText(proofPlanSource, ['artifact_expectation', 'artifactExpectation', 'artifact', 'screenshot'], 1000),
+			business_proof_contract: businessProofContract
+		},
+		similar_tickets: normalizeSupportDiagnosisHints(source.similar_tickets || source.similarTickets),
+		similar_commits: normalizeSupportDiagnosisHints(source.similar_commits || source.similarCommits),
+		evidence: normalizeSupportDiagnosisEvidence(source.evidence),
+		status: (cleanText(source.status, 80).toLowerCase() as ResolveIOSupportDiagnosisGateStatus) || 'incomplete',
+		updatedAt: isoNow(now || source.updatedAt || source.updated_at)
+	};
+	if (!['missing', 'incomplete', 'blocked', 'passed'].includes(gate.status)) {
+		gate.status = 'incomplete';
+	}
+	return gate;
+}
+
+export function extractResolveIOSupportDiagnosisGateFromText(value: string, now?: Date | string): ResolveIOSupportDiagnosisGate | undefined {
+	const text = String(value || '').trim();
+	if (!text) {
+		return undefined;
+	}
+	const candidates: string[] = [];
+	const fenced = Array.from(text.matchAll(/```(?:json)?\s*([\s\S]*?)```/gi)).map((match) => match[1]);
+	candidates.push(...fenced);
+	const jsonBlock = text.match(/\{[\s\S]*\}/);
+	if (jsonBlock) {
+		candidates.push(jsonBlock[0]);
+	}
+	for (const candidate of candidates) {
+		try {
+			const parsed = JSON.parse(candidate);
+			const wrapped = parsed?.support_diagnosis_gate || parsed?.supportDiagnosisGate || parsed?.diagnosis_gate || parsed?.diagnosisGate || parsed;
+			const normalized = normalizeResolveIOSupportDiagnosisGate(wrapped, now);
+			if (normalized) {
+				return normalized;
+			}
+		}
+		catch {
+			// Continue trying less exact JSON candidates.
+		}
+	}
+	return undefined;
+}
+
+export function validateResolveIOSupportDiagnosisGate(
+	value: any,
+	options: { maxOwnerFiles?: number } = {}
+): ResolveIOSupportDiagnosisGateValidation {
+	const normalized = normalizeResolveIOSupportDiagnosisGate(value);
+	if (!normalized) {
+		return { valid: false, status: 'missing', blockers: ['SupportDiagnosisGate is missing.'] };
+	}
+	const blockers: string[] = [];
+	const maxOwnerFiles = Math.max(1, Number(options.maxOwnerFiles || 8) || 8);
+	if (!normalized.issue_case.customer_complaint) {
+		blockers.push('Diagnosis issue_case.customer_complaint is required.');
+	}
+	if (!normalized.issue_case.expected_result) {
+		blockers.push('Diagnosis issue_case.expected_result is required.');
+	}
+	if (!normalized.issue_case.observed_result) {
+		blockers.push('Diagnosis issue_case.observed_result is required.');
+	}
+	if (!normalized.issue_case.route_module) {
+		blockers.push('Diagnosis issue_case.route_module is required.');
+	}
+	if (!normalized.issue_case.account_customer_context) {
+		blockers.push('Diagnosis issue_case.account_customer_context is required.');
+	}
+	if (normalized.issue_case.reproduction_status === 'blocked' && !normalized.issue_case.reproduction_blocker) {
+		blockers.push('Diagnosis blocked reproduction requires issue_case.reproduction_blocker.');
+	}
+	if (!normalizeIssueClass(normalized.issue_class)) {
+		blockers.push('Diagnosis issue_class must be one of the supported issue-class probes.');
+	}
+	if (!normalized.accepted_hypothesis.statement) {
+		blockers.push('Diagnosis accepted_hypothesis.statement is required.');
+	}
+	if (!normalized.accepted_hypothesis.falsifiable_test) {
+		blockers.push('Diagnosis accepted_hypothesis.falsifiable_test is required.');
+	}
+	if (!normalized.accepted_hypothesis.evidence.length) {
+		blockers.push('Diagnosis accepted_hypothesis.evidence must cite proof.');
+	}
+	if (!normalized.rejected_alternatives.length) {
+		blockers.push('Diagnosis rejected_alternatives must include at least one rejected theory.');
+	}
+	if (!normalized.failing_path.description
+		&& !normalized.failing_path.frontend
+		&& !normalized.failing_path.backend
+		&& !normalized.failing_path.shared_library
+		&& !normalized.failing_path.data_query) {
+		blockers.push('Diagnosis failing_path must identify frontend, backend, query, shared library, or path description.');
+	}
+	if (!normalized.owner_files.length) {
+		blockers.push('Diagnosis owner_files must contain the small editable file set.');
+	}
+	if (normalized.owner_files.length > maxOwnerFiles) {
+		blockers.push(`Diagnosis owner_files has ${normalized.owner_files.length} entries; maximum is ${maxOwnerFiles}.`);
+	}
+	const broadFiles = normalized.owner_files.filter(ownerFileLooksBroad);
+	if (broadFiles.length) {
+		blockers.push(`Diagnosis owner_files contains broad or unsafe path(s): ${broadFiles.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.');
+	}
+	if (!normalized.proof_plan.action) {
+		blockers.push('Diagnosis proof_plan.action is required.');
+	}
+	if (!normalized.proof_plan.after) {
+		blockers.push('Diagnosis proof_plan.after is required.');
+	}
+	if (!normalized.proof_plan.business_assertion) {
+		blockers.push('Diagnosis proof_plan.business_assertion is required.');
+	}
+	if (proofPlanLooksRouteOnly(normalized.proof_plan)) {
+		blockers.push('Diagnosis proof_plan cannot be route-load, screen-visible, or screenshot-only; it must name the business state/data/control change that proves the issue is fixed.');
+	}
+	const proofContract = normalized.proof_plan.business_proof_contract;
+	if (!proofContract) {
+		blockers.push('Diagnosis proof_plan.business_proof_contract is required.');
+	}
+	else {
+		if (proofContract.issue_class !== normalized.issue_class) {
+			blockers.push(`Diagnosis proof_plan.business_proof_contract.issue_class (${proofContract.issue_class}) must match diagnosis issue_class (${normalized.issue_class}).`);
+		}
+		if (!proofContract.setup_state) {
+			blockers.push('Diagnosis proof_plan.business_proof_contract.setup_state is required.');
+		}
+		if (!proofContract.action_under_test) {
+			blockers.push('Diagnosis proof_plan.business_proof_contract.action_under_test is required.');
+		}
+		if (!proofContract.expected_business_state_change) {
+			blockers.push('Diagnosis proof_plan.business_proof_contract.expected_business_state_change is required.');
+		}
+		if (!proofContract.prohibited_false_pass) {
+			blockers.push('Diagnosis proof_plan.business_proof_contract.prohibited_false_pass is required.');
+		}
+		if (!proofContract.proof_artifacts.length) {
+			blockers.push('Diagnosis proof_plan.business_proof_contract.proof_artifacts must include at least one required artifact.');
+		}
+		if (!proofContract.data_or_dom_assertion) {
+			blockers.push('Diagnosis proof_plan.business_proof_contract.data_or_dom_assertion is required.');
+		}
+	}
+	if (!normalized.evidence.length) {
+		blockers.push('Diagnosis evidence must include ticket/code/browser/log/Mongo proof.');
+	}
+	const evidenceQuality = evaluateResolveIOSupportDiagnosisEvidenceQuality(normalized);
+	blockers.push(...evidenceQuality.blockers);
+	normalized.status = blockers.length ? 'incomplete' : 'passed';
+	return {
+		valid: blockers.length === 0,
+		status: normalized.status,
+		blockers,
+		normalized,
+		evidenceQuality
+	};
+}
+
+function normalizeSupportConfidenceLevel(value: any): ResolveIOSupportCustomerReplyPolicy['confidenceLevel'] {
+	const normalized = cleanText(value?.level || value?.confidenceLevel || value?.confidence_level || value?.category || value, 80).toLowerCase();
+	if (/^high$|^strong$|^accepted$|^a\+?$/.test(normalized)) {
+		return 'high';
+	}
+	if (/^medium$|^moderate$|^review$/.test(normalized)) {
+		return 'medium';
+	}
+	if (/^low$|^weak$|^blocked$|^unknown$/.test(normalized)) {
+		return normalized === 'unknown' ? 'unknown' : 'low';
+	}
+	const score = Number(value?.score ?? value?.confidenceScore ?? value?.confidence_score);
+	if (Number.isFinite(score)) {
+		if (score >= 0.8) {
+			return 'high';
+		}
+		if (score >= 0.55) {
+			return 'medium';
+		}
+		return 'low';
+	}
+	return normalized ? 'unknown' : 'unknown';
+}
+
+function supportReleaseLooksBlocked(value: any): boolean {
+	return /\b(fail|failed|error|blocked|missing|empty|stale|denied|timeout)\b/i.test(cleanText(value, 200));
+}
+
+function supportBusinessAssertionPassed(value: any): boolean {
+	return /^(pass|passed|accepted|business_assertion_passed)$/i.test(cleanText(value, 80));
+}
+
+function supportBusinessAssertionFailed(value: any): boolean {
+	return /^(fail|failed|blocked|needs_repair|business_assertion_failed)$/i.test(cleanText(value, 80));
+}
+
+function supportBusinessAssertionRouteOnly(value: any): boolean {
+	return /^(route_probe_pass|route_only_pass|route_pass|route_probe|route_loaded)$/i.test(cleanText(value, 80));
+}
+
+function normalizeSupportBusinessProofAssertions(input: ResolveIOSupportBusinessProofReadinessInput): ResolveIOSupportBusinessProofAssertion[] {
+	const gate = normalizeResolveIOSupportDiagnosisGate(input.diagnosisGate);
+	const proofPlan = gate?.proof_plan;
+	const proofContract = proofPlan?.business_proof_contract;
+	const artifactPaths = cleanList(input.businessProofArtifacts, 30, 500);
+	const assertions: ResolveIOSupportBusinessProofAssertion[] = [];
+	for (const entry of Array.isArray(input.businessAssertions) ? input.businessAssertions : []) {
+		const source = cleanObject(entry);
+		if (!Object.keys(source).length) {
+			continue;
+		}
+		const metadata = cleanObject(source.metadata);
+		assertions.push({
+			assertion: pickText(source, ['assertion', 'name', 'workflow', 'expected'], 1000) || proofPlan?.business_assertion || 'business assertion',
+			status: cleanText(source.status || source.outcome || source.result, 80),
+			workflow: pickText(source, ['workflow', 'workflowName'], 400),
+			route: pickText(source, ['route', 'url'], 500),
+			before: pickText(source, ['before', 'before_state', 'beforeState'], 1000),
+			action: pickText(source, ['action', 'action_under_test', 'actionUnderTest'], 1000),
+			expected: pickText(source, ['expected', 'expected_business_state_change', 'expectedBusinessStateChange'], 1000),
+			after: pickText(source, ['after', 'after_state', 'afterState'], 1000),
+			observed: pickText(source, ['observed', 'actual'], 1000),
+			dataProof: pickText(source, ['dataProof', 'data_proof', 'proof', 'domProof', 'dom_proof'], 1400),
+			mongoDelta: cleanObject(source.mongoDelta || source.mongo_delta),
+			artifactPaths: cleanList(source.artifactPaths || source.artifact_paths || source.artifacts, 30, 500),
+			message: pickText(source, ['message', 'reason', 'summary'], 1000),
+			acceptanceBlocked: source.acceptanceBlocked === true || source.acceptance_blocked === true || metadata.acceptanceBlocked === true || metadata.acceptance_blocked === true,
+			routeOnly: source.routeOnly === true || source.route_only === true || source.outcome === 'route_only_pass' || source.status === 'route_probe_pass' || metadata.routeOnly === true || metadata.route_only === true,
+			metadata
+		});
+	}
+	const status = cleanText(input.businessAssertionStatus || input.outcomeLabel, 80);
+	if (!assertions.length && (supportBusinessAssertionPassed(status) || supportBusinessAssertionRouteOnly(status) || supportBusinessAssertionFailed(status))) {
+		assertions.push({
+			assertion: proofPlan?.business_assertion || proofContract?.data_or_dom_assertion || 'business assertion',
+			status,
+			workflow: proofContract?.action_under_test,
+			route: proofPlan?.route || gate?.issue_case.route_module,
+			before: proofPlan?.before,
+			action: proofPlan?.action || proofContract?.action_under_test,
+			expected: proofContract?.expected_business_state_change || proofPlan?.after,
+			after: proofPlan?.after,
+			observed: '',
+			dataProof: proofContract?.data_or_dom_assertion || proofPlan?.data_assertion || '',
+			mongoDelta: {},
+			artifactPaths,
+			message: '',
+			acceptanceBlocked: supportBusinessAssertionRouteOnly(status),
+			routeOnly: supportBusinessAssertionRouteOnly(status),
+			metadata: {}
+		});
+	}
+	return assertions;
+}
+
+function supportBusinessProofAssertionText(assertion: ResolveIOSupportBusinessProofAssertion): string {
+	return cleanText([
+		assertion.assertion,
+		assertion.workflow,
+		assertion.before,
+		assertion.action,
+		assertion.expected,
+		assertion.after,
+		assertion.observed,
+		assertion.dataProof,
+		assertion.message
+	].filter(Boolean).join(' '), 4000);
+}
+
+function supportBusinessProofAssertionMatchesContract(
+	assertion: ResolveIOSupportBusinessProofAssertion,
+	gate: ResolveIOSupportDiagnosisGate | undefined
+): boolean {
+	if (!gate) {
+		return false;
+	}
+	const metadata = assertion.metadata || {};
+	if (metadata.supportDiagnosisProof === true
+		|| metadata.support_diagnosis_proof === true
+		|| metadata.diagnosisProofPlanMatched === true
+		|| metadata.diagnosis_proof_plan_matched === true
+		|| metadata.proofPlanMatched === true
+		|| metadata.proof_plan_matched === true) {
+		return true;
+	}
+	const proofPlan = gate.proof_plan;
+	const proofContract = proofPlan.business_proof_contract;
+	const requiredParts = [
+		proofPlan.business_assertion,
+		proofPlan.after,
+		proofPlan.data_assertion,
+		proofContract?.expected_business_state_change,
+		proofContract?.data_or_dom_assertion
+	].map((part) => cleanText(part, 1000).toLowerCase()).filter((part) => part.length >= 12);
+	const assertionText = supportBusinessProofAssertionText(assertion).toLowerCase();
+	if (!requiredParts.length) {
+		return false;
+	}
+	if (requiredParts.some((part) => assertionText.includes(part))) {
+		return true;
+	}
+	const proofWords = new Set(requiredParts.join(' ').split(/[^a-z0-9]+/g).filter((word) => word.length >= 5));
+	const assertionWords = new Set(assertionText.split(/[^a-z0-9]+/g).filter((word) => word.length >= 5));
+	let overlap = 0;
+	for (const word of proofWords) {
+		if (assertionWords.has(word)) {
+			overlap += 1;
+		}
+	}
+	return overlap >= Math.min(5, Math.max(3, Math.ceil(proofWords.size * 0.45)));
+}
+
+function supportBusinessProofArtifactFingerprint(paths: string[]): string {
+	const normalized = cleanList(paths, 80, 500).sort();
+	return normalized.length ? hashResolveIOSupportV5Evidence({ artifacts: normalized }) : '';
+}
+
+function supportBusinessProofFingerprint(
+	gate: ResolveIOSupportDiagnosisGate | undefined,
+	assertion: ResolveIOSupportBusinessProofAssertion | undefined,
+	artifactPaths: string[] = []
+): string {
+	if (!gate || !assertion) {
+		return '';
+	}
+	const proofPlan = gate.proof_plan;
+	const proofContract = proofPlan.business_proof_contract;
+	return hashResolveIOSupportV5Evidence({
+		issueClass: gate.issue_class,
+		proofPlan: {
+			before: proofPlan.before,
+			action: proofPlan.action,
+			after: proofPlan.after,
+			businessAssertion: proofPlan.business_assertion,
+			dataAssertion: proofPlan.data_assertion,
+			contractAction: proofContract?.action_under_test,
+			contractExpected: proofContract?.expected_business_state_change,
+			contractAssertion: proofContract?.data_or_dom_assertion
+		},
+		assertion: {
+			assertion: assertion.assertion,
+			status: assertion.status,
+			workflow: assertion.workflow,
+			route: assertion.route,
+			before: assertion.before,
+			action: assertion.action,
+			expected: assertion.expected,
+			after: assertion.after,
+			observed: assertion.observed,
+			dataProof: assertion.dataProof,
+			mongoDelta: assertion.mongoDelta
+		},
+		artifacts: cleanList(assertion.artifactPaths?.length ? assertion.artifactPaths : artifactPaths, 80, 500).sort()
+	});
+}
+
+function defaultSupportBusinessProofReadinessFields(values: {
+	artifactPaths?: string[];
+	proofFingerprint?: string;
+	artifactFingerprint?: string;
+	proofFreshness?: ResolveIOSupportBusinessProofReadiness['proofFreshness'];
+} = {}): Pick<ResolveIOSupportBusinessProofReadiness, 'artifactPaths' | 'proofFingerprint' | 'artifactFingerprint' | 'proofFreshness'> {
+	const artifactPaths = cleanList(values.artifactPaths, 80, 500);
+	return {
+		artifactPaths,
+		proofFingerprint: cleanText(values.proofFingerprint, 160),
+		artifactFingerprint: cleanText(values.artifactFingerprint, 160) || supportBusinessProofArtifactFingerprint(artifactPaths),
+		proofFreshness: values.proofFreshness || (artifactPaths.length ? 'unknown' : 'missing')
+	};
+}
+
+export function evaluateResolveIOSupportBusinessProofReadiness(
+	input: ResolveIOSupportBusinessProofReadinessInput = {}
+): ResolveIOSupportBusinessProofReadiness {
+	const diagnosisValidation = validateResolveIOSupportDiagnosisGate(input.diagnosisGate);
+	const gate = diagnosisValidation.normalized;
+	const requiredEvidence = [
+		'valid SupportDiagnosisGate proof_plan',
+		'AIQaBusinessAssertion status=pass',
+		'business assertion maps to diagnosis proof_plan/business_proof_contract',
+		'artifact path for browser/data proof',
+		'DOM/data proof or Mongo delta for the expected business state change'
+	];
+	if (!diagnosisValidation.valid || !gate) {
+		return {
+			ready: false,
+			status: 'blocked',
+			reason: 'support_business_proof_waiting_on_valid_diagnosis',
+			blockers: diagnosisValidation.blockers.length ? diagnosisValidation.blockers : ['Valid SupportDiagnosisGate is required before business proof can accept the ticket.'],
+			requiredEvidence,
+			...defaultSupportBusinessProofReadinessFields()
+		};
+	}
+	const assertions = normalizeSupportBusinessProofAssertions(input);
+	if (!assertions.length) {
+		return {
+			ready: false,
+			status: 'missing',
+			reason: 'support_business_proof_missing_aiqa_business_assertion',
+			blockers: ['No AIQaBusinessAssertion was recorded for the diagnosis proof_plan.'],
+			requiredEvidence,
+			...defaultSupportBusinessProofReadinessFields()
+		};
+	}
+	const artifactPaths = Array.from(new Set(assertions.flatMap((assertion) => assertion.artifactPaths || [])));
+	const artifactFingerprint = supportBusinessProofArtifactFingerprint(artifactPaths);
+	const failed = assertions.find((assertion) => supportBusinessAssertionFailed(assertion.status));
+	if (failed) {
+		const failedFingerprint = supportBusinessProofFingerprint(gate, failed, artifactPaths);
+		return {
+			ready: false,
+			status: 'failed',
+			reason: 'support_business_proof_assertion_failed',
+			blockers: [failed.message || failed.observed || failed.assertion || 'Business assertion failed.'],
+			requiredEvidence,
+			...defaultSupportBusinessProofReadinessFields({
+				artifactPaths,
+				proofFingerprint: failedFingerprint,
+				artifactFingerprint,
+				proofFreshness: 'fresh'
+			}),
+			matchedAssertion: failed
+		};
+	}
+	const routeOnly = assertions.find((assertion) => assertion.routeOnly || assertion.acceptanceBlocked || supportBusinessAssertionRouteOnly(assertion.status) || proofPlanLooksRouteOnly({
+		before: assertion.before || '',
+		action: assertion.action || '',
+		after: assertion.after || assertion.expected || '',
+		business_assertion: assertion.assertion || assertion.message || '',
+		data_assertion: assertion.dataProof || '',
+		artifact_expectation: assertion.artifactPaths.join(', ')
+	}));
+	if (routeOnly) {
+		const routeOnlyFingerprint = supportBusinessProofFingerprint(gate, routeOnly, artifactPaths);
+		return {
+			ready: false,
+			status: 'route_only',
+			reason: 'support_business_proof_route_only_or_acceptance_blocked',
+			blockers: ['Route probe, shell/screenshot, or acceptance_blocked proof cannot accept the ticket. Run the issue-class business assertion.'],
+			requiredEvidence,
+			...defaultSupportBusinessProofReadinessFields({
+				artifactPaths,
+				proofFingerprint: routeOnlyFingerprint,
+				artifactFingerprint,
+				proofFreshness: 'fresh'
+			}),
+			matchedAssertion: routeOnly
+		};
+	}
+	const passedAssertions = assertions.filter((assertion) => supportBusinessAssertionPassed(assertion.status));
+	const matched = passedAssertions.find((assertion) => supportBusinessProofAssertionMatchesContract(assertion, gate));
+	if (!matched) {
+		return {
+			ready: false,
+			status: 'weak',
+			reason: 'support_business_proof_does_not_match_diagnosis_contract',
+			blockers: ['A passed assertion exists, but it does not map to the diagnosis proof_plan/business_proof_contract.'],
+			requiredEvidence,
+			...defaultSupportBusinessProofReadinessFields({ artifactPaths, artifactFingerprint })
+		};
+	}
+	const proofArtifactPaths = matched.artifactPaths.length ? matched.artifactPaths : artifactPaths;
+	const proofFingerprint = supportBusinessProofFingerprint(gate, matched, proofArtifactPaths);
+	const matchedArtifactFingerprint = supportBusinessProofArtifactFingerprint(proofArtifactPaths);
+	const previousProofFingerprint = cleanText(input.previousProofFingerprint, 160);
+	const previousArtifactFingerprint = cleanText(input.previousArtifactFingerprint, 160);
+	const sameProofAsPrevious = !!previousProofFingerprint && previousProofFingerprint === proofFingerprint;
+	const sameArtifactAsPrevious = !!previousArtifactFingerprint && previousArtifactFingerprint === matchedArtifactFingerprint;
+	if (sameProofAsPrevious || sameArtifactAsPrevious) {
+		return {
+			ready: false,
+			status: 'stale',
+			reason: sameProofAsPrevious
+				? 'support_business_proof_same_fingerprint_as_previous'
+				: 'support_business_proof_same_artifact_fingerprint_as_previous',
+			blockers: ['Business proof did not produce a new proof/artifact fingerprint for this run. Rerun the issue-specific assertion and record fresh artifact proof.'],
+			requiredEvidence,
+			...defaultSupportBusinessProofReadinessFields({
+				artifactPaths: proofArtifactPaths,
+				proofFingerprint,
+				artifactFingerprint: matchedArtifactFingerprint,
+				proofFreshness: sameProofAsPrevious ? 'same_as_previous' : 'stale_artifact'
+			}),
+			matchedAssertion: matched
+		};
+	}
+	if (!matched.artifactPaths.length && !artifactPaths.length) {
+		return {
+			ready: false,
+			status: 'weak',
+			reason: 'support_business_proof_missing_artifact_path',
+			blockers: ['Business proof must include at least one artifact path.'],
+			requiredEvidence,
+			...defaultSupportBusinessProofReadinessFields({
+				artifactPaths,
+				proofFingerprint,
+				artifactFingerprint: matchedArtifactFingerprint
+			}),
+			matchedAssertion: matched
+		};
+	}
+	const hasDataOrDomProof = !!cleanText(matched.dataProof, 50)
+		|| Object.keys(cleanObject(matched.mongoDelta)).length > 0
+		|| !!cleanText(matched.observed, 80)
+		|| !!cleanText(matched.after, 80);
+	if (!hasDataOrDomProof) {
+		return {
+			ready: false,
+			status: 'weak',
+			reason: 'support_business_proof_missing_dom_or_data_proof',
+			blockers: ['Business proof must include DOM/data proof, observed result, after-state, or Mongo delta.'],
+			requiredEvidence,
+			...defaultSupportBusinessProofReadinessFields({
+				artifactPaths: proofArtifactPaths,
+				proofFingerprint,
+				artifactFingerprint: matchedArtifactFingerprint
+			}),
+			matchedAssertion: matched
+		};
+	}
+	return {
+		ready: true,
+		status: 'passed',
+		reason: 'support_business_proof_ready',
+		blockers: [],
+		requiredEvidence,
+		...defaultSupportBusinessProofReadinessFields({
+			artifactPaths: proofArtifactPaths,
+			proofFingerprint,
+			artifactFingerprint: matchedArtifactFingerprint,
+			proofFreshness: 'fresh'
+		}),
+		matchedAssertion: matched
+	};
+}
+
+function buildSupportClarificationQuestion(gate: ResolveIOSupportDiagnosisGate | undefined, blockers: string[]): string {
+	if (gate?.issue_case.reproduction_status === 'blocked' && gate.issue_case.reproduction_blocker) {
+		return `Can you provide the missing detail needed to reproduce this issue: ${gate.issue_case.reproduction_blocker}?`;
+	}
+	if (blockers.some((blocker) => /expected_result/.test(blocker))) {
+		return 'What result did you expect to see in this workflow?';
+	}
+	if (blockers.some((blocker) => /observed_result/.test(blocker))) {
+		return 'What exact result are you seeing instead, including the affected record or screen if possible?';
+	}
+	if (blockers.some((blocker) => /account_customer_context/.test(blocker))) {
+		return 'Which customer/account/user context should we use to reproduce this issue?';
+	}
+	return 'Can you send one concrete example record, screen, or action path where this issue still occurs?';
+}
+
+function buildResolveIOSupportHumanReviewPacket(input: {
+	reviewType: ResolveIOSupportHumanReviewType;
+	title: string;
+	summary?: string;
+	primaryAction: string;
+	question?: string;
+	customerFacingDraftAllowed?: boolean;
+	customerSendAllowed?: boolean;
+	requiresHumanApproval?: boolean;
+	safety?: ResolveIOSupportHumanReviewPacket['safety'];
+	reason?: string;
+	blockers?: any[];
+	requiredEvidence?: any[];
+	evidenceRefs?: any[];
+	nextCommands?: any[];
+	forbiddenActions?: any[];
+	costRisk?: ResolveIOSupportHumanReviewPacket['costRisk'];
+	now?: Date | string;
+}): ResolveIOSupportHumanReviewPacket {
+	return {
+		reviewType: input.reviewType,
+		title: cleanText(input.title, 200) || 'Review Support Runner Action',
+		summary: cleanText(input.summary || input.reason, 1000),
+		primaryAction: cleanText(input.primaryAction, 160) || 'review_support_runner_action',
+		question: cleanText(input.question, 1000) || undefined,
+		customerFacingDraftAllowed: input.customerFacingDraftAllowed === true,
+		customerSendAllowed: false,
+		requiresHumanApproval: input.requiresHumanApproval !== false,
+		safety: input.safety || 'internal_hold',
+		reason: cleanText(input.reason, 500),
+		blockers: cleanList(input.blockers, 20, 500),
+		requiredEvidence: cleanList(input.requiredEvidence, 30, 500),
+		evidenceRefs: cleanList(input.evidenceRefs, 40, 500),
+		nextCommands: cleanList(input.nextCommands, 20, 200),
+		forbiddenActions: Array.from(new Set([
+			'Do not send customer email without explicit human approval.',
+			...cleanList(input.forbiddenActions, 20, 500)
+		])),
+		costRisk: input.costRisk || 'small_model_or_qa',
+		createdAt: isoNow(input.now)
+	};
+}
+
+function supportAutonomousReviewTypeForAction(action: ResolveIOSupportV5AutonomousNextAction): ResolveIOSupportHumanReviewType {
+	switch (action) {
+		case 'run_diagnosis_gate':
+			return 'diagnosis_gate';
+		case 'ask_customer_clarification':
+			return 'customer_clarification';
+		case 'run_owner_scoped_repair':
+		case 'revise_diagnosis_scope':
+			return 'owner_scoped_repair';
+		case 'run_business_proof_qa':
+			return 'business_proof_qa';
+		case 'repair_release_hotfix_first':
+		case 'ready_for_release_gate':
+			return 'release_hotfix';
+		case 'draft_customer_reply':
+			return 'customer_resolution_reply';
+		case 'collect_new_evidence':
+			return 'new_evidence';
+		case 'repair_infra_only':
+		case 'park_manual':
+		default:
+			return 'internal_hold';
+	}
+}
+
+export function decideResolveIOSupportCustomerReplyPolicy(input: ResolveIOSupportCustomerReplyPolicyInput = {}): ResolveIOSupportCustomerReplyPolicy {
+	const diagnosisValidation = validateResolveIOSupportDiagnosisGate(input.diagnosisGate);
+	const gate = diagnosisValidation.normalized;
+	const confidenceLevel = normalizeSupportConfidenceLevel(input.confidence);
+	const shouldBlockConfidence = input.confidence?.shouldBlockPr === true
+		|| input.confidence?.should_block_pr === true
+		|| input.confidence?.blocked === true;
+	const businessProofReadiness = evaluateResolveIOSupportBusinessProofReadiness({
+		diagnosisGate: input.diagnosisGate,
+		outcomeLabel: input.outcomeLabel,
+		businessAssertionStatus: input.businessAssertionStatus,
+		businessAssertions: input.businessAssertions,
+		businessProofArtifacts: input.businessProofArtifacts,
+		previousProofFingerprint: input.previousProofFingerprint,
+		previousArtifactFingerprint: input.previousArtifactFingerprint
+	});
+	const artifactCount = businessProofReadiness.artifactPaths.length;
+	const unresolvedBlockers = cleanList(input.unresolvedBlockers, 20, 500);
+	const releaseBlocked = supportReleaseLooksBlocked(input.releaseStatus);
+	const requiredEvidence = [
+		'valid SupportDiagnosisGate',
+		'high confidence with shouldBlockPr=false',
+		'accepted outcome or passed business assertion',
+		'business proof contract and artifact evidence',
+		'no unresolved blocker or release blocker'
+	];
+	if (!diagnosisValidation.valid) {
+		const canAskCustomer = gate?.issue_case.reproduction_status === 'blocked'
+			|| diagnosisValidation.blockers.some((blocker) => /expected_result|observed_result|account_customer_context/.test(blocker));
+		if (canAskCustomer) {
+			const clarificationQuestion = buildSupportClarificationQuestion(gate, diagnosisValidation.blockers);
+			return {
+				action: 'ask_clarification',
+				canDraftCustomerReply: true,
+				canSendCustomerReply: false,
+				confidenceLevel,
+				safety: 'needs_clarification',
+				reason: 'support_reply_waiting_on_customer_reproduction_detail',
+				requiredEvidence,
+				clarificationQuestion,
+				humanReviewPacket: buildResolveIOSupportHumanReviewPacket({
+					reviewType: 'customer_clarification',
+					title: 'Review Customer Clarification',
+					summary: 'The runner needs one customer detail before it can reproduce or continue safely.',
+					primaryAction: 'review_customer_clarification',
+					question: clarificationQuestion,
+					customerFacingDraftAllowed: true,
+					safety: 'needs_clarification',
+					reason: 'support_reply_waiting_on_customer_reproduction_detail',
+					blockers: diagnosisValidation.blockers,
+					requiredEvidence,
+					nextCommands: ['edit_clarification_question', 'send_after_human_review', 'park_ticket_until_customer_reply'],
+					forbiddenActions: ['Do not run repair from a guessed reproduction path.'],
+					costRisk: 'release_or_customer_send'
+				})
+			};
+		}
+		return {
+			action: 'hold_internal',
+			canDraftCustomerReply: false,
+			canSendCustomerReply: false,
+			confidenceLevel,
+			safety: 'internal_hold',
+			reason: 'support_reply_blocked_until_diagnosis_gate_validates',
+			requiredEvidence,
+			humanReviewPacket: buildResolveIOSupportHumanReviewPacket({
+				reviewType: 'internal_hold',
+				title: 'Complete Diagnosis Gate',
+				summary: 'Customer reply is blocked until the diagnosis gate validates.',
+				primaryAction: 'run_support_v5_read_only_diagnosis_gate',
+				safety: 'internal_hold',
+				reason: 'support_reply_blocked_until_diagnosis_gate_validates',
+				blockers: diagnosisValidation.blockers,
+				requiredEvidence,
+				nextCommands: ['retrieve_similar_tickets_and_commits', 'run_reproduction_or_classification_probe', 'write_support_diagnosis_gate_json'],
+				forbiddenActions: ['Do not draft a resolution reply before root-cause diagnosis validates.'],
+				costRisk: 'expensive_model'
+			})
+		};
+	}
+	if (shouldBlockConfidence || confidenceLevel !== 'high') {
+		return {
+			action: 'hold_internal',
+			canDraftCustomerReply: false,
+			canSendCustomerReply: false,
+			confidenceLevel,
+			safety: 'internal_hold',
+			reason: shouldBlockConfidence ? 'support_reply_blocked_by_confidence_gate' : 'support_reply_requires_high_confidence',
+			requiredEvidence,
+			humanReviewPacket: buildResolveIOSupportHumanReviewPacket({
+				reviewType: 'internal_hold',
+				title: 'Review Confidence Gate',
+				summary: 'Customer reply is blocked until confidence is high and the confidence gate is not blocking.',
+				primaryAction: 'review_support_confidence_evidence',
+				safety: 'internal_hold',
+				reason: shouldBlockConfidence ? 'support_reply_blocked_by_confidence_gate' : 'support_reply_requires_high_confidence',
+				requiredEvidence,
+				nextCommands: ['inspect_confidence_basis', 'collect_missing_business_or_release_evidence'],
+				forbiddenActions: ['Do not draft a customer resolution from medium or low confidence.'],
+				costRisk: 'free_or_deterministic'
+			})
+		};
+	}
+	if (unresolvedBlockers.length) {
+		return {
+			action: 'hold_internal',
+			canDraftCustomerReply: false,
+			canSendCustomerReply: false,
+			confidenceLevel,
+			safety: 'internal_hold',
+			reason: 'support_reply_blocked_by_unresolved_runner_blocker',
+			requiredEvidence,
+			humanReviewPacket: buildResolveIOSupportHumanReviewPacket({
+				reviewType: 'internal_hold',
+				title: 'Resolve Runner Blocker',
+				summary: 'Customer reply is blocked by unresolved runner blockers.',
+				primaryAction: 'review_support_runner_blocker',
+				safety: 'internal_hold',
+				reason: 'support_reply_blocked_by_unresolved_runner_blocker',
+				blockers: unresolvedBlockers,
+				requiredEvidence,
+				nextCommands: ['classify_blocker', 'collect_new_evidence_or_repair_smallest_gate'],
+				forbiddenActions: ['Do not send customer status as resolved while blockers remain.'],
+				costRisk: 'small_model_or_qa'
+			})
+		};
+	}
+	if (releaseBlocked) {
+		return {
+			action: 'hold_internal',
+			canDraftCustomerReply: false,
+			canSendCustomerReply: false,
+			confidenceLevel,
+			safety: 'internal_hold',
+			reason: 'support_reply_blocked_until_release_or_hotfix_gate_finishes',
+			requiredEvidence,
+			humanReviewPacket: buildResolveIOSupportHumanReviewPacket({
+				reviewType: 'release_hotfix',
+				title: 'Finish Release Or Hotfix Gate',
+				summary: 'Business proof exists, but the customer reply is blocked until release or hotfix evidence is complete.',
+				primaryAction: 'repair_release_hotfix_first',
+				safety: 'internal_hold',
+				reason: 'support_reply_blocked_until_release_or_hotfix_gate_finishes',
+				blockers: [input.releaseStatus],
+				requiredEvidence,
+				nextCommands: ['record_hotfix_evidence', 'commit_and_push_hotfix_to_github', 'rerun_release_gate_once'],
+				forbiddenActions: ['Do not tell the customer the fix is live before release evidence passes.'],
+				costRisk: 'release_or_customer_send'
+			})
+		};
+	}
+	if (!businessProofReadiness.ready) {
+		const replyReason = businessProofReadiness.reason === 'support_business_proof_route_only_or_acceptance_blocked'
+			? 'support_reply_rejects_route_only_business_proof'
+			: 'support_reply_requires_business_assertion_pass';
+		const proofRequiredEvidence = Array.from(new Set([
+			...requiredEvidence,
+			...businessProofReadiness.requiredEvidence
+		]));
+		return {
+			action: 'hold_internal',
+			canDraftCustomerReply: false,
+			canSendCustomerReply: false,
+			confidenceLevel,
+			safety: 'internal_hold',
+			reason: replyReason,
+			requiredEvidence: proofRequiredEvidence,
+			humanReviewPacket: buildResolveIOSupportHumanReviewPacket({
+				reviewType: 'business_proof_qa',
+				title: 'Run Business Proof QA',
+				summary: 'Customer reply is blocked until the issue-specific before/action/after assertion passes.',
+				primaryAction: 'run_support_v5_business_proof_qa_row',
+				safety: 'internal_hold',
+				reason: replyReason,
+				blockers: businessProofReadiness.blockers,
+				requiredEvidence: proofRequiredEvidence,
+				evidenceRefs: businessProofReadiness.artifactPaths,
+				nextCommands: ['execute_issue_class_probe', 'record_before_action_after_artifacts', 'write_aiqa_business_assertion'],
+				forbiddenActions: ['Route probe pass remains route evidence only.'],
+				costRisk: 'small_model_or_qa'
+			})
+		};
+	}
+	if (!gate?.proof_plan.business_proof_contract || artifactCount < 1) {
+		return {
+			action: 'hold_internal',
+			canDraftCustomerReply: false,
+			canSendCustomerReply: false,
+			confidenceLevel,
+			safety: 'internal_hold',
+			reason: 'support_reply_requires_business_proof_contract_artifact',
+			requiredEvidence,
+			humanReviewPacket: buildResolveIOSupportHumanReviewPacket({
+				reviewType: 'business_proof_qa',
+				title: 'Attach Business Proof Artifact',
+				summary: 'Customer reply is blocked until the business proof contract and artifact are attached.',
+				primaryAction: 'record_business_proof_artifact',
+				safety: 'internal_hold',
+				reason: 'support_reply_requires_business_proof_contract_artifact',
+				requiredEvidence,
+				evidenceRefs: businessProofReadiness.artifactPaths,
+				nextCommands: ['attach_business_proof_contract', 'attach_artifact_path', 'rerun_reply_policy'],
+				forbiddenActions: ['Do not draft a resolution reply without a proof artifact.'],
+				costRisk: 'free_or_deterministic'
+			})
+		};
+	}
+	return {
+		action: 'draft_resolution_reply',
+		canDraftCustomerReply: true,
+		canSendCustomerReply: false,
+		confidenceLevel,
+		safety: 'safe_to_draft',
+		reason: 'support_reply_resolution_draft_allowed_after_business_proof',
+		requiredEvidence,
+		humanReviewPacket: buildResolveIOSupportHumanReviewPacket({
+			reviewType: 'customer_resolution_reply',
+			title: 'Review Customer Resolution Reply',
+			summary: `Business proof is ready for ${gate.issue_class}; draft a customer-facing resolution for human review.`,
+			primaryAction: 'review_customer_reply',
+			customerFacingDraftAllowed: true,
+			safety: 'safe_to_draft',
+			reason: 'support_reply_resolution_draft_allowed_after_business_proof',
+			requiredEvidence,
+			evidenceRefs: businessProofReadiness.artifactPaths,
+			nextCommands: ['summarize_business_proof', 'draft_customer_reply_for_human_review'],
+			forbiddenActions: ['Draft only; do not send automatically.'],
+			costRisk: 'release_or_customer_send'
+		}),
+		draftBasis: {
+			issueClass: gate.issue_class,
+			businessProof: gate.proof_plan.business_proof_contract.expected_business_state_change,
+			artifactCount
+		}
+	};
+}
+
+export function buildResolveIOSupportIssueClassProbes(value: any): ResolveIOSupportIssueClassProbe[] {
+	const validation = validateResolveIOSupportDiagnosisGate(value);
+	const gate = validation.normalized || normalizeResolveIOSupportDiagnosisGate(value);
+	if (!gate) {
+		return [];
+	}
+	const route = gate.proof_plan.route || gate.issue_case.route_module;
+	const proofContract = gate.proof_plan.business_proof_contract;
+	const proof = proofContract?.expected_business_state_change || gate.proof_plan.business_assertion;
+	const assertion = proofContract?.data_or_dom_assertion || gate.proof_plan.data_assertion || gate.proof_plan.after;
+	const contractArtifacts = cleanList(proofContract?.proof_artifacts, 8, 160);
+	const common = {
+		issue_class: gate.issue_class,
+		probe_type: 'issue_class_probe' as ResolveIOSupportV5StepType,
+		route,
+		state_transition: {
+			before: gate.proof_plan.before || gate.proof_plan.before_state_unavailable_reason || proofContract?.setup_state || '',
+			action: gate.proof_plan.action || proofContract?.action_under_test || '',
+			after: gate.proof_plan.after || proofContract?.expected_business_state_change || '',
+			assertion: assertion || gate.proof_plan.business_assertion || ''
+		},
+		acceptance_gate: 'aiqa_business_assertion' as const,
+		blocks_acceptance_without_business_assertion: true
+	};
+	const map: Record<ResolveIOSupportIssueClass, {
+		action: string;
+		expected: string;
+		failureClass: ResolveIOSupportV5FailureClass;
+		requiredArtifacts: string[];
+	}> = {
+		no_op_submit: {
+			action: `Submit the customer action on ${route || 'the affected screen'} and assert a persisted state change or explicit validation message.`,
+			expected: proof || 'Before/action/after proof shows the submit is no longer a no-op.',
+			failureClass: 'business',
+			requiredArtifacts: ['before form state', 'submit action trace', 'post-submit DOM/data proof', 'method/network result']
+		},
+		missing_wrong_data: {
+			action: `Load the named record/list on ${route || 'the affected route'} and compare visible data to the expected persisted source.`,
+			expected: proof || 'Visible data and persisted data match the customer expectation.',
+			failureClass: 'business',
+			requiredArtifacts: ['expected source record', 'visible DOM/data snapshot', 'persisted data comparison']
+		},
+		filter_query_mismatch: {
+			action: 'Apply the reported filter/query inputs and assert the returned rows/counts match the expected dataset.',
+			expected: proof || 'Filter/query output contains the correct included rows and excludes the wrong rows.',
+			failureClass: 'business',
+			requiredArtifacts: ['filter input trace', 'included/excluded row proof', 'query or publication result proof']
+		},
+		invoice_pdf_export: {
+			action: 'Generate the invoice/PDF/export from the affected route and inspect the downloaded/generated artifact.',
+			expected: proof || 'Generated artifact contains the expected customer-visible rows, totals, or fields.',
+			failureClass: 'business',
+			requiredArtifacts: ['export trigger trace', 'generated file artifact path', 'parsed artifact content proof']
+		},
+		upload_import: {
+			action: 'Run the upload/import workflow with a representative file and assert parsed plus persisted results.',
+			expected: proof || 'Import shows a success result and persisted rows/counts changed as expected.',
+			failureClass: 'business',
+			requiredArtifacts: ['input file fixture', 'import result message', 'persisted row/count delta']
+		},
+		route_auth_hydration: {
+			action: 'Open the route as the affected user and assert authenticated hydration reaches the functional screen, not a shell.',
+			expected: proof || 'Route hydrates with the required controls/data for the affected account.',
+			failureClass: 'route',
+			requiredArtifacts: ['auth context', 'hydrated DOM proof', 'console/network error log']
+		},
+		slow_query_performance: {
+			action: 'Run the reported query/workflow with timing/log evidence before and after the fix.',
+			expected: proof || 'Performance evidence shows the slow path improved without changing results.',
+			failureClass: 'business',
+			requiredArtifacts: ['before timing', 'after timing', 'result equivalence proof', 'query/log trace']
+		}
+	};
+	const selected = map[gate.issue_class];
+	const requiredArtifacts = Array.from(new Set([
+		...contractArtifacts,
+		...selected.requiredArtifacts
+	]));
+	return [{
+		...common,
+		failure_class: selected.failureClass,
+		objective: `Issue-class probe for ${gate.issue_class}: ${gate.issue_case.customer_complaint}`,
+		action: proofContract
+			? `${proofContract.action_under_test} ${selected.action}`
+			: selected.action,
+		expected_evidence: `${selected.expected}${assertion ? ` Assertion: ${assertion}.` : ''}${requiredArtifacts.length ? ` Required artifacts: ${requiredArtifacts.join(', ')}.` : ''}`.trim(),
+		expected_business_proof: proof || gate.proof_plan.business_assertion,
+		required_artifacts: requiredArtifacts
+	}];
+}
+
+export function hashResolveIOSupportV5Evidence(value: any): string {
+	const raw = typeof value === 'string' ? value : JSON.stringify(value || {});
+	const normalized = cleanText(raw, 8000)
+		.toLowerCase()
+		.replace(/[a-f0-9]{16,}/g, '<id>')
+		.replace(/\b\d{2,}\b/g, '<n>');
+	let hash = 0;
+	for (let index = 0; index < normalized.length; index += 1) {
+		hash = ((hash << 5) - hash + normalized.charCodeAt(index)) | 0;
+	}
+	return `ev-${Math.abs(hash).toString(36) || '0'}`;
+}
+
+export function decideResolveIOSupportV5RepeatedFailureStop(input: ResolveIOSupportV5RepeatStopInput): ResolveIOSupportV5RepeatStopDecision {
+	const failureClass = cleanText(input.failureClass || 'unknown', 80).toLowerCase();
+	const blockerFingerprint = fingerprintResolveIOSupportV5Blocker(input.blocker || '');
+	const evidenceHash = cleanText(input.evidenceHash, 80) || hashResolveIOSupportV5Evidence(input.evidence || input.blocker || '');
+	const limit = Math.max(1, Number(input.limit || 2) || 2);
+	if (input.ignoreInfra !== false && /^(infra|compile)$/.test(failureClass)) {
+		return {
+			shouldStop: false,
+			repeatedCount: 0,
+			failureClass,
+			blockerFingerprint,
+			evidenceHash,
+			reason: 'support_v5_infra_failures_do_not_count_as_product_repair_loops'
+		};
+	}
+	const latestRecord = (input.history || [])[(input.history || []).length - 1];
+	const managerDecision = decideResolveIOAIManagerPolicy({
+		history: (input.history || []).map((entry) => ({
+			outcome: entry.outcome,
+			lane: entry.lane,
+			stepType: entry.stepType,
+			failureClass: entry.failureClass,
+			blocker: entry.blocker || entry.summary,
+			evidenceHash: entry.evidenceHash,
+			changedFiles: entry.changedFiles,
+			artifactPaths: entry.artifactPaths,
+			summary: entry.summary,
+			recordedAt: entry.recordedAt
+		})),
+		current: {
+			outcome: 'needs_repair',
+			lane: latestRecord?.lane,
+			stepType: latestRecord?.stepType,
+			failureClass,
+			blocker: input.blocker,
+			evidenceHash,
+			changedFiles: cleanList(input.changedFiles, 40, 500),
+			artifactPaths: cleanList(input.artifactPaths, 40, 500),
+			summary: input.blocker
+		},
+		maxSameFailureRepeats: limit,
+		maxPingPongTransitions: 3,
+		infraFailureClasses: input.ignoreInfra !== false ? ['infra', 'compile'] : []
+	});
+	if (managerDecision.action === 'retry_infra') {
+		return {
+			shouldStop: false,
+			repeatedCount: 0,
+			failureClass,
+			blockerFingerprint,
+			evidenceHash,
+			reason: 'support_v5_infra_failures_do_not_count_as_product_repair_loops'
+		};
+	}
+	if (managerDecision.action === 'park_ping_pong') {
+		return {
+			shouldStop: true,
+			repeatedCount: managerDecision.pingPongCount,
+			failureClass,
+			blockerFingerprint,
+			evidenceHash,
+			newEvidence: managerDecision.newEvidence,
+			materialEvidence: managerDecision.materialEvidence,
+			evidenceStrength: managerDecision.evidenceStrength,
+			evidenceSignals: managerDecision.evidenceSignals,
+			reason: 'support_v5_ping_pong_failure_loop'
+		};
+	}
+	if (managerDecision.action === 'park_repeated_failure' && managerDecision.newEvidence && !managerDecision.materialEvidence) {
+		return {
+			shouldStop: true,
+			repeatedCount: managerDecision.sameFailureCount,
+			failureClass,
+			blockerFingerprint,
+			evidenceHash,
+			newEvidence: managerDecision.newEvidence,
+			materialEvidence: managerDecision.materialEvidence,
+			evidenceStrength: managerDecision.evidenceStrength,
+			evidenceSignals: managerDecision.evidenceSignals,
+			reason: 'support_v5_same_failure_with_weak_evidence'
+		};
+	}
+	if (managerDecision.newEvidence && managerDecision.materialEvidence) {
+		return {
+			shouldStop: false,
+			repeatedCount: managerDecision.sameFailureCount,
+			failureClass,
+			blockerFingerprint,
+			evidenceHash,
+			newEvidence: managerDecision.newEvidence,
+			materialEvidence: managerDecision.materialEvidence,
+			evidenceStrength: managerDecision.evidenceStrength,
+			evidenceSignals: managerDecision.evidenceSignals,
+			reason: 'support_v5_retry_allowed_material_evidence'
+		};
+	}
+	if (managerDecision.action === 'park_repeated_failure') {
+		return {
+			shouldStop: true,
+			repeatedCount: managerDecision.sameFailureCount,
+			failureClass,
+			blockerFingerprint,
+			evidenceHash,
+			newEvidence: managerDecision.newEvidence,
+			materialEvidence: managerDecision.materialEvidence,
+			evidenceStrength: managerDecision.evidenceStrength,
+			evidenceSignals: managerDecision.evidenceSignals,
+			reason: 'support_v5_same_failure_class_without_new_evidence'
+		};
+	}
+	let repeatedCount = 0;
+	for (let index = (input.history || []).length - 1; index >= 0; index -= 1) {
+		const item = input.history[index];
+		if (item.outcome === 'pass' || item.outcome === 'ready_for_merge') {
+			break;
+		}
+		const itemFailureClass = cleanText(item.failureClass || 'unknown', 80).toLowerCase();
+		const itemBlockerFingerprint = cleanText(item.blockerFingerprint, 80)
+			|| fingerprintResolveIOSupportV5Blocker(item.blocker || item.summary || '');
+		const itemEvidenceHash = cleanText(item.evidenceHash, 80)
+			|| hashResolveIOSupportV5Evidence(item.artifactPaths || item.blocker || item.summary || '');
+		if (itemFailureClass !== failureClass || itemBlockerFingerprint !== blockerFingerprint || itemEvidenceHash !== evidenceHash) {
+			break;
+		}
+		repeatedCount += 1;
+	}
+	return {
+		shouldStop: repeatedCount >= limit,
+		repeatedCount,
+		failureClass,
+		blockerFingerprint,
+		evidenceHash,
+		newEvidence: managerDecision.newEvidence,
+		materialEvidence: managerDecision.materialEvidence,
+		evidenceStrength: managerDecision.evidenceStrength,
+		evidenceSignals: managerDecision.evidenceSignals,
+		reason: repeatedCount >= limit
+			? 'support_v5_same_failure_class_without_new_evidence'
+			: 'support_v5_retry_allowed_new_or_below_repeat_limit'
+	};
+}
+
+export function evaluateResolveIOSupportEvidenceFreshness(input: {
+	history?: ResolveIOSupportV5StepRecord[];
+	failureClass?: ResolveIOSupportV5FailureClass | string;
+	blocker?: any;
+	evidence?: any;
+	evidenceHash?: string;
+	changedFiles?: any;
+	artifactPaths?: any;
+	lane?: ResolveIOSupportV5Lane | string;
+	stepType?: ResolveIOSupportV5StepType | string;
+	limit?: number;
+	ignoreInfra?: boolean;
+}): ResolveIOSupportEvidenceFreshness {
+	const history = Array.isArray(input.history) ? input.history : [];
+	const latest = history.length ? history[history.length - 1] : undefined;
+	const rawFailureClass = cleanText(input.failureClass || latest?.failureClass, 80).toLowerCase();
+	const failureClass = rawFailureClass || 'unknown';
+	const blocker = cleanText(input.blocker || latest?.blocker || latest?.summary, 1200);
+	const changedFiles = cleanList(input.changedFiles || latest?.changedFiles, 40, 500);
+	const artifactPaths = cleanList(input.artifactPaths || latest?.artifactPaths, 40, 500);
+	const explicitEvidenceHash = cleanText(input.evidenceHash || latest?.evidenceHash, 120);
+	const evidenceHash = explicitEvidenceHash || hashResolveIOSupportV5Evidence(input.evidence || artifactPaths || blocker || latest?.summary || '');
+	const blockerFingerprint = fingerprintResolveIOSupportV5Blocker(blocker || latest?.summary || '');
+	const missing = !history.length && !rawFailureClass && !blocker && !explicitEvidenceHash && !artifactPaths.length && !changedFiles.length;
+	if (missing) {
+		return {
+			status: 'missing',
+			failureClass: '',
+			blockerFingerprint: '',
+			evidenceHash: '',
+			sameFailureCount: 0,
+			pingPongCount: 0,
+			newEvidence: false,
+			materialEvidence: false,
+			evidenceStrength: 'none',
+			evidenceSignals: [],
+			loopBudgetShouldReset: false,
+			canRetry: true,
+			mustCollectNewEvidence: false,
+			productRepairFailure: false,
+			reason: 'support_evidence_freshness_waiting_for_first_failure_or_proof',
+			requiredResetEvidence: [
+				'current blocker fingerprint',
+				'evidence hash',
+				'artifact path when available'
+			],
+			changedFiles,
+			artifactPaths
+		};
+	}
+	const current = {
+		outcome: 'needs_repair',
+		lane: cleanText(input.lane || latest?.lane, 80) || latest?.lane,
+		stepType: cleanText(input.stepType || latest?.stepType, 80) || latest?.stepType,
+		failureClass,
+		blocker,
+		evidenceHash,
+		changedFiles,
+		artifactPaths,
+		summary: blocker
+	};
+	const policy = decideResolveIOAIManagerPolicy({
+		history: history.map((entry) => ({
+			outcome: entry.outcome,
+			lane: entry.lane,
+			stepType: entry.stepType,
+			failureClass: entry.failureClass,
+			blocker: entry.blocker || entry.summary,
+			evidenceHash: entry.evidenceHash,
+			changedFiles: entry.changedFiles,
+			artifactPaths: entry.artifactPaths,
+			summary: entry.summary,
+			recordedAt: entry.recordedAt
+		})),
+		current,
+		maxSameFailureRepeats: Math.max(1, Number(input.limit || 2) || 2),
+		maxPingPongTransitions: 3,
+		infraFailureClasses: input.ignoreInfra !== false ? ['infra', 'compile'] : []
+	});
+	let status: ResolveIOSupportEvidenceFreshnessStatus = 'retry_below_limit';
+	if (policy.action === 'retry_infra') {
+		status = 'infra_ignored';
+	}
+	else if (policy.action === 'park_ping_pong') {
+		status = 'ping_pong';
+	}
+	else if (policy.action === 'park_repeated_failure') {
+		status = policy.newEvidence ? 'weak_evidence' : 'stale_repeated';
+	}
+	else if (policy.newEvidence && policy.materialEvidence) {
+		status = 'material_evidence';
+	}
+	else if (policy.newEvidence && !policy.materialEvidence) {
+		status = 'weak_evidence';
+	}
+	else if (policy.loopBudgetShouldReset || policy.reason === 'manager_policy_new_failure_or_lane') {
+		status = 'fresh';
+	}
+	const mustCollectNewEvidence = policy.action === 'park_repeated_failure'
+		|| policy.action === 'park_ping_pong';
+	return {
+		status,
+		failureClass: policy.failureClass,
+		blockerFingerprint: blockerFingerprint || policy.blockerFingerprint,
+		evidenceHash: policy.evidenceHash,
+		sameFailureCount: policy.sameFailureCount,
+		pingPongCount: policy.pingPongCount,
+		newEvidence: policy.newEvidence,
+		materialEvidence: policy.materialEvidence,
+		evidenceStrength: policy.evidenceStrength,
+		evidenceSignals: policy.evidenceSignals,
+		loopBudgetShouldReset: policy.loopBudgetShouldReset,
+		canRetry: !mustCollectNewEvidence,
+		mustCollectNewEvidence,
+		productRepairFailure: policy.productRepairFailure,
+		reason: policy.reason,
+		requiredResetEvidence: Array.from(new Set([
+			...cleanList(policy.recoveryPlan.loopResetEvidence, 12, 500),
+			...cleanList(policy.recoveryAction?.successCriteria, 12, 500)
+		])).slice(0, 18),
+		changedFiles,
+		artifactPaths
+	};
+}
+
+export function buildResolveIOSupportContinuationProofCheckpoint(input: {
+	action: ResolveIOSupportV5AutonomousNextAction;
+	reason?: any;
+	evidenceFreshness?: ResolveIOSupportEvidenceFreshness;
+	requiredEvidence?: any;
+	requiredResetEvidence?: any;
+	blocksProductRepair?: boolean;
+}): ResolveIOSupportContinuationProofCheckpoint {
+	const evidenceFreshness = input.evidenceFreshness;
+	const action = input.action;
+	const requiredEvidence = cleanList(input.requiredEvidence, 20, 500);
+	const requiredResetEvidence = Array.from(new Set([
+		...cleanList(input.requiredResetEvidence, 20, 500),
+		...cleanList(evidenceFreshness?.requiredResetEvidence, 20, 500),
+		...(action === 'run_diagnosis_gate'
+			? [
+				'accepted SupportDiagnosisGate with reproduced/blocked issue case',
+				'bounded owner_files and before/action/after proof_plan'
+			]
+			: []),
+		...(action === 'collect_new_evidence'
+			? [
+				'fresh issue-class probe artifact',
+				'changed blockerFingerprint or evidenceHash',
+				'AIQaBusinessAssertion or before/action/after blocker artifact'
+			]
+			: []),
+		...(action === 'repair_infra_only'
+			? [
+				'infra or compile gate passes, or failureClass changes',
+				'new evidenceHash from fresh preflight/build artifact'
+			]
+			: []),
+		...(action === 'repair_release_hotfix_first'
+			? [
+				'GitHub commit proof recorded before live backend hotfix',
+				'release gate or hotfix durability evidence refreshed'
+			]
+			: [])
+	])).slice(0, 20);
+	const blocksProductRepair = input.blocksProductRepair === true
+		|| action === 'collect_new_evidence'
+		|| action === 'run_diagnosis_gate'
+		|| action === 'ask_customer_clarification'
+		|| action === 'repair_infra_only'
+		|| action === 'revise_diagnosis_scope';
+	const waitingForNewEvidence = evidenceFreshness?.mustCollectNewEvidence === true
+		|| action === 'collect_new_evidence';
+	const proofRequired = requiredEvidence.length > 0 || requiredResetEvidence.length > 0;
+	const status: ResolveIOSupportContinuationProofCheckpointStatus = waitingForNewEvidence
+		? 'waiting_for_new_evidence'
+		: proofRequired
+			? 'waiting_for_proof'
+			: 'waiting_for_state_transition';
+	return {
+		required: true,
+		status,
+		action,
+		reason: cleanText(input.reason || evidenceFreshness?.reason || '', 1000),
+		startingFailureClass: cleanText(evidenceFreshness?.failureClass, 120),
+		startingBlockerFingerprint: cleanText(evidenceFreshness?.blockerFingerprint, 160),
+		startingEvidenceHash: cleanText(evidenceFreshness?.evidenceHash, 160),
+		requiredEvidence,
+		requiredResetEvidence,
+		successRequiresNewEvidence: waitingForNewEvidence || blocksProductRepair,
+		blocksProductRepairUntilChangedEvidence: blocksProductRepair,
+		nextAction: waitingForNewEvidence
+			? 'collect_required_reset_evidence'
+			: action
+	};
+}
+
+export function changedFilesOutsideResolveIOSupportDiagnosisOwnerFiles(
+	diagnosisGate: any,
+	changedFiles: any,
+	options: { allowTests?: boolean } = {}
+): string[] {
+	const validation = validateResolveIOSupportDiagnosisGate(diagnosisGate);
+	if (!validation.valid || !validation.normalized) {
+		return cleanList(changedFiles, 80, 500);
+	}
+	const owners = new Set(validation.normalized.owner_files.map(normalizeOwnerFilePath));
+	return cleanList(changedFiles, 120, 500)
+		.map(normalizeOwnerFilePath)
+		.filter((filePath) => {
+			if (!filePath) {
+				return false;
+			}
+			if (owners.has(filePath)) {
+				return false;
+			}
+			if (options.allowTests && /(^|\/)(tests?|spec|__tests__)(\/|$)|\.(?:spec|test)\.[jt]sx?$/i.test(filePath)) {
+				return false;
+			}
+			return true;
+		});
+}
+
+export function decideResolveIOSupportV5RepairGate(input: ResolveIOSupportV5RepairGateInput): ResolveIOSupportV5RepairGateDecision {
+	const activeStepType = cleanText(input.activeStepType, 80);
+	const failureClass = cleanText(input.failureClass, 80).toLowerCase();
+	const diagnosisValidation = validateResolveIOSupportDiagnosisGate(input.diagnosisGate, {
+		maxOwnerFiles: input.maxOwnerFiles
+	});
+	const ownerFiles = diagnosisValidation.normalized?.owner_files || [];
+	const outsideOwnerFiles = changedFilesOutsideResolveIOSupportDiagnosisOwnerFiles(
+		diagnosisValidation.normalized || input.diagnosisGate,
+		input.changedFiles,
+		{ allowTests: input.allowTestsOutsideOwnerFiles === true }
+	);
+	const repeatedFailure = input.history?.length ? decideResolveIOSupportV5RepeatedFailureStop({
+		history: input.history,
+		failureClass,
+		blocker: input.blocker,
+		evidence: input.evidence,
+		evidenceHash: input.evidenceHash,
+		changedFiles: input.changedFiles,
+		artifactPaths: input.artifactPaths,
+		limit: Math.max(1, Number(input.maxRepeatedNoProgress || 2) || 2),
+		ignoreInfra: true
+	}) : undefined;
+	const recoveryPlanFor = (
+		action: string,
+		reason: string,
+		recoveryFailureClass = failureClass || 'unknown',
+		productRepairFailure = false
+	): ResolveIOAIManagerRecoveryPlan => buildResolveIOAIManagerRecoveryPlan({
+		action,
+		reason,
+		failureClass: recoveryFailureClass,
+		lane: 'build',
+		stepType: activeStepType || 'build_repair',
+		blocker: input.blocker || (diagnosisValidation.blockers || []).join(' | '),
+		changedFiles: cleanList(input.changedFiles, 40, 500),
+		maxSameFailureRepeats: Math.max(1, Number(input.maxRepeatedNoProgress || 2) || 2),
+		productRepairFailure
+	});
+	const recoveryCheckpointFor = (
+		recoveryPlan: ResolveIOAIManagerRecoveryPlan
+	): ResolveIOAIManagerRecoveryCheckpoint => buildResolveIOAIManagerRecoveryCheckpoint({
+		plan: recoveryPlan,
+		current: {
+			lane: 'build',
+			stepType: activeStepType || 'build_repair',
+			failureClass: failureClass || 'unknown',
+			blocker: input.blocker || (diagnosisValidation.blockers || []).join(' | '),
+			evidenceHash: input.evidenceHash,
+			changedFiles: cleanList(input.changedFiles, 40, 500),
+			summary: input.blocker
+		}
+	});
+	const recoveryFieldsFor = (
+		recoveryPlan: ResolveIOAIManagerRecoveryPlan
+	): Pick<ResolveIOSupportV5RepairGateDecision, 'recoveryPlan' | 'recoveryCheckpoint' | 'recoveryEvidenceProbe' | 'recoveryAction'> => {
+		const recoveryCheckpoint = recoveryCheckpointFor(recoveryPlan);
+		const recoveryEvidenceProbe = buildResolveIOAIManagerRecoveryEvidenceProbe({
+			checkpoint: recoveryCheckpoint,
+			current: {
+				lane: 'build',
+				stepType: activeStepType || 'build_repair',
+				failureClass: failureClass || 'unknown',
+				blocker: input.blocker || (diagnosisValidation.blockers || []).join(' | '),
+				evidenceHash: input.evidenceHash,
+				changedFiles: cleanList(input.changedFiles, 40, 500),
+				summary: input.blocker
+			}
+		});
+		const current = {
+			lane: 'build',
+			stepType: activeStepType || 'build_repair',
+			failureClass: failureClass || 'unknown',
+			blocker: input.blocker || (diagnosisValidation.blockers || []).join(' | '),
+			evidenceHash: input.evidenceHash,
+			changedFiles: cleanList(input.changedFiles, 40, 500),
+			summary: input.blocker
+		};
+		return {
+			recoveryPlan,
+			recoveryCheckpoint,
+			recoveryEvidenceProbe,
+			recoveryAction: buildResolveIOAIManagerRecoveryActionPacket({
+				plan: recoveryPlan,
+				checkpoint: recoveryCheckpoint,
+				probe: recoveryEvidenceProbe,
+				current
+			})
+		};
+	};
+	if (repeatedFailure?.shouldStop) {
+		const recoveryPlan = recoveryPlanFor('park_repeated_failure', repeatedFailure.reason, repeatedFailure.failureClass, true);
+		return {
+			action: 'park_repeated_failure',
+			canEditProductCode: false,
+			blockers: [repeatedFailure.reason],
+			ownerFiles,
+			issueClass: diagnosisValidation.normalized?.issue_class,
+			proofPlan: diagnosisValidation.normalized?.proof_plan,
+			outsideOwnerFiles,
+			repeatedFailure,
+			diagnosisValidation,
+			...recoveryFieldsFor(recoveryPlan)
+		};
+	}
+	if (failureClass === 'infra' || failureClass === 'compile') {
+		const recoveryPlan = recoveryPlanFor('retry_infra', 'support_v5_infra_or_compile_repair_required', failureClass, false);
+		return {
+			action: 'infra_repair_only',
+			canEditProductCode: false,
+			blockers: ['Infra/compile/Puppeteer/startup failures must be repaired in the harness lane before product-code repair.'],
+			ownerFiles,
+			issueClass: diagnosisValidation.normalized?.issue_class,
+			proofPlan: diagnosisValidation.normalized?.proof_plan,
+			outsideOwnerFiles,
+			repeatedFailure,
+			diagnosisValidation,
+			...recoveryFieldsFor(recoveryPlan)
+		};
+	}
+	if (activeStepType === 'diagnosis_gate' || !diagnosisValidation.valid) {
+		const recoveryPlan = recoveryPlanFor('continue', 'support_v5_diagnosis_gate_required', 'diagnosis', false);
+		return {
+			action: 'diagnose_only',
+			canEditProductCode: false,
+			blockers: diagnosisValidation.blockers.length
+				? diagnosisValidation.blockers
+				: ['SupportDiagnosisGate is required before product-code repair.'],
+			ownerFiles,
+			issueClass: diagnosisValidation.normalized?.issue_class,
+			proofPlan: diagnosisValidation.normalized?.proof_plan,
+			outsideOwnerFiles,
+			repeatedFailure,
+			diagnosisValidation,
+			...recoveryFieldsFor(recoveryPlan)
+		};
+	}
+	if (outsideOwnerFiles.length) {
+		const recoveryPlan = recoveryPlanFor('continue', 'support_v5_out_of_scope_requires_diagnosis_revision', 'owner_scope', false);
+		return {
+			action: 'reject_out_of_scope',
+			canEditProductCode: false,
+			blockers: [`Changed files outside diagnosis owner_files; revise diagnosis with new evidence before broadening edits: ${outsideOwnerFiles.join(', ')}`],
+			ownerFiles,
+			issueClass: diagnosisValidation.normalized?.issue_class,
+			proofPlan: diagnosisValidation.normalized?.proof_plan,
+			outsideOwnerFiles,
+			repeatedFailure,
+			diagnosisValidation,
+			...recoveryFieldsFor(recoveryPlan)
+		};
+	}
+	const recoveryPlan = recoveryPlanFor('continue', 'support_v5_product_repair_allowed_after_diagnosis', failureClass || 'product_code', true);
+	return {
+		action: 'allow_product_repair',
+		canEditProductCode: true,
+		blockers: [],
+		ownerFiles,
+		issueClass: diagnosisValidation.normalized?.issue_class,
+		proofPlan: diagnosisValidation.normalized?.proof_plan,
+		outsideOwnerFiles,
+		repeatedFailure,
+		diagnosisValidation,
+		...recoveryFieldsFor(recoveryPlan)
+	};
+}
+
+export function applyResolveIOSupportDiagnosisGateToMicrotasks(
+	bundle: ResolveIOSupportV5StateBundle,
+	diagnosisGate: any
+): ResolveIOSupportV5StateBundle {
+	const validation = validateResolveIOSupportDiagnosisGate(diagnosisGate);
+	const gate = validation.normalized;
+	if (!gate) {
+		return bundle;
+	}
+	const ownerFiles = gate.owner_files;
+	const probes = buildResolveIOSupportIssueClassProbes(gate);
+	const proofContract = gate.proof_plan.business_proof_contract;
+	const businessProof = proofContract?.expected_business_state_change || gate.proof_plan.business_assertion;
+	const businessAssertion = proofContract?.data_or_dom_assertion || gate.proof_plan.data_assertion || gate.proof_plan.after;
+	const now = isoNow();
+	const diagnosisMicrotaskId = (bundle.supportV5MicrotaskLedger || [])
+		.find((task) => task.type === 'diagnosis_gate')?.microtaskId
+		|| stableIdFromText('diagnosis', `Root-cause-first diagnosis gate for: ${cleanText(bundle.supportV5ScopeDigest || gate.issue_case.customer_complaint, 360) || 'support ticket'}`);
+	const ledger = (bundle.supportV5MicrotaskLedger || []).map((task) => {
+		if (task.type === 'diagnosis_gate') {
+			return {
+				...task,
+				status: validation.valid ? 'pass' as ResolveIOSupportV5MicrotaskStatus : 'needs_repair' as ResolveIOSupportV5MicrotaskStatus,
+				blocker: validation.valid ? '' : validation.blockers.join(' | '),
+				updatedAt: now
+			};
+		}
+		if (task.lane === 'build' && /repair|product_repair|build_repair/i.test(String(task.type || ''))) {
+			return {
+				...task,
+				targetFiles: ownerFiles,
+				contextRefs: Array.from(new Set([...(task.contextRefs || []), 'supportV5DiagnosisGate', 'owner_files'])),
+				selfGate: `Repair only the diagnosed owner files unless you revise the diagnosis with new evidence. Owner files: ${ownerFiles.join(', ')}.`,
+				acceptanceProof: businessProof,
+				dependsOn: Array.from(new Set([...(task.dependsOn || []), diagnosisMicrotaskId])),
+				updatedAt: now
+			};
+		}
+		if (task.lane === 'qa' && task.type === 'qa_row') {
+			return {
+				...task,
+				contextRefs: Array.from(new Set([...(task.contextRefs || []), 'supportV5DiagnosisGate', 'proof_plan'])),
+				selfGate: probes[0]?.action || task.selfGate,
+				acceptanceProof: businessProof || task.acceptanceProof,
+				targetFiles: ownerFiles,
+				updatedAt: now
+			};
+		}
+		return task;
+	});
+	const nextActive = selectResolveIOSupportV5ActiveMicrotask(ledger, bundle.supportV5ActiveMicrotaskId);
+	return {
+		...bundle,
+		supportV5DiagnosisGate: gate,
+		supportV5MicrotaskLedger: ledger,
+		supportV5ActiveMicrotaskId: nextActive?.microtaskId,
+		supportV5LaneMemory: {
+			...bundle.supportV5LaneMemory,
+			build: {
+				...bundle.supportV5LaneMemory.build,
+				changedFiles: ownerFiles,
+				scopeSummary: [
+					bundle.supportV5LaneMemory.build.scopeSummary,
+					`Diagnosis issue class: ${gate.issue_class}`,
+					`Accepted hypothesis: ${gate.accepted_hypothesis.statement}`,
+					`Owner files: ${ownerFiles.join(', ')}`
+				].filter(Boolean).join(' | '),
+				updatedAt: now
+			},
+			qa: {
+				...bundle.supportV5LaneMemory.qa,
+				activeQaRow: {
+					workflow: proofContract?.action_under_test || gate.proof_plan.action,
+					route: gate.proof_plan.route || gate.issue_case.route_module,
+					assertion: businessAssertion,
+					status: 'pending'
+				},
+				updatedAt: now
+			}
+		}
+	};
+}
+
+function stableIdFromText(prefix: string, value: string): string {
+	const text = cleanText(value, 2000).toLowerCase();
+	let hash = 0;
+	for (let index = 0; index < text.length; index += 1) {
+		hash = ((hash << 5) - hash + text.charCodeAt(index)) | 0;
+	}
+	return `${prefix}-${Math.abs(hash).toString(36) || '0'}`;
+}
+
+function estimateTextTokens(value: string): number {
+	const text = String(value || '');
+	if (!text) {
+		return 0;
+	}
+	return Math.max(1, Math.ceil(text.length / 4));
+}
+
+export function fingerprintResolveIOSupportV5Blocker(value: any): string {
+	const text = cleanText(value, 4000)
+		.toLowerCase()
+		.replace(/[a-f0-9]{16,}/g, '<id>')
+		.replace(/\b\d{2,}\b/g, '<n>')
+		.replace(/\bline\s+<n>\b/g, 'line <n>');
+	let hash = 0;
+	for (let index = 0; index < text.length; index += 1) {
+		hash = ((hash << 5) - hash + text.charCodeAt(index)) | 0;
+	}
+	return `v5-${Math.abs(hash).toString(36)}`;
+}
+
+export function buildResolveIOSupportV5Budget(existing?: Partial<ResolveIOSupportV5Budget>): ResolveIOSupportV5Budget {
+	return {
+		maxPromptTokensPerNonInitialStep: Number(existing?.maxPromptTokensPerNonInitialStep || 1800),
+		maxLoopsPerTicket: Number(existing?.maxLoopsPerTicket || 24),
+		maxRepeatedNoProgress: Number(existing?.maxRepeatedNoProgress || 2),
+		maxRuntimeMinutesPerLoop: Number(existing?.maxRuntimeMinutesPerLoop || 15),
+		totalPromptTokenEstimate: Number(existing?.totalPromptTokenEstimate || 0),
+		totalRuntimeMs: Number(existing?.totalRuntimeMs || 0),
+		loopCount: Number(existing?.loopCount || 0)
+	};
+}
+
+export function buildResolveIOSupportV5PromptBudget(existing?: Partial<ResolveIOSupportV5PromptBudget>): ResolveIOSupportV5PromptBudget {
+	return {
+		initialPlannerCap: Number(existing?.initialPlannerCap || 6000),
+		buildMicrotaskCap: Number(existing?.buildMicrotaskCap || 1800),
+		buildMicrotaskHardCap: Number(existing?.buildMicrotaskHardCap || 2500),
+		qaMicrotaskCap: Number(existing?.qaMicrotaskCap || 1500),
+		qaMicrotaskHardCap: Number(existing?.qaMicrotaskHardCap || 2200),
+		repairMicrotaskCap: Number(existing?.repairMicrotaskCap || 1200),
+		repairMicrotaskHardCap: Number(existing?.repairMicrotaskHardCap || 1800)
+	};
+}
+
+export function buildResolveIOSupportV5ScopeDigest(input: {
+	goal?: string;
+	approvedScope?: string | string[];
+	prBranch?: string;
+	maxTokens?: number;
+}): string {
+	const scope = Array.isArray(input.approvedScope)
+		? cleanList(input.approvedScope, 30, 220).join(' | ')
+		: cleanText(input.approvedScope, 4000);
+	const raw = [
+		input.goal ? `Goal: ${cleanText(input.goal, 300)}` : '',
+		scope ? `Approved scope: ${scope}` : '',
+		input.prBranch ? `PR branch: ${cleanText(input.prBranch, 160)}` : ''
+	].filter(Boolean).join('\n');
+	const maxChars = Math.max(400, Math.floor(Number(input.maxTokens || 1000) * 4));
+	return raw.slice(0, maxChars);
+}
+
+export function buildResolveIOSupportV5MicrotaskLedger(input: {
+	scopeDigest: string;
+	requirements?: string[];
+	buildThreadKey: string;
+	qaThreadKey: string;
+	now?: Date | string;
+	existing?: ResolveIOSupportV5Microtask[];
+}): ResolveIOSupportV5Microtask[] {
+	const existing = Array.isArray(input.existing) ? input.existing : [];
+	const completedByObjective = new Map<string, ResolveIOSupportV5Microtask>();
+	for (const task of existing) {
+		if (task && (task.status === 'pass' || task.status === 'parked')) {
+			completedByObjective.set(cleanText(task.objective, 500).toLowerCase(), task);
+		}
+	}
+	const now = isoNow(input.now);
+	const requirements = cleanList(input.requirements, 30, 240);
+	const sourceRequirements = requirements.length
+		? requirements
+		: cleanText(input.scopeDigest, 1000).split(/\s+\|\s+|\r?\n/g).map((line) => line.trim()).filter(Boolean).slice(0, 12);
+	const ledger: ResolveIOSupportV5Microtask[] = [];
+	const diagnosisObjective = `Root-cause-first diagnosis gate for: ${cleanText(input.scopeDigest, 360) || 'support ticket'}`;
+	const diagnosisId = stableIdFromText('diagnosis', diagnosisObjective);
+	const existingDiagnosis = existing.find((task) => task?.type === 'diagnosis_gate' || task?.microtaskId === diagnosisId);
+	ledger.push(existingDiagnosis && (existingDiagnosis.status === 'pass' || existingDiagnosis.status === 'parked') ? existingDiagnosis : {
+		microtaskId: diagnosisId,
+		lane: 'build',
+		type: 'diagnosis_gate',
+		status: existingDiagnosis?.status || 'pending',
+		objective: diagnosisObjective,
+		targetFiles: [],
+		contextRefs: ['scope_digest', 'support_context', 'similar_tickets', 'similar_commits'],
+		selfGate: 'Read-only diagnosis only: reproduce or explicitly classify the issue, accept one falsifiable root-cause hypothesis, reject alternatives, identify the failing path, cap owner_files, and define before/action/after business proof.',
+		acceptanceProof: 'Valid ResolveIOSupportDiagnosisGate JSON with issue_case, issue_class, accepted_hypothesis, rejected_alternatives, failing_path, owner_files, proof_plan, evidence, and status=passed.',
+		threadKey: input.buildThreadKey,
+		promptTokenEstimate: existingDiagnosis?.promptTokenEstimate,
+		attempts: existingDiagnosis?.attempts || 0,
+		dependsOn: [],
+		parentScopeId: stableIdFromText('scope', diagnosisObjective),
+		blocker: existingDiagnosis?.blocker,
+		createdAt: existingDiagnosis?.createdAt || now,
+		updatedAt: existingDiagnosis?.updatedAt || now
+	});
+	sourceRequirements.forEach((requirement, index) => {
+		const objective = cleanText(requirement, 240);
+		if (!objective) {
+			return;
+		}
+		const existingCompleted = completedByObjective.get(objective.toLowerCase());
+		const buildId = stableIdFromText(`build-${index + 1}`, objective);
+		const qaId = stableIdFromText(`qa-${index + 1}`, objective);
+		ledger.push(existingCompleted && existingCompleted.lane === 'build' ? existingCompleted : {
+			microtaskId: buildId,
+			lane: 'build',
+			type: 'build_repair',
+			status: 'pending',
+			objective,
+			targetFiles: [],
+			contextRefs: ['scope_digest'],
+			selfGate: 'Run the smallest compile/type/unit check that proves this one behavior.',
+			acceptanceProof: 'Concrete code/data proof for this behavior, with changed files listed.',
+			threadKey: input.buildThreadKey,
+			attempts: 0,
+			dependsOn: [diagnosisId],
+			parentScopeId: stableIdFromText('scope', objective),
+			createdAt: now,
+			updatedAt: now
+		});
+		ledger.push({
+			microtaskId: qaId,
+			lane: 'qa',
+			type: 'qa_row',
+			status: 'pending',
+			objective: `QA proof for: ${objective}`,
+			targetFiles: [],
+			contextRefs: ['scope_digest', buildId],
+			selfGate: 'Drive this one customer-facing workflow row in browser/localhost and capture one captioned proof artifact.',
+			acceptanceProof: 'QA matrix row pass with route/data assertion, screenshot/caption artifact, and persisted before/after row/count/value proof for data-changing workflows.',
+			threadKey: input.qaThreadKey,
+			attempts: 0,
+			dependsOn: [diagnosisId, buildId],
+			parentScopeId: stableIdFromText('scope', objective),
+			createdAt: now,
+			updatedAt: now
+		});
+	});
+	return ledger.length ? ledger : existing.slice(-80);
+}
+
+export function selectResolveIOSupportV5ActiveMicrotask(
+	ledger: ResolveIOSupportV5Microtask[] = [],
+	preferredId?: string
+): ResolveIOSupportV5Microtask | undefined {
+	const byPreferred = preferredId ? ledger.find((task) => task.microtaskId === preferredId && !['pass', 'parked'].includes(task.status)) : undefined;
+	if (byPreferred) {
+		return byPreferred;
+	}
+	return ledger.find((task) => task.status === 'needs_repair')
+		|| ledger.find((task) => task.status === 'in_progress')
+		|| ledger.find((task) => task.type === 'diagnosis_gate' && task.status === 'pending')
+		|| ledger.find((task) => task.lane === 'build' && /repair/i.test(String(task.type || '')) && task.status === 'pending')
+		|| ledger.find((task) => task.status === 'pending')
+		|| ledger.find((task) => task.status === 'blocked');
+}
+
+export function initializeResolveIOSupportV5State(input: ResolveIOSupportV5InitializeInput): ResolveIOSupportV5StateBundle {
+	const now = isoNow(input.now);
+	const existing = input.existing || {};
+	const existingSupervisor = existing.supportV5SupervisorState;
+	const existingLaneMemory = existing.supportV5LaneMemory || {} as ResolveIOSupportV5StateBundle['supportV5LaneMemory'];
+	const scope = cleanList(input.approvedScopeRequirements, 24, 240).join(' | ')
+		|| cleanText(input.description, 1000)
+		|| cleanText(input.title, 300);
+	const ticketLabel = cleanText(input.ticketNumber || input.ticketId || input.jobId, 120);
+	const buildThreadKey = cleanText(input.buildThreadKey || existingLaneMemory.build?.threadKey || `support:${input.ticketId || input.jobId}:job:${input.jobId}:build`, 240);
+	const qaThreadKey = cleanText(input.qaThreadKey || existingLaneMemory.qa?.threadKey || `support:${input.ticketId || input.jobId}:job:${input.jobId}:qa`, 240);
+	const budget = buildResolveIOSupportV5Budget(existing.supportV5Budget);
+	const existingDiagnosisGate = normalizeResolveIOSupportDiagnosisGate((existing as any).supportV5DiagnosisGate);
+	const diagnosisValidation = validateResolveIOSupportDiagnosisGate(existingDiagnosisGate);
+	const scopeDigest = cleanText((existing as any).supportV5ScopeDigest, 4000) || buildResolveIOSupportV5ScopeDigest({
+		goal: existingSupervisor?.currentGoal || `Resolve support ticket ${ticketLabel}`,
+		approvedScope: scope,
+		prBranch: input.prBranch || existingSupervisor?.prBranch || ''
+	});
+	const ledger = buildResolveIOSupportV5MicrotaskLedger({
+		scopeDigest,
+		requirements: cleanList(input.approvedScopeRequirements, 30, 240),
+		buildThreadKey,
+		qaThreadKey,
+		now,
+		existing: (existing as any).supportV5MicrotaskLedger
+	});
+	const activeMicrotask = selectResolveIOSupportV5ActiveMicrotask(ledger, (existing as any).supportV5ActiveMicrotaskId);
+	const initialized: ResolveIOSupportV5StateBundle = {
+		supportWorkflowVersion: 'v5',
+		supportV5SupervisorState: {
+			version: 'v5',
+			status: existingSupervisor?.status || 'active',
+			currentGoal: existingSupervisor?.currentGoal || `Resolve support ticket ${ticketLabel}`,
+			approvedScope: existingSupervisor?.approvedScope || scope,
+			prBranch: cleanText(input.prBranch || existingSupervisor?.prBranch || '', 240),
+			activeStep: existingSupervisor?.activeStep || (diagnosisValidation.valid ? 'compile_check' : 'diagnosis_gate'),
+			activeBlocker: existingSupervisor?.activeBlocker || (diagnosisValidation.valid ? '' : 'SupportDiagnosisGate required before product-code repair.'),
+			lastGoodCheckpoint: existingSupervisor?.lastGoodCheckpoint || 'v5_initialized',
+			currentQaRow: existingSupervisor?.currentQaRow,
+			processLease: input.processLease || existingSupervisor?.processLease,
+			artifactLinks: cleanList(existingSupervisor?.artifactLinks, 40, 500),
+			noEmailUnlessApproved: true,
+			updatedAt: now
+		},
+		supportV5DiagnosisGate: diagnosisValidation.valid ? diagnosisValidation.normalized : existingDiagnosisGate,
+		supportV5DiagnosisEvidencePack: (existing as any).supportV5DiagnosisEvidencePack || (existing as any).support_v5_diagnosis_evidence_pack,
+		supportV5LaneMemory: {
+			build: {
+				lane: 'build',
+				model: existingLaneMemory.build?.model || 'gpt-5.3-codex',
+				threadKey: buildThreadKey,
+				scopeSummary: existingLaneMemory.build?.scopeSummary || scope,
+				activeBlocker: existingLaneMemory.build?.activeBlocker || '',
+				activeQaRow: existingLaneMemory.build?.activeQaRow,
+				changedFiles: cleanList(existingLaneMemory.build?.changedFiles, 80, 500),
+				artifactPaths: cleanList(existingLaneMemory.build?.artifactPaths, 80, 500),
+				latestPromptTokenEstimate: Number(existingLaneMemory.build?.latestPromptTokenEstimate || 0) || undefined,
+				updatedAt: existingLaneMemory.build?.updatedAt || now
+			},
+			qa: {
+				lane: 'qa',
+				model: existingLaneMemory.qa?.model || 'gpt-5.4-mini',
+				threadKey: qaThreadKey,
+				scopeSummary: existingLaneMemory.qa?.scopeSummary || scope,
+				activeBlocker: existingLaneMemory.qa?.activeBlocker || '',
+				activeQaRow: existingLaneMemory.qa?.activeQaRow,
+				changedFiles: cleanList(existingLaneMemory.qa?.changedFiles, 80, 500),
+				artifactPaths: cleanList(existingLaneMemory.qa?.artifactPaths, 80, 500),
+				latestPromptTokenEstimate: Number(existingLaneMemory.qa?.latestPromptTokenEstimate || 0) || undefined,
+				updatedAt: existingLaneMemory.qa?.updatedAt || now
+			}
+		},
+		supportV5StepHistory: Array.isArray(existing.supportV5StepHistory)
+			? existing.supportV5StepHistory.slice(-80)
+			: [],
+		supportV5Budget: budget,
+		supportV5RunnerIncidents: Array.isArray(existing.supportV5RunnerIncidents)
+			? existing.supportV5RunnerIncidents.slice(-80)
+			: [],
+		supportV5MicrotaskLedger: ledger,
+		supportV5ActiveMicrotaskId: diagnosisValidation.valid
+			? activeMicrotask?.microtaskId
+			: ledger.find((task) => task.type === 'diagnosis_gate' && !['pass', 'parked'].includes(task.status))?.microtaskId || activeMicrotask?.microtaskId,
+		supportV5ScopeDigest: scopeDigest,
+		supportV5MicrotaskUsageHistory: Array.isArray((existing as any).supportV5MicrotaskUsageHistory)
+			? (existing as any).supportV5MicrotaskUsageHistory.slice(-200)
+			: [],
+		supportV5FailureFingerprints: Array.isArray((existing as any).supportV5FailureFingerprints)
+			? (existing as any).supportV5FailureFingerprints.slice(-200)
+			: [],
+		supportV5RecoveryPlan: (existing as any).supportV5RecoveryPlan,
+		supportV5RecoveryCheckpoint: (existing as any).supportV5RecoveryCheckpoint,
+		supportV5RecoveryEvidenceProbe: (existing as any).supportV5RecoveryEvidenceProbe,
+		supportV5RecoveryAction: (existing as any).supportV5RecoveryAction,
+		supportV5RecoveryDispatchHistory: Array.isArray((existing as any).supportV5RecoveryDispatchHistory)
+			? (existing as any).supportV5RecoveryDispatchHistory.slice(-50)
+			: [],
+		supportV5RecoveryDirective: (existing as any).supportV5RecoveryDirective
+	};
+	return diagnosisValidation.valid && diagnosisValidation.normalized
+		? applyResolveIOSupportDiagnosisGateToMicrotasks(initialized, diagnosisValidation.normalized)
+		: initialized;
+}
+
+export function recordResolveIOSupportV5Step(
+	bundle: ResolveIOSupportV5StateBundle,
+	step: ResolveIOSupportV5StepInput
+): ResolveIOSupportV5StateBundle {
+	const now = isoNow(step.now);
+	const promptTokens = Math.max(0, Number(step.promptTokenEstimate || 0) || 0);
+	const runtimeMs = Math.max(0, Number(step.runtimeMs || 0) || 0);
+	const microtaskId = cleanText(step.microtaskId || bundle.supportV5ActiveMicrotaskId, 160);
+	const normalizedDiagnosisGate = step.diagnosisGate
+		? normalizeResolveIOSupportDiagnosisGate(step.diagnosisGate, now)
+		: undefined;
+	const blockerFingerprint = step.blocker || step.summary
+		? fingerprintResolveIOSupportV5Blocker(step.blocker || step.summary || '')
+		: undefined;
+	const evidenceHash = cleanText(step.evidenceHash, 80)
+		|| (step.artifactPaths?.length || step.blocker || step.summary
+			? hashResolveIOSupportV5Evidence(step.artifactPaths?.length ? step.artifactPaths : `${step.blocker || ''}\n${step.summary || ''}`)
+			: hashResolveIOAIManagerEvidence({
+				failureClass: step.failureClass,
+				blocker: step.blocker,
+				summary: step.summary,
+				changedFiles: step.changedFiles,
+				artifactPaths: step.artifactPaths
+			}));
+	const record: ResolveIOSupportV5StepRecord = {
+		...(microtaskId ? { microtaskId } : {}),
+		stepType: step.stepType,
+		outcome: step.outcome,
+		lane: step.lane,
+		model: cleanText(step.model, 80),
+		threadKey: cleanText(step.threadKey, 240),
+		promptTokenEstimate: promptTokens || undefined,
+		runtimeMs: runtimeMs || undefined,
+		summary: cleanText(step.summary || step.blocker || step.outcome, 1200),
+		blocker: cleanText(step.blocker, 1200),
+		changedFiles: cleanList(step.changedFiles, 80, 500),
+		artifactPaths: cleanList(step.artifactPaths, 80, 500),
+		diagnosisGate: normalizedDiagnosisGate,
+		failureClass: cleanText(step.failureClass, 80) || undefined,
+		blockerFingerprint,
+		evidenceHash,
+		recordedAt: now
+	};
+	const diagnosisGate = normalizedDiagnosisGate || bundle.supportV5DiagnosisGate;
+	const laneMemory = { ...bundle.supportV5LaneMemory };
+	if (step.lane === 'build' || step.lane === 'qa') {
+		const previous = laneMemory[step.lane];
+		laneMemory[step.lane] = {
+			...previous,
+			activeBlocker: record.blocker || previous.activeBlocker || '',
+			activeQaRow: step.activeQaRow || previous.activeQaRow,
+			changedFiles: record.changedFiles?.length ? record.changedFiles : previous.changedFiles,
+			artifactPaths: record.artifactPaths?.length ? record.artifactPaths : previous.artifactPaths,
+			latestPromptTokenEstimate: promptTokens || previous.latestPromptTokenEstimate,
+			updatedAt: now
+		};
+	}
+	const supervisor = {
+		...bundle.supportV5SupervisorState,
+		status: step.outcome === 'ready_for_merge' ? 'complete' as const : (step.outcome === 'park_manual' || step.outcome === 'budget_stop' ? 'parked' as const : 'active' as const),
+		activeStep: step.stepType,
+		activeBlocker: record.blocker || '',
+		currentQaRow: step.activeQaRow || bundle.supportV5SupervisorState.currentQaRow,
+		lastGoodCheckpoint: step.outcome === 'pass' || step.outcome === 'ready_for_merge'
+			? step.stepType
+			: bundle.supportV5SupervisorState.lastGoodCheckpoint,
+		artifactLinks: Array.from(new Set([
+			...bundle.supportV5SupervisorState.artifactLinks,
+			...(record.artifactPaths || [])
+		])).slice(-80),
+		updatedAt: now
+	};
+	const ledger = (bundle.supportV5MicrotaskLedger || []).map((task) => {
+		if (task.microtaskId !== bundle.supportV5ActiveMicrotaskId) {
+			return task;
+		}
+		const status: ResolveIOSupportV5MicrotaskStatus = step.outcome === 'pass' || step.outcome === 'ready_for_merge'
+			? 'pass'
+			: step.outcome === 'park_manual' || step.outcome === 'budget_stop'
+				? 'parked'
+				: step.outcome === 'needs_repair' || step.outcome === 'retry_same_step'
+					? 'needs_repair'
+					: 'in_progress';
+		return {
+			...task,
+			status,
+			blocker: record.blocker || task.blocker,
+			promptTokenEstimate: promptTokens || task.promptTokenEstimate,
+			attempts: task.attempts + (step.outcome === 'pass' || step.outcome === 'ready_for_merge' ? 0 : 1),
+			updatedAt: now
+		};
+	});
+	const failureFingerprint = record.failureClass && record.blockerFingerprint && record.evidenceHash
+		? {
+			stepType: record.stepType,
+			failureClass: cleanText(record.failureClass, 80),
+			blockerFingerprint: record.blockerFingerprint,
+			evidenceHash: record.evidenceHash,
+			recordedAt: now
+		}
+		: undefined;
+	const managerDecision = decideResolveIOAIManagerPolicy({
+		history: [...bundle.supportV5StepHistory, record],
+		current: record,
+		maxSameFailureRepeats: buildResolveIOSupportV5Budget(bundle.supportV5Budget).maxRepeatedNoProgress,
+		maxPingPongTransitions: 3,
+		infraFailureClasses: ['infra', 'compile']
+	});
+	const previousRecord = bundle.supportV5StepHistory[bundle.supportV5StepHistory.length - 1];
+	const nextLoopCount = managerDecision.loopBudgetShouldReset
+		|| previousRecord?.failureClass !== record.failureClass
+		|| previousRecord?.blockerFingerprint !== record.blockerFingerprint
+		|| previousRecord?.evidenceHash !== record.evidenceHash
+		? 1
+		: bundle.supportV5Budget.loopCount + 1;
+	const nextMicrotask = selectResolveIOSupportV5ActiveMicrotask(ledger, bundle.supportV5ActiveMicrotaskId);
+	const nextBundle: ResolveIOSupportV5StateBundle = {
+		...bundle,
+		supportV5SupervisorState: supervisor,
+		supportV5DiagnosisGate: diagnosisGate,
+		supportV5LaneMemory: laneMemory,
+		supportV5StepHistory: [...bundle.supportV5StepHistory, record].slice(-100),
+		supportV5Budget: {
+			...bundle.supportV5Budget,
+			totalPromptTokenEstimate: bundle.supportV5Budget.totalPromptTokenEstimate + promptTokens,
+			totalRuntimeMs: bundle.supportV5Budget.totalRuntimeMs + runtimeMs,
+			loopCount: nextLoopCount
+		},
+		supportV5MicrotaskLedger: ledger,
+		supportV5ActiveMicrotaskId: nextMicrotask?.microtaskId,
+		supportV5MicrotaskUsageHistory: bundle.supportV5MicrotaskUsageHistory || [],
+		supportV5FailureFingerprints: failureFingerprint
+			? [...(bundle.supportV5FailureFingerprints || []), failureFingerprint].slice(-200)
+			: (bundle.supportV5FailureFingerprints || []),
+		supportV5RecoveryPlan: managerDecision.recoveryPlan,
+		supportV5RecoveryCheckpoint: managerDecision.recoveryCheckpoint,
+		supportV5RecoveryEvidenceProbe: managerDecision.recoveryEvidenceProbe,
+		supportV5RecoveryAction: managerDecision.recoveryAction
+	};
+	if (normalizedDiagnosisGate && validateResolveIOSupportDiagnosisGate(normalizedDiagnosisGate).valid) {
+		return applyResolveIOSupportDiagnosisGateToMicrotasks(nextBundle, normalizedDiagnosisGate);
+	}
+	return nextBundle;
+}
+
+export function recordResolveIOSupportV5MicrotaskUsage(
+	bundle: ResolveIOSupportV5StateBundle,
+	usage: Omit<ResolveIOSupportV5MicrotaskUsage, 'recordedAt'>
+): ResolveIOSupportV5StateBundle {
+	const record: ResolveIOSupportV5MicrotaskUsage = {
+		...usage,
+		microtaskId: cleanText(usage.microtaskId, 160),
+		threadKey: cleanText(usage.threadKey, 240),
+		model: cleanText(usage.model, 80),
+		promptTokenEstimate: Math.max(0, Number(usage.promptTokenEstimate || 0) || 0),
+		promptSections: Array.isArray(usage.promptSections)
+			? usage.promptSections.map((section) => ({
+				name: cleanText(section.name, 120),
+				tokenEstimate: Math.max(0, Number(section.tokenEstimate || 0) || 0)
+			})).filter((section) => section.name)
+			: [],
+		recordedAt: isoNow()
+	};
+	const ledger = (bundle.supportV5MicrotaskLedger || []).map((task) => task.microtaskId === record.microtaskId
+		? {
+			...task,
+			promptTokenEstimate: record.promptTokenEstimate,
+			updatedAt: record.recordedAt
+		}
+		: task);
+	return {
+		...bundle,
+		supportV5MicrotaskLedger: ledger,
+		supportV5MicrotaskUsageHistory: [
+			...(bundle.supportV5MicrotaskUsageHistory || []),
+			record
+		].slice(-200)
+	};
+}
+
+export function decideResolveIOSupportV5Continuation(bundle: ResolveIOSupportV5StateBundle): ResolveIOSupportV5ContinuationDecision {
+	const history = bundle.supportV5StepHistory || [];
+	const budget = buildResolveIOSupportV5Budget(bundle.supportV5Budget);
+	const last = history[history.length - 1];
+	const activeMicrotaskId = cleanText(bundle.supportV5ActiveMicrotaskId, 160);
+	const blockerFingerprint = fingerprintResolveIOSupportV5Blocker(last?.blocker || last?.summary || '');
+	let repeatedNoProgressCount = 0;
+	for (let index = history.length - 1; index >= 0; index -= 1) {
+		const item = history[index];
+		if (activeMicrotaskId && cleanText((item as any).microtaskId, 160) !== activeMicrotaskId) {
+			continue;
+		}
+		if (item.outcome === 'pass' || item.outcome === 'ready_for_merge') {
+			break;
+		}
+		if (item.stepType !== last?.stepType) {
+			break;
+		}
+		if (fingerprintResolveIOSupportV5Blocker(item.blocker || item.summary || '') === blockerFingerprint) {
+			repeatedNoProgressCount += 1;
+		}
+	}
+	const budgetExceeded = budget.loopCount >= budget.maxLoopsPerTicket
+		|| (last?.promptTokenEstimate || 0) > budget.maxPromptTokensPerNonInitialStep;
+	const repeatedFailure = last ? decideResolveIOSupportV5RepeatedFailureStop({
+		history,
+		failureClass: last.failureClass,
+		blocker: last.blocker || last.summary,
+		evidenceHash: last.evidenceHash,
+		changedFiles: last.changedFiles,
+		artifactPaths: last.artifactPaths,
+		limit: budget.maxRepeatedNoProgress,
+		ignoreInfra: true
+	}) : null;
+	const recoveryPlanFor = (
+		action: string,
+		reason: string,
+		extra: Partial<ResolveIOAIManagerRecoveryPlanInput> = {}
+	): ResolveIOAIManagerRecoveryPlan => buildResolveIOAIManagerRecoveryPlan({
+		action,
+		reason,
+		failureClass: last?.failureClass,
+		lane: last?.lane || 'supervisor',
+		stepType: last?.stepType || bundle.supportV5SupervisorState.activeStep,
+		blocker: last?.blocker || last?.summary,
+		changedFiles: last?.changedFiles,
+		artifactPaths: last?.artifactPaths,
+		maxSameFailureRepeats: budget.maxRepeatedNoProgress,
+		...extra
+	});
+	const recoveryCheckpointFor = (
+		recoveryPlan: ResolveIOAIManagerRecoveryPlan
+	): ResolveIOAIManagerRecoveryCheckpoint => buildResolveIOAIManagerRecoveryCheckpoint({
+		plan: recoveryPlan,
+		current: last
+	});
+	const recoveryFieldsFor = (
+		recoveryPlan: ResolveIOAIManagerRecoveryPlan
+	): Pick<ResolveIOSupportV5ContinuationDecision, 'recoveryPlan' | 'recoveryCheckpoint' | 'recoveryEvidenceProbe' | 'recoveryAction'> => {
+		const recoveryCheckpoint = recoveryCheckpointFor(recoveryPlan);
+		const recoveryEvidenceProbe = buildResolveIOAIManagerRecoveryEvidenceProbe({
+			checkpoint: recoveryCheckpoint,
+			current: last
+		});
+		return {
+			recoveryPlan,
+			recoveryCheckpoint,
+			recoveryEvidenceProbe,
+			recoveryAction: buildResolveIOAIManagerRecoveryActionPacket({
+				plan: recoveryPlan,
+				checkpoint: recoveryCheckpoint,
+				probe: recoveryEvidenceProbe,
+				current: last
+			})
+		};
+	};
+	if (budgetExceeded) {
+		const recoveryPlan = recoveryPlanFor('manual_handoff', 'support_v5_budget_guard', {
+			productRepairFailure: false
+		});
+		return {
+			action: 'park',
+			reason: 'support_v5_budget_guard',
+			nextStep: last?.stepType || 'cleanup',
+			repeatedNoProgressCount,
+			budgetExceeded,
+			...recoveryFieldsFor(recoveryPlan)
+		};
+	}
+	const lastFailureClass = cleanText(last?.failureClass, 80).toLowerCase();
+	const materialEvidenceRetryAllowed = repeatedFailure?.shouldStop === false
+		&& repeatedFailure.newEvidence === true
+		&& repeatedFailure.materialEvidence === true;
+	if (repeatedNoProgressCount > budget.maxRepeatedNoProgress && /^(infra|compile)$/.test(lastFailureClass)) {
+		const recoveryPlan = recoveryPlanFor('retry_infra', 'support_v5_infra_or_compile_repair_required', {
+			failureClass: lastFailureClass,
+			productRepairFailure: false
+		});
+		return {
+			action: 'continue',
+			reason: 'support_v5_infra_or_compile_repair_required',
+			nextStep: last?.stepType || 'compile_check',
+			repeatedNoProgressCount,
+			budgetExceeded,
+			...recoveryFieldsFor(recoveryPlan)
+		};
+	}
+	if (repeatedFailure?.shouldStop) {
+		const recoveryPlan = recoveryPlanFor(
+			repeatedFailure.reason === 'support_v5_ping_pong_failure_loop' ? 'park_ping_pong' : 'park_repeated_failure',
+			repeatedFailure.reason,
+			{
+				failureClass: repeatedFailure.failureClass,
+				productRepairFailure: true
+			}
+		);
+		return {
+			action: 'park',
+			reason: repeatedFailure.reason,
+			nextStep: last?.stepType || 'cleanup',
+			repeatedNoProgressCount: repeatedFailure.repeatedCount,
+			budgetExceeded,
+			...recoveryFieldsFor(recoveryPlan)
+		};
+	}
+	if (repeatedNoProgressCount > budget.maxRepeatedNoProgress && !materialEvidenceRetryAllowed) {
+		const recoveryPlan = recoveryPlanFor('park_repeated_failure', 'support_v5_repeated_no_progress', {
+			productRepairFailure: true
+		});
+		return {
+			action: 'park',
+			reason: 'support_v5_repeated_no_progress',
+			nextStep: last?.stepType || 'cleanup',
+			repeatedNoProgressCount,
+			budgetExceeded,
+			...recoveryFieldsFor(recoveryPlan)
+		};
+	}
+	const recoveryPlan = recoveryPlanFor('continue', 'support_v5_continue');
+	return {
+		action: 'continue',
+		reason: 'support_v5_continue',
+		nextStep: last?.stepType || bundle.supportV5SupervisorState.activeStep,
+		repeatedNoProgressCount,
+		budgetExceeded: false,
+		...recoveryFieldsFor(recoveryPlan)
+	};
+	}
+
+export function decideResolveIOSupportV5AutonomousNextAction(
+	input: ResolveIOSupportV5AutonomousDecisionInput
+): ResolveIOSupportV5AutonomousDecision {
+	const bundle = input.bundle;
+	const activeMicrotask = selectResolveIOSupportV5ActiveMicrotask(
+		bundle.supportV5MicrotaskLedger || [],
+		bundle.supportV5ActiveMicrotaskId
+	);
+	const diagnosisValidation = validateResolveIOSupportDiagnosisGate(bundle.supportV5DiagnosisGate, {
+		maxOwnerFiles: input.maxOwnerFiles
+	});
+	const activeStepType = cleanText(
+		activeMicrotask?.type || (!diagnosisValidation.valid ? bundle.supportV5SupervisorState.activeStep : 'cleanup') || 'diagnosis_gate',
+		80
+	) as ResolveIOSupportV5StepType;
+	const repairGate = decideResolveIOSupportV5RepairGate({
+		diagnosisGate: bundle.supportV5DiagnosisGate,
+		activeStepType,
+		changedFiles: input.changedFiles,
+		failureClass: input.failureClass,
+		blocker: input.blocker,
+		evidence: input.evidence,
+		evidenceHash: input.evidenceHash,
+		history: bundle.supportV5StepHistory,
+		artifactPaths: input.artifactPaths,
+		maxOwnerFiles: input.maxOwnerFiles,
+		allowTestsOutsideOwnerFiles: true
+	});
+	const continuation = decideResolveIOSupportV5Continuation(bundle);
+	const customerReplyPolicy = decideResolveIOSupportCustomerReplyPolicy({
+		diagnosisGate: bundle.supportV5DiagnosisGate,
+		outcomeLabel: input.outcomeLabel,
+		confidence: input.confidence,
+		businessAssertionStatus: input.businessAssertionStatus,
+		businessAssertions: input.businessAssertions,
+		businessProofArtifacts: input.businessProofArtifacts,
+		previousProofFingerprint: input.previousProofFingerprint,
+		previousArtifactFingerprint: input.previousArtifactFingerprint,
+		unresolvedBlockers: input.unresolvedBlockers,
+		releaseStatus: input.releaseStatus
+	});
+	const businessProofReadiness = evaluateResolveIOSupportBusinessProofReadiness({
+		diagnosisGate: bundle.supportV5DiagnosisGate,
+		outcomeLabel: input.outcomeLabel,
+		businessAssertionStatus: input.businessAssertionStatus,
+		businessAssertions: input.businessAssertions,
+		businessProofArtifacts: input.businessProofArtifacts,
+		previousProofFingerprint: input.previousProofFingerprint,
+		previousArtifactFingerprint: input.previousArtifactFingerprint
+	});
+	const evidenceFreshness = evaluateResolveIOSupportEvidenceFreshness({
+		history: bundle.supportV5StepHistory,
+		failureClass: input.failureClass,
+		blocker: input.blocker,
+		evidence: input.evidence,
+		evidenceHash: input.evidenceHash,
+		changedFiles: input.changedFiles,
+		artifactPaths: input.artifactPaths || input.businessProofArtifacts,
+		lane: activeMicrotask?.lane || 'supervisor',
+		stepType: activeStepType,
+		limit: buildResolveIOSupportV5Budget(bundle.supportV5Budget).maxRepeatedNoProgress,
+		ignoreInfra: true
+	});
+	const ownerFiles = diagnosisValidation.normalized?.owner_files || repairGate.ownerFiles || [];
+	const proofContract = diagnosisValidation.normalized?.proof_plan.business_proof_contract;
+	const expectedProof = proofContract?.data_or_dom_assertion
+		|| diagnosisValidation.normalized?.proof_plan.business_assertion
+		|| activeMicrotask?.acceptanceProof
+		|| '';
+	const issueClassProbes = diagnosisValidation.valid && diagnosisValidation.normalized
+		? buildResolveIOSupportIssueClassProbes(diagnosisValidation.normalized)
+		: [];
+	const activeIssueClassProbe = issueClassProbes[0];
+	const issueClassProbeEvidence = activeIssueClassProbe
+		? Array.from(new Set([
+			`AIQaBusinessAssertion mapped to ${activeIssueClassProbe.issue_class}`,
+			`state transition: ${activeIssueClassProbe.state_transition.before || 'before'} -> ${activeIssueClassProbe.state_transition.action || activeIssueClassProbe.action} -> ${activeIssueClassProbe.state_transition.after || 'after'}`,
+			...activeIssueClassProbe.required_artifacts.map((artifact) => `artifact: ${artifact}`)
+		]))
+		: [];
+	const buildRootCauseReadiness = (
+		action: ResolveIOSupportV5AutonomousNextAction,
+		reason: string,
+		fields: Partial<ResolveIOSupportV5AutonomousDecision>,
+		primaryCommand: string,
+		nextCommands: string[],
+		blockers: string[]
+	): ResolveIOSupportRootCauseReadiness => {
+		const statusByAction: Record<ResolveIOSupportV5AutonomousNextAction, ResolveIOSupportRootCauseReadinessStatus> = {
+			run_diagnosis_gate: 'diagnosis_required',
+			ask_customer_clarification: 'customer_clarification_required',
+			repair_infra_only: 'infra_repair_only',
+			revise_diagnosis_scope: 'scope_revision_required',
+			run_owner_scoped_repair: 'owner_scoped_repair_ready',
+			run_business_proof_qa: 'business_proof_required',
+			repair_release_hotfix_first: 'release_hotfix_required',
+			collect_new_evidence: 'collect_new_evidence',
+			draft_customer_reply: 'customer_reply_draft_ready',
+			ready_for_release_gate: 'release_gate_ready',
+			park_manual: 'parked'
+		};
+		const nextGateByStatus: Record<ResolveIOSupportRootCauseReadinessStatus, ResolveIOSupportRootCauseReadiness['nextGate']> = {
+			diagnosis_required: 'diagnosis',
+			customer_clarification_required: 'customer_reply',
+			infra_repair_only: 'infra',
+			scope_revision_required: 'scope',
+			owner_scoped_repair_ready: 'repair',
+			business_proof_required: 'business_proof',
+			release_hotfix_required: 'release',
+			release_gate_ready: 'release',
+			customer_reply_draft_ready: 'customer_reply',
+			collect_new_evidence: 'evidence',
+			parked: 'manual'
+		};
+		const status = statusByAction[action] || 'parked';
+		const diagnosisValid = diagnosisValidation.valid === true;
+		const ownerFilesReady = diagnosisValid && ownerFiles.length > 0;
+		const proofPlanReady = diagnosisValid && !!proofContract;
+		const rootCauseFirstSatisfied = diagnosisValid && ownerFilesReady && proofPlanReady;
+		const sameFailureParked = evidenceFreshness.mustCollectNewEvidence === true
+			|| (action === 'collect_new_evidence' && /repeated|no_progress|ping_pong|same failure|same evidence/i.test(reason));
+		return {
+			status,
+			nextGate: nextGateByStatus[status],
+			nextCommand: primaryCommand || nextCommands[0] || action,
+			rootCauseFirstSatisfied,
+			diagnosisValid,
+			ownerFilesReady,
+			proofPlanReady,
+			businessProofReady: businessProofReadiness.ready === true,
+			infraOnly: action === 'repair_infra_only',
+			sameFailureParked,
+			canEditProductCode: fields.canEditProductCode === true && rootCauseFirstSatisfied,
+			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,
+			canDraftCustomerReply: (action === 'draft_customer_reply' && businessProofReadiness.ready === true)
+				|| action === 'ask_customer_clarification',
+			requiresHumanDecision: action === 'park_manual' || fields.canRunAutonomously !== true,
+			reason,
+			blockers,
+			ownerFiles,
+			issueClass: diagnosisValidation.normalized?.issue_class || repairGate.issueClass,
+			expectedProof,
+			issueClassProbes,
+			businessProofStatus: businessProofReadiness.status,
+			proofFingerprint: businessProofReadiness.proofFingerprint,
+			artifactFingerprint: businessProofReadiness.artifactFingerprint,
+			proofFreshness: businessProofReadiness.proofFreshness
+		};
+	};
+	const nextActionExpectedTransition = (
+		action: ResolveIOSupportV5AutonomousNextAction,
+		primaryCommand: string
+	): string => {
+		if (action === 'run_diagnosis_gate') {
+			return 'SupportDiagnosisGate changes from missing/incomplete to passed, blocked with one clarification question, or rejected with explicit blockers; no source files are edited.';
+		}
+		if (action === 'ask_customer_clarification') {
+			return 'One customer clarification question is prepared for human review and the ticket parks until the missing reproduction/account context is supplied.';
+		}
+		if (action === 'repair_infra_only') {
+			return 'Infra/preflight evidence changes or passes without charging the failure as product-code repair.';
+		}
+		if (action === 'revise_diagnosis_scope') {
+			return 'SupportDiagnosisGate owner_files, failing_path, and proof_plan are revised together with new evidence before any broader edit.';
+		}
+		if (action === 'run_owner_scoped_repair') {
+			return 'Only diagnosis owner_files change, a compile/unit gate is recorded, and the next state is business proof QA rather than acceptance.';
+		}
+		if (action === 'run_business_proof_qa') {
+			return 'A fresh AIQaBusinessAssertion maps to the active proof_plan and records before/action/after DOM, data, or Mongo proof.';
+		}
+		if (action === 'repair_release_hotfix_first') {
+			return primaryCommand === 'record_hotfix_evidence'
+				? 'Hotfix evidence is recorded with sourceCommitSha, githubCommitUrl, and passed gitPushStatus before any live backend apply or continuation.'
+				: 'The smallest release/hotfix gate changes state, with duplicate full deploy blocked unless force evidence is explicit.';
+		}
+		if (action === 'ready_for_release_gate') {
+			return 'Release gate records compile, business proof, and deployment readiness without treating route-only evidence as acceptance.';
+		}
+		if (action === 'draft_customer_reply') {
+			return 'A customer resolution draft is prepared from accepted business proof and remains unsent until human approval.';
+		}
+		if (action === 'collect_new_evidence') {
+			return 'The next run records a changed blocker fingerprint, changed evidence hash, fresh artifact path, or explicit business/infra/compile/release proof.';
+		}
+		return 'The runner stays parked until a human changes scope, budget, evidence, or autonomy policy.';
+	};
+	const buildNextActionContract = (
+		action: ResolveIOSupportV5AutonomousNextAction,
+		label: string,
+		reason: string,
+		fields: Partial<ResolveIOSupportV5AutonomousDecision>,
+		rootCauseReadiness: ResolveIOSupportRootCauseReadiness,
+		continuationProofCheckpoint: ResolveIOSupportContinuationProofCheckpoint,
+		primaryCommand: string,
+		nextCommands: string[],
+		requiredEvidence: string[],
+		forbiddenActions: string[],
+		blockers: string[]
+	): ResolveIOSupportNextActionContract => {
+		const lane = (fields.lane || activeMicrotask?.lane || 'supervisor') as ResolveIOSupportV5Lane | 'release' | 'customer';
+		const stepType = (fields.stepType || activeStepType) as ResolveIOSupportV5StepType | 'release_gate' | 'customer_reply';
+		const liveHotfixBlockedUntilCommit = fields.liveHotfixBlockedUntilCommit === true;
+		const hotfixCommitRequired = action === 'repair_release_hotfix_first'
+			|| liveHotfixBlockedUntilCommit
+			|| fields.canHotfixBackend === true;
+		const requiresHumanApproval = action === 'park_manual'
+			|| action === 'ask_customer_clarification'
+			|| rootCauseReadiness.requiresHumanDecision === true;
+		const safeToAutoRun = fields.canRunAutonomously === true
+			&& !requiresHumanApproval
+			&& (action !== 'run_owner_scoped_repair' || (rootCauseReadiness.rootCauseFirstSatisfied === true && evidenceFreshness.mustCollectNewEvidence !== true))
+			&& (action !== 'repair_release_hotfix_first' || primaryCommand !== 'apply_backend_hotfix_only_after_commit_proof' || liveHotfixBlockedUntilCommit !== true);
+		const costRisk: ResolveIOSupportNextActionCostRisk = requiresHumanApproval
+			? 'manual_blocked'
+			: (fields.canHotfixBackend === true || action === 'draft_customer_reply')
+				? 'release_or_customer_send'
+				: fields.canRunModel === true
+					? 'expensive_model'
+					: fields.canRunQa === true
+						? 'small_model_or_qa'
+						: 'free_or_deterministic';
+		const canRunWithoutCodexMonitor = safeToAutoRun
+			&& continuationProofCheckpoint.required === true
+			&& forbiddenActions.length > 0
+			&& (requiredEvidence.length > 0 || action === 'repair_infra_only' || action === 'run_diagnosis_gate');
+		const codexFallbackRequired = !canRunWithoutCodexMonitor && !requiresHumanApproval;
+		const codexFallbackReason = codexFallbackRequired
+			? (blockers[0] || continuationProofCheckpoint.reason || 'next_action_contract_missing_required_evidence')
+			: requiresHumanApproval
+				? 'human_decision_required_not_codex_fallback'
+				: !canRunWithoutCodexMonitor
+					? 'structured_contract_blocks_auto_run_without_requesting_codex_monitor'
+					: 'structured_next_action_contract_allows_manager_execution_without_external_codex_monitor';
+		const preconditions = Array.from(new Set([
+			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 generated issue-class probe.' : '',
+			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.' : '',
+			...requiredEvidence
+		].filter(Boolean))).slice(0, 24);
+		const stopConditions = Array.from(new Set([
+			'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.',
+			liveHotfixBlockedUntilCommit ? 'Stop before live backend hotfix until sourceCommitSha, githubCommitUrl, and passed gitPushStatus are recorded.' : '',
+			...continuationProofCheckpoint.requiredResetEvidence.map((entry) => `Reset requires: ${entry}`)
+		].filter(Boolean))).slice(0, 24);
+		const createdAt = isoNow(input.now);
+		return {
+			contractId: `support-next-action-${hashResolveIOSupportV5Evidence({
+				action,
+				primaryCommand,
+				reason,
+				blockers,
+				requiredEvidence,
+				evidenceFreshness: evidenceFreshness.evidenceHash,
+				blockerFingerprint: evidenceFreshness.blockerFingerprint,
+				createdAt: createdAt.slice(0, 16)
+			}).slice(0, 16)}`,
+			action,
+			label,
+			primaryCommand,
+			lane,
+			stepType,
+			safeToAutoRun,
+			requiresHumanApproval,
+			canRunWithoutCodexMonitor,
+			codexFallbackRequired,
+			codexFallbackReason,
+			costRisk,
+			rootCauseFirstSatisfied: rootCauseReadiness.rootCauseFirstSatisfied === true,
+			decisionBasis: {
+				diagnosisValid: rootCauseReadiness.diagnosisValid === true,
+				ownerFilesReady: rootCauseReadiness.ownerFilesReady === true,
+				proofPlanReady: rootCauseReadiness.proofPlanReady === true,
+				businessProofReady: businessProofReadiness.ready === true,
+				evidenceFreshnessStatus: evidenceFreshness.status,
+				evidenceStrength: evidenceFreshness.evidenceStrength,
+				failureClass: evidenceFreshness.failureClass,
+				blockerFingerprint: evidenceFreshness.blockerFingerprint,
+				evidenceHash: evidenceFreshness.evidenceHash,
+				sameFailureCount: evidenceFreshness.sameFailureCount,
+				hotfixCommitRequired,
+				liveHotfixBlockedUntilCommit
+			},
+			preconditions,
+			expectedStateTransition: nextActionExpectedTransition(action, primaryCommand),
+			successEvidence: Array.from(new Set(requiredEvidence.length ? requiredEvidence : continuationProofCheckpoint.requiredEvidence)).slice(0, 24),
+			stopConditions,
+			forbiddenActions: forbiddenActions.slice(0, 24),
+			ownerFiles: ownerFiles.slice(0, 24),
+			blockers: blockers.slice(0, 24),
+			nextCommands: nextCommands.slice(0, 24),
+			createdAt
+		};
+	};
+	const makeDecision = (
+		action: ResolveIOSupportV5AutonomousNextAction,
+		label: string,
+		reason: string,
+		fields: Partial<ResolveIOSupportV5AutonomousDecision>
+	): ResolveIOSupportV5AutonomousDecision => {
+		const primaryCommand = fields.primaryCommand || action;
+		const nextCommands = fields.nextCommands || [primaryCommand];
+		const requiredEvidence = fields.requiredEvidence || [];
+		const blockers = fields.blockers || [];
+		const rootCauseReadiness = buildRootCauseReadiness(action, reason, fields, primaryCommand, nextCommands, blockers);
+		const forbiddenActions = Array.from(new Set([
+			'Do not send customer email without explicit human approval.',
+			'Do not broaden owner_files without revised diagnosis evidence.',
+			'Do not accept route-load, screenshot-only, scorecard-only, or model-claim proof.',
+			...(fields.forbiddenActions || [])
+		]));
+		const continuationProofCheckpoint = buildResolveIOSupportContinuationProofCheckpoint({
+			action,
+			reason,
+			evidenceFreshness,
+			requiredEvidence,
+			requiredResetEvidence: fields.requiredEvidence,
+			blocksProductRepair: evidenceFreshness.mustCollectNewEvidence === true
+		});
+		const nextActionContract = buildNextActionContract(
+			action,
+			label,
+			reason,
+			fields,
+			rootCauseReadiness,
+			continuationProofCheckpoint,
+			primaryCommand,
+			nextCommands,
+			requiredEvidence,
+			forbiddenActions,
+			blockers
+		);
+		const humanReviewPacket = fields.humanReviewPacket
+			|| (action === 'draft_customer_reply' && customerReplyPolicy.humanReviewPacket ? customerReplyPolicy.humanReviewPacket : undefined)
+			|| buildResolveIOSupportHumanReviewPacket({
+				reviewType: supportAutonomousReviewTypeForAction(action),
+				title: label,
+				summary: reason,
+				primaryAction: primaryCommand,
+				customerFacingDraftAllowed: fields.canDraftCustomerReply === true,
+				safety: action === 'draft_customer_reply' ? 'safe_to_draft' : 'internal_hold',
+				reason,
+				blockers,
+				requiredEvidence,
+				evidenceRefs: businessProofReadiness.artifactPaths,
+				nextCommands,
+				forbiddenActions,
+				costRisk: fields.canHotfixBackend === true || action === 'draft_customer_reply'
+					? 'release_or_customer_send'
+					: fields.canRunModel === true
+						? 'expensive_model'
+						: fields.canRunQa === true
+							? 'small_model_or_qa'
+							: 'free_or_deterministic',
+				now: input.now
+			});
+		return {
+			action,
+			label,
+			reason,
+			canRunAutonomously: fields.canRunAutonomously === true,
+			canEditProductCode: fields.canEditProductCode === true,
+			canRunModel: fields.canRunModel === true,
+			canRunQa: fields.canRunQa === true,
+			canPrepareHotfixPatch: fields.canPrepareHotfixPatch === true,
+			canHotfixBackend: fields.canHotfixBackend === true,
+			liveHotfixBlockedUntilCommit: fields.liveHotfixBlockedUntilCommit === true,
+			canDraftCustomerReply: fields.canDraftCustomerReply === true,
+			canSendCustomerReply: false,
+			lane: fields.lane || activeMicrotask?.lane || 'supervisor',
+			stepType: fields.stepType || activeStepType,
+			microtaskId: activeMicrotask?.microtaskId,
+			primaryCommand,
+			nextCommands,
+			requiredEvidence,
+			forbiddenActions,
+			blockers,
+			ownerFiles,
+			issueClass: diagnosisValidation.normalized?.issue_class || repairGate.issueClass,
+			expectedProof,
+			issueClassProbes,
+			activeMicrotask,
+			diagnosisValidation,
+			repairGate,
+			continuation,
+			customerReplyPolicy,
+			businessProofReadiness,
+			evidenceFreshness,
+			rootCauseReadiness,
+			continuationProofCheckpoint,
+			nextActionContract,
+			humanReviewPacket,
+			hotfixContinuation: fields.hotfixContinuation,
+			recordedAt: isoNow(input.now)
+		};
+	};
+	if (continuation.action === 'park' && continuation.reason === 'support_v5_budget_guard') {
+		return makeDecision('park_manual', 'Park Manual', continuation.reason, {
+			canRunAutonomously: false,
+			lane: 'supervisor',
+			stepType: 'cleanup',
+			primaryCommand: 'park_support_ticket_for_manual_budget_review',
+			requiredEvidence: ['budget summary', 'latest blocker', 'operator decision'],
+			blockers: ['Support V5 budget guard is active.']
+		});
+	}
+	if (continuation.action === 'park') {
+		return makeDecision('collect_new_evidence', 'Collect New Evidence', continuation.reason, {
+			canRunAutonomously: true,
+			canRunModel: false,
+			canRunQa: true,
+			lane: activeMicrotask?.lane || 'qa',
+			stepType: activeStepType,
+			primaryCommand: 'run_support_v5_recovery_evidence_probe',
+			nextCommands: continuation.recoveryAction.nextCommands,
+			requiredEvidence: continuation.recoveryAction.requiredArtifacts,
+			blockers: [continuation.reason],
+			forbiddenActions: ['Do not run another product-code repair until blockerFingerprint or evidenceHash changes.']
+		});
+	}
+	if (customerReplyPolicy.action === 'ask_clarification') {
+		return makeDecision('ask_customer_clarification', 'Ask Customer Clarification', customerReplyPolicy.reason, {
+			canRunAutonomously: false,
+			canRunModel: false,
+			canEditProductCode: false,
+			canDraftCustomerReply: true,
+			lane: 'customer',
+			stepType: 'customer_reply',
+			primaryCommand: customerReplyPolicy.humanReviewPacket?.primaryAction || 'review_customer_clarification',
+			nextCommands: customerReplyPolicy.humanReviewPacket?.nextCommands || ['edit_clarification_question', 'send_after_human_review', 'park_ticket_until_customer_reply'],
+			requiredEvidence: customerReplyPolicy.requiredEvidence,
+			blockers: diagnosisValidation.blockers,
+			forbiddenActions: [
+				'Do not run repair from a guessed reproduction path.',
+				'Do not send customer email without explicit human approval.'
+			],
+			humanReviewPacket: customerReplyPolicy.humanReviewPacket
+		});
+	}
+	if (repairGate.action === 'diagnose_only' || activeMicrotask?.type === 'diagnosis_gate' || !diagnosisValidation.valid) {
+		return makeDecision('run_diagnosis_gate', 'Run Diagnosis Gate', 'support_v5_root_cause_first_required', {
+			canRunAutonomously: true,
+			canRunModel: true,
+			canEditProductCode: false,
+			lane: 'build',
+			stepType: 'diagnosis_gate',
+			primaryCommand: 'run_support_v5_read_only_diagnosis_gate',
+			nextCommands: ['retrieve_similar_tickets_and_commits', 'run_reproduction_or_classification_probe', 'write_support_diagnosis_gate_json'],
+			requiredEvidence: [
+				'issue_case expected/observed/account context',
+				'accepted falsifiable hypothesis',
+				'rejected alternatives',
+				'failing path',
+				'small owner_files set',
+				'before/action/after business proof plan'
+			],
+			blockers: repairGate.blockers,
+			forbiddenActions: ['No source edits during diagnosis.']
+		});
+	}
+	if (repairGate.action === 'infra_repair_only') {
+		return makeDecision('repair_infra_only', 'Repair Infra Only', 'support_v5_infra_failure_before_product_repair', {
+			canRunAutonomously: true,
+			canRunModel: false,
+			canEditProductCode: false,
+			canRunQa: true,
+			lane: 'qa',
+			stepType: activeStepType,
+			primaryCommand: 'run_support_v5_infra_repair',
+			nextCommands: ['rerun_puppeteer_compile_startup_preflight', 'repair_harness_or_cache_only', 'record_infra_artifact'],
+			requiredEvidence: ['preflight log', 'compile/startup/browser status', 'new infra blocker hash or pass'],
+			blockers: repairGate.blockers,
+			forbiddenActions: ['Do not charge infra failures as product-code repair failures.']
+		});
+	}
+	if (repairGate.action === 'reject_out_of_scope') {
+		return makeDecision('revise_diagnosis_scope', 'Revise Diagnosis Scope', 'support_v5_owner_scope_block', {
+			canRunAutonomously: true,
+			canRunModel: true,
+			canEditProductCode: false,
+			lane: 'build',
+			stepType: 'diagnosis_gate',
+			primaryCommand: 'revise_support_diagnosis_gate_with_new_owner_file_evidence',
+			nextCommands: ['attach_out_of_scope_diff', 'prove_new_owner_file_is_required', 'update_support_diagnosis_gate'],
+			requiredEvidence: ['new root-cause evidence for each added owner file'],
+			blockers: repairGate.blockers,
+			forbiddenActions: ['Do not edit files outside owner_files before diagnosis is revised.']
+		});
+	}
+	if (repairGate.action === 'park_repeated_failure') {
+		return makeDecision('collect_new_evidence', 'Collect New Evidence', 'support_v5_repeated_failure_needs_new_evidence', {
+			canRunAutonomously: true,
+			canRunModel: false,
+			canRunQa: true,
+			lane: activeMicrotask?.lane || 'qa',
+			stepType: activeStepType,
+			primaryCommand: 'run_support_v5_recovery_evidence_probe',
+			nextCommands: repairGate.recoveryAction.nextCommands,
+			requiredEvidence: repairGate.recoveryAction.requiredArtifacts,
+			blockers: repairGate.blockers,
+			forbiddenActions: ['Do not run another repair loop until new material evidence exists.']
+		});
+	}
+	if (evidenceFreshness.mustCollectNewEvidence === true && repairGate.action === 'allow_product_repair') {
+		return makeDecision('collect_new_evidence', 'Collect New Evidence', 'support_v5_no_blind_loop_requires_changed_evidence', {
+			canRunAutonomously: true,
+			canRunModel: false,
+			canRunQa: true,
+			canEditProductCode: false,
+			lane: activeMicrotask?.lane || 'qa',
+			stepType: activeStepType,
+			primaryCommand: 'run_support_v5_recovery_evidence_probe',
+			nextCommands: ['execute_issue_class_probe', 'record_changed_blocker_or_business_proof', 'write_aiqa_business_assertion_or_blocker_artifact'],
+			requiredEvidence: evidenceFreshness.requiredResetEvidence.length
+				? evidenceFreshness.requiredResetEvidence
+				: ['changed blockerFingerprint or evidenceHash', 'fresh issue-specific business proof artifact'],
+			blockers: [evidenceFreshness.reason || 'Repeated failure needs fresh evidence before owner-scoped repair.'],
+			forbiddenActions: ['Do not edit product code in this recovery; collect changed browser/data/business-proof evidence only.']
+		});
+	}
+	if (supportReleaseLooksBlocked(input.releaseStatus)) {
+		const releaseBlocker = cleanList(input.unresolvedBlockers, 20, 500).join('; ')
+			|| cleanText(input.blocker || input.releaseStatus, 1000)
+			|| 'Support release is blocked.';
+		const hotfixContinuation = decideResolveIOAIManagerHotfixContinuation({
+			evidence: input.hotfixEvidence,
+			policy: input.releasePolicy,
+			releaseGatePassed: input.releaseGatePassed,
+			failureClass: 'release',
+			blocker: releaseBlocker,
+			now: input.now
+		});
+		const hotfixPrimaryCommandByAction: Record<string, string> = {
+			record_hotfix_evidence: 'record_hotfix_evidence',
+			request_force_deploy_reason: 'request_force_deploy_reason',
+			rerun_release_gate: 'rerun_support_release_gate_once',
+			continue_runner: 'continue_support_runner_after_committed_hotfix',
+			allow_one_full_deploy: 'execute_one_full_deploy_with_force_evidence',
+			park_manual: 'park_support_release_manual'
+		};
+		const hotfixNextCommands = Array.from(new Set([
+			'classify_release_blocker',
+			'prepare_hotfix_patch_without_live_apply',
+			'commit_and_push_hotfix_to_github',
+			'record_github_commit_for_hotfix',
+			...hotfixContinuation.nextCommands,
+			'apply_backend_hotfix_only_after_commit_proof',
+			'rerun_release_gate_once'
+		]));
+		const hotfixRequiredEvidence = Array.from(new Set([
+			'hotfix evidence',
+			'full sourceCommitSha, githubCommitUrl, and passed gitPushStatus for the exact pushed GitHub commit',
+			'checksum before/after',
+			'health/self-test pass',
+			'release gate result',
+			...hotfixContinuation.requiredEvidence
+		]));
+		const hotfixForbiddenActions = [
+			'Do not apply a live hotfix before the exact diff is committed and pushed to GitHub.',
+			'Do not mark a hotfix durable without sourceCommitSha, githubCommitUrl, and passed gitPushStatus.',
+			'Do not run a full deploy to clear a duplicate release loop unless force evidence explicitly allows one.'
+		];
+		const hotfixGitGuard = hotfixContinuation.githubCommitGuard;
+		const liveHotfixBlockedUntilCommit = hotfixContinuation.action === 'record_hotfix_evidence'
+			|| hotfixGitGuard?.managerMustCommitBeforeHotfix === true
+			|| (hotfixGitGuard?.required === true && hotfixGitGuard?.passed !== true);
+		const canPrepareHotfixPatch = hotfixContinuation.action !== 'park_manual';
+		return makeDecision('repair_release_hotfix_first', 'Hotfix Release', 'support_v5_release_blocked_hotfix_first', {
+			canRunAutonomously: hotfixContinuation.action !== 'park_manual',
+			canRunModel: false,
+			canEditProductCode: false,
+			canPrepareHotfixPatch,
+			canHotfixBackend: canPrepareHotfixPatch && !liveHotfixBlockedUntilCommit,
+			liveHotfixBlockedUntilCommit,
+			lane: 'release',
+			stepType: 'release_gate',
+			primaryCommand: hotfixPrimaryCommandByAction[hotfixContinuation.action] || 'record_hotfix_evidence',
+			nextCommands: hotfixNextCommands,
+			requiredEvidence: hotfixRequiredEvidence,
+			blockers: Array.from(new Set([
+				...cleanList(input.unresolvedBlockers, 20, 500),
+				...hotfixContinuation.blockers
+			])),
+			forbiddenActions: hotfixForbiddenActions,
+			hotfixContinuation
+		});
+	}
+	if (activeMicrotask?.lane === 'qa' || /^(qa_row|qa_retest|business_proof|route_probe|issue_class_probe)$/.test(activeStepType)) {
+		return makeDecision('run_business_proof_qa', 'Run Business Proof QA', 'support_v5_business_assertion_required', {
+			canRunAutonomously: true,
+			canRunQa: true,
+			canRunModel: false,
+			canEditProductCode: false,
+			lane: 'qa',
+			stepType: /^(qa_row|qa_retest|business_proof|route_probe|issue_class_probe)$/.test(activeStepType) ? activeStepType : 'qa_row',
+			primaryCommand: 'run_support_v5_business_proof_qa_row',
+			nextCommands: ['start_local_stack_if_needed', 'execute_issue_class_probe', 'record_before_action_after_artifacts', 'write_aiqa_business_assertion'],
+			requiredEvidence: Array.from(new Set(['AIQaBusinessAssertion pass', 'DOM/data proof', 'artifact path', 'Mongo delta when data-changing', ...issueClassProbeEvidence])),
+			forbiddenActions: ['Route probe pass alone remains route evidence only.']
+		});
+	}
+	if (!activeMicrotask && customerReplyPolicy.action === 'draft_resolution_reply') {
+		return makeDecision('draft_customer_reply', 'Draft Customer Reply', customerReplyPolicy.reason, {
+			canRunAutonomously: true,
+			canRunModel: true,
+			canDraftCustomerReply: true,
+			lane: 'customer',
+			stepType: 'customer_reply',
+			primaryCommand: 'draft_support_customer_resolution_reply',
+			nextCommands: ['summarize_business_proof', 'draft_customer_reply_for_human_review'],
+			requiredEvidence: customerReplyPolicy.requiredEvidence,
+			forbiddenActions: ['Draft only; do not send.']
+		});
+	}
+	if (!activeMicrotask && diagnosisValidation.valid && !businessProofReadiness.ready) {
+		return makeDecision('run_business_proof_qa', 'Run Business Proof QA', businessProofReadiness.reason, {
+			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'],
+			requiredEvidence: Array.from(new Set([...businessProofReadiness.requiredEvidence, ...issueClassProbeEvidence])),
+			blockers: businessProofReadiness.blockers,
+			forbiddenActions: ['Do not run release or customer reply until businessProofReadiness.ready=true.']
+		});
+	}
+	if (!activeMicrotask && businessProofReadiness.ready) {
+		return makeDecision('ready_for_release_gate', 'Run Release Gate', 'support_v5_business_proof_complete_release_gate_ready', {
+			canRunAutonomously: true,
+			canRunQa: true,
+			lane: 'release',
+			stepType: 'release_gate',
+			primaryCommand: 'run_support_release_gate_once',
+			nextCommands: ['verify_compile_and_business_proof_artifacts', 'run_release_gate_once', 'record_release_status'],
+			requiredEvidence: ['compile pass', 'business assertion artifact', 'release status']
+		});
+	}
+	return makeDecision('run_owner_scoped_repair', 'Run Owner-Scoped Repair', 'support_v5_product_repair_allowed_after_diagnosis', {
+		canRunAutonomously: true,
+		canRunModel: true,
+		canEditProductCode: true,
+		lane: 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.']
+	});
+}
+
+export function buildResolveIOSupportV5DiagnoseFirstPrompt(lines: {
+	goal?: string;
+	approvedScope?: string[];
+	activeStep?: ResolveIOSupportV5StepType;
+	activeBlocker?: string;
+	lane?: ResolveIOSupportV5Lane;
+	laneSummary?: string;
+	currentQaRow?: ResolveIOSupportV5LaneMemory['activeQaRow'];
+	artifactPaths?: string[];
+	changedFiles?: string[];
+}): string[] {
+	return [
+		'Support Runner V5 contract: act like a guarded autonomous engineer, not a gate checklist.',
+		'Start with Diagnose First: observed evidence, likely cause, smallest next action, and expected proof.',
+		'Use compact lane memory and current artifacts before asking for broad ticket context.',
+		'Do not send customer email. Do not write production data. Do not spawn duplicate build, QA, server, client, Mongo, browser, or Codex processes.',
+		'If repairing, inspect logs/artifacts/source/diff first; make the smallest code or localhost-data change, then run the smallest finite self-gate.',
+		'For build repairs, prefer `npm run build-prod -- --watch=false`, a targeted `tsc --noEmit`, or a focused unit test. `npm run build-dev` is forbidden for support microtasks because it is slow/watch-oriented and can leave heavy esbuild work. If no finite gate exists, return a blocked self-gate with the exact reason instead of running build-dev.',
+		'If QA fails, retest the failed row before advancing; if the same blocker repeats without new proof, park with the exact blocker.',
+		lines.goal ? `Goal: ${cleanText(lines.goal, 500)}` : '',
+		cleanList(lines.approvedScope, 12, 240).length ? `Approved scope: ${cleanList(lines.approvedScope, 12, 240).join(' | ')}` : '',
+		lines.activeStep ? `Active step: ${lines.activeStep}` : '',
+		lines.lane ? `Lane: ${lines.lane}` : '',
+		lines.laneSummary ? `Lane memory: ${cleanText(lines.laneSummary, 700)}` : '',
+		lines.activeBlocker ? `Active blocker: ${cleanText(lines.activeBlocker, 800)}` : '',
+		lines.currentQaRow?.workflow ? `Current QA row: ${cleanText(lines.currentQaRow.workflow, 300)}` : '',
+		lines.currentQaRow?.route ? `Current QA route: ${cleanText(lines.currentQaRow.route, 300)}` : '',
+		cleanList(lines.changedFiles, 12, 200).length ? `Changed files: ${cleanList(lines.changedFiles, 12, 200).join(', ')}` : '',
+		cleanList(lines.artifactPaths, 12, 240).length ? `Artifacts: ${cleanList(lines.artifactPaths, 12, 240).join(', ')}` : ''
+	].filter(Boolean);
+}
+
+export function buildResolveIOSupportV5MicrotaskPrompt(input: {
+	bundle: ResolveIOSupportV5StateBundle;
+	lane: 'build' | 'qa';
+	model?: string;
+	stage?: string;
+	failureText?: string;
+	changedFiles?: string[];
+	artifactPaths?: string[];
+	targetFiles?: string[];
+	contextSnippets?: string[];
+	similarCaseHints?: any;
+	activeQaRow?: ResolveIOSupportV5LaneMemory['activeQaRow'];
+}): {
+	prompt: string;
+	promptTokenEstimate: number;
+	promptSections: ResolveIOSupportV5UsageSection[];
+	diagnosisEvidencePack: ResolveIOSupportDiagnosisEvidencePack;
+	activeMicrotask?: ResolveIOSupportV5Microtask;
+	withinCap: boolean;
+	withinHardCap: boolean;
+	cap: number;
+	hardCap: number;
+	reason?: string;
+} {
+	const activeMicrotask = selectResolveIOSupportV5ActiveMicrotask(
+		input.bundle.supportV5MicrotaskLedger || [],
+		input.bundle.supportV5ActiveMicrotaskId
+	);
+	const diagnosisValidation = validateResolveIOSupportDiagnosisGate(input.bundle.supportV5DiagnosisGate);
+	const diagnosisGate = diagnosisValidation.normalized || input.bundle.supportV5DiagnosisGate;
+	const diagnosisActive = activeMicrotask?.type === 'diagnosis_gate';
+	const budget = buildResolveIOSupportV5PromptBudget();
+	const repairLike = Boolean(input.failureText || activeMicrotask?.status === 'needs_repair' || /repair/i.test(String(input.stage || activeMicrotask?.type || '')));
+	const cap = repairLike
+		? budget.repairMicrotaskCap
+		: input.lane === 'qa'
+			? budget.qaMicrotaskCap
+			: budget.buildMicrotaskCap;
+	const hardCap = repairLike
+		? budget.repairMicrotaskHardCap
+		: input.lane === 'qa'
+			? budget.qaMicrotaskHardCap
+			: budget.buildMicrotaskHardCap;
+	const laneMemory = input.bundle.supportV5LaneMemory[input.lane];
+	const taskThreadKey = activeMicrotask?.threadKey || laneMemory.threadKey;
+	const changedFiles = cleanList(input.changedFiles?.length ? input.changedFiles : laneMemory.changedFiles, 8, 160);
+	const artifactPaths = cleanList(input.artifactPaths?.length ? input.artifactPaths : laneMemory.artifactPaths, 8, 200);
+	const targetFiles = cleanList(input.targetFiles?.length ? input.targetFiles : activeMicrotask?.targetFiles, 5, 160);
+	const contextSnippets = cleanList(input.contextSnippets, 5, 360);
+	const diagnosisEvidencePack = buildResolveIOSupportDiagnosisEvidencePack({
+		bundle: input.bundle,
+		similarCaseHints: input.similarCaseHints,
+		issueClass: (diagnosisGate as ResolveIOSupportDiagnosisGate | undefined)?.issue_class,
+		ownerFiles: (diagnosisGate as ResolveIOSupportDiagnosisGate | undefined)?.owner_files || targetFiles,
+		text: input.bundle.supportV5ScopeDigest || input.bundle.supportV5SupervisorState.currentGoal
+	});
+	const similarCaseSelection = diagnosisEvidencePack.similarCaseSelection;
+	const similarCaseHintsText = similarCaseSelection?.ranked?.length
+		? [
+			'Similar accepted fix hints. Advisory only: use these to prioritize inspection paths, not as proof.',
+			...similarCaseSelection.ranked.slice(0, 5).map((hint, index) => [
+				`${index + 1}. source=${hint.source || 'unknown'} score=${Number(hint.score || 0)}`,
+				hint.ticketNumber ? `ticket=${hint.ticketNumber}` : '',
+				hint.commitSha ? `commit=${hint.commitSha}` : '',
+				hint.issueClass ? `issue_class=${hint.issueClass}` : '',
+				hint.ownerFiles?.length ? `owner_files=${hint.ownerFiles.slice(0, 4).join(', ')}` : '',
+				hint.reason ? `signals=${hint.reason}` : '',
+				hint.title ? `title=${cleanText(hint.title, 180)}` : ''
+			].filter(Boolean).join(' | '))
+		].join('\n')
+		: '';
+	const qaRow = input.activeQaRow || activeMicrotask?.lane === 'qa'
+		? input.activeQaRow || laneMemory.activeQaRow || input.bundle.supportV5SupervisorState.currentQaRow
+		: undefined;
+	const sections = [
+		{
+			name: 'microtask_contract',
+			text: [
+				'Support Runner V5 Microtask Contract.',
+				'Use the existing persistent lane thread. Do not start a fresh thread.',
+				'Do exactly one microtask and one proof gate. Do not replay ticket triage, prior plans, attachments, broad QA checklist, or unrelated scope.',
+				'If context is insufficient, request the smallest missing file/log/artifact by path and park this microtask; do not broaden the prompt.',
+				'Do not send customer email. Do not deploy. Do not spawn duplicate server/client/Mongo/browser/Codex processes.',
+				diagnosisActive
+					? 'Diagnosis gate hard boundary: read-only investigation only. Do not edit source, generated files, package files, tests, fixtures, QA artifacts, or local data. Return the diagnosis JSON contract only.'
+					: input.lane === 'qa'
+					? 'QA lane hard boundary: the platform preflight owns compile, dependency install, Mongo/server/client startup, and Angular startup. This lane owns only browser/data proof and QA artifacts unless the prompt explicitly says preflight was skipped.'
+					: 'Build lane hard boundary: do not run `npm run build-dev`, `ng build`, `npm run server`, `npm run client`, `ng serve`, `run-local-qa.sh`, browser automation, or any watch/long-lived command. If a broad compile gate is needed, run only `npm run build-prod -- --watch=false`; otherwise use a targeted finite check or return the precise blocker.'
+			].join('\n')
+		},
+		diagnosisActive ? {
+			name: 'root_cause_first_diagnosis_contract',
+			text: [
+				'Before any product-code repair, produce strict JSON only:',
+				'{"support_diagnosis_gate":{"issue_case":{"customer_complaint":"","expected_result":"","observed_result":"","route_module":"","account_customer_context":"","reproduction_status":"reproduced|blocked|classified","reproduction_blocker":""},"issue_class":"no_op_submit|missing_wrong_data|filter_query_mismatch|invoice_pdf_export|upload_import|route_auth_hydration|slow_query_performance","accepted_hypothesis":{"statement":"","falsifiable_test":"","evidence":[""]},"rejected_alternatives":[""],"failing_path":{"frontend":"","backend":"","shared_library":"","data_query":"","description":""},"owner_files":["small/exact/file.ts"],"proof_plan":{"before":"","before_state_unavailable_reason":"","action":"","after":"","business_assertion":"","route":"","data_assertion":"","artifact_expectation":"","business_proof_contract":{"issue_class":"same as diagnosis issue_class","setup_state":"","action_under_test":"","expected_business_state_change":"","prohibited_false_pass":"Route load, screenshot, scorecard, or model claim alone is not acceptance.","proof_artifacts":["browser trace/screenshot/json/mongo delta"],"data_or_dom_assertion":""}},"similar_tickets":[],"similar_commits":[],"evidence":[{"type":"ticket|browser|mongo|log|code|commit|qa|other","summary":"","artifactPath":""}],"status":"passed"}}',
+				'Owner files must be a small exact editable set, not directories, globs, generated wrappers, or broad repo areas.',
+				'The accepted hypothesis must be falsifiable and backed by evidence; prior similar tickets or commits are hints only and cannot bypass fresh diagnosis.',
+				'For reproduction_status="reproduced", evidence must include at least one browser, Mongo, log, or QA evidence object with artifactPath so the runner can replay the proof.',
+				'For reproduction_status="classified", evidence must still include non-ticket root-cause proof such as code, commit, Mongo, log, browser, or QA evidence.',
+				'Ticket text and similar-ticket hints are context, not root-cause proof by themselves.',
+				'The proof plan must be before/action/after business proof plus business_proof_contract. If before-state proof is impossible, explain exactly why in before_state_unavailable_reason.',
+				'The business_proof_contract must name the setup state, action under test, expected business state change, prohibited false pass, required artifacts, and DOM/data assertion.'
+			].join('\n')
+		} : {
+			name: 'diagnosis_gate_context',
+			text: diagnosisValidation.valid && diagnosisGate ? [
+				`Diagnosis issue class: ${(diagnosisGate as ResolveIOSupportDiagnosisGate).issue_class}`,
+				`Accepted hypothesis: ${(diagnosisGate as ResolveIOSupportDiagnosisGate).accepted_hypothesis.statement}`,
+				`Failing path: ${(diagnosisGate as ResolveIOSupportDiagnosisGate).failing_path.description || (diagnosisGate as ResolveIOSupportDiagnosisGate).failing_path.frontend || (diagnosisGate as ResolveIOSupportDiagnosisGate).failing_path.backend || ''}`,
+				`Owner files: ${(diagnosisGate as ResolveIOSupportDiagnosisGate).owner_files.join(', ')}`,
+				`Business proof required: ${(diagnosisGate as ResolveIOSupportDiagnosisGate).proof_plan.business_assertion}`,
+				(diagnosisGate as ResolveIOSupportDiagnosisGate).proof_plan.business_proof_contract
+					? `Business proof contract: ${(diagnosisGate as ResolveIOSupportDiagnosisGate).proof_plan.business_proof_contract?.action_under_test} -> ${(diagnosisGate as ResolveIOSupportDiagnosisGate).proof_plan.business_proof_contract?.expected_business_state_change}; assertion ${(diagnosisGate as ResolveIOSupportDiagnosisGate).proof_plan.business_proof_contract?.data_or_dom_assertion}`
+					: '',
+				`Before/action/after: ${(diagnosisGate as ResolveIOSupportDiagnosisGate).proof_plan.before || (diagnosisGate as ResolveIOSupportDiagnosisGate).proof_plan.before_state_unavailable_reason} -> ${(diagnosisGate as ResolveIOSupportDiagnosisGate).proof_plan.action} -> ${(diagnosisGate as ResolveIOSupportDiagnosisGate).proof_plan.after}`
+			].filter(Boolean).join('\n') : 'SupportDiagnosisGate is not valid. Park instead of editing product code.'
+		},
+		diagnosisActive ? {
+			name: 'diagnosis_evidence_pack',
+			text: JSON.stringify({
+				packId: diagnosisEvidencePack.packId,
+				status: diagnosisEvidencePack.status,
+				readOnly: diagnosisEvidencePack.readOnly,
+				sourceEditsAllowed: diagnosisEvidencePack.sourceEditsAllowed,
+				requiredOutputKey: diagnosisEvidencePack.requiredOutputKey,
+				requiredFields: diagnosisEvidencePack.requiredFields,
+				requiredEvidence: diagnosisEvidencePack.requiredEvidence,
+				forbiddenActions: diagnosisEvidencePack.forbiddenActions,
+				validationBlockers: diagnosisEvidencePack.validationBlockers,
+				issueClassHint: diagnosisEvidencePack.issueClassHint,
+				ownerFileHints: diagnosisEvidencePack.ownerFileHints,
+				similarHintsAdvisoryOnly: true,
+				similarHintCount: diagnosisEvidencePack.similarCaseSelection.ranked.length,
+				issueClassProbeCatalog: diagnosisEvidencePack.issueClassProbeCatalog.map((entry) => ({
+					issue_class: entry.issue_class,
+					action: entry.action,
+					proof_required: entry.proof_required,
+					acceptance_gate: entry.acceptance_gate,
+					false_pass_blockers: entry.false_pass_blockers
+				}))
+			})
+		} : undefined,
+		diagnosisActive && similarCaseHintsText ? {
+			name: 'similar_accepted_fix_hints',
+			text: similarCaseHintsText
+		} : undefined,
+		{
+			name: 'scope_digest',
+			text: cleanText(input.bundle.supportV5ScopeDigest || input.bundle.supportV5SupervisorState.approvedScope, 900)
+		},
+		{
+			name: 'active_microtask',
+			text: activeMicrotask ? [
+				`Microtask id: ${activeMicrotask.microtaskId}`,
+				`Lane: ${input.lane}`,
+				`Type: ${activeMicrotask.type}`,
+				`Status: ${activeMicrotask.status}`,
+				`Objective: ${cleanText(activeMicrotask.objective, 360)}`,
+				`Self-gate: ${cleanText(activeMicrotask.selfGate, 260)}`,
+				`Acceptance proof: ${cleanText(activeMicrotask.acceptanceProof, 260)}`,
+				`Attempts on this microtask: ${activeMicrotask.attempts}`,
+				`Thread key: ${taskThreadKey}`
+			].join('\n') : 'No active microtask found. Park and report support_v5_microtask_missing.'
+		},
+		{
+			name: 'failure_delta',
+			text: input.failureText ? `Latest blocker/failure delta: ${cleanText(input.failureText, 700)}` : ''
+		},
+		{
+			name: 'target_context',
+			text: [
+				targetFiles.length ? `Target files: ${targetFiles.join(', ')}` : '',
+				changedFiles.length ? `Changed files: ${changedFiles.join(', ')}` : '',
+				artifactPaths.length ? `Artifacts: ${artifactPaths.join(', ')}` : '',
+				qaRow?.workflow ? `QA row workflow: ${cleanText(qaRow.workflow, 220)}` : '',
+				qaRow?.route ? `QA row route: ${cleanText(qaRow.route, 220)}` : '',
+				qaRow?.assertion ? `QA row assertion: ${cleanText(qaRow.assertion, 260)}` : '',
+				contextSnippets.length ? `Relevant snippets:\n${contextSnippets.join('\n---\n')}` : ''
+			].filter(Boolean).join('\n')
+		},
+		input.lane === 'qa' ? {
+			name: 'qa_browser_evidence_contract',
+			text: [
+				'QA lane first action after preflight: collect fresh browser evidence for the active row, not a proof review of existing route/auth artifacts.',
+				'Use the already-running localhost harness and staged env. Before any shell command, run `source .resolveio-support-tools/env.sh 2>/dev/null || source ../.resolveio-support-tools/env.sh 2>/dev/null || true`; then use `$RESOLVEIO_SUPPORT_QA_CLIENT_URL`, `$RESOLVEIO_SUPPORT_QA_SERVER_URL`, `$PUPPETEER_EXECUTABLE_PATH`, and `$CHROME_BIN`.',
+				'Required auth replay helper inside every Puppeteer row script: `const storage=JSON.parse(fs.readFileSync("qa-artifacts/auth-bootstrap-storage-state.json","utf8")); const entries=[...(Array.isArray(storage.localStorageEntries)?storage.localStorageEntries:[]), ...(Array.isArray(storage.localStorage)?storage.localStorage:Object.entries(storage.localStorage||{}).map(([key,value])=>({key,value}))), ...((storage.origins||[]).flatMap(o=>o.localStorage||[]))].map(e=>({key:e.key||e.name,value:e.value})).filter(e=>e.key); const clientUrl=process.env.RESOLVEIO_SUPPORT_QA_CLIENT_URL||process.env.RESOLVEIO_RUNNER_QA_CLIENT_URL; const rowRoute="<ACTIVE_QA_ROUTE>"; await page.goto(clientUrl,{waitUntil:"domcontentloaded"}); await page.evaluate(items=>{localStorage.clear(); for(const item of items)localStorage.setItem(item.key,item.value);}, entries); await page.goto(new URL(rowRoute, clientUrl).href,{waitUntil:"domcontentloaded"});` Replace `<ACTIVE_QA_ROUTE>` with the active row route before running. A screenshot of `/home`, the login screen, or a shell route after this helper means the QA script navigated to the wrong route or storage is stale; rerun the same row with the active route before returning an app blocker.',
+				'Allowed first command shape: one bounded `node`/Puppeteer row script that reads `qa-artifacts/auth-bootstrap-storage-state.json`, opens `$RESOLVEIO_SUPPORT_QA_CLIENT_URL`, seeds localStorage, navigates to the active QA route with `new URL(activeRoute, clientUrl).href`, drives the visible workflow, captures screenshot/caption, and updates the active matrix row. A `/home` proof is invalid for a locked non-home route.',
+				'Forbidden in QA lane after preflight: `npm run build`, `npm run build-dev`, `npm run build-prod`, `ng build`, `npm install`, `npm ci`, `npm run server`, `npm run client`, `ng serve`, `gulp`, `mongod`, `run-local-qa.sh`, and broad source discovery. If a build/startup/dependency problem is suspected, return `blocked` or `needs-fix` with the existing qa-artifacts log paths instead of launching those commands.',
+					'Launch Puppeteer from `PUPPETEER_EXECUTABLE_PATH || CHROME_BIN`, seed localStorage from `qa-artifacts/auth-bootstrap-storage-state.json`, then navigate to the active QA route.',
+					'Before passing, confirm `qa-artifacts/auth-bootstrap-result.json` used the ticket reporter or named affected user when available. If it used generic admin/dev while `qa-live-data-seed-result.json.selected.qa_user_context` names a reporter/affected user, rerun auth as that user or return needs-fix.',
+					'Drive the visible customer workflow for this one row. Capture a new customer-facing screenshot/caption and update `qa-artifacts/qa-coverage-matrix.json` with workflow, route, data id/name, assertion, screenshot path, caption, and pass/failed/blocked status.',
+					'Also write `qa-artifacts/aiqa-business-assertion.json` with one AIQaBusinessAssertion object: assertion, status, workflow, route, before, action, expected, after/observed, dataProof or mongoDelta, artifactPaths, and metadata.supportDiagnosisProof=true only when it maps to the active SupportDiagnosisGate proof_plan.',
+				'After selecting any From/To, source/target, dropdown, combobox, rio-select, filter, item, customer, yard, chemical, or treatment-plan value, read the visible control text back from the DOM. If it still contains placeholder text such as Select Chemical, Select Yard, Select Customer, Select Treatment Plan Type, Loading..., empty, null, or undefined, do not click the action button and do not mark pass. Capture the selected-state blocker screenshot/DOM text and return needs-fix.',
+				'If the row needs persisted data proof, create that proof yourself in the same bounded QA command by querying localhost QA Mongo through process.env.MONGO_URL after the visible UI action. Write the result under qa-artifacts/ as JSON and reference that path in the matrix. Do not ask for a missing post-action DB artifact while the local QA stack is running; either write it or return needs-fix with the exact query/script error. For update-interchangeables rows, the JSON must include concrete non-placeholder fromText and toText, before/after counts or sample documents for treatment plans and tank/interchangeable records, and must fail if either selected value is only an arrow/placeholder or if the persisted collections are empty.',
+					'If the row names multiple concrete entities such as assets, units, BOLs, invoices, chemicals, customers, yards, or numbered records, prove every named entity. Do not pass by proving only one representative record.',
+					'For customer-reported data bugs, use production-seeded localhost records from `qa-live-data-seed-result.json`. If the exact named record is missing from the seed, fail the row as a seed/query blocker instead of testing a substitute record.',
+					'Route-ready, auth-bootstrap, shell, header-only, and empty-list screenshots do not satisfy this microtask. If the row cannot be proven, capture the blocker screenshot/DOM state and return needs-fix with that exact blocker.',
+				'Do not run compile/startup/npm install, do not spawn another server/client/Mongo, and do not inspect broad source trees before the first browser evidence command.'
+			].join('\n')
+		} : {
+			name: 'non_qa_noop',
+			text: ''
+		},
+		{
+			name: 'return_contract',
+			text: diagnosisActive
+				? 'Return strict JSON only with support_diagnosis_gate. Do not include Markdown and do not edit files.'
+				: input.lane === 'qa'
+				? 'Return strict JSON only: {"status":"pass"|"needs-fix"|"blocked","microtaskId":"","summary":"","evidence":[""],"artifacts":[""],"next_actions":[""]}.'
+				: 'Return concise Markdown with: Microtask Result, Root Cause, Changes, Self-Gate, Acceptance Proof, Residual Risk.'
+		}
+	].filter((section): section is { name: string; text: string } => !!section && !!cleanText(section.text, 20));
+	const promptSections = sections.map((section) => ({
+		name: section.name,
+		tokenEstimate: estimateTextTokens(section.text)
+	}));
+	const prompt = sections.map((section) => section.text).join('\n\n');
+	const promptTokenEstimate = estimateTextTokens(prompt);
+	return {
+		prompt,
+		promptTokenEstimate,
+		promptSections,
+		diagnosisEvidencePack,
+		activeMicrotask,
+		withinCap: promptTokenEstimate <= cap,
+		withinHardCap: promptTokenEstimate <= hardCap,
+		cap,
+		hardCap,
+		reason: promptTokenEstimate > hardCap
+			? 'support_v5_microtask_prompt_hard_cap'
+			: promptTokenEstimate > cap
+				? 'support_v5_microtask_prompt_soft_cap'
+				: undefined
+	};
+}
+
+export function summarizeResolveIOSupportV5MicrotaskUsage(bundle: ResolveIOSupportV5StateBundle): {
+	totalPromptTokenEstimate: number;
+	byMicrotask: Array<{ microtaskId: string; promptTokenEstimate: number; calls: number }>;
+	bySection: ResolveIOSupportV5UsageSection[];
+	broadPromptViolations: ResolveIOSupportV5MicrotaskUsage[];
+} {
+	const byMicrotask = new Map<string, { microtaskId: string; promptTokenEstimate: number; calls: number }>();
+	const bySection = new Map<string, number>();
+	let totalPromptTokenEstimate = 0;
+	const broadPromptViolations: ResolveIOSupportV5MicrotaskUsage[] = [];
+	const promptBudget = buildResolveIOSupportV5PromptBudget();
+	for (const usage of bundle.supportV5MicrotaskUsageHistory || []) {
+		totalPromptTokenEstimate += usage.promptTokenEstimate || 0;
+		const existing = byMicrotask.get(usage.microtaskId) || { microtaskId: usage.microtaskId, promptTokenEstimate: 0, calls: 0 };
+		existing.promptTokenEstimate += usage.promptTokenEstimate || 0;
+		existing.calls += 1;
+		byMicrotask.set(usage.microtaskId, existing);
+		for (const section of usage.promptSections || []) {
+			bySection.set(section.name, (bySection.get(section.name) || 0) + section.tokenEstimate);
+		}
+		const hardCap = usage.lane === 'qa' ? promptBudget.qaMicrotaskHardCap : promptBudget.buildMicrotaskHardCap;
+		if ((usage.promptTokenEstimate || 0) > hardCap) {
+			broadPromptViolations.push(usage);
+		}
+	}
+	return {
+		totalPromptTokenEstimate,
+		byMicrotask: Array.from(byMicrotask.values()),
+		bySection: Array.from(bySection.entries()).map(([name, tokenEstimate]) => ({ name, tokenEstimate })),
+		broadPromptViolations
+	};
+}
+
+export function buildResolveIOSupportV5Incident(input: {
+	incidentClass: string;
+	summary: string;
+	stepType?: ResolveIOSupportV5StepType;
+	blocker?: string;
+	artifactPaths?: string[];
+	now?: Date | string;
+}): ResolveIOSupportV5RunnerIncident {
+	return {
+		incidentClass: cleanText(input.incidentClass, 120) || 'support_v5_runner_incident',
+		summary: cleanText(input.summary, 1200),
+		stepType: input.stepType,
+		blockerFingerprint: input.blocker ? fingerprintResolveIOSupportV5Blocker(input.blocker) : undefined,
+		artifactPaths: cleanList(input.artifactPaths, 40, 500),
+		recordedAt: isoNow(input.now)
+	};
+}