sdd-agent-platform 0.4.2 → 0.5.1

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

@@ -1,521 +1,2 @@
-import { createHash } from 'node:crypto';
-import { readFile } from 'node:fs/promises';
-import { ACCEPTANCE_POLICY_RULESET_VERSION, SDD_EVIDENCE_CONTRACT, SDD_EVIDENCE_VERSION, SDD_RESULT_CONTRACT, SDD_RESULT_VERSION } from '../contracts.js';
-import { artifactKind, readArtifact, recordRuntimeOnlyArtifact } 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 { getBranchStageEvidencePathFromRef, isBranchStageEvidenceRef, toBranchStageEvidenceRef, toEvidencePayloadFileName } 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 '../workflow-state/resolve-task-run.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 evidence was supplied or selected from runtime state.', 'Author reviewer evidence under .sdd/runs/<branch>/do/code-review-vN.md and register its ref/hash before goal-level verify.'));
-    }
-    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 evidence was supplied or selected from runtime state.', 'Author validator evidence under .sdd/runs/<branch>/test/validation-vN.md and register its ref/hash before goal-level verify.'));
-    }
-    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 coverageFileName = `acceptance-coverage-${options.taskId}.md`;
-    const coverageRef = toBranchStageEvidenceRef(branch, 'goal-verify', coverageFileName);
-    await recordRuntimeOnlyArtifact(projectRoot, runId, coverageFileName, renderAcceptanceCoverageArtifact(options.taskId, status, coverageRef, inspected.task, reviewArtifact, validationArtifact, acceptanceCoverage, gaps, executedCommands), { logicalRef: coverageRef, branch, taskId: options.taskId, artifactRole: 'goal-verify-acceptance-coverage' });
-    const allArtifacts = [...acceptedArtifacts, coverageRef];
-    await persistVerifyState(projectRoot, runId, {
-        status,
-        taskId: options.taskId,
-        taskState: buildGoalVerifyTaskState(inspected.task, status, gaps, allArtifacts, acceptanceCoverage),
-        commands: plannedCommands,
-        evidence: allArtifacts,
-        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: coverageRef, gaps, plannedCommands, executedCommands }
-    });
-    return {
-        runId,
-        taskId: options.taskId,
-        status,
-        task: inspected.task,
-        reviewArtifact,
-        validationArtifact,
-        coverageArtifactPath: coverageRef,
-        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.'
-    };
-}
-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();
-    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
-        },
-    });
-}
-function renderAcceptanceCoverageArtifact(taskId, status, coverageRef, 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  - ${coverageRef}\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);
-            }
-            if (kind === 'command' && typeof entry.metadata.stepId === 'string') {
-                refs.add(entry.metadata.stepId);
-            }
-        }
-    }
-    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 {
-        if (isBranchStageEvidenceRef(runRelativeArtifactPath)) {
-            try {
-                return await readFile(getBranchStageEvidencePathFromRef(projectRoot, runRelativeArtifactPath), 'utf8');
-            }
-            catch {
-                return await readArtifact(projectRoot, runId, toEvidencePayloadFileName(runRelativeArtifactPath));
-            }
-        }
-        return await readArtifact(projectRoot, runId, toEvidencePayloadFileName(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') {
-        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');
-}
+export {};
 //# sourceMappingURL=goal-verify.js.map

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,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EACL,iCAAiC,EACjC,qBAAqB,EACrB,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EACnB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,yBAAyB,EAAE,MAAM,2BAA2B,CAAC;AAClG,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,iCAAiC,EAAE,wBAAwB,EAAE,wBAAwB,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACvJ,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,uCAAuC,CAAC;AA0DvE,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,mEAAmE,EAAE,4HAA4H,CAAC,CAAC,CAAC;IAC3P,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,oEAAoE,EAAE,8HAA8H,CAAC,CAAC,CAAC;IAClQ,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,uBAAuB,OAAO,CAAC,MAAM,KAAK,CAAC;IACpE,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,EAAE,aAAa,EAAE,gBAAgB,CAAC,CAAC;IACtF,MAAM,yBAAyB,CAAC,WAAW,EAAE,KAAK,EAAE,gBAAgB,EAAE,gCAAgC,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,CAAC,IAAI,EAAE,cAAc,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,IAAI,EAAE,gBAAgB,CAAC,EAAE,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,iCAAiC,EAAE,CAAC,CAAC;IAC3V,MAAM,YAAY,GAAG,CAAC,GAAG,iBAAiB,EAAE,WAAW,CAAC,CAAC;IAEzD,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,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,WAAW,EAAE,IAAI,EAAE,eAAe,EAAE,gBAAgB,EAAE;KAC/G,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,WAAW;QACjC,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,0DAA0D;KACxJ,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,KAOrE;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;KACF,CAAC,CAAC;AACL,CAAC;AAGD,SAAS,gCAAgC,CAAC,MAAc,EAAE,MAAwB,EAAE,WAAmB,EAAE,IAAoB,EAAE,cAA6B,EAAE,kBAAiC,EAAE,QAAkC,EAAE,IAAkB,EAAE,gBAA0B;IACjR,OAAO,yBAAyB,MAAM,mCAAmC,mBAAmB,cAAc,kBAAkB,6BAA6B,MAAM,aAAa,MAAM,qBAAqB,WAAW,wDAAwD,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;AACj/C,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;YACD,IAAI,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;gBACpE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAClC,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,IAAI,wBAAwB,CAAC,uBAAuB,CAAC,EAAE,CAAC;YACtD,IAAI,CAAC;gBACH,OAAO,MAAM,QAAQ,CAAC,iCAAiC,CAAC,WAAW,EAAE,uBAAuB,CAAC,EAAE,MAAM,CAAC,CAAC;YACzG,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,MAAM,YAAY,CAAC,WAAW,EAAE,KAAK,EAAE,yBAAyB,CAAC,uBAAuB,CAAC,CAAC,CAAC;YACpG,CAAC;QACH,CAAC;QACD,OAAO,MAAM,YAAY,CAAC,WAAW,EAAE,KAAK,EAAE,yBAAyB,CAAC,uBAAuB,CAAC,CAAC,CAAC;IACpG,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,EAAE,CAAC;QAC1B,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":""}

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

@@ -1,5 +1,5 @@
 import type { SddTask, SddTaskGap } from '../sdd-docs/task-parser.js';
-export type GoalVerifyStatus = 'PASS' | 'PASS_WITH_GAPS' | 'FAIL' | 'BLOCKED';
+export type TaskEvidenceJudgmentStatus = 'PASS' | 'PASS_WITH_GAPS' | 'FAIL' | 'BLOCKED';
 export type HarnessVerifyStatus = 'PASS' | 'GAPS' | 'BLOCKED' | 'HUMAN_NEEDED';
 export type SingleTaskLoopStatus = 'completed' | 'blocked' | 'failed';
 interface AcceptanceCoverageItemLike {
@@ -7,10 +7,10 @@ interface AcceptanceCoverageItemLike {
     status: string;
     evidence: string;
 }
-export interface GoalVerifyResultLike {
+export interface TaskEvidenceJudgmentResultLike {
     runId: string;
     taskId: string;
-    status: GoalVerifyStatus;
+    status: TaskEvidenceJudgmentStatus;
     standardStatus: HarnessVerifyStatus;
     task: SddTask | null;
     reviewArtifact: string | null;
@@ -24,7 +24,7 @@ export interface GoalVerifyResultLike {
     message: string;
 }
 export interface SingleTaskLoopResultLike {
-    runId: string;
+    runId: string | null;
     taskId: string;
     status: SingleTaskLoopStatus;
     task: SddTask | null;
@@ -44,6 +44,6 @@ export interface SingleTaskLoopResultLike {
     };
     message: string;
 }
-export declare function renderGoalVerifyResult(result: GoalVerifyResultLike): string;
+export declare function renderTaskEvidenceJudgmentResult(result: TaskEvidenceJudgmentResultLike): string;
 export declare function renderSingleTaskLoopResult(result: SingleTaskLoopResultLike): string;
 export {};