@resolveio/server-lib 22.3.105 → 22.3.107

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

@@ -1,6 +1,56 @@
 export type ResolveIOSupportV5StepType = '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 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;
@@ -81,6 +131,10 @@ export interface ResolveIOSupportV5StateBundle {
     supportV5StepHistory: ResolveIOSupportV5StepRecord[];
     supportV5Budget: ResolveIOSupportV5Budget;
     supportV5RunnerIncidents: ResolveIOSupportV5RunnerIncident[];
+    supportV5MicrotaskLedger: ResolveIOSupportV5Microtask[];
+    supportV5ActiveMicrotaskId?: string;
+    supportV5ScopeDigest?: string;
+    supportV5MicrotaskUsageHistory: ResolveIOSupportV5MicrotaskUsage[];
 }
 export interface ResolveIOSupportV5InitializeInput {
     jobId: string;
@@ -121,8 +175,25 @@ export interface ResolveIOSupportV5ContinuationDecision {
 }
 export declare function fingerprintResolveIOSupportV5Blocker(value: any): string;
 export declare function buildResolveIOSupportV5Budget(existing?: Partial<ResolveIOSupportV5Budget>): ResolveIOSupportV5Budget;
+export declare function buildResolveIOSupportV5PromptBudget(existing?: Partial<ResolveIOSupportV5PromptBudget>): ResolveIOSupportV5PromptBudget;
+export declare function buildResolveIOSupportV5ScopeDigest(input: {
+    goal?: string;
+    approvedScope?: string | string[];
+    prBranch?: string;
+    maxTokens?: number;
+}): string;
+export declare function buildResolveIOSupportV5MicrotaskLedger(input: {
+    scopeDigest: string;
+    requirements?: string[];
+    buildThreadKey: string;
+    qaThreadKey: string;
+    now?: Date | string;
+    existing?: ResolveIOSupportV5Microtask[];
+}): ResolveIOSupportV5Microtask[];
+export declare function selectResolveIOSupportV5ActiveMicrotask(ledger?: ResolveIOSupportV5Microtask[], preferredId?: string): ResolveIOSupportV5Microtask | undefined;
 export declare function initializeResolveIOSupportV5State(input: ResolveIOSupportV5InitializeInput): ResolveIOSupportV5StateBundle;
 export declare function recordResolveIOSupportV5Step(bundle: ResolveIOSupportV5StateBundle, step: ResolveIOSupportV5StepInput): ResolveIOSupportV5StateBundle;
+export declare function recordResolveIOSupportV5MicrotaskUsage(bundle: ResolveIOSupportV5StateBundle, usage: Omit<ResolveIOSupportV5MicrotaskUsage, 'recordedAt'>): ResolveIOSupportV5StateBundle;
 export declare function decideResolveIOSupportV5Continuation(bundle: ResolveIOSupportV5StateBundle): ResolveIOSupportV5ContinuationDecision;
 export declare function buildResolveIOSupportV5DiagnoseFirstPrompt(lines: {
     goal?: string;
@@ -135,6 +206,38 @@ export declare function buildResolveIOSupportV5DiagnoseFirstPrompt(lines: {
     artifactPaths?: string[];
     changedFiles?: string[];
 }): string[];
+export declare function buildResolveIOSupportV5MicrotaskPrompt(input: {
+    bundle: ResolveIOSupportV5StateBundle;
+    lane: 'build' | 'qa';
+    model?: string;
+    stage?: string;
+    failureText?: string;
+    changedFiles?: string[];
+    artifactPaths?: string[];
+    targetFiles?: string[];
+    contextSnippets?: string[];
+    activeQaRow?: ResolveIOSupportV5LaneMemory['activeQaRow'];
+}): {
+    prompt: string;
+    promptTokenEstimate: number;
+    promptSections: ResolveIOSupportV5UsageSection[];
+    activeMicrotask?: ResolveIOSupportV5Microtask;
+    withinCap: boolean;
+    withinHardCap: boolean;
+    cap: number;
+    hardCap: number;
+    reason?: string;
+};
+export declare function summarizeResolveIOSupportV5MicrotaskUsage(bundle: ResolveIOSupportV5StateBundle): {
+    totalPromptTokenEstimate: number;
+    byMicrotask: Array<{
+        microtaskId: string;
+        promptTokenEstimate: number;
+        calls: number;
+    }>;
+    bySection: ResolveIOSupportV5UsageSection[];
+    broadPromptViolations: ResolveIOSupportV5MicrotaskUsage[];
+};
 export declare function buildResolveIOSupportV5Incident(input: {
     incidentClass: string;
     summary: string;

package/util/support-runner-v5.js

@@ -49,10 +49,17 @@ var __spreadArray = (this && this.__spreadArray) || function (to, from, pack) {
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.fingerprintResolveIOSupportV5Blocker = fingerprintResolveIOSupportV5Blocker;
 exports.buildResolveIOSupportV5Budget = buildResolveIOSupportV5Budget;
+exports.buildResolveIOSupportV5PromptBudget = buildResolveIOSupportV5PromptBudget;
+exports.buildResolveIOSupportV5ScopeDigest = buildResolveIOSupportV5ScopeDigest;
+exports.buildResolveIOSupportV5MicrotaskLedger = buildResolveIOSupportV5MicrotaskLedger;
+exports.selectResolveIOSupportV5ActiveMicrotask = selectResolveIOSupportV5ActiveMicrotask;
 exports.initializeResolveIOSupportV5State = initializeResolveIOSupportV5State;
 exports.recordResolveIOSupportV5Step = recordResolveIOSupportV5Step;
+exports.recordResolveIOSupportV5MicrotaskUsage = recordResolveIOSupportV5MicrotaskUsage;
 exports.decideResolveIOSupportV5Continuation = decideResolveIOSupportV5Continuation;
 exports.buildResolveIOSupportV5DiagnoseFirstPrompt = buildResolveIOSupportV5DiagnoseFirstPrompt;
+exports.buildResolveIOSupportV5MicrotaskPrompt = buildResolveIOSupportV5MicrotaskPrompt;
+exports.summarizeResolveIOSupportV5MicrotaskUsage = summarizeResolveIOSupportV5MicrotaskUsage;
 exports.buildResolveIOSupportV5Incident = buildResolveIOSupportV5Incident;
 function isoNow(value) {
     if (value instanceof Date) {
@@ -97,6 +104,21 @@ function cleanList(values, limit, max) {
     }
     return result;
 }
+function stableIdFromText(prefix, value) {
+    var text = cleanText(value, 2000).toLowerCase();
+    var hash = 0;
+    for (var index = 0; index < text.length; index += 1) {
+        hash = ((hash << 5) - hash + text.charCodeAt(index)) | 0;
+    }
+    return "".concat(prefix, "-").concat(Math.abs(hash).toString(36) || '0');
+}
+function estimateTextTokens(value) {
+    var text = String(value || '');
+    if (!text) {
+        return 0;
+    }
+    return Math.max(1, Math.ceil(text.length / 4));
+}
 function fingerprintResolveIOSupportV5Blocker(value) {
     var text = cleanText(value, 4000)
         .toLowerCase()
@@ -111,7 +133,7 @@ function fingerprintResolveIOSupportV5Blocker(value) {
 }
 function buildResolveIOSupportV5Budget(existing) {
     return {
-        maxPromptTokensPerNonInitialStep: Number((existing === null || existing === void 0 ? void 0 : existing.maxPromptTokensPerNonInitialStep) || 4000),
+        maxPromptTokensPerNonInitialStep: Number((existing === null || existing === void 0 ? void 0 : existing.maxPromptTokensPerNonInitialStep) || 1800),
         maxLoopsPerTicket: Number((existing === null || existing === void 0 ? void 0 : existing.maxLoopsPerTicket) || 24),
         maxRepeatedNoProgress: Number((existing === null || existing === void 0 ? void 0 : existing.maxRepeatedNoProgress) || 2),
         maxRuntimeMinutesPerLoop: Number((existing === null || existing === void 0 ? void 0 : existing.maxRuntimeMinutesPerLoop) || 15),
@@ -120,6 +142,110 @@ function buildResolveIOSupportV5Budget(existing) {
         loopCount: Number((existing === null || existing === void 0 ? void 0 : existing.loopCount) || 0)
     };
 }
+function buildResolveIOSupportV5PromptBudget(existing) {
+    return {
+        initialPlannerCap: Number((existing === null || existing === void 0 ? void 0 : existing.initialPlannerCap) || 6000),
+        buildMicrotaskCap: Number((existing === null || existing === void 0 ? void 0 : existing.buildMicrotaskCap) || 1800),
+        buildMicrotaskHardCap: Number((existing === null || existing === void 0 ? void 0 : existing.buildMicrotaskHardCap) || 2500),
+        qaMicrotaskCap: Number((existing === null || existing === void 0 ? void 0 : existing.qaMicrotaskCap) || 1500),
+        qaMicrotaskHardCap: Number((existing === null || existing === void 0 ? void 0 : existing.qaMicrotaskHardCap) || 2200),
+        repairMicrotaskCap: Number((existing === null || existing === void 0 ? void 0 : existing.repairMicrotaskCap) || 1200),
+        repairMicrotaskHardCap: Number((existing === null || existing === void 0 ? void 0 : existing.repairMicrotaskHardCap) || 1800)
+    };
+}
+function buildResolveIOSupportV5ScopeDigest(input) {
+    var scope = Array.isArray(input.approvedScope)
+        ? cleanList(input.approvedScope, 30, 220).join(' | ')
+        : cleanText(input.approvedScope, 4000);
+    var raw = [
+        input.goal ? "Goal: ".concat(cleanText(input.goal, 300)) : '',
+        scope ? "Approved scope: ".concat(scope) : '',
+        input.prBranch ? "PR branch: ".concat(cleanText(input.prBranch, 160)) : ''
+    ].filter(Boolean).join('\n');
+    var maxChars = Math.max(400, Math.floor(Number(input.maxTokens || 1000) * 4));
+    return raw.slice(0, maxChars);
+}
+function buildResolveIOSupportV5MicrotaskLedger(input) {
+    var e_2, _a;
+    var existing = Array.isArray(input.existing) ? input.existing : [];
+    var completedByObjective = new Map();
+    try {
+        for (var existing_1 = __values(existing), existing_1_1 = existing_1.next(); !existing_1_1.done; existing_1_1 = existing_1.next()) {
+            var task = existing_1_1.value;
+            if (task && (task.status === 'pass' || task.status === 'parked')) {
+                completedByObjective.set(cleanText(task.objective, 500).toLowerCase(), task);
+            }
+        }
+    }
+    catch (e_2_1) { e_2 = { error: e_2_1 }; }
+    finally {
+        try {
+            if (existing_1_1 && !existing_1_1.done && (_a = existing_1.return)) _a.call(existing_1);
+        }
+        finally { if (e_2) throw e_2.error; }
+    }
+    var now = isoNow(input.now);
+    var requirements = cleanList(input.requirements, 30, 240);
+    var sourceRequirements = requirements.length
+        ? requirements
+        : cleanText(input.scopeDigest, 1000).split(/\s+\|\s+|\r?\n/g).map(function (line) { return line.trim(); }).filter(Boolean).slice(0, 12);
+    var ledger = [];
+    sourceRequirements.forEach(function (requirement, index) {
+        var objective = cleanText(requirement, 240);
+        if (!objective) {
+            return;
+        }
+        var existingCompleted = completedByObjective.get(objective.toLowerCase());
+        var buildId = stableIdFromText("build-".concat(index + 1), objective);
+        var qaId = stableIdFromText("qa-".concat(index + 1), objective);
+        ledger.push(existingCompleted && existingCompleted.lane === 'build' ? existingCompleted : {
+            microtaskId: buildId,
+            lane: 'build',
+            type: 'build_repair',
+            status: 'pending',
+            objective: 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: [],
+            parentScopeId: stableIdFromText('scope', objective),
+            createdAt: now,
+            updatedAt: now
+        });
+        ledger.push({
+            microtaskId: qaId,
+            lane: 'qa',
+            type: 'qa_row',
+            status: 'pending',
+            objective: "QA proof for: ".concat(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 and screenshot/caption artifact.',
+            threadKey: input.qaThreadKey,
+            attempts: 0,
+            dependsOn: [buildId],
+            parentScopeId: stableIdFromText('scope', objective),
+            createdAt: now,
+            updatedAt: now
+        });
+    });
+    return ledger.length ? ledger : existing.slice(-80);
+}
+function selectResolveIOSupportV5ActiveMicrotask(ledger, preferredId) {
+    if (ledger === void 0) { ledger = []; }
+    var byPreferred = preferredId ? ledger.find(function (task) { return task.microtaskId === preferredId && !['pass', 'parked'].includes(task.status); }) : undefined;
+    if (byPreferred) {
+        return byPreferred;
+    }
+    return ledger.find(function (task) { return task.status === 'needs_repair'; })
+        || ledger.find(function (task) { return task.status === 'in_progress'; })
+        || ledger.find(function (task) { return task.status === 'pending'; })
+        || ledger.find(function (task) { return task.status === 'blocked'; });
+}
 function initializeResolveIOSupportV5State(input) {
     var _a, _b, _c, _d, _e, _f, _g, _h, _j, _k, _l, _m, _o, _p, _q, _r, _s, _t;
     var now = isoNow(input.now);
@@ -133,6 +259,20 @@ function initializeResolveIOSupportV5State(input) {
     var buildThreadKey = cleanText(input.buildThreadKey || ((_a = existingLaneMemory.build) === null || _a === void 0 ? void 0 : _a.threadKey) || "support:".concat(input.ticketId || input.jobId, ":job:").concat(input.jobId, ":build"), 240);
     var qaThreadKey = cleanText(input.qaThreadKey || ((_b = existingLaneMemory.qa) === null || _b === void 0 ? void 0 : _b.threadKey) || "support:".concat(input.ticketId || input.jobId, ":job:").concat(input.jobId, ":qa"), 240);
     var budget = buildResolveIOSupportV5Budget(existing.supportV5Budget);
+    var scopeDigest = cleanText(existing.supportV5ScopeDigest, 4000) || buildResolveIOSupportV5ScopeDigest({
+        goal: (existingSupervisor === null || existingSupervisor === void 0 ? void 0 : existingSupervisor.currentGoal) || "Resolve support ticket ".concat(ticketLabel),
+        approvedScope: scope,
+        prBranch: input.prBranch || (existingSupervisor === null || existingSupervisor === void 0 ? void 0 : existingSupervisor.prBranch) || ''
+    });
+    var ledger = buildResolveIOSupportV5MicrotaskLedger({
+        scopeDigest: scopeDigest,
+        requirements: cleanList(input.approvedScopeRequirements, 30, 240),
+        buildThreadKey: buildThreadKey,
+        qaThreadKey: qaThreadKey,
+        now: now,
+        existing: existing.supportV5MicrotaskLedger
+    });
+    var activeMicrotask = selectResolveIOSupportV5ActiveMicrotask(ledger, existing.supportV5ActiveMicrotaskId);
     return {
         supportWorkflowVersion: 'v5',
         supportV5SupervisorState: {
@@ -182,6 +322,12 @@ function initializeResolveIOSupportV5State(input) {
         supportV5Budget: budget,
         supportV5RunnerIncidents: Array.isArray(existing.supportV5RunnerIncidents)
             ? existing.supportV5RunnerIncidents.slice(-80)
+            : [],
+        supportV5MicrotaskLedger: ledger,
+        supportV5ActiveMicrotaskId: activeMicrotask === null || activeMicrotask === void 0 ? void 0 : activeMicrotask.microtaskId,
+        supportV5ScopeDigest: scopeDigest,
+        supportV5MicrotaskUsageHistory: Array.isArray(existing.supportV5MicrotaskUsageHistory)
+            ? existing.supportV5MicrotaskUsageHistory.slice(-200)
             : []
     };
 }
@@ -212,7 +358,34 @@ function recordResolveIOSupportV5Step(bundle, step) {
     var supervisor = __assign(__assign({}, bundle.supportV5SupervisorState), { status: step.outcome === 'ready_for_merge' ? 'complete' : (step.outcome === 'park_manual' || step.outcome === 'budget_stop' ? 'parked' : 'active'), 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(__spreadArray(__spreadArray([], __read(bundle.supportV5SupervisorState.artifactLinks), false), __read((record.artifactPaths || [])), false))).slice(-80), updatedAt: now });
-    return __assign(__assign({}, bundle), { supportV5SupervisorState: supervisor, supportV5LaneMemory: laneMemory, supportV5StepHistory: __spreadArray(__spreadArray([], __read(bundle.supportV5StepHistory), false), [record], false).slice(-100), supportV5Budget: __assign(__assign({}, bundle.supportV5Budget), { totalPromptTokenEstimate: bundle.supportV5Budget.totalPromptTokenEstimate + promptTokens, totalRuntimeMs: bundle.supportV5Budget.totalRuntimeMs + runtimeMs, loopCount: bundle.supportV5Budget.loopCount + 1 }) });
+    var ledger = (bundle.supportV5MicrotaskLedger || []).map(function (task) {
+        if (task.microtaskId !== bundle.supportV5ActiveMicrotaskId) {
+            return task;
+        }
+        var status = 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 __assign(__assign({}, task), { status: 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 });
+    });
+    var nextMicrotask = selectResolveIOSupportV5ActiveMicrotask(ledger, bundle.supportV5ActiveMicrotaskId);
+    return __assign(__assign({}, bundle), { supportV5SupervisorState: supervisor, supportV5LaneMemory: laneMemory, supportV5StepHistory: __spreadArray(__spreadArray([], __read(bundle.supportV5StepHistory), false), [record], false).slice(-100), supportV5Budget: __assign(__assign({}, bundle.supportV5Budget), { totalPromptTokenEstimate: bundle.supportV5Budget.totalPromptTokenEstimate + promptTokens, totalRuntimeMs: bundle.supportV5Budget.totalRuntimeMs + runtimeMs, loopCount: bundle.supportV5Budget.loopCount + 1 }), supportV5MicrotaskLedger: ledger, supportV5ActiveMicrotaskId: nextMicrotask === null || nextMicrotask === void 0 ? void 0 : nextMicrotask.microtaskId, supportV5MicrotaskUsageHistory: bundle.supportV5MicrotaskUsageHistory || [] });
+}
+function recordResolveIOSupportV5MicrotaskUsage(bundle, usage) {
+    var record = __assign(__assign({}, 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(function (section) { return ({
+                name: cleanText(section.name, 120),
+                tokenEstimate: Math.max(0, Number(section.tokenEstimate || 0) || 0)
+            }); }).filter(function (section) { return section.name; })
+            : [], recordedAt: isoNow() });
+    var ledger = (bundle.supportV5MicrotaskLedger || []).map(function (task) { return task.microtaskId === record.microtaskId
+        ? __assign(__assign({}, task), { promptTokenEstimate: record.promptTokenEstimate, updatedAt: record.recordedAt }) : task; });
+    return __assign(__assign({}, bundle), { supportV5MicrotaskLedger: ledger, supportV5MicrotaskUsageHistory: __spreadArray(__spreadArray([], __read((bundle.supportV5MicrotaskUsageHistory || [])), false), [
+            record
+        ], false).slice(-200) });
 }
 function decideResolveIOSupportV5Continuation(bundle) {
     var history = bundle.supportV5StepHistory || [];
@@ -233,7 +406,7 @@ function decideResolveIOSupportV5Continuation(bundle) {
         }
     }
     var budgetExceeded = budget.loopCount >= budget.maxLoopsPerTicket
-        || ((last === null || last === void 0 ? void 0 : last.promptTokenEstimate) || 0) > budget.maxPromptTokensPerNonInitialStep * 2;
+        || ((last === null || last === void 0 ? void 0 : last.promptTokenEstimate) || 0) > budget.maxPromptTokensPerNonInitialStep;
     if (budgetExceeded) {
         return {
             action: 'park',
@@ -281,6 +454,153 @@ function buildResolveIOSupportV5DiagnoseFirstPrompt(lines) {
         cleanList(lines.artifactPaths, 12, 240).length ? "Artifacts: ".concat(cleanList(lines.artifactPaths, 12, 240).join(', ')) : ''
     ].filter(Boolean);
 }
+function buildResolveIOSupportV5MicrotaskPrompt(input) {
+    var _a, _b, _c;
+    var activeMicrotask = selectResolveIOSupportV5ActiveMicrotask(input.bundle.supportV5MicrotaskLedger || [], input.bundle.supportV5ActiveMicrotaskId);
+    var budget = buildResolveIOSupportV5PromptBudget();
+    var repairLike = Boolean(input.failureText || (activeMicrotask === null || activeMicrotask === void 0 ? void 0 : activeMicrotask.status) === 'needs_repair' || /repair/i.test(String(input.stage || (activeMicrotask === null || activeMicrotask === void 0 ? void 0 : activeMicrotask.type) || '')));
+    var cap = repairLike
+        ? budget.repairMicrotaskCap
+        : input.lane === 'qa'
+            ? budget.qaMicrotaskCap
+            : budget.buildMicrotaskCap;
+    var hardCap = repairLike
+        ? budget.repairMicrotaskHardCap
+        : input.lane === 'qa'
+            ? budget.qaMicrotaskHardCap
+            : budget.buildMicrotaskHardCap;
+    var laneMemory = input.bundle.supportV5LaneMemory[input.lane];
+    var taskThreadKey = (activeMicrotask === null || activeMicrotask === void 0 ? void 0 : activeMicrotask.threadKey) || laneMemory.threadKey;
+    var changedFiles = cleanList(((_a = input.changedFiles) === null || _a === void 0 ? void 0 : _a.length) ? input.changedFiles : laneMemory.changedFiles, 8, 160);
+    var artifactPaths = cleanList(((_b = input.artifactPaths) === null || _b === void 0 ? void 0 : _b.length) ? input.artifactPaths : laneMemory.artifactPaths, 8, 200);
+    var targetFiles = cleanList(((_c = input.targetFiles) === null || _c === void 0 ? void 0 : _c.length) ? input.targetFiles : activeMicrotask === null || activeMicrotask === void 0 ? void 0 : activeMicrotask.targetFiles, 5, 160);
+    var contextSnippets = cleanList(input.contextSnippets, 5, 360);
+    var qaRow = input.activeQaRow || (activeMicrotask === null || activeMicrotask === void 0 ? void 0 : activeMicrotask.lane) === 'qa' ? input.activeQaRow || laneMemory.activeQaRow || input.bundle.supportV5SupervisorState.currentQaRow : undefined;
+    var 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.'
+            ].join('\n')
+        },
+        {
+            name: 'scope_digest',
+            text: cleanText(input.bundle.supportV5ScopeDigest || input.bundle.supportV5SupervisorState.approvedScope, 900)
+        },
+        {
+            name: 'active_microtask',
+            text: activeMicrotask ? [
+                "Microtask id: ".concat(activeMicrotask.microtaskId),
+                "Lane: ".concat(input.lane),
+                "Type: ".concat(activeMicrotask.type),
+                "Status: ".concat(activeMicrotask.status),
+                "Objective: ".concat(cleanText(activeMicrotask.objective, 360)),
+                "Self-gate: ".concat(cleanText(activeMicrotask.selfGate, 260)),
+                "Acceptance proof: ".concat(cleanText(activeMicrotask.acceptanceProof, 260)),
+                "Attempts on this microtask: ".concat(activeMicrotask.attempts),
+                "Thread key: ".concat(taskThreadKey)
+            ].join('\n') : 'No active microtask found. Park and report support_v5_microtask_missing.'
+        },
+        {
+            name: 'failure_delta',
+            text: input.failureText ? "Latest blocker/failure delta: ".concat(cleanText(input.failureText, 700)) : ''
+        },
+        {
+            name: 'target_context',
+            text: [
+                targetFiles.length ? "Target files: ".concat(targetFiles.join(', ')) : '',
+                changedFiles.length ? "Changed files: ".concat(changedFiles.join(', ')) : '',
+                artifactPaths.length ? "Artifacts: ".concat(artifactPaths.join(', ')) : '',
+                (qaRow === null || qaRow === void 0 ? void 0 : qaRow.workflow) ? "QA row workflow: ".concat(cleanText(qaRow.workflow, 220)) : '',
+                (qaRow === null || qaRow === void 0 ? void 0 : qaRow.route) ? "QA row route: ".concat(cleanText(qaRow.route, 220)) : '',
+                (qaRow === null || qaRow === void 0 ? void 0 : qaRow.assertion) ? "QA row assertion: ".concat(cleanText(qaRow.assertion, 260)) : '',
+                contextSnippets.length ? "Relevant snippets:\n".concat(contextSnippets.join('\n---\n')) : ''
+            ].filter(Boolean).join('\n')
+        },
+        {
+            name: 'return_contract',
+            text: 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(function (section) { return cleanText(section.text, 20); });
+    var promptSections = sections.map(function (section) { return ({
+        name: section.name,
+        tokenEstimate: estimateTextTokens(section.text)
+    }); });
+    var prompt = sections.map(function (section) { return section.text; }).join('\n\n');
+    var promptTokenEstimate = estimateTextTokens(prompt);
+    return {
+        prompt: prompt,
+        promptTokenEstimate: promptTokenEstimate,
+        promptSections: promptSections,
+        activeMicrotask: activeMicrotask,
+        withinCap: promptTokenEstimate <= cap,
+        withinHardCap: promptTokenEstimate <= hardCap,
+        cap: cap,
+        hardCap: hardCap,
+        reason: promptTokenEstimate > hardCap
+            ? 'support_v5_microtask_prompt_hard_cap'
+            : promptTokenEstimate > cap
+                ? 'support_v5_microtask_prompt_soft_cap'
+                : undefined
+    };
+}
+function summarizeResolveIOSupportV5MicrotaskUsage(bundle) {
+    var e_3, _a, e_4, _b;
+    var byMicrotask = new Map();
+    var bySection = new Map();
+    var totalPromptTokenEstimate = 0;
+    var broadPromptViolations = [];
+    var promptBudget = buildResolveIOSupportV5PromptBudget();
+    try {
+        for (var _c = __values(bundle.supportV5MicrotaskUsageHistory || []), _d = _c.next(); !_d.done; _d = _c.next()) {
+            var usage = _d.value;
+            totalPromptTokenEstimate += usage.promptTokenEstimate || 0;
+            var 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);
+            try {
+                for (var _e = (e_4 = void 0, __values(usage.promptSections || [])), _f = _e.next(); !_f.done; _f = _e.next()) {
+                    var section = _f.value;
+                    bySection.set(section.name, (bySection.get(section.name) || 0) + section.tokenEstimate);
+                }
+            }
+            catch (e_4_1) { e_4 = { error: e_4_1 }; }
+            finally {
+                try {
+                    if (_f && !_f.done && (_b = _e.return)) _b.call(_e);
+                }
+                finally { if (e_4) throw e_4.error; }
+            }
+            var hardCap = usage.lane === 'qa' ? promptBudget.qaMicrotaskHardCap : promptBudget.buildMicrotaskHardCap;
+            if ((usage.promptTokenEstimate || 0) > hardCap) {
+                broadPromptViolations.push(usage);
+            }
+        }
+    }
+    catch (e_3_1) { e_3 = { error: e_3_1 }; }
+    finally {
+        try {
+            if (_d && !_d.done && (_a = _c.return)) _a.call(_c);
+        }
+        finally { if (e_3) throw e_3.error; }
+    }
+    return {
+        totalPromptTokenEstimate: totalPromptTokenEstimate,
+        byMicrotask: Array.from(byMicrotask.values()),
+        bySection: Array.from(bySection.entries()).map(function (_a) {
+            var _b = __read(_a, 2), name = _b[0], tokenEstimate = _b[1];
+            return ({ name: name, tokenEstimate: tokenEstimate });
+        }),
+        broadPromptViolations: broadPromptViolations
+    };
+}
 function buildResolveIOSupportV5Incident(input) {
     return {
         incidentClass: cleanText(input.incidentClass, 120) || 'support_v5_runner_incident',