sdd-agent-platform 0.4.0 → 0.4.2

package/node_modules/@sdd-agent-platform/core/dist/verification/single-task-loop.js

@@ -1,5 +1,5 @@
-import { createHash } from 'node:crypto';
 import { SDD_RESULT_CONTRACT, SDD_RESULT_VERSION } from '../contracts.js';
+import { toBranchStageEvidenceRef } from '../runtime-paths.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';
@@ -7,28 +7,31 @@ 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 { readLifecycleRiskDecisionProjection } from '../risk/kernel.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 { reconcileDoCollaborationClosure } from '../stage-collaboration.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 routeDecision = await routeSddTask(projectRoot, { taskId: options.taskId, branch, teamModeEnabled: options.teamModeEnabled, teamModeActivation: options.teamModeActivation, approved: options.approved });
+    const taskId = routeDecision.taskId;
+    const inspected = inspectSddTask(model, 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 boundRunState = await bindRunStateToTask(projectRoot, runState, context, model, inspected.task ?? null, 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 }
+        summary: `Agent router preflight ${routeDecision.blockedReason ? 'blocked' : 'passed'} for ${taskId}`,
+        data: { taskId: taskId, decision: routeDecision }
     });
     if (routeDecision.teamMode.enabled || routeDecision.teamMode.decision !== 'disabled') {
         await writeTeamSessionRecord(projectRoot, buildTeamSessionRecord({
             runId,
-            taskId: options.taskId,
+            taskId: taskId,
             route: routeDecision,
             status: routeDecision.teamMode.decision === 'enabled' ? 'created' : routeDecision.teamMode.decision === 'blocked' ? 'blocked' : 'disabled',
             artifacts: [],
@@ -38,50 +41,55 @@ export async function runSingleTaskLoop(projectRoot, options) {
     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 }
+        summary: `Phase 3.15 ingestion-aware task loop started for ${taskId}`,
+        data: { phase: 'do', branch, task: taskId }
+    });
+    const stageEvidenceResult = await reconcileDoStageEvidenceIfAvailable(projectRoot, {
+        branch,
+        runId,
+        taskId: taskId,
+        task: inspected.task,
+        routeDecision,
+        options
     });
+    if (stageEvidenceResult) {
+        return stageEvidenceResult;
+    }
     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 routeGap = routeDecision.blockedReason ? [taskGap(taskId, 'agent_router', routeDecision.blockedReason, routeDecision.nextAction)] : [];
+        const toolPermissionGap = routeDecision.toolPermission?.policy === 'deny' ? [taskGap(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: { status: 'blocked', gaps: allGaps, artifacts: [gapArtifact.runRelativePath] },
+            taskId: taskId,
+            taskState: buildRuntimeTaskState(inspected.task, 'blocked', 'blocked', allGaps, []),
             validationStatus: 'blocked',
-            syncBackProposalPath: proposal.runRelativePath,
-            syncBackProposalDigest: proposal.digest,
-            artifacts: [{ path: gapArtifact.runRelativePath, kind: 'gap-report', task: options.taskId, agent: 'runtime' }]
+            artifacts: []
         });
         await appendEvent(projectRoot, runId, {
             event: 'gap_detected',
             runId,
-            summary: `Task ${options.taskId} is blocked before implementation.`,
-            data: { gaps: allGaps, artifact: gapArtifact.runRelativePath, routeDecision }
+            summary: `Task ${taskId} is blocked before implementation.`,
+            data: { gaps: allGaps, routeDecision }
         });
         await writeAgentExecutionRecord(projectRoot, buildAgentExecutionRecord({
             runId,
-            taskId: options.taskId,
+            taskId: taskId,
             agent: 'orchestrator',
             route: routeDecision,
             status: 'blocked',
-            delegationId: `P-${options.taskId}-router-001`,
-            artifactPath: gapArtifact.runRelativePath,
+            delegationId: `P-${taskId}-router-001`,
             evidenceSummary: `Task loop blocked before implementation by router preflight or task gaps with ${allGaps.length} issue(s).`
         }));
         return {
             runId,
-            taskId: options.taskId,
+            taskId: taskId,
             status: 'blocked',
             task: inspected.task,
             gaps: allGaps,
             requiredArtifacts: [],
-            acceptedArtifacts: [gapArtifact.runRelativePath],
-            syncBackProposalPath: proposal.runRelativePath,
+            acceptedArtifacts: [],
             routeDecision,
             message: 'Task loop blocked before implementation by router preflight or task gaps.'
         };
@@ -89,50 +97,50 @@ export async function runSingleTaskLoop(projectRoot, options) {
     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 }
+        summary: `Task selected for ingestion-aware task loop: ${taskId}`,
+        data: { task: taskId, title: inspected.task.title, source: inspected.task.source }
     });
