@kernlang/core 3.5.9-canary.220.1.c398cd95 → 4.0.0

package/dist/semantic-substrate.d.ts

@@ -0,0 +1,108 @@
+import { type PortableLogicPrimitiveId, type PortableLogicSupport, type PortableLogicTarget } from './codegen/portable-logic-primitives.js';
+import { type CoreShapeFacts } from './core-runtime/shape-validator.js';
+import type { NodeContract } from './ir/semantics/index.js';
+import { type ClassSemanticFacts, type RagSemanticFacts } from './semantic-validator.js';
+import type { IRNode } from './types.js';
+export type KernSemanticSubstrateSource = 'codegen-from-ts' | 'native-kern';
+export type KernSemanticSubstrateTarget = PortableLogicTarget;
+export interface KernSemanticSupport {
+    readonly ts: PortableLogicSupport;
+    readonly python: PortableLogicSupport;
+    readonly go: PortableLogicSupport;
+}
+export interface KernSemanticCoreOperation {
+    readonly id: string;
+    readonly kind: string;
+    readonly args: readonly string[];
+    readonly returns: readonly string[];
+    readonly lowerings: Readonly<Record<string, string>>;
+    readonly fixtureCount: number;
+    readonly reviewSummary: string;
+    readonly reviewTags: readonly string[];
+}
+export interface KernSemanticCoreType {
+    readonly id: string;
+    readonly name: string;
+    readonly kind: string;
+    readonly strict: true;
+    readonly operations: readonly KernSemanticCoreOperation[];
+}
+export interface KernSemanticPrimitive {
+    readonly id: PortableLogicPrimitiveId;
+    readonly kernName: string;
+    readonly domain: string;
+    readonly description: string;
+    readonly intent: string;
+    readonly purity: string;
+    readonly hostPatterns: readonly string[];
+    readonly portabilityNotes: readonly string[];
+    readonly support: KernSemanticSupport;
+}
+export interface KernSemanticStdlibOperation {
+    readonly id: string;
+    readonly module: string;
+    readonly method: string;
+    readonly arity: number;
+    readonly support: KernSemanticSupport;
+}
+export interface KernSemanticIrContract {
+    readonly nodeType: string;
+    readonly forbiddenRewrites: readonly string[];
+    readonly fixtureCount: number;
+}
+export interface KernSemanticValidationSummary {
+    readonly total: number;
+    readonly byRule: Readonly<Record<string, number>>;
+}
+export type KernSemanticRagAnswerReviewStatus = 'ready' | 'incomplete' | 'invalid';
+export interface KernSemanticRagAnswerReviewFact {
+    readonly pipelineName: string;
+    readonly retrieverName: string;
+    readonly prompt?: string;
+    readonly answer?: string;
+    readonly citationsRequired: boolean;
+    readonly groundingCount: number;
+    readonly evalCount: number;
+    readonly evalCaseCount: number;
+    readonly answerContractCount: number;
+    readonly mcpRetrievalCount: number;
+    readonly compatibleMcpRetrievalCount: number;
+    readonly provenanceRequired: boolean;
+    readonly provenanceComplete: boolean;
+    readonly validationStatus: KernSemanticRagAnswerReviewStatus;
+    readonly issues: readonly string[];
+}
+export interface KernSemanticSubstrate {
+    readonly schemaVersion: 1;
+    readonly generatedBy: 'kern-semantic-substrate';
+    readonly source: KernSemanticSubstrateSource;
+    readonly coreTypes: readonly KernSemanticCoreType[];
+    readonly coreGraphEdges: readonly {
+        readonly from: string;
+        readonly relation: string;
+        readonly to: string;
+        readonly operation?: string;
+        readonly index?: number;
+    }[];
+    readonly portablePrimitives: readonly KernSemanticPrimitive[];
+    readonly stdlibOperations: readonly KernSemanticStdlibOperation[];
+    readonly irContracts: readonly KernSemanticIrContract[];
+    readonly classFacts?: ClassSemanticFacts;
+    readonly classValidationSummary?: KernSemanticValidationSummary;
+    readonly ragFacts?: RagSemanticFacts;
+    readonly ragValidationSummary?: KernSemanticValidationSummary;
+    readonly ragAnswerReviewFacts?: readonly KernSemanticRagAnswerReviewFact[];
+    readonly coreShapeFacts?: CoreShapeFacts;
+}
+export interface BuildKernSemanticSubstrateOptions {
+    readonly source?: KernSemanticSubstrateSource;
+    readonly irContracts?: ReadonlyMap<string, NodeContract>;
+    readonly documentClasses?: IRNode | readonly IRNode[];
+    readonly includeClassValidationSummary?: boolean;
+    readonly documentRag?: IRNode | readonly IRNode[];
+    readonly includeRagValidationSummary?: boolean;
+    readonly documentShapes?: IRNode | readonly IRNode[];
+}
+export declare function buildKernSemanticSubstrate(options?: BuildKernSemanticSubstrateOptions): KernSemanticSubstrate;
+export declare function lookupSemanticPrimitive(substrate: KernSemanticSubstrate, id: PortableLogicPrimitiveId): KernSemanticPrimitive;
+export declare function semanticPrimitiveSupportSummary(primitive: KernSemanticPrimitive, targets: readonly KernSemanticSubstrateTarget[]): string;

