@party-stack/ontology 0.20.0 → 0.21.0

package/lib/ir/validate.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"validate.js","names":[],"sources":["../../src/ir/validate.ts"],"sourcesContent":["import { isLinkHopFromForeignKeySource, resolveLinkHop } from \"../utils/links.js\";\nimport { unwrapType } from \"../utils/types.js\";\nimport { ImageMediaTypeOptions } from \"./generated/constants.js\";\nimport type { ValidationIssue } from \"../utils/validation.js\";\nimport type { Result } from \"../utils/values.js\";\nimport type {\n    ActionParameterDef,\n    ActionTypeDef,\n    Expression,\n    LinkTypeDef,\n    ObjectTypeDef,\n    OntologyIR,\n    PropertyAssignment,\n    PropertyDef,\n    QueryFunctionTypeDef,\n    TypeDef,\n    InputReferenceExpression,\n} from \"./generated/types.js\";\n\nexport type ValidationResult = Result<void, ValidationIssue[]>;\n\n// TODO: Replace this attachment-specific range validation with real numeric constraints in the meta ontology.\nfunction validateNonNegativeRange(\n    range: { min?: number; max?: number } | undefined,\n    path: (string | number)[]\n): ValidationIssue[] {\n    if (!range) return [];\n    const errors: ValidationIssue[] = [];\n    for (const bound of [\"min\", \"max\"] as const) {\n        const value = range[bound];\n        if (value !== undefined && (!Number.isFinite(value) || value < 0)) {\n            errors.push({\n                message: `Range ${bound} must be a finite, non-negative number.`,\n                path: [...path, bound],\n            });\n        }\n    }\n    if (range.min !== undefined && range.max !== undefined && range.min > range.max) {\n        errors.push({\n            message: \"Range min must be less than or equal to max.\",\n            path,\n        });\n    }\n    return errors;\n}\n\nfunction validateAttachmentConstraints(type: Extract<TypeDef, { kind: \"attachment\" }>): ValidationIssue[] {\n    const constraint = type.value.constraint;\n    if (!constraint) return [];\n\n    const errors = validateNonNegativeRange(constraint.size, [\"constraint\", \"size\"]);\n    const content = constraint.content;\n    if (content?.kind !== \"image\") return errors;\n\n    for (const [index, mediaType] of (content.value.mediaTypes ?? []).entries()) {\n        if (!ImageMediaTypeOptions.some((option) => option.value === mediaType)) {\n            errors.push({\n                message: `Unsupported image media type: \"${mediaType}\".`,\n                path: [\"constraint\", \"content\", \"value\", \"mediaTypes\", index],\n            });\n        }\n    }\n    errors.push(\n        ...validateNonNegativeRange(content.value.dimensions?.width, [\n            \"constraint\",\n            \"content\",\n            \"value\",\n            \"dimensions\",\n            \"width\",\n        ]),\n        ...validateNonNegativeRange(content.value.dimensions?.height, [\n            \"constraint\",\n            \"content\",\n            \"value\",\n            \"dimensions\",\n            \"height\",\n        ])\n    );\n    return errors;\n}\n\nfunction validateTypeDef(\n    type: TypeDef,\n    path: (string | number)[],\n    valueTypeNames: Set<string>,\n    objectTypeNames: Set<string>\n): ValidationIssue[] {\n    switch (type.kind) {\n        case \"string\":\n        case \"boolean\":\n        case \"integer\":\n        case \"float\":\n        case \"double\":\n        case \"date\":\n        case \"timestamp\":\n        case \"geopoint\":\n        case \"unknown\":\n            return [];\n\n        case \"attachment\":\n            return validateAttachmentConstraints(type).map((error) => ({\n                ...error,\n                path: [...path, ...(error.path ?? [])],\n            }));\n\n        case \"objectReference\":\n            return objectTypeNames.has(type.value.objectType)\n                ? []\n                : [\n                      {\n                          message: `Unknown object type reference: \"${type.value.objectType}\".`,\n                          path: [...path, \"objectType\"],\n                      },\n                  ];\n\n        case \"list\":\n            return validateTypeDef(\n                type.value.elementType,\n                [...path, \"elementType\"],\n                valueTypeNames,\n                objectTypeNames\n            );\n\n        case \"map\": {\n            const errors: ValidationIssue[] = [];\n            if (type.value.keyType.kind !== \"string\") {\n                errors.push({\n                    message: \"Map key types must be string.\",\n                    path: [...path, \"keyType\"],\n                });\n            }\n            return [\n                ...errors,\n                ...validateTypeDef(type.value.keyType, [...path, \"keyType\"], valueTypeNames, objectTypeNames),\n                ...validateTypeDef(\n                    type.value.valueType,\n                    [...path, \"valueType\"],\n                    valueTypeNames,\n                    objectTypeNames\n                ),\n            ];\n        }\n\n        case \"struct\":\n            return validateStructFields(\n                type.value.fields,\n                [...path, \"fields\"],\n                valueTypeNames,\n                objectTypeNames\n            );\n\n        case \"union\":\n            return validateUnionVariants(\n                type.value.variants,\n                [...path, \"variants\"],\n                valueTypeNames,\n                objectTypeNames\n            );\n\n        case \"optional\":\n            return validateTypeDef(type.value.type, [...path, \"type\"], valueTypeNames, objectTypeNames);\n\n        case \"result\":\n            return [\n                ...validateTypeDef(type.value.okType, [...path, \"okType\"], valueTypeNames, objectTypeNames),\n                ...validateTypeDef(type.value.errType, [...path, \"errType\"], valueTypeNames, objectTypeNames),\n            ];\n\n        case \"ref\":\n            return valueTypeNames.has(type.value.name)\n                ? []\n                : [\n                      {\n                          message: `Unknown value type reference: \"${type.value.name}\".`,\n                          path: [...path, \"name\"],\n                      },\n                  ];\n    }\n}\n\nfunction validateStructFields(\n    fields: Array<{ name: string; displayName: string; type: TypeDef }>,\n    path: (string | number)[],\n    valueTypeNames: Set<string>,\n    objectTypeNames: Set<string>\n): ValidationIssue[] {\n    const fieldNames = new Set<string>();\n    const errors: ValidationIssue[] = [];\n\n    for (let i = 0; i < fields.length; i++) {\n        const field = fields[i]!;\n        const fieldPath = [...path, i];\n\n        if (fieldNames.has(field.name)) {\n            errors.push({ message: `Duplicate field name: \"${field.name}\".`, path: [...fieldPath, \"name\"] });\n        }\n        fieldNames.add(field.name);\n\n        errors.push(...validateTypeDef(field.type, [...fieldPath, \"type\"], valueTypeNames, objectTypeNames));\n    }\n\n    return errors;\n}\n\nfunction validateUnionVariants(\n    variants: Array<{ name: string; type: TypeDef }>,\n    path: (string | number)[],\n    valueTypeNames: Set<string>,\n    objectTypeNames: Set<string>\n): ValidationIssue[] {\n    const seen = new Set<string>();\n    const errors: ValidationIssue[] = [];\n\n    for (let i = 0; i < variants.length; i++) {\n        const variant = variants[i]!;\n        const variantPath = [...path, i];\n\n        if (seen.has(variant.name)) {\n            errors.push({\n                message: `Duplicate variant name: \"${variant.name}\".`,\n                path: [...variantPath, \"name\"],\n            });\n        }\n        seen.add(variant.name);\n\n        errors.push(\n            ...validateTypeDef(variant.type, [...variantPath, \"type\"], valueTypeNames, objectTypeNames)\n        );\n    }\n\n    return errors;\n}\n\nfunction validateProperties(\n    properties: PropertyDef[],\n    path: (string | number)[],\n    valueTypeNames: Set<string>,\n    objectTypeNames: Set<string>\n): ValidationIssue[] {\n    const names = new Set<string>();\n    const errors: ValidationIssue[] = [];\n\n    for (let i = 0; i < properties.length; i++) {\n        const prop = properties[i]!;\n        const propPath = [...path, i];\n\n        if (names.has(prop.name)) {\n            errors.push({\n                message: `Duplicate property name: \"${prop.name}\".`,\n                path: [...propPath, \"name\"],\n            });\n        }\n        names.add(prop.name);\n\n        errors.push(...validateTypeDef(prop.type, [...propPath, \"type\"], valueTypeNames, objectTypeNames));\n    }\n\n    return errors;\n}\n\nfunction resolveType(\n    type: TypeDef,\n    valueTypes: ReadonlyMap<string, TypeDef>,\n    seen = new Set<string>()\n): TypeDef | undefined {\n    if (type.kind !== \"ref\") {\n        return type;\n    }\n\n    const name = type.value.name;\n    if (seen.has(name)) {\n        return undefined;\n    }\n\n    const resolved = valueTypes.get(name);\n    if (!resolved) {\n        return undefined;\n    }\n\n    return resolveType(resolved, valueTypes, new Set([...seen, name]));\n}\n\nfunction resolveFieldType(\n    type: TypeDef,\n    path: string[],\n    valueTypes: ReadonlyMap<string, TypeDef>\n): TypeDef | undefined {\n    const resolvedType = resolveType(type, valueTypes);\n    if (!resolvedType) {\n        return undefined;\n    }\n\n    if (path.length === 0) {\n        return resolvedType;\n    }\n\n    const [segment, ...rest] = path;\n\n    switch (resolvedType.kind) {\n        case \"optional\":\n            return resolveFieldType(resolvedType.value.type, path, valueTypes);\n        case \"struct\": {\n            const field = resolvedType.value.fields.find((candidate) => candidate.name === segment);\n            return field ? resolveFieldType(field.type, rest, valueTypes) : undefined;\n        }\n        default:\n            return undefined;\n    }\n}\n\ntype ExpressionValueType =\n    | TypeDef\n    | {\n          kind: \"ontologyObject\";\n          objectType: string;\n      };\n\nfunction resolveExpressionType(\n    expression: Expression,\n    parameters: ReadonlyMap<string, ActionParameterDef>,\n    valueTypes: ReadonlyMap<string, TypeDef>,\n    objectTypes: ReadonlyMap<string, ObjectTypeDef>,\n    linkTypes: readonly LinkTypeDef[],\n    contextType: TypeDef | undefined,\n    locals: ReadonlyMap<string, TypeDef>\n): ExpressionValueType | undefined {\n    switch (expression.kind) {\n        case \"inputReference\":\n            return parameters.get(expression.value.name)?.type;\n        case \"contextReference\":\n            return contextType\n                ? resolveFieldType(contextType, [expression.value.name], valueTypes)\n                : undefined;\n        case \"localReference\":\n            return locals.get(expression.value.name);\n        case \"getAt\": {\n            const sourceType = resolveExpressionType(\n                expression.value.source,\n                parameters,\n                valueTypes,\n                objectTypes,\n                linkTypes,\n                contextType,\n                locals\n            );\n            if (!sourceType || expression.value.path.length === 0) {\n                return undefined;\n            }\n            if (sourceType.kind === \"ontologyObject\") {\n                const [propertyName, ...rest] = expression.value.path;\n                const property = objectTypes\n                    .get(sourceType.objectType)\n                    ?.properties.find((candidate) => candidate.name === propertyName);\n                return property ? resolveFieldType(property.type, rest, valueTypes) : undefined;\n            }\n            return resolveFieldType(sourceType, expression.value.path, valueTypes);\n        }\n        case \"objectLookup\": {\n            const referenceType = resolveExpressionType(\n                expression.value.reference,\n                parameters,\n                valueTypes,\n                objectTypes,\n                linkTypes,\n                contextType,\n                locals\n            );\n            const resolved =\n                referenceType?.kind === \"ontologyObject\"\n                    ? undefined\n                    : referenceType\n                      ? unwrapOptionalType(referenceType, valueTypes)\n                      : undefined;\n            return resolved?.kind === \"objectReference\"\n                ? {\n                      kind: \"ontologyObject\",\n                      objectType: resolved.value.objectType,\n                  }\n                : undefined;\n        }\n        case \"linkHop\": {\n            const sourceType = resolveExpressionType(\n                expression.value.source,\n                parameters,\n                valueTypes,\n                objectTypes,\n                linkTypes,\n                contextType,\n                locals\n            );\n            if (sourceType?.kind !== \"ontologyObject\") {\n                return undefined;\n            }\n            const link = resolveLinkHop(\n                {\n                    objectTypes: [...objectTypes.values()],\n                    linkTypes: [...linkTypes],\n                },\n                sourceType.objectType,\n                expression.value.link\n            );\n            if (!link) return undefined;\n            const foreignKeyOnSource = isLinkHopFromForeignKeySource(\n                link,\n                sourceType.objectType,\n                expression.value.link\n            );\n            if (!foreignKeyOnSource && link.cardinality === \"many\") {\n                return undefined;\n            }\n            return {\n                kind: \"ontologyObject\",\n                objectType: foreignKeyOnSource ? link.target.objectType : link.source.objectType,\n            };\n        }\n        case \"struct\":\n            return {\n                kind: \"struct\",\n                value: {\n                    fields: expression.value.fields.map((field) => ({\n                        name: field.name,\n                        displayName: field.name,\n                        type: (() => {\n                            const resolved = resolveExpressionType(\n                                field.value,\n                                parameters,\n                                valueTypes,\n                                objectTypes,\n                                linkTypes,\n                                contextType,\n                                locals\n                            );\n                            return resolved && resolved.kind !== \"ontologyObject\"\n                                ? resolved\n                                : {\n                                      kind: \"unknown\" as const,\n                                      value: {},\n                                  };\n                        })(),\n                    })),\n                },\n            };\n        case \"map\": {\n            const sourceType = resolveExpressionType(\n                expression.value.source,\n                parameters,\n                valueTypes,\n                objectTypes,\n                linkTypes,\n                contextType,\n                locals\n            );\n            const listType =\n                sourceType && sourceType.kind !== \"ontologyObject\"\n                    ? unwrapOptionalType(sourceType, valueTypes)\n                    : undefined;\n            if (listType?.kind !== \"list\") {\n                return undefined;\n            }\n            const bodyLocals = new Map(locals);\n            bodyLocals.set(expression.value.binding, listType.value.elementType);\n            const bodyType = resolveExpressionType(\n                expression.value.body,\n                parameters,\n                valueTypes,\n                objectTypes,\n                linkTypes,\n                contextType,\n                bodyLocals\n            );\n            return bodyType && bodyType.kind !== \"ontologyObject\"\n                ? {\n                      kind: \"list\",\n                      value: { elementType: bodyType },\n                  }\n                : undefined;\n        }\n        case \"literal\":\n            return { kind: \"unknown\", value: {} };\n        case \"uuid\":\n            return { kind: \"string\", value: {} };\n        case \"now\":\n            return { kind: \"timestamp\", value: {} };\n    }\n}\n\nfunction validateExpression(\n    expression: Expression,\n    parameters: ReadonlyMap<string, ActionParameterDef>,\n    path: (string | number)[],\n    valueTypes: ReadonlyMap<string, TypeDef>,\n    objectTypes: ReadonlyMap<string, ObjectTypeDef>,\n    linkTypes: readonly LinkTypeDef[],\n    contextType: TypeDef | undefined,\n    locals: ReadonlyMap<string, TypeDef> = new Map()\n): ValidationIssue[] {\n    switch (expression.kind) {\n        case \"inputReference\": {\n            const parameter = parameters.get(expression.value.name);\n            if (!parameter) {\n                return [\n                    {\n                        message: `Unknown action parameter: \"${expression.value.name}\".`,\n                        path: [...path, \"name\"],\n                    },\n                ];\n            }\n            return [];\n        }\n        case \"contextReference\":\n            if (!contextType) {\n                return [];\n            }\n            return resolveFieldType(contextType, [expression.value.name], valueTypes)\n                ? []\n                : [\n                      {\n                          message: `Unknown context value: \"${expression.value.name}\".`,\n                          path: [...path, \"name\"],\n                      },\n                  ];\n        case \"localReference\": {\n            const local = locals.get(expression.value.name);\n            if (!local) {\n                return [\n                    {\n                        message: `Unknown expression binding: \"${expression.value.name}\".`,\n                        path: [...path, \"name\"],\n                    },\n                ];\n            }\n            return [];\n        }\n        case \"getAt\":\n        case \"objectLookup\":\n        case \"linkHop\": {\n            const childKey = expression.kind === \"objectLookup\" ? \"reference\" : \"source\";\n            const child =\n                expression.kind === \"objectLookup\" ? expression.value.reference : expression.value.source;\n            const errors = validateExpression(\n                child,\n                parameters,\n                [...path, childKey],\n                valueTypes,\n                objectTypes,\n                linkTypes,\n                contextType,\n                locals\n            );\n            if (expression.kind === \"getAt\" && expression.value.path.length === 0) {\n                errors.push({\n                    message: \"Get-at expression paths must not be empty.\",\n                    path: [...path, \"path\"],\n                });\n            }\n            const resolved = resolveExpressionType(\n                expression,\n                parameters,\n                valueTypes,\n                objectTypes,\n                linkTypes,\n                contextType,\n                locals\n            );\n            if (!resolved) {\n                errors.push({\n                    message:\n                        expression.kind === \"getAt\"\n                            ? \"Get-at expression source and path must resolve structurally.\"\n                            : expression.kind === \"objectLookup\"\n                              ? \"Object lookup references must resolve to an object reference.\"\n                              : \"Link hop must resolve to a named to-one link.\",\n                    path,\n                });\n            }\n            return errors;\n        }\n        case \"struct\": {\n            const errors: ValidationIssue[] = [];\n            const names = new Set<string>();\n            for (let index = 0; index < expression.value.fields.length; index++) {\n                const field = expression.value.fields[index]!;\n                if (names.has(field.name)) {\n                    errors.push({\n                        message: `Duplicate struct expression field: \"${field.name}\".`,\n                        path: [...path, \"fields\", index, \"name\"],\n                    });\n                }\n                names.add(field.name);\n                errors.push(\n                    ...validateExpression(\n                        field.value,\n                        parameters,\n                        [...path, \"fields\", index, \"value\"],\n                        valueTypes,\n                        objectTypes,\n                        linkTypes,\n                        contextType,\n                        locals\n                    )\n                );\n            }\n            return errors;\n        }\n        case \"map\": {\n            const errors = validateExpression(\n                expression.value.source,\n                parameters,\n                [...path, \"source\"],\n                valueTypes,\n                objectTypes,\n                linkTypes,\n                contextType,\n                locals\n            );\n            const sourceType = resolveExpressionType(\n                expression.value.source,\n                parameters,\n                valueTypes,\n                objectTypes,\n                linkTypes,\n                contextType,\n                locals\n            );\n            const listType =\n                sourceType && sourceType.kind !== \"ontologyObject\"\n                    ? unwrapOptionalType(sourceType, valueTypes)\n                    : undefined;\n            if (sourceType && listType?.kind !== \"list\") {\n                errors.push({\n                    message: \"Map expression source must resolve to a list.\",\n                    path: [...path, \"source\"],\n                });\n            }\n            if (!expression.value.binding) {\n                errors.push({\n                    message: \"Map expression binding must not be empty.\",\n                    path: [...path, \"binding\"],\n                });\n            }\n            const bodyLocals = new Map(locals);\n            bodyLocals.set(\n                expression.value.binding,\n                listType?.kind === \"list\" ? listType.value.elementType : { kind: \"unknown\", value: {} }\n            );\n            errors.push(\n                ...validateExpression(\n                    expression.value.body,\n                    parameters,\n                    [...path, \"body\"],\n                    valueTypes,\n                    objectTypes,\n                    linkTypes,\n                    contextType,\n                    bodyLocals\n                )\n            );\n            return errors;\n        }\n        case \"uuid\":\n        case \"now\":\n        case \"literal\":\n            return [];\n    }\n}\n\nfunction unwrapOptionalType(type: TypeDef, valueTypes: ReadonlyMap<string, TypeDef>): TypeDef | undefined {\n    const resolved = resolveType(type, valueTypes);\n    return resolved?.kind === \"optional\" ? unwrapOptionalType(resolved.value.type, valueTypes) : resolved;\n}\n\nfunction areDefaultTypesCompatible(\n    target: TypeDef,\n    source: TypeDef,\n    valueTypes: ReadonlyMap<string, TypeDef>\n): boolean {\n    const targetType = unwrapOptionalType(target, valueTypes);\n    const sourceType = unwrapOptionalType(source, valueTypes);\n    if (!targetType || !sourceType) return false;\n    if (targetType.kind === \"unknown\" || sourceType.kind === \"unknown\") return true;\n    if (targetType.kind !== sourceType.kind) return false;\n    if (targetType.kind === \"objectReference\" && sourceType.kind === \"objectReference\") {\n        return targetType.value.objectType === sourceType.value.objectType;\n    }\n    if (targetType.kind === \"list\" && sourceType.kind === \"list\") {\n        return areDefaultTypesCompatible(\n            targetType.value.elementType,\n            sourceType.value.elementType,\n            valueTypes\n        );\n    }\n    return true;\n}\n\nfunction validateActionObjectReference(\n    reference: InputReferenceExpression,\n    parameters: ReadonlyMap<string, ActionParameterDef>,\n    path: (string | number)[],\n    valueTypes: ReadonlyMap<string, TypeDef>,\n    objectTypes: ReadonlyMap<string, ObjectTypeDef>\n): { errors: ValidationIssue[]; objectType?: ObjectTypeDef } {\n    const parameterName = reference.name;\n    const parameter = parameters.get(parameterName);\n    if (!parameter) {\n        return {\n            errors: [\n                {\n                    message: `Unknown action parameter: \"${parameterName}\".`,\n                    path: [...path, \"name\"],\n                },\n            ],\n        };\n    }\n\n    const resolved = resolveType(parameter.type, valueTypes);\n    if (!resolved || resolved.kind !== \"objectReference\") {\n        return {\n            errors: [\n                {\n                    message: `Action target parameter \"${parameterName}\" must be an object reference.`,\n                    path: [...path, \"name\"],\n                },\n            ],\n        };\n    }\n\n    const targetObjectType = objectTypes.get(resolved.value.objectType);\n    return targetObjectType\n        ? { errors: [], objectType: targetObjectType }\n        : {\n              errors: [\n                  {\n                      message: `Unknown object type reference: \"${resolved.value.objectType}\".`,\n                      path: [...path, \"name\"],\n                  },\n              ],\n          };\n}\n\nfunction validateActionPropertyAssignment(\n    assignment: PropertyAssignment,\n    target: ObjectTypeDef,\n    parameters: ReadonlyMap<string, ActionParameterDef>,\n    path: (string | number)[],\n    valueTypes: ReadonlyMap<string, TypeDef>,\n    objectTypes: ReadonlyMap<string, ObjectTypeDef>,\n    linkTypes: readonly LinkTypeDef[],\n    contextType: TypeDef | undefined\n): ValidationIssue[] {\n    if (assignment.property.length === 0) {\n        return [\n            { message: \"Action property assignments must specify a property.\", path: [...path, \"property\"] },\n        ];\n    }\n\n    const [propertyName, ...rest] = assignment.property;\n    const property = target.properties.find((candidate) => candidate.name === propertyName);\n    if (!property) {\n        return [\n            {\n                message: `Unknown property \"${propertyName}\" on object type \"${target.name}\".`,\n                path: [...path, \"property\"],\n            },\n        ];\n    }\n\n    const resolved = resolveFieldType(property.type, rest, valueTypes);\n    const errors = validateExpression(\n        assignment.value,\n        parameters,\n        [...path, \"value\"],\n        valueTypes,\n        objectTypes,\n        linkTypes,\n        contextType\n    );\n\n    return resolved\n        ? errors\n        : [\n              ...errors,\n              {\n                  message: `Invalid property \"${assignment.property.join(\".\")}\" on object type \"${target.name}\".`,\n                  path: [...path, \"property\"],\n              },\n          ];\n}\n\nfunction validateAction(\n    action: ActionTypeDef,\n    path: (string | number)[],\n    valueTypes: ReadonlyMap<string, TypeDef>,\n    objectTypes: ReadonlyMap<string, ObjectTypeDef>,\n    linkTypes: readonly LinkTypeDef[],\n    contextType: TypeDef | undefined\n): ValidationIssue[] {\n    const errors: ValidationIssue[] = [];\n    const parameters = new Map(action.parameters.map((parameter) => [parameter.name, parameter]));\n    const seenParameters = new Set<string>();\n\n    for (let index = 0; index < action.parameters.length; index++) {\n        const parameter = action.parameters[index]!;\n        const parameterPath = [...path, \"parameters\", index];\n\n        if (seenParameters.has(parameter.name)) {\n            errors.push({\n                message: `Duplicate action parameter name: \"${parameter.name}\".`,\n                path: [...parameterPath, \"name\"],\n            });\n        }\n        seenParameters.add(parameter.name);\n\n        errors.push(\n            ...validateTypeDef(\n                parameter.type,\n                [...parameterPath, \"type\"],\n                new Set(valueTypes.keys()),\n                new Set(objectTypes.keys())\n            )\n        );\n\n        if (parameter.defaultValue) {\n            errors.push(\n                ...validateExpression(\n                    parameter.defaultValue,\n                    parameters,\n                    [...parameterPath, \"defaultValue\"],\n                    valueTypes,\n                    objectTypes,\n                    linkTypes,\n                    contextType\n                )\n            );\n            const sourceType = resolveExpressionType(\n                parameter.defaultValue,\n                parameters,\n                valueTypes,\n                objectTypes,\n                linkTypes,\n                contextType,\n                new Map()\n            );\n            if (\n                sourceType &&\n                sourceType.kind !== \"ontologyObject\" &&\n                !areDefaultTypesCompatible(parameter.type, sourceType, valueTypes)\n            ) {\n                errors.push({\n                    message: `Default value for \"${parameter.name}\" has an incompatible type.`,\n                    path: [...parameterPath, \"defaultValue\"],\n                });\n            }\n        }\n    }\n\n    for (let index = 0; index < action.logic.length; index++) {\n        const step = action.logic[index]!;\n        const stepPath = [...path, \"logic\", index];\n\n        switch (step.kind) {\n            case \"createObject\": {\n                const objectType = objectTypes.get(step.value.objectType);\n                if (!objectType) {\n                    errors.push({\n                        message: `Unknown object type \"${step.value.objectType}\" in action \"${action.name}\".`,\n                        path: [...stepPath, \"value\", \"objectType\"],\n                    });\n                    continue;\n                }\n                for (let valueIndex = 0; valueIndex < step.value.values.length; valueIndex++) {\n                    errors.push(\n                        ...validateActionPropertyAssignment(\n                            step.value.values[valueIndex]!,\n                            objectType,\n                            parameters,\n                            [...stepPath, \"value\", \"values\", valueIndex],\n                            valueTypes,\n                            objectTypes,\n                            linkTypes,\n                            contextType\n                        )\n                    );\n                }\n                break;\n            }\n            case \"updateObject\": {\n                const target = validateActionObjectReference(\n                    step.value.object,\n                    parameters,\n                    [...stepPath, \"value\", \"object\"],\n                    valueTypes,\n                    objectTypes\n                );\n                errors.push(...target.errors);\n                if (!target.objectType) {\n                    continue;\n                }\n                for (let valueIndex = 0; valueIndex < step.value.values.length; valueIndex++) {\n                    errors.push(\n                        ...validateActionPropertyAssignment(\n                            step.value.values[valueIndex]!,\n                            target.objectType,\n                            parameters,\n                            [...stepPath, \"value\", \"values\", valueIndex],\n                            valueTypes,\n                            objectTypes,\n                            linkTypes,\n                            contextType\n                        )\n                    );\n                }\n                break;\n            }\n            case \"deleteObject\":\n                errors.push(\n                    ...validateActionObjectReference(\n                        step.value.object,\n                        parameters,\n                        [...stepPath, \"value\", \"object\"],\n                        valueTypes,\n                        objectTypes\n                    ).errors\n                );\n                break;\n        }\n    }\n\n    return errors;\n}\n\nfunction validateQueryFunctionType(\n    queryFunctionType: QueryFunctionTypeDef,\n    path: (string | number)[],\n    valueTypeNames: Set<string>,\n    objectTypeNames: Set<string>\n): ValidationIssue[] {\n    const errors: ValidationIssue[] = [];\n    const seenParameters = new Set<string>();\n\n    for (let index = 0; index < queryFunctionType.parameters.length; index++) {\n        const parameter = queryFunctionType.parameters[index]!;\n        const parameterPath = [...path, \"parameters\", index];\n\n        if (seenParameters.has(parameter.name)) {\n            errors.push({\n                message: `Duplicate query function parameter name: \"${parameter.name}\".`,\n                path: [...parameterPath, \"name\"],\n            });\n        }\n        seenParameters.add(parameter.name);\n\n        errors.push(\n            ...validateTypeDef(parameter.type, [...parameterPath, \"type\"], valueTypeNames, objectTypeNames)\n        );\n    }\n\n    errors.push(\n        ...validateTypeDef(\n            queryFunctionType.returnType,\n            [...path, \"returnType\"],\n            valueTypeNames,\n            objectTypeNames\n        )\n    );\n\n    return errors;\n}\n\nexport function validate(ontology: OntologyIR): ValidationResult {\n    const errors: ValidationIssue[] = [];\n\n    // Collect value type names for ref resolution\n    const valueTypeNames = new Set<string>();\n    for (let i = 0; i < ontology.types.length; i++) {\n        const vt = ontology.types[i]!;\n        if (valueTypeNames.has(vt.name)) {\n            errors.push({\n                message: `Duplicate value type name: \"${vt.name}\".`,\n                path: [\"types\", i, \"name\"],\n            });\n        }\n        valueTypeNames.add(vt.name);\n    }\n\n    const objectTypeNames = new Set<string>();\n    for (let i = 0; i < ontology.objectTypes.length; i++) {\n        const ot = ontology.objectTypes[i]!;\n        if (objectTypeNames.has(ot.name)) {\n            errors.push({\n                message: `Duplicate object type name: \"${ot.name}\".`,\n                path: [\"objectTypes\", i, \"name\"],\n            });\n        }\n        objectTypeNames.add(ot.name);\n    }\n\n    const valueTypes = new Map(ontology.types.map((type) => [type.name, type.type]));\n    const objectTypes = new Map(ontology.objectTypes.map((objectType) => [objectType.name, objectType]));\n\n    if (ontology.contextType) {\n        errors.push(\n            ...validateTypeDef(ontology.contextType, [\"contextType\"], valueTypeNames, objectTypeNames)\n        );\n        const resolvedContextType = resolveType(ontology.contextType, valueTypes);\n        if (resolvedContextType?.kind === \"struct\") {\n            const userField = resolvedContextType.value.fields.find((field) => field.name === \"user\");\n            const unwrappedUserType = userField ? unwrapType(userField.type).type : undefined;\n            const resolvedUserType = unwrappedUserType\n                ? resolveType(unwrappedUserType, valueTypes)\n                : undefined;\n            if (userField && resolvedUserType?.kind !== \"objectReference\") {\n                errors.push({\n                    message: 'Reserved context field \"user\" must be an object reference.',\n                    path: [\n                        \"contextType\",\n                        \"fields\",\n                        resolvedContextType.value.fields.indexOf(userField),\n                        \"type\",\n                    ],\n                });\n            }\n        }\n    }\n\n    // Validate value type definitions once both namespaces are known.\n    for (let i = 0; i < ontology.types.length; i++) {\n        const vt = ontology.types[i]!;\n        errors.push(...validateTypeDef(vt.type, [\"types\", i, \"type\"], valueTypeNames, objectTypeNames));\n    }\n\n    // Validate object types\n    for (let i = 0; i < ontology.objectTypes.length; i++) {\n        const ot = ontology.objectTypes[i]!;\n        const otPath = [\"objectTypes\", i] as (string | number)[];\n\n        // Validate properties\n        errors.push(\n            ...validateProperties(ot.properties, [...otPath, \"properties\"], valueTypeNames, objectTypeNames)\n        );\n\n        // Validate primary key references a valid property\n        const propertyNames = new Set(ot.properties.map((p) => p.name));\n        if (!propertyNames.has(ot.primaryKey)) {\n            errors.push({\n                message: `Primary key \"${ot.primaryKey}\" does not reference a valid property.`,\n                path: [...otPath, \"primaryKey\"],\n            });\n        }\n        if (ot.title && !propertyNames.has(ot.title)) {\n            errors.push({\n                message: `Title \"${ot.title}\" does not reference a valid property.`,\n                path: [...otPath, \"title\"],\n            });\n        }\n    }\n\n    // Validate link types\n    const linkIds = new Set<string>();\n    const linkNames = new Set<string>();\n    for (let i = 0; i < ontology.linkTypes.length; i++) {\n        const lt = ontology.linkTypes[i]!;\n        const ltPath = [\"linkTypes\", i] as (string | number)[];\n\n        if (linkIds.has(lt.id)) {\n            errors.push({\n                message: `Duplicate link type id: \"${lt.id}\".`,\n                path: [...ltPath, \"id\"],\n            });\n        }\n        linkIds.add(lt.id);\n\n        // Relationship names from a source object are keyed by target.name.\n        const linkName = `${lt.source.objectType}:${lt.target.name}`;\n        if (linkNames.has(linkName)) {\n            errors.push({\n                message: `Duplicate link type target name: \"${lt.target.name}\" on \"${lt.source.objectType}\".`,\n                path: [...ltPath, \"target\", \"name\"],\n            });\n        }\n        linkNames.add(linkName);\n\n        if (!objectTypeNames.has(lt.source.objectType)) {\n            errors.push({\n                message: `Source object type \"${lt.source.objectType}\" does not exist.`,\n                path: [...ltPath, \"source\", \"objectType\"],\n            });\n        }\n\n        if (!objectTypeNames.has(lt.target.objectType)) {\n            errors.push({\n                message: `Target object type \"${lt.target.objectType}\" does not exist.`,\n                path: [...ltPath, \"target\", \"objectType\"],\n            });\n        }\n\n        const foreignKeyRoot = lt.foreignKey.split(\".\")[0]!;\n        const sourceType = ontology.objectTypes.find((candidate) => candidate.name === lt.source.objectType);\n        const sourceHasFk =\n            sourceType?.properties.some((property) => property.name === foreignKeyRoot) ?? false;\n        if (sourceType && !sourceHasFk) {\n            errors.push({\n                message: `Foreign key \"${lt.foreignKey}\" does not exist on source object type \"${lt.source.objectType}\" for link \"${lt.id}\".`,\n                path: [...ltPath, \"foreignKey\"],\n            });\n        }\n    }\n\n    const actionNames = new Set<string>();\n    for (let i = 0; i < ontology.actionTypes.length; i++) {\n        const action = ontology.actionTypes[i]!;\n        const actionPath = [\"actionTypes\", i] as (string | number)[];\n\n        if (actionNames.has(action.name)) {\n            errors.push({\n                message: `Duplicate action type name: \"${action.name}\".`,\n                path: [...actionPath, \"name\"],\n            });\n        }\n        actionNames.add(action.name);\n\n        errors.push(\n            ...validateAction(\n                action,\n                actionPath,\n                valueTypes,\n                objectTypes,\n                ontology.linkTypes,\n                ontology.contextType\n            )\n        );\n    }\n\n    const queryFunctionTypeNames = new Set<string>();\n    for (let i = 0; i < ontology.queryFunctionTypes.length; i++) {\n        const queryFunctionType = ontology.queryFunctionTypes[i]!;\n        const queryFunctionTypePath = [\"queryFunctionTypes\", i] as (string | number)[];\n\n        if (queryFunctionTypeNames.has(queryFunctionType.name)) {\n            errors.push({\n                message: `Duplicate query function type name: \"${queryFunctionType.name}\".`,\n                path: [...queryFunctionTypePath, \"name\"],\n            });\n        }\n        queryFunctionTypeNames.add(queryFunctionType.name);\n\n        errors.push(\n            ...validateQueryFunctionType(\n                queryFunctionType,\n                queryFunctionTypePath,\n                valueTypeNames,\n                objectTypeNames\n            )\n        );\n    }\n\n    return errors.length === 0 ? { kind: \"ok\", value: undefined } : { kind: \"err\", value: errors };\n}\n"],"mappings":";;;;AAsBA,SAAS,yBACL,OACA,MACiB;CACjB,IAAI,CAAC,OAAO,OAAO,CAAC;CACpB,MAAM,SAA4B,CAAC;CACnC,KAAK,MAAM,SAAS,CAAC,OAAO,KAAK,GAAY;EACzC,MAAM,QAAQ,MAAM;EACpB,IAAI,UAAU,KAAA,MAAc,CAAC,OAAO,SAAS,KAAK,KAAK,QAAQ,IAC3D,OAAO,KAAK;GACR,SAAS,SAAS,MAAM;GACxB,MAAM,CAAC,GAAG,MAAM,KAAK;EACzB,CAAC;CAET;CACA,IAAI,MAAM,QAAQ,KAAA,KAAa,MAAM,QAAQ,KAAA,KAAa,MAAM,MAAM,MAAM,KACxE,OAAO,KAAK;EACR,SAAS;EACT;CACJ,CAAC;CAEL,OAAO;AACX;AAEA,SAAS,8BAA8B,MAAmE;CACtG,MAAM,aAAa,KAAK,MAAM;CAC9B,IAAI,CAAC,YAAY,OAAO,CAAC;CAEzB,MAAM,SAAS,yBAAyB,WAAW,MAAM,CAAC,cAAc,MAAM,CAAC;CAC/E,MAAM,UAAU,WAAW;CAC3B,IAAI,SAAS,SAAS,SAAS,OAAO;CAEtC,KAAK,MAAM,CAAC,OAAO,eAAe,QAAQ,MAAM,cAAc,CAAC,EAAA,CAAG,QAAQ,GACtE,IAAI,CAAC,sBAAsB,MAAM,WAAW,OAAO,UAAU,SAAS,GAClE,OAAO,KAAK;EACR,SAAS,kCAAkC,UAAU;EACrD,MAAM;GAAC;GAAc;GAAW;GAAS;GAAc;EAAK;CAChE,CAAC;CAGT,OAAO,KACH,GAAG,yBAAyB,QAAQ,MAAM,YAAY,OAAO;EACzD;EACA;EACA;EACA;EACA;CACJ,CAAC,GACD,GAAG,yBAAyB,QAAQ,MAAM,YAAY,QAAQ;EAC1D;EACA;EACA;EACA;EACA;CACJ,CAAC,CACL;CACA,OAAO;AACX;AAEA,SAAS,gBACL,MACA,MACA,gBACA,iBACiB;CACjB,QAAQ,KAAK,MAAb;EACI,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK,WACD,OAAO,CAAC;EAEZ,KAAK,cACD,OAAO,8BAA8B,IAAI,CAAC,CAAC,KAAK,WAAW;GACvD,GAAG;GACH,MAAM,CAAC,GAAG,MAAM,GAAI,MAAM,QAAQ,CAAC,CAAE;EACzC,EAAE;EAEN,KAAK,mBACD,OAAO,gBAAgB,IAAI,KAAK,MAAM,UAAU,IAC1C,CAAC,IACD,CACI;GACI,SAAS,mCAAmC,KAAK,MAAM,WAAW;GAClE,MAAM,CAAC,GAAG,MAAM,YAAY;EAChC,CACJ;EAEV,KAAK,QACD,OAAO,gBACH,KAAK,MAAM,aACX,CAAC,GAAG,MAAM,aAAa,GACvB,gBACA,eACJ;EAEJ,KAAK,OAAO;GACR,MAAM,SAA4B,CAAC;GACnC,IAAI,KAAK,MAAM,QAAQ,SAAS,UAC5B,OAAO,KAAK;IACR,SAAS;IACT,MAAM,CAAC,GAAG,MAAM,SAAS;GAC7B,CAAC;GAEL,OAAO;IACH,GAAG;IACH,GAAG,gBAAgB,KAAK,MAAM,SAAS,CAAC,GAAG,MAAM,SAAS,GAAG,gBAAgB,eAAe;IAC5F,GAAG,gBACC,KAAK,MAAM,WACX,CAAC,GAAG,MAAM,WAAW,GACrB,gBACA,eACJ;GACJ;EACJ;EAEA,KAAK,UACD,OAAO,qBACH,KAAK,MAAM,QACX,CAAC,GAAG,MAAM,QAAQ,GAClB,gBACA,eACJ;EAEJ,KAAK,SACD,OAAO,sBACH,KAAK,MAAM,UACX,CAAC,GAAG,MAAM,UAAU,GACpB,gBACA,eACJ;EAEJ,KAAK,YACD,OAAO,gBAAgB,KAAK,MAAM,MAAM,CAAC,GAAG,MAAM,MAAM,GAAG,gBAAgB,eAAe;EAE9F,KAAK,UACD,OAAO,CACH,GAAG,gBAAgB,KAAK,MAAM,QAAQ,CAAC,GAAG,MAAM,QAAQ,GAAG,gBAAgB,eAAe,GAC1F,GAAG,gBAAgB,KAAK,MAAM,SAAS,CAAC,GAAG,MAAM,SAAS,GAAG,gBAAgB,eAAe,CAChG;EAEJ,KAAK,OACD,OAAO,eAAe,IAAI,KAAK,MAAM,IAAI,IACnC,CAAC,IACD,CACI;GACI,SAAS,kCAAkC,KAAK,MAAM,KAAK;GAC3D,MAAM,CAAC,GAAG,MAAM,MAAM;EAC1B,CACJ;CACd;AACJ;AAEA,SAAS,qBACL,QACA,MACA,gBACA,iBACiB;CACjB,MAAM,6BAAa,IAAI,IAAY;CACnC,MAAM,SAA4B,CAAC;CAEnC,KAAK,IAAI,IAAI,GAAG,IAAI,OAAO,QAAQ,KAAK;EACpC,MAAM,QAAQ,OAAO;EACrB,MAAM,YAAY,CAAC,GAAG,MAAM,CAAC;EAE7B,IAAI,WAAW,IAAI,MAAM,IAAI,GACzB,OAAO,KAAK;GAAE,SAAS,0BAA0B,MAAM,KAAK;GAAK,MAAM,CAAC,GAAG,WAAW,MAAM;EAAE,CAAC;EAEnG,WAAW,IAAI,MAAM,IAAI;EAEzB,OAAO,KAAK,GAAG,gBAAgB,MAAM,MAAM,CAAC,GAAG,WAAW,MAAM,GAAG,gBAAgB,eAAe,CAAC;CACvG;CAEA,OAAO;AACX;AAEA,SAAS,sBACL,UACA,MACA,gBACA,iBACiB;CACjB,MAAM,uBAAO,IAAI,IAAY;CAC7B,MAAM,SAA4B,CAAC;CAEnC,KAAK,IAAI,IAAI,GAAG,IAAI,SAAS,QAAQ,KAAK;EACtC,MAAM,UAAU,SAAS;EACzB,MAAM,cAAc,CAAC,GAAG,MAAM,CAAC;EAE/B,IAAI,KAAK,IAAI,QAAQ,IAAI,GACrB,OAAO,KAAK;GACR,SAAS,4BAA4B,QAAQ,KAAK;GAClD,MAAM,CAAC,GAAG,aAAa,MAAM;EACjC,CAAC;EAEL,KAAK,IAAI,QAAQ,IAAI;EAErB,OAAO,KACH,GAAG,gBAAgB,QAAQ,MAAM,CAAC,GAAG,aAAa,MAAM,GAAG,gBAAgB,eAAe,CAC9F;CACJ;CAEA,OAAO;AACX;AAEA,SAAS,mBACL,YACA,MACA,gBACA,iBACiB;CACjB,MAAM,wBAAQ,IAAI,IAAY;CAC9B,MAAM,SAA4B,CAAC;CAEnC,KAAK,IAAI,IAAI,GAAG,IAAI,WAAW,QAAQ,KAAK;EACxC,MAAM,OAAO,WAAW;EACxB,MAAM,WAAW,CAAC,GAAG,MAAM,CAAC;EAE5B,IAAI,MAAM,IAAI,KAAK,IAAI,GACnB,OAAO,KAAK;GACR,SAAS,6BAA6B,KAAK,KAAK;GAChD,MAAM,CAAC,GAAG,UAAU,MAAM;EAC9B,CAAC;EAEL,MAAM,IAAI,KAAK,IAAI;EAEnB,OAAO,KAAK,GAAG,gBAAgB,KAAK,MAAM,CAAC,GAAG,UAAU,MAAM,GAAG,gBAAgB,eAAe,CAAC;CACrG;CAEA,OAAO;AACX;AAEA,SAAS,YACL,MACA,YACA,uBAAO,IAAI,IAAY,GACJ;CACnB,IAAI,KAAK,SAAS,OACd,OAAO;CAGX,MAAM,OAAO,KAAK,MAAM;CACxB,IAAI,KAAK,IAAI,IAAI,GACb;CAGJ,MAAM,WAAW,WAAW,IAAI,IAAI;CACpC,IAAI,CAAC,UACD;CAGJ,OAAO,YAAY,UAAU,4BAAY,IAAI,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC,CAAC;AACrE;AAEA,SAAS,iBACL,MACA,MACA,YACmB;CACnB,MAAM,eAAe,YAAY,MAAM,UAAU;CACjD,IAAI,CAAC,cACD;CAGJ,IAAI,KAAK,WAAW,GAChB,OAAO;CAGX,MAAM,CAAC,SAAS,GAAG,QAAQ;CAE3B,QAAQ,aAAa,MAArB;EACI,KAAK,YACD,OAAO,iBAAiB,aAAa,MAAM,MAAM,MAAM,UAAU;EACrE,KAAK,UAAU;GACX,MAAM,QAAQ,aAAa,MAAM,OAAO,MAAM,cAAc,UAAU,SAAS,OAAO;GACtF,OAAO,QAAQ,iBAAiB,MAAM,MAAM,MAAM,UAAU,IAAI,KAAA;EACpE;EACA,SACI;CACR;AACJ;AASA,SAAS,sBACL,YACA,YACA,YACA,aACA,WACA,aACA,QAC+B;CAC/B,QAAQ,WAAW,MAAnB;EACI,KAAK,kBACD,OAAO,WAAW,IAAI,WAAW,MAAM,IAAI,CAAC,EAAE;EAClD,KAAK,oBACD,OAAO,cACD,iBAAiB,aAAa,CAAC,WAAW,MAAM,IAAI,GAAG,UAAU,IACjE,KAAA;EACV,KAAK,kBACD,OAAO,OAAO,IAAI,WAAW,MAAM,IAAI;EAC3C,KAAK,SAAS;GACV,MAAM,aAAa,sBACf,WAAW,MAAM,QACjB,YACA,YACA,aACA,WACA,aACA,MACJ;GACA,IAAI,CAAC,cAAc,WAAW,MAAM,KAAK,WAAW,GAChD;GAEJ,IAAI,WAAW,SAAS,kBAAkB;IACtC,MAAM,CAAC,cAAc,GAAG,QAAQ,WAAW,MAAM;IACjD,MAAM,WAAW,YACZ,IAAI,WAAW,UAAU,CAAC,EACzB,WAAW,MAAM,cAAc,UAAU,SAAS,YAAY;IACpE,OAAO,WAAW,iBAAiB,SAAS,MAAM,MAAM,UAAU,IAAI,KAAA;GAC1E;GACA,OAAO,iBAAiB,YAAY,WAAW,MAAM,MAAM,UAAU;EACzE;EACA,KAAK,gBAAgB;GACjB,MAAM,gBAAgB,sBAClB,WAAW,MAAM,WACjB,YACA,YACA,aACA,WACA,aACA,MACJ;GACA,MAAM,WACF,eAAe,SAAS,mBAClB,KAAA,IACA,gBACE,mBAAmB,eAAe,UAAU,IAC5C,KAAA;GACZ,OAAO,UAAU,SAAS,oBACpB;IACI,MAAM;IACN,YAAY,SAAS,MAAM;GAC/B,IACA,KAAA;EACV;EACA,KAAK,WAAW;GACZ,MAAM,aAAa,sBACf,WAAW,MAAM,QACjB,YACA,YACA,aACA,WACA,aACA,MACJ;GACA,IAAI,YAAY,SAAS,kBACrB;GAEJ,MAAM,OAAO,eACT;IACI,aAAa,CAAC,GAAG,YAAY,OAAO,CAAC;IACrC,WAAW,CAAC,GAAG,SAAS;GAC5B,GACA,WAAW,YACX,WAAW,MAAM,IACrB;GACA,IAAI,CAAC,MAAM,OAAO,KAAA;GAClB,MAAM,qBAAqB,8BACvB,MACA,WAAW,YACX,WAAW,MAAM,IACrB;GACA,IAAI,CAAC,sBAAsB,KAAK,gBAAgB,QAC5C;GAEJ,OAAO;IACH,MAAM;IACN,YAAY,qBAAqB,KAAK,OAAO,aAAa,KAAK,OAAO;GAC1E;EACJ;EACA,KAAK,UACD,OAAO;GACH,MAAM;GACN,OAAO,EACH,QAAQ,WAAW,MAAM,OAAO,KAAK,WAAW;IAC5C,MAAM,MAAM;IACZ,aAAa,MAAM;IACnB,aAAa;KACT,MAAM,WAAW,sBACb,MAAM,OACN,YACA,YACA,aACA,WACA,aACA,MACJ;KACA,OAAO,YAAY,SAAS,SAAS,mBAC/B,WACA;MACI,MAAM;MACN,OAAO,CAAC;KACZ;IACV,EAAA,CAAG;GACP,EAAE,EACN;EACJ;EACJ,KAAK,OAAO;GACR,MAAM,aAAa,sBACf,WAAW,MAAM,QACjB,YACA,YACA,aACA,WACA,aACA,MACJ;GACA,MAAM,WACF,cAAc,WAAW,SAAS,mBAC5B,mBAAmB,YAAY,UAAU,IACzC,KAAA;GACV,IAAI,UAAU,SAAS,QACnB;GAEJ,MAAM,aAAa,IAAI,IAAI,MAAM;GACjC,WAAW,IAAI,WAAW,MAAM,SAAS,SAAS,MAAM,WAAW;GACnE,MAAM,WAAW,sBACb,WAAW,MAAM,MACjB,YACA,YACA,aACA,WACA,aACA,UACJ;GACA,OAAO,YAAY,SAAS,SAAS,mBAC/B;IACI,MAAM;IACN,OAAO,EAAE,aAAa,SAAS;GACnC,IACA,KAAA;EACV;EACA,KAAK,WACD,OAAO;GAAE,MAAM;GAAW,OAAO,CAAC;EAAE;EACxC,KAAK,QACD,OAAO;GAAE,MAAM;GAAU,OAAO,CAAC;EAAE;EACvC,KAAK,OACD,OAAO;GAAE,MAAM;GAAa,OAAO,CAAC;EAAE;CAC9C;AACJ;AAEA,SAAS,mBACL,YACA,YACA,MACA,YACA,aACA,WACA,aACA,yBAAuC,IAAI,IAAI,GAC9B;CACjB,QAAQ,WAAW,MAAnB;EACI,KAAK;GAED,IAAI,CADc,WAAW,IAAI,WAAW,MAAM,IACrC,GACT,OAAO,CACH;IACI,SAAS,8BAA8B,WAAW,MAAM,KAAK;IAC7D,MAAM,CAAC,GAAG,MAAM,MAAM;GAC1B,CACJ;GAEJ,OAAO,CAAC;EAEZ,KAAK;GACD,IAAI,CAAC,aACD,OAAO,CAAC;GAEZ,OAAO,iBAAiB,aAAa,CAAC,WAAW,MAAM,IAAI,GAAG,UAAU,IAClE,CAAC,IACD,CACI;IACI,SAAS,2BAA2B,WAAW,MAAM,KAAK;IAC1D,MAAM,CAAC,GAAG,MAAM,MAAM;GAC1B,CACJ;EACV,KAAK;GAED,IAAI,CADU,OAAO,IAAI,WAAW,MAAM,IACjC,GACL,OAAO,CACH;IACI,SAAS,gCAAgC,WAAW,MAAM,KAAK;IAC/D,MAAM,CAAC,GAAG,MAAM,MAAM;GAC1B,CACJ;GAEJ,OAAO,CAAC;EAEZ,KAAK;EACL,KAAK;EACL,KAAK,WAAW;GACZ,MAAM,WAAW,WAAW,SAAS,iBAAiB,cAAc;GAGpE,MAAM,SAAS,mBADX,WAAW,SAAS,iBAAiB,WAAW,MAAM,YAAY,WAAW,MAAM,QAGnF,YACA,CAAC,GAAG,MAAM,QAAQ,GAClB,YACA,aACA,WACA,aACA,MACJ;GACA,IAAI,WAAW,SAAS,WAAW,WAAW,MAAM,KAAK,WAAW,GAChE,OAAO,KAAK;IACR,SAAS;IACT,MAAM,CAAC,GAAG,MAAM,MAAM;GAC1B,CAAC;GAWL,IAAI,CATa,sBACb,YACA,YACA,YACA,aACA,WACA,aACA,MAEQ,GACR,OAAO,KAAK;IACR,SACI,WAAW,SAAS,UACd,iEACA,WAAW,SAAS,iBAClB,kEACA;IACZ;GACJ,CAAC;GAEL,OAAO;EACX;EACA,KAAK,UAAU;GACX,MAAM,SAA4B,CAAC;GACnC,MAAM,wBAAQ,IAAI,IAAY;GAC9B,KAAK,IAAI,QAAQ,GAAG,QAAQ,WAAW,MAAM,OAAO,QAAQ,SAAS;IACjE,MAAM,QAAQ,WAAW,MAAM,OAAO;IACtC,IAAI,MAAM,IAAI,MAAM,IAAI,GACpB,OAAO,KAAK;KACR,SAAS,uCAAuC,MAAM,KAAK;KAC3D,MAAM;MAAC,GAAG;MAAM;MAAU;MAAO;KAAM;IAC3C,CAAC;IAEL,MAAM,IAAI,MAAM,IAAI;IACpB,OAAO,KACH,GAAG,mBACC,MAAM,OACN,YACA;KAAC,GAAG;KAAM;KAAU;KAAO;IAAO,GAClC,YACA,aACA,WACA,aACA,MACJ,CACJ;GACJ;GACA,OAAO;EACX;EACA,KAAK,OAAO;GACR,MAAM,SAAS,mBACX,WAAW,MAAM,QACjB,YACA,CAAC,GAAG,MAAM,QAAQ,GAClB,YACA,aACA,WACA,aACA,MACJ;GACA,MAAM,aAAa,sBACf,WAAW,MAAM,QACjB,YACA,YACA,aACA,WACA,aACA,MACJ;GACA,MAAM,WACF,cAAc,WAAW,SAAS,mBAC5B,mBAAmB,YAAY,UAAU,IACzC,KAAA;GACV,IAAI,cAAc,UAAU,SAAS,QACjC,OAAO,KAAK;IACR,SAAS;IACT,MAAM,CAAC,GAAG,MAAM,QAAQ;GAC5B,CAAC;GAEL,IAAI,CAAC,WAAW,MAAM,SAClB,OAAO,KAAK;IACR,SAAS;IACT,MAAM,CAAC,GAAG,MAAM,SAAS;GAC7B,CAAC;GAEL,MAAM,aAAa,IAAI,IAAI,MAAM;GACjC,WAAW,IACP,WAAW,MAAM,SACjB,UAAU,SAAS,SAAS,SAAS,MAAM,cAAc;IAAE,MAAM;IAAW,OAAO,CAAC;GAAE,CAC1F;GACA,OAAO,KACH,GAAG,mBACC,WAAW,MAAM,MACjB,YACA,CAAC,GAAG,MAAM,MAAM,GAChB,YACA,aACA,WACA,aACA,UACJ,CACJ;GACA,OAAO;EACX;EACA,KAAK;EACL,KAAK;EACL,KAAK,WACD,OAAO,CAAC;CAChB;AACJ;AAEA,SAAS,mBAAmB,MAAe,YAA+D;CACtG,MAAM,WAAW,YAAY,MAAM,UAAU;CAC7C,OAAO,UAAU,SAAS,aAAa,mBAAmB,SAAS,MAAM,MAAM,UAAU,IAAI;AACjG;AAEA,SAAS,0BACL,QACA,QACA,YACO;CACP,MAAM,aAAa,mBAAmB,QAAQ,UAAU;CACxD,MAAM,aAAa,mBAAmB,QAAQ,UAAU;CACxD,IAAI,CAAC,cAAc,CAAC,YAAY,OAAO;CACvC,IAAI,WAAW,SAAS,aAAa,WAAW,SAAS,WAAW,OAAO;CAC3E,IAAI,WAAW,SAAS,WAAW,MAAM,OAAO;CAChD,IAAI,WAAW,SAAS,qBAAqB,WAAW,SAAS,mBAC7D,OAAO,WAAW,MAAM,eAAe,WAAW,MAAM;CAE5D,IAAI,WAAW,SAAS,UAAU,WAAW,SAAS,QAClD,OAAO,0BACH,WAAW,MAAM,aACjB,WAAW,MAAM,aACjB,UACJ;CAEJ,OAAO;AACX;AAEA,SAAS,8BACL,WACA,YACA,MACA,YACA,aACyD;CACzD,MAAM,gBAAgB,UAAU;CAChC,MAAM,YAAY,WAAW,IAAI,aAAa;CAC9C,IAAI,CAAC,WACD,OAAO,EACH,QAAQ,CACJ;EACI,SAAS,8BAA8B,cAAc;EACrD,MAAM,CAAC,GAAG,MAAM,MAAM;CAC1B,CACJ,EACJ;CAGJ,MAAM,WAAW,YAAY,UAAU,MAAM,UAAU;CACvD,IAAI,CAAC,YAAY,SAAS,SAAS,mBAC/B,OAAO,EACH,QAAQ,CACJ;EACI,SAAS,4BAA4B,cAAc;EACnD,MAAM,CAAC,GAAG,MAAM,MAAM;CAC1B,CACJ,EACJ;CAGJ,MAAM,mBAAmB,YAAY,IAAI,SAAS,MAAM,UAAU;CAClE,OAAO,mBACD;EAAE,QAAQ,CAAC;EAAG,YAAY;CAAiB,IAC3C,EACI,QAAQ,CACJ;EACI,SAAS,mCAAmC,SAAS,MAAM,WAAW;EACtE,MAAM,CAAC,GAAG,MAAM,MAAM;CAC1B,CACJ,EACJ;AACV;AAEA,SAAS,iCACL,YACA,QACA,YACA,MACA,YACA,aACA,WACA,aACiB;CACjB,IAAI,WAAW,SAAS,WAAW,GAC/B,OAAO,CACH;EAAE,SAAS;EAAwD,MAAM,CAAC,GAAG,MAAM,UAAU;CAAE,CACnG;CAGJ,MAAM,CAAC,cAAc,GAAG,QAAQ,WAAW;CAC3C,MAAM,WAAW,OAAO,WAAW,MAAM,cAAc,UAAU,SAAS,YAAY;CACtF,IAAI,CAAC,UACD,OAAO,CACH;EACI,SAAS,qBAAqB,aAAa,oBAAoB,OAAO,KAAK;EAC3E,MAAM,CAAC,GAAG,MAAM,UAAU;CAC9B,CACJ;CAGJ,MAAM,WAAW,iBAAiB,SAAS,MAAM,MAAM,UAAU;CACjE,MAAM,SAAS,mBACX,WAAW,OACX,YACA,CAAC,GAAG,MAAM,OAAO,GACjB,YACA,aACA,WACA,WACJ;CAEA,OAAO,WACD,SACA,CACI,GAAG,QACH;EACI,SAAS,qBAAqB,WAAW,SAAS,KAAK,GAAG,EAAE,oBAAoB,OAAO,KAAK;EAC5F,MAAM,CAAC,GAAG,MAAM,UAAU;CAC9B,CACJ;AACV;AAEA,SAAS,eACL,QACA,MACA,YACA,aACA,WACA,aACiB;CACjB,MAAM,SAA4B,CAAC;CACnC,MAAM,aAAa,IAAI,IAAI,OAAO,WAAW,KAAK,cAAc,CAAC,UAAU,MAAM,SAAS,CAAC,CAAC;CAC5F,MAAM,iCAAiB,IAAI,IAAY;CAEvC,KAAK,IAAI,QAAQ,GAAG,QAAQ,OAAO,WAAW,QAAQ,SAAS;EAC3D,MAAM,YAAY,OAAO,WAAW;EACpC,MAAM,gBAAgB;GAAC,GAAG;GAAM;GAAc;EAAK;EAEnD,IAAI,eAAe,IAAI,UAAU,IAAI,GACjC,OAAO,KAAK;GACR,SAAS,qCAAqC,UAAU,KAAK;GAC7D,MAAM,CAAC,GAAG,eAAe,MAAM;EACnC,CAAC;EAEL,eAAe,IAAI,UAAU,IAAI;EAEjC,OAAO,KACH,GAAG,gBACC,UAAU,MACV,CAAC,GAAG,eAAe,MAAM,GACzB,IAAI,IAAI,WAAW,KAAK,CAAC,GACzB,IAAI,IAAI,YAAY,KAAK,CAAC,CAC9B,CACJ;EAEA,IAAI,UAAU,cAAc;GACxB,OAAO,KACH,GAAG,mBACC,UAAU,cACV,YACA,CAAC,GAAG,eAAe,cAAc,GACjC,YACA,aACA,WACA,WACJ,CACJ;GACA,MAAM,aAAa,sBACf,UAAU,cACV,YACA,YACA,aACA,WACA,6BACA,IAAI,IAAI,CACZ;GACA,IACI,cACA,WAAW,SAAS,oBACpB,CAAC,0BAA0B,UAAU,MAAM,YAAY,UAAU,GAEjE,OAAO,KAAK;IACR,SAAS,sBAAsB,UAAU,KAAK;IAC9C,MAAM,CAAC,GAAG,eAAe,cAAc;GAC3C,CAAC;EAET;CACJ;CAEA,KAAK,IAAI,QAAQ,GAAG,QAAQ,OAAO,MAAM,QAAQ,SAAS;EACtD,MAAM,OAAO,OAAO,MAAM;EAC1B,MAAM,WAAW;GAAC,GAAG;GAAM;GAAS;EAAK;EAEzC,QAAQ,KAAK,MAAb;GACI,KAAK,gBAAgB;IACjB,MAAM,aAAa,YAAY,IAAI,KAAK,MAAM,UAAU;IACxD,IAAI,CAAC,YAAY;KACb,OAAO,KAAK;MACR,SAAS,wBAAwB,KAAK,MAAM,WAAW,eAAe,OAAO,KAAK;MAClF,MAAM;OAAC,GAAG;OAAU;OAAS;MAAY;KAC7C,CAAC;KACD;IACJ;IACA,KAAK,IAAI,aAAa,GAAG,aAAa,KAAK,MAAM,OAAO,QAAQ,cAC5D,OAAO,KACH,GAAG,iCACC,KAAK,MAAM,OAAO,aAClB,YACA,YACA;KAAC,GAAG;KAAU;KAAS;KAAU;IAAU,GAC3C,YACA,aACA,WACA,WACJ,CACJ;IAEJ;GACJ;GACA,KAAK,gBAAgB;IACjB,MAAM,SAAS,8BACX,KAAK,MAAM,QACX,YACA;KAAC,GAAG;KAAU;KAAS;IAAQ,GAC/B,YACA,WACJ;IACA,OAAO,KAAK,GAAG,OAAO,MAAM;IAC5B,IAAI,CAAC,OAAO,YACR;IAEJ,KAAK,IAAI,aAAa,GAAG,aAAa,KAAK,MAAM,OAAO,QAAQ,cAC5D,OAAO,KACH,GAAG,iCACC,KAAK,MAAM,OAAO,aAClB,OAAO,YACP,YACA;KAAC,GAAG;KAAU;KAAS;KAAU;IAAU,GAC3C,YACA,aACA,WACA,WACJ,CACJ;IAEJ;GACJ;GACA,KAAK,gBACD,OAAO,KACH,GAAG,8BACC,KAAK,MAAM,QACX,YACA;IAAC,GAAG;IAAU;IAAS;GAAQ,GAC/B,YACA,WACJ,CAAC,CAAC,MACN;EAER;CACJ;CAEA,OAAO;AACX;AAEA,SAAS,0BACL,mBACA,MACA,gBACA,iBACiB;CACjB,MAAM,SAA4B,CAAC;CACnC,MAAM,iCAAiB,IAAI,IAAY;CAEvC,KAAK,IAAI,QAAQ,GAAG,QAAQ,kBAAkB,WAAW,QAAQ,SAAS;EACtE,MAAM,YAAY,kBAAkB,WAAW;EAC/C,MAAM,gBAAgB;GAAC,GAAG;GAAM;GAAc;EAAK;EAEnD,IAAI,eAAe,IAAI,UAAU,IAAI,GACjC,OAAO,KAAK;GACR,SAAS,6CAA6C,UAAU,KAAK;GACrE,MAAM,CAAC,GAAG,eAAe,MAAM;EACnC,CAAC;EAEL,eAAe,IAAI,UAAU,IAAI;EAEjC,OAAO,KACH,GAAG,gBAAgB,UAAU,MAAM,CAAC,GAAG,eAAe,MAAM,GAAG,gBAAgB,eAAe,CAClG;CACJ;CAEA,OAAO,KACH,GAAG,gBACC,kBAAkB,YAClB,CAAC,GAAG,MAAM,YAAY,GACtB,gBACA,eACJ,CACJ;CAEA,OAAO;AACX;AAEA,SAAgB,SAAS,UAAwC;CAC7D,MAAM,SAA4B,CAAC;CAGnC,MAAM,iCAAiB,IAAI,IAAY;CACvC,KAAK,IAAI,IAAI,GAAG,IAAI,SAAS,MAAM,QAAQ,KAAK;EAC5C,MAAM,KAAK,SAAS,MAAM;EAC1B,IAAI,eAAe,IAAI,GAAG,IAAI,GAC1B,OAAO,KAAK;GACR,SAAS,+BAA+B,GAAG,KAAK;GAChD,MAAM;IAAC;IAAS;IAAG;GAAM;EAC7B,CAAC;EAEL,eAAe,IAAI,GAAG,IAAI;CAC9B;CAEA,MAAM,kCAAkB,IAAI,IAAY;CACxC,KAAK,IAAI,IAAI,GAAG,IAAI,SAAS,YAAY,QAAQ,KAAK;EAClD,MAAM,KAAK,SAAS,YAAY;EAChC,IAAI,gBAAgB,IAAI,GAAG,IAAI,GAC3B,OAAO,KAAK;GACR,SAAS,gCAAgC,GAAG,KAAK;GACjD,MAAM;IAAC;IAAe;IAAG;GAAM;EACnC,CAAC;EAEL,gBAAgB,IAAI,GAAG,IAAI;CAC/B;CAEA,MAAM,aAAa,IAAI,IAAI,SAAS,MAAM,KAAK,SAAS,CAAC,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC;CAC/E,MAAM,cAAc,IAAI,IAAI,SAAS,YAAY,KAAK,eAAe,CAAC,WAAW,MAAM,UAAU,CAAC,CAAC;CAEnG,IAAI,SAAS,aAAa;EACtB,OAAO,KACH,GAAG,gBAAgB,SAAS,aAAa,CAAC,aAAa,GAAG,gBAAgB,eAAe,CAC7F;EACA,MAAM,sBAAsB,YAAY,SAAS,aAAa,UAAU;EACxE,IAAI,qBAAqB,SAAS,UAAU;GACxC,MAAM,YAAY,oBAAoB,MAAM,OAAO,MAAM,UAAU,MAAM,SAAS,MAAM;GACxF,MAAM,oBAAoB,YAAY,WAAW,UAAU,IAAI,CAAC,CAAC,OAAO,KAAA;GACxE,MAAM,mBAAmB,oBACnB,YAAY,mBAAmB,UAAU,IACzC,KAAA;GACN,IAAI,aAAa,kBAAkB,SAAS,mBACxC,OAAO,KAAK;IACR,SAAS;IACT,MAAM;KACF;KACA;KACA,oBAAoB,MAAM,OAAO,QAAQ,SAAS;KAClD;IACJ;GACJ,CAAC;EAET;CACJ;CAGA,KAAK,IAAI,IAAI,GAAG,IAAI,SAAS,MAAM,QAAQ,KAAK;EAC5C,MAAM,KAAK,SAAS,MAAM;EAC1B,OAAO,KAAK,GAAG,gBAAgB,GAAG,MAAM;GAAC;GAAS;GAAG;EAAM,GAAG,gBAAgB,eAAe,CAAC;CAClG;CAGA,KAAK,IAAI,IAAI,GAAG,IAAI,SAAS,YAAY,QAAQ,KAAK;EAClD,MAAM,KAAK,SAAS,YAAY;EAChC,MAAM,SAAS,CAAC,eAAe,CAAC;EAGhC,OAAO,KACH,GAAG,mBAAmB,GAAG,YAAY,CAAC,GAAG,QAAQ,YAAY,GAAG,gBAAgB,eAAe,CACnG;EAGA,MAAM,gBAAgB,IAAI,IAAI,GAAG,WAAW,KAAK,MAAM,EAAE,IAAI,CAAC;EAC9D,IAAI,CAAC,cAAc,IAAI,GAAG,UAAU,GAChC,OAAO,KAAK;GACR,SAAS,gBAAgB,GAAG,WAAW;GACvC,MAAM,CAAC,GAAG,QAAQ,YAAY;EAClC,CAAC;EAEL,IAAI,GAAG,SAAS,CAAC,cAAc,IAAI,GAAG,KAAK,GACvC,OAAO,KAAK;GACR,SAAS,UAAU,GAAG,MAAM;GAC5B,MAAM,CAAC,GAAG,QAAQ,OAAO;EAC7B,CAAC;CAET;CAGA,MAAM,0BAAU,IAAI,IAAY;CAChC,MAAM,4BAAY,IAAI,IAAY;CAClC,KAAK,IAAI,IAAI,GAAG,IAAI,SAAS,UAAU,QAAQ,KAAK;EAChD,MAAM,KAAK,SAAS,UAAU;EAC9B,MAAM,SAAS,CAAC,aAAa,CAAC;EAE9B,IAAI,QAAQ,IAAI,GAAG,EAAE,GACjB,OAAO,KAAK;GACR,SAAS,4BAA4B,GAAG,GAAG;GAC3C,MAAM,CAAC,GAAG,QAAQ,IAAI;EAC1B,CAAC;EAEL,QAAQ,IAAI,GAAG,EAAE;EAGjB,MAAM,WAAW,GAAG,GAAG,OAAO,WAAW,GAAG,GAAG,OAAO;EACtD,IAAI,UAAU,IAAI,QAAQ,GACtB,OAAO,KAAK;GACR,SAAS,qCAAqC,GAAG,OAAO,KAAK,QAAQ,GAAG,OAAO,WAAW;GAC1F,MAAM;IAAC,GAAG;IAAQ;IAAU;GAAM;EACtC,CAAC;EAEL,UAAU,IAAI,QAAQ;EAEtB,IAAI,CAAC,gBAAgB,IAAI,GAAG,OAAO,UAAU,GACzC,OAAO,KAAK;GACR,SAAS,uBAAuB,GAAG,OAAO,WAAW;GACrD,MAAM;IAAC,GAAG;IAAQ;IAAU;GAAY;EAC5C,CAAC;EAGL,IAAI,CAAC,gBAAgB,IAAI,GAAG,OAAO,UAAU,GACzC,OAAO,KAAK;GACR,SAAS,uBAAuB,GAAG,OAAO,WAAW;GACrD,MAAM;IAAC,GAAG;IAAQ;IAAU;GAAY;EAC5C,CAAC;EAGL,MAAM,iBAAiB,GAAG,WAAW,MAAM,GAAG,CAAC,CAAC;EAChD,MAAM,aAAa,SAAS,YAAY,MAAM,cAAc,UAAU,SAAS,GAAG,OAAO,UAAU;EACnG,MAAM,cACF,YAAY,WAAW,MAAM,aAAa,SAAS,SAAS,cAAc,KAAK;EACnF,IAAI,cAAc,CAAC,aACf,OAAO,KAAK;GACR,SAAS,gBAAgB,GAAG,WAAW,0CAA0C,GAAG,OAAO,WAAW,cAAc,GAAG,GAAG;GAC1H,MAAM,CAAC,GAAG,QAAQ,YAAY;EAClC,CAAC;CAET;CAEA,MAAM,8BAAc,IAAI,IAAY;CACpC,KAAK,IAAI,IAAI,GAAG,IAAI,SAAS,YAAY,QAAQ,KAAK;EAClD,MAAM,SAAS,SAAS,YAAY;EACpC,MAAM,aAAa,CAAC,eAAe,CAAC;EAEpC,IAAI,YAAY,IAAI,OAAO,IAAI,GAC3B,OAAO,KAAK;GACR,SAAS,gCAAgC,OAAO,KAAK;GACrD,MAAM,CAAC,GAAG,YAAY,MAAM;EAChC,CAAC;EAEL,YAAY,IAAI,OAAO,IAAI;EAE3B,OAAO,KACH,GAAG,eACC,QACA,YACA,YACA,aACA,SAAS,WACT,SAAS,WACb,CACJ;CACJ;CAEA,MAAM,yCAAyB,IAAI,IAAY;CAC/C,KAAK,IAAI,IAAI,GAAG,IAAI,SAAS,mBAAmB,QAAQ,KAAK;EACzD,MAAM,oBAAoB,SAAS,mBAAmB;EACtD,MAAM,wBAAwB,CAAC,sBAAsB,CAAC;EAEtD,IAAI,uBAAuB,IAAI,kBAAkB,IAAI,GACjD,OAAO,KAAK;GACR,SAAS,wCAAwC,kBAAkB,KAAK;GACxE,MAAM,CAAC,GAAG,uBAAuB,MAAM;EAC3C,CAAC;EAEL,uBAAuB,IAAI,kBAAkB,IAAI;EAEjD,OAAO,KACH,GAAG,0BACC,mBACA,uBACA,gBACA,eACJ,CACJ;CACJ;CAEA,OAAO,OAAO,WAAW,IAAI;EAAE,MAAM;EAAM,OAAO,KAAA;CAAU,IAAI;EAAE,MAAM;EAAO,OAAO;CAAO;AACjG"}

