projscan 4.14.0 → 4.16.0

package/dist/core/proofSufficiency.js

@@ -0,0 +1,425 @@
+import path from 'node:path';
+const CONFIG_BASENAMES = new Set([
+    'package.json',
+    'package-lock.json',
+    'pnpm-lock.yaml',
+    'yarn.lock',
+    'tsconfig.json',
+]);
+const CONFIG_SUFFIXES = ['.config.js', '.config.cjs', '.config.mjs', '.config.ts'];
+export function buildProofRequirements(input) {
+    const rows = [];
+    const testCommands = input.proofCommands.filter(isTestProofCommand);
+    const supportCommands = input.proofCommands.filter((command) => !isTestProofCommand(command));
+    const filesBySurface = new Map();
+    for (const file of input.allowedFiles) {
+        const surface = riskSurfaceForFile(file);
+        if (surface === 'test')
+            continue;
+        filesBySurface.set(surface, [...(filesBySurface.get(surface) ?? []), file]);
+    }
+    if (input.likelyTests.length > 0) {
+        filesBySurface.set('test', unique([...(filesBySurface.get('test') ?? []), ...input.likelyTests]));
+    }
+    for (const surface of orderedSurfaces(filesBySurface)) {
+        const files = unique(filesBySurface.get(surface) ?? []);
+        if (files.length === 0)
+            continue;
+        const requiredCommands = requirementCommandsForSurface(surface, testCommands, supportCommands);
+        rows.push({
+            id: proofRequirementId(surface, files),
+            surface,
+            files,
+            requiredCommands,
+            requiredReview: requiredReviewForSurface(surface),
+            reason: proofRequirementReason(surface, files),
+        });
+    }
+    for (const surface of riskyContractSurfaces(input.riskyContracts)) {
+        if (rows.some((row) => row.surface === surface))
+            continue;
+        rows.push({
+            id: proofRequirementId(surface, []),
+            surface,
+            files: [],
+            requiredCommands: requirementCommandsForSurface(surface, testCommands, supportCommands),
+            requiredReview: requiredReviewForSurface(surface),
+            reason: `Risky contract evidence includes ${surface}.`,
+        });
+    }
+    return rows;
+}
+export function proofSufficiencyFor(input) {
+    if (!input.contract)
+        return missingContractProofSufficiency(input.scope);
+    const requirements = proofRequirementsForReceipt(input.contract);
+    if (requirements.length === 0) {
+        const status = input.scope.status === 'within-contract' ? 'adequate' : 'missing';
+        return {
+            status,
+            summary: status === 'adequate'
+                ? 'No explicit proof requirements were needed for this receipt.'
+                : 'No Proof Contract requirements were available for the changed files.',
+            requirements: [],
+            gaps: status === 'adequate'
+                ? []
+                : ['No Proof Contract requirements were available for the changed files.'],
+            weakRequirements: [],
+            missingRequirements: status === 'missing' ? ['missing-contract: changed files'] : [],
+            staleRequirements: [],
+            failedRequirements: [],
+        };
+    }
+    const results = requirements.map((requirement) => proofRequirementResult(requirement, input.scope, input.proofStatus));
+    const status = aggregateProofSufficiency(results);
+    const gaps = unique(results.flatMap((result) => result.gaps));
+    return {
+        status,
+        summary: proofSufficiencySummary(status, results),
+        requirements: results,
+        gaps,
+        weakRequirements: requirementIdsByStatus(results, 'weak'),
+        missingRequirements: requirementIdsByStatus(results, 'missing'),
+        staleRequirements: requirementIdsByStatus(results, 'stale'),
+        failedRequirements: requirementIdsByStatus(results, 'failed'),
+    };
+}
+export function proofRelevantChangedFiles(files) {
+    return files.filter((file) => !isGeneratedPath(file));
+}
+export function isDocumentationPath(file) {
+    return (file === 'README.md' ||
+        file.startsWith('docs/') ||
+        file.endsWith('.md') ||
+        file.endsWith('.mdx'));
+}
+export function isGeneratedPath(file) {
+    return (file.startsWith('.projscan/') ||
+        file.startsWith('.projscan-memory/') ||
+        file.startsWith('.agentloop/') ||
+        file.startsWith('.agentflight/') ||
+        file.startsWith('coverage/') ||
+        file.startsWith('dist/'));
+}
+export function isSecuritySensitivePath(file) {
+    return (file === '.env' ||
+        file.startsWith('.env.') ||
+        file.includes('/auth') ||
+        file.includes('/security') ||
+        file.includes('/secrets') ||
+        file.endsWith('.pem') ||
+        file.endsWith('.key'));
+}
+export function isConfigPath(file) {
+    const basename = path.posix.basename(file);
+    return (CONFIG_BASENAMES.has(basename) ||
+        CONFIG_SUFFIXES.some((suffix) => basename.endsWith(suffix)) ||
+        file.startsWith('.github/'));
+}
+export function isTestPath(file) {
+    return (file.startsWith('test/') ||
+        file.startsWith('tests/') ||
+        file.includes('/__tests__/') ||
+        /\.test\.[cm]?[jt]sx?$/.test(file) ||
+        /\.spec\.[cm]?[jt]sx?$/.test(file));
+}
+export function isProductionPath(file) {
+    return (file.startsWith('src/') ||
+        file.startsWith('app/') ||
+        file.startsWith('lib/') ||
+        file.startsWith('packages/') ||
+        file.startsWith('apps/'));
+}
+function proofRequirementsForReceipt(contract) {
+    if (contract.proofRequirements?.length)
+        return contract.proofRequirements;
+    return buildProofRequirements({
+        allowedFiles: contract.allowedFiles,
+        likelyTests: contract.likelyTests,
+        riskyContracts: contract.riskyContracts,
+        proofCommands: contract.proofCommands,
+    });
+}
+function missingContractProofSufficiency(scope) {
+    const files = proofRelevantChangedFiles(scope.changedFiles);
+    const requirement = {
+        id: 'missing-contract: changed files',
+        surface: 'unknown',
+        status: 'missing',
+        files,
+        requiredCommands: ['projscan prove --intent "<change>" --save-contract .projscan/proof-contract.json'],
+        matchedCommands: [],
+        requiredReview: 'review changed files without a saved Proof Contract',
+        reason: 'No Proof Contract was available to map changed files to required proof.',
+        gaps: ['missing-contract: changed files is missing proof.'],
+    };
+    return {
+        status: 'missing',
+        summary: 'missing: no Proof Contract requirements were available for the changed files',
+        requirements: files.length > 0 ? [requirement] : [],
+        gaps: ['No Proof Contract requirements were available for the changed files.'],
+        weakRequirements: [],
+        missingRequirements: files.length > 0 ? [requirement.id] : ['missing-contract: changed files'],
+        staleRequirements: [],
+        failedRequirements: [],
+    };
+}
+function proofRequirementResult(requirement, scope, proofStatus) {
+    const requiredCommandSet = new Set(requirement.requiredCommands);
+    const changedFileSet = new Set(scope.changedFiles);
+    const commandEvidence = proofStatus.commandEvidence.filter((entry) => requiredCommandSet.has(entry.command));
+    const matchedCommands = commandEvidence.map((entry) => entry.command);
+    const touchedFiles = requirement.files.filter((file) => changedFileSet.has(file));
+    const surfaceTouched = scope.classifications.some((classification) => riskSurfaceForFile(classification.file, classification.kind) === requirement.surface);
+    const freshPassed = commandEvidence.filter((entry) => entry.status === 'passed' && entry.fresh);
+    const freshFailed = commandEvidence.filter((entry) => entry.status === 'failed' && entry.fresh);
+    const stale = commandEvidence.filter((entry) => entry.status === 'stale');
+    const trustedFreshPassed = freshPassed.filter((entry) => isTrustedProofSource(entry.source));
+    const status = proofRequirementStatus({
+        requirement,
+        touchedFiles,
+        surfaceTouched,
+        freshPassedCount: freshPassed.length,
+        trustedFreshPassedCount: trustedFreshPassed.length,
+        freshFailedCount: freshFailed.length,
+        staleCount: stale.length,
+        matchedCount: matchedCommands.length,
+        expectedTestTouched: scope.expectedTests.length > 0,
+    });
+    return {
+        id: requirement.id,
+        surface: requirement.surface,
+        status,
+        files: requirement.files,
+        requiredCommands: requirement.requiredCommands,
+        matchedCommands,
+        requiredReview: requirement.requiredReview,
+        reason: requirement.reason,
+        gaps: proofRequirementGaps({
+            requirement,
+            status,
+            touchedFiles,
+            surfaceTouched,
+            matchedCommands,
+            expectedTestTouched: scope.expectedTests.length > 0,
+        }),
+        ...(requirement.source ? { source: requirement.source } : {}),
+        ...(requirement.recipeId ? { recipeId: requirement.recipeId } : {}),
+        ...(requirement.requiredReviewers ? { requiredReviewers: requirement.requiredReviewers } : {}),
+    };
+}
+function proofRequirementStatus(input) {
+    if (input.freshFailedCount > 0)
+        return 'failed';
+    if (input.requirement.source === 'recipe') {
+        if (input.matchedCount === 0)
+            return 'missing';
+        if (input.freshPassedCount === 0 && input.staleCount > 0)
+            return 'stale';
+        if (input.freshPassedCount === 0)
+            return 'missing';
+        return 'strong';
+    }
+    if (input.requirement.requiredCommands.length === 0) {
+        return input.requirement.surface === 'documentation' || input.requirement.surface === 'generated'
+            ? 'adequate'
+            : 'weak';
+    }
+    if (input.matchedCount === 0)
+        return 'missing';
+    if (input.freshPassedCount === 0 && input.staleCount > 0)
+        return 'stale';
+    if (input.freshPassedCount === 0)
+        return 'missing';
+    if (input.trustedFreshPassedCount === 0)
+        return 'weak';
+    if (input.requirement.surface === 'production') {
+        if (input.touchedFiles.length > 0 && input.expectedTestTouched)
+            return 'strong';
+        if (input.touchedFiles.length > 0)
+            return 'adequate';
+        return 'weak';
+    }
+    if (input.touchedFiles.length > 0 || input.surfaceTouched)
+        return 'strong';
+    return 'adequate';
+}
+function isTrustedProofSource(source) {
+    return source === 'prove-run' || source === 'mission' || source === 'external';
+}
+function proofRequirementGaps(input) {
+    if (input.status === 'strong' || input.status === 'adequate')
+        return [];
+    if (input.requirement.source === 'recipe') {
+        const label = `recipe ${input.requirement.recipeId ?? input.requirement.id}`;
+        if (input.status === 'failed')
+            return [`${label} has failed proof.`];
+        if (input.status === 'stale')
+            return [`${label} has stale proof after newer edits.`];
+        if (input.status === 'missing')
+            return [`${label} is missing proof.`];
+        return [`${label} has weak proof mapping.`];
+    }
+    const label = `${input.requirement.surface} requirement ${input.requirement.id}`;
+    if (input.status === 'failed')
+        return [`${label} has failed proof.`];
+    if (input.status === 'stale')
+        return [`${label} has stale proof after newer edits.`];
+    if (input.status === 'missing')
+        return [`${label} is missing proof.`];
+    const gaps = [`${label} has weak proof mapping.`];
+    if (input.requirement.surface === 'production' && !input.expectedTestTouched) {
+        gaps.push(`${label} has no changed expected test evidence.`);
+    }
+    if (input.touchedFiles.length === 0 && !input.surfaceTouched && input.matchedCommands.length > 0) {
+        gaps.push(`${label} has proof commands but no changed file on that surface.`);
+    }
+    return gaps;
+}
+function aggregateProofSufficiency(results) {
+    const severity = [
+        'failed',
+        'stale',
+        'missing',
+        'weak',
+        'adequate',
+        'strong',
+    ];
+    return severity.find((status) => results.some((result) => result.status === status)) ?? 'adequate';
+}
+function proofSufficiencySummary(status, results) {
+    const counts = new Map();
+    for (const result of results)
+        counts.set(result.status, (counts.get(result.status) ?? 0) + 1);
+    const parts = [...counts.entries()]
+        .map(([entryStatus, count]) => `${count} ${entryStatus}`)
+        .join(', ');
+    return `${status}: ${parts || 'no'} proof requirement(s) evaluated`;
+}
+function requirementIdsByStatus(results, status) {
+    return results.filter((result) => result.status === status).map((result) => result.id);
+}
+function orderedSurfaces(filesBySurface) {
+    const preferred = [
+        'security',
+        'dependency',
+        'config',
+        'public-api',
+        'cli',
+        'mcp',
+        'production',
+        'test',
+        'documentation',
+        'generated',
+        'unknown',
+    ];
+    return preferred.filter((surface) => filesBySurface.has(surface));
+}
+function requirementCommandsForSurface(surface, testCommands, supportCommands) {
+    if (surface === 'documentation' || surface === 'generated')
+        return [];
+    if (surface === 'config' || surface === 'security' || surface === 'dependency') {
+        return unique([...testCommands, ...supportCommands]);
+    }
+    return unique([...testCommands, ...supportCommands.slice(0, 1)]);
+}
+function isTestProofCommand(command) {
+    return /^npm (?:run )?test\b/.test(command);
+}
+function proofRequirementId(surface, files) {
+    const filePart = files.length > 0 ? slug(files.slice(0, 3).join('-')) : 'contract';
+    return `${surface}:${filePart}`;
+}
+function requiredReviewForSurface(surface) {
+    switch (surface) {
+        case 'production':
+            return 'review changed production behavior and matching regression proof';
+        case 'test':
+            return 'review test intent and confirm it covers the changed behavior';
+        case 'security':
+            return 'require explicit security review and fresh proof';
+        case 'config':
+            return 'require config-owner review and preflight proof';
+        case 'dependency':
+            return 'require dependency or lockfile review and install/test proof';
+        case 'public-api':
+            return 'review public API compatibility and migration risk';
+        case 'cli':
+            return 'review CLI behavior and documented command output';
+        case 'mcp':
+            return 'review MCP tool contract compatibility';
+        case 'documentation':
+            return 'confirm docs describe the same proof slice';
+        case 'generated':
+            return 'confirm generated proof artifacts are local and ignored';
+        default:
+            return 'review the changed surface and require focused proof';
+    }
+}
+function proofRequirementReason(surface, files) {
+    const fileSummary = files.length > 0 ? files.join(', ') : 'contract-only evidence';
+    return `${surface} surface requires proof because it covers ${fileSummary}.`;
+}
+function riskyContractSurfaces(contracts) {
+    const surfaces = [];
+    for (const contract of contracts.map((value) => value.toLowerCase())) {
+        if (contract.includes('cli'))
+            surfaces.push('cli');
+        if (contract.includes('mcp'))
+            surfaces.push('mcp');
+        if (contract.includes('public api') || contract.includes('types'))
+            surfaces.push('public-api');
+    }
+    return unique(surfaces);
+}
+function riskSurfaceForFile(file, classificationKind) {
+    if (classificationKind === 'expected-test' || classificationKind === 'unexpected-test')
+        return 'test';
+    if (classificationKind === 'documentation')
+        return 'documentation';
+    if (classificationKind === 'security-sensitive')
+        return 'security';
+    if (classificationKind === 'generated')
+        return 'generated';
+    if (isGeneratedPath(file))
+        return 'generated';
+    if (isTestPath(file))
+        return 'test';
+    if (isDocumentationPath(file))
+        return 'documentation';
+    if (isSecuritySensitivePath(file))
+        return 'security';
+    if (isDependencyPath(file))
+        return 'dependency';
+    if (isConfigPath(file))
+        return 'config';
+    if (file.startsWith('src/cli/'))
+        return 'cli';
+    if (file.startsWith('src/mcp/'))
+        return 'mcp';
+    if (isPublicApiPath(file))
+        return 'public-api';
+    if (isProductionPath(file))
+        return 'production';
+    return 'unknown';
+}
+function isDependencyPath(file) {
+    const basename = path.posix.basename(file);
+    return (basename === 'package.json' ||
+        basename === 'package-lock.json' ||
+        basename === 'pnpm-lock.yaml' ||
+        basename === 'yarn.lock');
+}
+function isPublicApiPath(file) {
+    return (file === 'src/types.ts' ||
+        file.startsWith('src/types/') ||
+        file.startsWith('src/public') ||
+        file.includes('/types/'));
+}
+function unique(values) {
+    return [...new Set(values)];
+}
+function slug(value) {
+    return value.toLowerCase().replace(/[^a-z0-9]+/g, '-').replace(/^-|-$/g, '').slice(0, 80);
+}
+//# sourceMappingURL=proofSufficiency.js.map

