@rpamis/comet 0.4.0-beta.1 → 0.4.0-beta.11

package/dist/domains/comet-native/native-verification-runtime.js

@@ -0,0 +1,609 @@
+import path from 'node:path';
+import { parseNativeVerificationMachineBlock, } from './native-acceptance.js';
+import { readNativeBoundedTextFile } from './native-bounded-file.js';
+import { isNativeHighRiskScope } from './native-independent-review.js';
+import { loadNativeReviewTrustPolicy, trustedNativeIdentity } from './native-review-trust.js';
+import { nativeChangeDir } from './native-change.js';
+import { collectNativeContractFiles } from './native-contract-files.js';
+import { readNativeImplementationScopeBundle, readNativePartialAllowance, readNativeVerificationEvidence, readNativeVerificationReceipt, readNativeWaiverReceipt, nativeEvidenceRef, writeNativeVerificationReportSnapshot, writeNativeVerificationEvidence, } from './native-evidence-storage.js';
+import { createNativeCurrentContentSnapshot } from './native-snapshot.js';
+import { buildNativeImplementationScopeBundle, } from './native-verification-scope.js';
+import { buildNativeAcceptanceEvidenceTrace, buildNativeVerificationEvidenceEnvelope, } from './native-verification-evidence.js';
+import { nativeReceiptBindingsMatch, validateNativeReviewEvidenceGraph, validateNativeStaticReceiptDependency, } from './native-verification-receipt-runtime.js';
+import { nativeArtifactBindingHash, nativeBlockedCheckId, } from './native-verification-receipt.js';
+function projectionManifest(projection) {
+    return {
+        schema: 'comet.native.content-snapshot.v1',
+        origin: projection.origin,
+        ...(projection.capture ? { capture: projection.capture } : {}),
+        createdAt: '1970-01-01T00:00:00.000Z',
+        complete: projection.complete,
+        limits: projection.limits,
+        ...(projection.policy ? { policy: projection.policy } : {}),
+        entries: projection.entries,
+        omitted: projection.omitted,
+        omittedCount: projection.omittedCount,
+        ...(projection.omissionOverflow ? { omissionOverflow: projection.omissionOverflow } : {}),
+    };
+}
+function nativeRootRef(paths) {
+    const value = path.relative(paths.projectRoot, paths.nativeRoot).replaceAll('\\', '/');
+    if (!value || value === '..' || value.startsWith('../') || path.posix.isAbsolute(value)) {
+        throw new Error('Native root is outside the project root');
+    }
+    return value;
+}
+async function currentProjectionHash(options) {
+    const baseline = projectionManifest(options.bundle.baseline);
+    const current = await createNativeCurrentContentSnapshot(options.paths, baseline, {
+        origin: 'explicit',
+        now: options.now,
+    });
+    return buildNativeImplementationScopeBundle({
+        baseline,
+        current,
+        contractHash: options.bundle.scope.contractHash,
+        declaredArtifacts: options.bundle.scope.declaredArtifacts,
+        noCodeReason: options.bundle.scope.noCodeReason,
+    }).scope.currentProjectionHash;
+}
+async function inspectCurrentScopeFacts(options) {
+    if (!options.state.implementation_scope) {
+        throw new Error('Native change has no implementation scope');
+    }
+    const bundle = await readNativeImplementationScopeBundle(options.paths, options.state.name, options.state.implementation_scope);
+    const contract = await collectNativeContractFiles({
+        changeDir: nativeChangeDir(options.paths, options.state.name),
+        briefRef: options.state.brief,
+        specChanges: options.state.spec_changes,
+    });
+    const currentHash = await currentProjectionHash({
+        paths: options.paths,
+        bundle,
+        now: options.now,
+    });
+    const findingCodes = [];
+    if (contract.contract.contractHash !== bundle.scope.contractHash) {
+        findingCodes.push('verification-contract-stale');
+    }
+    if (currentHash !== bundle.scope.currentProjectionHash) {
+        findingCodes.push('verification-implementation-stale');
+    }
+    return {
+        bundle,
+        contract: contract.contract,
+        contractHash: contract.contract.contractHash,
+        acceptanceHash: contract.contract.acceptanceHash,
+        findingCodes,
+    };
+}
+/**
+ * Recomputes the facts bound by the Build implementation scope without requiring a Verify report.
+ * Verify uses this to retreat safely when its contract or project snapshot changes before an
+ * evidence envelope can be created.
+ */
+export async function inspectNativeImplementationScopeFreshness(options) {
+    if (!options.state.implementation_scope) {
+        return { freshness: 'missing', findingCodes: ['verification-evidence-missing'] };
+    }
+    try {
+        const facts = await inspectCurrentScopeFacts(options);
+        const findingCodes = [...new Set(facts.findingCodes)].sort();
+        return {
+            freshness: findingCodes.length === 0 ? 'fresh' : 'stale',
+            findingCodes,
+        };
+    }
+    catch {
+        return { freshness: 'invalid', findingCodes: ['verification-evidence-invalid'] };
+    }
+}
+async function reportEvidence(options) {
+    const report = await readNativeBoundedTextFile({
+        root: nativeChangeDir(options.paths, options.state.name),
+        ref: options.reportRef,
+    });
+    return {
+        ref: report.ref,
+        hash: report.hash,
+        text: report.text,
+        entries: parseNativeVerificationMachineBlock(report.text),
+    };
+}
+function checkReceiptBindingCodes(options) {
+    const { receipt, implementationScope } = options;
+    const codes = [];
+    const selectedFiles = implementationScope.scope.changes.filter((change) => change.after !== null);
+    const selectedBytes = selectedFiles.reduce((total, change) => total + change.after.size, 0);
+    if (receipt.stale ||
+        receipt.sourceRevision !== options.sourceRevision ||
+        receipt.contract.expectedHash !== options.contractHash ||
+        receipt.contract.beforeHash !== options.contractHash ||
+        receipt.contract.afterHash !== options.contractHash ||
+        receipt.implementation.scopeHash !== implementationScope.scope.scopeHash ||
+        receipt.implementation.expectedSnapshotHash !==
+            implementationScope.scope.currentProjectionHash ||
+        receipt.implementation.beforeSnapshotHash !== implementationScope.scope.currentProjectionHash ||
+        receipt.implementation.afterSnapshotHash !== implementationScope.scope.currentProjectionHash ||
+        receipt.counts.filesSelected !== selectedFiles.length ||
+        (receipt.status === 'passed' &&
+            (receipt.counts.filesScanned + receipt.counts.binaryFilesSkipped !== selectedFiles.length ||
+                receipt.counts.bytesScanned !== selectedBytes))) {
+        codes.push('verification-receipt-stale');
+    }
+    if (options.result === 'pass' && receipt.status !== 'passed') {
+        codes.push('verification-receipt-outcome-mismatch');
+    }
+    return codes;
+}
+function verificationReceiptBindings(options) {
+    return {
+        change: options.state.name,
+        sourceRevision: options.sourceRevision ?? options.state.revision,
+        contractHash: options.contractHash,
+        scopeHash: options.implementationScope.scope.scopeHash,
+        snapshotHash: options.implementationScope.scope.currentProjectionHash,
+        artifactHash: nativeArtifactBindingHash(options.implementationScope.scope.declaredArtifacts),
+    };
+}
+async function validateTypedReceipt(options) {
+    const receipt = await readNativeVerificationReceipt(options.paths, options.state.name, options.ref);
+    if (receipt.role !== options.role ||
+        !nativeReceiptBindingsMatch(receipt, options.expectedBindings) ||
+        (options.acceptanceId !== undefined && !receipt.acceptanceIds.includes(options.acceptanceId))) {
+        throw new Error('Native verification receipt coverage or binding is invalid');
+    }
+    if (options.result === 'pass' && receipt.status !== 'passed') {
+        throw new Error(`Native verification receipt is ${receipt.status}`);
+    }
+    const check = await validateNativeStaticReceiptDependency({
+        paths: options.paths,
+        state: options.state,
+        receipt,
+    });
+    if (check) {
+        const codes = checkReceiptBindingCodes({
+            receipt: check,
+            sourceRevision: options.expectedBindings.sourceRevision,
+            result: options.result,
+            contractHash: options.contractHash,
+            implementationScope: options.implementationScope,
+        });
+        if (codes.length > 0) {
+            throw new Error(`Native static receipt dependency is invalid: ${codes.join(', ')}`);
+        }
+    }
+    return receipt;
+}
+async function validateV2ReceiptGraph(options) {
+    const expectedBindings = verificationReceiptBindings({
+        state: options.state,
+        contractHash: options.contractHash,
+        implementationScope: options.implementationScope,
+        sourceRevision: options.sourceRevision,
+    });
+    const requiredReceipts = new Map();
+    const reviewedReceiptRefs = new Set(options.requiredReceiptRefs);
+    const reviewedWaiverRefs = new Set();
+    for (const ref of options.requiredReceiptRefs) {
+        const receipt = await validateTypedReceipt({
+            ...options,
+            ref,
+            expectedBindings,
+            role: 'required-check',
+            result: 'fail',
+        });
+        requiredReceipts.set(ref, receipt);
+    }
+    let independentReviewReceiptRef = null;
+    let independentReviewChecked = null;
+    let reviewPolicy = null;
+    const requireReviewPolicy = async () => {
+        reviewPolicy ??= await loadNativeReviewTrustPolicy({
+            paths: options.paths,
+            scope: options.implementationScope,
+        });
+        return reviewPolicy;
+    };
+    const waivedBlockedReceiptCoverage = new Map();
+    const completeAcceptanceIds = options.trace.entries.map((entry) => entry.acceptanceId).sort();
+    const acceptReviewReceipt = async (ref, receipt) => {
+        if (receipt.kind !== 'independent-review') {
+            throw new Error('Native applicability review ref is not an independent-review receipt');
+        }
+        if (JSON.stringify([...receipt.acceptanceIds].sort()) !== JSON.stringify(completeAcceptanceIds)) {
+            throw new Error('Native independent review must cover the complete current acceptance set');
+        }
+        const policy = await requireReviewPolicy();
+        if (receipt.evidence.reviewPolicyHash !== policy.policyHash ||
+            receipt.evidence.implementationKeyId !== policy.implementationKeyId) {
+            throw new Error('Native independent review trust policy is stale');
+        }
+        trustedNativeIdentity(policy, 'reviewer', receipt.evidence.reviewerIdentity.keyId);
+        const implementationReceipt = await readNativeVerificationReceipt(options.paths, options.state.name, receipt.evidence.implementationReceiptRef);
+        const expectedExecutionId = options.state.run_id
+            ? `run:${options.state.run_id}`
+            : `scope:${options.implementationScope.scope.scopeHash}`;
+        if (implementationReceipt.kind !== 'implementation-attestation' ||
+            implementationReceipt.status !== 'passed' ||
+            !nativeReceiptBindingsMatch(implementationReceipt, expectedBindings) ||
+            JSON.stringify(implementationReceipt.acceptanceIds) !==
+                JSON.stringify(completeAcceptanceIds) ||
+            implementationReceipt.evidence.implementationIdentity.keyId !== policy.implementationKeyId ||
+            implementationReceipt.evidence.reviewPolicyHash !== policy.policyHash ||
+            implementationReceipt.evidence.implementationExecutionId !== expectedExecutionId) {
+            throw new Error('Native independent review implementation attestation is stale or invalid');
+        }
+        const highRisk = !options.implementationScope.scope.complete ||
+            isNativeHighRiskScope(options.implementationScope.scope.changes);
+        const checkedRefs = [
+            ['unifiedIo', receipt.evidence.checked.unifiedIo],
+            ['adversarialPaths', receipt.evidence.checked.adversarialPaths],
+            ['generatedAssets', receipt.evidence.checked.generatedAssets],
+            ['lifecycleEval', receipt.evidence.checked.lifecycleEval],
+        ];
+        if (highRisk && checkedRefs.some(([, checkedRef]) => checkedRef === null)) {
+            throw new Error('Native high-risk independent review has incomplete required checks');
+        }
+        for (const [name, checkedRef] of checkedRefs) {
+            if (checkedRef === null)
+                continue;
+            const checkedReceipt = await readNativeVerificationReceipt(options.paths, options.state.name, checkedRef);
+            const allowed = name === 'unifiedIo'
+                ? checkedReceipt.kind === 'static-inspection' || checkedReceipt.kind === 'manual-evidence'
+                : checkedReceipt.kind === 'automated-check' || checkedReceipt.kind === 'manual-evidence';
+            if (!allowed ||
+                checkedReceipt.status !== 'passed' ||
+                !nativeReceiptBindingsMatch(checkedReceipt, expectedBindings)) {
+                throw new Error(`Native ${name} review check lacks valid typed evidence`);
+            }
+            if (checkedReceipt.kind === 'static-inspection') {
+                const check = await validateNativeStaticReceiptDependency({
+                    paths: options.paths,
+                    state: options.state,
+                    receipt: checkedReceipt,
+                });
+                if (!check ||
+                    checkReceiptBindingCodes({
+                        receipt: check,
+                        sourceRevision: expectedBindings.sourceRevision,
+                        result: 'pass',
+                        contractHash: options.contractHash,
+                        implementationScope: options.implementationScope,
+                    }).length > 0) {
+                    throw new Error('Native unified-I/O static review check is stale');
+                }
+            }
+            reviewedReceiptRefs.add(checkedRef);
+        }
+        const matrix = options.trace.entries.map((entry) => ({
+            acceptance_id: entry.acceptanceId,
+            status: entry.status === 'missing' ? 'failed' : entry.status,
+            evidence_refs: [...entry.evidenceRefs],
+            ...(entry.status === 'missing'
+                ? { skipped_reason: 'Acceptance evidence is missing' }
+                : entry.skippedReason === null
+                    ? {}
+                    : { skipped_reason: entry.skippedReason }),
+            ...(entry.waiverRef === null ? {} : { waiver_ref: entry.waiverRef }),
+        }));
+        await validateNativeReviewEvidenceGraph({
+            paths: options.paths,
+            state: options.state,
+            reviewReceipt: receipt,
+            matrix,
+            expectedReceiptRefs: [...reviewedReceiptRefs],
+            expectedWaiverRefs: [...reviewedWaiverRefs],
+        });
+        if (independentReviewReceiptRef !== null && independentReviewReceiptRef !== ref) {
+            throw new Error('Native verification contains multiple independent review receipts');
+        }
+        independentReviewReceiptRef = ref;
+        independentReviewChecked = receipt.evidence.checked;
+    };
+    for (const entry of options.trace.entries) {
+        if (entry.status === 'failed' || entry.status === 'missing') {
+            if (options.result === 'pass') {
+                throw new Error('Native passing verification cannot include failed or missing acceptance criteria');
+            }
+            continue;
+        }
+        if (entry.status === 'waived') {
+            const waiver = await readNativeWaiverReceipt(options.paths, options.state.name, entry.waiverRef);
+            if (waiver.acceptanceId !== entry.acceptanceId ||
+                JSON.stringify(waiver.bindings) !== JSON.stringify(expectedBindings)) {
+                throw new Error('Native waiver receipt does not match its acceptance or current bindings');
+            }
+            reviewedWaiverRefs.add(entry.waiverRef);
+            const blockedReceipt = await readNativeVerificationReceipt(options.paths, options.state.name, waiver.blockedReceiptRef);
+            if (blockedReceipt.status === 'passed' ||
+                !nativeReceiptBindingsMatch(blockedReceipt, expectedBindings) ||
+                (blockedReceipt.role === 'acceptance-evidence' &&
+                    !blockedReceipt.acceptanceIds.includes(entry.acceptanceId)) ||
+                waiver.blockedCheckId !== nativeBlockedCheckId(blockedReceipt)) {
+                throw new Error('Native waiver does not bind a current blocking receipt');
+            }
+            reviewedReceiptRefs.add(waiver.blockedReceiptRef);
+            const policy = await requireReviewPolicy();
+            if (waiver.reviewPolicyHash !== policy.policyHash) {
+                throw new Error('Native waiver trust policy is stale');
+            }
+            trustedNativeIdentity(policy, 'waiver', waiver.signerIdentity.keyId);
+            const waiverCoverage = waivedBlockedReceiptCoverage.get(waiver.blockedReceiptRef) ?? new Set();
+            waiverCoverage.add(entry.acceptanceId);
+            waivedBlockedReceiptCoverage.set(waiver.blockedReceiptRef, waiverCoverage);
+            for (const alternativeRef of waiver.alternativeReceiptRefs) {
+                const alternativeReceipt = await validateTypedReceipt({
+                    ...options,
+                    ref: alternativeRef,
+                    expectedBindings,
+                    acceptanceId: entry.acceptanceId,
+                    role: 'acceptance-evidence',
+                });
+                if (alternativeReceipt.kind !== 'automated-check' &&
+                    alternativeReceipt.kind !== 'manual-evidence') {
+                    throw new Error('Native waiver alternative must be automated-check or manual-evidence');
+                }
+                reviewedReceiptRefs.add(alternativeRef);
+            }
+            continue;
+        }
+        for (const ref of entry.evidenceRefs) {
+            const receipt = await validateTypedReceipt({
+                ...options,
+                ref,
+                expectedBindings,
+                acceptanceId: entry.acceptanceId,
+                role: 'acceptance-evidence',
+            });
+            if (receipt.kind !== 'automated-check' && receipt.kind !== 'manual-evidence') {
+                throw new Error('Native acceptance evidence must be automated-check or manual-evidence');
+            }
+            reviewedReceiptRefs.add(ref);
+        }
+    }
+    if (options.independentReviewReceiptRef &&
+        options.independentReviewReceiptRef !== independentReviewReceiptRef) {
+        const receipt = await validateTypedReceipt({
+            ...options,
+            ref: options.independentReviewReceiptRef,
+            expectedBindings,
+            role: 'acceptance-evidence',
+        });
+        await acceptReviewReceipt(options.independentReviewReceiptRef, receipt);
+    }
+    if (options.result === 'pass' &&
+        [...requiredReceipts.entries()].some(([ref, receipt]) => receipt.status !== 'passed' &&
+            !completeAcceptanceIds.every((acceptanceId) => waivedBlockedReceiptCoverage.get(ref)?.has(acceptanceId)))) {
+        throw new Error('Native required check is not passed or covered by a current waiver');
+    }
+    return { independentReviewReceiptRef, independentReviewChecked };
+}
+function sortedRefs(refs) {
+    return [...(refs ?? [])].sort();
+}
+/** Build and validate an envelope without mutating the Native evidence store. */
+export async function inspectNativeVerificationEvidence(options) {
+    if (options.state.phase !== 'verify') {
+        throw new Error(`Native verification evidence requires Verify, got ${options.state.phase}`);
+    }
+    const facts = await inspectCurrentScopeFacts(options);
+    if (facts.findingCodes.length > 0) {
+        return {
+            ready: false,
+            findingCodes: facts.findingCodes,
+            envelope: null,
+            evidenceRef: null,
+            reportSnapshot: null,
+        };
+    }
+    const report = await reportEvidence(options);
+    if (options.result === 'pass' && !options.receiptRef) {
+        throw new Error('Native passing verification requires a typed required-check receipt');
+    }
+    const requiredReceiptRefs = options.receiptRef ? [options.receiptRef] : [];
+    const trace = buildNativeAcceptanceEvidenceTrace(facts.contract.acceptance, report.entries, {
+        nativeRootRef: nativeRootRef(options.paths),
+        allowMissing: options.result === 'fail',
+    });
+    if (options.result === 'pass' &&
+        trace.entries.some((entry) => entry.status === 'failed' || entry.status === 'missing')) {
+        throw new Error('Native passing verification cannot include failed or missing acceptance criteria');
+    }
+    const receiptGraph = await validateV2ReceiptGraph({
+        paths: options.paths,
+        state: options.state,
+        result: options.result,
+        trace,
+        requiredReceiptRefs,
+        independentReviewReceiptRef: options.independentReviewReceiptRef,
+        contractHash: facts.contractHash,
+        implementationScope: facts.bundle,
+    });
+    const independentReviewRequired = !facts.bundle.scope.complete || isNativeHighRiskScope(facts.bundle.scope.changes);
+    if (independentReviewRequired &&
+        options.result === 'pass' &&
+        receiptGraph.independentReviewReceiptRef === null) {
+        throw new Error('Native passing verification requires a signed acceptance-applicability review receipt');
+    }
+    const allowance = options.state.partial_allowance
+        ? await readNativePartialAllowance(options.paths, options.state.name, options.state.partial_allowance)
+        : null;
+    const envelope = buildNativeVerificationEvidenceEnvelope({
+        change: options.state.name,
+        sourceRevision: options.state.revision,
+        result: options.result,
+        contractHash: facts.contractHash,
+        acceptanceHash: facts.acceptanceHash,
+        implementationScope: {
+            ref: options.state.implementation_scope,
+            bundle: facts.bundle,
+        },
+        reportRef: report.ref,
+        reportHash: report.hash,
+        requiredReceiptRefs,
+        independentReviewReceiptRef: receiptGraph.independentReviewReceiptRef,
+        acceptanceTrace: trace,
+        partialAllowance: options.state.partial_allowance && allowance
+            ? { ref: options.state.partial_allowance, allowance }
+            : null,
+        now: options.now,
+    });
+    if ((options.receiptRefs !== undefined &&
+        JSON.stringify(sortedRefs(options.receiptRefs)) !== JSON.stringify(envelope.receiptRefs)) ||
+        (options.waiverRefs !== undefined &&
+            JSON.stringify(sortedRefs(options.waiverRefs)) !== JSON.stringify(envelope.waiverRefs)) ||
+        (options.independentReviewReceiptRef !== undefined &&
+            options.independentReviewReceiptRef !== envelope.independentReviewReceiptRef)) {
+        throw new Error('Native verification receipt, waiver, or independent-review refs do not exactly match the report');
+    }
+    const evidenceRef = nativeEvidenceRef('verifications', envelope.envelopeHash);
+    return {
+        ready: true,
+        findingCodes: [],
+        envelope,
+        evidenceRef,
+        reportSnapshot: { hash: report.hash, text: report.text },
+    };
+}
+export async function persistNativeVerificationEvidence(options) {
+    if (!options.preparation.ready ||
+        options.preparation.envelope === null ||
+        options.preparation.evidenceRef === null ||
+        options.preparation.reportSnapshot === null) {
+        throw new Error('Native verification evidence is not ready to persist');
+    }
+    await writeNativeVerificationReportSnapshot({
+        paths: options.paths,
+        name: options.state.name,
+        ...options.preparation.reportSnapshot,
+    });
+    const evidenceRef = await writeNativeVerificationEvidence({
+        paths: options.paths,
+        name: options.state.name,
+        evidence: options.preparation.envelope,
+    });
+    if (evidenceRef !== options.preparation.evidenceRef) {
+        throw new Error('Native verification evidence persistence ref changed');
+    }
+}
+/** Backwards-compatible one-shot API for callers that explicitly want durable evidence. */
+export async function prepareNativeVerificationEvidence(options) {
+    const preparation = await inspectNativeVerificationEvidence(options);
+    if (preparation.ready) {
+        await persistNativeVerificationEvidence({
+            paths: options.paths,
+            state: options.state,
+            preparation,
+        });
+    }
+    return preparation;
+}
+function emptyEvidence(result, freshness) {
+    return {
+        result,
+        freshness,
+        contractHash: null,
+        acceptanceHash: null,
+        implementationScopeHash: null,
+        reportHash: null,
+        envelopeHash: null,
+        partialAllowanceHash: null,
+        skippedAcceptanceCount: 0,
+    };
+}
+/** Recompute every freshness boundary used by status, Archive preview, and Archive commit. */
+export async function inspectNativeVerificationFreshness(options) {
+    if (!options.state.implementation_scope ||
+        !options.state.verification_evidence ||
+        !options.state.verification_report) {
+        return {
+            freshness: 'missing',
+            findingCodes: ['verification-evidence-missing'],
+            evidence: emptyEvidence(options.state.verification_result, 'missing'),
+            envelope: null,
+        };
+    }
+    try {
+        const [facts, envelope] = await Promise.all([
+            inspectCurrentScopeFacts(options),
+            readNativeVerificationEvidence(options.paths, options.state.name, options.state.verification_evidence),
+        ]);
+        if (envelope.schema !== 'comet.native.verification-evidence.v2') {
+            return {
+                freshness: 'stale',
+                findingCodes: ['verification-protocol-legacy'],
+                evidence: emptyEvidence(options.state.verification_result, 'stale'),
+                envelope: null,
+            };
+        }
+        const report = await reportEvidence({
+            paths: options.paths,
+            state: options.state,
+            reportRef: options.state.verification_report,
+        });
+        const findingCodes = [...facts.findingCodes];
+        if (report.hash !== envelope.reportHash || report.ref !== envelope.reportRef) {
+            findingCodes.push('verification-report-stale');
+        }
+        if (envelope.result !== options.state.verification_result ||
+            envelope.implementationScopeRef !== options.state.implementation_scope ||
+            envelope.partialAllowanceRef !== options.state.partial_allowance ||
+            envelope.sourceRevision >= options.state.revision ||
+            envelope.contractHash !== facts.bundle.scope.contractHash ||
+            envelope.acceptanceCriteriaHash !== facts.acceptanceHash) {
+            findingCodes.push('verification-state-mismatch');
+        }
+        try {
+            const graph = await validateV2ReceiptGraph({
+                paths: options.paths,
+                state: options.state,
+                result: envelope.result,
+                trace: envelope.acceptanceTrace,
+                requiredReceiptRefs: envelope.requiredReceiptRefs,
+                independentReviewReceiptRef: envelope.independentReviewReceiptRef,
+                contractHash: envelope.contractHash,
+                implementationScope: facts.bundle,
+                sourceRevision: envelope.sourceRevision,
+            });
+            if (graph.independentReviewReceiptRef !== envelope.independentReviewReceiptRef) {
+                findingCodes.push('verification-independent-review-stale');
+            }
+        }
+        catch {
+            findingCodes.push('verification-receipt-invalid');
+        }
+        if ((!facts.bundle.scope.complete || isNativeHighRiskScope(facts.bundle.scope.changes)) &&
+            envelope.result === 'pass' &&
+            envelope.independentReviewReceiptRef === null) {
+            findingCodes.push('verification-independent-review-missing');
+        }
+        const uniqueCodes = [...new Set(findingCodes)].sort();
+        const freshness = uniqueCodes.length > 0 ? 'stale' : envelope.freshness;
+        return {
+            freshness,
+            findingCodes: uniqueCodes,
+            evidence: {
+                result: options.state.verification_result,
+                freshness,
+                contractHash: envelope.contractHash,
+                acceptanceHash: envelope.acceptanceCriteriaHash,
+                implementationScopeHash: envelope.implementationScopeHash,
+                reportHash: envelope.reportHash,
+                envelopeHash: envelope.envelopeHash,
+                partialAllowanceHash: envelope.partialAllowanceHash,
+                skippedAcceptanceCount: envelope.acceptanceTrace.skipped,
+            },
+            envelope,
+        };
+    }
+    catch {
+        return {
+            freshness: 'invalid',
+            findingCodes: ['verification-evidence-invalid'],
+            evidence: emptyEvidence(options.state.verification_result, 'invalid'),
+            envelope: null,
+        };
+    }
+}
+//# sourceMappingURL=native-verification-runtime.js.map