package/lib/json/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","names":[],"sources":["../../src/json/index.ts"],"mappings":";;;YAaY,WAAW,WAAW,cAC5B,mBAAmB,MACnB,qBAAqB,MACrB,+BAA+B,MAC/B,sCAAsC,MACtC,kCAAkC;wBAiLxB,OAAO,WAAW,YAAY;EAC1C,IAAI;EACJ,QAAQ,WAAW;EACnB;;wBA2BY,OAAO,WAAW,YAAY;EAC1C,IAAI;EACJ,QAAQ,WAAW;EACnB"}

package/lib/json/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","names":[],"sources":["../../src/json/index.ts"],"sourcesContent":["import { invariant } from \"@bobbyfidz/panic\";\nimport { Temporal } from \"temporal-polyfill\";\nimport { resolveType } from \"../utils/types.js\";\nimport type { OntologyIR, TypeDef } from \"../ir/generated/types.js\";\nimport type { OntologyObject } from \"../live/objects/OntologyObject.js\";\nimport type {\n    OntologyActionParametersTarget,\n    OntologyObjectTarget,\n    OntologyQueryFunctionParametersTarget,\n    OntologyQueryFunctionReturnTarget,\n    OntologyTypeTarget,\n} from \"../utils/targets.js\";\n\nexport type JsonTarget<IR extends OntologyIR> =\n    | OntologyTypeTarget<IR>\n    | OntologyObjectTarget<IR>\n    | OntologyActionParametersTarget<IR>\n    | OntologyQueryFunctionParametersTarget<IR>\n    | OntologyQueryFunctionReturnTarget<IR>;\n\nfunction assertRecord(value: unknown): asserts value is OntologyObject {\n    invariant(typeof value === \"object\" && value !== null && !Array.isArray(value), \"Expected JSON object.\");\n}\n\nfunction assertArray(value: unknown): asserts value is unknown[] {\n    invariant(Array.isArray(value), \"Expected JSON array.\");\n}\n\nfunction getNamedType(ir: OntologyIR, name: string): TypeDef {\n    const namedType = ir.types.find((candidate) => candidate.name === name);\n    invariant(namedType, `Unknown ontology type \"${name}\".`);\n    return namedType.type;\n}\n\nfunction getObjectType(ir: OntologyIR, name: string): OntologyIR[\"objectTypes\"][number] {\n    const objectType = ir.objectTypes.find((candidate) => candidate.name === name);\n    invariant(objectType, `Unknown object type \"${name}\".`);\n    return objectType;\n}\n\nfunction getActionType(ir: OntologyIR, name: string): OntologyIR[\"actionTypes\"][number] {\n    const actionType = ir.actionTypes.find((candidate) => candidate.name === name);\n    invariant(actionType, `Unknown action type \"${name}\".`);\n    return actionType;\n}\n\nfunction getQueryFunctionType(ir: OntologyIR, name: string): OntologyIR[\"queryFunctionTypes\"][number] {\n    const queryFunctionType = ir.queryFunctionTypes.find((candidate) => candidate.name === name);\n    invariant(queryFunctionType, `Unknown query function type \"${name}\".`);\n    return queryFunctionType;\n}\n\nfunction resolveTargetType<IR extends OntologyIR>(ir: IR, target: JsonTarget<IR>): TypeDef | undefined {\n    switch (target.kind) {\n        case \"type\":\n            return getNamedType(ir, target.name);\n        case \"object\":\n        case \"actionParameters\":\n        case \"queryFunctionParameters\":\n            return undefined;\n        case \"queryFunctionReturn\":\n            return getQueryFunctionType(ir, target.queryFunctionType).returnType;\n    }\n}\n\nfunction decodeValue(ir: OntologyIR, type: TypeDef, value: unknown, normalizeOptionalNull = false): unknown {\n    const resolvedType = resolveType(ir, type);\n    if (value === undefined) return undefined;\n    if (value === null) {\n        return normalizeOptionalNull && resolvedType.kind === \"optional\" ? undefined : null;\n    }\n\n    switch (resolvedType.kind) {\n        case \"timestamp\":\n            return typeof value === \"string\" ? Temporal.Instant.from(value) : value;\n        case \"date\":\n            return typeof value === \"string\" ? Temporal.PlainDate.from(value) : value;\n        case \"optional\":\n            return decodeValue(ir, resolvedType.value.type, value, normalizeOptionalNull);\n        case \"list\":\n            assertArray(value);\n            return value.map((item) =>\n                decodeValue(ir, resolvedType.value.elementType, item, normalizeOptionalNull)\n            );\n        case \"map\":\n            assertRecord(value);\n            return Object.fromEntries(\n                Object.entries(value).map(([key, entry]) => [\n                    key,\n                    decodeValue(ir, resolvedType.value.valueType, entry, normalizeOptionalNull),\n                ])\n            );\n        case \"struct\":\n            assertRecord(value);\n            return Object.fromEntries(\n                Object.entries(value).map(([key, entry]) => {\n                    const field = resolvedType.value.fields.find((candidate) => candidate.name === key);\n                    return [key, field ? decodeValue(ir, field.type, entry, normalizeOptionalNull) : entry];\n                })\n            );\n        default:\n            return value;\n    }\n}\n\nfunction encodeValue(ir: OntologyIR, type: TypeDef, value: unknown): unknown {\n    if (value === undefined || value === null) return value;\n    const resolvedType = resolveType(ir, type);\n\n    switch (resolvedType.kind) {\n        case \"timestamp\":\n        case \"date\":\n            invariant(\n                typeof value === \"object\" &&\n                    value !== null &&\n                    typeof (value as { toString?: unknown }).toString === \"function\",\n                `Expected ${resolvedType.kind} value.`\n            );\n            return (value as { toString: () => string }).toString();\n        case \"optional\":\n            return encodeValue(ir, resolvedType.value.type, value);\n        case \"list\":\n            assertArray(value);\n            return value.map((item) => encodeValue(ir, resolvedType.value.elementType, item));\n        case \"map\":\n            assertRecord(value);\n            return Object.fromEntries(\n                Object.entries(value).map(([key, entry]) => [\n                    key,\n                    encodeValue(ir, resolvedType.value.valueType, entry),\n                ])\n            );\n        case \"struct\":\n            assertRecord(value);\n            return Object.fromEntries(\n                Object.entries(value).map(([key, entry]) => {\n                    const field = resolvedType.value.fields.find((candidate) => candidate.name === key);\n                    return [key, field ? encodeValue(ir, field.type, entry) : entry];\n                })\n            );\n        default:\n            return value;\n    }\n}\n\nfunction decodeObject(ir: OntologyIR, objectTypeName: string, value: unknown): OntologyObject {\n    assertRecord(value);\n    const objectType = getObjectType(ir, objectTypeName);\n    return Object.fromEntries(\n        Object.entries(value).map(([key, entry]) => {\n            const property = objectType.properties.find((candidate) => candidate.name === key);\n            return [key, property ? decodeValue(ir, property.type, entry, true) : entry];\n        })\n    );\n}\n\nfunction encodeObject(ir: OntologyIR, objectTypeName: string, value: unknown): OntologyObject {\n    assertRecord(value);\n    const objectType = getObjectType(ir, objectTypeName);\n    return Object.fromEntries(\n        Object.entries(value).map(([key, entry]) => {\n            const property = objectType.properties.find((candidate) => candidate.name === key);\n            return [key, property ? encodeValue(ir, property.type, entry) : entry];\n        })\n    );\n}\n\nfunction decodeParameters(\n    ir: OntologyIR,\n    parameters: { name: string; type: TypeDef }[],\n    value: unknown\n): OntologyObject {\n    assertRecord(value);\n    return Object.fromEntries(\n        Object.entries(value).map(([key, entry]) => {\n            const parameter = parameters.find((candidate) => candidate.name === key);\n            return [key, parameter ? decodeValue(ir, parameter.type, entry) : entry];\n        })\n    );\n}\n\nfunction encodeParameters(\n    ir: OntologyIR,\n    parameters: { name: string; type: TypeDef }[],\n    value: unknown\n): OntologyObject {\n    assertRecord(value);\n    return Object.fromEntries(\n        Object.entries(value).map(([key, entry]) => {\n            const parameter = parameters.find((candidate) => candidate.name === key);\n            return [key, parameter ? encodeValue(ir, parameter.type, entry) : entry];\n        })\n    );\n}\n\nexport function decode<IR extends OntologyIR>(opts: {\n    ir: IR;\n    target: JsonTarget<IR>;\n    value: unknown;\n}): unknown {\n    if (opts.target.kind === \"object\") {\n        return decodeObject(opts.ir, opts.target.name, opts.value);\n    }\n    if (opts.target.kind === \"actionParameters\") {\n        return decodeParameters(\n            opts.ir,\n            getActionType(opts.ir, opts.target.actionType).parameters,\n            opts.value\n        );\n    }\n    if (opts.target.kind === \"queryFunctionParameters\") {\n        return decodeParameters(\n            opts.ir,\n            getQueryFunctionType(opts.ir, opts.target.queryFunctionType).parameters,\n            opts.value\n        );\n    }\n    return decodeValue(\n        opts.ir,\n        resolveTargetType(opts.ir, opts.target)!,\n        opts.value,\n        opts.target.kind === \"queryFunctionReturn\"\n    );\n}\n\nexport function encode<IR extends OntologyIR>(opts: {\n    ir: IR;\n    target: JsonTarget<IR>;\n    value: unknown;\n}): unknown {\n    if (opts.target.kind === \"object\") {\n        return encodeObject(opts.ir, opts.target.name, opts.value);\n    }\n    if (opts.target.kind === \"actionParameters\") {\n        return encodeParameters(\n            opts.ir,\n            getActionType(opts.ir, opts.target.actionType).parameters,\n            opts.value\n        );\n    }\n    if (opts.target.kind === \"queryFunctionParameters\") {\n        return encodeParameters(\n            opts.ir,\n            getQueryFunctionType(opts.ir, opts.target.queryFunctionType).parameters,\n            opts.value\n        );\n    }\n    return encodeValue(opts.ir, resolveTargetType(opts.ir, opts.target)!, opts.value);\n}\n"],"mappings":";;;;AAoBA,SAAS,aAAa,OAAiD;CACnE,UAAU,OAAO,UAAU,YAAY,UAAU,QAAQ,CAAC,MAAM,QAAQ,KAAK,GAAG,uBAAuB;AAC3G;AAEA,SAAS,YAAY,OAA4C;CAC7D,UAAU,MAAM,QAAQ,KAAK,GAAG,sBAAsB;AAC1D;AAEA,SAAS,aAAa,IAAgB,MAAuB;CACzD,MAAM,YAAY,GAAG,MAAM,MAAM,cAAc,UAAU,SAAS,IAAI;CACtE,UAAU,WAAW,0BAA0B,KAAK,GAAG;CACvD,OAAO,UAAU;AACrB;AAEA,SAAS,cAAc,IAAgB,MAAiD;CACpF,MAAM,aAAa,GAAG,YAAY,MAAM,cAAc,UAAU,SAAS,IAAI;CAC7E,UAAU,YAAY,wBAAwB,KAAK,GAAG;CACtD,OAAO;AACX;AAEA,SAAS,cAAc,IAAgB,MAAiD;CACpF,MAAM,aAAa,GAAG,YAAY,MAAM,cAAc,UAAU,SAAS,IAAI;CAC7E,UAAU,YAAY,wBAAwB,KAAK,GAAG;CACtD,OAAO;AACX;AAEA,SAAS,qBAAqB,IAAgB,MAAwD;CAClG,MAAM,oBAAoB,GAAG,mBAAmB,MAAM,cAAc,UAAU,SAAS,IAAI;CAC3F,UAAU,mBAAmB,gCAAgC,KAAK,GAAG;CACrE,OAAO;AACX;AAEA,SAAS,kBAAyC,IAAQ,QAA6C;CACnG,QAAQ,OAAO,MAAf;EACI,KAAK,QACD,OAAO,aAAa,IAAI,OAAO,IAAI;EACvC,KAAK;EACL,KAAK;EACL,KAAK,2BACD;EACJ,KAAK,uBACD,OAAO,qBAAqB,IAAI,OAAO,iBAAiB,CAAC,CAAC;CAClE;AACJ;AAEA,SAAS,YAAY,IAAgB,MAAe,OAAgB,wBAAwB,OAAgB;CACxG,MAAM,eAAe,YAAY,IAAI,IAAI;CACzC,IAAI,UAAU,KAAA,GAAW,OAAO,KAAA;CAChC,IAAI,UAAU,MACV,OAAO,yBAAyB,aAAa,SAAS,aAAa,KAAA,IAAY;CAGnF,QAAQ,aAAa,MAArB;EACI,KAAK,aACD,OAAO,OAAO,UAAU,WAAW,SAAS,QAAQ,KAAK,KAAK,IAAI;EACtE,KAAK,QACD,OAAO,OAAO,UAAU,WAAW,SAAS,UAAU,KAAK,KAAK,IAAI;EACxE,KAAK,YACD,OAAO,YAAY,IAAI,aAAa,MAAM,MAAM,OAAO,qBAAqB;EAChF,KAAK;GACD,YAAY,KAAK;GACjB,OAAO,MAAM,KAAK,SACd,YAAY,IAAI,aAAa,MAAM,aAAa,MAAM,qBAAqB,CAC/E;EACJ,KAAK;GACD,aAAa,KAAK;GAClB,OAAO,OAAO,YACV,OAAO,QAAQ,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,WAAW,CACxC,KACA,YAAY,IAAI,aAAa,MAAM,WAAW,OAAO,qBAAqB,CAC9E,CAAC,CACL;EACJ,KAAK;GACD,aAAa,KAAK;GAClB,OAAO,OAAO,YACV,OAAO,QAAQ,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,WAAW;IACxC,MAAM,QAAQ,aAAa,MAAM,OAAO,MAAM,cAAc,UAAU,SAAS,GAAG;IAClF,OAAO,CAAC,KAAK,QAAQ,YAAY,IAAI,MAAM,MAAM,OAAO,qBAAqB,IAAI,KAAK;GAC1F,CAAC,CACL;EACJ,SACI,OAAO;CACf;AACJ;AAEA,SAAS,YAAY,IAAgB,MAAe,OAAyB;CACzE,IAAI,UAAU,KAAA,KAAa,UAAU,MAAM,OAAO;CAClD,MAAM,eAAe,YAAY,IAAI,IAAI;CAEzC,QAAQ,aAAa,MAArB;EACI,KAAK;EACL,KAAK;GACD,UACI,OAAO,UAAU,YACb,UAAU,QACV,OAAQ,MAAiC,aAAa,YAC1D,YAAY,aAAa,KAAK,QAClC;GACA,OAAQ,MAAqC,SAAS;EAC1D,KAAK,YACD,OAAO,YAAY,IAAI,aAAa,MAAM,MAAM,KAAK;EACzD,KAAK;GACD,YAAY,KAAK;GACjB,OAAO,MAAM,KAAK,SAAS,YAAY,IAAI,aAAa,MAAM,aAAa,IAAI,CAAC;EACpF,KAAK;GACD,aAAa,KAAK;GAClB,OAAO,OAAO,YACV,OAAO,QAAQ,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,WAAW,CACxC,KACA,YAAY,IAAI,aAAa,MAAM,WAAW,KAAK,CACvD,CAAC,CACL;EACJ,KAAK;GACD,aAAa,KAAK;GAClB,OAAO,OAAO,YACV,OAAO,QAAQ,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,WAAW;IACxC,MAAM,QAAQ,aAAa,MAAM,OAAO,MAAM,cAAc,UAAU,SAAS,GAAG;IAClF,OAAO,CAAC,KAAK,QAAQ,YAAY,IAAI,MAAM,MAAM,KAAK,IAAI,KAAK;GACnE,CAAC,CACL;EACJ,SACI,OAAO;CACf;AACJ;AAEA,SAAS,aAAa,IAAgB,gBAAwB,OAAgC;CAC1F,aAAa,KAAK;CAClB,MAAM,aAAa,cAAc,IAAI,cAAc;CACnD,OAAO,OAAO,YACV,OAAO,QAAQ,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,WAAW;EACxC,MAAM,WAAW,WAAW,WAAW,MAAM,cAAc,UAAU,SAAS,GAAG;EACjF,OAAO,CAAC,KAAK,WAAW,YAAY,IAAI,SAAS,MAAM,OAAO,IAAI,IAAI,KAAK;CAC/E,CAAC,CACL;AACJ;AAEA,SAAS,aAAa,IAAgB,gBAAwB,OAAgC;CAC1F,aAAa,KAAK;CAClB,MAAM,aAAa,cAAc,IAAI,cAAc;CACnD,OAAO,OAAO,YACV,OAAO,QAAQ,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,WAAW;EACxC,MAAM,WAAW,WAAW,WAAW,MAAM,cAAc,UAAU,SAAS,GAAG;EACjF,OAAO,CAAC,KAAK,WAAW,YAAY,IAAI,SAAS,MAAM,KAAK,IAAI,KAAK;CACzE,CAAC,CACL;AACJ;AAEA,SAAS,iBACL,IACA,YACA,OACc;CACd,aAAa,KAAK;CAClB,OAAO,OAAO,YACV,OAAO,QAAQ,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,WAAW;EACxC,MAAM,YAAY,WAAW,MAAM,cAAc,UAAU,SAAS,GAAG;EACvE,OAAO,CAAC,KAAK,YAAY,YAAY,IAAI,UAAU,MAAM,KAAK,IAAI,KAAK;CAC3E,CAAC,CACL;AACJ;AAEA,SAAS,iBACL,IACA,YACA,OACc;CACd,aAAa,KAAK;CAClB,OAAO,OAAO,YACV,OAAO,QAAQ,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,WAAW;EACxC,MAAM,YAAY,WAAW,MAAM,cAAc,UAAU,SAAS,GAAG;EACvE,OAAO,CAAC,KAAK,YAAY,YAAY,IAAI,UAAU,MAAM,KAAK,IAAI,KAAK;CAC3E,CAAC,CACL;AACJ;AAEA,SAAgB,OAA8B,MAIlC;CACR,IAAI,KAAK,OAAO,SAAS,UACrB,OAAO,aAAa,KAAK,IAAI,KAAK,OAAO,MAAM,KAAK,KAAK;CAE7D,IAAI,KAAK,OAAO,SAAS,oBACrB,OAAO,iBACH,KAAK,IACL,cAAc,KAAK,IAAI,KAAK,OAAO,UAAU,CAAC,CAAC,YAC/C,KAAK,KACT;CAEJ,IAAI,KAAK,OAAO,SAAS,2BACrB,OAAO,iBACH,KAAK,IACL,qBAAqB,KAAK,IAAI,KAAK,OAAO,iBAAiB,CAAC,CAAC,YAC7D,KAAK,KACT;CAEJ,OAAO,YACH,KAAK,IACL,kBAAkB,KAAK,IAAI,KAAK,MAAM,GACtC,KAAK,OACL,KAAK,OAAO,SAAS,qBACzB;AACJ;AAEA,SAAgB,OAA8B,MAIlC;CACR,IAAI,KAAK,OAAO,SAAS,UACrB,OAAO,aAAa,KAAK,IAAI,KAAK,OAAO,MAAM,KAAK,KAAK;CAE7D,IAAI,KAAK,OAAO,SAAS,oBACrB,OAAO,iBACH,KAAK,IACL,cAAc,KAAK,IAAI,KAAK,OAAO,UAAU,CAAC,CAAC,YAC/C,KAAK,KACT;CAEJ,IAAI,KAAK,OAAO,SAAS,2BACrB,OAAO,iBACH,KAAK,IACL,qBAAqB,KAAK,IAAI,KAAK,OAAO,iBAAiB,CAAC,CAAC,YAC7D,KAAK,KACT;CAEJ,OAAO,YAAY,KAAK,IAAI,kBAAkB,KAAK,IAAI,KAAK,MAAM,GAAI,KAAK,KAAK;AACpF"}

