sdd-agent-platform 0.3.0 → 0.4.1

package/packages/core/dist/verification/single-task-loop.js

@@ -0,0 +1,425 @@
+import { createHash } from 'node:crypto';
+import { SDD_RESULT_CONTRACT, SDD_RESULT_VERSION } from '../contracts.js';
+import { artifactKind, writeArtifact } from '../run-state/artifacts.js';
+import { appendEvent } from '../run-state/events.js';
+import { createRun, readRunState, writeRunState } from '../run-state/run-state.js';
+import { resolveSddContext } from '../sdd-docs/context.js';
+import { bindRunStateToTask } from '../sdd-docs/run-binding.js';
+import { inspectSddTask, taskGap } from '../sdd-docs/task-inspection.js';
+import { parseSddBranch } from '../sdd-docs/task-parser.js';
+import { routeSddTask } from '../router/route-sdd-task.js';
+import { buildAgentExecutionRecord, buildTeamSessionRecord, writeAgentExecutionRecord, writeTeamSessionRecord } from '../execution/agent-execution-records.js';
+import { runBackgroundExecutor } from '../execution/background-executor.js';
+import { recordRuntimeSyncBackDecision, runtimeScopedId } from '../storage/runtime-store.js';
+export async function runSingleTaskLoop(projectRoot, options) {
+    const context = await resolveSddContext(projectRoot, options.branch ? { branch: options.branch, branchSource: 'cli_option' } : {});
+    const branch = context.partition;
+    const model = await parseSddBranch(projectRoot, branch);
+    const inspected = inspectSddTask(model, options.taskId);
+    const runState = options.runId ? await readRunState(projectRoot, options.runId) : await createRun(projectRoot);
+    const boundRunState = await bindRunStateToTask(projectRoot, runState, context, model, inspected.task ?? null, options.taskId);
+    const runId = boundRunState.runId;
+    const routeDecision = await routeSddTask(projectRoot, { taskId: options.taskId, branch, teamModeEnabled: options.teamModeEnabled, teamModeActivation: options.teamModeActivation, approved: options.approved });
+    await appendEvent(projectRoot, runId, {
+        event: 'agent_router_preflight',
+        runId,
+        summary: `Agent router preflight ${routeDecision.blockedReason ? 'blocked' : 'passed'} for ${options.taskId}`,
+        data: { taskId: options.taskId, decision: routeDecision }
+    });
+    if (routeDecision.teamMode.enabled || routeDecision.teamMode.decision !== 'disabled') {
+        await writeTeamSessionRecord(projectRoot, buildTeamSessionRecord({
+            runId,
+            taskId: options.taskId,
+            route: routeDecision,
+            status: routeDecision.teamMode.decision === 'enabled' ? 'created' : routeDecision.teamMode.decision === 'blocked' ? 'blocked' : 'disabled',
+            artifacts: [],
+            evidenceSummary: `Team-mode ${routeDecision.teamMode.decision} during task preflight.`
+        }));
+    }
+    await appendEvent(projectRoot, runId, {
+        event: 'phase_started',
+        runId,
+        summary: `Phase 3.15 ingestion-aware task loop started for ${options.taskId}`,
+        data: { phase: 'do', branch, task: options.taskId }
+    });
+    if (routeDecision.blockedReason || routeDecision.toolPermission?.policy === 'deny' || !inspected.task || inspected.gaps.some((gap) => gap.severity === 'blocking')) {
+        const routeGap = routeDecision.blockedReason ? [taskGap(options.taskId, 'agent_router', routeDecision.blockedReason, routeDecision.nextAction)] : [];
+        const toolPermissionGap = routeDecision.toolPermission?.policy === 'deny' ? [taskGap(options.taskId, 'tool_permission', 'Agent router denied required tool permission for this task.', 'Change task scope, tool policy, or route through a permitted profile before execution.')] : [];
+        const allGaps = [...routeGap, ...toolPermissionGap, ...inspected.gaps];
+        const gapArtifact = await writeArtifact(projectRoot, runId, `gap-report-${options.taskId}.md`, renderLoopGapReport(options.taskId, allGaps));
+        const proposal = await writeSyncBackProposal(projectRoot, runId, options.taskId, 'blocked', [gapArtifact.runRelativePath], allGaps, 'Task selection is blocked by router preflight or parser/task gaps.');
+        await persistLoopState(projectRoot, runId, {
+            status: 'blocked',
+            phase: 'do',
+            taskId: options.taskId,
+            taskState: buildRuntimeTaskState(inspected.task, 'blocked', 'blocked', allGaps, [gapArtifact.runRelativePath]),
+            validationStatus: 'blocked',
+            syncBackProposalPath: proposal.runRelativePath,
+            syncBackProposalDigest: proposal.digest,
+            artifacts: [{ path: gapArtifact.runRelativePath, kind: 'gap-report', task: options.taskId, agent: 'runtime' }]
+        });
+        await recordLoopSyncBackDecision(projectRoot, {
+            runId,
+            branch,
+            taskId: options.taskId,
+            status: 'proposed',
+            proposalPath: proposal.runRelativePath,
+            proposalDigest: proposal.digest,
+            proposalPayloadId: proposal.payloadId,
+            reasons: allGaps.map((gap) => `${gap.severity} ${gap.type} ${gap.field}: ${gap.message}`),
+            payload: { sourceVerifyStatus: 'blocked', artifacts: [gapArtifact.runRelativePath] }
+        });
+        await appendEvent(projectRoot, runId, {
+            event: 'gap_detected',
+            runId,
+            summary: `Task ${options.taskId} is blocked before implementation.`,
+            data: { gaps: allGaps, artifact: gapArtifact.runRelativePath, routeDecision }
+        });
+        await writeAgentExecutionRecord(projectRoot, buildAgentExecutionRecord({
+            runId,
+            taskId: options.taskId,
+            agent: 'orchestrator',
+            route: routeDecision,
+            status: 'blocked',
+            delegationId: `P-${options.taskId}-router-001`,
+            artifactPath: gapArtifact.runRelativePath,
+            evidenceSummary: `Task loop blocked before implementation by router preflight or task gaps with ${allGaps.length} issue(s).`
+        }));
+        return {
+            runId,
+            taskId: options.taskId,
+            status: 'blocked',
+            task: inspected.task,
+            gaps: allGaps,
+            requiredArtifacts: [],
+            acceptedArtifacts: [gapArtifact.runRelativePath],
+            syncBackProposalPath: proposal.runRelativePath,
+            routeDecision,
+            message: 'Task loop blocked before implementation by router preflight or task gaps.'
+        };
+    }
+    await appendEvent(projectRoot, runId, {
+        event: 'task_selected',
+        runId,
+        summary: `Task selected for ingestion-aware task loop: ${options.taskId}`,
+        data: { task: options.taskId, title: inspected.task.title, source: inspected.task.source }
+    });
+    const steps = buildLoopSteps(options.taskId, options, inspected.task);
+    const acceptedArtifacts = [];
+    const gaps = [];
+    let terminalStatus = 'completed';
+    let validationStatus = 'not_run';
+    for (const step of steps) {
+        const stepRouteDecision = await routeSddTask(projectRoot, { taskId: options.taskId, branch, agent: step.agent, teamModeEnabled: options.teamModeEnabled, teamModeActivation: options.teamModeActivation, approved: options.approved });
+        if (!step.suppliedArtifact) {
+            if (!step.required) {
+                await appendEvent(projectRoot, runId, {
+                    event: 'delegation_cancelled',
+                    runId,
+                    summary: `${step.agent} artifact not supplied; optional step skipped for ${options.taskId}`,
+                    data: { agent: step.agent, expectedArtifact: step.expectedArtifact }
+                });
+                await writeAgentExecutionRecord(projectRoot, buildAgentExecutionRecord({
+                    runId,
+                    taskId: options.taskId,
+                    agent: step.agent,
+                    route: stepRouteDecision,
+                    status: 'skipped',
+                    delegationId: `B-${options.taskId}-${step.agent}-001`,
+                    evidenceSummary: `${step.agent} artifact was not supplied and the step is optional.`
+                }));
+                continue;
+            }
+            const gap = taskGap(options.taskId, step.agent, `${step.agent} artifact was not supplied; the task loop facade does not invoke external agents directly.`, `Run the ${step.agent} step in Claude Code and pass ${artifactOptionName(step.agent)} artifacts/<file>; physical evidence is branch-scoped under .sdd/runs/<branchSlug>/evidence/artifacts/<file>.`);
+            gaps.push(gap);
+            await appendEvent(projectRoot, runId, {
+                event: 'delegation_failed',
+                runId,
+                summary: `${step.agent} artifact missing for ${options.taskId}`,
+                data: { agent: step.agent, expectedArtifact: step.expectedArtifact }
+            });
+            await writeAgentExecutionRecord(projectRoot, buildAgentExecutionRecord({
+                runId,
+                taskId: options.taskId,
+                agent: step.agent,
+                route: stepRouteDecision,
+                status: 'blocked',
+                delegationId: `B-${options.taskId}-${step.agent}-001`,
+                evidenceSummary: `${step.agent} artifact was not supplied; execution is blocked before host invocation.`
+            }));
+            terminalStatus = 'blocked';
+            validationStatus = step.agent === 'validator' ? 'blocked' : validationStatus;
+            break;
+        }
+        const result = await runBackgroundExecutor(projectRoot, {
+            branch,
+            runId,
+            taskId: options.taskId,
+            agent: step.agent,
+            artifactPath: step.suppliedArtifact,
+            delegationId: `B-${options.taskId}-${step.agent}-001`,
+            approved: options.approved
+        });
+        if (!result.ingestion || result.ingestion.status !== 'accepted' || !result.ingestion.resultStatus) {
+            const issueText = result.issues.map((issue) => issue.message).join('; ') || result.message;
+            const recommendation = issueText.includes('manual isolation gate') || issueText.includes('requires confirmation')
+                ? 'Resolve the manual isolation or approval gate for this high-risk task before ingesting execution artifacts.'
+                : `Fix ${step.suppliedArtifact} so the Phase 3 executor can ingest one valid sdd-result block for ${step.agent}/${options.taskId}.`;
+            gaps.push(taskGap(options.taskId, step.agent, `${step.agent} artifact ${step.suppliedArtifact} could not be ingested: ${issueText}`, recommendation));
+            terminalStatus = 'blocked';
+            validationStatus = step.agent === 'validator' ? 'blocked' : validationStatus;
+            break;
+        }
+        acceptedArtifacts.push(result.ingestion.artifactPath);
+        if (step.agent === 'reviewer') {
+            if (result.ingestion.resultStatus === 'PASS') {
+                await appendEvent(projectRoot, runId, { event: 'review_passed', runId, summary: `Review passed for ${options.taskId}`, data: { artifact: result.ingestion.artifactPath } });
+            }
+            else {
+                await appendEvent(projectRoot, runId, { event: 'review_failed', runId, summary: `Review did not pass for ${options.taskId}; debugger may be supplied once.`, data: { artifact: result.ingestion.artifactPath, status: result.ingestion.resultStatus } });
+                if (!options.debugArtifact) {
+                    gaps.push(taskGap(options.taskId, 'debugger', 'Review did not pass and no debugger artifact was supplied.', 'Run one debugger attempt or create a gap report; the task loop allows only one debugger pass.'));
+                    terminalStatus = result.ingestion.resultStatus === 'BLOCKED' ? 'blocked' : 'failed';
+                    validationStatus = 'fail';
+                    break;
+                }
+            }
+        }
+        if (step.agent === 'validator') {
+            if (result.ingestion.resultStatus === 'PASS') {
+                await appendEvent(projectRoot, runId, { event: 'validation_passed', runId, summary: `Validation passed for ${options.taskId}`, data: { artifact: result.ingestion.artifactPath } });
+                validationStatus = 'pass';
+            }
+            else if (result.ingestion.resultStatus === 'PASS_WITH_GAPS') {
+                await appendEvent(projectRoot, runId, { event: 'validation_passed', runId, summary: `Validation passed with gaps for ${options.taskId}; task remains blocked until gaps are resolved.`, data: { artifact: result.ingestion.artifactPath, status: result.ingestion.resultStatus } });
+                gaps.push(taskGap(options.taskId, 'validation_gaps', 'Validator returned PASS_WITH_GAPS; the task loop cannot mark the task completed without structured gap evidence and explicit sync-back proposal semantics.', 'Inspect the validator artifact, resolve or defer each validation gap, then rerun with PASS validation evidence.'));
+                validationStatus = 'pass_with_gaps';
+                terminalStatus = 'blocked';
+            }
+            else {
+                await appendEvent(projectRoot, runId, { event: 'validation_failed', runId, summary: `Validation failed for ${options.taskId}`, data: { artifact: result.ingestion.artifactPath, status: result.ingestion.resultStatus } });
+                gaps.push(taskGap(options.taskId, 'validation', `Validator returned ${result.ingestion.resultStatus}.`, 'Do not mark the task completed; create a gap report or revise the task/plan.'));
+                validationStatus = result.ingestion.resultStatus === 'BLOCKED' ? 'blocked' : 'fail';
+                terminalStatus = result.ingestion.resultStatus === 'BLOCKED' ? 'blocked' : 'failed';
+            }
+        }
+    }
+    if (gaps.length > 0 && terminalStatus !== 'completed') {
+        const gapArtifact = await writeArtifact(projectRoot, runId, `gap-report-${options.taskId}.md`, renderLoopGapReport(options.taskId, gaps));
+        acceptedArtifacts.push(gapArtifact.runRelativePath);
+        await appendEvent(projectRoot, runId, {
+            event: 'gap_created',
+            runId,
+            summary: `Gap report created for ${options.taskId}`,
+            data: { artifact: gapArtifact.runRelativePath, gaps }
+        });
+    }
+    const taskState = buildRuntimeTaskState(inspected.task, terminalStatus, validationStatus, gaps, acceptedArtifacts);
+    const proposalStatus = taskState.status === 'implemented_pending_validation' ? taskState.status : terminalStatus === 'completed' ? 'completed' : terminalStatus;
+    const proposal = await writeSyncBackProposal(projectRoot, runId, options.taskId, proposalStatus, acceptedArtifacts, gaps, terminalStatus === 'completed' ? 'Ingestion-aware task loop accepted implementation evidence; validation may still be pending by task contract.' : terminalStatus === 'blocked' && validationStatus === 'pass_with_gaps' ? 'Ingestion-aware task loop stopped because validator returned PASS_WITH_GAPS; sync-back is a blocked gap proposal, not task completion.' : 'Ingestion-aware task loop stopped with blocking/failing evidence.');
+    await persistLoopState(projectRoot, runId, {
+        status: terminalStatus,
+        phase: 'do',
+        taskId: options.taskId,
+        taskState,
+        validationStatus,
+        syncBackProposalPath: proposal.runRelativePath,
+        syncBackProposalDigest: proposal.digest,
+        artifacts: acceptedArtifacts.map((artifactPath) => ({ path: artifactPath, kind: artifactKind(artifactPath), task: options.taskId, agent: agentFromArtifactPath(artifactPath) }))
+    });
+    await recordLoopSyncBackDecision(projectRoot, {
+        runId,
+        branch,
+        taskId: options.taskId,
+        status: 'proposed',
+        proposalPath: proposal.runRelativePath,
+        proposalDigest: proposal.digest,
+        proposalPayloadId: proposal.payloadId,
+        reasons: gaps.map((gap) => `${gap.severity} ${gap.type} ${gap.field}: ${gap.message}`),
+        payload: { sourceVerifyStatus: terminalStatus, artifacts: acceptedArtifacts }
+    });
+    await appendEvent(projectRoot, runId, {
+        event: 'sync_back_proposed',
+        runId,
+        summary: `Sync-back proposal created for ${options.taskId}`,
+        data: { proposal: proposal.runRelativePath, status: terminalStatus }
+    });
+    await appendEvent(projectRoot, runId, {
+        event: terminalStatus === 'completed' ? 'run_completed' : terminalStatus === 'blocked' ? 'gap_escalated' : 'validation_failed',
+        runId,
+        summary: `Phase 3.15 ingestion-aware task loop ${terminalStatus} for ${options.taskId}`,
+        data: { task: options.taskId, artifacts: acceptedArtifacts, gaps }
+    });
+    if (routeDecision.teamMode.enabled || routeDecision.teamMode.decision !== 'disabled') {
+        await writeTeamSessionRecord(projectRoot, buildTeamSessionRecord({
+            runId,
+            taskId: options.taskId,
+            route: routeDecision,
+            status: terminalStatus === 'completed' ? 'completed' : 'blocked',
+            artifacts: acceptedArtifacts,
+            evidenceSummary: `Team-mode ${routeDecision.teamMode.decision}; task loop ${terminalStatus} with ${acceptedArtifacts.length} artifact(s).`
+        }));
+    }
+    return {
+        runId,
+        taskId: options.taskId,
+        status: terminalStatus,
+        task: inspected.task,
+        gaps,
+        requiredArtifacts: steps.map((step) => step.expectedArtifact),
+        acceptedArtifacts,
+        syncBackProposalPath: proposal.runRelativePath,
+        routeDecision,
+        message: terminalStatus === 'completed' ? 'Task loop completed through Phase 3 executor artifact ingestion.' : validationStatus === 'pass_with_gaps' ? 'Task loop blocked because validator returned PASS_WITH_GAPS; inspect gap report and sync-back proposal.' : 'Task loop stopped; inspect gap report and sync-back proposal.'
+    };
+}
+function buildLoopSteps(taskId, options, task) {
+    const steps = [
+        { agent: 'implementer', suppliedArtifact: options.implementArtifact, expectedArtifact: `artifacts/implement-${taskId}.md`, required: false },
+        { agent: 'reviewer', suppliedArtifact: options.reviewArtifact, expectedArtifact: `artifacts/review-${taskId}.md`, required: true }
+    ];
+    if (options.debugArtifact) {
+        steps.push({ agent: 'debugger', suppliedArtifact: options.debugArtifact, expectedArtifact: `artifacts/debug-${taskId}.md`, required: false });
+    }
+    steps.push({ agent: 'validator', suppliedArtifact: options.validationArtifact, expectedArtifact: `artifacts/validation-${taskId}.md`, required: requiresImmediateValidation(task) });
+    return steps;
+}
+function requiresImmediateValidation(task) {
+    return !task || task.requiresVerifyBeforeNext || task.validationTiming === 'task_end';
+}
+function buildRuntimeTaskState(task, status, validationStatus, gaps, artifacts) {
+    const implementationStatus = status === 'completed' ? 'implemented' : status === 'blocked' ? 'blocked' : 'failed';
+    const verificationStatus = verificationStatusForLoop(task, status, validationStatus);
+    return {
+        status: runtimeTaskStatus(implementationStatus, verificationStatus),
+        implementationStatus,
+        verificationStatus,
+        validationBatch: task?.validationBatch ?? null,
+        validationTiming: task?.validationTiming ?? 'task_end',
+        requiresVerifyBeforeNext: task?.requiresVerifyBeforeNext ?? true,
+        gaps,
+        artifacts
+    };
+}
+function verificationStatusForLoop(task, status, validationStatus) {
+    if (validationStatus === 'pass') {
+        return 'pass';
+    }
+    if (validationStatus === 'pass_with_gaps') {
+        return 'pass_with_gaps';
+    }
+    if (validationStatus === 'blocked') {
+        return 'blocked';
+    }
+    if (validationStatus === 'fail') {
+        return 'failed';
+    }
+    if (status !== 'completed') {
+        return status === 'failed' ? 'failed' : 'blocked';
+    }
+    return task && !requiresImmediateValidation(task) ? 'pending_batch' : 'not_run';
+}
+function runtimeTaskStatus(implementationStatus, verificationStatus) {
+    if (implementationStatus === 'implemented' && verificationStatus === 'pending_batch') {
+        return 'implemented_pending_validation';
+    }
+    if (implementationStatus === 'implemented' && verificationStatus === 'pass') {
+        return 'implemented_verified';
+    }
+    if (verificationStatus === 'pass_with_gaps' || verificationStatus === 'blocked') {
+        return 'validation_blocked';
+    }
+    if (implementationStatus === 'failed' || verificationStatus === 'failed') {
+        return 'failed';
+    }
+    return implementationStatus;
+}
+async function persistLoopState(projectRoot, runId, input) {
+    const state = await readRunState(projectRoot, runId);
+    const now = new Date().toISOString();
+    const knownArtifactPaths = new Set(state.artifacts.map((artifact) => artifact.path));
+    const newArtifacts = input.artifacts
+        .filter((artifact) => !knownArtifactPaths.has(artifact.path))
+        .map((artifact) => ({ ...artifact, createdAt: now }));
+    await writeRunState(projectRoot, {
+        ...state,
+        status: input.status,
+        phase: input.phase,
+        currentTask: input.taskId,
+        tasks: {
+            ...state.tasks,
+            [input.taskId]: input.taskState
+        },
+        artifacts: [...state.artifacts, ...newArtifacts],
+        validation: {
+            ...state.validation,
+            status: input.validationStatus,
+            evidence: input.artifacts.filter((artifact) => artifact.kind === 'validation').map((artifact) => artifact.path)
+        },
+        syncBack: {
+            mode: 'proposal',
+            proposalPath: input.syncBackProposalPath,
+            proposalDigest: input.syncBackProposalDigest,
+            sourceVerifyStatus: input.status,
+            status: state.syncBack.status === 'applied' ? 'applied' : 'proposed'
+        }
+    });
+}
+async function writeSyncBackProposal(projectRoot, runId, taskId, status, artifacts, gaps, summary) {
+    const content = `# Sync-back Proposal\n\n## ${taskId}\n\n- status: ${status}\n- summary: ${summary}\n- artifacts:\n${artifacts.length > 0 ? artifacts.map((artifact) => `  - ${artifact}`).join('\n') : '  - none'}\n- gaps:\n${gaps.length > 0 ? gaps.map((gap) => `  - [${gap.severity}] ${gap.type} ${gap.field}: ${gap.message}`).join('\n') : '  - none'}\n\n## Boundaries\n\n- Proposal only; tasks.md/spec.md/plan.md were not modified by runtime.\n- Runtime modeled agent/verify steps through supplied artifacts and contract validation; no external agent API was invoked.\n`;
+    const digest = hashDocumentContent(content);
+    const written = await writeArtifact(projectRoot, runId, 'sync-back-proposal.md', content);
+    return { ...written, digest, payloadId: runtimeScopedId(runId, written.runRelativePath, digest) };
+}
+async function recordLoopSyncBackDecision(projectRoot, input) {
+    const now = new Date().toISOString();
+    await recordRuntimeSyncBackDecision(projectRoot, {
+        decisionId: runtimeScopedId(input.runId, input.taskId, 'sync-back'),
+        runId: input.runId,
+        branch: input.branch,
+        taskId: input.taskId,
+        status: input.status,
+        proposalPath: input.proposalPath,
+        proposalDigest: input.proposalDigest,
+        proposalPayloadId: input.proposalPayloadId,
+        reasons: input.reasons,
+        createdAt: now,
+        updatedAt: now,
+        payload: input.payload
+    });
+}
+function renderLoopGapReport(taskId, gaps) {
+    return `# Gap Report ${taskId}\n\n\`\`\`sdd-result\ncontract: ${SDD_RESULT_CONTRACT}\nversion: ${SDD_RESULT_VERSION}\nagent: runtime\ntask: ${taskId}\nstatus: BLOCKED\nartifacts:\n  - artifacts/gap-report-${taskId}.md\n\`\`\`\n\n## Gaps\n\n${gaps.length > 0 ? gaps.map((gap) => `- [${gap.severity}] ${gap.type} ${gap.field}: ${gap.message} Recommendation: ${gap.recommendation}`).join('\n') : '- No structured gaps were provided; inspect task selection and supplied artifacts.'}\n`;
+}
+function artifactOptionName(agent) {
+    if (agent === 'implementer') {
+        return '--implement-artifact';
+    }
+    if (agent === 'reviewer') {
+        return '--review-artifact';
+    }
+    if (agent === 'debugger') {
+        return '--debug-artifact';
+    }
+    if (agent === 'validator') {
+        return '--validation-artifact';
+    }
+    return '--artifact';
+}
+function agentFromArtifactPath(artifactPath) {
+    const kind = artifactKind(artifactPath);
+    if (kind === 'implement') {
+        return 'implementer';
+    }
+    if (kind === 'review' || kind === 'validation' || kind === 'debug') {
+        return kind === 'debug' ? 'debugger' : kind === 'review' ? 'reviewer' : 'validator';
+    }
+    if (kind === 'gap-report' || kind === 'sync-back-proposal') {
+        return 'runtime';
+    }
+    return 'unknown';
+}
+function hashDocumentContent(raw) {
+    return createHash('sha256').update(raw).digest('hex');
+}
+//# sourceMappingURL=single-task-loop.js.map

