sdd-agent-platform 0.2.0 → 0.4.0

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

@@ -0,0 +1,514 @@
+import { createHash } from 'node:crypto';
+import { ACCEPTANCE_POLICY_RULESET_VERSION, SDD_EVIDENCE_CONTRACT, SDD_EVIDENCE_VERSION, SDD_RESULT_CONTRACT, SDD_RESULT_VERSION } from '../contracts.js';
+import { artifactKind, readArtifact, writeArtifact } from '../run-state/artifacts.js';
+import { appendEvent } from '../run-state/events.js';
+import { appendArtifactHashLedgerEntry, appendDeclaredCommandLedgerEntries, appendInvocationLedgerEntry, listInvocationLedgerEntries } from '../run-state/invocation-ledger.js';
+import { readRunState, writeRunState } from '../run-state/run-state.js';
+import { toArtifactRootRelativePath } from '../runtime-paths.js';
+import { hasRuntimeEvidenceScopeViolation, readRuntimeEvidenceClaims } from '../context/evidence-summary.js';
+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';
+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;
+    const model = resolved.model;
+    const inspected = { task: resolved.task, gaps: inspectSddTask(model, options.taskId).gaps };
+    const runId = resolved.runId;
+    const state = resolved.state;
+    const reviewArtifact = options.reviewArtifact ?? artifactPathForAgent(state, options.taskId, 'reviewer');
+    const validationArtifact = options.validationArtifact ?? artifactPathForAgent(state, options.taskId, 'validator');
+    const gaps = [...inspected.gaps];
+    const plannedCommands = inspected.task?.validation ?? [];
+    for (const reason of resolved.staleReasons) {
+        gaps.push(taskGap(options.taskId, 'run_snapshot', reason, 'Rerun sdd do task for the current partition before verify.'));
+    }
+    for (const conflict of resolved.affectedFileConflicts) {
+        gaps.push(taskGap(options.taskId, 'affected_files', `Affected file ${conflict.file} is active in run ${conflict.runId} for ${conflict.partition}/${conflict.taskId}.`, 'Resolve or archive the conflicting active run before verify.'));
+    }
+    const acceptanceCoverage = [];
+    const acceptedArtifacts = [];
+    let reviewStatus = null;
+    let validationStatus = null;
+    let validationTrust = null;
+    let executedCommands = [];
+    await appendEvent(projectRoot, runId, {
+        event: 'phase_started',
+        runId,
+        summary: `Phase 1.9 goal-level verify started for ${options.taskId}`,
+        data: { phase: 'verify', branch, task: options.taskId }
+    });
+    if (!inspected.task) {
+        gaps.push(taskGap(options.taskId, 'task', `Task ${options.taskId} was not found for goal-level verification.`, 'Create the task or choose an existing task id before verify.'));
+    }
+    if (!reviewArtifact) {
+        gaps.push(taskGap(options.taskId, 'review_artifact', 'No reviewer artifact was supplied or found in run state.', 'Run review first or pass --review-artifact artifacts/<file>.'));
+    }
+    else {
+        const reviewReport = await validateSddResultArtifact(projectRoot, runId, reviewArtifact, { expectedTask: options.taskId, expectedAgent: 'reviewer' });
+        if (!reviewReport.valid || !reviewReport.result) {
+            gaps.push(taskGap(options.taskId, 'review_artifact', `Reviewer artifact ${reviewArtifact} is invalid: ${reviewReport.issues.map((issue) => issue.message).join('; ')}`, 'Fix reviewer artifact contract before goal-level verify.'));
+        }
+        else {
+            reviewStatus = reviewReport.result.status;
+            acceptedArtifacts.push(reviewArtifact);
+            if (reviewReport.result.status !== 'PASS') {
+                gaps.push(taskGap(options.taskId, 'review_status', `Reviewer status is ${reviewReport.result.status}, not PASS.`, 'Resolve review findings before marking verification PASS.'));
+            }
+        }
+    }
+    if (!validationArtifact) {
+        gaps.push(taskGap(options.taskId, 'validation_artifact', 'No validator artifact was supplied or found in run state.', 'Run validation first or pass --validation-artifact artifacts/<file>.'));
+    }
+    else {
+        const validationReport = await validateSddResultArtifact(projectRoot, runId, validationArtifact, { expectedTask: options.taskId, expectedAgent: 'validator' });
+        validationTrust = validationReport.trust ?? null;
+        if (!validationReport.valid || !validationReport.result) {
+            gaps.push(taskGap(options.taskId, 'validation_artifact', `Validator artifact ${validationArtifact} is invalid: ${validationReport.issues.map((issue) => issue.message).join('; ')}`, 'Fix validator artifact contract before goal-level verify.'));
+        }
+        else {
+            validationStatus = validationReport.result.status;
+            acceptedArtifacts.push(validationArtifact);
+            if (validationReport.result.status === 'FAIL' || validationReport.result.status === 'BLOCKED') {
+                gaps.push(taskGap(options.taskId, 'validation_status', `Validator status is ${validationReport.result.status}.`, 'Do not mark task completed; inspect validation gaps and recovery proposal.'));
+            }
+        }
+    }
+    if (inspected.task) {
+        const validationRaw = validationArtifact ? await readArtifactIfExists(projectRoot, runId, validationArtifact) : '';
+        const reviewRaw = reviewArtifact ? await readArtifactIfExists(projectRoot, runId, reviewArtifact) : '';
+        if (reviewArtifact && reviewRaw.length > 0) {
+            await appendArtifactHashLedgerEntry(projectRoot, { runId, taskId: options.taskId, branch, artifactPath: reviewArtifact, content: reviewRaw });
+        }
+        if (validationArtifact && validationRaw.length > 0) {
+            await appendArtifactHashLedgerEntry(projectRoot, { runId, taskId: options.taskId, branch, artifactPath: validationArtifact, content: validationRaw });
+        }
+        await appendDeclaredCommandLedgerEntries(projectRoot, { runId, taskId: options.taskId, branch, commands: inspected.task.validation });
+        const invocationLedger = await listInvocationLedgerEntries(projectRoot, runId);
+        executedCommands = executedCommandsFromLedger(invocationLedger);
+        const admittedClaims = await readRuntimeEvidenceClaims(projectRoot, runId, options.taskId);
+        const scopeViolation = await hasRuntimeEvidenceScopeViolation(projectRoot, runId, options.taskId);
+        if (scopeViolation) {
+            gaps.push(taskGap(options.taskId, 'runtime_scope', 'PARTITION_SCOPE_VIOLATION: Runtime evidence claims do not match the run partition.', 'Reingest validator evidence in the correct branch/partition before verify.'));
+        }
+        for (const target of taskAcceptanceCoverageTargets(inspected.task)) {
+            const coverage = scopeViolation
+                ? acceptanceCoverageDecision(target.label, 'BLOCKED', 'Runtime evidence scope violation blocks acceptance coverage.', ['PARTITION_SCOPE_VIOLATION'], [], ['require-partition-scope'])
+                : evaluateAcceptanceCoverageTarget(target, {
+                    taskId: options.taskId,
+                    validationArtifact,
+                    validationRaw,
+                    claims: admittedClaims.length > 0 ? admittedClaims : validationTrust?.claims ?? [],
+                    validationStatus,
+                    invocationLedger
+                });
+            await appendInvocationLedgerEntry(projectRoot, {
+                runId,
+                taskId: options.taskId,
+                branch,
+                kind: 'policy_evaluation',
+                ref: `${ACCEPTANCE_POLICY_RULESET_VERSION}:${target.label}`,
+                status: coverage.status,
+                artifactPath: validationArtifact,
+                inputHash: validationRaw.length > 0 ? hashDocumentContent(validationRaw) : null,
+                materialRefs: [],
+                metadata: {
+                    passedRules: coverage.policyDecision?.passedRules.join(',') ?? '',
+                    failedRules: coverage.policyDecision?.failedRules.join(',') ?? '',
+                    issueCodes: coverage.issueCodes?.join(',') ?? ''
+                }
+            });
+            acceptanceCoverage.push(coverage);
+            if (coverage.status !== 'PASS') {
+                gaps.push(taskGap(options.taskId, 'acceptance_coverage', `Acceptance target ${target.label} is ${coverage.status}: ${coverage.evidence}`, `Add ${SDD_EVIDENCE_CONTRACT} claim/evidence/provenance/policy records for ${target.label}; mention-only acceptance refs cannot pass.`));
+            }
+        }
+    }
+    const status = deriveGoalVerifyStatus(reviewStatus, validationStatus, gaps);
+    const standardStatus = toHarnessVerifyStatus(status, reviewStatus, validationStatus, gaps);
+    const coverageArtifact = await writeArtifact(projectRoot, runId, `acceptance-coverage-${options.taskId}.md`, renderAcceptanceCoverageArtifact(options.taskId, status, inspected.task, reviewArtifact, validationArtifact, acceptanceCoverage, gaps, executedCommands));
+    const allArtifacts = [...acceptedArtifacts, coverageArtifact.runRelativePath];
+    const proposal = await writeSyncBackProposal(projectRoot, runId, options.taskId, status === 'PASS' ? 'verified' : 'blocked', allArtifacts, gaps, status === 'PASS' ? 'Goal-level verify mapped validator evidence to all acceptance items.' : 'Goal-level verify found gaps; sync-back is a verification gap proposal, not task completion.');
+    await persistVerifyState(projectRoot, runId, {
+        status,
+        taskId: options.taskId,
+        taskState: { status: status === 'PASS' ? 'verified' : 'blocked', verifyStatus: status, gaps, artifacts: 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) }))
+    });
+    await appendEvent(projectRoot, runId, {
+        event: status === 'PASS' ? 'validation_passed' : 'validation_failed',
+        runId,
+        summary: `Phase 1.9 goal-level verify ${status} for ${options.taskId}`,
+        data: { task: options.taskId, status, coverageArtifact: coverageArtifact.runRelativePath, gaps, plannedCommands, executedCommands }
+    });
+    await appendEvent(projectRoot, runId, {
+        event: 'sync_back_proposed',
+        runId,
+        summary: `Verify sync-back proposal created for ${options.taskId}`,
+        data: { proposal: proposal.runRelativePath, status }
+    });
+    return {
+        runId,
+        taskId: options.taskId,
+        status,
+        task: inspected.task,
+        reviewArtifact,
+        validationArtifact,
+        coverageArtifactPath: coverageArtifact.runRelativePath,
+        syncBackProposalPath: proposal.runRelativePath,
+        acceptanceCoverage,
+        gaps,
+        commands: plannedCommands,
+        plannedCommands,
+        executedCommands,
+        standardStatus,
+        message: status === 'PASS' ? 'Goal-level verify passed with explicit acceptance coverage.' : 'Goal-level verify found gaps; inspect coverage artifact and sync-back proposal.'
+    };
+}
+async function persistVerifyState(projectRoot, runId, input) {
+    const state = await readRunState(projectRoot, runId);
+    const now = new Date().toISOString();
+    const knownArtifactPaths = new Set(state.artifacts.map((artifact) => artifact.path));
+    const newArtifacts = input.artifacts
+        .filter((artifact) => !knownArtifactPaths.has(artifact.path))
+        .map((artifact) => ({ ...artifact, createdAt: now }));
+    await writeRunState(projectRoot, {
+        ...state,
+        status: input.status === 'PASS' ? 'completed' : 'blocked',
+        phase: 'verify',
+        currentTask: input.taskId,
+        tasks: {
+            ...state.tasks,
+            [input.taskId]: input.taskState
+        },
+        artifacts: [...state.artifacts, ...newArtifacts],
+        validation: {
+            status: input.status === 'PASS' ? 'pass' : input.status === 'PASS_WITH_GAPS' ? 'pass_with_gaps' : input.status === 'BLOCKED' ? 'blocked' : 'fail',
+            commands: input.commands,
+            evidence: input.evidence
+        },
+        syncBack: {
+            mode: 'proposal',
+            proposalPath: input.syncBackProposalPath,
+            proposalDigest: input.syncBackProposalDigest,
+            sourceVerifyStatus: input.status,
+            status: state.syncBack.status === 'applied' ? 'applied' : 'proposed'
+        }
+    });
+}
+async function writeSyncBackProposal(projectRoot, runId, taskId, status, artifacts, gaps, summary) {
+    const content = `# Sync-back Proposal\n\n## ${taskId}\n\n- status: ${status}\n- summary: ${summary}\n- artifacts:\n${artifacts.length > 0 ? artifacts.map((artifact) => `  - ${artifact}`).join('\n') : '  - none'}\n- gaps:\n${gaps.length > 0 ? gaps.map((gap) => `  - [${gap.severity}] ${gap.type} ${gap.field}: ${gap.message}`).join('\n') : '  - none'}\n\n## Boundaries\n\n- Proposal only; tasks.md/spec.md/plan.md were not modified by runtime.\n- Runtime modeled agent/verify steps through supplied artifacts and contract validation; no external agent API was invoked.\n`;
+    const written = await writeArtifact(projectRoot, runId, 'sync-back-proposal.md', content);
+    return { ...written, digest: hashDocumentContent(content) };
+}
+function 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`;
+}
+function evaluateAcceptanceCoverageTarget(target, input) {
+    const matchingClaims = input.claims.filter((claim) => claim.task === input.taskId && acceptanceMatchesTarget(target, claim.acceptance));
+    const issueCodes = [];
+    const failedRules = [];
+    if (matchingClaims.length === 0) {
+        if (target.matchTexts.some((text) => text.length > 0 && input.validationRaw.toLowerCase().includes(text.toLowerCase()))) {
+            issueCodes.push('MENTION_ONLY');
+            failedRules.push('require-structured-evidence');
+            return acceptanceCoverageDecision(target.label, 'REFERENCED_ONLY', `Referenced ${target.label} in ${input.validationArtifact ?? 'validator artifact'} without policy-backed evidence.`, issueCodes, [], failedRules);
+        }
+        issueCodes.push('MISSING_ARTIFACT_REFERENCE');
+        failedRules.push('require-acceptance-claim');
+        return acceptanceCoverageDecision(target.label, 'MISSING', 'No policy-backed acceptance evidence found in validator artifact.', issueCodes, [], failedRules);
+    }
+    let best = matchingClaims[0];
+    let bestRank = evidenceClaimSelectionRank(best, input);
+    for (const claim of matchingClaims.slice(1)) {
+        const rank = evidenceClaimSelectionRank(claim, input);
+        if (rank > bestRank) {
+            best = claim;
+            bestRank = rank;
+        }
+    }
+    if (best.status === 'PASS') {
+        const ledgerDecision = evaluatePassClaimPolicy(best, input);
+        if (ledgerDecision.issueCodes.length === 0) {
+            return acceptanceCoverageDecision(target.label, 'PASS', `Policy-proven by ${SDD_EVIDENCE_CONTRACT} claim for ${best.acceptance} in ${best.sourceArtifact}; evidence=${best.evidence.map((item) => `${item.kind}:${item.ref}`).join(', ')}; provenance=${best.provenance.join(', ')}; policy=${best.policy.join(', ')}.`, [], ledgerDecision.passedRules, []);
+        }
+        return acceptanceCoverageDecision(target.label, 'BLOCKED', `PASS claim for ${best.acceptance} is missing required policy/provenance corroboration.`, ledgerDecision.issueCodes, [], ledgerDecision.failedRules);
+    }
+    if (best.status === 'FAIL') {
+        return acceptanceCoverageDecision(target.label, 'FAIL', `Explicit FAIL claim for ${best.acceptance}: ${best.claim}`, [], ['explicit-fail-overrides-pass'], []);
+    }
+    if (best.status === 'BLOCKED') {
+        return acceptanceCoverageDecision(target.label, 'BLOCKED', `Explicit BLOCKED claim for ${best.acceptance}: ${best.claim}`, [], ['explicit-blocked-overrides-pass'], []);
+    }
+    if (best.status === 'REFERENCED_ONLY') {
+        return acceptanceCoverageDecision(target.label, 'REFERENCED_ONLY', `Structured evidence references ${best.acceptance} but does not prove PASS.`, ['MENTION_ONLY'], [], ['require-pass-claim']);
+    }
+    return acceptanceCoverageDecision(target.label, 'MISSING', `Structured evidence marks ${best.acceptance} missing.`, ['MISSING_ARTIFACT_REFERENCE'], [], ['require-pass-claim']);
+}
+function evidenceClaimSelectionRank(claim, input) {
+    if (claim.status === 'FAIL') {
+        return 500;
+    }
+    if (claim.status === 'BLOCKED') {
+        return 400;
+    }
+    if (claim.status === 'PASS') {
+        const decision = evaluatePassClaimPolicy(claim, input);
+        return decision.issueCodes.length === 0 ? 300 : 200 - decision.issueCodes.length;
+    }
+    if (claim.status === 'REFERENCED_ONLY') {
+        return 100;
+    }
+    return 0;
+}
+function evaluatePassClaimPolicy(claim, input) {
+    const issueCodes = [];
+    const failedRules = [];
+    const passedRules = [];
+    const addFailure = (code, rule) => {
+        if (!issueCodes.includes(code)) {
+            issueCodes.push(code);
+        }
+        if (!failedRules.includes(rule)) {
+            failedRules.push(rule);
+        }
+    };
+    const addPassed = (rule) => {
+        if (!passedRules.includes(rule)) {
+            passedRules.push(rule);
+        }
+    };
+    if (claim.evidence.length === 0) {
+        addFailure('UNSOURCED_PASS', 'require-source-evidence');
+    }
+    else {
+        addPassed('require-source-evidence');
+    }
+    if (claim.provenance.length === 0) {
+        addFailure('PROVENANCE_GAP', 'require-provenance');
+    }
+    else {
+        addPassed('require-provenance');
+    }
+    if (claim.policy.length === 0) {
+        addFailure('POLICY_RULE_FAILED', 'require-policy-rule');
+    }
+    else {
+        addPassed('require-policy-rule');
+    }
+    if (input.validationStatus !== 'PASS') {
+        addFailure('POLICY_RULE_FAILED', 'require-validator-pass');
+    }
+    else {
+        addPassed('require-validator-pass');
+    }
+    const ledgerDecision = evaluateClaimLedgerCorroboration(claim, input.invocationLedger);
+    for (const issue of ledgerDecision.issueCodes) {
+        if (!issueCodes.includes(issue)) {
+            issueCodes.push(issue);
+        }
+    }
+    for (const rule of ledgerDecision.failedRules) {
+        if (!failedRules.includes(rule)) {
+            failedRules.push(rule);
+        }
+    }
+    if (ledgerDecision.failedRules.length === 0) {
+        addPassed('require-ledger-corroboration');
+    }
+    return { issueCodes, failedRules, passedRules };
+}
+function evaluateClaimLedgerCorroboration(claim, entries) {
+    const issueCodes = [];
+    const failedRules = [];
+    const commandRefs = invocationLedgerRefs(entries, 'command');
+    const artifactRefs = invocationLedgerRefs(entries, 'artifact_hash');
+    const materialRefs = ledgerMaterialRefs(entries);
+    const addIssue = (code, rule) => {
+        if (!issueCodes.includes(code)) {
+            issueCodes.push(code);
+        }
+        if (!failedRules.includes(rule)) {
+            failedRules.push(rule);
+        }
+    };
+    if (!artifactRefs.has(claim.sourceArtifact)) {
+        addIssue('MISSING_ARTIFACT_REFERENCE', 'require-source-artifact-hash');
+    }
+    for (const item of claim.evidence) {
+        if (item.kind === 'command' && !commandRefs.has(item.ref)) {
+            addIssue('MISSING_COMMAND_OUTPUT', 'require-command-ledger');
+        }
+        if (item.kind === 'artifact' && !artifactRefs.has(item.ref)) {
+            addIssue('MISSING_ARTIFACT_REFERENCE', 'require-artifact-hash');
+        }
+        if (item.kind === 'material' && !materialRefs.has(item.ref)) {
+            addIssue('MISSING_MATERIAL_REFERENCE', 'require-material-ledger');
+        }
+    }
+    for (const ref of claim.provenance) {
+        const typed = parseTypedLedgerRef(ref);
+        if (!typed) {
+            continue;
+        }
+        if (typed.kind === 'command' && !commandRefs.has(typed.ref)) {
+            addIssue('PROVENANCE_GAP', 'require-command-provenance-ledger');
+        }
+        if (typed.kind === 'artifact' && !artifactRefs.has(typed.ref)) {
+            addIssue('PROVENANCE_GAP', 'require-artifact-provenance-ledger');
+        }
+        if (typed.kind === 'material' && !materialRefs.has(typed.ref)) {
+            addIssue('PROVENANCE_GAP', 'require-material-provenance-ledger');
+        }
+    }
+    return { issueCodes, failedRules };
+}
+function invocationLedgerRefs(entries, kind) {
+    const refs = new Set();
+    for (const entry of entries) {
+        if (entry.kind === kind) {
+            refs.add(entry.ref);
+            if (entry.artifactPath) {
+                refs.add(entry.artifactPath);
+            }
+        }
+    }
+    return refs;
+}
+function parseTypedLedgerRef(value) {
+    const separator = value.indexOf(':');
+    if (separator <= 0) {
+        return null;
+    }
+    const kind = value.slice(0, separator).trim();
+    const ref = value.slice(separator + 1).trim();
+    if (!/^[A-Za-z0-9_-]+$/.test(kind) || !ref) {
+        return null;
+    }
+    return { kind, ref };
+}
+function acceptanceMatchesTarget(target, acceptance) {
+    const normalizedAcceptance = acceptance.toLowerCase();
+    return target.matchTexts.some((text) => text.toLowerCase() === normalizedAcceptance) || target.label.toLowerCase() === normalizedAcceptance;
+}
+function acceptanceCoverageDecision(acceptance, status, evidence, issueCodes, passedRules, failedRules) {
+    return {
+        acceptance,
+        status,
+        evidence,
+        issueCodes,
+        policyDecision: {
+            status,
+            ruleSet: {
+                id: ACCEPTANCE_POLICY_RULESET_VERSION,
+                version: SDD_EVIDENCE_VERSION,
+                ruleIds: ['require-structured-evidence', 'require-source-evidence', 'require-provenance', 'require-policy-rule']
+            },
+            passedRules,
+            failedRules,
+            issueCodes
+        }
+    };
+}
+function taskAcceptanceCoverageTargets(task) {
+    if (task.acceptanceRefs.length > 0) {
+        return task.acceptanceRefs.map((ref, index) => {
+            const description = task.acceptance[index] ?? null;
+            return {
+                label: ref,
+                description,
+                matchTexts: description ? [ref, description] : [ref]
+            };
+        });
+    }
+    return task.acceptance.map((acceptance) => ({
+        label: acceptance,
+        description: null,
+        matchTexts: [acceptance]
+    }));
+}
+function deriveGoalVerifyStatus(reviewStatus, validationStatus, gaps) {
+    if (gaps.length > 0) {
+        return validationStatus === 'PASS_WITH_GAPS' ? 'PASS_WITH_GAPS' : 'BLOCKED';
+    }
+    if (reviewStatus !== 'PASS' || !validationStatus) {
+        return 'BLOCKED';
+    }
+    if (validationStatus === 'PASS') {
+        return 'PASS';
+    }
+    if (validationStatus === 'PASS_WITH_GAPS') {
+        return 'PASS_WITH_GAPS';
+    }
+    return validationStatus === 'FAIL' ? 'FAIL' : 'BLOCKED';
+}
+function toHarnessVerifyStatus(status, reviewStatus, validationStatus, gaps) {
+    if (status === 'PASS') {
+        return 'PASS';
+    }
+    if (status === 'PASS_WITH_GAPS') {
+        return 'GAPS';
+    }
+    if (!reviewStatus || !validationStatus || gaps.some((gap) => gap.field === 'review_artifact' || gap.field === 'validation_artifact')) {
+        return 'HUMAN_NEEDED';
+    }
+    return 'BLOCKED';
+}
+async function readArtifactIfExists(projectRoot, runId, runRelativeArtifactPath) {
+    try {
+        return await readArtifact(projectRoot, runId, toArtifactRootRelativePath(runRelativeArtifactPath));
+    }
+    catch {
+        return '';
+    }
+}
+function artifactPathForAgent(state, taskId, agent) {
+    const delegation = Object.values(state.delegations).find((candidate) => candidate.task === taskId && candidate.agent === agent && candidate.status === 'COMPLETED');
+    if (delegation) {
+        return delegation.expectedArtifact;
+    }
+    const artifact = state.artifacts.find((candidate) => candidate.task === taskId && candidate.agent === agent);
+    return artifact?.path ?? null;
+}
+function agentFromArtifactPath(artifactPath) {
+    const kind = artifactKind(artifactPath);
+    if (kind === 'implement') {
+        return 'implementer';
+    }
+    if (kind === 'review' || kind === 'validation' || kind === 'debug') {
+        return kind === 'debug' ? 'debugger' : kind === 'review' ? 'reviewer' : 'validator';
+    }
+    if (kind === 'gap-report' || kind === 'sync-back-proposal') {
+        return 'runtime';
+    }
+    return 'unknown';
+}
+function executedCommandsFromLedger(entries) {
+    return [...new Set(entries
+            .filter((entry) => entry.kind === 'command' && entry.status !== 'declared')
+            .map((entry) => entry.ref))];
+}
+function sourceLocationEvidence(source) {
+    return `${source.filePath}:${source.lineStart}-${source.lineEnd}`;
+}
+function ledgerMaterialRefs(entries) {
+    const refs = new Set();
+    for (const entry of entries) {
+        if (entry.kind === 'material') {
+            refs.add(entry.ref);
+        }
+        for (const ref of entry.materialRefs) {
+            refs.add(ref);
+        }
+    }
+    return refs;
+}
+function hashDocumentContent(raw) {
+    return createHash('sha256').update(raw.replace(/\r\n/g, '\n'), 'utf8').digest('hex');
+}
+//# sourceMappingURL=goal-verify.js.map

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

@@ -0,0 +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"}

package/packages/core/dist/verification/rendering.d.ts

@@ -0,0 +1,51 @@
+import type { SddTask, SddTaskGap } from '../sdd-docs/task-parser.js';
+export type GoalVerifyStatus = 'PASS' | 'PASS_WITH_GAPS' | 'FAIL' | 'BLOCKED';
+export type HarnessVerifyStatus = 'PASS' | 'GAPS' | 'BLOCKED' | 'HUMAN_NEEDED';
+export type SingleTaskLoopStatus = 'completed' | 'blocked' | 'failed';
+interface AcceptanceCoverageItemLike {
+    acceptance: string;
+    status: string;
+    evidence: string;
+}
+export interface GoalVerifyResultLike {
+    runId: string;
+    taskId: string;
+    status: GoalVerifyStatus;
+    standardStatus: HarnessVerifyStatus;
+    task: SddTask | null;
+    reviewArtifact: string | null;
+    validationArtifact: string | null;
+    coverageArtifactPath: string;
+    syncBackProposalPath: string;
+    acceptanceCoverage: AcceptanceCoverageItemLike[];
+    commands: string[];
+    plannedCommands?: string[];
+    executedCommands?: string[];
+    gaps: SddTaskGap[];
+    message: string;
+}
+export interface SingleTaskLoopResultLike {
+    runId: string;
+    taskId: string;
+    status: SingleTaskLoopStatus;
+    task: SddTask | null;
+    gaps: SddTaskGap[];
+    requiredArtifacts: string[];
+    acceptedArtifacts: string[];
+    routeDecision: {
+        category: string;
+        recommendedProfile: string | null;
+        autonomyCeiling: string;
+        teamMode: {
+            decision: string;
+            mode: string;
+            activation: string;
+            costClass: string;
+        };
+    };
+    syncBackProposalPath: string | null;
+    message: string;
+}
+export declare function renderGoalVerifyResult(result: GoalVerifyResultLike): string;
+export declare function renderSingleTaskLoopResult(result: SingleTaskLoopResultLike): string;
+export {};