package/lib/lenses.d.ts

@@ -1,21 +0,0 @@
-import { Lens, ObjectTypeDef } from "./ir/generated/types.js";
-import "./ir/index.js";
-//#region src/lenses.d.ts
-export interface ApplyObjectTypeLensOptions {
-  name: string;
-  displayName?: string;
-  pluralDisplayName?: string;
-}
-export declare function applyLensToObjectType(source: ObjectTypeDef, lens: Lens, options: ApplyObjectTypeLensOptions): ObjectTypeDef;
-export declare function applyLensToObject<Source extends Record<string, unknown>, Target extends Record<string, unknown>>(source: Source, lens: Lens): Target;
-/**
- * Maps a target-model field path back to its source-model path so simple
- * target-side queries can be pushed through a lens. This is path provenance,
- * not a general inverse for values or schemas: selected-out data cannot be
- * reconstructed. A future lens query compiler can use this as its direct-path
- * primitive while handling computed/list operations, local evaluation, and
- * unsupported query rewrites at the expression or query-plan level.
- */
-export declare function mapTargetPathToSourceWithLens(path: readonly string[], lens: Lens): string[];
-//#endregion
-//# sourceMappingURL=lenses.d.ts.map

package/lib/lenses.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"lenses.d.ts","names":[],"sources":["../src/lenses.ts"],"mappings":";;;iBAIiB;EACb;EACA;EACA;;wBAiDY,sBACZ,QAAQ,eACR,MAAM,MACN,SAAS,6BACV;wBAoDa,kBACZ,eAAe,yBACf,eAAe,yBACjB,QAAQ,QAAQ,MAAM,OAAO;;;;;;;;;wBA8Bf,8BAA8B,yBAAyB,MAAM"}