package/packages/core/dist/verification/single-task-loop.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"single-task-loop.js","sourceRoot":"","sources":["../../src/verification/single-task-loop.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAC1E,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAErD,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AACnF,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,gCAAgC,CAAC;AACzE,OAAO,EAAE,cAAc,EAAiC,MAAM,4BAA4B,CAAC;AAG3F,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,MAAM,yCAAyC,CAAC;AAC/J,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,6BAA6B,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAqC7F,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,WAAmB,EAAE,OAA8B;IACzF,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACnI,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC;IACjC,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IACxD,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,YAAY,CAAC,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,WAAW,CAAC,CAAC;IAC/G,MAAM,aAAa,GAAG,MAAM,kBAAkB,CAAC,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,IAAI,IAAI,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9H,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC;IAClC,MAAM,aAAa,GAAG,MAAM,YAAY,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,EAAE,kBAAkB,EAAE,OAAO,CAAC,kBAAkB,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;IAChN,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;QACpC,KAAK,EAAE,wBAAwB;QAC/B,KAAK;QACL,OAAO,EAAE,0BAA0B,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,QAAQ,OAAO,CAAC,MAAM,EAAE;QAC7G,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE;KAC1D,CAAC,CAAC;IACH,IAAI,aAAa,CAAC,QAAQ,CAAC,OAAO,IAAI,aAAa,CAAC,QAAQ,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QACrF,MAAM,sBAAsB,CAAC,WAAW,EAAE,sBAAsB,CAAC;YAC/D,KAAK;YACL,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,KAAK,EAAE,aAAa;YACpB,MAAM,EAAE,aAAa,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU;YAC1I,SAAS,EAAE,EAAE;YACb,eAAe,EAAE,aAAa,aAAa,CAAC,QAAQ,CAAC,QAAQ,yBAAyB;SACvF,CAAC,CAAC,CAAC;IACN,CAAC;IAED,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;QACpC,KAAK,EAAE,eAAe;QACtB,KAAK;QACL,OAAO,EAAE,oDAAoD,OAAO,CAAC,MAAM,EAAE;QAC7E,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE;KACpD,CAAC,CAAC;IAEH,IAAI,aAAa,CAAC,aAAa,IAAI,aAAa,CAAC,cAAc,EAAE,MAAM,KAAK,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,UAAU,CAAC,EAAE,CAAC;QACnK,MAAM,QAAQ,GAAG,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,cAAc,EAAE,aAAa,CAAC,aAAa,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrJ,MAAM,iBAAiB,GAAG,aAAa,CAAC,cAAc,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,iBAAiB,EAAE,6DAA6D,EAAE,wFAAwF,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvR,MAAM,OAAO,GAAG,CAAC,GAAG,QAAQ,EAAE,GAAG,iBAAiB,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QACvE,MAAM,WAAW,GAAG,MAAM,aAAa,CAAC,WAAW,EAAE,KAAK,EAAE,cAAc,OAAO,CAAC,MAAM,KAAK,EAAE,mBAAmB,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QAC7I,MAAM,QAAQ,GAAG,MAAM,qBAAqB,CAAC,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,WAAW,CAAC,eAAe,CAAC,EAAE,OAAO,EAAE,oEAAoE,CAAC,CAAC;QAC1M,MAAM,gBAAgB,CAAC,WAAW,EAAE,KAAK,EAAE;YACzC,MAAM,EAAE,SAAS;YACjB,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,SAAS,EAAE,qBAAqB,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,WAAW,CAAC,eAAe,CAAC,CAAC;YAC9G,gBAAgB,EAAE,SAAS;YAC3B,oBAAoB,EAAE,QAAQ,CAAC,eAAe;YAC9C,sBAAsB,EAAE,QAAQ,CAAC,MAAM;YACvC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,CAAC,eAAe,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;SAC/G,CAAC,CAAC;QACH,MAAM,0BAA0B,CAAC,WAAW,EAAE;YAC5C,KAAK;YACL,MAAM;YACN,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,MAAM,EAAE,UAAU;YAClB,YAAY,EAAE,QAAQ,CAAC,eAAe;YACtC,cAAc,EAAE,QAAQ,CAAC,MAAM;YAC/B,iBAAiB,EAAE,QAAQ,CAAC,SAAS;YACrC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,KAAK,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC;YACzF,OAAO,EAAE,EAAE,kBAAkB,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,WAAW,CAAC,eAAe,CAAC,EAAE;SACrF,CAAC,CAAC;QACH,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;YACpC,KAAK,EAAE,cAAc;YACrB,KAAK;YACL,OAAO,EAAE,QAAQ,OAAO,CAAC,MAAM,oCAAoC;YACnE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,CAAC,eAAe,EAAE,aAAa,EAAE;SAC9E,CAAC,CAAC;QACH,MAAM,yBAAyB,CAAC,WAAW,EAAE,yBAAyB,CAAC;YACrE,KAAK;YACL,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,KAAK,EAAE,cAAc;YACrB,KAAK,EAAE,aAAa;YACpB,MAAM,EAAE,SAAS;YACjB,YAAY,EAAE,KAAK,OAAO,CAAC,MAAM,aAAa;YAC9C,YAAY,EAAE,WAAW,CAAC,eAAe;YACzC,eAAe,EAAE,iFAAiF,OAAO,CAAC,MAAM,YAAY;SAC7H,CAAC,CAAC,CAAC;QACJ,OAAO;YACL,KAAK;YACL,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,MAAM,EAAE,SAAS;YACjB,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,IAAI,EAAE,OAAO;YACb,iBAAiB,EAAE,EAAE;YACrB,iBAAiB,EAAE,CAAC,WAAW,CAAC,eAAe,CAAC;YAChD,oBAAoB,EAAE,QAAQ,CAAC,eAAe;YAC9C,aAAa;YACb,OAAO,EAAE,2EAA2E;SACrF,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;QACpC,KAAK,EAAE,eAAe;QACtB,KAAK;QACL,OAAO,EAAE,gDAAgD,OAAO,CAAC,MAAM,EAAE;QACzE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE;KAC3F,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IACtE,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,MAAM,IAAI,GAAiB,EAAE,CAAC;IAC9B,IAAI,cAAc,GAAyB,WAAW,CAAC;IACvD,IAAI,gBAAgB,GAAqC,SAAS,CAAC;IAEnE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,iBAAiB,GAAG,MAAM,YAAY,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,EAAE,kBAAkB,EAAE,OAAO,CAAC,kBAAkB,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;QACvO,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACnB,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;oBACpC,KAAK,EAAE,sBAAsB;oBAC7B,KAAK;oBACL,OAAO,EAAE,GAAG,IAAI,CAAC,KAAK,qDAAqD,OAAO,CAAC,MAAM,EAAE;oBAC3F,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,EAAE;iBACrE,CAAC,CAAC;gBACH,MAAM,yBAAyB,CAAC,WAAW,EAAE,yBAAyB,CAAC;oBACrE,KAAK;oBACL,MAAM,EAAE,OAAO,CAAC,MAAM;oBACtB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,KAAK,EAAE,iBAAiB;oBACxB,MAAM,EAAE,SAAS;oBACjB,YAAY,EAAE,KAAK,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,MAAM;oBACrD,eAAe,EAAE,GAAG,IAAI,CAAC,KAAK,sDAAsD;iBACrF,CAAC,CAAC,CAAC;gBACJ,SAAS;YACX,CAAC;YACD,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,KAAK,4FAA4F,EAAE,WAAW,IAAI,CAAC,KAAK,iCAAiC,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,+GAA+G,CAAC,CAAC;YAChW,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACf,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;gBACpC,KAAK,EAAE,mBAAmB;gBAC1B,KAAK;gBACL,OAAO,EAAE,GAAG,IAAI,CAAC,KAAK,yBAAyB,OAAO,CAAC,MAAM,EAAE;gBAC/D,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,EAAE;aACrE,CAAC,CAAC;YACH,MAAM,yBAAyB,CAAC,WAAW,EAAE,yBAAyB,CAAC;gBACrE,KAAK;gBACL,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,KAAK,EAAE,iBAAiB;gBACxB,MAAM,EAAE,SAAS;gBACjB,YAAY,EAAE,KAAK,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,MAAM;gBACrD,eAAe,EAAE,GAAG,IAAI,CAAC,KAAK,0EAA0E;aACzG,CAAC,CAAC,CAAC;YACJ,cAAc,GAAG,SAAS,CAAC;YAC3B,gBAAgB,GAAG,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC;YAC7E,MAAM;QACR,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,qBAAqB,CAAC,WAAW,EAAE;YACtD,MAAM;YACN,KAAK;YACL,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,YAAY,EAAE,IAAI,CAAC,gBAAgB;YACnC,YAAY,EAAE,KAAK,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,MAAM;YACrD,QAAQ,EAAE,OAAO,CAAC,QAAQ;SAC3B,CAAC,CAAC;QAEH,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,CAAC;YAClG,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC;YAC3F,MAAM,cAAc,GAAG,SAAS,CAAC,QAAQ,CAAC,uBAAuB,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,uBAAuB,CAAC;gBAC/G,CAAC,CAAC,6GAA6G;gBAC/G,CAAC,CAAC,OAAO,IAAI,CAAC,gBAAgB,sEAAsE,IAAI,CAAC,KAAK,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YACtI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,KAAK,aAAa,IAAI,CAAC,gBAAgB,2BAA2B,SAAS,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC;YACtJ,cAAc,GAAG,SAAS,CAAC;YAC3B,gBAAgB,GAAG,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC;YAC7E,MAAM;QACR,CAAC;QAED,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAEtD,IAAI,IAAI,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YAC9B,IAAI,MAAM,CAAC,SAAS,CAAC,YAAY,KAAK,MAAM,EAAE,CAAC;gBAC7C,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,OAAO,EAAE,qBAAqB,OAAO,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;YAC9K,CAAC;iBAAM,CAAC;gBACN,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,OAAO,EAAE,2BAA2B,OAAO,CAAC,MAAM,kCAAkC,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;gBACzP,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC;oBAC3B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,EAAE,4DAA4D,EAAE,+FAA+F,CAAC,CAAC,CAAC;oBAC9M,cAAc,GAAG,MAAM,CAAC,SAAS,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;oBACpF,gBAAgB,GAAG,MAAM,CAAC;oBAC1B,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;YAC/B,IAAI,MAAM,CAAC,SAAS,CAAC,YAAY,KAAK,MAAM,EAAE,CAAC;gBAC7C,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,OAAO,EAAE,yBAAyB,OAAO,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;gBACpL,gBAAgB,GAAG,MAAM,CAAC;YAC5B,CAAC;iBAAM,IAAI,MAAM,CAAC,SAAS,CAAC,YAAY,KAAK,gBAAgB,EAAE,CAAC;gBAC9D,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,OAAO,EAAE,mCAAmC,OAAO,CAAC,MAAM,iDAAiD,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;gBACpR,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,iBAAiB,EAAE,4JAA4J,EAAE,iHAAiH,CAAC,CAAC,CAAC;gBACvU,gBAAgB,GAAG,gBAAgB,CAAC;gBACpC,cAAc,GAAG,SAAS,CAAC;YAC7B,CAAC;iBAAM,CAAC;gBACN,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,OAAO,EAAE,yBAAyB,OAAO,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;gBAC3N,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,sBAAsB,MAAM,CAAC,SAAS,CAAC,YAAY,GAAG,EAAE,8EAA8E,CAAC,CAAC,CAAC;gBACzL,gBAAgB,GAAG,MAAM,CAAC,SAAS,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;gBACpF,cAAc,GAAG,MAAM,CAAC,SAAS,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;YACtF,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,cAAc,KAAK,WAAW,EAAE,CAAC;QACtD,MAAM,WAAW,GAAG,MAAM,aAAa,CAAC,WAAW,EAAE,KAAK,EAAE,cAAc,OAAO,CAAC,MAAM,KAAK,EAAE,mBAAmB,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1I,iBAAiB,CAAC,IAAI,CAAC,WAAW,CAAC,eAAe,CAAC,CAAC;QACpD,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;YACpC,KAAK,EAAE,aAAa;YACpB,KAAK;YACL,OAAO,EAAE,0BAA0B,OAAO,CAAC,MAAM,EAAE;YACnD,IAAI,EAAE,EAAE,QAAQ,EAAE,WAAW,CAAC,eAAe,EAAE,IAAI,EAAE;SACtD,CAAC,CAAC;IACL,CAAC;IAED,MAAM,SAAS,GAAG,qBAAqB,CAAC,SAAS,CAAC,IAAI,EAAE,cAAc,EAAE,gBAAgB,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC;IACnH,MAAM,cAAc,GAAG,SAAS,CAAC,MAAM,KAAK,gCAAgC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC;IAChK,MAAM,QAAQ,GAAG,MAAM,qBAAqB,CAAC,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,cAAc,EAAE,iBAAiB,EAAE,IAAI,EAAE,cAAc,KAAK,WAAW,CAAC,CAAC,CAAC,+GAA+G,CAAC,CAAC,CAAC,cAAc,KAAK,SAAS,IAAI,gBAAgB,KAAK,gBAAgB,CAAC,CAAC,CAAC,wIAAwI,CAAC,CAAC,CAAC,mEAAmE,CAAC,CAAC;IACriB,MAAM,gBAAgB,CAAC,WAAW,EAAE,KAAK,EAAE;QACzC,MAAM,EAAE,cAAc;QACtB,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,SAAS;QACT,gBAAgB;QAChB,oBAAoB,EAAE,QAAQ,CAAC,eAAe;QAC9C,sBAAsB,EAAE,QAAQ,CAAC,MAAM;QACvC,SAAS,EAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,qBAAqB,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;KACjL,CAAC,CAAC;IACH,MAAM,0BAA0B,CAAC,WAAW,EAAE;QAC5C,KAAK;QACL,MAAM;QACN,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,MAAM,EAAE,UAAU;QAClB,YAAY,EAAE,QAAQ,CAAC,eAAe;QACtC,cAAc,EAAE,QAAQ,CAAC,MAAM;QAC/B,iBAAiB,EAAE,QAAQ,CAAC,SAAS;QACrC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,KAAK,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC;QACtF,OAAO,EAAE,EAAE,kBAAkB,EAAE,cAAc,EAAE,SAAS,EAAE,iBAAiB,EAAE;KAC9E,CAAC,CAAC;IACH,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;QACpC,KAAK,EAAE,oBAAoB;QAC3B,KAAK;QACL,OAAO,EAAE,kCAAkC,OAAO,CAAC,MAAM,EAAE;QAC3D,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,eAAe,EAAE,MAAM,EAAE,cAAc,EAAE;KACrE,CAAC,CAAC;IACH,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;QACpC,KAAK,EAAE,cAAc,KAAK,WAAW,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,mBAAmB;QAC9H,KAAK;QACL,OAAO,EAAE,wCAAwC,cAAc,QAAQ,OAAO,CAAC,MAAM,EAAE;QACvF,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,iBAAiB,EAAE,IAAI,EAAE;KACnE,CAAC,CAAC;IACH,IAAI,aAAa,CAAC,QAAQ,CAAC,OAAO,IAAI,aAAa,CAAC,QAAQ,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QACrF,MAAM,sBAAsB,CAAC,WAAW,EAAE,sBAAsB,CAAC;YAC/D,KAAK;YACL,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,KAAK,EAAE,aAAa;YACpB,MAAM,EAAE,cAAc,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;YAChE,SAAS,EAAE,iBAAiB;YAC5B,eAAe,EAAE,aAAa,aAAa,CAAC,QAAQ,CAAC,QAAQ,eAAe,cAAc,SAAS,iBAAiB,CAAC,MAAM,eAAe;SAC3I,CAAC,CAAC,CAAC;IACN,CAAC;IAED,OAAO;QACL,KAAK;QACL,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,MAAM,EAAE,cAAc;QACtB,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,IAAI;QACJ,iBAAiB,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC;QAC7D,iBAAiB;QACjB,oBAAoB,EAAE,QAAQ,CAAC,eAAe;QAC9C,aAAa;QACb,OAAO,EAAE,cAAc,KAAK,WAAW,CAAC,CAAC,CAAC,kEAAkE,CAAC,CAAC,CAAC,gBAAgB,KAAK,gBAAgB,CAAC,CAAC,CAAC,yGAAyG,CAAC,CAAC,CAAC,+DAA+D;KACnU,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,MAAc,EAAE,OAA8B,EAAE,IAAoB;IAC1F,MAAM,KAAK,GAAoB;QAC7B,EAAE,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,OAAO,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,uBAAuB,MAAM,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE;QAC5I,EAAE,KAAK,EAAE,UAAU,EAAE,gBAAgB,EAAE,OAAO,CAAC,cAAc,EAAE,gBAAgB,EAAE,oBAAoB,MAAM,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE;KACnI,CAAC;IACF,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,gBAAgB,EAAE,OAAO,CAAC,aAAa,EAAE,gBAAgB,EAAE,mBAAmB,MAAM,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IAChJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,OAAO,CAAC,kBAAkB,EAAE,gBAAgB,EAAE,wBAAwB,MAAM,KAAK,EAAE,QAAQ,EAAE,2BAA2B,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrL,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,2BAA2B,CAAC,IAAoB;IACvD,OAAO,CAAC,IAAI,IAAI,IAAI,CAAC,wBAAwB,IAAI,IAAI,CAAC,gBAAgB,KAAK,UAAU,CAAC;AACxF,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAoB,EAAE,MAA4B,EAAE,gBAAkD,EAAE,IAAkB,EAAE,SAAmB;IAC5K,MAAM,oBAAoB,GAA6D,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC5K,MAAM,kBAAkB,GAA2D,yBAAyB,CAAC,IAAI,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC7I,OAAO;QACL,MAAM,EAAE,iBAAiB,CAAC,oBAAoB,EAAE,kBAAkB,CAAC;QACnE,oBAAoB;QACpB,kBAAkB;QAClB,eAAe,EAAE,IAAI,EAAE,eAAe,IAAI,IAAI;QAC9C,gBAAgB,EAAE,IAAI,EAAE,gBAAgB,IAAI,UAAU;QACtD,wBAAwB,EAAE,IAAI,EAAE,wBAAwB,IAAI,IAAI;QAChE,IAAI;QACJ,SAAS;KACV,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,IAAoB,EAAE,MAA4B,EAAE,gBAAkD;IACvI,IAAI,gBAAgB,KAAK,MAAM,EAAE,CAAC;QAChC,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;QAC1C,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IACD,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,gBAAgB,KAAK,MAAM,EAAE,CAAC;QAChC,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,MAAM,KAAK,WAAW,EAAE,CAAC;QAC3B,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IACpD,CAAC;IACD,OAAO,IAAI,IAAI,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC;AAClF,CAAC;AAED,SAAS,iBAAiB,CAAC,oBAA8E,EAAE,kBAA0E;IACnL,IAAI,oBAAoB,KAAK,aAAa,IAAI,kBAAkB,KAAK,eAAe,EAAE,CAAC;QACrF,OAAO,gCAAgC,CAAC;IAC1C,CAAC;IACD,IAAI,oBAAoB,KAAK,aAAa,IAAI,kBAAkB,KAAK,MAAM,EAAE,CAAC;QAC5E,OAAO,sBAAsB,CAAC;IAChC,CAAC;IACD,IAAI,kBAAkB,KAAK,gBAAgB,IAAI,kBAAkB,KAAK,SAAS,EAAE,CAAC;QAChF,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IACD,IAAI,oBAAoB,KAAK,QAAQ,IAAI,kBAAkB,KAAK,QAAQ,EAAE,CAAC;QACzE,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED,KAAK,UAAU,gBAAgB,CAAC,WAAmB,EAAE,KAAa,EAAE,KASnE;IACC,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IACrD,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IACrF,MAAM,YAAY,GAAG,KAAK,CAAC,SAAS;SACjC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;SAC5D,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IACxD,MAAM,aAAa,CAAC,WAAW,EAAE;QAC/B,GAAG,KAAK;QACR,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,WAAW,EAAE,KAAK,CAAC,MAAM;QACzB,KAAK,EAAE;YACL,GAAG,KAAK,CAAC,KAAK;YACd,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,SAAS;SAChC;QACD,SAAS,EAAE,CAAC,GAAG,KAAK,CAAC,SAAS,EAAE,GAAG,YAAY,CAAC;QAChD,UAAU,EAAE;YACV,GAAG,KAAK,CAAC,UAAU;YACnB,MAAM,EAAE,KAAK,CAAC,gBAAgB;YAC9B,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;SAChH;QACD,QAAQ,EAAE;YACR,IAAI,EAAE,UAAU;YAChB,YAAY,EAAE,KAAK,CAAC,oBAAoB;YACxC,cAAc,EAAE,KAAK,CAAC,sBAAsB;YAC5C,kBAAkB,EAAE,KAAK,CAAC,MAAM;YAChC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU;SACrE;KACF,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,qBAAqB,CAAC,WAAmB,EAAE,KAAa,EAAE,MAAc,EAAE,MAAc,EAAE,SAAmB,EAAE,IAAkB,EAAE,OAAe;IAC/J,MAAM,OAAO,GAAG,8BAA8B,MAAM,iBAAiB,MAAM,gBAAgB,OAAO,mBAAmB,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,OAAO,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,cAAc,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,GAAG,CAAC,QAAQ,KAAK,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,KAAK,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,6NAA6N,CAAC;IAC3jB,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,MAAM,aAAa,CAAC,WAAW,EAAE,KAAK,EAAE,uBAAuB,EAAE,OAAO,CAAC,CAAC;IAC1F,OAAO,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,eAAe,EAAE,MAAM,CAAC,EAAE,CAAC;AACpG,CAAC;AAED,KAAK,UAAU,0BAA0B,CAAC,WAAmB,EAAE,KAAsL;IACnP,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,MAAM,6BAA6B,CAAC,WAAW,EAAE;QAC/C,UAAU,EAAE,eAAe,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,WAAW,CAAC;QACnE,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,SAAS,EAAE,GAAG;QACd,SAAS,EAAE,GAAG;QACd,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAc,EAAE,IAAkB;IAC7D,OAAO,gBAAgB,MAAM,mCAAmC,mBAAmB,cAAc,kBAAkB,2BAA2B,MAAM,2DAA2D,MAAM,6BAA6B,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,GAAG,CAAC,QAAQ,KAAK,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,KAAK,KAAK,GAAG,CAAC,OAAO,oBAAoB,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,oFAAoF,IAAI,CAAC;AACpe,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa;IACvC,IAAI,KAAK,KAAK,aAAa,EAAE,CAAC;QAC5B,OAAO,sBAAsB,CAAC;IAChC,CAAC;IACD,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;QACzB,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;QACzB,OAAO,kBAAkB,CAAC;IAC5B,CAAC;IACD,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;QAC1B,OAAO,uBAAuB,CAAC;IACjC,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,qBAAqB,CAAC,YAAoB;IACjD,MAAM,IAAI,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC;IACxC,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QACzB,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACnE,OAAO,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC;IACtF,CAAC;IACD,IAAI,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,oBAAoB,EAAE,CAAC;QAC3D,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,mBAAmB,CAAC,GAAW;IACtC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACxD,CAAC"}