package/dist/semantic-substrate.js

@@ -0,0 +1,263 @@
+import { KERN_STDLIB } from './codegen/kern-stdlib.js';
+import { PORTABLE_LOGIC_PRIMITIVE_IDS, PORTABLE_LOGIC_PRIMITIVES, } from './codegen/portable-logic-primitives.js';
+import { CORE_TYPE_CONTRACTS, contractToGraphEdges, } from './core-contracts/index.js';
+import { collectCoreShapeFacts } from './core-runtime/shape-validator.js';
+import { snapshotRegistry } from './ir/semantics/index.js';
+import { collectClassSemanticFacts, collectRagSemanticFacts, RAG_MCP_RETRIEVE_OUTPUT_ITEM_SHAPE, RAG_MCP_RETRIEVE_OUTPUT_SHAPE, validateClassSemantics, validateRagSemantics, } from './semantic-validator.js';
+export function buildKernSemanticSubstrate(options = {}) {
+    const ragFacts = options.documentRag ? collectRagSemanticFacts(options.documentRag) : undefined;
+    // The registry guarantees every value is a CoreTypeContract; pin the element type so
+    // Object.values does not widen to unknown/any under stricter tsconfig settings (ts18046).
+    const coreContracts = Object.values(CORE_TYPE_CONTRACTS.types);
+    const coreTypes = coreContracts.map((contract) => ({
+        id: `core.type.${contract.name}`,
+        name: contract.name,
+        kind: contract.kind,
+        strict: contract.strict,
+        operations: contract.operations.map((operation) => ({
+            id: operation.id,
+            kind: operation.kind,
+            args: [...operation.args],
+            returns: normalizeReturns(operation.returns),
+            lowerings: operation.lowers ? { ...operation.lowers } : {},
+            fixtureCount: operation.fixtures.length,
+            reviewSummary: operation.review.summary,
+            reviewTags: [...operation.review.graph],
+        })),
+    }));
+    return {
+        schemaVersion: 1,
+        generatedBy: 'kern-semantic-substrate',
+        source: options.source ?? 'codegen-from-ts',
+        coreTypes,
+        coreGraphEdges: coreContracts.flatMap((contract) => contractToGraphEdges(contract)),
+        portablePrimitives: PORTABLE_LOGIC_PRIMITIVE_IDS.map((id) => {
+            const primitive = PORTABLE_LOGIC_PRIMITIVES[id];
+            return {
+                id,
+                kernName: kernPrimitiveName(id),
+                domain: id.split('.')[0],
+                description: primitive.description,
+                intent: primitive.intent,
+                purity: primitive.purity,
+                hostPatterns: [...primitive.hostPatterns],
+                portabilityNotes: [...primitive.portabilityNotes],
+                support: { ...primitive.targets },
+            };
+        }),
+        stdlibOperations: stdlibOperationSummaries(),
+        irContracts: options.irContracts
+            ? snapshotRegistry(options.irContracts).contracts.map((contract) => ({
+                nodeType: contract.nodeType,
+                forbiddenRewrites: [...contract.forbiddenRewrites],
+                fixtureCount: contract.fixtureCount,
+            }))
+            : [],
+        ...(options.documentClasses ? { classFacts: collectClassSemanticFacts(options.documentClasses) } : {}),
+        ...(options.documentClasses && options.includeClassValidationSummary
+            ? { classValidationSummary: semanticValidationSummary(options.documentClasses) }
+            : {}),
+        ...(ragFacts ? { ragFacts, ragAnswerReviewFacts: buildRagAnswerReviewFacts(ragFacts) } : {}),
+        ...(options.documentRag && options.includeRagValidationSummary
+            ? { ragValidationSummary: ragValidationSummary(options.documentRag) }
+            : {}),
+        ...(options.documentShapes ? { coreShapeFacts: collectCoreShapeFacts(options.documentShapes) } : {}),
+    };
+}
+export function lookupSemanticPrimitive(substrate, id) {
+    const primitive = substrate.portablePrimitives.find((candidate) => candidate.id === id);
+    if (!primitive) {
+        throw new Error(`KERN semantic substrate missing portable primitive '${id}'.`);
+    }
+    return primitive;
+}
+export function semanticPrimitiveSupportSummary(primitive, targets) {
+    const bySupport = {
+        preview: [],
+        stable: [],
+        unsupported: [],
+    };
+    for (const target of targets) {
+        bySupport[semanticSupportForTarget(primitive.support, target)].push(target);
+    }
+    const parts = [];
+    for (const support of ['stable', 'preview', 'unsupported']) {
+        const targetNames = bySupport[support];
+        if (targetNames.length > 0)
+            parts.push(`${support}: ${targetNames.join(', ')}`);
+    }
+    return parts.join('; ');
+}
+function semanticSupportForTarget(support, target) {
+    switch (target) {
+        case 'ts':
+            return support.ts;
+        case 'python':
+            return support.python;
+        case 'go':
+            return support.go;
+    }
+}
+function stdlibOperationSummaries() {
+    const stdlib = KERN_STDLIB;
+    const operations = [];
+    for (const module of Object.keys(stdlib)) {
+        const entries = stdlib[module];
+        if (!entries)
+            continue;
+        for (const method of Object.keys(entries)) {
+            const entry = entries[method];
+            if (!entry)
+                continue;
+            operations.push({
+                id: `stdlib.${module}.${method}`,
+                module,
+                method,
+                arity: entry.arity,
+                support: {
+                    ts: entry.ts ? 'stable' : 'unsupported',
+                    python: entry.py ? 'stable' : 'unsupported',
+                    go: 'unsupported',
+                },
+            });
+        }
+    }
+    return operations;
+}
+function normalizeReturns(returns) {
+    return typeof returns === 'string' ? [returns] : [...returns];
+}
+function semanticValidationSummary(root) {
+    return summarizeSemanticViolations(validateClassSemantics(root));
+}
+function ragValidationSummary(root) {
+    return summarizeSemanticViolations(validateRagSemantics(root));
+}
+function summarizeSemanticViolations(violations) {
+    const byRule = {};
+    for (const violation of violations) {
+        byRule[violation.rule] = (byRule[violation.rule] ?? 0) + 1;
+    }
+    return { total: violations.length, byRule };
+}
+function buildRagAnswerReviewFacts(facts) {
+    const unresolvedRetrievers = new Set(facts.unresolvedRetrieverRefs);
+    return facts.pipelines.map((pipeline) => {
+        const citationsRequired = pipeline.citations || pipeline.groundings.some((grounding) => grounding.requireCitations);
+        const mcpRetrievals = facts.mcpRetrievals.filter((retrieval) => retrieval.targetKind === 'rag' && retrieval.targetName === pipeline.name);
+        const compatibleMcpRetrievals = mcpRetrievals.filter((retrieval) => isRagAnswerCompatibleMcpRetrieval(retrieval, citationsRequired));
+        const evalCaseCount = pipeline.evals.reduce((count, evaluation) => count + (evaluation.caseCount ?? 0), 0);
+        const answerContractCount = pipeline.answerContracts.length;
+        const issues = ragAnswerReviewIssues(facts, pipeline.name, pipeline.retrieverName, pipeline.prompt, pipeline.answer, answerContractCount, citationsRequired, pipeline.groundings.length, pipeline.groundings.some((grounding) => grounding.requireCitations), pipeline.evals.length, evalCaseCount, mcpRetrievals.length, compatibleMcpRetrievals.length, unresolvedRetrievers.has(pipeline.retrieverName));
+        return {
+            pipelineName: pipeline.name,
+            retrieverName: pipeline.retrieverName,
+            ...optionalStringValue('prompt', pipeline.prompt),
+            ...optionalStringValue('answer', pipeline.answer),
+            citationsRequired,
+            groundingCount: pipeline.groundings.length,
+            evalCount: pipeline.evals.length,
+            evalCaseCount,
+            answerContractCount,
+            mcpRetrievalCount: mcpRetrievals.length,
+            compatibleMcpRetrievalCount: compatibleMcpRetrievals.length,
+            provenanceRequired: citationsRequired || mcpRetrievals.some((retrieval) => retrieval.requireGrounding),
+            provenanceComplete: mcpRetrievals.length === 0 || compatibleMcpRetrievals.length === mcpRetrievals.length,
+            validationStatus: ragAnswerReviewStatus(issues),
+            issues,
+        };
+    });
+}
+function ragAnswerReviewIssues(facts, pipelineName, retrieverName, prompt, answer, answerContractCount, citationsRequired, groundingCount, hasCitationGrounding, evalCount, evalCaseCount, mcpRetrievalCount, compatibleMcpRetrievalCount, unresolvedRetriever) {
+    const issues = [];
+    if (unresolvedRetriever)
+        issues.push(`unresolved-retriever:${retrieverName}`);
+    if (!prompt && !answer && answerContractCount === 0)
+        issues.push('missing-answer-surface');
+    if (citationsRequired && groundingCount === 0)
+        issues.push('missing-grounding');
+    if (citationsRequired && !hasCitationGrounding)
+        issues.push('missing-citation-grounding');
+    if (evalCount === 0)
+        issues.push('missing-eval');
+    if (evalCount > 0 && evalCaseCount === 0)
+        issues.push('missing-eval-case');
+    if (facts.mcpRetrievals.some((retrieval) => retrieval.targetKind === 'rag' &&
+        retrieval.targetName === pipelineName &&
+        retrieval.contractStatus === 'invalid')) {
+        issues.push('invalid-mcp-retrieve-contract');
+    }
+    if (mcpRetrievalCount > 0 && compatibleMcpRetrievalCount === 0)
+        issues.push('missing-compatible-mcp-retrieve');
+    return issues;
+}
+function ragAnswerReviewStatus(issues) {
+    if (issues.some((issue) => INVALID_RAG_ANSWER_REVIEW_ISSUES.has(issue.split(':', 1)[0] ?? '')))
+        return 'invalid';
+    return issues.length === 0 ? 'ready' : 'incomplete';
+}
+function isRagAnswerCompatibleMcpRetrieval(retrieval, citationsRequired) {
+    if (retrieval.contractStatus !== 'valid')
+        return false;
+    if (retrieval.outputShape !== RAG_MCP_RETRIEVE_OUTPUT_SHAPE)
+        return false;
+    if (retrieval.outputItemShape !== undefined && retrieval.outputItemShape !== RAG_MCP_RETRIEVE_OUTPUT_ITEM_SHAPE) {
+        return false;
+    }
+    if (citationsRequired || retrieval.effectiveRequiresCitations) {
+        return (!!retrieval.citationField &&
+            (!!retrieval.sourceField || retrieval.provenance === 'source' || retrieval.provenance === 'citation'));
+    }
+    return true;
+}
+function optionalStringValue(key, value) {
+    return value === undefined ? {} : { [key]: value };
+}
+const INVALID_RAG_ANSWER_REVIEW_ISSUES = new Set(['unresolved-retriever', 'invalid-mcp-retrieve-contract']);
+const KERN_PRIMITIVE_NAMES = {
+    'collection.has': 'includes',
+    'collection.count': 'count',
+    'collection.filter': 'filter',
+    'collection.compact': 'compact',
+    'collection.pluck': 'pluck',
+    'collection.take': 'take',
+    'collection.drop': 'drop',
+    'collection.slice': 'slice',
+    'collection.reverse': 'reverse',
+    'collection.at': 'at',
+    'collection.join': 'join',
+    'collection.concat': 'concat',
+    'collection.includes': 'includes',
+    'collection.indexOf': 'indexOf',
+    'collection.lastIndexOf': 'lastIndexOf',
+    'collection.sort': 'sort',
+    'collection.uniqueBy': 'uniqueBy',
+    'collection.groupBy': 'groupBy',
+    'collection.partition': 'partition',
+    'collection.indexBy': 'indexBy',
+    'collection.countBy': 'countBy',
+    'logic.firstTruthy': 'firstTruthy',
+    'logic.coalesce': 'coalesce',
+    'time.epochMs': 'epochMs',
+    'logic.not': 'not',
+    'number.clamp': 'clamp',
+    'object.keys': 'objectKeys',
+    'object.values': 'objectValues',
+    'object.entries': 'objectEntries',
+    'object.merge': 'objectMerge',
+    'object.omit': 'objectOmit',
+    'object.pick': 'objectPick',
+    'string.trim': 'trim',
+    'string.split': 'split',
+    'string.replaceFirst': 'replaceFirst',
+    'string.replaceAll': 'replaceAll',
+    'logic.firstDefined': 'firstDefined',
+    'string.coerce': 'string',
+};
+function kernPrimitiveName(id) {
+    const name = KERN_PRIMITIVE_NAMES[id];
+    if (!name)
+        throw new Error(`KERN semantic substrate missing KERN primitive name for '${id}'.`);
+    return name;
+}
+//# sourceMappingURL=semantic-substrate.js.map