package/lib/lenses.js

@@ -1,110 +0,0 @@
-import { getAtPath, setAtPath, unsetAtPath } from "./utils/paths.js";
-import { capitalCase } from "change-case";
-//#region src/lenses.ts
-function structFields(type) {
-	if (type.kind === "struct") return type.value.fields;
-	if (type.kind === "optional" && type.value.type.kind === "struct") return type.value.type.value.fields;
-}
-function removeField(fields, path) {
-	const [name, ...rest] = path;
-	if (!name) throw new Error("Lens paths must not be empty.");
-	const index = fields.findIndex((field) => field.name === name);
-	if (index < 0) throw new Error(`Lens source path "${path.join(".")}" does not exist.`);
-	if (rest.length === 0) return fields.splice(index, 1)[0];
-	const nested = structFields(fields[index].type);
-	if (!nested) throw new Error(`Lens source path "${path.join(".")}" does not traverse a struct.`);
-	return removeField(nested, rest);
-}
-function insertField(fields, path, field) {
-	const [name, ...rest] = path;
-	if (!name) throw new Error("Lens paths must not be empty.");
-	if (rest.length === 0) {
-		if (fields.some((candidate) => candidate.name === name)) throw new Error(`Lens target path "${path.join(".")}" already exists.`);
-		fields.push({
-			...field,
-			name,
-			displayName: capitalCase(name)
-		});
-		return;
-	}
-	const parent = fields.find((candidate) => candidate.name === name);
-	if (!parent) throw new Error(`Lens target parent "${path.slice(0, -1).join(".")}" does not exist.`);
-	const nested = structFields(parent.type);
-	if (!nested) throw new Error(`Lens target path "${path.join(".")}" does not traverse a struct.`);
-	insertField(nested, rest, field);
-}
-function applyLensToObjectType(source, lens, options) {
-	const target = structuredClone(source);
-	target.name = options.name;
-	target.displayName = options.displayName ?? capitalCase(options.name);
-	target.pluralDisplayName = options.pluralDisplayName ?? `${target.displayName}s`;
-	for (const operation of lens.operations) switch (operation.kind) {
-		case "move": {
-			const field = removeField(target.properties, operation.value.from);
-			insertField(target.properties, operation.value.to, field);
-			if (operation.value.from.length === 1 && operation.value.from[0] === target.primaryKey) {
-				if (operation.value.to.length !== 1) throw new Error("An object primary key cannot be moved into a nested path.");
-				target.primaryKey = operation.value.to[0];
-			}
-			if (operation.value.from.length === 1 && operation.value.from[0] === target.title) target.title = operation.value.to.length === 1 ? operation.value.to[0] : void 0;
-			break;
-		}
-		case "select": {
-			const selected = new Set(operation.value.properties);
-			target.properties = target.properties.filter((property) => selected.has(property.name));
-			if (!selected.has(target.primaryKey)) throw new Error(`Lens selection must retain primary key "${target.primaryKey}".`);
-			if (target.title && !selected.has(target.title)) target.title = void 0;
-			break;
-		}
-	}
-	return target;
-}
-function cloneLensValue(value) {
-	if (Array.isArray(value)) return value.map(cloneLensValue);
-	if (value && typeof value === "object") {
-		const prototype = Object.getPrototypeOf(value);
-		if (prototype === Object.prototype || prototype === null) return Object.fromEntries(Object.entries(value).map(([key, entry]) => [key, cloneLensValue(entry)]));
-	}
-	return value;
-}
-function applyLensToObject(source, lens) {
-	let target = cloneLensValue(source);
-	for (const operation of lens.operations) switch (operation.kind) {
-		case "move": {
-			const value = getAtPath(target, operation.value.from);
-			target = unsetAtPath(target, operation.value.from);
-			target = setAtPath(target, operation.value.to, value);
-			break;
-		}
-		case "select": {
-			const selected = new Set(operation.value.properties);
-			for (const property of Object.keys(target)) if (!selected.has(property)) delete target[property];
-			break;
-		}
-	}
-	return target;
-}
-/**
-* Maps a target-model field path back to its source-model path so simple
-* target-side queries can be pushed through a lens. This is path provenance,
-* not a general inverse for values or schemas: selected-out data cannot be
-* reconstructed. A future lens query compiler can use this as its direct-path
-* primitive while handling computed/list operations, local evaluation, and
-* unsupported query rewrites at the expression or query-plan level.
-*/
-function mapTargetPathToSourceWithLens(path, lens) {
-	let rewritten = [...path];
-	for (const operation of [...lens.operations].reverse()) switch (operation.kind) {
-		case "move": {
-			const target = operation.value.to;
-			if (rewritten.length >= target.length && target.every((segment, index) => rewritten[index] === segment)) rewritten = [...operation.value.from, ...rewritten.slice(target.length)];
-			break;
-		}
-		case "select": if (rewritten[0] && !operation.value.properties.includes(rewritten[0])) throw new Error(`Lens target path "${path.join(".")}" is not selected.`);
-	}
-	return rewritten;
-}
-//#endregion
-export { applyLensToObject, applyLensToObjectType, mapTargetPathToSourceWithLens };
-
-//# sourceMappingURL=lenses.js.map