-    const steps = buildLoopSteps(options.taskId, options);
+    const steps = buildLoopSteps(branch, taskId, options, inspected.task);
     const acceptedArtifacts = [];
     const gaps = [];
     let terminalStatus = 'completed';
-    let validationStatus = 'pass';
+    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 });
+        const stepRouteDecision = await routeSddTask(projectRoot, { taskId: 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}`,
+                    summary: `${step.agent} artifact not supplied; optional step skipped for ${taskId}`,
                     data: { agent: step.agent, expectedArtifact: step.expectedArtifact }
                 });
                 await writeAgentExecutionRecord(projectRoot, buildAgentExecutionRecord({
                     runId,
-                    taskId: options.taskId,
+                    taskId: taskId,
                     agent: step.agent,
                     route: stepRouteDecision,
                     status: 'skipped',
-                    delegationId: `B-${options.taskId}-${step.agent}-001`,
+                    delegationId: `B-${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>.`);
+            const gap = taskGap(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 provide agent-authored evidence under .sdd/runs/<branch>/do/*.md before closing do-stage evidence.`);
             gaps.push(gap);
             await appendEvent(projectRoot, runId, {
                 event: 'delegation_failed',
                 runId,
-                summary: `${step.agent} artifact missing for ${options.taskId}`,
+                summary: `${step.agent} artifact missing for ${taskId}`,
                 data: { agent: step.agent, expectedArtifact: step.expectedArtifact }
             });
             await writeAgentExecutionRecord(projectRoot, buildAgentExecutionRecord({
                 runId,
-                taskId: options.taskId,
+                taskId: taskId,
                 agent: step.agent,
                 route: stepRouteDecision,
                 status: 'blocked',
-                delegationId: `B-${options.taskId}-${step.agent}-001`,
+                delegationId: `B-${taskId}-${step.agent}-001`,
                 evidenceSummary: `${step.agent} artifact was not supplied; execution is blocked before host invocation.`
             }));
             terminalStatus = 'blocked';
@@ -142,18 +150,18 @@ export async function runSingleTaskLoop(projectRoot, options) {
         const result = await runBackgroundExecutor(projectRoot, {
             branch,
             runId,
-            taskId: options.taskId,
+            taskId: taskId,
             agent: step.agent,
             artifactPath: step.suppliedArtifact,
-            delegationId: `B-${options.taskId}-${step.agent}-001`,
+            delegationId: `B-${taskId}-${step.agent}-001`,
             approved: options.approved
         });
-        if (!result.ingestion || !result.ingestion.resultStatus) {
+        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));
+                : `Fix ${step.suppliedArtifact} so the Phase 3 executor can ingest one valid sdd-result block for ${step.agent}/${taskId}.`;
+            gaps.push(taskGap(taskId, step.agent, `${step.agent} artifact ${step.suppliedArtifact} could not be ingested: ${issueText}`, recommendation));
             terminalStatus = 'blocked';
             validationStatus = step.agent === 'validator' ? 'blocked' : validationStatus;
             break;
@@ -161,12 +169,12 @@ export async function runSingleTaskLoop(projectRoot, options) {
         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 } });