package/dist/semantic-substrate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-substrate.js","sourceRoot":"","sources":["../src/semantic-substrate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAoB,MAAM,0BAA0B,CAAC;AACzE,OAAO,EACL,4BAA4B,EAC5B,yBAAyB,GAI1B,MAAM,wCAAwC,CAAC;AAChD,OAAO,EACL,mBAAmB,EAGnB,oBAAoB,GACrB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAuB,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAE/F,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAEL,yBAAyB,EACzB,uBAAuB,EACvB,kCAAkC,EAClC,6BAA6B,EAI7B,sBAAsB,EACtB,oBAAoB,GACrB,MAAM,yBAAyB,CAAC;AAmHjC,MAAM,UAAU,0BAA0B,CAAC,UAA6C,EAAE;IACxF,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,uBAAuB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAChG,qFAAqF;IACrF,0FAA0F;IAC1F,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,KAAK,CAAgC,CAAC;IAC9F,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QACjD,EAAE,EAAE,aAAa,QAAQ,CAAC,IAAI,EAAE;QAChC,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAClD,EAAE,EAAE,SAAS,CAAC,EAAE;YAChB,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,IAAI,EAAE,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC;YACzB,OAAO,EAAE,gBAAgB,CAAC,SAAS,CAAC,OAAO,CAAC;YAC5C,SAAS,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE;YAC1D,YAAY,EAAE,SAAS,CAAC,QAAQ,CAAC,MAAM;YACvC,aAAa,EAAE,SAAS,CAAC,MAAM,CAAC,OAAO;YACvC,UAAU,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC;SACxC,CAAC,CAAC;KACJ,CAAC,CAAC,CAAC;IAEJ,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,WAAW,EAAE,yBAAyB;QACtC,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,iBAAiB;QAC3C,SAAS;QACT,cAAc,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACnF,kBAAkB,EAAE,4BAA4B,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;YAC1D,MAAM,SAAS,GAAG,yBAAyB,CAAC,EAAE,CAAC,CAAC;YAChD,OAAO;gBACL,EAAE;gBACF,QAAQ,EAAE,iBAAiB,CAAC,EAAE,CAAC;gBAC/B,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACxB,WAAW,EAAE,SAAS,CAAC,WAAW;gBAClC,MAAM,EAAE,SAAS,CAAC,MAAM;gBACxB,MAAM,EAAE,SAAS,CAAC,MAAM;gBACxB,YAAY,EAAE,CAAC,GAAG,SAAS,CAAC,YAAY,CAAC;gBACzC,gBAAgB,EAAE,CAAC,GAAG,SAAS,CAAC,gBAAgB,CAAC;gBACjD,OAAO,EAAE,EAAE,GAAG,SAAS,CAAC,OAAO,EAAE;aAClC,CAAC;QACJ,CAAC,CAAC;QACF,gBAAgB,EAAE,wBAAwB,EAAE;QAC5C,WAAW,EAAE,OAAO,CAAC,WAAW;YAC9B,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;gBACjE,QAAQ,EAAE,QAAQ,CAAC,QAAQ;gBAC3B,iBAAiB,EAAE,CAAC,GAAG,QAAQ,CAAC,iBAAiB,CAAC;gBAClD,YAAY,EAAE,QAAQ,CAAC,YAAY;aACpC,CAAC,CAAC;YACL,CAAC,CAAC,EAAE;QACN,GAAG,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,yBAAyB,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtG,GAAG,CAAC,OAAO,CAAC,eAAe,IAAI,OAAO,CAAC,6BAA6B;YAClE,CAAC,CAAC,EAAE,sBAAsB,EAAE,yBAAyB,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE;YAChF,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,oBAAoB,EAAE,yBAAyB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5F,GAAG,CAAC,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,2BAA2B;YAC5D,CAAC,CAAC,EAAE,oBAAoB,EAAE,oBAAoB,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE;YACrE,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,qBAAqB,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACrG,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,SAAgC,EAChC,EAA4B;IAE5B,MAAM,SAAS,GAAG,SAAS,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACxF,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,uDAAuD,EAAE,IAAI,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,SAAgC,EAChC,OAA+C;IAE/C,MAAM,SAAS,GAA2C;QACxD,OAAO,EAAE,EAAE;QACX,MAAM,EAAE,EAAE;QACV,WAAW,EAAE,EAAE;KAChB,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,SAAS,CAAC,wBAAwB,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9E,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,OAAO,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,aAAa,CAAkC,EAAE,CAAC;QAC5F,MAAM,WAAW,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;QACvC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,KAAK,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,wBAAwB,CAC/B,OAA4B,EAC5B,MAAmC;IAEnC,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,IAAI;YACP,OAAO,OAAO,CAAC,EAAE,CAAC;QACpB,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC,MAAM,CAAC;QACxB,KAAK,IAAI;YACP,OAAO,OAAO,CAAC,EAAE,CAAC;IACtB,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB;IAC/B,MAAM,MAAM,GAAgD,WAAW,CAAC;IACxE,MAAM,UAAU,GAAkC,EAAE,CAAC;IAErD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1C,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;YAC9B,IAAI,CAAC,KAAK;gBAAE,SAAS;YACrB,UAAU,CAAC,IAAI,CAAC;gBACd,EAAE,EAAE,UAAU,MAAM,IAAI,MAAM,EAAE;gBAChC,MAAM;gBACN,MAAM;gBACN,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,OAAO,EAAE;oBACP,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa;oBACvC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa;oBAC3C,EAAE,EAAE,aAAa;iBAClB;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,gBAAgB,CAAC,OAA6B;IACrD,OAAO,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,yBAAyB,CAAC,IAAgC;IACjE,OAAO,2BAA2B,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAgC;IAC5D,OAAO,2BAA2B,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,2BAA2B,CAAC,UAAwC;IAC3E,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;AAC9C,CAAC;AAED,SAAS,yBAAyB,CAAC,KAAuB;IACxD,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;IACpE,OAAO,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;QACtC,MAAM,iBAAiB,GAAG,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QACpH,MAAM,aAAa,GAAG,KAAK,CAAC,aAAa,CAAC,MAAM,CAC9C,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,KAAK,KAAK,IAAI,SAAS,CAAC,UAAU,KAAK,QAAQ,CAAC,IAAI,CACxF,CAAC;QACF,MAAM,uBAAuB,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CACjE,iCAAiC,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAChE,CAAC;QACF,MAAM,aAAa,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,UAAU,CAAC,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3G,MAAM,mBAAmB,GAAG,QAAQ,CAAC,eAAe,CAAC,MAAM,CAAC;QAC5D,MAAM,MAAM,GAAG,qBAAqB,CAClC,KAAK,EACL,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,aAAa,EACtB,QAAQ,CAAC,MAAM,EACf,QAAQ,CAAC,MAAM,EACf,mBAAmB,EACnB,iBAAiB,EACjB,QAAQ,CAAC,UAAU,CAAC,MAAM,EAC1B,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,gBAAgB,CAAC,EACnE,QAAQ,CAAC,KAAK,CAAC,MAAM,EACrB,aAAa,EACb,aAAa,CAAC,MAAM,EACpB,uBAAuB,CAAC,MAAM,EAC9B,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CACjD,CAAC;QACF,OAAO;YACL,YAAY,EAAE,QAAQ,CAAC,IAAI;YAC3B,aAAa,EAAE,QAAQ,CAAC,aAAa;YACrC,GAAG,mBAAmB,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC;YACjD,GAAG,mBAAmB,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC;YACjD,iBAAiB;YACjB,cAAc,EAAE,QAAQ,CAAC,UAAU,CAAC,MAAM;YAC1C,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM;YAChC,aAAa;YACb,mBAAmB;YACnB,iBAAiB,EAAE,aAAa,CAAC,MAAM;YACvC,2BAA2B,EAAE,uBAAuB,CAAC,MAAM;YAC3D,kBAAkB,EAAE,iBAAiB,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,gBAAgB,CAAC;YACtG,kBAAkB,EAAE,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,uBAAuB,CAAC,MAAM,KAAK,aAAa,CAAC,MAAM;YACzG,gBAAgB,EAAE,qBAAqB,CAAC,MAAM,CAAC;YAC/C,MAAM;SACP,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAAuB,EACvB,YAAoB,EACpB,aAAqB,EACrB,MAA0B,EAC1B,MAA0B,EAC1B,mBAA2B,EAC3B,iBAA0B,EAC1B,cAAsB,EACtB,oBAA6B,EAC7B,SAAiB,EACjB,aAAqB,EACrB,iBAAyB,EACzB,2BAAmC,EACnC,mBAA4B;IAE5B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,mBAAmB;QAAE,MAAM,CAAC,IAAI,CAAC,wBAAwB,aAAa,EAAE,CAAC,CAAC;IAC9E,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,IAAI,mBAAmB,KAAK,CAAC;QAAE,MAAM,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IAC3F,IAAI,iBAAiB,IAAI,cAAc,KAAK,CAAC;QAAE,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAChF,IAAI,iBAAiB,IAAI,CAAC,oBAAoB;QAAE,MAAM,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IAC1F,IAAI,SAAS,KAAK,CAAC;QAAE,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACjD,IAAI,SAAS,GAAG,CAAC,IAAI,aAAa,KAAK,CAAC;QAAE,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAC3E,IACE,KAAK,CAAC,aAAa,CAAC,IAAI,CACtB,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,UAAU,KAAK,KAAK;QAC9B,SAAS,CAAC,UAAU,KAAK,YAAY;QACrC,SAAS,CAAC,cAAc,KAAK,SAAS,CACzC,EACD,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,iBAAiB,GAAG,CAAC,IAAI,2BAA2B,KAAK,CAAC;QAAE,MAAM,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAC/G,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAyB;IACtD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,gCAAgC,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACjH,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC;AACtD,CAAC;AAED,SAAS,iCAAiC,CACxC,SAAsC,EACtC,iBAA0B;IAE1B,IAAI,SAAS,CAAC,cAAc,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IACvD,IAAI,SAAS,CAAC,WAAW,KAAK,6BAA6B;QAAE,OAAO,KAAK,CAAC;IAC1E,IAAI,SAAS,CAAC,eAAe,KAAK,SAAS,IAAI,SAAS,CAAC,eAAe,KAAK,kCAAkC,EAAE,CAAC;QAChH,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,iBAAiB,IAAI,SAAS,CAAC,0BAA0B,EAAE,CAAC;QAC9D,OAAO,CACL,CAAC,CAAC,SAAS,CAAC,aAAa;YACzB,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,IAAI,SAAS,CAAC,UAAU,KAAK,QAAQ,IAAI,SAAS,CAAC,UAAU,KAAK,UAAU,CAAC,CACtG,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,mBAAmB,CAAC,GAAW,EAAE,KAAyB;IACjE,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC;AACrD,CAAC;AAED,MAAM,gCAAgC,GAAG,IAAI,GAAG,CAAC,CAAC,sBAAsB,EAAE,+BAA+B,CAAC,CAAC,CAAC;AAE5G,MAAM,oBAAoB,GAA6C;IACrE,gBAAgB,EAAE,UAAU;IAC5B,kBAAkB,EAAE,OAAO;IAC3B,mBAAmB,EAAE,QAAQ;IAC7B,oBAAoB,EAAE,SAAS;IAC/B,kBAAkB,EAAE,OAAO;IAC3B,iBAAiB,EAAE,MAAM;IACzB,iBAAiB,EAAE,MAAM;IACzB,kBAAkB,EAAE,OAAO;IAC3B,oBAAoB,EAAE,SAAS;IAC/B,eAAe,EAAE,IAAI;IACrB,iBAAiB,EAAE,MAAM;IACzB,mBAAmB,EAAE,QAAQ;IAC7B,qBAAqB,EAAE,UAAU;IACjC,oBAAoB,EAAE,SAAS;IAC/B,wBAAwB,EAAE,aAAa;IACvC,iBAAiB,EAAE,MAAM;IACzB,qBAAqB,EAAE,UAAU;IACjC,oBAAoB,EAAE,SAAS;IAC/B,sBAAsB,EAAE,WAAW;IACnC,oBAAoB,EAAE,SAAS;IAC/B,oBAAoB,EAAE,SAAS;IAC/B,mBAAmB,EAAE,aAAa;IAClC,gBAAgB,EAAE,UAAU;IAC5B,cAAc,EAAE,SAAS;IACzB,WAAW,EAAE,KAAK;IAClB,cAAc,EAAE,OAAO;IACvB,aAAa,EAAE,YAAY;IAC3B,eAAe,EAAE,cAAc;IAC/B,gBAAgB,EAAE,eAAe;IACjC,cAAc,EAAE,aAAa;IAC7B,aAAa,EAAE,YAAY;IAC3B,aAAa,EAAE,YAAY;IAC3B,aAAa,EAAE,MAAM;IACrB,cAAc,EAAE,OAAO;IACvB,qBAAqB,EAAE,cAAc;IACrC,mBAAmB,EAAE,YAAY;IACjC,oBAAoB,EAAE,cAAc;IACpC,eAAe,EAAE,QAAQ;CAC1B,CAAC;AAEF,SAAS,iBAAiB,CAAC,EAA4B;IACrD,MAAM,IAAI,GAAG,oBAAoB,CAAC,EAAE,CAAC,CAAC;IACtC,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,4DAA4D,EAAE,IAAI,CAAC,CAAC;IAC/F,OAAO,IAAI,CAAC;AACd,CAAC"}