package/lib/lenses.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"lenses.js","names":[],"sources":["../src/lenses.ts"],"sourcesContent":["import { capitalCase } from \"change-case\";\nimport { getAtPath, setAtPath, unsetAtPath } from \"./utils/paths.js\";\nimport type { FieldDef, Lens, ObjectTypeDef, PropertyDef, TypeDef } from \"./ir/index.js\";\n\nexport interface ApplyObjectTypeLensOptions {\n    name: string;\n    displayName?: string;\n    pluralDisplayName?: string;\n}\n\nfunction structFields(type: TypeDef): FieldDef[] | undefined {\n    if (type.kind === \"struct\") return type.value.fields;\n    if (type.kind === \"optional\" && type.value.type.kind === \"struct\") {\n        return type.value.type.value.fields;\n    }\n    return undefined;\n}\n\nfunction removeField(fields: PropertyDef[] | FieldDef[], path: readonly string[]): PropertyDef | FieldDef {\n    const [name, ...rest] = path;\n    if (!name) throw new Error(\"Lens paths must not be empty.\");\n    const index = fields.findIndex((field) => field.name === name);\n    if (index < 0) throw new Error(`Lens source path \"${path.join(\".\")}\" does not exist.`);\n    if (rest.length === 0) return fields.splice(index, 1)[0]!;\n\n    const nested = structFields(fields[index]!.type);\n    if (!nested) throw new Error(`Lens source path \"${path.join(\".\")}\" does not traverse a struct.`);\n    return removeField(nested, rest);\n}\n\nfunction insertField(\n    fields: PropertyDef[] | FieldDef[],\n    path: readonly string[],\n    field: PropertyDef | FieldDef\n): void {\n    const [name, ...rest] = path;\n    if (!name) throw new Error(\"Lens paths must not be empty.\");\n    if (rest.length === 0) {\n        if (fields.some((candidate) => candidate.name === name)) {\n            throw new Error(`Lens target path \"${path.join(\".\")}\" already exists.`);\n        }\n        fields.push({\n            ...field,\n            name,\n            displayName: capitalCase(name),\n        });\n        return;\n    }\n\n    const parent = fields.find((candidate) => candidate.name === name);\n    if (!parent) throw new Error(`Lens target parent \"${path.slice(0, -1).join(\".\")}\" does not exist.`);\n    const nested = structFields(parent.type);\n    if (!nested) throw new Error(`Lens target path \"${path.join(\".\")}\" does not traverse a struct.`);\n    insertField(nested, rest, field);\n}\n\nexport function applyLensToObjectType(\n    source: ObjectTypeDef,\n    lens: Lens,\n    options: ApplyObjectTypeLensOptions\n): ObjectTypeDef {\n    const target = structuredClone(source);\n    target.name = options.name;\n    target.displayName = options.displayName ?? capitalCase(options.name);\n    target.pluralDisplayName = options.pluralDisplayName ?? `${target.displayName}s`;\n\n    for (const operation of lens.operations) {\n        switch (operation.kind) {\n            case \"move\": {\n                const field = removeField(target.properties, operation.value.from);\n                insertField(target.properties, operation.value.to, field);\n                if (operation.value.from.length === 1 && operation.value.from[0] === target.primaryKey) {\n                    if (operation.value.to.length !== 1) {\n                        throw new Error(\"An object primary key cannot be moved into a nested path.\");\n                    }\n                    target.primaryKey = operation.value.to[0]!;\n                }\n                if (operation.value.from.length === 1 && operation.value.from[0] === target.title) {\n                    target.title = operation.value.to.length === 1 ? operation.value.to[0] : undefined;\n                }\n                break;\n            }\n            case \"select\": {\n                const selected = new Set(operation.value.properties);\n                target.properties = target.properties.filter((property) => selected.has(property.name));\n                if (!selected.has(target.primaryKey)) {\n                    throw new Error(`Lens selection must retain primary key \"${target.primaryKey}\".`);\n                }\n                if (target.title && !selected.has(target.title)) target.title = undefined;\n                break;\n            }\n        }\n    }\n\n    return target;\n}\n\nfunction cloneLensValue(value: unknown): unknown {\n    if (Array.isArray(value)) {\n        return value.map(cloneLensValue);\n    }\n    if (value && typeof value === \"object\") {\n        const prototype = Object.getPrototypeOf(value) as unknown;\n        if (prototype === Object.prototype || prototype === null) {\n            return Object.fromEntries(\n                Object.entries(value).map(([key, entry]) => [key, cloneLensValue(entry)])\n            );\n        }\n    }\n    return value;\n}\n\nexport function applyLensToObject<\n    Source extends Record<string, unknown>,\n    Target extends Record<string, unknown>,\n>(source: Source, lens: Lens): Target {\n    let target = cloneLensValue(source) as Record<string, unknown>;\n    for (const operation of lens.operations) {\n        switch (operation.kind) {\n            case \"move\": {\n                const value = getAtPath(target, operation.value.from);\n                target = unsetAtPath(target, operation.value.from);\n                target = setAtPath(target, operation.value.to, value);\n                break;\n            }\n            case \"select\": {\n                const selected = new Set(operation.value.properties);\n                for (const property of Object.keys(target)) {\n                    if (!selected.has(property)) delete target[property];\n                }\n                break;\n            }\n        }\n    }\n    return target as Target;\n}\n\n/**\n * Maps a target-model field path back to its source-model path so simple\n * target-side queries can be pushed through a lens. This is path provenance,\n * not a general inverse for values or schemas: selected-out data cannot be\n * reconstructed. A future lens query compiler can use this as its direct-path\n * primitive while handling computed/list operations, local evaluation, and\n * unsupported query rewrites at the expression or query-plan level.\n */\nexport function mapTargetPathToSourceWithLens(path: readonly string[], lens: Lens): string[] {\n    let rewritten = [...path];\n    for (const operation of [...lens.operations].reverse()) {\n        switch (operation.kind) {\n            case \"move\": {\n                const target = operation.value.to;\n                if (\n                    rewritten.length >= target.length &&\n                    target.every((segment, index) => rewritten[index] === segment)\n                ) {\n                    rewritten = [...operation.value.from, ...rewritten.slice(target.length)];\n                }\n                break;\n            }\n            case \"select\":\n                if (rewritten[0] && !operation.value.properties.includes(rewritten[0])) {\n                    throw new Error(`Lens target path \"${path.join(\".\")}\" is not selected.`);\n                }\n                break;\n        }\n    }\n    return rewritten;\n}\n"],"mappings":";;;AAUA,SAAS,aAAa,MAAuC;CACzD,IAAI,KAAK,SAAS,UAAU,OAAO,KAAK,MAAM;CAC9C,IAAI,KAAK,SAAS,cAAc,KAAK,MAAM,KAAK,SAAS,UACrD,OAAO,KAAK,MAAM,KAAK,MAAM;AAGrC;AAEA,SAAS,YAAY,QAAoC,MAAiD;CACtG,MAAM,CAAC,MAAM,GAAG,QAAQ;CACxB,IAAI,CAAC,MAAM,MAAM,IAAI,MAAM,+BAA+B;CAC1D,MAAM,QAAQ,OAAO,WAAW,UAAU,MAAM,SAAS,IAAI;CAC7D,IAAI,QAAQ,GAAG,MAAM,IAAI,MAAM,qBAAqB,KAAK,KAAK,GAAG,EAAE,kBAAkB;CACrF,IAAI,KAAK,WAAW,GAAG,OAAO,OAAO,OAAO,OAAO,CAAC,CAAC,CAAC;CAEtD,MAAM,SAAS,aAAa,OAAO,MAAM,CAAE,IAAI;CAC/C,IAAI,CAAC,QAAQ,MAAM,IAAI,MAAM,qBAAqB,KAAK,KAAK,GAAG,EAAE,8BAA8B;CAC/F,OAAO,YAAY,QAAQ,IAAI;AACnC;AAEA,SAAS,YACL,QACA,MACA,OACI;CACJ,MAAM,CAAC,MAAM,GAAG,QAAQ;CACxB,IAAI,CAAC,MAAM,MAAM,IAAI,MAAM,+BAA+B;CAC1D,IAAI,KAAK,WAAW,GAAG;EACnB,IAAI,OAAO,MAAM,cAAc,UAAU,SAAS,IAAI,GAClD,MAAM,IAAI,MAAM,qBAAqB,KAAK,KAAK,GAAG,EAAE,kBAAkB;EAE1E,OAAO,KAAK;GACR,GAAG;GACH;GACA,aAAa,YAAY,IAAI;EACjC,CAAC;EACD;CACJ;CAEA,MAAM,SAAS,OAAO,MAAM,cAAc,UAAU,SAAS,IAAI;CACjE,IAAI,CAAC,QAAQ,MAAM,IAAI,MAAM,uBAAuB,KAAK,MAAM,GAAG,EAAE,CAAC,CAAC,KAAK,GAAG,EAAE,kBAAkB;CAClG,MAAM,SAAS,aAAa,OAAO,IAAI;CACvC,IAAI,CAAC,QAAQ,MAAM,IAAI,MAAM,qBAAqB,KAAK,KAAK,GAAG,EAAE,8BAA8B;CAC/F,YAAY,QAAQ,MAAM,KAAK;AACnC;AAEA,SAAgB,sBACZ,QACA,MACA,SACa;CACb,MAAM,SAAS,gBAAgB,MAAM;CACrC,OAAO,OAAO,QAAQ;CACtB,OAAO,cAAc,QAAQ,eAAe,YAAY,QAAQ,IAAI;CACpE,OAAO,oBAAoB,QAAQ,qBAAqB,GAAG,OAAO,YAAY;CAE9E,KAAK,MAAM,aAAa,KAAK,YACzB,QAAQ,UAAU,MAAlB;EACI,KAAK,QAAQ;GACT,MAAM,QAAQ,YAAY,OAAO,YAAY,UAAU,MAAM,IAAI;GACjE,YAAY,OAAO,YAAY,UAAU,MAAM,IAAI,KAAK;GACxD,IAAI,UAAU,MAAM,KAAK,WAAW,KAAK,UAAU,MAAM,KAAK,OAAO,OAAO,YAAY;IACpF,IAAI,UAAU,MAAM,GAAG,WAAW,GAC9B,MAAM,IAAI,MAAM,2DAA2D;IAE/E,OAAO,aAAa,UAAU,MAAM,GAAG;GAC3C;GACA,IAAI,UAAU,MAAM,KAAK,WAAW,KAAK,UAAU,MAAM,KAAK,OAAO,OAAO,OACxE,OAAO,QAAQ,UAAU,MAAM,GAAG,WAAW,IAAI,UAAU,MAAM,GAAG,KAAK,KAAA;GAE7E;EACJ;EACA,KAAK,UAAU;GACX,MAAM,WAAW,IAAI,IAAI,UAAU,MAAM,UAAU;GACnD,OAAO,aAAa,OAAO,WAAW,QAAQ,aAAa,SAAS,IAAI,SAAS,IAAI,CAAC;GACtF,IAAI,CAAC,SAAS,IAAI,OAAO,UAAU,GAC/B,MAAM,IAAI,MAAM,2CAA2C,OAAO,WAAW,GAAG;GAEpF,IAAI,OAAO,SAAS,CAAC,SAAS,IAAI,OAAO,KAAK,GAAG,OAAO,QAAQ,KAAA;GAChE;EACJ;CACJ;CAGJ,OAAO;AACX;AAEA,SAAS,eAAe,OAAyB;CAC7C,IAAI,MAAM,QAAQ,KAAK,GACnB,OAAO,MAAM,IAAI,cAAc;CAEnC,IAAI,SAAS,OAAO,UAAU,UAAU;EACpC,MAAM,YAAY,OAAO,eAAe,KAAK;EAC7C,IAAI,cAAc,OAAO,aAAa,cAAc,MAChD,OAAO,OAAO,YACV,OAAO,QAAQ,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,WAAW,CAAC,KAAK,eAAe,KAAK,CAAC,CAAC,CAC5E;CAER;CACA,OAAO;AACX;AAEA,SAAgB,kBAGd,QAAgB,MAAoB;CAClC,IAAI,SAAS,eAAe,MAAM;CAClC,KAAK,MAAM,aAAa,KAAK,YACzB,QAAQ,UAAU,MAAlB;EACI,KAAK,QAAQ;GACT,MAAM,QAAQ,UAAU,QAAQ,UAAU,MAAM,IAAI;GACpD,SAAS,YAAY,QAAQ,UAAU,MAAM,IAAI;GACjD,SAAS,UAAU,QAAQ,UAAU,MAAM,IAAI,KAAK;GACpD;EACJ;EACA,KAAK,UAAU;GACX,MAAM,WAAW,IAAI,IAAI,UAAU,MAAM,UAAU;GACnD,KAAK,MAAM,YAAY,OAAO,KAAK,MAAM,GACrC,IAAI,CAAC,SAAS,IAAI,QAAQ,GAAG,OAAO,OAAO;GAE/C;EACJ;CACJ;CAEJ,OAAO;AACX;;;;;;;;;AAUA,SAAgB,8BAA8B,MAAyB,MAAsB;CACzF,IAAI,YAAY,CAAC,GAAG,IAAI;CACxB,KAAK,MAAM,aAAa,CAAC,GAAG,KAAK,UAAU,CAAC,CAAC,QAAQ,GACjD,QAAQ,UAAU,MAAlB;EACI,KAAK,QAAQ;GACT,MAAM,SAAS,UAAU,MAAM;GAC/B,IACI,UAAU,UAAU,OAAO,UAC3B,OAAO,OAAO,SAAS,UAAU,UAAU,WAAW,OAAO,GAE7D,YAAY,CAAC,GAAG,UAAU,MAAM,MAAM,GAAG,UAAU,MAAM,OAAO,MAAM,CAAC;GAE3E;EACJ;EACA,KAAK,UACD,IAAI,UAAU,MAAM,CAAC,UAAU,MAAM,WAAW,SAAS,UAAU,EAAE,GACjE,MAAM,IAAI,MAAM,qBAAqB,KAAK,KAAK,GAAG,EAAE,mBAAmB;CAGnF;CAEJ,OAAO;AACX"}