package/dist/core/proofSufficiency.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proofSufficiency.js","sourceRoot":"","sources":["../../src/core/proofSufficiency.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAa7B,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC;IAC/B,cAAc;IACd,mBAAmB;IACnB,gBAAgB;IAChB,WAAW;IACX,eAAe;CAChB,CAAC,CAAC;AACH,MAAM,eAAe,GAAG,CAAC,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC;AAEnF,MAAM,UAAU,sBAAsB,CAAC,KAKtC;IACC,MAAM,IAAI,GAA4B,EAAE,CAAC;IACzC,MAAM,YAAY,GAAG,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;IACpE,MAAM,eAAe,GAAG,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9F,MAAM,cAAc,GAAG,IAAI,GAAG,EAA8B,CAAC;IAC7D,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QACtC,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,OAAO,KAAK,MAAM;YAAE,SAAS;QACjC,cAAc,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IACpG,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,eAAe,CAAC,cAAc,CAAC,EAAE,CAAC;QACtD,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QACxD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACjC,MAAM,gBAAgB,GAAG,6BAA6B,CAAC,OAAO,EAAE,YAAY,EAAE,eAAe,CAAC,CAAC;QAC/F,IAAI,CAAC,IAAI,CAAC;YACR,EAAE,EAAE,kBAAkB,CAAC,OAAO,EAAE,KAAK,CAAC;YACtC,OAAO;YACP,KAAK;YACL,gBAAgB;YAChB,cAAc,EAAE,wBAAwB,CAAC,OAAO,CAAC;YACjD,MAAM,EAAE,sBAAsB,CAAC,OAAO,EAAE,KAAK,CAAC;SAC/C,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,qBAAqB,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;QAClE,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,KAAK,OAAO,CAAC;YAAE,SAAS;QAC1D,IAAI,CAAC,IAAI,CAAC;YACR,EAAE,EAAE,kBAAkB,CAAC,OAAO,EAAE,EAAE,CAAC;YACnC,OAAO;YACP,KAAK,EAAE,EAAE;YACT,gBAAgB,EAAE,6BAA6B,CAAC,OAAO,EAAE,YAAY,EAAE,eAAe,CAAC;YACvF,cAAc,EAAE,wBAAwB,CAAC,OAAO,CAAC;YACjD,MAAM,EAAE,oCAAoC,OAAO,GAAG;SACvD,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAInC;IACC,IAAI,CAAC,KAAK,CAAC,QAAQ;QAAE,OAAO,+BAA+B,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACzE,MAAM,YAAY,GAAG,2BAA2B,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACjE,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,MAAM,MAAM,GACV,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,iBAAiB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;QACpE,OAAO;YACL,MAAM;YACN,OAAO,EACL,MAAM,KAAK,UAAU;gBACnB,CAAC,CAAC,8DAA8D;gBAChE,CAAC,CAAC,sEAAsE;YAC5E,YAAY,EAAE,EAAE;YAChB,IAAI,EACF,MAAM,KAAK,UAAU;gBACnB,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,CAAC,sEAAsE,CAAC;YAC9E,gBAAgB,EAAE,EAAE;YACpB,mBAAmB,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,CAAC,EAAE;YACpF,iBAAiB,EAAE,EAAE;YACrB,kBAAkB,EAAE,EAAE;SACvB,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAC/C,sBAAsB,CAAC,WAAW,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,WAAW,CAAC,CACpE,CAAC;IACF,MAAM,MAAM,GAAG,yBAAyB,CAAC,OAAO,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9D,OAAO;QACL,MAAM;QACN,OAAO,EAAE,uBAAuB,CAAC,MAAM,EAAE,OAAO,CAAC;QACjD,YAAY,EAAE,OAAO;QACrB,IAAI;QACJ,gBAAgB,EAAE,sBAAsB,CAAC,OAAO,EAAE,MAAM,CAAC;QACzD,mBAAmB,EAAE,sBAAsB,CAAC,OAAO,EAAE,SAAS,CAAC;QAC/D,iBAAiB,EAAE,sBAAsB,CAAC,OAAO,EAAE,OAAO,CAAC;QAC3D,kBAAkB,EAAE,sBAAsB,CAAC,OAAO,EAAE,QAAQ,CAAC;KAC9D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,KAAe;IACvD,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,OAAO,CACL,IAAI,KAAK,WAAW;QACpB,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QACxB,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QACpB,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CACtB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,OAAO,CACL,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC;QAC7B,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC;QACpC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC;QAC9B,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC;QAChC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;QAC5B,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CACzB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,IAAY;IAClD,OAAO,CACL,IAAI,KAAK,MAAM;QACf,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QACxB,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;QACtB,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;QAC1B,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;QACzB,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QACrB,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CACtB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC3C,OAAO,CACL,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC9B,eAAe,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC3D,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAC5B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,OAAO,CACL,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QACxB,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;QACzB,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;QAC5B,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC;QAClC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CACnC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,OAAO,CACL,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;QACvB,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;QACvB,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;QACvB,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;QAC5B,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CACzB,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAAC,QAAuB;IAC1D,IAAI,QAAQ,CAAC,iBAAiB,EAAE,MAAM;QAAE,OAAO,QAAQ,CAAC,iBAAiB,CAAC;IAC1E,OAAO,sBAAsB,CAAC;QAC5B,YAAY,EAAE,QAAQ,CAAC,YAAY;QACnC,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,cAAc,EAAE,QAAQ,CAAC,cAAc;QACvC,aAAa,EAAE,QAAQ,CAAC,aAAa;KACtC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,+BAA+B,CACtC,KAA4B;IAE5B,MAAM,KAAK,GAAG,yBAAyB,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAC5D,MAAM,WAAW,GAAgC;QAC/C,EAAE,EAAE,iCAAiC;QACrC,OAAO,EAAE,SAAS;QAClB,MAAM,EAAE,SAAS;QACjB,KAAK;QACL,gBAAgB,EAAE,CAAC,kFAAkF,CAAC;QACtG,eAAe,EAAE,EAAE;QACnB,cAAc,EAAE,qDAAqD;QACrE,MAAM,EAAE,yEAAyE;QACjF,IAAI,EAAE,CAAC,mDAAmD,CAAC;KAC5D,CAAC;IACF,OAAO;QACL,MAAM,EAAE,SAAS;QACjB,OAAO,EAAE,8EAA8E;QACvF,YAAY,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE;QACnD,IAAI,EAAE,CAAC,sEAAsE,CAAC;QAC9E,gBAAgB,EAAE,EAAE;QACpB,mBAAmB,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,iCAAiC,CAAC;QAC9F,iBAAiB,EAAE,EAAE;QACrB,kBAAkB,EAAE,EAAE;KACvB,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,WAAkC,EAClC,KAA4B,EAC5B,WAAwC;IAExC,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAC;IACjE,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACnD,MAAM,eAAe,GAAG,WAAW,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CACnE,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CACtC,CAAC;IACF,MAAM,eAAe,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACtE,MAAM,YAAY,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAClF,MAAM,cAAc,GAAG,KAAK,CAAC,eAAe,CAAC,IAAI,CAC/C,CAAC,cAAc,EAAE,EAAE,CAAC,kBAAkB,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,KAAK,WAAW,CAAC,OAAO,CACzG,CAAC;IACF,MAAM,WAAW,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC;IAChG,MAAM,WAAW,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC;IAChG,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC;IAC1E,MAAM,kBAAkB,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7F,MAAM,MAAM,GAAG,sBAAsB,CAAC;QACpC,WAAW;QACX,YAAY;QACZ,cAAc;QACd,gBAAgB,EAAE,WAAW,CAAC,MAAM;QACpC,uBAAuB,EAAE,kBAAkB,CAAC,MAAM;QAClD,gBAAgB,EAAE,WAAW,CAAC,MAAM;QACpC,UAAU,EAAE,KAAK,CAAC,MAAM;QACxB,YAAY,EAAE,eAAe,CAAC,MAAM;QACpC,mBAAmB,EAAE,KAAK,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;KACpD,CAAC,CAAC;IACH,OAAO;QACL,EAAE,EAAE,WAAW,CAAC,EAAE;QAClB,OAAO,EAAE,WAAW,CAAC,OAAO;QAC5B,MAAM;QACN,KAAK,EAAE,WAAW,CAAC,KAAK;QACxB,gBAAgB,EAAE,WAAW,CAAC,gBAAgB;QAC9C,eAAe;QACf,cAAc,EAAE,WAAW,CAAC,cAAc;QAC1C,MAAM,EAAE,WAAW,CAAC,MAAM;QAC1B,IAAI,EAAE,oBAAoB,CAAC;YACzB,WAAW;YACX,MAAM;YACN,YAAY;YACZ,cAAc;YACd,eAAe;YACf,mBAAmB,EAAE,KAAK,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;SACpD,CAAC;QACF,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7D,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnE,GAAG,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,WAAW,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC/F,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,KAU/B;IACC,IAAI,KAAK,CAAC,gBAAgB,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAC;IAChD,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC1C,IAAI,KAAK,CAAC,YAAY,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC/C,IAAI,KAAK,CAAC,gBAAgB,KAAK,CAAC,IAAI,KAAK,CAAC,UAAU,GAAG,CAAC;YAAE,OAAO,OAAO,CAAC;QACzE,IAAI,KAAK,CAAC,gBAAgB,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QACnD,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,KAAK,CAAC,WAAW,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpD,OAAO,KAAK,CAAC,WAAW,CAAC,OAAO,KAAK,eAAe,IAAI,KAAK,CAAC,WAAW,CAAC,OAAO,KAAK,WAAW;YAC/F,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,MAAM,CAAC;IACb,CAAC;IACD,IAAI,KAAK,CAAC,YAAY,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/C,IAAI,KAAK,CAAC,gBAAgB,KAAK,CAAC,IAAI,KAAK,CAAC,UAAU,GAAG,CAAC;QAAE,OAAO,OAAO,CAAC;IACzE,IAAI,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACnD,IAAI,KAAK,CAAC,uBAAuB,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACvD,IAAI,KAAK,CAAC,WAAW,CAAC,OAAO,KAAK,YAAY,EAAE,CAAC;QAC/C,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,mBAAmB;YAAE,OAAO,QAAQ,CAAC;QAChF,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,UAAU,CAAC;QACrD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,cAAc;QAAE,OAAO,QAAQ,CAAC;IAC3E,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,oBAAoB,CAAC,MAA0B;IACtD,OAAO,MAAM,KAAK,WAAW,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,UAAU,CAAC;AACjF,CAAC;AAED,SAAS,oBAAoB,CAAC,KAO7B;IACC,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU;QAAE,OAAO,EAAE,CAAC;IACxE,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,UAAU,KAAK,CAAC,WAAW,CAAC,QAAQ,IAAI,KAAK,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC;QAC7E,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ;YAAE,OAAO,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;QACrE,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO;YAAE,OAAO,CAAC,GAAG,KAAK,qCAAqC,CAAC,CAAC;QACrF,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;QACtE,OAAO,CAAC,GAAG,KAAK,0BAA0B,CAAC,CAAC;IAC9C,CAAC;IACD,MAAM,KAAK,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC,OAAO,gBAAgB,KAAK,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC;IACjF,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;IACrE,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO;QAAE,OAAO,CAAC,GAAG,KAAK,qCAAqC,CAAC,CAAC;IACrF,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;IACtE,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,0BAA0B,CAAC,CAAC;IAClD,IAAI,KAAK,CAAC,WAAW,CAAC,OAAO,KAAK,YAAY,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC;QAC7E,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,yCAAyC,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,IAAI,KAAK,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjG,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,0DAA0D,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,yBAAyB,CAChC,OAAsC;IAEtC,MAAM,QAAQ,GAAkC;QAC9C,QAAQ;QACR,OAAO;QACP,SAAS;QACT,MAAM;QACN,UAAU;QACV,QAAQ;KACT,CAAC;IACF,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,IAAI,UAAU,CAAC;AACrG,CAAC;AAED,SAAS,uBAAuB,CAC9B,MAAmC,EACnC,OAAsC;IAEtC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuC,CAAC;IAC9D,KAAK,MAAM,MAAM,IAAI,OAAO;QAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9F,MAAM,KAAK,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;SAChC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,IAAI,WAAW,EAAE,CAAC;SACxD,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,OAAO,GAAG,MAAM,KAAK,KAAK,IAAI,IAAI,iCAAiC,CAAC;AACtE,CAAC;AAED,SAAS,sBAAsB,CAC7B,OAAsC,EACtC,MAAmC;IAEnC,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,eAAe,CAAC,cAA+C;IACtE,MAAM,SAAS,GAAuB;QACpC,UAAU;QACV,YAAY;QACZ,QAAQ;QACR,YAAY;QACZ,KAAK;QACL,KAAK;QACL,YAAY;QACZ,MAAM;QACN,eAAe;QACf,WAAW;QACX,SAAS;KACV,CAAC;IACF,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,6BAA6B,CACpC,OAAyB,EACzB,YAAsB,EACtB,eAAyB;IAEzB,IAAI,OAAO,KAAK,eAAe,IAAI,OAAO,KAAK,WAAW;QAAE,OAAO,EAAE,CAAC;IACtE,IAAI,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,UAAU,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;QAC/E,OAAO,MAAM,CAAC,CAAC,GAAG,YAAY,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,MAAM,CAAC,CAAC,GAAG,YAAY,EAAE,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAe;IACzC,OAAO,sBAAsB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAyB,EAAE,KAAe;IACpE,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;IACnF,OAAO,GAAG,OAAO,IAAI,QAAQ,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,wBAAwB,CAAC,OAAyB;IACzD,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,YAAY;YACf,OAAO,kEAAkE,CAAC;QAC5E,KAAK,MAAM;YACT,OAAO,+DAA+D,CAAC;QACzE,KAAK,UAAU;YACb,OAAO,kDAAkD,CAAC;QAC5D,KAAK,QAAQ;YACX,OAAO,iDAAiD,CAAC;QAC3D,KAAK,YAAY;YACf,OAAO,8DAA8D,CAAC;QACxE,KAAK,YAAY;YACf,OAAO,oDAAoD,CAAC;QAC9D,KAAK,KAAK;YACR,OAAO,mDAAmD,CAAC;QAC7D,KAAK,KAAK;YACR,OAAO,wCAAwC,CAAC;QAClD,KAAK,eAAe;YAClB,OAAO,4CAA4C,CAAC;QACtD,KAAK,WAAW;YACd,OAAO,yDAAyD,CAAC;QACnE;YACE,OAAO,sDAAsD,CAAC;IAClE,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAyB,EAAE,KAAe;IACxE,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,wBAAwB,CAAC;IACnF,OAAO,GAAG,OAAO,6CAA6C,WAAW,GAAG,CAAC;AAC/E,CAAC;AAED,SAAS,qBAAqB,CAAC,SAAmB;IAChD,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;QACrE,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnD,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnD,IAAI,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACjG,CAAC;IACD,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAY,EACZ,kBAA2D;IAE3D,IAAI,kBAAkB,KAAK,eAAe,IAAI,kBAAkB,KAAK,iBAAiB;QAAE,OAAO,MAAM,CAAC;IACtG,IAAI,kBAAkB,KAAK,eAAe;QAAE,OAAO,eAAe,CAAC;IACnE,IAAI,kBAAkB,KAAK,oBAAoB;QAAE,OAAO,UAAU,CAAC;IACnE,IAAI,kBAAkB,KAAK,WAAW;QAAE,OAAO,WAAW,CAAC;IAC3D,IAAI,eAAe,CAAC,IAAI,CAAC;QAAE,OAAO,WAAW,CAAC;IAC9C,IAAI,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC;IACpC,IAAI,mBAAmB,CAAC,IAAI,CAAC;QAAE,OAAO,eAAe,CAAC;IACtD,IAAI,uBAAuB,CAAC,IAAI,CAAC;QAAE,OAAO,UAAU,CAAC;IACrD,IAAI,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,YAAY,CAAC;IAChD,IAAI,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,QAAQ,CAAC;IACxC,IAAI,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9C,IAAI,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9C,IAAI,eAAe,CAAC,IAAI,CAAC;QAAE,OAAO,YAAY,CAAC;IAC/C,IAAI,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,YAAY,CAAC;IAChD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY;IACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC3C,OAAO,CACL,QAAQ,KAAK,cAAc;QAC3B,QAAQ,KAAK,mBAAmB;QAChC,QAAQ,KAAK,gBAAgB;QAC7B,QAAQ,KAAK,WAAW,CACzB,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,IAAY;IACnC,OAAO,CACL,IAAI,KAAK,cAAc;QACvB,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC;QAC7B,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC;QAC7B,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CACzB,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAI,MAAW;IAC5B,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,IAAI,CAAC,KAAa;IACzB,OAAO,KAAK,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAC5F,CAAC"}

package/dist/core/prove.d.ts

@@ -1,3 +1,6 @@
+import type { ChangedFilesResult } from '../utils/changedFiles.js';
+import type { ProofRecipeConfig } from '../types/config.js';
+import type { ProofLedgerSource } from '../types/proofLedger.js';
 import type { ProveContract, ProveReport } from '../types/prove.js';
 export interface ComputeProveOptions {
     intent?: string;
@@ -16,5 +19,8 @@ export interface ComputeProveOptions {
     logPath?: string;
     runCommand?: string[];
     runTimeoutMs?: number;
+    proofRecipes?: ProofRecipeConfig[];
+    changedFiles?: ChangedFilesResult;
+    recordSource?: ProofLedgerSource;
 }
 export declare function computeProve(rootPath: string, options?: ComputeProveOptions): Promise<ProveReport>;