sdd-agent-platform 0.4.0 → 0.4.1

package/packages/core/dist/verification/goal-verify.js

@@ -10,6 +10,7 @@ import { validateSddResultArtifact } from '../artifacts/sdd-result.js';
 import { taskGap } from '../sdd-docs/task-inspection.js';
 import { inspectSddTask } from '../sdd-docs/task-inspection.js';
 import { resolveTaskRun } from '../sync-back/inspect.js';
+import { recordRuntimeSyncBackDecision, runtimeScopedId } from '../storage/runtime-store.js';
 export async function runGoalVerify(projectRoot, options) {
     const resolved = await resolveTaskRun(projectRoot, { runId: options.runId, branch: options.branch, taskId: options.taskId });
     const branch = resolved.context.partition;
@@ -133,13 +134,28 @@ export async function runGoalVerify(projectRoot, options) {
     await persistVerifyState(projectRoot, runId, {
         status,
         taskId: options.taskId,
-        taskState: { status: status === 'PASS' ? 'verified' : 'blocked', verifyStatus: status, gaps, artifacts: allArtifacts, acceptanceCoverage },
+        taskState: buildGoalVerifyTaskState(inspected.task, status, gaps, allArtifacts, acceptanceCoverage),
         commands: plannedCommands,
         evidence: allArtifacts,
         syncBackProposalPath: proposal.runRelativePath,
         syncBackProposalDigest: proposal.digest,
         artifacts: allArtifacts.map((artifactPath) => ({ path: artifactPath, kind: artifactKind(artifactPath), task: options.taskId, agent: agentFromArtifactPath(artifactPath) }))
     });
+    const decisionTime = new Date().toISOString();
+    await recordRuntimeSyncBackDecision(projectRoot, {
+        decisionId: runtimeScopedId(runId, options.taskId, 'sync-back'),
+        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}`),
+        createdAt: decisionTime,
+        updatedAt: decisionTime,
+        payload: { sourceVerifyStatus: status, standardStatus, artifacts: allArtifacts }
+    });
     await appendEvent(projectRoot, runId, {
         event: status === 'PASS' ? 'validation_passed' : 'validation_failed',
         runId,
@@ -170,6 +186,21 @@ export async function runGoalVerify(projectRoot, options) {
         message: status === 'PASS' ? 'Goal-level verify passed with explicit acceptance coverage.' : 'Goal-level verify found gaps; inspect coverage artifact and sync-back proposal.'
     };
 }
+function buildGoalVerifyTaskState(task, status, gaps, artifacts, acceptanceCoverage) {
+    const verificationStatus = status === 'PASS' ? 'pass' : status === 'PASS_WITH_GAPS' ? 'pass_with_gaps' : status === 'FAIL' ? 'failed' : 'blocked';
+    return {
+        status: status === 'PASS' ? 'implemented_verified' : verificationStatus === 'pass_with_gaps' ? 'validation_blocked' : verificationStatus === 'failed' ? 'validation_failed' : 'validation_blocked',
+        implementationStatus: 'implemented',
+        verificationStatus,
+        validationBatch: task?.validationBatch ?? null,
+        validationTiming: task?.validationTiming ?? 'task_end',
+        requiresVerifyBeforeNext: task?.requiresVerifyBeforeNext ?? true,
+        verifyStatus: status,
+        gaps,
+        artifacts,
+        acceptanceCoverage
+    };
+}
 async function persistVerifyState(projectRoot, runId, input) {
     const state = await readRunState(projectRoot, runId);
     const now = new Date().toISOString();
@@ -203,8 +234,9 @@ async function persistVerifyState(projectRoot, runId, input) {
 }
 async function writeSyncBackProposal(projectRoot, runId, taskId, status, artifacts, gaps, summary) {
     const content = `# Sync-back Proposal\n\n## ${taskId}\n\n- status: ${status}\n- summary: ${summary}\n- artifacts:\n${artifacts.length > 0 ? artifacts.map((artifact) => `  - ${artifact}`).join('\n') : '  - none'}\n- gaps:\n${gaps.length > 0 ? gaps.map((gap) => `  - [${gap.severity}] ${gap.type} ${gap.field}: ${gap.message}`).join('\n') : '  - none'}\n\n## Boundaries\n\n- Proposal only; tasks.md/spec.md/plan.md were not modified by runtime.\n- Runtime modeled agent/verify steps through supplied artifacts and contract validation; no external agent API was invoked.\n`;
+    const digest = hashDocumentContent(content);
     const written = await writeArtifact(projectRoot, runId, 'sync-back-proposal.md', content);
-    return { ...written, digest: hashDocumentContent(content) };
+    return { ...written, digest, payloadId: runtimeScopedId(runId, written.runRelativePath, digest) };
 }
 function renderAcceptanceCoverageArtifact(taskId, status, task, reviewArtifact, validationArtifact, coverage, gaps, executedCommands) {
     return `# Acceptance Coverage ${taskId}\n\n\`\`\`sdd-result\ncontract: ${SDD_RESULT_CONTRACT}\nversion: ${SDD_RESULT_VERSION}\nagent: validator\ntask: ${taskId}\nstatus: ${status}\nartifacts:\n  - artifacts/acceptance-coverage-${taskId}.md\n\`\`\`\n\n## Source Evidence\n\n- review_artifact: ${reviewArtifact ?? 'missing'}\n- validation_artifact: ${validationArtifact ?? 'missing'}\n- task_source: ${task ? sourceLocationEvidence(task.source) : 'missing'}\n\n## Planned Validation Commands\n\n${task && task.validation.length > 0 ? task.validation.map((command) => `- ${command}`).join('\n') : '- none'}\n\n## Executed Runtime Commands\n\n${executedCommands.length > 0 ? executedCommands.map((command) => `- ${command}`).join('\n') : '- none'}\n\n## Acceptance Mapping\n\n${coverage.length > 0 ? coverage.map((item) => `- [${item.status}] ${item.acceptance} Evidence: ${item.evidence}`).join('\n') : '- No acceptance items available.'}\n\n## Policy Decisions\n\n${coverage.length > 0 ? coverage.map((item) => `- ${item.acceptance}: status=${item.policyDecision?.status ?? item.status}; ruleset=${item.policyDecision?.ruleSet.id ?? ACCEPTANCE_POLICY_RULESET_VERSION}; passed=${item.policyDecision?.passedRules.join(',') || 'none'}; failed=${item.policyDecision?.failedRules.join(',') || 'none'}; issues=${item.issueCodes?.join(',') || 'none'}`).join('\n') : '- none'}\n\n## Gaps\n\n${gaps.length > 0 ? gaps.map((gap) => `- [${gap.severity}] ${gap.type} ${gap.field}: ${gap.message} Recommendation: ${gap.recommendation}`).join('\n') : '- none'}\n`;

package/packages/core/dist/verification/goal-verify.js.map

@@ -1 +1 @@
-{"version":3,"file":"goal-verify.js","sourceRoot":"","sources":["../../src/verification/goal-verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EACL,iCAAiC,EACjC,qBAAqB,EACrB,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EACnB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AACtF,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACrD,OAAO,EAAE,6BAA6B,EAAE,kCAAkC,EAAE,2BAA2B,EAAE,2BAA2B,EAAE,MAAM,mCAAmC,CAAC;AAEhL,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AACxE,OAAO,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,gCAAgC,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE7G,OAAO,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AAEvE,OAAO,EAAE,OAAO,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAEhE,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AA2DzD,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,WAAmB,EAAE,OAA0B;IACjF,MAAM,QAAQ,GAAG,MAAM,cAAc,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC7H,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC;IAC1C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC;IAC7B,MAAM,SAAS,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5F,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC;IAC7B,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC;IAC7B,MAAM,cAAc,GAAG,OAAO,CAAC,cAAc,IAAI,oBAAoB,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACzG,MAAM,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,IAAI,oBAAoB,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAClH,MAAM,IAAI,GAAiB,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC/C,MAAM,eAAe,GAAG,SAAS,CAAC,IAAI,EAAE,UAAU,IAAI,EAAE,CAAC;IACzD,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QAC3C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,4DAA4D,CAAC,CAAC,CAAC;IAC3H,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,qBAAqB,EAAE,CAAC;QACtD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,gBAAgB,EAAE,iBAAiB,QAAQ,CAAC,IAAI,qBAAqB,QAAQ,CAAC,KAAK,QAAQ,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,MAAM,GAAG,EAAE,8DAA8D,CAAC,CAAC,CAAC;IAC1O,CAAC;IACD,MAAM,kBAAkB,GAA6B,EAAE,CAAC;IACxD,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,IAAI,YAAY,GAA2B,IAAI,CAAC;IAChD,IAAI,gBAAgB,GAA2B,IAAI,CAAC;IACpD,IAAI,eAAe,GAAyC,IAAI,CAAC;IACjE,IAAI,gBAAgB,GAAa,EAAE,CAAC;IAEpC,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;QACpC,KAAK,EAAE,eAAe;QACtB,KAAK;QACL,OAAO,EAAE,2CAA2C,OAAO,CAAC,MAAM,EAAE;QACpE,IAAI,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE;KACxD,CAAC,CAAC;IAEH,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QACpB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,OAAO,CAAC,MAAM,6CAA6C,EAAE,8DAA8D,CAAC,CAAC,CAAC;IAClL,CAAC;IAED,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,iBAAiB,EAAE,0DAA0D,EAAE,8DAA8D,CAAC,CAAC,CAAC;IACpL,CAAC;SAAM,CAAC;QACN,MAAM,YAAY,GAAG,MAAM,yBAAyB,CAAC,WAAW,EAAE,KAAK,EAAE,cAAc,EAAE,EAAE,YAAY,EAAE,OAAO,CAAC,MAAM,EAAE,aAAa,EAAE,UAAU,EAAE,CAAC,CAAC;QACtJ,IAAI,CAAC,YAAY,CAAC,KAAK,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC;YAChD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,iBAAiB,EAAE,qBAAqB,cAAc,gBAAgB,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,0DAA0D,CAAC,CAAC,CAAC;QACvO,CAAC;aAAM,CAAC;YACN,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC;YAC1C,iBAAiB,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACvC,IAAI,YAAY,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBAC1C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,eAAe,EAAE,sBAAsB,YAAY,CAAC,MAAM,CAAC,MAAM,aAAa,EAAE,2DAA2D,CAAC,CAAC,CAAC;YAClL,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,qBAAqB,EAAE,2DAA2D,EAAE,sEAAsE,CAAC,CAAC,CAAC;IACjM,CAAC;SAAM,CAAC;QACN,MAAM,gBAAgB,GAAG,MAAM,yBAAyB,CAAC,WAAW,EAAE,KAAK,EAAE,kBAAkB,EAAE,EAAE,YAAY,EAAE,OAAO,CAAC,MAAM,EAAE,aAAa,EAAE,WAAW,EAAE,CAAC,CAAC;QAC/J,eAAe,GAAG,gBAAgB,CAAC,KAAK,IAAI,IAAI,CAAC;QACjD,IAAI,CAAC,gBAAgB,CAAC,KAAK,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,CAAC;YACxD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,qBAAqB,EAAE,sBAAsB,kBAAkB,gBAAgB,gBAAgB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,2DAA2D,CAAC,CAAC,CAAC;QACrP,CAAC;aAAM,CAAC;YACN,gBAAgB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;YAClD,iBAAiB,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC3C,IAAI,gBAAgB,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,IAAI,gBAAgB,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC9F,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,mBAAmB,EAAE,uBAAuB,gBAAgB,CAAC,MAAM,CAAC,MAAM,GAAG,EAAE,4EAA4E,CAAC,CAAC,CAAC;YAClM,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;QACnB,MAAM,aAAa,GAAG,kBAAkB,CAAC,CAAC,CAAC,MAAM,oBAAoB,CAAC,WAAW,EAAE,KAAK,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACnH,MAAM,SAAS,GAAG,cAAc,CAAC,CAAC,CAAC,MAAM,oBAAoB,CAAC,WAAW,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvG,IAAI,cAAc,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3C,MAAM,6BAA6B,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC;QAChJ,CAAC;QACD,IAAI,kBAAkB,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnD,MAAM,6BAA6B,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,kBAAkB,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC;QACxJ,CAAC;QACD,MAAM,kCAAkC,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;QACtI,MAAM,gBAAgB,GAAG,MAAM,2BAA2B,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QAC/E,gBAAgB,GAAG,0BAA0B,CAAC,gBAAgB,CAAC,CAAC;QAChE,MAAM,cAAc,GAAG,MAAM,yBAAyB,CAAC,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QAC3F,MAAM,cAAc,GAAG,MAAM,gCAAgC,CAAC,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QAClG,IAAI,cAAc,EAAE,CAAC;YACnB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,eAAe,EAAE,oFAAoF,EAAE,4EAA4E,CAAC,CAAC,CAAC;QAC1N,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,6BAA6B,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YACnE,MAAM,QAAQ,GAAG,cAAc;gBAC7B,CAAC,CAAC,0BAA0B,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,8DAA8D,EAAE,CAAC,2BAA2B,CAAC,EAAE,EAAE,EAAE,CAAC,yBAAyB,CAAC,CAAC;gBACrL,CAAC,CAAC,gCAAgC,CAAC,MAAM,EAAE;oBACzC,MAAM,EAAE,OAAO,CAAC,MAAM;oBACtB,kBAAkB;oBAClB,aAAa;oBACb,MAAM,EAAE,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,eAAe,EAAE,MAAM,IAAI,EAAE;oBAClF,gBAAgB;oBAChB,gBAAgB;iBACjB,CAAC,CAAC;YACL,MAAM,2BAA2B,CAAC,WAAW,EAAE;gBAC7C,KAAK;gBACL,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,MAAM;gBACN,IAAI,EAAE,mBAAmB;gBACzB,GAAG,EAAE,GAAG,iCAAiC,IAAI,MAAM,CAAC,KAAK,EAAE;gBAC3D,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,YAAY,EAAE,kBAAkB;gBAChC,SAAS,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI;gBAC/E,YAAY,EAAE,EAAE;gBAChB,QAAQ,EAAE;oBACR,WAAW,EAAE,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE;oBACjE,WAAW,EAAE,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE;oBACjE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE;iBACjD;aACF,CAAC,CAAC;YACH,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAClC,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBAC/B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,qBAAqB,EAAE,qBAAqB,MAAM,CAAC,KAAK,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,QAAQ,EAAE,EAAE,OAAO,qBAAqB,iDAAiD,MAAM,CAAC,KAAK,6CAA6C,CAAC,CAAC,CAAC;YACrR,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,sBAAsB,CAAC,YAAY,EAAE,gBAAgB,EAAE,IAAI,CAAC,CAAC;IAC5E,MAAM,cAAc,GAAG,qBAAqB,CAAC,MAAM,EAAE,YAAY,EAAE,gBAAgB,EAAE,IAAI,CAAC,CAAC;IAC3F,MAAM,gBAAgB,GAAG,MAAM,aAAa,CAAC,WAAW,EAAE,KAAK,EAAE,uBAAuB,OAAO,CAAC,MAAM,KAAK,EAAE,gCAAgC,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,EAAE,cAAc,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC;IACvQ,MAAM,YAAY,GAAG,CAAC,GAAG,iBAAiB,EAAE,gBAAgB,CAAC,eAAe,CAAC,CAAC;IAC9E,MAAM,QAAQ,GAAG,MAAM,qBAAqB,CAAC,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,sEAAsE,CAAC,CAAC,CAAC,8FAA8F,CAAC,CAAC;IAE9U,MAAM,kBAAkB,CAAC,WAAW,EAAE,KAAK,EAAE;QAC3C,MAAM;QACN,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,SAAS,EAAE,EAAE,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,kBAAkB,EAAE;QAC1I,QAAQ,EAAE,eAAe;QACzB,QAAQ,EAAE,YAAY;QACtB,oBAAoB,EAAE,QAAQ,CAAC,eAAe;QAC9C,sBAAsB,EAAE,QAAQ,CAAC,MAAM;QACvC,SAAS,EAAE,YAAY,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;KAC5K,CAAC,CAAC;IACH,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;QACpC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,mBAAmB;QACpE,KAAK;QACL,OAAO,EAAE,+BAA+B,MAAM,QAAQ,OAAO,CAAC,MAAM,EAAE;QACtE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,gBAAgB,CAAC,eAAe,EAAE,IAAI,EAAE,eAAe,EAAE,gBAAgB,EAAE;KACpI,CAAC,CAAC;IACH,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;QACpC,KAAK,EAAE,oBAAoB;QAC3B,KAAK;QACL,OAAO,EAAE,yCAAyC,OAAO,CAAC,MAAM,EAAE;QAClE,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,eAAe,EAAE,MAAM,EAAE;KACrD,CAAC,CAAC;IAEH,OAAO;QACL,KAAK;QACL,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,MAAM;QACN,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,cAAc;QACd,kBAAkB;QAClB,oBAAoB,EAAE,gBAAgB,CAAC,eAAe;QACtD,oBAAoB,EAAE,QAAQ,CAAC,eAAe;QAC9C,kBAAkB;QAClB,IAAI;QACJ,QAAQ,EAAE,eAAe;QACzB,eAAe;QACf,gBAAgB;QAChB,cAAc;QACd,OAAO,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,6DAA6D,CAAC,CAAC,CAAC,iFAAiF;KAC/K,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,kBAAkB,CAAC,WAAmB,EAAE,KAAa,EAAE,KASrE;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,KAAK,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;QACzD,KAAK,EAAE,QAAQ;QACf,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,MAAM,EAAE,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,gBAAgB,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM;YACjJ,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACzB;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,gCAAgC,CAAC,MAAc,EAAE,MAAwB,EAAE,IAAoB,EAAE,cAA6B,EAAE,kBAAiC,EAAE,QAAkC,EAAE,IAAkB,EAAE,gBAA0B;IAC5P,OAAO,yBAAyB,MAAM,mCAAmC,mBAAmB,cAAc,kBAAkB,6BAA6B,MAAM,aAAa,MAAM,mDAAmD,MAAM,2DAA2D,cAAc,IAAI,SAAS,4BAA4B,kBAAkB,IAAI,SAAS,oBAAoB,IAAI,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,yCAAyC,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,uCAAuC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,gCAAgC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,cAAc,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,kCAAkC,8BAA8B,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,UAAU,YAAY,IAAI,CAAC,cAAc,EAAE,MAAM,IAAI,IAAI,CAAC,MAAM,aAAa,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC,EAAE,IAAI,iCAAiC,YAAY,IAAI,CAAC,cAAc,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,YAAY,IAAI,CAAC,cAAc,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,YAAY,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,kBAAkB,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,QAAQ,IAAI,CAAC;AAC7gD,CAAC;AAED,SAAS,gCAAgC,CAAC,MAAgC,EAAE,KAAiM;IAC3Q,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,IAAI,uBAAuB,CAAC,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;IACxI,MAAM,UAAU,GAA2B,EAAE,CAAC;IAC9C,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,aAAa,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC;YACxH,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;YAChD,OAAO,0BAA0B,CAAC,MAAM,CAAC,KAAK,EAAE,iBAAiB,EAAE,cAAc,MAAM,CAAC,KAAK,OAAO,KAAK,CAAC,kBAAkB,IAAI,oBAAoB,kCAAkC,EAAE,UAAU,EAAE,EAAE,EAAE,WAAW,CAAC,CAAC;QACvN,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;QAC9C,WAAW,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QAC7C,OAAO,0BAA0B,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,mEAAmE,EAAE,UAAU,EAAE,EAAE,EAAE,WAAW,CAAC,CAAC;IAC/J,CAAC;IAED,IAAI,IAAI,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;IAC7B,IAAI,QAAQ,GAAG,0BAA0B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACvD,KAAK,MAAM,KAAK,IAAI,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,0BAA0B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACtD,IAAI,IAAI,GAAG,QAAQ,EAAE,CAAC;YACpB,IAAI,GAAG,KAAK,CAAC;YACb,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC3B,MAAM,cAAc,GAAG,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC5D,IAAI,cAAc,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3C,OAAO,0BAA0B,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,oBAAoB,qBAAqB,cAAc,IAAI,CAAC,UAAU,OAAO,IAAI,CAAC,cAAc,cAAc,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,cAAc,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QAC/V,CAAC;QACD,OAAO,0BAA0B,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,kBAAkB,IAAI,CAAC,UAAU,uDAAuD,EAAE,cAAc,CAAC,UAAU,EAAE,EAAE,EAAE,cAAc,CAAC,WAAW,CAAC,CAAC;IAClN,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC3B,OAAO,0BAA0B,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,2BAA2B,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,8BAA8B,CAAC,EAAE,EAAE,CAAC,CAAC;IACjK,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO,0BAA0B,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,8BAA8B,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,iCAAiC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1K,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,iBAAiB,EAAE,CAAC;QACtC,OAAO,0BAA0B,CAAC,MAAM,CAAC,KAAK,EAAE,iBAAiB,EAAE,kCAAkC,IAAI,CAAC,UAAU,2BAA2B,EAAE,CAAC,cAAc,CAAC,EAAE,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;IACjM,CAAC;IACD,OAAO,0BAA0B,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,6BAA6B,IAAI,CAAC,UAAU,WAAW,EAAE,CAAC,4BAA4B,CAAC,EAAE,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;AAClL,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAoB,EAAE,KAA8F;IACtJ,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACvD,OAAO,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC;IACnF,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,iBAAiB,EAAE,CAAC;QACvC,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAoB,EAAE,KAA8F;IACnJ,MAAM,UAAU,GAA2B,EAAE,CAAC;IAC9C,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,UAAU,GAAG,CAAC,IAA0B,EAAE,IAAY,EAAQ,EAAE;QACpE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;IACH,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,IAAY,EAAQ,EAAE;QACvC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;IACH,CAAC,CAAC;IACF,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,UAAU,CAAC,gBAAgB,EAAE,yBAAyB,CAAC,CAAC;IAC1D,CAAC;SAAM,CAAC;QACN,SAAS,CAAC,yBAAyB,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,UAAU,CAAC,gBAAgB,EAAE,oBAAoB,CAAC,CAAC;IACrD,CAAC;SAAM,CAAC;QACN,SAAS,CAAC,oBAAoB,CAAC,CAAC;IAClC,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,UAAU,CAAC,oBAAoB,EAAE,qBAAqB,CAAC,CAAC;IAC1D,CAAC;SAAM,CAAC;QACN,SAAS,CAAC,qBAAqB,CAAC,CAAC;IACnC,CAAC;IACD,IAAI,KAAK,CAAC,gBAAgB,KAAK,MAAM,EAAE,CAAC;QACtC,UAAU,CAAC,oBAAoB,EAAE,wBAAwB,CAAC,CAAC;IAC7D,CAAC;SAAM,CAAC;QACN,SAAS,CAAC,wBAAwB,CAAC,CAAC;IACtC,CAAC;IACD,MAAM,cAAc,GAAG,gCAAgC,CAAC,KAAK,EAAE,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACvF,KAAK,MAAM,KAAK,IAAI,cAAc,CAAC,UAAU,EAAE,CAAC;QAC9C,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,cAAc,CAAC,WAAW,EAAE,CAAC;QAC9C,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,IAAI,cAAc,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5C,SAAS,CAAC,8BAA8B,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC;AAClD,CAAC;AAED,SAAS,gCAAgC,CAAC,KAAoB,EAAE,OAAgC;IAC9F,MAAM,UAAU,GAA2B,EAAE,CAAC;IAC9C,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,WAAW,GAAG,oBAAoB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC7D,MAAM,YAAY,GAAG,oBAAoB,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IACpE,MAAM,YAAY,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,CAAC,IAA0B,EAAE,IAAY,EAAQ,EAAE;QAClE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;IACH,CAAC,CAAC;IAEF,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;QAC5C,QAAQ,CAAC,4BAA4B,EAAE,8BAA8B,CAAC,CAAC;IACzE,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1D,QAAQ,CAAC,wBAAwB,EAAE,wBAAwB,CAAC,CAAC;QAC/D,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5D,QAAQ,CAAC,4BAA4B,EAAE,uBAAuB,CAAC,CAAC;QAClE,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5D,QAAQ,CAAC,4BAA4B,EAAE,yBAAyB,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5D,QAAQ,CAAC,gBAAgB,EAAE,mCAAmC,CAAC,CAAC;QAClE,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9D,QAAQ,CAAC,gBAAgB,EAAE,oCAAoC,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9D,QAAQ,CAAC,gBAAgB,EAAE,oCAAoC,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC;AACrC,CAAC;AAED,SAAS,oBAAoB,CAAC,OAAgC,EAAE,IAA0B;IACxF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACxB,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACpB,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;gBACvB,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAa;IACxC,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACrC,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9C,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9C,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACvB,CAAC;AAED,SAAS,uBAAuB,CAAC,MAAgC,EAAE,UAAkB;IACnF,MAAM,oBAAoB,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;IACtD,OAAO,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,oBAAoB,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,oBAAoB,CAAC;AAC9I,CAAC;AAGD,SAAS,0BAA0B,CAAC,UAAkB,EAAE,MAA8B,EAAE,QAAgB,EAAE,UAAkC,EAAE,WAAqB,EAAE,WAAqB;IACxL,OAAO;QACL,UAAU;QACV,MAAM;QACN,QAAQ;QACR,UAAU;QACV,cAAc,EAAE;YACd,MAAM;YACN,OAAO,EAAE;gBACP,EAAE,EAAE,iCAAiC;gBACrC,OAAO,EAAE,oBAAoB;gBAC7B,OAAO,EAAE,CAAC,6BAA6B,EAAE,yBAAyB,EAAE,oBAAoB,EAAE,qBAAqB,CAAC;aACjH;YACD,WAAW;YACX,WAAW;YACX,UAAU;SACX;KACF,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CAAC,IAAa;IAClD,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;YAC5C,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC;YACnD,OAAO;gBACL,KAAK,EAAE,GAAG;gBACV,WAAW;gBACX,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;aACrD,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QAC1C,KAAK,EAAE,UAAU;QACjB,WAAW,EAAE,IAAI;QACjB,UAAU,EAAE,CAAC,UAAU,CAAC;KACzB,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,sBAAsB,CAAC,YAAoC,EAAE,gBAAwC,EAAE,IAAkB;IAChI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,gBAAgB,KAAK,gBAAgB,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9E,CAAC;IACD,IAAI,YAAY,KAAK,MAAM,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACjD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,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,OAAO,gBAAgB,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1D,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAwB,EAAE,YAAoC,EAAE,gBAAwC,EAAE,IAAkB;IACzJ,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACtB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,MAAM,KAAK,gBAAgB,EAAE,CAAC;QAChC,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,CAAC,YAAY,IAAI,CAAC,gBAAgB,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,KAAK,iBAAiB,IAAI,GAAG,CAAC,KAAK,KAAK,qBAAqB,CAAC,EAAE,CAAC;QACrI,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,KAAK,UAAU,oBAAoB,CAAC,WAAmB,EAAE,KAAa,EAAE,uBAA+B;IACrG,IAAI,CAAC;QACH,OAAO,MAAM,YAAY,CAAC,WAAW,EAAE,KAAK,EAAE,0BAA0B,CAAC,uBAAuB,CAAC,CAAC,CAAC;IACrG,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAe,EAAE,MAAc,EAAE,KAAa;IAC1E,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,CAAC,KAAK,KAAK,KAAK,IAAI,SAAS,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC;IACpK,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,UAAU,CAAC,gBAAgB,CAAC;IACrC,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;IAC7G,OAAO,QAAQ,EAAE,IAAI,IAAI,IAAI,CAAC;AAChC,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,0BAA0B,CAAC,OAAgC;IAClE,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO;aACvB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC;aAC1E,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,sBAAsB,CAAC,MAAyB;IACvD,OAAO,GAAG,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;AACpE,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAgC;IAC1D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC9B,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACtB,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;YACrC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,mBAAmB,CAAC,GAAW;IACtC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACvF,CAAC"}
+{"version":3,"file":"goal-verify.js","sourceRoot":"","sources":["../../src/verification/goal-verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EACL,iCAAiC,EACjC,qBAAqB,EACrB,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EACnB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AACtF,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACrD,OAAO,EAAE,6BAA6B,EAAE,kCAAkC,EAAE,2BAA2B,EAAE,2BAA2B,EAAE,MAAM,mCAAmC,CAAC;AAEhL,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AACxE,OAAO,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,gCAAgC,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE7G,OAAO,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AAEvE,OAAO,EAAE,OAAO,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAEhE,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,6BAA6B,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AA2D7F,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,WAAmB,EAAE,OAA0B;IACjF,MAAM,QAAQ,GAAG,MAAM,cAAc,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC7H,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC;IAC1C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC;IAC7B,MAAM,SAAS,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5F,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC;IAC7B,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC;IAC7B,MAAM,cAAc,GAAG,OAAO,CAAC,cAAc,IAAI,oBAAoB,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACzG,MAAM,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,IAAI,oBAAoB,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAClH,MAAM,IAAI,GAAiB,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC/C,MAAM,eAAe,GAAG,SAAS,CAAC,IAAI,EAAE,UAAU,IAAI,EAAE,CAAC;IACzD,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QAC3C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,4DAA4D,CAAC,CAAC,CAAC;IAC3H,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,qBAAqB,EAAE,CAAC;QACtD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,gBAAgB,EAAE,iBAAiB,QAAQ,CAAC,IAAI,qBAAqB,QAAQ,CAAC,KAAK,QAAQ,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,MAAM,GAAG,EAAE,8DAA8D,CAAC,CAAC,CAAC;IAC1O,CAAC;IACD,MAAM,kBAAkB,GAA6B,EAAE,CAAC;IACxD,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,IAAI,YAAY,GAA2B,IAAI,CAAC;IAChD,IAAI,gBAAgB,GAA2B,IAAI,CAAC;IACpD,IAAI,eAAe,GAAyC,IAAI,CAAC;IACjE,IAAI,gBAAgB,GAAa,EAAE,CAAC;IAEpC,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;QACpC,KAAK,EAAE,eAAe;QACtB,KAAK;QACL,OAAO,EAAE,2CAA2C,OAAO,CAAC,MAAM,EAAE;QACpE,IAAI,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE;KACxD,CAAC,CAAC;IAEH,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QACpB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,OAAO,CAAC,MAAM,6CAA6C,EAAE,8DAA8D,CAAC,CAAC,CAAC;IAClL,CAAC;IAED,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,iBAAiB,EAAE,0DAA0D,EAAE,8DAA8D,CAAC,CAAC,CAAC;IACpL,CAAC;SAAM,CAAC;QACN,MAAM,YAAY,GAAG,MAAM,yBAAyB,CAAC,WAAW,EAAE,KAAK,EAAE,cAAc,EAAE,EAAE,YAAY,EAAE,OAAO,CAAC,MAAM,EAAE,aAAa,EAAE,UAAU,EAAE,CAAC,CAAC;QACtJ,IAAI,CAAC,YAAY,CAAC,KAAK,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC;YAChD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,iBAAiB,EAAE,qBAAqB,cAAc,gBAAgB,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,0DAA0D,CAAC,CAAC,CAAC;QACvO,CAAC;aAAM,CAAC;YACN,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC;YAC1C,iBAAiB,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACvC,IAAI,YAAY,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBAC1C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,eAAe,EAAE,sBAAsB,YAAY,CAAC,MAAM,CAAC,MAAM,aAAa,EAAE,2DAA2D,CAAC,CAAC,CAAC;YAClL,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,qBAAqB,EAAE,2DAA2D,EAAE,sEAAsE,CAAC,CAAC,CAAC;IACjM,CAAC;SAAM,CAAC;QACN,MAAM,gBAAgB,GAAG,MAAM,yBAAyB,CAAC,WAAW,EAAE,KAAK,EAAE,kBAAkB,EAAE,EAAE,YAAY,EAAE,OAAO,CAAC,MAAM,EAAE,aAAa,EAAE,WAAW,EAAE,CAAC,CAAC;QAC/J,eAAe,GAAG,gBAAgB,CAAC,KAAK,IAAI,IAAI,CAAC;QACjD,IAAI,CAAC,gBAAgB,CAAC,KAAK,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,CAAC;YACxD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,qBAAqB,EAAE,sBAAsB,kBAAkB,gBAAgB,gBAAgB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,2DAA2D,CAAC,CAAC,CAAC;QACrP,CAAC;aAAM,CAAC;YACN,gBAAgB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;YAClD,iBAAiB,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC3C,IAAI,gBAAgB,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,IAAI,gBAAgB,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC9F,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,mBAAmB,EAAE,uBAAuB,gBAAgB,CAAC,MAAM,CAAC,MAAM,GAAG,EAAE,4EAA4E,CAAC,CAAC,CAAC;YAClM,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;QACnB,MAAM,aAAa,GAAG,kBAAkB,CAAC,CAAC,CAAC,MAAM,oBAAoB,CAAC,WAAW,EAAE,KAAK,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACnH,MAAM,SAAS,GAAG,cAAc,CAAC,CAAC,CAAC,MAAM,oBAAoB,CAAC,WAAW,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvG,IAAI,cAAc,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3C,MAAM,6BAA6B,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC;QAChJ,CAAC;QACD,IAAI,kBAAkB,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnD,MAAM,6BAA6B,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,kBAAkB,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC;QACxJ,CAAC;QACD,MAAM,kCAAkC,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;QACtI,MAAM,gBAAgB,GAAG,MAAM,2BAA2B,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QAC/E,gBAAgB,GAAG,0BAA0B,CAAC,gBAAgB,CAAC,CAAC;QAChE,MAAM,cAAc,GAAG,MAAM,yBAAyB,CAAC,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QAC3F,MAAM,cAAc,GAAG,MAAM,gCAAgC,CAAC,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QAClG,IAAI,cAAc,EAAE,CAAC;YACnB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,eAAe,EAAE,oFAAoF,EAAE,4EAA4E,CAAC,CAAC,CAAC;QAC1N,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,6BAA6B,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YACnE,MAAM,QAAQ,GAAG,cAAc;gBAC7B,CAAC,CAAC,0BAA0B,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,8DAA8D,EAAE,CAAC,2BAA2B,CAAC,EAAE,EAAE,EAAE,CAAC,yBAAyB,CAAC,CAAC;gBACrL,CAAC,CAAC,gCAAgC,CAAC,MAAM,EAAE;oBACzC,MAAM,EAAE,OAAO,CAAC,MAAM;oBACtB,kBAAkB;oBAClB,aAAa;oBACb,MAAM,EAAE,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,eAAe,EAAE,MAAM,IAAI,EAAE;oBAClF,gBAAgB;oBAChB,gBAAgB;iBACjB,CAAC,CAAC;YACL,MAAM,2BAA2B,CAAC,WAAW,EAAE;gBAC7C,KAAK;gBACL,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,MAAM;gBACN,IAAI,EAAE,mBAAmB;gBACzB,GAAG,EAAE,GAAG,iCAAiC,IAAI,MAAM,CAAC,KAAK,EAAE;gBAC3D,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,YAAY,EAAE,kBAAkB;gBAChC,SAAS,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI;gBAC/E,YAAY,EAAE,EAAE;gBAChB,QAAQ,EAAE;oBACR,WAAW,EAAE,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE;oBACjE,WAAW,EAAE,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE;oBACjE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE;iBACjD;aACF,CAAC,CAAC;YACH,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAClC,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBAC/B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,qBAAqB,EAAE,qBAAqB,MAAM,CAAC,KAAK,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,QAAQ,EAAE,EAAE,OAAO,qBAAqB,iDAAiD,MAAM,CAAC,KAAK,6CAA6C,CAAC,CAAC,CAAC;YACrR,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,sBAAsB,CAAC,YAAY,EAAE,gBAAgB,EAAE,IAAI,CAAC,CAAC;IAC5E,MAAM,cAAc,GAAG,qBAAqB,CAAC,MAAM,EAAE,YAAY,EAAE,gBAAgB,EAAE,IAAI,CAAC,CAAC;IAC3F,MAAM,gBAAgB,GAAG,MAAM,aAAa,CAAC,WAAW,EAAE,KAAK,EAAE,uBAAuB,OAAO,CAAC,MAAM,KAAK,EAAE,gCAAgC,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,EAAE,cAAc,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC;IACvQ,MAAM,YAAY,GAAG,CAAC,GAAG,iBAAiB,EAAE,gBAAgB,CAAC,eAAe,CAAC,CAAC;IAC9E,MAAM,QAAQ,GAAG,MAAM,qBAAqB,CAAC,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,sEAAsE,CAAC,CAAC,CAAC,8FAA8F,CAAC,CAAC;IAE9U,MAAM,kBAAkB,CAAC,WAAW,EAAE,KAAK,EAAE;QAC3C,MAAM;QACN,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,SAAS,EAAE,wBAAwB,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,kBAAkB,CAAC;QACnG,QAAQ,EAAE,eAAe;QACzB,QAAQ,EAAE,YAAY;QACtB,oBAAoB,EAAE,QAAQ,CAAC,eAAe;QAC9C,sBAAsB,EAAE,QAAQ,CAAC,MAAM;QACvC,SAAS,EAAE,YAAY,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;KAC5K,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC9C,MAAM,6BAA6B,CAAC,WAAW,EAAE;QAC/C,UAAU,EAAE,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC;QAC/D,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,SAAS,EAAE,YAAY;QACvB,SAAS,EAAE,YAAY;QACvB,OAAO,EAAE,EAAE,kBAAkB,EAAE,MAAM,EAAE,cAAc,EAAE,SAAS,EAAE,YAAY,EAAE;KACjF,CAAC,CAAC;IACH,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;QACpC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,mBAAmB;QACpE,KAAK;QACL,OAAO,EAAE,+BAA+B,MAAM,QAAQ,OAAO,CAAC,MAAM,EAAE;QACtE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,gBAAgB,CAAC,eAAe,EAAE,IAAI,EAAE,eAAe,EAAE,gBAAgB,EAAE;KACpI,CAAC,CAAC;IACH,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;QACpC,KAAK,EAAE,oBAAoB;QAC3B,KAAK;QACL,OAAO,EAAE,yCAAyC,OAAO,CAAC,MAAM,EAAE;QAClE,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,eAAe,EAAE,MAAM,EAAE;KACrD,CAAC,CAAC;IAEH,OAAO;QACL,KAAK;QACL,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,MAAM;QACN,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,cAAc;QACd,kBAAkB;QAClB,oBAAoB,EAAE,gBAAgB,CAAC,eAAe;QACtD,oBAAoB,EAAE,QAAQ,CAAC,eAAe;QAC9C,kBAAkB;QAClB,IAAI;QACJ,QAAQ,EAAE,eAAe;QACzB,eAAe;QACf,gBAAgB;QAChB,cAAc;QACd,OAAO,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,6DAA6D,CAAC,CAAC,CAAC,iFAAiF;KAC/K,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAoB,EAAE,MAAwB,EAAE,IAAkB,EAAE,SAAmB,EAAE,kBAA6B;IACtJ,MAAM,kBAAkB,GAAG,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,KAAK,gBAAgB,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IAClJ,OAAO;QACL,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,kBAAkB,KAAK,gBAAgB,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,kBAAkB,KAAK,QAAQ,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,oBAAoB;QAClM,oBAAoB,EAAE,aAAa;QACnC,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,YAAY,EAAE,MAAM;QACpB,IAAI;QACJ,SAAS;QACT,kBAAkB;KACnB,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,kBAAkB,CAAC,WAAmB,EAAE,KAAa,EAAE,KASrE;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,KAAK,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;QACzD,KAAK,EAAE,QAAQ;QACf,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,MAAM,EAAE,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,gBAAgB,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM;YACjJ,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACzB;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,SAAS,gCAAgC,CAAC,MAAc,EAAE,MAAwB,EAAE,IAAoB,EAAE,cAA6B,EAAE,kBAAiC,EAAE,QAAkC,EAAE,IAAkB,EAAE,gBAA0B;IAC5P,OAAO,yBAAyB,MAAM,mCAAmC,mBAAmB,cAAc,kBAAkB,6BAA6B,MAAM,aAAa,MAAM,mDAAmD,MAAM,2DAA2D,cAAc,IAAI,SAAS,4BAA4B,kBAAkB,IAAI,SAAS,oBAAoB,IAAI,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,yCAAyC,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,uCAAuC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,gCAAgC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,cAAc,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,kCAAkC,8BAA8B,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,UAAU,YAAY,IAAI,CAAC,cAAc,EAAE,MAAM,IAAI,IAAI,CAAC,MAAM,aAAa,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC,EAAE,IAAI,iCAAiC,YAAY,IAAI,CAAC,cAAc,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,YAAY,IAAI,CAAC,cAAc,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,YAAY,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,kBAAkB,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,QAAQ,IAAI,CAAC;AAC7gD,CAAC;AAED,SAAS,gCAAgC,CAAC,MAAgC,EAAE,KAAiM;IAC3Q,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,IAAI,uBAAuB,CAAC,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;IACxI,MAAM,UAAU,GAA2B,EAAE,CAAC;IAC9C,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,aAAa,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC;YACxH,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;YAChD,OAAO,0BAA0B,CAAC,MAAM,CAAC,KAAK,EAAE,iBAAiB,EAAE,cAAc,MAAM,CAAC,KAAK,OAAO,KAAK,CAAC,kBAAkB,IAAI,oBAAoB,kCAAkC,EAAE,UAAU,EAAE,EAAE,EAAE,WAAW,CAAC,CAAC;QACvN,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;QAC9C,WAAW,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QAC7C,OAAO,0BAA0B,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,mEAAmE,EAAE,UAAU,EAAE,EAAE,EAAE,WAAW,CAAC,CAAC;IAC/J,CAAC;IAED,IAAI,IAAI,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;IAC7B,IAAI,QAAQ,GAAG,0BAA0B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACvD,KAAK,MAAM,KAAK,IAAI,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,0BAA0B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACtD,IAAI,IAAI,GAAG,QAAQ,EAAE,CAAC;YACpB,IAAI,GAAG,KAAK,CAAC;YACb,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC3B,MAAM,cAAc,GAAG,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC5D,IAAI,cAAc,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3C,OAAO,0BAA0B,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,oBAAoB,qBAAqB,cAAc,IAAI,CAAC,UAAU,OAAO,IAAI,CAAC,cAAc,cAAc,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,cAAc,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QAC/V,CAAC;QACD,OAAO,0BAA0B,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,kBAAkB,IAAI,CAAC,UAAU,uDAAuD,EAAE,cAAc,CAAC,UAAU,EAAE,EAAE,EAAE,cAAc,CAAC,WAAW,CAAC,CAAC;IAClN,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC3B,OAAO,0BAA0B,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,2BAA2B,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,8BAA8B,CAAC,EAAE,EAAE,CAAC,CAAC;IACjK,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO,0BAA0B,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,8BAA8B,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,iCAAiC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1K,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,iBAAiB,EAAE,CAAC;QACtC,OAAO,0BAA0B,CAAC,MAAM,CAAC,KAAK,EAAE,iBAAiB,EAAE,kCAAkC,IAAI,CAAC,UAAU,2BAA2B,EAAE,CAAC,cAAc,CAAC,EAAE,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;IACjM,CAAC;IACD,OAAO,0BAA0B,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,6BAA6B,IAAI,CAAC,UAAU,WAAW,EAAE,CAAC,4BAA4B,CAAC,EAAE,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;AAClL,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAoB,EAAE,KAA8F;IACtJ,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACvD,OAAO,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC;IACnF,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,iBAAiB,EAAE,CAAC;QACvC,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAoB,EAAE,KAA8F;IACnJ,MAAM,UAAU,GAA2B,EAAE,CAAC;IAC9C,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,UAAU,GAAG,CAAC,IAA0B,EAAE,IAAY,EAAQ,EAAE;QACpE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;IACH,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,IAAY,EAAQ,EAAE;QACvC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;IACH,CAAC,CAAC;IACF,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,UAAU,CAAC,gBAAgB,EAAE,yBAAyB,CAAC,CAAC;IAC1D,CAAC;SAAM,CAAC;QACN,SAAS,CAAC,yBAAyB,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,UAAU,CAAC,gBAAgB,EAAE,oBAAoB,CAAC,CAAC;IACrD,CAAC;SAAM,CAAC;QACN,SAAS,CAAC,oBAAoB,CAAC,CAAC;IAClC,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,UAAU,CAAC,oBAAoB,EAAE,qBAAqB,CAAC,CAAC;IAC1D,CAAC;SAAM,CAAC;QACN,SAAS,CAAC,qBAAqB,CAAC,CAAC;IACnC,CAAC;IACD,IAAI,KAAK,CAAC,gBAAgB,KAAK,MAAM,EAAE,CAAC;QACtC,UAAU,CAAC,oBAAoB,EAAE,wBAAwB,CAAC,CAAC;IAC7D,CAAC;SAAM,CAAC;QACN,SAAS,CAAC,wBAAwB,CAAC,CAAC;IACtC,CAAC;IACD,MAAM,cAAc,GAAG,gCAAgC,CAAC,KAAK,EAAE,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACvF,KAAK,MAAM,KAAK,IAAI,cAAc,CAAC,UAAU,EAAE,CAAC;QAC9C,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,cAAc,CAAC,WAAW,EAAE,CAAC;QAC9C,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,IAAI,cAAc,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5C,SAAS,CAAC,8BAA8B,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC;AAClD,CAAC;AAED,SAAS,gCAAgC,CAAC,KAAoB,EAAE,OAAgC;IAC9F,MAAM,UAAU,GAA2B,EAAE,CAAC;IAC9C,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,WAAW,GAAG,oBAAoB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC7D,MAAM,YAAY,GAAG,oBAAoB,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IACpE,MAAM,YAAY,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,CAAC,IAA0B,EAAE,IAAY,EAAQ,EAAE;QAClE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;IACH,CAAC,CAAC;IAEF,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;QAC5C,QAAQ,CAAC,4BAA4B,EAAE,8BAA8B,CAAC,CAAC;IACzE,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1D,QAAQ,CAAC,wBAAwB,EAAE,wBAAwB,CAAC,CAAC;QAC/D,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5D,QAAQ,CAAC,4BAA4B,EAAE,uBAAuB,CAAC,CAAC;QAClE,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5D,QAAQ,CAAC,4BAA4B,EAAE,yBAAyB,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5D,QAAQ,CAAC,gBAAgB,EAAE,mCAAmC,CAAC,CAAC;QAClE,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9D,QAAQ,CAAC,gBAAgB,EAAE,oCAAoC,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9D,QAAQ,CAAC,gBAAgB,EAAE,oCAAoC,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC;AACrC,CAAC;AAED,SAAS,oBAAoB,CAAC,OAAgC,EAAE,IAA0B;IACxF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACxB,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACpB,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;gBACvB,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAa;IACxC,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACrC,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9C,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9C,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACvB,CAAC;AAED,SAAS,uBAAuB,CAAC,MAAgC,EAAE,UAAkB;IACnF,MAAM,oBAAoB,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;IACtD,OAAO,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,oBAAoB,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,oBAAoB,CAAC;AAC9I,CAAC;AAGD,SAAS,0BAA0B,CAAC,UAAkB,EAAE,MAA8B,EAAE,QAAgB,EAAE,UAAkC,EAAE,WAAqB,EAAE,WAAqB;IACxL,OAAO;QACL,UAAU;QACV,MAAM;QACN,QAAQ;QACR,UAAU;QACV,cAAc,EAAE;YACd,MAAM;YACN,OAAO,EAAE;gBACP,EAAE,EAAE,iCAAiC;gBACrC,OAAO,EAAE,oBAAoB;gBAC7B,OAAO,EAAE,CAAC,6BAA6B,EAAE,yBAAyB,EAAE,oBAAoB,EAAE,qBAAqB,CAAC;aACjH;YACD,WAAW;YACX,WAAW;YACX,UAAU;SACX;KACF,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CAAC,IAAa;IAClD,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;YAC5C,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC;YACnD,OAAO;gBACL,KAAK,EAAE,GAAG;gBACV,WAAW;gBACX,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;aACrD,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QAC1C,KAAK,EAAE,UAAU;QACjB,WAAW,EAAE,IAAI;QACjB,UAAU,EAAE,CAAC,UAAU,CAAC;KACzB,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,sBAAsB,CAAC,YAAoC,EAAE,gBAAwC,EAAE,IAAkB;IAChI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,gBAAgB,KAAK,gBAAgB,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9E,CAAC;IACD,IAAI,YAAY,KAAK,MAAM,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACjD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,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,OAAO,gBAAgB,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1D,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAwB,EAAE,YAAoC,EAAE,gBAAwC,EAAE,IAAkB;IACzJ,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACtB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,MAAM,KAAK,gBAAgB,EAAE,CAAC;QAChC,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,CAAC,YAAY,IAAI,CAAC,gBAAgB,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,KAAK,iBAAiB,IAAI,GAAG,CAAC,KAAK,KAAK,qBAAqB,CAAC,EAAE,CAAC;QACrI,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,KAAK,UAAU,oBAAoB,CAAC,WAAmB,EAAE,KAAa,EAAE,uBAA+B;IACrG,IAAI,CAAC;QACH,OAAO,MAAM,YAAY,CAAC,WAAW,EAAE,KAAK,EAAE,0BAA0B,CAAC,uBAAuB,CAAC,CAAC,CAAC;IACrG,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAe,EAAE,MAAc,EAAE,KAAa;IAC1E,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,CAAC,KAAK,KAAK,KAAK,IAAI,SAAS,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC;IACpK,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,UAAU,CAAC,gBAAgB,CAAC;IACrC,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;IAC7G,OAAO,QAAQ,EAAE,IAAI,IAAI,IAAI,CAAC;AAChC,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,0BAA0B,CAAC,OAAgC;IAClE,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO;aACvB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC;aAC1E,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,sBAAsB,CAAC,MAAyB;IACvD,OAAO,GAAG,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;AACpE,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAgC;IAC1D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC9B,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACtB,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;YACrC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,mBAAmB,CAAC,GAAW;IACtC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACvF,CAAC"}

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

@@ -2,7 +2,7 @@ import { appendTaskGaps } from '../sdd-docs/task-rendering.js';
 export function renderGoalVerifyResult(result) {
     const lines = ['SDD verify task result', 'changed'];
     lines.push(`- acceptance coverage written to ${result.coverageArtifactPath}`);
-    lines.push(`- sync-back proposal written to ${result.syncBackProposalPath}`);
+    lines.push(`- compatibility diagnostic proposal=${result.syncBackProposalPath || 'none'}`);
     lines.push('decision');
     lines.push(`- status=${result.status}`);
     lines.push(`- standard_status=${result.standardStatus}`);
@@ -32,7 +32,8 @@ export function renderGoalVerifyResult(result) {
     }
     lines.push('next');
     if (result.status === 'PASS') {
-        lines.push(`- sdd sync-back inspect ${result.runId} --task ${result.taskId}`);
+        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.');
     }
     else {
         lines.push(`- update review/validator artifacts and rerun sdd test task ${result.taskId} --run ${result.runId}`);
@@ -55,8 +56,8 @@ export function renderSingleTaskLoopResult(result) {
     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=.sdd/runs/${result.runId}/agent-executions/`);
-    lines.push(`- team_session_records=.sdd/runs/${result.runId}/team-sessions/`);
+    lines.push('- agent_execution_records=runtime.sqlite:agent_executions');
+    lines.push('- team_session_records=runtime.sqlite:team_sessions');
     lines.push('gaps');
     if (result.gaps.length === 0) {
         lines.push('- none');
@@ -66,7 +67,13 @@ export function renderSingleTaskLoopResult(result) {
     }
     lines.push('next');
     if (result.status === 'completed') {
-        lines.push(`- sdd test task ${result.taskId} --run ${result.runId}`);
+        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}`);
+        }
+        else {
+            lines.push(`- sdd test task ${result.taskId} --run ${result.runId}`);
+        }
     }
     else {
         const missingArtifacts = result.requiredArtifacts.filter((artifact) => !result.acceptedArtifacts.includes(artifact));
@@ -85,6 +92,9 @@ export function renderSingleTaskLoopResult(result) {
     }
     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-')) {

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,mCAAmC,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC;IAC7E,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,2BAA2B,MAAM,CAAC,KAAK,WAAW,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAChF,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,uCAAuC,MAAM,CAAC,KAAK,oBAAoB,CAAC,CAAC;IACpF,KAAK,CAAC,IAAI,CAAC,oCAAoC,MAAM,CAAC,KAAK,iBAAiB,CAAC,CAAC;IAC9E,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,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,MAAM,UAAU,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IACvE,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,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;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"}

package/packages/core/dist/verification/review-gate.d.ts

@@ -0,0 +1,22 @@
+import type { WorkflowGateDecision, WorkflowGateStatus } from '../workflow-gate/types.js';
+export declare const REVIEW_GATE_RUNTIME_CONTRACT_VERSION = "phase-8.17-review-gate-runtime-v1";
+export interface RunReviewGateOptions {
+    branch?: string | null;
+    taskId?: string | null;
+    runId?: string | null;
+    waveRunId?: string | null;
+    taskIds?: string[];
+    runIds?: string[];
+    evidenceRefs?: string[];
+}
+export interface ReviewGateRunResult {
+    contract: typeof REVIEW_GATE_RUNTIME_CONTRACT_VERSION;
+    branch: string;
+    taskId: string | null;
+    runId: string | null;
+    status: WorkflowGateStatus;
+    workflowGateDecision: WorkflowGateDecision;
+    next: string;
+}
+export declare function runReviewGate(projectRoot: string, options?: RunReviewGateOptions): Promise<ReviewGateRunResult>;
+export declare function renderReviewGateResult(result: ReviewGateRunResult): string;

package/packages/core/dist/verification/review-gate.js

@@ -0,0 +1,53 @@
+import { evaluateAndRecordWorkflowGateDecision } from '../workflow-gate/evidence-packet.js';
+export const REVIEW_GATE_RUNTIME_CONTRACT_VERSION = 'phase-8.17-review-gate-runtime-v1';
+export async function runReviewGate(projectRoot, options = {}) {
+    const { decision } = await evaluateAndRecordWorkflowGateDecision(projectRoot, {
+        branch: options.branch,
+        taskId: options.taskId,
+        runId: options.runId,
+        decisionKind: 'review_gate',
+        waveRunId: options.waveRunId,
+        taskIds: options.taskIds,
+        runIds: options.runIds,
+        evidenceRefs: options.evidenceRefs
+    });
+    return {
+        contract: REVIEW_GATE_RUNTIME_CONTRACT_VERSION,
+        branch: decision.partition,
+        taskId: decision.taskId,
+        runId: decision.runId,
+        status: decision.status,
+        workflowGateDecision: decision,
+        next: nextForReviewGate(decision)
+    };
+}
+export function renderReviewGateResult(result) {
+    return [
+        'SDD review gate',
+        '',
+        `status=${result.status}`,
+        `branch=${result.branch}`,
+        `task=${result.taskId ?? 'none'}`,
+        `run=${result.runId ?? 'none'}`,
+        `workflow_gate=${result.workflowGateDecision.status}:${result.workflowGateDecision.decisionId}`,
+        '',
+        'Next:',
+        `- ${result.next}`
+    ].join('\n');
+}
+function nextForReviewGate(decision) {
+    if (decision.status === 'PASS') {
+        return `Continue workflow after review gate ${decision.decisionId}.`;
+    }
+    if (decision.status === 'WARN') {
+        return `Inspect review gate ${decision.decisionId} warnings before continuing.`;
+    }
+    if (decision.status === 'HUMAN_REQUIRED') {
+        return `Create a decision card for review gate ${decision.decisionId}.`;
+    }
+    if (decision.status === 'ADVISORY_ONLY') {
+        return `Inspect advisor assessments for review gate ${decision.decisionId}; do not treat advisory output as pass.`;
+    }
+    return `Resolve review gate ${decision.decisionId} blockers before continuing.`;
+}
+//# sourceMappingURL=review-gate.js.map

package/packages/core/dist/verification/review-gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"review-gate.js","sourceRoot":"","sources":["../../src/verification/review-gate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qCAAqC,EAAE,MAAM,qCAAqC,CAAC;AAG5F,MAAM,CAAC,MAAM,oCAAoC,GAAG,mCAAmC,CAAC;AAsBxF,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,WAAmB,EAAE,UAAgC,EAAE;IACzF,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,qCAAqC,CAAC,WAAW,EAAE;QAC5E,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,YAAY,EAAE,aAAa;QAC3B,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,YAAY,EAAE,OAAO,CAAC,YAAY;KACnC,CAAC,CAAC;IACH,OAAO;QACL,QAAQ,EAAE,oCAAoC;QAC9C,MAAM,EAAE,QAAQ,CAAC,SAAS;QAC1B,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,oBAAoB,EAAE,QAAQ;QAC9B,IAAI,EAAE,iBAAiB,CAAC,QAAQ,CAAC;KAClC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,MAA2B;IAChE,OAAO;QACL,iBAAiB;QACjB,EAAE;QACF,UAAU,MAAM,CAAC,MAAM,EAAE;QACzB,UAAU,MAAM,CAAC,MAAM,EAAE;QACzB,QAAQ,MAAM,CAAC,MAAM,IAAI,MAAM,EAAE;QACjC,OAAO,MAAM,CAAC,KAAK,IAAI,MAAM,EAAE;QAC/B,iBAAiB,MAAM,CAAC,oBAAoB,CAAC,MAAM,IAAI,MAAM,CAAC,oBAAoB,CAAC,UAAU,EAAE;QAC/F,EAAE;QACF,OAAO;QACP,KAAK,MAAM,CAAC,IAAI,EAAE;KACnB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAS,iBAAiB,CAAC,QAA8B;IACvD,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC/B,OAAO,uCAAuC,QAAQ,CAAC,UAAU,GAAG,CAAC;IACvE,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC/B,OAAO,uBAAuB,QAAQ,CAAC,UAAU,8BAA8B,CAAC;IAClF,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,gBAAgB,EAAE,CAAC;QACzC,OAAO,0CAA0C,QAAQ,CAAC,UAAU,GAAG,CAAC;IAC1E,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,eAAe,EAAE,CAAC;QACxC,OAAO,+CAA+C,QAAQ,CAAC,UAAU,yCAAyC,CAAC;IACrH,CAAC;IACD,OAAO,uBAAuB,QAAQ,CAAC,UAAU,8BAA8B,CAAC;AAClF,CAAC"}

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

@@ -10,6 +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';
 export async function runSingleTaskLoop(projectRoot, options) {
     const context = await resolveSddContext(projectRoot, options.branch ? { branch: options.branch, branchSource: 'cli_option' } : {});
     const branch = context.partition;
@@ -51,12 +52,23 @@ export async function runSingleTaskLoop(projectRoot, options) {
             status: 'blocked',
             phase: 'do',
             taskId: options.taskId,
-            taskState: { status: 'blocked', gaps: allGaps, artifacts: [gapArtifact.runRelativePath] },
+            taskState: buildRuntimeTaskState(inspected.task, 'blocked', 'blocked', allGaps, [gapArtifact.runRelativePath]),
             validationStatus: 'blocked',
             syncBackProposalPath: proposal.runRelativePath,
             syncBackProposalDigest: proposal.digest,
             artifacts: [{ path: gapArtifact.runRelativePath, kind: 'gap-report', task: options.taskId, agent: 'runtime' }]
         });
+        await recordLoopSyncBackDecision(projectRoot, {
+            runId,
+            branch,
+            taskId: options.taskId,
+            status: 'proposed',
+            proposalPath: proposal.runRelativePath,
+            proposalDigest: proposal.digest,
+            proposalPayloadId: proposal.payloadId,
+            reasons: allGaps.map((gap) => `${gap.severity} ${gap.type} ${gap.field}: ${gap.message}`),
+            payload: { sourceVerifyStatus: 'blocked', artifacts: [gapArtifact.runRelativePath] }
+        });
         await appendEvent(projectRoot, runId, {
             event: 'gap_detected',
             runId,
@@ -92,11 +104,11 @@ export async function runSingleTaskLoop(projectRoot, options) {
         summary: `Task selected for ingestion-aware task loop: ${options.taskId}`,
         data: { task: options.taskId, title: inspected.task.title, source: inspected.task.source }
     });
-    const steps = buildLoopSteps(options.taskId, options);
+    const steps = buildLoopSteps(options.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 });
         if (!step.suppliedArtifact) {
@@ -148,7 +160,7 @@ export async function runSingleTaskLoop(projectRoot, options) {
             delegationId: `B-${options.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.'
@@ -202,17 +214,30 @@ export async function runSingleTaskLoop(projectRoot, options) {
             data: { artifact: gapArtifact.runRelativePath, 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);
+    const proposalStatus = taskState.status === 'implemented_pending_validation' ? taskState.status : terminalStatus === 'completed' ? 'completed' : terminalStatus;
+    const proposal = await writeSyncBackProposal(projectRoot, runId, options.taskId, proposalStatus, acceptedArtifacts, gaps, terminalStatus === 'completed' ? 'Ingestion-aware task loop accepted implementation evidence; validation may still be pending by task contract.' : terminalStatus === 'blocked' && validationStatus === 'pass_with_gaps' ? 'Ingestion-aware task loop stopped because validator returned PASS_WITH_GAPS; sync-back is a blocked gap proposal, not task completion.' : 'Ingestion-aware task loop stopped with blocking/failing evidence.');
     await persistLoopState(projectRoot, runId, {
         status: terminalStatus,
         phase: 'do',
         taskId: options.taskId,
-        taskState: { status: terminalStatus, gaps, artifacts: acceptedArtifacts },
+        taskState,
         validationStatus,
         syncBackProposalPath: proposal.runRelativePath,
         syncBackProposalDigest: proposal.digest,
         artifacts: acceptedArtifacts.map((artifactPath) => ({ path: artifactPath, kind: artifactKind(artifactPath), task: options.taskId, agent: agentFromArtifactPath(artifactPath) }))
     });
+    await recordLoopSyncBackDecision(projectRoot, {
+        runId,
+        branch,
+        taskId: options.taskId,
+        status: 'proposed',
+        proposalPath: proposal.runRelativePath,
+        proposalDigest: proposal.digest,
+        proposalPayloadId: proposal.payloadId,
+        reasons: gaps.map((gap) => `${gap.severity} ${gap.type} ${gap.field}: ${gap.message}`),
+        payload: { sourceVerifyStatus: terminalStatus, artifacts: acceptedArtifacts }
+    });
     await appendEvent(projectRoot, runId, {
         event: 'sync_back_proposed',
         runId,
@@ -248,7 +273,7 @@ export async function runSingleTaskLoop(projectRoot, options) {
         message: terminalStatus === 'completed' ? 'Task loop completed through Phase 3 executor artifact ingestion.' : validationStatus === 'pass_with_gaps' ? 'Task loop blocked because validator returned PASS_WITH_GAPS; inspect gap report and sync-back proposal.' : 'Task loop stopped; inspect gap report and sync-back proposal.'
     };
 }
-function buildLoopSteps(taskId, options) {
+function buildLoopSteps(taskId, options, task) {
     const steps = [
         { agent: 'implementer', suppliedArtifact: options.implementArtifact, expectedArtifact: `artifacts/implement-${taskId}.md`, required: false },
         { agent: 'reviewer', suppliedArtifact: options.reviewArtifact, expectedArtifact: `artifacts/review-${taskId}.md`, required: true }
@@ -256,9 +281,59 @@ function buildLoopSteps(taskId, options) {
     if (options.debugArtifact) {
         steps.push({ agent: 'debugger', suppliedArtifact: options.debugArtifact, expectedArtifact: `artifacts/debug-${taskId}.md`, required: false });
     }
-    steps.push({ agent: 'validator', suppliedArtifact: options.validationArtifact, expectedArtifact: `artifacts/validation-${taskId}.md`, required: true });
+    steps.push({ agent: 'validator', suppliedArtifact: options.validationArtifact, expectedArtifact: `artifacts/validation-${taskId}.md`, required: requiresImmediateValidation(task) });
     return steps;
 }
+function requiresImmediateValidation(task) {
+    return !task || task.requiresVerifyBeforeNext || task.validationTiming === 'task_end';
+}
+function buildRuntimeTaskState(task, status, validationStatus, gaps, artifacts) {
+    const implementationStatus = status === 'completed' ? 'implemented' : status === 'blocked' ? 'blocked' : 'failed';
+    const verificationStatus = verificationStatusForLoop(task, status, validationStatus);
+    return {
+        status: runtimeTaskStatus(implementationStatus, verificationStatus),
+        implementationStatus,
+        verificationStatus,
+        validationBatch: task?.validationBatch ?? null,
+        validationTiming: task?.validationTiming ?? 'task_end',
+        requiresVerifyBeforeNext: task?.requiresVerifyBeforeNext ?? true,
+        gaps,
+        artifacts
+    };
+}
+function verificationStatusForLoop(task, status, validationStatus) {
+    if (validationStatus === 'pass') {
+        return 'pass';
+    }
+    if (validationStatus === 'pass_with_gaps') {
+        return 'pass_with_gaps';
+    }
+    if (validationStatus === 'blocked') {
+        return 'blocked';
+    }
+    if (validationStatus === 'fail') {
+        return 'failed';
+    }
+    if (status !== 'completed') {
+        return status === 'failed' ? 'failed' : 'blocked';
+    }
+    return task && !requiresImmediateValidation(task) ? 'pending_batch' : 'not_run';
+}
+function runtimeTaskStatus(implementationStatus, verificationStatus) {
+    if (implementationStatus === 'implemented' && verificationStatus === 'pending_batch') {
+        return 'implemented_pending_validation';
+    }
+    if (implementationStatus === 'implemented' && verificationStatus === 'pass') {
+        return 'implemented_verified';
+    }
+    if (verificationStatus === 'pass_with_gaps' || verificationStatus === 'blocked') {
+        return 'validation_blocked';
+    }
+    if (implementationStatus === 'failed' || verificationStatus === 'failed') {
+        return 'failed';
+    }
+    return implementationStatus;
+}
 async function persistLoopState(projectRoot, runId, input) {
     const state = await readRunState(projectRoot, runId);
     const now = new Date().toISOString();
@@ -292,8 +367,26 @@ async function persistLoopState(projectRoot, runId, input) {
 }
 async function writeSyncBackProposal(projectRoot, runId, taskId, status, artifacts, gaps, summary) {
     const content = `# Sync-back Proposal\n\n## ${taskId}\n\n- status: ${status}\n- summary: ${summary}\n- artifacts:\n${artifacts.length > 0 ? artifacts.map((artifact) => `  - ${artifact}`).join('\n') : '  - none'}\n- gaps:\n${gaps.length > 0 ? gaps.map((gap) => `  - [${gap.severity}] ${gap.type} ${gap.field}: ${gap.message}`).join('\n') : '  - none'}\n\n## Boundaries\n\n- Proposal only; tasks.md/spec.md/plan.md were not modified by runtime.\n- Runtime modeled agent/verify steps through supplied artifacts and contract validation; no external agent API was invoked.\n`;
+    const digest = hashDocumentContent(content);
     const written = await writeArtifact(projectRoot, runId, 'sync-back-proposal.md', content);
-    return { ...written, digest: hashDocumentContent(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`;