package/lib/live/OntologyBackendAdapter.d.ts

@@ -1,104 +0,0 @@
-import { Result, attachment } from "../utils/values.js";
-import { AttachmentTypeDef, OntologyIR } from "../ir/generated/types.js";
-import { ValidationIssue } from "../utils/validation.js";
-import "../ir/index.js";
-import { Uncertain } from "../utils/uncertain.js";
-import { PartialAttachmentMetadata } from "./attachments/types.js";
-import { Collection, CollectionConfig, UtilsRecord } from "@tanstack/db";
-//#region src/live/OntologyBackendAdapter.d.ts
-export interface OntologyCollectionUtils extends UtilsRecord {
-  /** Fetch and atomically replace the source snapshot, when supported by the adapter. */
-  refresh?: () => Promise<void>;
-}
-export type OntologyCollectionOptions = Omit<CollectionConfig<Record<string, unknown>, string | number, never, OntologyCollectionUtils>, "getKey">;
-export interface OntologyAttachmentUpload {
-  /**
-   * The attachment referenced by the prepared action parameters. Its ID is an
-   * opaque local handle and is not guaranteed to be valid for the backend.
-   */
-  attachment: attachment;
-  blob: Blob;
-  target?: AttachmentTypeDef;
-}
-export interface OntologyAttachmentIdMapping {
-  /** The opaque attachment ID used before the backend canonicalized it. */
-  localId: string;
-  /** The canonical attachment ID returned by the backend. */
-  remoteId: string;
-}
-export interface OntologyApplyActionResult {
-  /**
-   * Mappings for uploaded attachments whose canonical backend IDs differ from
-   * the local IDs supplied in `ApplyActionLiveOpts.attachmentUploads`.
-   */
-  attachmentIdMappings?: OntologyAttachmentIdMapping[];
-}
-export interface ApplyActionLiveOpts {
-  objects: Record<string, Collection<Record<string, unknown>>>;
-  context?: Record<string, unknown>;
-  /**
-   * Attachments that must be uploaded as part of action execution. Adapters
-   * must treat their IDs as opaque local handles, substitute any backend IDs or
-   * references required by the action invocation, and return an ID mapping for
-   * every upload whose canonical backend ID differs.
-   */
-  attachmentUploads?: OntologyAttachmentUpload[];
-  idempotencyKey?: string;
-}
-export interface ValidateActionLiveOpts {
-  objects: Record<string, Collection<Record<string, unknown>>>;
-  context?: Record<string, unknown>;
-}
-export interface ValidateActionDraftLiveOpts extends ValidateActionLiveOpts {
-  knownParameters: readonly string[];
-}
-export interface RunQueryLiveOpts {
-  objects: Record<string, Collection<Record<string, unknown>>>;
-  context?: Record<string, unknown>;
-}
-export interface OntologyAttachmentsAdapter {
-  /**
-   * Generates a preferred ID for an attachment created directly against this adapter.
-   *
-   * This is a hint, not an invariant. Attachments can arrive with IDs generated elsewhere,
-   * so adapters must accept IDs downstream that were not produced by this function.
-   */
-  generateAttachmentId?: (blob: Blob, opts: {
-    target?: AttachmentTypeDef;
-  }) => Promise<string> | string;
-  canMaterializeAttachment?: (attachment: attachment, opts: {
-    target?: AttachmentTypeDef;
-  }) => boolean;
-  /**
-   * Materializes an attachment in the backend.
-   *
-   * The incoming attachment ID is opaque and may not be valid for this backend. When
-   * the backend assigns or requires another ID, return an attachment containing that
-   * canonical ID so the caller can rewrite parameters and bind the resulting mapping.
-   */
-  materializeAttachment?: (attachment: attachment, blob: Blob, opts: {
-    target?: AttachmentTypeDef;
-  }) => Promise<attachment | void>;
-  getAttachmentContent: (attachment: attachment) => Promise<Blob>;
-  getAttachmentMetadata?: (attachment: attachment, selection: readonly (keyof PartialAttachmentMetadata)[]) => Promise<PartialAttachmentMetadata>;
-}
-export interface OntologyBackendAdapter {
-  name: string;
-  /**
-   * Whether this adapter participates in long-lived synchronization.
-   *
-   * Defaults to true. Non-live adapters support confirmed request/response
-   * operations but cannot safely back optimistic actions.
-   */
-  live?: boolean;
-  getCollectionOptions: (objectType: string) => OntologyCollectionOptions;
-  applyAction: (name: string, parameters: Record<string, unknown>, live: ApplyActionLiveOpts) => Promise<OntologyApplyActionResult | void>;
-  validateAction?: (name: string, parameters: Record<string, unknown>, live: ValidateActionLiveOpts) => Promise<Uncertain<Result<void, readonly ValidationIssue[]>>>;
-  validateActionDraft?: (name: string, parameters: Record<string, unknown>, live: ValidateActionDraftLiveOpts) => Promise<Uncertain<Result<void, readonly ValidationIssue[]>>>;
-  runQueryFunction: (name: string, parameters: Record<string, unknown>, live: RunQueryLiveOpts) => Promise<unknown>;
-  attachments?: OntologyAttachmentsAdapter;
-  cleanup?: () => void | Promise<void>;
-}
-export type OntologyBackendAdapterProvider<Context extends Record<string, unknown> = Record<string, unknown>> = (ir: OntologyIR, context: Context) => OntologyBackendAdapter | Promise<OntologyBackendAdapter>;
-//#endregion
-//# sourceMappingURL=OntologyBackendAdapter.d.ts.map