+                await appendEvent(projectRoot, runId, { event: 'review_passed', runId, summary: `Review passed for ${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 } });
+                await appendEvent(projectRoot, runId, { event: 'review_failed', runId, summary: `Review did not pass for ${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.'));
+                    gaps.push(taskGap(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;
@@ -175,60 +183,54 @@ export async function runSingleTaskLoop(projectRoot, options) {
         }
         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 } });
+                await appendEvent(projectRoot, runId, { event: 'validation_passed', runId, summary: `Validation passed for ${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.'));
+                await appendEvent(projectRoot, runId, { event: 'validation_passed', runId, summary: `Validation passed with gaps for ${taskId}; task remains blocked until gaps are resolved.`, data: { artifact: result.ingestion.artifactPath, status: result.ingestion.resultStatus } });
+                gaps.push(taskGap(taskId, 'validation_gaps', 'Validator returned PASS_WITH_GAPS; the task loop cannot mark the task completed without structured gap evidence.', '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.'));
+                await appendEvent(projectRoot, runId, { event: 'validation_failed', runId, summary: `Validation failed for ${taskId}`, data: { artifact: result.ingestion.artifactPath, status: result.ingestion.resultStatus } });
+                gaps.push(taskGap(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);
+        const gapFileName = `gap-report-${taskId}.md`;
+        await writeArtifact(projectRoot, runId, gapFileName, renderLoopGapReport(branch, taskId, gaps));
+        const gapRef = toBranchStageEvidenceRef(branch, 'do', gapFileName);
+        acceptedArtifacts.push(gapRef);
         await appendEvent(projectRoot, runId, {
             event: 'gap_created',
             runId,
-            summary: `Gap report created for ${options.taskId}`,
-            data: { artifact: gapArtifact.runRelativePath, gaps }
+            summary: `Gap report created for ${taskId}`,
+            data: { artifact: gapRef, gaps }
         });
     }
-    const proposal = await writeSyncBackProposal(projectRoot, runId, options.taskId, terminalStatus === 'completed' ? 'completed' : terminalStatus, acceptedArtifacts, gaps, terminalStatus === 'completed' ? 'Ingestion-aware task loop has accepted required artifacts through the Phase 3 executor.' : 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.');
+    const taskState = buildRuntimeTaskState(inspected.task, terminalStatus, validationStatus, gaps, acceptedArtifacts);
     await persistLoopState(projectRoot, runId, {
         status: terminalStatus,
         phase: 'do',
-        taskId: options.taskId,
-        taskState: { status: terminalStatus, gaps, artifacts: acceptedArtifacts },
+        taskId: 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 appendEvent(projectRoot, runId, {
-        event: 'sync_back_proposed',
-        runId,
-        summary: `Sync-back proposal created for ${options.taskId}`,
-        data: { proposal: proposal.runRelativePath, status: terminalStatus }
+        artifacts: acceptedArtifacts.map((artifactPath) => ({ path: artifactPath, kind: artifactKind(artifactPath), task: taskId, agent: agentFromArtifactPath(artifactPath) }))
     });
     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 }
+        summary: `Phase 3.15 ingestion-aware task loop ${terminalStatus} for ${taskId}`,
+        data: { task: taskId, artifacts: acceptedArtifacts, gaps }
     });
     if (routeDecision.teamMode.enabled || routeDecision.teamMode.decision !== 'disabled') {
         await writeTeamSessionRecord(projectRoot, buildTeamSessionRecord({
             runId,
-            taskId: options.taskId,
+            taskId: taskId,
             route: routeDecision,
             status: terminalStatus === 'completed' ? 'completed' : 'blocked',
             artifacts: acceptedArtifacts,
@@ -237,28 +239,157 @@ export async function runSingleTaskLoop(projectRoot, options) {
     }
     return {
         runId,
-        taskId: options.taskId,
+        taskId: 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.'
+        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 stage runtime metadata.' : 'Task loop stopped; inspect gap report and stage runtime metadata.'
+    };
+}
+async function reconcileDoStageEvidenceIfAvailable(projectRoot, input) {
+    if (input.options.implementArtifact || input.options.reviewArtifact || input.options.validationArtifact || input.options.debugArtifact || input.routeDecision.blockedReason) {
+        return null;
+    }
+    const decision = await resolveDoLifecycleDecision(projectRoot, input.branch);
+    if (!decision) {
+        return null;
+    }
+    const result = await reconcileDoCollaborationClosure(projectRoot, {
+        decision,
+        runId: input.runId,
+        allowedChangedFileRefs: input.task?.affectedFiles ?? []
+    });
+    const health = result.adjudication.health;
+    const status = doStageLoopStatus(health, result.adjudication.rejection?.reasonCode ?? null);
+    const gaps = status === 'completed' ? [] : [taskGap(input.taskId, 'do-stage-runtime', result.adjudication.rejection?.explanation ?? `Do-stage reconciliation returned ${health}.`, result.adjudication.rejection?.requiredNextAction ?? 'Inspect .sdd/runs/<branch>/do/*.md frontmatter, hashes, review verdict, and manager closure recommendation.')];
+    const acceptedArtifacts = result.artifactRefs.map((ref) => ref.ref);
+    const validationStatus = status === 'completed' ? 'not_run' : status === 'blocked' ? 'blocked' : 'fail';
+    const state = await readRunState(projectRoot, result.runId);
+    const createdAt = new Date().toISOString();
+    await writeRunState(projectRoot, {
+        ...state,
+        status,
+        phase: 'do',
+        currentTask: input.taskId,
+        taskId: input.taskId,
+        tasks: {
+            ...state.tasks,
+            [input.taskId]: buildRuntimeTaskState(input.task, status, validationStatus, gaps, acceptedArtifacts)
+        },
+        artifacts: acceptedArtifacts.map((artifactPath) => ({ path: artifactPath, kind: artifactKind(artifactPath), task: input.taskId, agent: agentFromStageEvidenceRef(artifactPath), createdAt })),
+        validation: {
+            ...state.validation,
+            status: validationStatus
+        }
+    });
+    await appendEvent(projectRoot, result.runId, {
+        event: 'stage_collaboration_reconciled',
+        runId: result.runId,
+        summary: `Do-stage evidence reconciliation ${status} for ${input.taskId}.`,
+        data: { health, artifactRefs: acceptedArtifacts, projectionRef: result.projectionRef }
+    });
+    return {
+        runId: result.runId,
+        taskId: input.taskId,
+        status,
+        task: input.task,
+        gaps,
+        requiredArtifacts: ['.sdd/runs/<branch>/do/implementation-vN.md', '.sdd/runs/<branch>/do/code-review-vN.md', '.sdd/runs/<branch>/do/do-manager-vN.md'],
+        acceptedArtifacts,
+        routeDecision: input.routeDecision,
+        message: status === 'completed' ? 'Task loop completed through do-stage runtime reconciliation over .sdd/runs/<branch>/do/*.md evidence.' : 'Task loop stopped after do-stage runtime reconciliation; inspect stage collaboration rejection metadata.'
     };
 }
-function buildLoopSteps(taskId, options) {
+function doStageLoopStatus(health, reasonCode) {
+    if (health === 'ready_for_test') {
+        return 'completed';
+    }
+    if (health === 'blocked' || reasonCode === 'missing_refs') {
+        return 'blocked';
+    }
+    return 'failed';
+}
+async function resolveDoLifecycleDecision(projectRoot, branch) {
+    const existing = await readLifecycleRiskDecisionProjection(projectRoot, { branch });
+    return existing?.payload ?? null;
+}
+function agentFromStageEvidenceRef(ref) {
+    const fileName = ref.split('/').pop() ?? ref;
+    if (fileName.startsWith('implementation-')) {
+        return 'implementer';
+    }
+    if (fileName.startsWith('code-review-')) {
+        return 'reviewer';
+    }
+    if (fileName.startsWith('do-manager-')) {
+        return 'do-manager';
+    }
+    return 'stage-agent';
+}
+function buildLoopSteps(branch, 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 }
+        { agent: 'implementer', suppliedArtifact: options.implementArtifact, expectedArtifact: toBranchStageEvidenceRef(branch, 'do', `implementation-${taskId}.md`), required: false },
+        { agent: 'reviewer', suppliedArtifact: options.reviewArtifact, expectedArtifact: toBranchStageEvidenceRef(branch, 'do', `code-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: 'debugger', suppliedArtifact: options.debugArtifact, expectedArtifact: toBranchStageEvidenceRef(branch, 'do', `debug-${taskId}.md`), required: false });
     }
-    steps.push({ agent: 'validator', suppliedArtifact: options.validationArtifact, expectedArtifact: `artifacts/validation-${taskId}.md`, required: true });
+    steps.push({ agent: 'validator', suppliedArtifact: options.validationArtifact, expectedArtifact: toBranchStageEvidenceRef(branch, 'test', `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();
@@ -280,38 +411,12 @@ async function persistLoopState(projectRoot, runId, input) {
             ...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 written = await writeArtifact(projectRoot, runId, 'sync-back-proposal.md', content);
-    return { ...written, digest: hashDocumentContent(content) };
-}
-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 renderLoopGapReport(branch, taskId, gaps) {
+    const gapRef = toBranchStageEvidenceRef(branch, 'do', `gap-report-${taskId}.md`);
+    return `# Gap Report ${taskId}\n\n\`\`\`sdd-result\ncontract: ${SDD_RESULT_CONTRACT}\nversion: ${SDD_RESULT_VERSION}\nagent: runtime\ntask: ${taskId}\nstatus: BLOCKED\nartifacts:\n  - ${gapRef}\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 stage evidence.'}\n`;
 }
 function agentFromArtifactPath(artifactPath) {
     const kind = artifactKind(artifactPath);
@@ -321,12 +426,9 @@ function agentFromArtifactPath(artifactPath) {
     if (kind === 'review' || kind === 'validation' || kind === 'debug') {
         return kind === 'debug' ? 'debugger' : kind === 'review' ? 'reviewer' : 'validator';
     }
-    if (kind === 'gap-report' || kind === 'sync-back-proposal') {
+    if (kind === 'gap-report') {
         return 'runtime';
     }
     return 'unknown';
 }
-function hashDocumentContent(raw) {
-    return createHash('sha256').update(raw).digest('hex');
-}
 //# sourceMappingURL=single-task-loop.js.map

package/node_modules/@sdd-agent-platform/core/dist/verification/single-task-loop.js.map

@@ -1 +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;AAqC5E,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,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,WAAW,CAAC,eAAe,CAAC,EAAE;YACzF,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,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,CAAC,CAAC;IACtD,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,MAAM,IAAI,GAAiB,EAAE,CAAC;IAC9B,IAAI,cAAc,GAAyB,WAAW,CAAC;IACvD,IAAI,gBAAgB,GAAqC,MAAM,CAAC;IAEhE,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,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,CAAC;YACxD,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,QAAQ,GAAG,MAAM,qBAAqB,CAAC,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,cAAc,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,EAAE,iBAAiB,EAAE,IAAI,EAAE,cAAc,KAAK,WAAW,CAAC,CAAC,CAAC,yFAAyF,CAAC,CAAC,CAAC,cAAc,KAAK,SAAS,IAAI,gBAAgB,KAAK,gBAAgB,CAAC,CAAC,CAAC,wIAAwI,CAAC,CAAC,CAAC,mEAAmE,CAAC,CAAC;IAC9jB,MAAM,gBAAgB,CAAC,WAAW,EAAE,KAAK,EAAE;QACzC,MAAM,EAAE,cAAc;QACtB,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,SAAS,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE,iBAAiB,EAAE;QACzE,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,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;IACpE,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,IAAI,EAAE,CAAC,CAAC;IACxJ,OAAO,KAAK,CAAC;AACf,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,OAAO,GAAG,MAAM,aAAa,CAAC,WAAW,EAAE,KAAK,EAAE,uBAAuB,EAAE,OAAO,CAAC,CAAC;IAC1F,OAAO,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;AAC9D,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"}
+{"version":3,"file":"single-task-loop.js","sourceRoot":"","sources":["../../src/verification/single-task-loop.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAC1E,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAC/D,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,mCAAmC,EAAE,MAAM,mBAAmB,CAAC;AAExE,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,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAoC5E,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,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,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC;IACpC,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAChD,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,MAAM,CAAC,CAAC;IACtH,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC;IAClC,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,MAAM,EAAE;QACrG,IAAI,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE;KAClD,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,MAAM;YACd,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,MAAM,EAAE;QACrE,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE;KAC5C,CAAC,CAAC;IAEH,MAAM,mBAAmB,GAAG,MAAM,mCAAmC,CAAC,WAAW,EAAE;QACjF,MAAM;QACN,KAAK;QACL,MAAM,EAAE,MAAM;QACd,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,aAAa;QACb,OAAO;KACR,CAAC,CAAC;IACH,IAAI,mBAAmB,EAAE,CAAC;QACxB,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IAED,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,MAAM,EAAE,cAAc,EAAE,aAAa,CAAC,aAAa,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7I,MAAM,iBAAiB,GAAG,aAAa,CAAC,cAAc,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,iBAAiB,EAAE,6DAA6D,EAAE,wFAAwF,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/Q,MAAM,OAAO,GAAG,CAAC,GAAG,QAAQ,EAAE,GAAG,iBAAiB,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QACvE,MAAM,gBAAgB,CAAC,WAAW,EAAE,KAAK,EAAE;YACzC,MAAM,EAAE,SAAS;YACjB,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,MAAM;YACd,SAAS,EAAE,qBAAqB,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,CAAC;YACnF,gBAAgB,EAAE,SAAS;YAC3B,SAAS,EAAE,EAAE;SACd,CAAC,CAAC;QACH,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;YACpC,KAAK,EAAE,cAAc;YACrB,KAAK;YACL,OAAO,EAAE,QAAQ,MAAM,oCAAoC;YAC3D,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE;SACvC,CAAC,CAAC;QACH,MAAM,yBAAyB,CAAC,WAAW,EAAE,yBAAyB,CAAC;YACrE,KAAK;YACL,MAAM,EAAE,MAAM;YACd,KAAK,EAAE,cAAc;YACrB,KAAK,EAAE,aAAa;YACpB,MAAM,EAAE,SAAS;YACjB,YAAY,EAAE,KAAK,MAAM,aAAa;YACtC,eAAe,EAAE,iFAAiF,OAAO,CAAC,MAAM,YAAY;SAC7H,CAAC,CAAC,CAAC;QACJ,OAAO;YACL,KAAK;YACL,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,SAAS;YACjB,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,IAAI,EAAE,OAAO;YACb,iBAAiB,EAAE,EAAE;YACrB,iBAAiB,EAAE,EAAE;YACrB,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,MAAM,EAAE;QACjE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE;KACnF,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,EAAE,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,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;QAC/N,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,MAAM,EAAE;oBACnF,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,MAAM;oBACd,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,KAAK,EAAE,iBAAiB;oBACxB,MAAM,EAAE,SAAS;oBACjB,YAAY,EAAE,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,MAAM;oBAC7C,eAAe,EAAE,GAAG,IAAI,CAAC,KAAK,sDAAsD;iBACrF,CAAC,CAAC,CAAC;gBACJ,SAAS;YACX,CAAC;YACD,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,KAAK,4FAA4F,EAAE,WAAW,IAAI,CAAC,KAAK,6HAA6H,CAAC,CAAC;YACvS,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,MAAM,EAAE;gBACvD,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,MAAM;gBACd,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,KAAK,EAAE,iBAAiB;gBACxB,MAAM,EAAE,SAAS;gBACjB,YAAY,EAAE,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,MAAM;gBAC7C,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,MAAM;YACd,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,YAAY,EAAE,IAAI,CAAC,gBAAgB;YACnC,YAAY,EAAE,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,MAAM;YAC7C,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,MAAM,GAAG,CAAC;YAC9H,IAAI,CAAC,IAAI,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;YAC9I,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,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;YACtK,CAAC;iBAAM,CAAC;gBACN,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,OAAO,EAAE,2BAA2B,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;gBACjP,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC;oBAC3B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,EAAE,4DAA4D,EAAE,+FAA+F,CAAC,CAAC,CAAC;oBACtM,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,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;gBAC5K,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,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;gBAC5Q,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,iBAAiB,EAAE,kHAAkH,EAAE,iHAAiH,CAAC,CAAC,CAAC;gBACrR,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,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;gBACnN,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,sBAAsB,MAAM,CAAC,SAAS,CAAC,YAAY,GAAG,EAAE,8EAA8E,CAAC,CAAC,CAAC;gBACjL,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,cAAc,MAAM,KAAK,CAAC;QAC9C,MAAM,aAAa,CAAC,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,mBAAmB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QAChG,MAAM,MAAM,GAAG,wBAAwB,CAAC,MAAM,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACnE,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC/B,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;YACpC,KAAK,EAAE,aAAa;YACpB,KAAK;YACL,OAAO,EAAE,0BAA0B,MAAM,EAAE;YAC3C,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE;SACjC,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,gBAAgB,CAAC,WAAW,EAAE,KAAK,EAAE;QACzC,MAAM,EAAE,cAAc;QACtB,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,MAAM;QACd,SAAS;QACT,gBAAgB;QAChB,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,MAAM,EAAE,KAAK,EAAE,qBAAqB,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;KACzK,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,MAAM,EAAE;QAC/E,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,iBAAiB,EAAE,IAAI,EAAE;KAC3D,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,MAAM;YACd,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,MAAM;QACd,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,aAAa;QACb,OAAO,EAAE,cAAc,KAAK,WAAW,CAAC,CAAC,CAAC,kEAAkE,CAAC,CAAC,CAAC,gBAAgB,KAAK,gBAAgB,CAAC,CAAC,CAAC,6GAA6G,CAAC,CAAC,CAAC,mEAAmE;KAC3U,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,mCAAmC,CAAC,WAAmB,EAAE,KAAkJ;IACxN,IAAI,KAAK,CAAC,OAAO,CAAC,iBAAiB,IAAI,KAAK,CAAC,OAAO,CAAC,cAAc,IAAI,KAAK,CAAC,OAAO,CAAC,kBAAkB,IAAI,KAAK,CAAC,OAAO,CAAC,aAAa,IAAI,KAAK,CAAC,aAAa,CAAC,aAAa,EAAE,CAAC;QAC5K,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,0BAA0B,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAC7E,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,+BAA+B,CAAC,WAAW,EAAE;QAChE,QAAQ;QACR,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,sBAAsB,EAAE,KAAK,CAAC,IAAI,EAAE,aAAa,IAAI,EAAE;KACxD,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC;IAC1C,MAAM,MAAM,GAAyB,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,UAAU,IAAI,IAAI,CAAC,CAAC;IAClH,MAAM,IAAI,GAAG,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,kBAAkB,EAAE,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,WAAW,IAAI,oCAAoC,MAAM,GAAG,EAAE,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,kBAAkB,IAAI,6GAA6G,CAAC,CAAC,CAAC;IACxV,MAAM,iBAAiB,GAAG,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpE,MAAM,gBAAgB,GAAqC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;IAC1I,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5D,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC3C,MAAM,aAAa,CAAC,WAAW,EAAE;QAC/B,GAAG,KAAK;QACR,MAAM;QACN,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,KAAK,CAAC,MAAM;QACzB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,KAAK,EAAE;YACL,GAAG,KAAK,CAAC,KAAK;YACd,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,qBAAqB,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,gBAAgB,EAAE,IAAI,EAAE,iBAAiB,CAAC;SACrG;QACD,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,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,yBAAyB,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC;QAC7L,UAAU,EAAE;YACV,GAAG,KAAK,CAAC,UAAU;YACnB,MAAM,EAAE,gBAAgB;SACzB;KACF,CAAC,CAAC;IACH,MAAM,WAAW,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,EAAE;QAC3C,KAAK,EAAE,gCAAgC;QACvC,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,OAAO,EAAE,oCAAoC,MAAM,QAAQ,KAAK,CAAC,MAAM,GAAG;QAC1E,IAAI,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,CAAC,aAAa,EAAE;KACvF,CAAC,CAAC;IACH,OAAO;QACL,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM;QACN,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI;QACJ,iBAAiB,EAAE,CAAC,4CAA4C,EAAE,yCAAyC,EAAE,wCAAwC,CAAC;QACtJ,iBAAiB;QACjB,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,OAAO,EAAE,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,uGAAuG,CAAC,CAAC,CAAC,0GAA0G;KACvP,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAc,EAAE,UAAyB;IAClE,IAAI,MAAM,KAAK,gBAAgB,EAAE,CAAC;QAChC,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,IAAI,MAAM,KAAK,SAAS,IAAI,UAAU,KAAK,cAAc,EAAE,CAAC;QAC1D,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAGD,KAAK,UAAU,0BAA0B,CAAC,WAAmB,EAAE,MAAc;IAC3E,MAAM,QAAQ,GAAG,MAAM,mCAAmC,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;IACpF,OAAO,QAAQ,EAAE,OAAO,IAAI,IAAI,CAAC;AACnC,CAAC;AAED,SAAS,yBAAyB,CAAC,GAAW;IAC5C,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC;IAC7C,IAAI,QAAQ,CAAC,UAAU,CAAC,iBAAiB,CAAC,EAAE,CAAC;QAC3C,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,IAAI,QAAQ,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QACxC,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,IAAI,QAAQ,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;QACvC,OAAO,YAAY,CAAC;IACtB,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,SAAS,cAAc,CAAC,MAAc,EAAE,MAAc,EAAE,OAA8B,EAAE,IAAoB;IAC1G,MAAM,KAAK,GAAoB;QAC7B,EAAE,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,OAAO,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,wBAAwB,CAAC,MAAM,EAAE,IAAI,EAAE,kBAAkB,MAAM,KAAK,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE;QAC/K,EAAE,KAAK,EAAE,UAAU,EAAE,gBAAgB,EAAE,OAAO,CAAC,cAAc,EAAE,gBAAgB,EAAE,wBAAwB,CAAC,MAAM,EAAE,IAAI,EAAE,eAAe,MAAM,KAAK,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE;KACtK,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,wBAAwB,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,MAAM,KAAK,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9K,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,OAAO,CAAC,kBAAkB,EAAE,gBAAgB,EAAE,wBAAwB,CAAC,MAAM,EAAE,MAAM,EAAE,cAAc,MAAM,KAAK,CAAC,EAAE,QAAQ,EAAE,2BAA2B,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrN,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,KAOnE;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;KACF,CAAC,CAAC;AACL,CAAC;AAGD,SAAS,mBAAmB,CAAC,MAAc,EAAE,MAAc,EAAE,IAAkB;IAC7E,MAAM,MAAM,GAAG,wBAAwB,CAAC,MAAM,EAAE,IAAI,EAAE,cAAc,MAAM,KAAK,CAAC,CAAC;IACjF,OAAO,gBAAgB,MAAM,mCAAmC,mBAAmB,cAAc,kBAAkB,2BAA2B,MAAM,sCAAsC,MAAM,0BAA0B,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,yFAAyF,IAAI,CAAC;AACjd,CAAC;AAGD,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,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}