sdd-agent-platform 0.4.1 → 0.5.0

package/packages/core/dist/verification/rendering.js

@@ -1,8 +1,7 @@
 import { appendTaskGaps } from '../sdd-docs/task-rendering.js';
-export function renderGoalVerifyResult(result) {
-    const lines = ['SDD verify task result', 'changed'];
+export function renderTaskEvidenceJudgmentResult(result) {
+    const lines = ['SDD execute evidence judgment result', 'changed'];
     lines.push(`- acceptance coverage written to ${result.coverageArtifactPath}`);
-    lines.push(`- compatibility diagnostic proposal=${result.syncBackProposalPath || 'none'}`);
     lines.push('decision');
     lines.push(`- status=${result.status}`);
     lines.push(`- standard_status=${result.standardStatus}`);
@@ -10,7 +9,7 @@ export function renderGoalVerifyResult(result) {
     lines.push('evidence');
     lines.push(`- run=${result.runId}`);
     lines.push(`- task=${result.taskId}`);
-    lines.push('- artifact_path_scope=CLI flags use run-relative artifacts/<file>; physical files live under branch evidence .sdd/runs/<branchSlug>/evidence/artifacts/<file>');
+    lines.push('- artifact_path_scope=execute consumes accepted runtime evidence refs; runtime writes runtime.sqlite only');
     lines.push(`- review_artifact=${result.reviewArtifact ?? 'none'}`);
     lines.push(`- validation_artifact=${result.validationArtifact ?? 'none'}`);
     lines.push(`- planned_commands=${(result.plannedCommands ?? result.commands).join(', ') || 'none'}`);
@@ -32,17 +31,17 @@ export function renderGoalVerifyResult(result) {
     }
     lines.push('next');
     if (result.status === 'PASS') {
-        lines.push(`- sdd test task ${result.taskId} --run ${result.runId}`);
-        lines.push('- then follow the test gate result toward ship readiness; use sync-back only for explicit diagnostic/recovery/replay.');
+        lines.push(`- sdd execute --run ${result.runId} --branch <branch>`);
+        lines.push('- then follow execute evidence judgment and ship gate readiness.');
     }
     else {
-        lines.push(`- update review/validator artifacts and rerun sdd test task ${result.taskId} --run ${result.runId}`);
+        lines.push(`- update review/validator artifacts and rerun sdd execute --run ${result.runId} --branch <branch>`);
     }
     return lines.join('\n');
 }
 export function renderSingleTaskLoopResult(result) {
-    const lines = ['SDD do task result', 'changed'];
-    lines.push(`- run ${result.runId} created or updated for task ${result.taskId}`);
+    const lines = ['SDD execute task result', 'changed'];
+    lines.push(result.runId ? `- run ${result.runId} created or updated for task ${result.taskId}` : `- no run created for task ${result.taskId}`);
     if (result.acceptedArtifacts.length > 0) {
         lines.push(`- accepted artifacts: ${result.acceptedArtifacts.join(', ')}`);
     }
@@ -52,10 +51,9 @@ export function renderSingleTaskLoopResult(result) {
     lines.push(`- router category=${result.routeDecision.category} recommended_profile=${result.routeDecision.recommendedProfile ?? 'none'} autonomy=${result.routeDecision.autonomyCeiling}`);
     lines.push(`- team_mode=${result.routeDecision.teamMode.decision} mode=${result.routeDecision.teamMode.mode} activation=${result.routeDecision.teamMode.activation} cost=${result.routeDecision.teamMode.costClass}`);
     lines.push('evidence');
-    lines.push('- artifact_path_scope=CLI flags use run-relative artifacts/<file>; physical files live under branch evidence .sdd/runs/<branchSlug>/evidence/artifacts/<file>');
+    lines.push('- artifact_path_scope=agent-authored .sdd/runs/<branch>/execute/*.md evidence; runtime reads frontmatter/hashes and writes runtime.sqlite only');
     lines.push(`- required_artifacts=${result.requiredArtifacts.join(',') || 'none'}`);
     lines.push(`- accepted_artifacts=${result.acceptedArtifacts.join(',') || 'none'}`);
-    lines.push(`- sync_back_proposal=${result.syncBackProposalPath || 'none'}`);
     lines.push('- agent_execution_records=runtime.sqlite:agent_executions');
     lines.push('- team_session_records=runtime.sqlite:team_sessions');
     lines.push('gaps');
@@ -68,62 +66,24 @@ export function renderSingleTaskLoopResult(result) {
     lines.push('next');
     if (result.status === 'completed') {
         if (result.task && !requiresImmediateValidation(result.task) && result.task.validationBatch) {
-            lines.push(`- sdd status --branch <branch> to select the next safe do task or validation boundary`);
-            lines.push(`- after all tasks in validation_batch ${result.task.validationBatch} are implemented, run sdd test batch ${result.task.validationBatch}`);
+            lines.push(`- sdd status --branch <branch> to select the next safe execute task or validation boundary`);
+            lines.push(`- after all tasks in validation_batch ${result.task.validationBatch} are implemented, run sdd execute --branch <branch> --json`);
         }
         else {
-            lines.push(`- sdd test task ${result.taskId} --run ${result.runId}`);
+            lines.push(`- sdd execute --run ${result.runId} --branch <branch>`);
         }
     }
     else {
         const missingArtifacts = result.requiredArtifacts.filter((artifact) => !result.acceptedArtifacts.includes(artifact));
         if (missingArtifacts.length > 0) {
-            lines.push(`- create or validate missing run-relative artifacts: ${missingArtifacts.join(', ')}`);
-            lines.push('- physical artifact files belong under branch evidence .sdd/runs/<branchSlug>/evidence/artifacts/');
+            lines.push(`- write missing execute-stage evidence: ${missingArtifacts.join(', ')}`);
+            lines.push('- runtime must not author Markdown artifacts for this entrypoint');
         }
-        const artifactFlags = missingArtifacts
-            .map((artifact) => ({ artifact, agent: agentForLoopArtifact(artifact) }))
-            .filter((item) => Boolean(item.agent));
-        for (const item of artifactFlags) {
-            lines.push(`- sdd artifact template ${item.artifact} --task ${result.taskId} --agent ${item.agent} --run ${result.runId} --write`);
-        }
-        const rerunFlags = artifactFlags.map((item) => `${artifactOptionName(item.agent)} ${item.artifact}`).join(' ');
-        lines.push(`- sdd do task ${result.taskId} --run ${result.runId}${rerunFlags ? ` ${rerunFlags}` : ''}`);
+        lines.push(`- sdd execute --run ${result.runId} --branch <branch>`);
     }
     return lines.join('\n');
 }
 function requiresImmediateValidation(task) {
     return task.requiresVerifyBeforeNext || task.validationTiming === 'task_end';
 }
-function agentForLoopArtifact(artifactPath) {
-    const filename = artifactPath.replace(/\\/g, '/').split('/').pop() ?? '';
-    if (filename.startsWith('implement-')) {
-        return 'implementer';
-    }
-    if (filename.startsWith('review-')) {
-        return 'reviewer';
-    }
-    if (filename.startsWith('debug-')) {
-        return 'debugger';
-    }
-    if (filename.startsWith('validation-')) {
-        return 'validator';
-    }
-    return null;
-}
-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';
-}
 //# sourceMappingURL=rendering.js.map

package/packages/core/dist/verification/rendering.js.map

@@ -1 +1 @@
-{"version":3,"file":"rendering.js","sourceRoot":"","sources":["../../src/verification/rendering.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAuD/D,MAAM,UAAU,sBAAsB,CAAC,MAA4B;IACjE,MAAM,KAAK,GAAG,CAAC,wBAAwB,EAAE,SAAS,CAAC,CAAC;IACpD,KAAK,CAAC,IAAI,CAAC,oCAAoC,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC;IAC9E,KAAK,CAAC,IAAI,CAAC,uCAAuC,MAAM,CAAC,oBAAoB,IAAI,MAAM,EAAE,CAAC,CAAC;IAC3F,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,qBAAqB,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC;IACzD,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC1C,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IACpC,KAAK,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACtC,KAAK,CAAC,IAAI,CAAC,+JAA+J,CAAC,CAAC;IAC5K,KAAK,CAAC,IAAI,CAAC,qBAAqB,MAAM,CAAC,cAAc,IAAI,MAAM,EAAE,CAAC,CAAC;IACnE,KAAK,CAAC,IAAI,CAAC,yBAAyB,MAAM,CAAC,kBAAkB,IAAI,MAAM,EAAE,CAAC,CAAC;IAC3E,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,eAAe,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;IACrG,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;IAC1F,IAAI,MAAM,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IAC3C,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;YAC7C,KAAK,CAAC,IAAI,CAAC,gBAAgB,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,aAAa,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC;SAAM,CAAC;QACN,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IACpD,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,MAAM,UAAU,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;QACrE,KAAK,CAAC,IAAI,CAAC,uHAAuH,CAAC,CAAC;IACtI,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,+DAA+D,MAAM,CAAC,MAAM,UAAU,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IACnH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,MAAgC;IACzE,MAAM,KAAK,GAAG,CAAC,oBAAoB,EAAE,SAAS,CAAC,CAAC;IAChD,KAAK,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,KAAK,gCAAgC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACjF,IAAI,MAAM,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,yBAAyB,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC1C,KAAK,CAAC,IAAI,CAAC,qBAAqB,MAAM,CAAC,aAAa,CAAC,QAAQ,wBAAwB,MAAM,CAAC,aAAa,CAAC,kBAAkB,IAAI,MAAM,aAAa,MAAM,CAAC,aAAa,CAAC,eAAe,EAAE,CAAC,CAAC;IAC3L,KAAK,CAAC,IAAI,CAAC,eAAe,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,QAAQ,SAAS,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,eAAe,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,UAAU,SAAS,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC;IACtN,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,+JAA+J,CAAC,CAAC;IAC5K,KAAK,CAAC,IAAI,CAAC,wBAAwB,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;IACnF,KAAK,CAAC,IAAI,CAAC,wBAAwB,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;IACnF,KAAK,CAAC,IAAI,CAAC,wBAAwB,MAAM,CAAC,oBAAoB,IAAI,MAAM,EAAE,CAAC,CAAC;IAC5E,KAAK,CAAC,IAAI,CAAC,2DAA2D,CAAC,CAAC;IACxE,KAAK,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;IAClE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC;SAAM,CAAC;QACN,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IACpD,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QAClC,IAAI,MAAM,CAAC,IAAI,IAAI,CAAC,2BAA2B,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;YAC5F,KAAK,CAAC,IAAI,CAAC,uFAAuF,CAAC,CAAC;YACpG,KAAK,CAAC,IAAI,CAAC,yCAAyC,MAAM,CAAC,IAAI,CAAC,eAAe,wCAAwC,MAAM,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC;QACxJ,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,MAAM,UAAU,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,gBAAgB,GAAG,MAAM,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QACrH,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,wDAAwD,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClG,KAAK,CAAC,IAAI,CAAC,mGAAmG,CAAC,CAAC;QAClH,CAAC;QACD,MAAM,aAAa,GAAG,gBAAgB;aACnC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;aACxE,MAAM,CAAC,CAAC,IAAI,EAAkD,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACzF,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;YACjC,KAAK,CAAC,IAAI,CAAC,2BAA2B,IAAI,CAAC,QAAQ,WAAW,MAAM,CAAC,MAAM,YAAY,IAAI,CAAC,KAAK,UAAU,MAAM,CAAC,KAAK,UAAU,CAAC,CAAC;QACrI,CAAC;QACD,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/G,KAAK,CAAC,IAAI,CAAC,iBAAiB,MAAM,CAAC,MAAM,UAAU,MAAM,CAAC,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1G,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,2BAA2B,CAAC,IAAa;IAChD,OAAO,IAAI,CAAC,wBAAwB,IAAI,IAAI,CAAC,gBAAgB,KAAK,UAAU,CAAC;AAC/E,CAAC;AAED,SAAS,oBAAoB,CAAC,YAAoB;IAChD,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC;IACzE,IAAI,QAAQ,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QACtC,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,IAAI,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,IAAI,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClC,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,IAAI,QAAQ,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;QACvC,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,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"}
+{"version":3,"file":"rendering.js","sourceRoot":"","sources":["../../src/verification/rendering.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAoD/D,MAAM,UAAU,gCAAgC,CAAC,MAAsC;IACrF,MAAM,KAAK,GAAG,CAAC,sCAAsC,EAAE,SAAS,CAAC,CAAC;IAClE,KAAK,CAAC,IAAI,CAAC,oCAAoC,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC;IAC9E,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,qBAAqB,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC;IACzD,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC1C,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IACpC,KAAK,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACtC,KAAK,CAAC,IAAI,CAAC,2GAA2G,CAAC,CAAC;IACxH,KAAK,CAAC,IAAI,CAAC,qBAAqB,MAAM,CAAC,cAAc,IAAI,MAAM,EAAE,CAAC,CAAC;IACnE,KAAK,CAAC,IAAI,CAAC,yBAAyB,MAAM,CAAC,kBAAkB,IAAI,MAAM,EAAE,CAAC,CAAC;IAC3E,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,eAAe,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;IACrG,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;IAC1F,IAAI,MAAM,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IAC3C,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;YAC7C,KAAK,CAAC,IAAI,CAAC,gBAAgB,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,aAAa,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC;SAAM,CAAC;QACN,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IACpD,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,uBAAuB,MAAM,CAAC,KAAK,oBAAoB,CAAC,CAAC;QACpE,KAAK,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC;IACjF,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,mEAAmE,MAAM,CAAC,KAAK,oBAAoB,CAAC,CAAC;IAClH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,MAAgC;IACzE,MAAM,KAAK,GAAG,CAAC,yBAAyB,EAAE,SAAS,CAAC,CAAC;IACrD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,KAAK,gCAAgC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,6BAA6B,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/I,IAAI,MAAM,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,yBAAyB,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC1C,KAAK,CAAC,IAAI,CAAC,qBAAqB,MAAM,CAAC,aAAa,CAAC,QAAQ,wBAAwB,MAAM,CAAC,aAAa,CAAC,kBAAkB,IAAI,MAAM,aAAa,MAAM,CAAC,aAAa,CAAC,eAAe,EAAE,CAAC,CAAC;IAC3L,KAAK,CAAC,IAAI,CAAC,eAAe,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,QAAQ,SAAS,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,eAAe,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,UAAU,SAAS,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC;IACtN,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,gJAAgJ,CAAC,CAAC;IAC7J,KAAK,CAAC,IAAI,CAAC,wBAAwB,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;IACnF,KAAK,CAAC,IAAI,CAAC,wBAAwB,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;IACnF,KAAK,CAAC,IAAI,CAAC,2DAA2D,CAAC,CAAC;IACxE,KAAK,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;IAClE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC;SAAM,CAAC;QACN,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IACpD,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QAClC,IAAI,MAAM,CAAC,IAAI,IAAI,CAAC,2BAA2B,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;YAC5F,KAAK,CAAC,IAAI,CAAC,4FAA4F,CAAC,CAAC;YACzG,KAAK,CAAC,IAAI,CAAC,yCAAyC,MAAM,CAAC,IAAI,CAAC,eAAe,4DAA4D,CAAC,CAAC;QAC/I,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,uBAAuB,MAAM,CAAC,KAAK,oBAAoB,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,gBAAgB,GAAG,MAAM,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QACrH,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,2CAA2C,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACrF,KAAK,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC;QACjF,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,uBAAuB,MAAM,CAAC,KAAK,oBAAoB,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,2BAA2B,CAAC,IAAa;IAChD,OAAO,IAAI,CAAC,wBAAwB,IAAI,IAAI,CAAC,gBAAgB,KAAK,UAAU,CAAC;AAC/E,CAAC"}

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

@@ -10,7 +10,7 @@ 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';
+import { 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;
@@ -58,17 +58,6 @@ export async function runSingleTaskLoop(projectRoot, options) {
             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,
@@ -227,17 +216,6 @@ export async function runSingleTaskLoop(projectRoot, options) {
         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,
@@ -371,23 +349,6 @@ async function writeSyncBackProposal(projectRoot, runId, taskId, status, artifac
     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`;
 }

package/packages/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;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"}
+{"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,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAqC9D,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,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,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;AAGD,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/task-evidence-judgment.d.ts

@@ -0,0 +1,49 @@
+import { ACCEPTANCE_POLICY_RULESET_VERSION } from '../contracts.js';
+import type { EvidenceCoverageStatus, EvidenceQualityIssue } from '../artifacts/sdd-evidence.js';
+import type { SddTask, SddTaskGap } from '../sdd-docs/task-parser.js';
+export type TaskEvidenceJudgmentStatus = 'PASS' | 'PASS_WITH_GAPS' | 'FAIL' | 'BLOCKED';
+export type HarnessVerifyStatus = 'PASS' | 'GAPS' | 'BLOCKED' | 'HUMAN_NEEDED';
+export interface TaskEvidenceJudgmentOptions {
+    branch?: string;
+    taskId: string;
+    runId?: string;
+    reviewArtifact?: string;
+    validationArtifact?: string;
+}
+interface PolicyRuleSet {
+    id: typeof ACCEPTANCE_POLICY_RULESET_VERSION;
+    version: string;
+    ruleIds: string[];
+}
+interface PolicyDecision {
+    status: EvidenceCoverageStatus;
+    ruleSet: PolicyRuleSet;
+    passedRules: string[];
+    failedRules: string[];
+    issueCodes: EvidenceQualityIssue[];
+}
+export interface AcceptanceCoverageItem {
+    acceptance: string;
+    status: EvidenceCoverageStatus;
+    evidence: string;
+    policyDecision?: PolicyDecision;
+    issueCodes?: EvidenceQualityIssue[];
+}
+export interface TaskEvidenceJudgmentResult {
+    runId: string;
+    taskId: string;
+    status: TaskEvidenceJudgmentStatus;
+    task: SddTask | null;
+    reviewArtifact: string | null;
+    validationArtifact: string | null;
+    coverageArtifactPath: string;
+    acceptanceCoverage: AcceptanceCoverageItem[];
+    gaps: SddTaskGap[];
+    commands: string[];
+    plannedCommands: string[];
+    executedCommands: string[];
+    standardStatus: HarnessVerifyStatus;
+    message: string;
+}
+export declare function runTaskEvidenceJudgment(projectRoot: string, options: TaskEvidenceJudgmentOptions): Promise<TaskEvidenceJudgmentResult>;
+export {};