package/lib/live/OntologyBackendAdapter.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"OntologyBackendAdapter.d.ts","names":["v.attachment","v.Result"],"sources":["../../src/live/OntologyBackendAdapter.ts"],"mappings":";;;;;;;;iBAOiB,gCAAgC;;EAE7C,gBAAgB;;YAGR,4BAA4B,KACpC,iBAAiB,iDAAiD;iBAIrD;;;;;EAKb,YAAYA;EACZ,MAAM;EACN,SAAS;;iBAGI;;EAEb;;EAEA;;iBAGa;;;;;EAKb,uBAAuB;;iBAGV;EACb,SAAS,eAAe,WAAW;EACnC,UAAU;;;;;;;EAOV,oBAAoB;EACpB;;iBAGa;EACb,SAAS,eAAe,WAAW;EACnC,UAAU;;iBAGG,oCAAoC;EACjD;;iBAGa;EACb,SAAS,eAAe,WAAW;EACnC,UAAU;;iBAGG;;;;;;;EAOb,wBACI,MAAM,MACN;IACI,SAAS;QAEZ;EACL,4BACI,YAAYA,YACZ;IACI,SAAS;;;;;;;;;EAUjB,yBACI,YAAYA,YACZ,MAAM,MACN;IACI,SAAS;QAEZ,QAAQA;EACb,uBAAuB,YAAYA,eAAiB,QAAQ;EAC5D,yBACI,YAAYA,YACZ,2BAA2B,iCAC1B,QAAQ;;iBAGA;EACb;;;;;;;EAOA;EACA,uBAAuB,uBAAuB;EAC9C,cACI,cACA,YAAY,yBACZ,MAAM,wBACL,QAAQ;EACb,kBACI,cACA,YAAY,yBACZ,MAAM,2BACL,QAAQ,UAAUC,sBAAwB;EAC/C,uBACI,cACA,YAAY,yBACZ,MAAM,gCACL,QAAQ,UAAUA,sBAAwB;EAC/C,mBACI,cACA,YAAY,yBACZ,MAAM,qBACL;EACL,cAAc;EACd,uBAAuB;;YAIf,+BACR,gBAAgB,0BAA0B,4BACzC,IAAI,YAAY,SAAS,YAAY,yBAAyB,QAAQ"}