package/packages/core/dist/verification/test-runtime.d.ts

@@ -0,0 +1,77 @@
+import type { AcceptanceEvidenceCoverage, CapabilityEvidenceClassification, EvidenceCoverageStatus, TestEvidenceStatus } from '../evidence-runtime.js';
+import { type ApprovalPolicy, type LifecycleRiskProfile, type LifecycleWorkflowGate } from '../risk.js';
+import type { WorkflowGateDecision, WorkflowGateStatus } from '../workflow-gate/types.js';
+export type SddTestStatus = 'PASS' | 'FAIL' | 'BLOCKED';
+export type SddTestStepStatus = 'pass' | 'fail' | 'blocked';
+export interface SddTestCommandInput {
+    command?: string;
+    argv?: string[];
+}
+export interface SddTestCommandStep {
+    stepId: string;
+    command: string;
+    argv: string[] | null;
+    shell: boolean;
+    acceptanceRefs: string[];
+    status: SddTestStepStatus;
+    exitCode: number | null;
+    signal: string | null;
+    durationMs: number;
+    outputArtifact: string;
+    stdoutBytes: number;
+    stderrBytes: number;
+    truncated: boolean;
+}
+type VerifyContractAction = 'none' | 'created' | 'refreshed' | 'blocked';
+type RuntimeTestJudgment = WorkflowGateStatus;
+export interface SddTestResult {
+    contract: 'sdd-test-runtime-v1';
+    runId: string;
+    testRunId: string;
+    validationWaveRunId: string;
+    validationEnvironmentSessionId: string;
+    branch: string;
+    taskId: string;
+    status: SddTestStatus;
+    validationStatus: SddTestStatus;
+    workflowGateStatus: WorkflowGateStatus;
+    runtimeJudgment: RuntimeTestJudgment;
+    workflowGateDecision: WorkflowGateDecision;
+    verifyContractStatus: string;
+    verifyContractAction: VerifyContractAction;
+    lifecycleGate: LifecycleWorkflowGate;
+    lifecycleProfile: LifecycleRiskProfile | null;
+    approvalPolicy: ApprovalPolicy | null;
+    requiredStages: string[];
+    primaryReason: string;
+    commandStatus: TestEvidenceStatus;
+    evidenceCoverage: EvidenceCoverageStatus;
+    policyJudgment: TestEvidenceStatus;
+    acceptanceCoverage: AcceptanceEvidenceCoverage[];
+    capabilityEvidence: CapabilityEvidenceClassification[];
+    syncBackReady: boolean;
+    commands: string[];
+    steps: SddTestCommandStep[];
+    validationArtifact: string | null;
+    indexArtifact: string | null;
+    gaps: string[];
+    next: string;
+}
+export interface RunSddTestOptions {
+    taskId: string;
+    branch?: string | null;
+    runId?: string | null;
+    commands?: string[];
+    commandInputs?: SddTestCommandInput[];
+    timeoutMs?: number;
+    approved?: boolean;
+    validationWave?: {
+        waveRunId: string;
+        environmentSessionId: string;
+        taskIds: string[];
+        acceptanceRefsByTask?: Record<string, string[]>;
+    };
+}
+export declare function runSddTest(projectRoot: string, options: RunSddTestOptions): Promise<SddTestResult>;
+export declare function renderSddTestResult(result: SddTestResult): string;
+export {};