package/dist/domains/comet-native/native-verification-runtime.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"native-verification-runtime.js","sourceRoot":"","sources":["../../../domains/comet-native/native-verification-runtime.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EACL,mCAAmC,GAEpC,MAAM,wBAAwB,CAAC;AAKhC,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,2BAA2B,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAC9F,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAGrD,OAAO,EAAE,0BAA0B,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,EACL,mCAAmC,EACnC,0BAA0B,EAC1B,8BAA8B,EAC9B,6BAA6B,EAC7B,uBAAuB,EACvB,iBAAiB,EACjB,qCAAqC,EACrC,+BAA+B,GAChC,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,kCAAkC,EAAE,MAAM,sBAAsB,CAAC;AAM1E,OAAO,EACL,oCAAoC,GAGrC,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,kCAAkC,EAClC,uCAAuC,GAExC,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,0BAA0B,EAC1B,iCAAiC,EACjC,qCAAqC,GACtC,MAAM,0CAA0C,CAAC;AAClD,OAAO,EACL,yBAAyB,EACzB,oBAAoB,GAGrB,MAAM,kCAAkC,CAAC;AAgC1C,SAAS,kBAAkB,CAAC,UAAoC;IAC9D,OAAO;QACL,MAAM,EAAE,kCAAkC;QAC1C,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,SAAS,EAAE,0BAA0B;QACrC,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3D,OAAO,EAAE,UAAU,CAAC,OAAO;QAC3B,OAAO,EAAE,UAAU,CAAC,OAAO;QAC3B,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,GAAG,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,UAAU,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1F,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,KAAyB;IAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACvF,IAAI,CAAC,KAAK,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QACxF,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,KAAK,UAAU,qBAAqB,CAAC,OAIpC;IACC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,MAAM,kCAAkC,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE;QAChF,MAAM,EAAE,UAAU;QAClB,GAAG,EAAE,OAAO,CAAC,GAAG;KACjB,CAAC,CAAC;IACH,OAAO,oCAAoC,CAAC;QAC1C,QAAQ;QACR,OAAO;QACP,YAAY,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY;QAC/C,iBAAiB,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,iBAAiB;QACzD,YAAY,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY;KAChD,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC;AACjC,CAAC;AAED,KAAK,UAAU,wBAAwB,CAAC,OAIvC;IAOC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,oBAAoB,EAAE,CAAC;QACxC,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC/D,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,mCAAmC,CACtD,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,KAAK,CAAC,IAAI,EAClB,OAAO,CAAC,KAAK,CAAC,oBAAoB,CACnC,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,0BAA0B,CAAC;QAChD,SAAS,EAAE,eAAe,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;QAC7D,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK;QAC7B,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,YAAY;KACxC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,MAAM,qBAAqB,CAAC;QAC9C,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,MAAM;QACN,GAAG,EAAE,OAAO,CAAC,GAAG;KACjB,CAAC,CAAC;IACH,MAAM,YAAY,GAA6C,EAAE,CAAC;IAClE,IAAI,QAAQ,CAAC,QAAQ,CAAC,YAAY,KAAK,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC;QACjE,YAAY,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,WAAW,KAAK,MAAM,CAAC,KAAK,CAAC,qBAAqB,EAAE,CAAC;QACvD,YAAY,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IACzD,CAAC;IACD,OAAO;QACL,MAAM;QACN,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,YAAY,EAAE,QAAQ,CAAC,QAAQ,CAAC,YAAY;QAC5C,cAAc,EAAE,QAAQ,CAAC,QAAQ,CAAC,cAAc;QAChD,YAAY;KACb,CAAC;AACJ,CAAC;AAOD;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,yCAAyC,CAAC,OAI/D;IACC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,oBAAoB,EAAE,CAAC;QACxC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,+BAA+B,CAAC,EAAE,CAAC;IACnF,CAAC;IACD,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,wBAAwB,CAAC,OAAO,CAAC,CAAC;QACtD,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7D,OAAO;YACL,SAAS,EAAE,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO;YACxD,YAAY;SACb,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,+BAA+B,CAAC,EAAE,CAAC;IACnF,CAAC;AACH,CAAC;AAED,KAAK,UAAU,cAAc,CAAC,OAI7B;IAMC,MAAM,MAAM,GAAG,MAAM,yBAAyB,CAAC;QAC7C,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;QACxD,GAAG,EAAE,OAAO,CAAC,SAAS;KACvB,CAAC,CAAC;IACH,OAAO;QACL,GAAG,EAAE,MAAM,CAAC,GAAG;QACf,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,OAAO,EAAE,mCAAmC,CAAC,MAAM,CAAC,IAAI,CAAC;KAC1D,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,OAMjC;IACC,MAAM,EAAE,OAAO,EAAE,mBAAmB,EAAE,GAAG,OAAO,CAAC;IACjD,MAAM,KAAK,GAA6C,EAAE,CAAC;IAC3D,MAAM,aAAa,GAAG,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;IAClG,MAAM,aAAa,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,KAAK,GAAG,MAAM,CAAC,KAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC7F,IACE,OAAO,CAAC,KAAK;QACb,OAAO,CAAC,cAAc,KAAK,OAAO,CAAC,cAAc;QACjD,OAAO,CAAC,QAAQ,CAAC,YAAY,KAAK,OAAO,CAAC,YAAY;QACtD,OAAO,CAAC,QAAQ,CAAC,UAAU,KAAK,OAAO,CAAC,YAAY;QACpD,OAAO,CAAC,QAAQ,CAAC,SAAS,KAAK,OAAO,CAAC,YAAY;QACnD,OAAO,CAAC,cAAc,CAAC,SAAS,KAAK,mBAAmB,CAAC,KAAK,CAAC,SAAS;QACxE,OAAO,CAAC,cAAc,CAAC,oBAAoB;YACzC,mBAAmB,CAAC,KAAK,CAAC,qBAAqB;QACjD,OAAO,CAAC,cAAc,CAAC,kBAAkB,KAAK,mBAAmB,CAAC,KAAK,CAAC,qBAAqB;QAC7F,OAAO,CAAC,cAAc,CAAC,iBAAiB,KAAK,mBAAmB,CAAC,KAAK,CAAC,qBAAqB;QAC5F,OAAO,CAAC,MAAM,CAAC,aAAa,KAAK,aAAa,CAAC,MAAM;QACrD,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ;YAC1B,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,kBAAkB,KAAK,aAAa,CAAC,MAAM;gBACvF,OAAO,CAAC,MAAM,CAAC,YAAY,KAAK,aAAa,CAAC,CAAC,EACnD,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IAC3C,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC7D,KAAK,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,2BAA2B,CAAC,OAKpC;IACC,OAAO;QACL,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI;QAC1B,cAAc,EAAE,OAAO,CAAC,cAAc,IAAI,OAAO,CAAC,KAAK,CAAC,QAAQ;QAChE,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,SAAS,EAAE,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,SAAS;QACtD,YAAY,EAAE,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,qBAAqB;QACrE,YAAY,EAAE,yBAAyB,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,iBAAiB,CAAC;KAC7F,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,oBAAoB,CAAC,OAUnC;IACC,MAAM,OAAO,GAAG,MAAM,6BAA6B,CACjD,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,KAAK,CAAC,IAAI,EAClB,OAAO,CAAC,GAAG,CACZ,CAAC;IACF,IACE,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI;QAC7B,CAAC,0BAA0B,CAAC,OAAO,EAAE,OAAO,CAAC,gBAAgB,CAAC;QAC9D,CAAC,OAAO,CAAC,YAAY,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,EAC7F,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;IAChF,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CAAC,kCAAkC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,qCAAqC,CAAC;QACxD,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,OAAO;KACR,CAAC,CAAC;IACH,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,KAAK,GAAG,wBAAwB,CAAC;YACrC,OAAO,EAAE,KAAK;YACd,cAAc,EAAE,OAAO,CAAC,gBAAgB,CAAC,cAAc;YACvD,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;SACjD,CAAC,CAAC;QACH,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,gDAAgD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtF,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,KAAK,UAAU,sBAAsB,CAAC,OAUrC;IAMC,MAAM,gBAAgB,GAAG,2BAA2B,CAAC;QACnD,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;QAChD,cAAc,EAAE,OAAO,CAAC,cAAc;KACvC,CAAC,CAAC;IACH,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAqC,CAAC;IACtE,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAS,OAAO,CAAC,mBAAmB,CAAC,CAAC;IACzE,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC7C,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,mBAAmB,EAAE,CAAC;QAC9C,MAAM,OAAO,GAAG,MAAM,oBAAoB,CAAC;YACzC,GAAG,OAAO;YACV,GAAG;YACH,gBAAgB;YAChB,IAAI,EAAE,gBAAgB;YACtB,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACrC,CAAC;IACD,IAAI,2BAA2B,GAAkB,IAAI,CAAC;IACtD,IAAI,wBAAwB,GAEjB,IAAI,CAAC;IAChB,IAAI,YAAY,GAAmE,IAAI,CAAC;IACxF,MAAM,mBAAmB,GAAG,KAAK,IAAI,EAAE;QACrC,YAAY,KAAK,MAAM,2BAA2B,CAAC;YACjD,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,KAAK,EAAE,OAAO,CAAC,mBAAmB;SACnC,CAAC,CAAC;QACH,OAAO,YAAY,CAAC;IACtB,CAAC,CAAC;IACF,MAAM,4BAA4B,GAAG,IAAI,GAAG,EAAuB,CAAC;IACpE,MAAM,qBAAqB,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9F,MAAM,mBAAmB,GAAG,KAAK,EAC/B,GAAW,EACX,OAAkC,EACnB,EAAE;QACjB,IAAI,OAAO,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YAC1C,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;QAC1F,CAAC;QACD,IACE,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,qBAAqB,CAAC,EAC3F,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,CAAC;QAC9F,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,mBAAmB,EAAE,CAAC;QAC3C,IACE,OAAO,CAAC,QAAQ,CAAC,gBAAgB,KAAK,MAAM,CAAC,UAAU;YACvD,OAAO,CAAC,QAAQ,CAAC,mBAAmB,KAAK,MAAM,CAAC,mBAAmB,EACnE,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;QACrE,CAAC;QACD,qBAAqB,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;QACnF,MAAM,qBAAqB,GAAG,MAAM,6BAA6B,CAC/D,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,KAAK,CAAC,IAAI,EAClB,OAAO,CAAC,QAAQ,CAAC,wBAAwB,CAC1C,CAAC;QACF,MAAM,mBAAmB,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM;YAC9C,CAAC,CAAC,OAAO,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE;YAC/B,CAAC,CAAC,SAAS,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;QAC3D,IACE,qBAAqB,CAAC,IAAI,KAAK,4BAA4B;YAC3D,qBAAqB,CAAC,MAAM,KAAK,QAAQ;YACzC,CAAC,0BAA0B,CAAC,qBAAqB,EAAE,gBAAgB,CAAC;YACpE,IAAI,CAAC,SAAS,CAAC,qBAAqB,CAAC,aAAa,CAAC;gBACjD,IAAI,CAAC,SAAS,CAAC,qBAAqB,CAAC;YACvC,qBAAqB,CAAC,QAAQ,CAAC,sBAAsB,CAAC,KAAK,KAAK,MAAM,CAAC,mBAAmB;YAC1F,qBAAqB,CAAC,QAAQ,CAAC,gBAAgB,KAAK,MAAM,CAAC,UAAU;YACrE,qBAAqB,CAAC,QAAQ,CAAC,yBAAyB,KAAK,mBAAmB,EAChF,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,CAAC;QAC9F,CAAC;QACD,MAAM,QAAQ,GACZ,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,QAAQ;YAC3C,qBAAqB,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACnE,MAAM,WAAW,GAAG;YAClB,CAAC,WAAW,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC;YACjD,CAAC,kBAAkB,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,gBAAgB,CAAC;YAC/D,CAAC,iBAAiB,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,eAAe,CAAC;YAC7D,CAAC,eAAe,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,aAAa,CAAC;SACjD,CAAC;QACX,IAAI,QAAQ,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,UAAU,KAAK,IAAI,CAAC,EAAE,CAAC;YAC1E,MAAM,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAC;QACxF,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,WAAW,EAAE,CAAC;YAC7C,IAAI,UAAU,KAAK,IAAI;gBAAE,SAAS;YAClC,MAAM,cAAc,GAAG,MAAM,6BAA6B,CACxD,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,KAAK,CAAC,IAAI,EAClB,UAAU,CACX,CAAC;YACF,MAAM,OAAO,GACX,IAAI,KAAK,WAAW;gBAClB,CAAC,CAAC,cAAc,CAAC,IAAI,KAAK,mBAAmB,IAAI,cAAc,CAAC,IAAI,KAAK,iBAAiB;gBAC1F,CAAC,CAAC,cAAc,CAAC,IAAI,KAAK,iBAAiB,IAAI,cAAc,CAAC,IAAI,KAAK,iBAAiB,CAAC;YAC7F,IACE,CAAC,OAAO;gBACR,cAAc,CAAC,MAAM,KAAK,QAAQ;gBAClC,CAAC,0BAA0B,CAAC,cAAc,EAAE,gBAAgB,CAAC,EAC7D,CAAC;gBACD,MAAM,IAAI,KAAK,CAAC,UAAU,IAAI,0CAA0C,CAAC,CAAC;YAC5E,CAAC;YACD,IAAI,cAAc,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBAChD,MAAM,KAAK,GAAG,MAAM,qCAAqC,CAAC;oBACxD,KAAK,EAAE,OAAO,CAAC,KAAK;oBACpB,KAAK,EAAE,OAAO,CAAC,KAAK;oBACpB,OAAO,EAAE,cAAc;iBACxB,CAAC,CAAC;gBACH,IACE,CAAC,KAAK;oBACN,wBAAwB,CAAC;wBACvB,OAAO,EAAE,KAAK;wBACd,cAAc,EAAE,gBAAgB,CAAC,cAAc;wBAC/C,MAAM,EAAE,MAAM;wBACd,YAAY,EAAE,OAAO,CAAC,YAAY;wBAClC,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;qBACjD,CAAC,CAAC,MAAM,GAAG,CAAC,EACb,CAAC;oBACD,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;gBACrE,CAAC;YACH,CAAC;YACD,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACtC,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CACtC,CAAC,KAAK,EAAiC,EAAE,CAAC,CAAC;YACzC,aAAa,EAAE,KAAK,CAAC,YAAY;YACjC,MAAM,EAAE,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM;YAC5D,aAAa,EAAE,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC;YACtC,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS;gBAC5B,CAAC,CAAC,EAAE,cAAc,EAAE,gCAAgC,EAAE;gBACtD,CAAC,CAAC,KAAK,CAAC,aAAa,KAAK,IAAI;oBAC5B,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC,EAAE,cAAc,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC;YAC9C,GAAG,CAAC,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC;SACrE,CAAC,CACH,CAAC;QACF,MAAM,iCAAiC,CAAC;YACtC,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,aAAa,EAAE,OAAO;YACtB,MAAM;YACN,mBAAmB,EAAE,CAAC,GAAG,mBAAmB,CAAC;YAC7C,kBAAkB,EAAE,CAAC,GAAG,kBAAkB,CAAC;SAC5C,CAAC,CAAC;QACH,IAAI,2BAA2B,KAAK,IAAI,IAAI,2BAA2B,KAAK,GAAG,EAAE,CAAC;YAChF,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;QACvF,CAAC;QACD,2BAA2B,GAAG,GAAG,CAAC;QAClC,wBAAwB,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;IACtD,CAAC,CAAC;IACF,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QAC1C,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC5D,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBAC9B,MAAM,IAAI,KAAK,CACb,kFAAkF,CACnF,CAAC;YACJ,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,MAAM,uBAAuB,CAC1C,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,KAAK,CAAC,IAAI,EAClB,KAAK,CAAC,SAAU,CACjB,CAAC;YACF,IACE,MAAM,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;gBAC1C,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,gBAAgB,CAAC,EACpE,CAAC;gBACD,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAC;YAC7F,CAAC;YACD,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,SAAU,CAAC,CAAC;YACzC,MAAM,cAAc,GAAG,MAAM,6BAA6B,CACxD,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,KAAK,CAAC,IAAI,EAClB,MAAM,CAAC,iBAAiB,CACzB,CAAC;YACF,IACE,cAAc,CAAC,MAAM,KAAK,QAAQ;gBAClC,CAAC,0BAA0B,CAAC,cAAc,EAAE,gBAAgB,CAAC;gBAC7D,CAAC,cAAc,CAAC,IAAI,KAAK,qBAAqB;oBAC5C,CAAC,cAAc,CAAC,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;gBAC7D,MAAM,CAAC,cAAc,KAAK,oBAAoB,CAAC,cAAc,CAAC,EAC9D,CAAC;gBACD,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;YAC5E,CAAC;YACD,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;YAClD,MAAM,MAAM,GAAG,MAAM,mBAAmB,EAAE,CAAC;YAC3C,IAAI,MAAM,CAAC,gBAAgB,KAAK,MAAM,CAAC,UAAU,EAAE,CAAC;gBAClD,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;YACzD,CAAC;YACD,qBAAqB,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;YACrE,MAAM,cAAc,GAClB,4BAA4B,CAAC,GAAG,CAAC,MAAM,CAAC,iBAAiB,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;YAClF,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;YACvC,4BAA4B,CAAC,GAAG,CAAC,MAAM,CAAC,iBAAiB,EAAE,cAAc,CAAC,CAAC;YAC3E,KAAK,MAAM,cAAc,IAAI,MAAM,CAAC,sBAAsB,EAAE,CAAC;gBAC3D,MAAM,kBAAkB,GAAG,MAAM,oBAAoB,CAAC;oBACpD,GAAG,OAAO;oBACV,GAAG,EAAE,cAAc;oBACnB,gBAAgB;oBAChB,YAAY,EAAE,KAAK,CAAC,YAAY;oBAChC,IAAI,EAAE,qBAAqB;iBAC5B,CAAC,CAAC;gBACH,IACE,kBAAkB,CAAC,IAAI,KAAK,iBAAiB;oBAC7C,kBAAkB,CAAC,IAAI,KAAK,iBAAiB,EAC7C,CAAC;oBACD,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;gBAC1F,CAAC;gBACD,mBAAmB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;YAC1C,CAAC;YACD,SAAS;QACX,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;YACrC,MAAM,OAAO,GAAG,MAAM,oBAAoB,CAAC;gBACzC,GAAG,OAAO;gBACV,GAAG;gBACH,gBAAgB;gBAChB,YAAY,EAAE,KAAK,CAAC,YAAY;gBAChC,IAAI,EAAE,qBAAqB;aAC5B,CAAC,CAAC;YACH,IAAI,OAAO,CAAC,IAAI,KAAK,iBAAiB,IAAI,OAAO,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBAC7E,MAAM,IAAI,KAAK,CAAC,uEAAuE,CAAC,CAAC;YAC3F,CAAC;YACD,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,IACE,OAAO,CAAC,2BAA2B;QACnC,OAAO,CAAC,2BAA2B,KAAK,2BAA2B,EACnE,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,oBAAoB,CAAC;YACzC,GAAG,OAAO;YACV,GAAG,EAAE,OAAO,CAAC,2BAA2B;YACxC,gBAAgB;YAChB,IAAI,EAAE,qBAAqB;SAC5B,CAAC,CAAC;QACH,MAAM,mBAAmB,CAAC,OAAO,CAAC,2BAA2B,EAAE,OAAO,CAAC,CAAC;IAC1E,CAAC;IACD,IACE,OAAO,CAAC,MAAM,KAAK,MAAM;QACzB,CAAC,GAAG,gBAAgB,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAClC,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE,CACjB,OAAO,CAAC,MAAM,KAAK,QAAQ;YAC3B,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,YAAY,EAAE,EAAE,CAC5C,4BAA4B,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,CACzD,CACJ,EACD,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAC;IACxF,CAAC;IACD,OAAO,EAAE,2BAA2B,EAAE,wBAAwB,EAAE,CAAC;AACnE,CAAC;AAcD,SAAS,UAAU,CAAC,IAAmC;IACrD,OAAO,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAClC,CAAC;AAED,iFAAiF;AACjF,MAAM,CAAC,KAAK,UAAU,iCAAiC,CACrD,OAA0C;IAE1C,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,qDAAqD,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;IAC9F,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,wBAAwB,CAAC,OAAO,CAAC,CAAC;IACtD,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,QAAQ,EAAE,IAAI;YACd,WAAW,EAAE,IAAI;YACjB,cAAc,EAAE,IAAI;SACrB,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,OAAO,CAAC,CAAC;IAC7C,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CAAC,qEAAqE,CAAC,CAAC;IACzF,CAAC;IACD,MAAM,mBAAmB,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3E,MAAM,KAAK,GAAG,kCAAkC,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,OAAO,EAAE;QAC1F,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC;QAC3C,YAAY,EAAE,OAAO,CAAC,MAAM,KAAK,MAAM;KACxC,CAAC,CAAC;IACH,IACE,OAAO,CAAC,MAAM,KAAK,MAAM;QACzB,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,EACtF,CAAC;QACD,MAAM,IAAI,KAAK,CACb,kFAAkF,CACnF,CAAC;IACJ,CAAC;IACD,MAAM,YAAY,GAAG,MAAM,sBAAsB,CAAC;QAChD,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,KAAK;QACL,mBAAmB;QACnB,2BAA2B,EAAE,OAAO,CAAC,2BAA2B;QAChE,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,mBAAmB,EAAE,KAAK,CAAC,MAAM;KAClC,CAAC,CAAC;IACH,MAAM,yBAAyB,GAC7B,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,IAAI,qBAAqB,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACpF,IACE,yBAAyB;QACzB,OAAO,CAAC,MAAM,KAAK,MAAM;QACzB,YAAY,CAAC,2BAA2B,KAAK,IAAI,EACjD,CAAC;QACD,MAAM,IAAI,KAAK,CACb,uFAAuF,CACxF,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,iBAAiB;QAC/C,CAAC,CAAC,MAAM,0BAA0B,CAC9B,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,KAAK,CAAC,IAAI,EAClB,OAAO,CAAC,KAAK,CAAC,iBAAiB,CAChC;QACH,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,QAAQ,GAAG,uCAAuC,CAAC;QACvD,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI;QAC1B,cAAc,EAAE,OAAO,CAAC,KAAK,CAAC,QAAQ;QACtC,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,mBAAmB,EAAE;YACnB,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,oBAAqB;YACxC,MAAM,EAAE,KAAK,CAAC,MAAM;SACrB;QACD,SAAS,EAAE,MAAM,CAAC,GAAG;QACrB,UAAU,EAAE,MAAM,CAAC,IAAI;QACvB,mBAAmB;QACnB,2BAA2B,EAAE,YAAY,CAAC,2BAA2B;QACrE,eAAe,EAAE,KAAK;QACtB,gBAAgB,EACd,OAAO,CAAC,KAAK,CAAC,iBAAiB,IAAI,SAAS;YAC1C,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,iBAAiB,EAAE,SAAS,EAAE;YACrD,CAAC,CAAC,IAAI;QACV,GAAG,EAAE,OAAO,CAAC,GAAG;KACjB,CAAC,CAAC;IACH,IACE,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS;QAChC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QAC3F,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS;YAC/B,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACzF,CAAC,OAAO,CAAC,2BAA2B,KAAK,SAAS;YAChD,OAAO,CAAC,2BAA2B,KAAK,QAAQ,CAAC,2BAA2B,CAAC,EAC/E,CAAC;QACD,MAAM,IAAI,KAAK,CACb,iGAAiG,CAClG,CAAC;IACJ,CAAC;IACD,MAAM,WAAW,GAAG,iBAAiB,CAAC,eAAe,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC;IAC9E,OAAO;QACL,KAAK,EAAE,IAAI;QACX,YAAY,EAAE,EAAE;QAChB,QAAQ;QACR,WAAW;QACX,cAAc,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE;KACzD,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iCAAiC,CAAC,OAIvD;IACC,IACE,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK;QAC1B,OAAO,CAAC,WAAW,CAAC,QAAQ,KAAK,IAAI;QACrC,OAAO,CAAC,WAAW,CAAC,WAAW,KAAK,IAAI;QACxC,OAAO,CAAC,WAAW,CAAC,cAAc,KAAK,IAAI,EAC3C,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,qCAAqC,CAAC;QAC1C,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI;QACxB,GAAG,OAAO,CAAC,WAAW,CAAC,cAAc;KACtC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,MAAM,+BAA+B,CAAC;QACxD,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI;QACxB,QAAQ,EAAE,OAAO,CAAC,WAAW,CAAC,QAAQ;KACvC,CAAC,CAAC;IACH,IAAI,WAAW,KAAK,OAAO,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;AACH,CAAC;AAED,2FAA2F;AAC3F,MAAM,CAAC,KAAK,UAAU,iCAAiC,CACrD,OAA0C;IAE1C,MAAM,WAAW,GAAG,MAAM,iCAAiC,CAAC,OAAO,CAAC,CAAC;IACrE,IAAI,WAAW,CAAC,KAAK,EAAE,CAAC;QACtB,MAAM,iCAAiC,CAAC;YACtC,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,WAAW;SACZ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,aAAa,CACpB,MAAgD,EAChD,SAAsC;IAEtC,OAAO;QACL,MAAM;QACN,SAAS;QACT,YAAY,EAAE,IAAI;QAClB,cAAc,EAAE,IAAI;QACpB,uBAAuB,EAAE,IAAI;QAC7B,UAAU,EAAE,IAAI;QAChB,YAAY,EAAE,IAAI;QAClB,oBAAoB,EAAE,IAAI;QAC1B,sBAAsB,EAAE,CAAC;KAC1B,CAAC;AACJ,CAAC;AAED,8FAA8F;AAC9F,MAAM,CAAC,KAAK,UAAU,kCAAkC,CAAC,OAIxD;IACC,IACE,CAAC,OAAO,CAAC,KAAK,CAAC,oBAAoB;QACnC,CAAC,OAAO,CAAC,KAAK,CAAC,qBAAqB;QACpC,CAAC,OAAO,CAAC,KAAK,CAAC,mBAAmB,EAClC,CAAC;QACD,OAAO;YACL,SAAS,EAAE,SAAS;YACpB,YAAY,EAAE,CAAC,+BAA+B,CAAC;YAC/C,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,mBAAmB,EAAE,SAAS,CAAC;YACrE,QAAQ,EAAE,IAAI;SACf,CAAC;IACJ,CAAC;IACD,IAAI,CAAC;QACH,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAC1C,wBAAwB,CAAC,OAAO,CAAC;YACjC,8BAA8B,CAC5B,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,KAAK,CAAC,IAAI,EAClB,OAAO,CAAC,KAAK,CAAC,qBAAqB,CACpC;SACF,CAAC,CAAC;QACH,IAAI,QAAQ,CAAC,MAAM,KAAK,uCAAuC,EAAE,CAAC;YAChE,OAAO;gBACL,SAAS,EAAE,OAAO;gBAClB,YAAY,EAAE,CAAC,8BAA8B,CAAC;gBAC9C,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,mBAAmB,EAAE,OAAO,CAAC;gBACnE,QAAQ,EAAE,IAAI;aACf,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC;YAClC,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,mBAAmB;SAC7C,CAAC,CAAC;QACH,MAAM,YAAY,GAAG,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC;QAC7C,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,UAAU,IAAI,MAAM,CAAC,GAAG,KAAK,QAAQ,CAAC,SAAS,EAAE,CAAC;YAC7E,YAAY,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QACjD,CAAC;QACD,IACE,QAAQ,CAAC,MAAM,KAAK,OAAO,CAAC,KAAK,CAAC,mBAAmB;YACrD,QAAQ,CAAC,sBAAsB,KAAK,OAAO,CAAC,KAAK,CAAC,oBAAoB;YACtE,QAAQ,CAAC,mBAAmB,KAAK,OAAO,CAAC,KAAK,CAAC,iBAAiB;YAChE,QAAQ,CAAC,cAAc,IAAI,OAAO,CAAC,KAAK,CAAC,QAAQ;YACjD,QAAQ,CAAC,YAAY,KAAK,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY;YACzD,QAAQ,CAAC,sBAAsB,KAAK,KAAK,CAAC,cAAc,EACxD,CAAC;YACD,YAAY,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,MAAM,sBAAsB,CAAC;gBACzC,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,KAAK,EAAE,QAAQ,CAAC,eAAe;gBAC/B,mBAAmB,EAAE,QAAQ,CAAC,mBAAmB;gBACjD,2BAA2B,EAAE,QAAQ,CAAC,2BAA2B;gBACjE,YAAY,EAAE,QAAQ,CAAC,YAAY;gBACnC,mBAAmB,EAAE,KAAK,CAAC,MAAM;gBACjC,cAAc,EAAE,QAAQ,CAAC,cAAc;aACxC,CAAC,CAAC;YACH,IAAI,KAAK,CAAC,2BAA2B,KAAK,QAAQ,CAAC,2BAA2B,EAAE,CAAC;gBAC/E,YAAY,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;YAC7D,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,YAAY,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QACpD,CAAC;QACD,IACE,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,IAAI,qBAAqB,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACnF,QAAQ,CAAC,MAAM,KAAK,MAAM;YAC1B,QAAQ,CAAC,2BAA2B,KAAK,IAAI,EAC7C,CAAC;YACD,YAAY,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;QAC/D,CAAC;QACD,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACtD,MAAM,SAAS,GACb,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC;QACxD,OAAO;YACL,SAAS;YACT,YAAY,EAAE,WAAW;YACzB,QAAQ,EAAE;gBACR,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,mBAAmB;gBACzC,SAAS;gBACT,YAAY,EAAE,QAAQ,CAAC,YAAY;gBACnC,cAAc,EAAE,QAAQ,CAAC,sBAAsB;gBAC/C,uBAAuB,EAAE,QAAQ,CAAC,uBAAuB;gBACzD,UAAU,EAAE,QAAQ,CAAC,UAAU;gBAC/B,YAAY,EAAE,QAAQ,CAAC,YAAY;gBACnC,oBAAoB,EAAE,QAAQ,CAAC,oBAAoB;gBACnD,sBAAsB,EAAE,QAAQ,CAAC,eAAe,CAAC,OAAO;aACzD;YACD,QAAQ;SACT,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;YACL,SAAS,EAAE,SAAS;YACpB,YAAY,EAAE,CAAC,+BAA+B,CAAC;YAC/C,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,mBAAmB,EAAE,SAAS,CAAC;YACrE,QAAQ,EAAE,IAAI;SACf,CAAC;IACJ,CAAC;AACH,CAAC"}