package/lib/live/OntologyBackendAdapter.js

@@ -1 +0,0 @@
-export {};

package/lib/live/actions/createLiveOntologyActions.d.ts

@@ -1,28 +0,0 @@
-import { OntologyIR } from "../../ir/generated/types.js";
-import "../../ir/index.js";
-import { OntologyBackendAdapter } from "../OntologyBackendAdapter.js";
-import { OntologyObject } from "../objects/OntologyObject.js";
-import { OntologyCollection } from "../objects/createLiveOntologyObjectCollection.js";
-import { OntologyOutbox } from "../outbox/types.js";
-import { LiveOntologyAction } from "./createLiveOntologyAction.js";
-import { LiveOntologyWrites } from "../LiveOntology.js";
-import { BlobManager } from "@party-stack/blobs";
-import { RuntimeAdapter } from "@party-stack/runtime";
-import { ConnectionMonitor } from "@party-stack/connections";
-//#region src/live/actions/createLiveOntologyActions.d.ts
-export interface LiveOntologyActionsSubsystem {
-  actions: Record<string, LiveOntologyAction>;
-  outbox: OntologyOutbox;
-}
-export declare function createLiveOntologyActions(options: {
-  ir: OntologyIR;
-  backendAdapter: OntologyBackendAdapter;
-  runtime: RuntimeAdapter;
-  context: Record<string, unknown>;
-  objects: Record<string, OntologyCollection<OntologyObject>>;
-  blobManager: BlobManager;
-  writes?: LiveOntologyWrites;
-  connection?: ConnectionMonitor;
-}): LiveOntologyActionsSubsystem;
-//#endregion
-//# sourceMappingURL=createLiveOntologyActions.d.ts.map

package/lib/live/actions/createLiveOntologyActions.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"createLiveOntologyActions.d.ts","names":[],"sources":["../../../src/live/actions/createLiveOntologyActions.ts"],"mappings":";;;;;;;;;;;;iBAyBiB;EACb,SAAS,eAAe;EACxB,QAAQ;;wBAGI,0BAA0B;EACtC,IAAI;EACJ,gBAAgB;EAChB,SAAS;EACT,SAAS;EACT,SAAS,eAAe,mBAAmB;EAC3C,aAAa;EACb,SAAS;EACT,aAAa;IACb"}

package/lib/live/actions/createLiveOntologyActions.js

@@ -1,139 +0,0 @@
-import { resolveActionParameters } from "../expression.js";
-import { createReadTx } from "../mutators/createMutatorTx.js";
-import { runOptimisticAction } from "../mutators/runOptimisticAction.js";
-import { createOntologyOutbox } from "../outbox/createOntologyOutbox.js";
-import { createLiveOntologyAction } from "./createLiveOntologyAction.js";
-import { prepareActionParameters } from "./prepareActionParameters.js";
-import { createTransaction } from "@tanstack/db";
-//#region src/live/actions/createLiveOntologyActions.ts
-function createLiveOntologyActions(options) {
-	const defaultMode = options.writes?.defaultMode ?? "direct";
-	const defaultVisibility = options.writes?.defaultVisibility ?? "confirmed";
-	const executeRemote = async (request) => {
-		const prepared = await prepareActionParameters({
-			ir: options.ir,
-			actionTypeName: request.actionTypeName,
-			parameters: request.parameters,
-			backendAdapter: options.backendAdapter,
-			blobManager: options.blobManager
-		});
-		const result = await options.backendAdapter.applyAction(request.actionTypeName, prepared.parameters, {
-			objects: options.objects,
-			context: options.context,
-			attachmentUploads: prepared.attachmentUploads,
-			idempotencyKey: request.idempotencyKey
-		});
-		const backendMappings = result?.attachmentIdMappings ?? [];
-		const attachmentIdMappings = [...prepared.attachmentIdMappings, ...backendMappings];
-		await Promise.all(attachmentIdMappings.map((mapping) => options.blobManager.bindRemoteId(mapping.localId, mapping.remoteId)));
-		return attachmentIdMappings.length > 0 ? {
-			...result,
-			attachmentIdMappings
-		} : result;
-	};
-	const applyOptimisticAction = async (transaction, request) => {
-		try {
-			const parameters = await resolveActionParameters({
-				ir: options.ir,
-				actionTypeName: request.actionTypeName,
-				initialParameters: request.parameters,
-				context: options.context,
-				tx: createReadTx(options.objects)
-			});
-			await runOptimisticAction({
-				transaction,
-				ir: options.ir,
-				actionTypeName: request.actionTypeName,
-				parameters,
-				context: options.context,
-				idempotencyKey: request.idempotencyKey,
-				objects: options.objects,
-				mutators: options.writes?.mutators
-			});
-		} catch (error) {
-			if (transaction.state === "pending") transaction.rollback();
-			throw error;
-		}
-		return transaction.mutations.length > 0;
-	};
-	const project = async (entry) => {
-		if ((entry.visibility ?? defaultVisibility) !== "optimistic") return;
-		let resolve;
-		let reject;
-		const completion = new Promise((resolvePromise, rejectPromise) => {
-			resolve = resolvePromise;
-			reject = rejectPromise;
-		});
-		const transaction = createTransaction({
-			autoCommit: false,
-			mutationFn: () => completion
-		});
-		if (!await applyOptimisticAction(transaction, entry.request)) return;
-		transaction.commit().catch(() => void 0);
-		transaction.isPersisted.promise.catch(() => void 0);
-		return { settle(error) {
-			if (error) reject(error);
-			else resolve();
-			return transaction.isPersisted.promise.then(() => void 0, () => void 0);
-		} };
-	};
-	const outbox = createOntologyOutbox({
-		runtime: options.runtime,
-		execute: (entry) => executeRemote(entry.request),
-		project,
-		failureStrategy: options.writes?.outbox?.failureStrategy ?? "discard-all",
-		maxRetries: options.writes?.outbox?.maxRetries,
-		connection: options.connection
-	});
-	const executeDirect = async (request, visibility) => {
-		if (visibility === "confirmed") return executeRemote(request);
-		let result = void 0;
-		const transaction = createTransaction({
-			autoCommit: false,
-			mutationFn: async () => {
-				result = await executeRemote(request);
-			}
-		});
-		if (!await applyOptimisticAction(transaction, request)) return executeRemote(request);
-		await transaction.commit();
-		return result;
-	};
-	const submit = async (request, actionOptions) => {
-		const mode = actionOptions?.mode ?? defaultMode;
-		const visibility = actionOptions?.visibility ?? defaultVisibility;
-		if (visibility === "optimistic" && options.backendAdapter.live === false) throw new Error(`Ontology backend adapter "${options.backendAdapter.name}" is not live and cannot reconcile optimistic actions.`);
-		if (mode === "outbox") return (await outbox.enqueue(request, { visibility })).completed;
-		return executeDirect(request, visibility);
-	};
-	const validate = (actionTypeName, parameters) => {
-		if (!options.backendAdapter.validateAction) return Promise.resolve({ certain: false });
-		return options.backendAdapter.validateAction(actionTypeName, parameters, {
-			objects: options.objects,
-			context: options.context
-		});
-	};
-	const validateDraft = (actionTypeName, parameters, validationOptions) => {
-		if (!options.backendAdapter.validateActionDraft) return Promise.resolve({ certain: false });
-		return options.backendAdapter.validateActionDraft(actionTypeName, parameters, {
-			objects: options.objects,
-			context: options.context,
-			knownParameters: validationOptions?.knownParameters ?? []
-		});
-	};
-	return {
-		actions: Object.fromEntries(options.ir.actionTypes.map((action) => [action.name, createLiveOntologyAction({
-			ir: options.ir,
-			action,
-			context: options.context,
-			objects: options.objects,
-			submit,
-			validate,
-			validateDraft
-		})])),
-		outbox
-	};
-}
-//#endregion
-export { createLiveOntologyActions };
-
-//# sourceMappingURL=createLiveOntologyActions.js.map