@powerlines/schema 0.11.26 → 0.11.27

package/dist/reflection.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"reflection.mjs","names":[],"sources":["../src/reflection.ts"],"sourcesContent":["/* -------------------------------------------------------------------\n\n                   ⚡ Storm Software - Powerlines\n\n This code was released as part of the Powerlines project. Powerlines\n is maintained by Storm Software under the Apache-2.0 license, and is\n free for commercial and private use. For more information, please visit\n our licensing page at https://stormsoftware.com/licenses/projects/powerlines.\n\n Website:                  https://stormsoftware.com\n Repository:               https://github.com/storm-software/powerlines\n Documentation:            https://docs.stormsoftware.com/projects/powerlines\n Contact:                  https://stormsoftware.com/contact\n\n SPDX-License-Identifier:  Apache-2.0\n\n ------------------------------------------------------------------- */\n\nimport type {\n  TagsReflection,\n  Type,\n  TypeClass\n} from \"@powerlines/deepkit/vendor/type\";\nimport {\n  ReflectionClass,\n  ReflectionKind,\n  TypeNumberBrand,\n  TypeObjectLiteral\n} from \"@powerlines/deepkit/vendor/type\";\nimport { isSetArray, isSetObject, isSetString } from \"@stryke/type-checks\";\nimport { JTDSchemaType, SchemaMetadata } from \"./types\";\n\n/**\n * Maps a Deepkit numeric `brand` to the JTD numeric `type` keyword that best preserves the underlying width and signedness.\n *\n * @param brand - The Deepkit `TypeNumberBrand` of a numeric reflection, or `undefined` when no brand is set.\n * @returns The JTD numeric `type` keyword to use.\n */\nfunction numberBrandToJtdType(\n  brand: TypeNumberBrand | undefined\n):\n  | \"int8\"\n  | \"uint8\"\n  | \"int16\"\n  | \"uint16\"\n  | \"int32\"\n  | \"uint32\"\n  | \"float32\"\n  | \"float64\" {\n  switch (brand) {\n    case TypeNumberBrand.integer:\n      return \"int32\";\n    case TypeNumberBrand.int8:\n      return \"int8\";\n    case TypeNumberBrand.uint8:\n      return \"uint8\";\n    case TypeNumberBrand.int16:\n      return \"int16\";\n    case TypeNumberBrand.uint16:\n      return \"uint16\";\n    case TypeNumberBrand.int32:\n      return \"int32\";\n    case TypeNumberBrand.uint32:\n      return \"uint32\";\n    case TypeNumberBrand.float:\n    case TypeNumberBrand.float32:\n      return \"float32\";\n    case TypeNumberBrand.float64:\n      return \"float64\";\n    case undefined:\n    default:\n      return \"float64\";\n  }\n}\n\n/**\n * Converts a Deepkit type reflection into a JSON Type Definition (RFC 8927) form suitable for AJV's JTD validator.\n *\n * @remarks\n * Some TypeScript constructs have no direct JTD equivalent and are handled with the closest available form:\n *\n * - `null` and `undefined` become the empty JTD form with `nullable: true`.\n * - Unions of primitives that cannot be expressed as a JTD enum collapse to the empty form (which validates any value).\n * - String/number/bigint literal unions are emitted as a JTD enum (non-string members are stringified, as JTD requires string enum members).\n * - Tuples are emitted as a JTD elements form whose element schema is the single tuple member type, or the empty schema for mixed tuples.\n * - `Date` is emitted as `{ type: \"timestamp\" }`.\n * - Discriminated unions of object literals (a shared string-literal tag property) are emitted as a JTD discriminator form.\n *\n * @param reflection - The Deepkit type reflection to convert.\n * @returns The corresponding JTD form, or `undefined` if the type cannot be represented.\n */\nexport function reflectionToJsonSchema<\n  TMetadata extends Partial<SchemaMetadata> = Partial<SchemaMetadata>\n>(reflection: Type): JTDSchemaType<TMetadata> | undefined {\n  const result = reflectionToJtd<TMetadata>(reflection);\n\n  return result;\n}\n\n/**\n * Internal worker that performs the recursive Deepkit reflection → JTD conversion.\n *\n * @param reflection - The Deepkit type reflection to convert.\n * @returns The corresponding JTD form, or `undefined` if the type cannot be represented.\n */\nfunction reflectionToJtd<\n  TMetadata extends Partial<SchemaMetadata> = Partial<SchemaMetadata>\n>(reflection: Type): JTDSchemaType<TMetadata> | undefined {\n  const schema = {} as JTDSchemaType<TMetadata>;\n\n  if (isSetObject((reflection as { tags?: TagsReflection })?.tags)) {\n    const tags = (reflection as { tags: TagsReflection }).tags;\n\n    schema.metadata = (schema.metadata ?? {}) as TMetadata;\n    if (tags.readonly === true) {\n      schema.metadata.isReadonly = true;\n    }\n    if (tags.ignore === true) {\n      schema.metadata.isIgnored = true;\n    }\n    if (tags.internal === true) {\n      schema.metadata.isInternal = true;\n    }\n    if (tags.runtime === true) {\n      schema.metadata.isRuntime = true;\n    }\n    if (tags.hidden === true) {\n      schema.metadata.isHidden = true;\n    }\n    if (isSetArray(tags.alias)) {\n      schema.metadata.alias = tags.alias;\n    }\n    if (isSetString(tags.title)) {\n      schema.metadata.title = tags.title;\n    }\n  }\n\n  switch (reflection.kind) {\n    case ReflectionKind.any:\n    case ReflectionKind.unknown:\n    case ReflectionKind.void:\n    case ReflectionKind.object:\n      return {};\n    case ReflectionKind.never:\n      return undefined;\n    case ReflectionKind.undefined:\n    case ReflectionKind.null:\n      return { nullable: true };\n    case ReflectionKind.string:\n      return { ...schema, type: \"string\" };\n    case ReflectionKind.boolean:\n      return { ...schema, type: \"boolean\" };\n    case ReflectionKind.number:\n      return {\n        ...schema,\n        type: numberBrandToJtdType(reflection.brand)\n      };\n    case ReflectionKind.bigint:\n      // JTD has no native 64-bit integer type — float64 is the widest numeric form.\n      return { ...schema, type: \"float64\" };\n    case ReflectionKind.regexp:\n      return { ...schema, type: \"string\" };\n    case ReflectionKind.literal: {\n      const { literal } = reflection;\n      if (typeof literal === \"string\") {\n        return { ...schema, enum: [literal] };\n      }\n\n      if (typeof literal === \"number\" || typeof literal === \"bigint\") {\n        return {\n          ...schema,\n          enum: [String(literal)]\n        };\n      }\n\n      if (typeof literal === \"boolean\") {\n        // JTD has no boolean literal — emit the type form.\n        return { ...schema, type: \"boolean\" };\n      }\n\n      if (literal instanceof RegExp) {\n        return { ...schema, type: \"string\" };\n      }\n\n      return schema;\n    }\n    case ReflectionKind.templateLiteral:\n      return { ...schema, type: \"string\" };\n    case ReflectionKind.enum: {\n      const values = reflection.values\n        .filter(\n          (value): value is string | number =>\n            typeof value === \"string\" || typeof value === \"number\"\n        )\n        .map(value => String(value));\n\n      const unique = Array.from(new Set(values));\n      if (unique.length === 0) {\n        return schema;\n      }\n\n      return { ...schema, enum: unique };\n    }\n    case ReflectionKind.array: {\n      const items = reflectionToJtd<TMetadata>(reflection.type);\n\n      return { ...schema, elements: items ?? {} };\n    }\n    case ReflectionKind.tuple: {\n      const items = reflection.types\n        .map(member => reflectionToJtd<TMetadata>(member.type))\n        .filter((item): item is JTDSchemaType<TMetadata> => item !== undefined);\n      if (items.length === 0) {\n        return { ...schema, elements: {} };\n      }\n\n      if (items.length === 1) {\n        return { ...schema, elements: items[0]! };\n      }\n\n      // JTD has no tuple form — accept any element shape.\n      return { ...schema, elements: {} };\n    }\n    case ReflectionKind.union: {\n      const branches = reflection.types\n        .map(inner => reflectionToJtd<TMetadata>(inner))\n        .filter((item): item is JTDSchemaType<TMetadata> => item !== undefined);\n\n      const nullable = reflection.types.some(\n        inner =>\n          inner.kind === ReflectionKind.null ||\n          inner.kind === ReflectionKind.undefined\n      );\n      const nonNull = branches.filter(b => !isPureNullable(b));\n\n      if (nonNull.length === 0) {\n        return { ...schema, nullable: true };\n      }\n\n      if (nonNull.length === 1) {\n        const only = nonNull[0]!;\n        if (nullable) {\n          (only as { nullable?: boolean }).nullable = true;\n        }\n\n        return { ...schema, ...only };\n      }\n\n      // String-enum union: combine all enum branches into one JTD enum.\n      if (nonNull.every(isEnumForm)) {\n        const merged = Array.from(\n          new Set(nonNull.flatMap(b => (b as { enum: string[] }).enum))\n        );\n        const form: JTDSchemaType<TMetadata> = { ...schema, enum: merged };\n\n        if (nullable) {\n          (form as { nullable?: boolean }).nullable = true;\n        }\n\n        return { ...schema, ...form };\n      }\n\n      // Discriminated union of object literals: detect a shared string-literal tag.\n      const discriminator = tryReflectionDiscriminator<TMetadata>(\n        reflection.types\n      );\n      if (discriminator) {\n        if (nullable) {\n          (discriminator as { nullable?: boolean }).nullable = true;\n        }\n\n        return { ...schema, ...discriminator };\n      }\n\n      // Fallback — JTD has no general union; allow any value.\n      const fallback: JTDSchemaType<TMetadata> = {};\n      if (nullable) {\n        (fallback as { nullable?: boolean }).nullable = true;\n      }\n\n      return { ...schema, ...fallback };\n    }\n    case ReflectionKind.intersection: {\n      const members = reflection.types\n        .map(inner => reflectionToJtd<TMetadata>(inner))\n        .filter(\n          (item): item is JTDSchemaType<TMetadata> | undefined =>\n            item !== undefined\n        );\n      if (members.length === 0) {\n        return undefined as JTDSchemaType<TMetadata> | undefined;\n      }\n\n      if (members.length === 1) {\n        return { ...schema, ...members[0] };\n      }\n\n      if (\n        members.every(member => member && isPropertiesForm<TMetadata>(member))\n      ) {\n        return mergePropertiesForms<TMetadata>(\n          members as JTDSchemaType<TMetadata>[]\n        );\n      }\n\n      return { ...schema, ...members[0] };\n    }\n    case ReflectionKind.promise:\n      return reflectionToJtd<TMetadata>(reflection.type);\n    case ReflectionKind.objectLiteral:\n      return objectReflectionToJtd<TMetadata>(reflection);\n    case ReflectionKind.class: {\n      const classType = reflection.classType as { name?: string } | undefined;\n      const className = classType?.name;\n      switch (className) {\n        case \"Date\":\n          return { ...schema, type: \"timestamp\" };\n        case \"RegExp\":\n          return { ...schema, type: \"string\" };\n        case \"URL\":\n          return { ...schema, type: \"string\" };\n        case \"Set\": {\n          const itemType = reflection.arguments?.[0];\n          const items = itemType\n            ? reflectionToJtd<TMetadata>(itemType)\n            : undefined;\n\n          return { ...schema, elements: items ?? {} };\n        }\n        case \"Map\": {\n          const valueType = reflection.arguments?.[1];\n          const values = valueType\n            ? reflectionToJtd<TMetadata>(valueType)\n            : undefined;\n\n          return { ...schema, values: values ?? {} };\n        }\n        case \"Uint8Array\":\n        case \"Uint8ClampedArray\":\n        case \"Uint16Array\":\n        case \"Uint32Array\":\n        case \"Int8Array\":\n        case \"Int16Array\":\n        case \"Int32Array\":\n        case \"Float32Array\":\n        case \"Float64Array\":\n        case \"BigInt64Array\":\n        case \"BigUint64Array\":\n          // Base64-encoded binary payload — represented as a plain string in JTD.\n          return { ...schema, type: \"string\" };\n        case undefined:\n        default:\n          return objectReflectionToJtd<TMetadata>(reflection);\n      }\n    }\n    case ReflectionKind.symbol:\n    case ReflectionKind.property:\n    case ReflectionKind.method:\n    case ReflectionKind.function:\n    case ReflectionKind.parameter:\n    case ReflectionKind.typeParameter:\n    case ReflectionKind.tupleMember:\n    case ReflectionKind.enumMember:\n    case ReflectionKind.rest:\n    case ReflectionKind.indexSignature:\n    case ReflectionKind.propertySignature:\n    case ReflectionKind.methodSignature:\n    case ReflectionKind.infer:\n    case ReflectionKind.callSignature:\n    default:\n      return undefined;\n  }\n}\n\n/**\n * Tests whether a JTD form is an enum form.\n *\n * @param form - The JTD form to inspect.\n * @returns `true` if the form is a JTD enum form.\n */\nfunction isEnumForm<\n  TMetadata extends Partial<SchemaMetadata> = Partial<SchemaMetadata>\n>(\n  form: JTDSchemaType<TMetadata>\n): form is { enum: string[]; nullable?: boolean; metadata?: TMetadata } {\n  return Array.isArray((form as { enum?: unknown[] }).enum);\n}\n\n/**\n * Tests whether a JTD form is a properties form (object).\n *\n * @param form - The JTD form to inspect.\n * @returns `true` if the form is a JTD properties form.\n */\nfunction isPropertiesForm<\n  TMetadata extends Partial<SchemaMetadata> = Partial<SchemaMetadata>\n>(\n  form: JTDSchemaType<TMetadata>\n): form is {\n  properties: Record<string, JTDSchemaType<TMetadata>>;\n  optionalProperties?: Record<string, JTDSchemaType<TMetadata>>;\n  nullable?: boolean;\n  metadata?: TMetadata;\n} {\n  return (\n    \"properties\" in (form as object) || \"optionalProperties\" in (form as object)\n  );\n}\n\n/**\n * Tests whether a JTD form is the empty `{ nullable: true }` placeholder.\n *\n * @param form - The JTD form to inspect.\n * @returns `true` if the form has no shape constraints beyond `nullable`.\n */\nfunction isPureNullable<\n  TMetadata extends Partial<SchemaMetadata> = Partial<SchemaMetadata>\n>(form: JTDSchemaType<TMetadata>): boolean {\n  const keys = Object.keys(form as object).filter(\n    k => k !== \"nullable\" && k !== \"metadata\"\n  );\n\n  return (\n    keys.length === 0 && (form as { nullable?: boolean }).nullable === true\n  );\n}\n\n/**\n * Shallow-merges two JTD properties forms, unioning their `properties` and `optionalProperties` maps.\n *\n * @param forms - The JTD properties forms to merge.\n * @returns The merged JTD properties form.\n */\nfunction mergePropertiesForms<\n  TMetadata extends Partial<SchemaMetadata> = Partial<SchemaMetadata>\n>(forms: JTDSchemaType<TMetadata>[]): JTDSchemaType<TMetadata> {\n  const merged: {\n    properties: Record<string, JTDSchemaType<TMetadata>>;\n    optionalProperties: Record<string, JTDSchemaType<TMetadata>>;\n    additionalProperties?: boolean;\n  } = {\n    properties: {},\n    optionalProperties: {}\n  };\n\n  for (const form of forms) {\n    const p = (\n      form as { properties?: Record<string, JTDSchemaType<TMetadata>> }\n    ).properties;\n    const o = (\n      form as { optionalProperties?: Record<string, JTDSchemaType<TMetadata>> }\n    ).optionalProperties;\n    if (p) {\n      Object.assign(merged.properties, p);\n    }\n    if (o) {\n      Object.assign(merged.optionalProperties, o);\n    }\n    if ((form as { additionalProperties?: boolean }).additionalProperties) {\n      merged.additionalProperties = true;\n    }\n  }\n\n  const hasProperties = Object.keys(merged.properties).length > 0;\n  const hasOptional = Object.keys(merged.optionalProperties).length > 0;\n  const result: JTDSchemaType<TMetadata> = {};\n\n  if (hasProperties) {\n    (\n      result as { properties: Record<string, JTDSchemaType<TMetadata>> }\n    ).properties = merged.properties;\n  } else if (!hasOptional) {\n    (\n      result as { properties: Record<string, JTDSchemaType<TMetadata>> }\n    ).properties = {};\n  }\n\n  if (hasOptional) {\n    (\n      result as { optionalProperties: Record<string, JTDSchemaType<TMetadata>> }\n    ).optionalProperties = merged.optionalProperties;\n  }\n\n  if (merged.additionalProperties) {\n    (result as { additionalProperties: boolean }).additionalProperties = true;\n  }\n\n  return result;\n}\n\n/**\n * Detects whether a Deepkit union represents a tagged union and, when so, emits the corresponding JTD discriminator form.\n *\n * @param types - The Deepkit reflection types that make up the union branches.\n * @returns A JTD discriminator form if every non-null branch is an object literal that shares a string-literal tag property, otherwise `undefined`.\n */\nfunction tryReflectionDiscriminator<\n  TMetadata extends Partial<SchemaMetadata> = Partial<SchemaMetadata>\n>(types: readonly Type[]): JTDSchemaType<TMetadata> | undefined {\n  const nonNullTypes = types.filter(\n    t => t.kind !== ReflectionKind.null && t.kind !== ReflectionKind.undefined\n  );\n  const objectBranches: Array<TypeObjectLiteral | TypeClass> =\n    nonNullTypes.filter(\n      t =>\n        t.kind === ReflectionKind.objectLiteral ||\n        t.kind === ReflectionKind.class\n    );\n\n  if (\n    objectBranches.length < 2 ||\n    objectBranches.length !== nonNullTypes.length\n  ) {\n    return undefined;\n  }\n\n  let tagKey: string | undefined;\n  const mapping: Record<string, JTDSchemaType<TMetadata>> = {};\n\n  for (const branch of objectBranches) {\n    const literalProps: Array<{ name: string; literal: string }> = [];\n    for (const member of branch.types) {\n      if (\n        (member.kind === ReflectionKind.property ||\n          member.kind === ReflectionKind.propertySignature) &&\n        typeof member.name === \"string\" &&\n        member.type.kind === ReflectionKind.literal &&\n        typeof (member.type as { literal?: unknown }).literal === \"string\"\n      ) {\n        literalProps.push({\n          name: member.name,\n          literal: (member.type as { literal: string }).literal\n        });\n      }\n    }\n\n    if (literalProps.length === 0) {\n      return undefined;\n    }\n\n    const first = literalProps[0]!;\n    if (!tagKey) {\n      tagKey = first.name;\n    } else if (tagKey !== first.name) {\n      return undefined;\n    }\n\n    // Build the branch body excluding the discriminator property.\n    const filteredBranch = {\n      ...branch,\n      types: branch.types.filter(\n        member =>\n          !(\n            (member.kind === ReflectionKind.property ||\n              member.kind === ReflectionKind.propertySignature) &&\n            member.name === tagKey\n          )\n      )\n    } as TypeObjectLiteral | TypeClass;\n\n    const body = objectReflectionToJtd<TMetadata>(filteredBranch);\n    if (!body || !isPropertiesForm<TMetadata>(body)) {\n      return undefined;\n    }\n\n    mapping[first.literal] = body;\n  }\n\n  if (!tagKey) {\n    return undefined;\n  }\n\n  return { discriminator: tagKey, mapping };\n}\n\n/**\n * Internal worker that produces a JTD properties form (or `values` form for index signatures alone) from a Deepkit object-like type.\n *\n * @param type - The class or object literal type whose members should be serialized.\n * @returns A JTD properties or values form describing the type's members.\n */\nfunction objectReflectionToJtd<\n  TMetadata extends Partial<SchemaMetadata> = Partial<SchemaMetadata>\n>(type: TypeObjectLiteral | TypeClass): JTDSchemaType<TMetadata> {\n  const reflection = ReflectionClass.from(type);\n\n  const schema = {} as {\n    properties?: Record<string, JTDSchemaType<TMetadata>>;\n    optionalProperties?: Record<string, JTDSchemaType<TMetadata>>;\n    additionalProperties?: boolean;\n    metadata?: TMetadata;\n  };\n\n  schema.metadata = (schema.metadata ?? {}) as TMetadata;\n  schema.metadata.isReadonly = reflection.isReadonly();\n  schema.metadata.isIgnored = reflection.isIgnored();\n  schema.metadata.isInternal = reflection.isInternal();\n  schema.metadata.isRuntime = reflection.isRuntime();\n  schema.metadata.isHidden = reflection.isHidden();\n\n  if (isSetString(reflection.databaseSchemaName)) {\n    schema.metadata.table = reflection.databaseSchemaName;\n  }\n  if (isSetString(reflection.getDescription())) {\n    schema.metadata.description = reflection.getDescription();\n  }\n  if (isSetArray(reflection.getAlias())) {\n    schema.metadata.alias = reflection.getAlias();\n  }\n  if (isSetString(reflection.getTitle())) {\n    schema.metadata.title = reflection.getTitle();\n  }\n\n  const properties: Record<string, JTDSchemaType<TMetadata>> = {};\n  const optionalProperties: Record<string, JTDSchemaType<TMetadata>> = {};\n\n  for (const propertyReflection of reflection.getProperties()) {\n    if (propertyReflection.getKind() === ReflectionKind.indexSignature) {\n      const valueSchema = reflectionToJtd<TMetadata>(propertyReflection.type);\n      if (valueSchema) {\n        return {\n          ...schema,\n          values: valueSchema,\n          additionalProperties: true\n        };\n      }\n    } else {\n      const property = reflectionToJtd<TMetadata>(propertyReflection.type);\n      if (!property) {\n        continue;\n      }\n\n      property.metadata = (property.metadata ?? {}) as TMetadata;\n      property.metadata.isReadonly = propertyReflection.isReadonly();\n      property.metadata.isIgnored = propertyReflection.isIgnored();\n      property.metadata.isInternal = propertyReflection.isInternal();\n      property.metadata.isRuntime = propertyReflection.isRuntime();\n      property.metadata.isPrimaryKey = propertyReflection.isPrimaryKey();\n      property.metadata.isHidden = propertyReflection.isHidden();\n\n      if (propertyReflection.hasDefault()) {\n        property.metadata.default = propertyReflection.getDefaultValue();\n      }\n      if (isSetString(propertyReflection.getDescription())) {\n        property.metadata.description = propertyReflection.getDescription();\n      }\n      if (isSetArray(propertyReflection.getAlias())) {\n        property.metadata.alias = propertyReflection.getAlias();\n      }\n      if (isSetString(propertyReflection.getTitle())) {\n        property.metadata.title = propertyReflection.getTitle();\n      }\n\n      if (propertyReflection.isOptional()) {\n        optionalProperties[propertyReflection.name] = property;\n      } else {\n        properties[propertyReflection.name] = property;\n      }\n    }\n  }\n\n  if (Object.keys(properties).length > 0) {\n    schema.properties = properties;\n  } else if (Object.keys(optionalProperties).length > 0) {\n    schema.optionalProperties = optionalProperties;\n  } else {\n    schema.properties = {};\n  }\n\n  return schema;\n}\n"],"mappings":";;;;;;;;;;AAsCA,SAAS,qBACP,OASY;AACZ,SAAQ,OAAR;EACE,KAAK,gBAAgB,QACnB,QAAO;EACT,KAAK,gBAAgB,KACnB,QAAO;EACT,KAAK,gBAAgB,MACnB,QAAO;EACT,KAAK,gBAAgB,MACnB,QAAO;EACT,KAAK,gBAAgB,OACnB,QAAO;EACT,KAAK,gBAAgB,MACnB,QAAO;EACT,KAAK,gBAAgB,OACnB,QAAO;EACT,KAAK,gBAAgB;EACrB,KAAK,gBAAgB,QACnB,QAAO;EACT,KAAK,gBAAgB,QACnB,QAAO;EACT,KAAK;EACL,QACE,QAAO;;;;;;;;;;;;;;;;;;;AAoBb,SAAgB,uBAEd,YAAwD;AAGxD,QAFe,gBAA2B,WAE7B;;;;;;;;AASf,SAAS,gBAEP,YAAwD;CACxD,MAAM,SAAS,EAAE;AAEjB,KAAI,YAAa,YAA0C,KAAK,EAAE;EAChE,MAAM,OAAQ,WAAwC;AAEtD,SAAO,WAAY,OAAO,YAAY,EAAE;AACxC,MAAI,KAAK,aAAa,KACpB,QAAO,SAAS,aAAa;AAE/B,MAAI,KAAK,WAAW,KAClB,QAAO,SAAS,YAAY;AAE9B,MAAI,KAAK,aAAa,KACpB,QAAO,SAAS,aAAa;AAE/B,MAAI,KAAK,YAAY,KACnB,QAAO,SAAS,YAAY;AAE9B,MAAI,KAAK,WAAW,KAClB,QAAO,SAAS,WAAW;AAE7B,MAAI,WAAW,KAAK,MAAM,CACxB,QAAO,SAAS,QAAQ,KAAK;AAE/B,MAAI,YAAY,KAAK,MAAM,CACzB,QAAO,SAAS,QAAQ,KAAK;;AAIjC,SAAQ,WAAW,MAAnB;EACE,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe,OAClB,QAAO,EAAE;EACX,KAAK,eAAe,MAClB;EACF,KAAK,eAAe;EACpB,KAAK,eAAe,KAClB,QAAO,EAAE,UAAU,MAAM;EAC3B,KAAK,eAAe,OAClB,QAAO;GAAE,GAAG;GAAQ,MAAM;GAAU;EACtC,KAAK,eAAe,QAClB,QAAO;GAAE,GAAG;GAAQ,MAAM;GAAW;EACvC,KAAK,eAAe,OAClB,QAAO;GACL,GAAG;GACH,MAAM,qBAAqB,WAAW,MAAM;GAC7C;EACH,KAAK,eAAe,OAElB,QAAO;GAAE,GAAG;GAAQ,MAAM;GAAW;EACvC,KAAK,eAAe,OAClB,QAAO;GAAE,GAAG;GAAQ,MAAM;GAAU;EACtC,KAAK,eAAe,SAAS;GAC3B,MAAM,EAAE,YAAY;AACpB,OAAI,OAAO,YAAY,SACrB,QAAO;IAAE,GAAG;IAAQ,MAAM,CAAC,QAAQ;IAAE;AAGvC,OAAI,OAAO,YAAY,YAAY,OAAO,YAAY,SACpD,QAAO;IACL,GAAG;IACH,MAAM,CAAC,OAAO,QAAQ,CAAC;IACxB;AAGH,OAAI,OAAO,YAAY,UAErB,QAAO;IAAE,GAAG;IAAQ,MAAM;IAAW;AAGvC,OAAI,mBAAmB,OACrB,QAAO;IAAE,GAAG;IAAQ,MAAM;IAAU;AAGtC,UAAO;;EAET,KAAK,eAAe,gBAClB,QAAO;GAAE,GAAG;GAAQ,MAAM;GAAU;EACtC,KAAK,eAAe,MAAM;GACxB,MAAM,SAAS,WAAW,OACvB,QACE,UACC,OAAO,UAAU,YAAY,OAAO,UAAU,SACjD,CACA,KAAI,UAAS,OAAO,MAAM,CAAC;GAE9B,MAAM,SAAS,MAAM,KAAK,IAAI,IAAI,OAAO,CAAC;AAC1C,OAAI,OAAO,WAAW,EACpB,QAAO;AAGT,UAAO;IAAE,GAAG;IAAQ,MAAM;IAAQ;;EAEpC,KAAK,eAAe,OAAO;GACzB,MAAM,QAAQ,gBAA2B,WAAW,KAAK;AAEzD,UAAO;IAAE,GAAG;IAAQ,UAAU,SAAS,EAAE;IAAE;;EAE7C,KAAK,eAAe,OAAO;GACzB,MAAM,QAAQ,WAAW,MACtB,KAAI,WAAU,gBAA2B,OAAO,KAAK,CAAC,CACtD,QAAQ,SAA2C,SAAS,OAAU;AACzE,OAAI,MAAM,WAAW,EACnB,QAAO;IAAE,GAAG;IAAQ,UAAU,EAAE;IAAE;AAGpC,OAAI,MAAM,WAAW,EACnB,QAAO;IAAE,GAAG;IAAQ,UAAU,MAAM;IAAK;AAI3C,UAAO;IAAE,GAAG;IAAQ,UAAU,EAAE;IAAE;;EAEpC,KAAK,eAAe,OAAO;GACzB,MAAM,WAAW,WAAW,MACzB,KAAI,UAAS,gBAA2B,MAAM,CAAC,CAC/C,QAAQ,SAA2C,SAAS,OAAU;GAEzE,MAAM,WAAW,WAAW,MAAM,MAChC,UACE,MAAM,SAAS,eAAe,QAC9B,MAAM,SAAS,eAAe,UACjC;GACD,MAAM,UAAU,SAAS,QAAO,MAAK,CAAC,eAAe,EAAE,CAAC;AAExD,OAAI,QAAQ,WAAW,EACrB,QAAO;IAAE,GAAG;IAAQ,UAAU;IAAM;AAGtC,OAAI,QAAQ,WAAW,GAAG;IACxB,MAAM,OAAO,QAAQ;AACrB,QAAI,SACF,CAAC,KAAgC,WAAW;AAG9C,WAAO;KAAE,GAAG;KAAQ,GAAG;KAAM;;AAI/B,OAAI,QAAQ,MAAM,WAAW,EAAE;IAC7B,MAAM,SAAS,MAAM,KACnB,IAAI,IAAI,QAAQ,SAAQ,MAAM,EAAyB,KAAK,CAAC,CAC9D;IACD,MAAM,OAAiC;KAAE,GAAG;KAAQ,MAAM;KAAQ;AAElE,QAAI,SACF,CAAC,KAAgC,WAAW;AAG9C,WAAO;KAAE,GAAG;KAAQ,GAAG;KAAM;;GAI/B,MAAM,gBAAgB,2BACpB,WAAW,MACZ;AACD,OAAI,eAAe;AACjB,QAAI,SACF,CAAC,cAAyC,WAAW;AAGvD,WAAO;KAAE,GAAG;KAAQ,GAAG;KAAe;;GAIxC,MAAM,WAAqC,EAAE;AAC7C,OAAI,SACF,CAAC,SAAoC,WAAW;AAGlD,UAAO;IAAE,GAAG;IAAQ,GAAG;IAAU;;EAEnC,KAAK,eAAe,cAAc;GAChC,MAAM,UAAU,WAAW,MACxB,KAAI,UAAS,gBAA2B,MAAM,CAAC,CAC/C,QACE,SACC,SAAS,OACZ;AACH,OAAI,QAAQ,WAAW,EACrB;AAGF,OAAI,QAAQ,WAAW,EACrB,QAAO;IAAE,GAAG;IAAQ,GAAG,QAAQ;IAAI;AAGrC,OACE,QAAQ,OAAM,WAAU,UAAU,iBAA4B,OAAO,CAAC,CAEtE,QAAO,qBACL,QACD;AAGH,UAAO;IAAE,GAAG;IAAQ,GAAG,QAAQ;IAAI;;EAErC,KAAK,eAAe,QAClB,QAAO,gBAA2B,WAAW,KAAK;EACpD,KAAK,eAAe,cAClB,QAAO,sBAAiC,WAAW;EACrD,KAAK,eAAe,MAGlB,SAFkB,WAAW,WACA,MAC7B;GACE,KAAK,OACH,QAAO;IAAE,GAAG;IAAQ,MAAM;IAAa;GACzC,KAAK,SACH,QAAO;IAAE,GAAG;IAAQ,MAAM;IAAU;GACtC,KAAK,MACH,QAAO;IAAE,GAAG;IAAQ,MAAM;IAAU;GACtC,KAAK,OAAO;IACV,MAAM,WAAW,WAAW,YAAY;IACxC,MAAM,QAAQ,WACV,gBAA2B,SAAS,GACpC;AAEJ,WAAO;KAAE,GAAG;KAAQ,UAAU,SAAS,EAAE;KAAE;;GAE7C,KAAK,OAAO;IACV,MAAM,YAAY,WAAW,YAAY;IACzC,MAAM,SAAS,YACX,gBAA2B,UAAU,GACrC;AAEJ,WAAO;KAAE,GAAG;KAAQ,QAAQ,UAAU,EAAE;KAAE;;GAE5C,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK,iBAEH,QAAO;IAAE,GAAG;IAAQ,MAAM;IAAU;GACtC,KAAK;GACL,QACE,QAAO,sBAAiC,WAAW;;EAGzD,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,QACE;;;;;;;;;AAUN,SAAS,WAGP,MACsE;AACtE,QAAO,MAAM,QAAS,KAA8B,KAAK;;;;;;;;AAS3D,SAAS,iBAGP,MAMA;AACA,QACE,gBAAiB,QAAmB,wBAAyB;;;;;;;;AAUjE,SAAS,eAEP,MAAyC;AAKzC,QAJa,OAAO,KAAK,KAAe,CAAC,QACvC,MAAK,MAAM,cAAc,MAAM,WAI3B,CAAC,WAAW,KAAM,KAAgC,aAAa;;;;;;;;AAUvE,SAAS,qBAEP,OAA6D;CAC7D,MAAM,SAIF;EACF,YAAY,EAAE;EACd,oBAAoB,EAAE;EACvB;AAED,MAAK,MAAM,QAAQ,OAAO;EACxB,MAAM,IACJ,KACA;EACF,MAAM,IACJ,KACA;AACF,MAAI,EACF,QAAO,OAAO,OAAO,YAAY,EAAE;AAErC,MAAI,EACF,QAAO,OAAO,OAAO,oBAAoB,EAAE;AAE7C,MAAK,KAA4C,qBAC/C,QAAO,uBAAuB;;CAIlC,MAAM,gBAAgB,OAAO,KAAK,OAAO,WAAW,CAAC,SAAS;CAC9D,MAAM,cAAc,OAAO,KAAK,OAAO,mBAAmB,CAAC,SAAS;CACpE,MAAM,SAAmC,EAAE;AAE3C,KAAI,cACF,CACE,OACA,aAAa,OAAO;UACb,CAAC,YACV,CACE,OACA,aAAa,EAAE;AAGnB,KAAI,YACF,CACE,OACA,qBAAqB,OAAO;AAGhC,KAAI,OAAO,qBACT,CAAC,OAA6C,uBAAuB;AAGvE,QAAO;;;;;;;;AAST,SAAS,2BAEP,OAA8D;CAC9D,MAAM,eAAe,MAAM,QACzB,MAAK,EAAE,SAAS,eAAe,QAAQ,EAAE,SAAS,eAAe,UAClE;CACD,MAAM,iBACJ,aAAa,QACX,MACE,EAAE,SAAS,eAAe,iBAC1B,EAAE,SAAS,eAAe,MAC7B;AAEH,KACE,eAAe,SAAS,KACxB,eAAe,WAAW,aAAa,OAEvC;CAGF,IAAI;CACJ,MAAM,UAAoD,EAAE;AAE5D,MAAK,MAAM,UAAU,gBAAgB;EACnC,MAAM,eAAyD,EAAE;AACjE,OAAK,MAAM,UAAU,OAAO,MAC1B,MACG,OAAO,SAAS,eAAe,YAC9B,OAAO,SAAS,eAAe,sBACjC,OAAO,OAAO,SAAS,YACvB,OAAO,KAAK,SAAS,eAAe,WACpC,OAAQ,OAAO,KAA+B,YAAY,SAE1D,cAAa,KAAK;GAChB,MAAM,OAAO;GACb,SAAU,OAAO,KAA6B;GAC/C,CAAC;AAIN,MAAI,aAAa,WAAW,EAC1B;EAGF,MAAM,QAAQ,aAAa;AAC3B,MAAI,CAAC,OACH,UAAS,MAAM;WACN,WAAW,MAAM,KAC1B;EAgBF,MAAM,OAAO,sBAAiC;GAX5C,GAAG;GACH,OAAO,OAAO,MAAM,QAClB,WACE,GACG,OAAO,SAAS,eAAe,YAC9B,OAAO,SAAS,eAAe,sBACjC,OAAO,SAAS,QAErB;GAGyD,CAAC;AAC7D,MAAI,CAAC,QAAQ,CAAC,iBAA4B,KAAK,CAC7C;AAGF,UAAQ,MAAM,WAAW;;AAG3B,KAAI,CAAC,OACH;AAGF,QAAO;EAAE,eAAe;EAAQ;EAAS;;;;;;;;AAS3C,SAAS,sBAEP,MAA+D;CAC/D,MAAM,aAAa,gBAAgB,KAAK,KAAK;CAE7C,MAAM,SAAS,EAAE;AAOjB,QAAO,WAAY,OAAO,YAAY,EAAE;AACxC,QAAO,SAAS,aAAa,WAAW,YAAY;AACpD,QAAO,SAAS,YAAY,WAAW,WAAW;AAClD,QAAO,SAAS,aAAa,WAAW,YAAY;AACpD,QAAO,SAAS,YAAY,WAAW,WAAW;AAClD,QAAO,SAAS,WAAW,WAAW,UAAU;AAEhD,KAAI,YAAY,WAAW,mBAAmB,CAC5C,QAAO,SAAS,QAAQ,WAAW;AAErC,KAAI,YAAY,WAAW,gBAAgB,CAAC,CAC1C,QAAO,SAAS,cAAc,WAAW,gBAAgB;AAE3D,KAAI,WAAW,WAAW,UAAU,CAAC,CACnC,QAAO,SAAS,QAAQ,WAAW,UAAU;AAE/C,KAAI,YAAY,WAAW,UAAU,CAAC,CACpC,QAAO,SAAS,QAAQ,WAAW,UAAU;CAG/C,MAAM,aAAuD,EAAE;CAC/D,MAAM,qBAA+D,EAAE;AAEvE,MAAK,MAAM,sBAAsB,WAAW,eAAe,CACzD,KAAI,mBAAmB,SAAS,KAAK,eAAe,gBAAgB;EAClE,MAAM,cAAc,gBAA2B,mBAAmB,KAAK;AACvE,MAAI,YACF,QAAO;GACL,GAAG;GACH,QAAQ;GACR,sBAAsB;GACvB;QAEE;EACL,MAAM,WAAW,gBAA2B,mBAAmB,KAAK;AACpE,MAAI,CAAC,SACH;AAGF,WAAS,WAAY,SAAS,YAAY,EAAE;AAC5C,WAAS,SAAS,aAAa,mBAAmB,YAAY;AAC9D,WAAS,SAAS,YAAY,mBAAmB,WAAW;AAC5D,WAAS,SAAS,aAAa,mBAAmB,YAAY;AAC9D,WAAS,SAAS,YAAY,mBAAmB,WAAW;AAC5D,WAAS,SAAS,eAAe,mBAAmB,cAAc;AAClE,WAAS,SAAS,WAAW,mBAAmB,UAAU;AAE1D,MAAI,mBAAmB,YAAY,CACjC,UAAS,SAAS,UAAU,mBAAmB,iBAAiB;AAElE,MAAI,YAAY,mBAAmB,gBAAgB,CAAC,CAClD,UAAS,SAAS,cAAc,mBAAmB,gBAAgB;AAErE,MAAI,WAAW,mBAAmB,UAAU,CAAC,CAC3C,UAAS,SAAS,QAAQ,mBAAmB,UAAU;AAEzD,MAAI,YAAY,mBAAmB,UAAU,CAAC,CAC5C,UAAS,SAAS,QAAQ,mBAAmB,UAAU;AAGzD,MAAI,mBAAmB,YAAY,CACjC,oBAAmB,mBAAmB,QAAQ;MAE9C,YAAW,mBAAmB,QAAQ;;AAK5C,KAAI,OAAO,KAAK,WAAW,CAAC,SAAS,EACnC,QAAO,aAAa;UACX,OAAO,KAAK,mBAAmB,CAAC,SAAS,EAClD,QAAO,qBAAqB;KAE5B,QAAO,aAAa,EAAE;AAGxB,QAAO"}
+{"version":3,"file":"reflection.mjs","names":[],"sources":["../src/reflection.ts"],"sourcesContent":["/* -------------------------------------------------------------------\n\n                   ⚡ Storm Software - Powerlines\n\n This code was released as part of the Powerlines project. Powerlines\n is maintained by Storm Software under the Apache-2.0 license, and is\n free for commercial and private use. For more information, please visit\n our licensing page at https://stormsoftware.com/licenses/projects/powerlines.\n\n Website:                  https://stormsoftware.com\n Repository:               https://github.com/storm-software/powerlines\n Documentation:            https://docs.stormsoftware.com/projects/powerlines\n Contact:                  https://stormsoftware.com/contact\n\n SPDX-License-Identifier:  Apache-2.0\n\n ------------------------------------------------------------------- */\n\nimport type {\n  TagsReflection,\n  Type,\n  TypeClass\n} from \"@powerlines/deepkit/vendor/type\";\nimport {\n  ReflectionClass,\n  ReflectionKind,\n  TypeNumberBrand,\n  TypeObjectLiteral\n} from \"@powerlines/deepkit/vendor/type\";\nimport { isSetArray, isSetObject, isSetString } from \"@stryke/type-checks\";\nimport defu from \"defu\";\nimport { JTDSchemaType, SchemaMetadata } from \"./types\";\n\n/**\n * Maps a Deepkit numeric `brand` to the JTD numeric `type` keyword that best preserves the underlying width and signedness.\n *\n * @param brand - The Deepkit `TypeNumberBrand` of a numeric reflection, or `undefined` when no brand is set.\n * @returns The JTD numeric `type` keyword to use.\n */\nfunction numberBrandToJtdType(\n  brand: TypeNumberBrand | undefined\n):\n  | \"int8\"\n  | \"uint8\"\n  | \"int16\"\n  | \"uint16\"\n  | \"int32\"\n  | \"uint32\"\n  | \"float32\"\n  | \"float64\" {\n  switch (brand) {\n    case TypeNumberBrand.integer:\n      return \"int32\";\n    case TypeNumberBrand.int8:\n      return \"int8\";\n    case TypeNumberBrand.uint8:\n      return \"uint8\";\n    case TypeNumberBrand.int16:\n      return \"int16\";\n    case TypeNumberBrand.uint16:\n      return \"uint16\";\n    case TypeNumberBrand.int32:\n      return \"int32\";\n    case TypeNumberBrand.uint32:\n      return \"uint32\";\n    case TypeNumberBrand.float:\n    case TypeNumberBrand.float32:\n      return \"float32\";\n    case TypeNumberBrand.float64:\n      return \"float64\";\n    case undefined:\n    default:\n      return \"float64\";\n  }\n}\n\n/**\n * Converts a Deepkit type reflection into a JSON Type Definition (RFC 8927) form suitable for AJV's JTD validator.\n *\n * @remarks\n * Some TypeScript constructs have no direct JTD equivalent and are handled with the closest available form:\n *\n * - `null` and `undefined` become the empty JTD form with `nullable: true`.\n * - Unions of primitives that cannot be expressed as a JTD enum collapse to the empty form (which validates any value).\n * - String/number/bigint literal unions are emitted as a JTD enum (non-string members are stringified, as JTD requires string enum members).\n * - Tuples are emitted as a JTD elements form whose element schema is the single tuple member type, or the empty schema for mixed tuples.\n * - `Date` is emitted as `{ type: \"timestamp\" }`.\n * - Discriminated unions of object literals (a shared string-literal tag property) are emitted as a JTD discriminator form.\n *\n * @param reflection - The Deepkit type reflection to convert.\n * @returns The corresponding JTD form, or `undefined` if the type cannot be represented.\n */\nexport function reflectionToJsonSchema<\n  TMetadata extends Partial<SchemaMetadata> = Partial<SchemaMetadata>\n>(reflection: Type): JTDSchemaType<TMetadata> | undefined {\n  const result = reflectionToJtd<TMetadata>(reflection);\n\n  return result;\n}\n\n/**\n * Internal worker that performs the recursive Deepkit reflection → JTD conversion.\n *\n * @param reflection - The Deepkit type reflection to convert.\n * @returns The corresponding JTD form, or `undefined` if the type cannot be represented.\n */\nfunction reflectionToJtd<\n  TMetadata extends Partial<SchemaMetadata> = Partial<SchemaMetadata>\n>(reflection: Type): JTDSchemaType<TMetadata> | undefined {\n  const schema = {} as JTDSchemaType<TMetadata>;\n\n  if (isSetObject((reflection as { tags?: TagsReflection })?.tags)) {\n    const tags = (reflection as { tags: TagsReflection }).tags;\n\n    schema.metadata = (schema.metadata ?? {}) as TMetadata;\n    if (tags.readonly === true) {\n      schema.metadata.isReadonly = true;\n    }\n    if (tags.ignore === true) {\n      schema.metadata.isIgnored = true;\n    }\n    if (tags.internal === true) {\n      schema.metadata.isInternal = true;\n    }\n    if (tags.runtime === true) {\n      schema.metadata.isRuntime = true;\n    }\n    if (tags.hidden === true) {\n      schema.metadata.isHidden = true;\n    }\n    if (isSetArray(tags.alias)) {\n      schema.metadata.alias = tags.alias;\n    }\n    if (isSetString(tags.title)) {\n      schema.metadata.title = tags.title;\n    }\n  }\n\n  switch (reflection.kind) {\n    case ReflectionKind.any:\n    case ReflectionKind.unknown:\n    case ReflectionKind.void:\n    case ReflectionKind.object:\n      return {};\n    case ReflectionKind.never:\n      return undefined;\n    case ReflectionKind.undefined:\n    case ReflectionKind.null:\n      return { nullable: true };\n    case ReflectionKind.string:\n      return { ...schema, type: \"string\" };\n    case ReflectionKind.boolean:\n      return { ...schema, type: \"boolean\" };\n    case ReflectionKind.number:\n      return {\n        ...schema,\n        type: numberBrandToJtdType(reflection.brand)\n      };\n    case ReflectionKind.bigint:\n      // JTD has no native 64-bit integer type — float64 is the widest numeric form.\n      return { ...schema, type: \"float64\" };\n    case ReflectionKind.regexp:\n      return { ...schema, type: \"string\" };\n    case ReflectionKind.literal: {\n      const { literal } = reflection;\n      if (typeof literal === \"string\") {\n        return { ...schema, enum: [literal] };\n      }\n\n      if (typeof literal === \"number\" || typeof literal === \"bigint\") {\n        return {\n          ...schema,\n          enum: [String(literal)]\n        };\n      }\n\n      if (typeof literal === \"boolean\") {\n        // JTD has no boolean literal — emit the type form.\n        return { ...schema, type: \"boolean\" };\n      }\n\n      if (literal instanceof RegExp) {\n        return { ...schema, type: \"string\" };\n      }\n\n      return schema;\n    }\n    case ReflectionKind.templateLiteral:\n      return { ...schema, type: \"string\" };\n    case ReflectionKind.enum: {\n      const values = reflection.values\n        .filter(\n          (value): value is string | number =>\n            typeof value === \"string\" || typeof value === \"number\"\n        )\n        .map(value => String(value));\n\n      const unique = Array.from(new Set(values));\n      if (unique.length === 0) {\n        return schema;\n      }\n\n      return { ...schema, enum: unique };\n    }\n    case ReflectionKind.array: {\n      const items = reflectionToJtd<TMetadata>(reflection.type);\n\n      return { ...schema, elements: items ?? {} };\n    }\n    case ReflectionKind.tuple: {\n      const items = reflection.types\n        .map(member => reflectionToJtd<TMetadata>(member.type))\n        .filter((item): item is JTDSchemaType<TMetadata> => item !== undefined);\n      if (items.length === 0) {\n        return { ...schema, elements: {} };\n      }\n\n      if (items.length === 1) {\n        return { ...schema, elements: items[0]! };\n      }\n\n      // JTD has no tuple form — accept any element shape.\n      return { ...schema, elements: {} };\n    }\n    case ReflectionKind.union: {\n      const branches = reflection.types\n        .map(inner => reflectionToJtd<TMetadata>(inner))\n        .filter((item): item is JTDSchemaType<TMetadata> => item !== undefined);\n\n      const nullable = reflection.types.some(\n        inner =>\n          inner.kind === ReflectionKind.null ||\n          inner.kind === ReflectionKind.undefined\n      );\n      const nonNull = branches.filter(b => !isPureNullable(b));\n\n      if (nonNull.length === 0) {\n        return { ...schema, nullable: true };\n      }\n\n      if (nonNull.length === 1) {\n        const only = nonNull[0]!;\n        if (nullable) {\n          (only as { nullable?: boolean }).nullable = true;\n        }\n\n        return { ...schema, ...only };\n      }\n\n      // String-enum union: combine all enum branches into one JTD enum.\n      if (nonNull.every(isEnumForm)) {\n        const merged = Array.from(\n          new Set(nonNull.flatMap(b => (b as { enum: string[] }).enum))\n        );\n        const form: JTDSchemaType<TMetadata> = { ...schema, enum: merged };\n\n        if (nullable) {\n          (form as { nullable?: boolean }).nullable = true;\n        }\n\n        return { ...schema, ...form };\n      }\n\n      // Discriminated union of object literals: detect a shared string-literal tag.\n      const discriminator = tryReflectionDiscriminator<TMetadata>(\n        reflection.types\n      );\n      if (discriminator) {\n        if (nullable) {\n          (discriminator as { nullable?: boolean }).nullable = true;\n        }\n\n        return { ...schema, ...discriminator };\n      }\n\n      // Fallback — JTD has no general union; allow any value.\n      const fallback: JTDSchemaType<TMetadata> = {};\n      if (nullable) {\n        (fallback as { nullable?: boolean }).nullable = true;\n      }\n\n      return { ...schema, ...fallback };\n    }\n    case ReflectionKind.intersection: {\n      const members = reflection.types\n        .map(inner => reflectionToJtd<TMetadata>(inner))\n        .filter(\n          (item): item is JTDSchemaType<TMetadata> | undefined =>\n            item !== undefined\n        );\n      if (members.length === 0) {\n        return undefined as JTDSchemaType<TMetadata> | undefined;\n      }\n\n      if (members.length === 1) {\n        return { ...schema, ...members[0] };\n      }\n\n      if (\n        members.every(member => member && isPropertiesForm<TMetadata>(member))\n      ) {\n        return mergePropertiesForms<TMetadata>(\n          members as JTDSchemaType<TMetadata>[]\n        );\n      }\n\n      return { ...schema, ...members[0] };\n    }\n    case ReflectionKind.promise:\n      return reflectionToJtd<TMetadata>(reflection.type);\n    case ReflectionKind.objectLiteral:\n      return objectReflectionToJtd<TMetadata>(reflection);\n    case ReflectionKind.class: {\n      const classType = reflection.classType as { name?: string } | undefined;\n      const className = classType?.name;\n      switch (className) {\n        case \"Date\":\n          return { ...schema, type: \"timestamp\" };\n        case \"RegExp\":\n          return { ...schema, type: \"string\" };\n        case \"URL\":\n          return { ...schema, type: \"string\" };\n        case \"Set\": {\n          const itemType = reflection.arguments?.[0];\n          const items = itemType\n            ? reflectionToJtd<TMetadata>(itemType)\n            : undefined;\n\n          return { ...schema, elements: items ?? {} };\n        }\n        case \"Map\": {\n          const valueType = reflection.arguments?.[1];\n          const values = valueType\n            ? reflectionToJtd<TMetadata>(valueType)\n            : undefined;\n\n          return { ...schema, values: values ?? {} };\n        }\n        case \"Uint8Array\":\n        case \"Uint8ClampedArray\":\n        case \"Uint16Array\":\n        case \"Uint32Array\":\n        case \"Int8Array\":\n        case \"Int16Array\":\n        case \"Int32Array\":\n        case \"Float32Array\":\n        case \"Float64Array\":\n        case \"BigInt64Array\":\n        case \"BigUint64Array\":\n          // Base64-encoded binary payload — represented as a plain string in JTD.\n          return { ...schema, type: \"string\" };\n        case undefined:\n        default:\n          return objectReflectionToJtd<TMetadata>(reflection);\n      }\n    }\n    case ReflectionKind.symbol:\n    case ReflectionKind.property:\n    case ReflectionKind.method:\n    case ReflectionKind.function:\n    case ReflectionKind.parameter:\n    case ReflectionKind.typeParameter:\n    case ReflectionKind.tupleMember:\n    case ReflectionKind.enumMember:\n    case ReflectionKind.rest:\n    case ReflectionKind.indexSignature:\n    case ReflectionKind.propertySignature:\n    case ReflectionKind.methodSignature:\n    case ReflectionKind.infer:\n    case ReflectionKind.callSignature:\n    default:\n      return undefined;\n  }\n}\n\n/**\n * Tests whether a JTD form is an enum form.\n *\n * @param form - The JTD form to inspect.\n * @returns `true` if the form is a JTD enum form.\n */\nfunction isEnumForm<\n  TMetadata extends Partial<SchemaMetadata> = Partial<SchemaMetadata>\n>(\n  form: JTDSchemaType<TMetadata>\n): form is { enum: string[]; nullable?: boolean; metadata?: TMetadata } {\n  return Array.isArray((form as { enum?: unknown[] }).enum);\n}\n\n/**\n * Tests whether a JTD form is a properties form (object).\n *\n * @param form - The JTD form to inspect.\n * @returns `true` if the form is a JTD properties form.\n */\nfunction isPropertiesForm<\n  TMetadata extends Partial<SchemaMetadata> = Partial<SchemaMetadata>\n>(\n  form: JTDSchemaType<TMetadata>\n): form is {\n  properties: Record<string, JTDSchemaType<TMetadata>>;\n  optionalProperties?: Record<string, JTDSchemaType<TMetadata>>;\n  nullable?: boolean;\n  metadata?: TMetadata;\n} {\n  return (\n    \"properties\" in (form as object) || \"optionalProperties\" in (form as object)\n  );\n}\n\n/**\n * Tests whether a JTD form is the empty `{ nullable: true }` placeholder.\n *\n * @param form - The JTD form to inspect.\n * @returns `true` if the form has no shape constraints beyond `nullable`.\n */\nfunction isPureNullable<\n  TMetadata extends Partial<SchemaMetadata> = Partial<SchemaMetadata>\n>(form: JTDSchemaType<TMetadata>): boolean {\n  const keys = Object.keys(form as object).filter(\n    k => k !== \"nullable\" && k !== \"metadata\"\n  );\n\n  return (\n    keys.length === 0 && (form as { nullable?: boolean }).nullable === true\n  );\n}\n\n/**\n * Shallow-merges two JTD properties forms, unioning their `properties` and `optionalProperties` maps.\n *\n * @param forms - The JTD properties forms to merge.\n * @returns The merged JTD properties form.\n */\nfunction mergePropertiesForms<\n  TMetadata extends Partial<SchemaMetadata> = Partial<SchemaMetadata>\n>(forms: JTDSchemaType<TMetadata>[]): JTDSchemaType<TMetadata> {\n  const merged: {\n    properties: Record<string, JTDSchemaType<TMetadata>>;\n    optionalProperties: Record<string, JTDSchemaType<TMetadata>>;\n    additionalProperties?: boolean;\n  } = {\n    properties: {},\n    optionalProperties: {}\n  };\n\n  for (const form of forms) {\n    const properties = (\n      form as { properties?: Record<string, JTDSchemaType<TMetadata>> }\n    ).properties;\n    const optionalProperties = (\n      form as { optionalProperties?: Record<string, JTDSchemaType<TMetadata>> }\n    ).optionalProperties;\n    if (properties) {\n      defu(merged.properties, properties);\n    }\n    if (optionalProperties) {\n      defu(merged.optionalProperties, optionalProperties);\n    }\n    if ((form as { additionalProperties?: boolean }).additionalProperties) {\n      merged.additionalProperties = true;\n    }\n  }\n\n  const hasProperties = Object.keys(merged.properties).length > 0;\n  const hasOptional = Object.keys(merged.optionalProperties).length > 0;\n  const result: JTDSchemaType<TMetadata> = {};\n\n  if (hasProperties) {\n    (\n      result as { properties: Record<string, JTDSchemaType<TMetadata>> }\n    ).properties = merged.properties;\n  } else if (!hasOptional) {\n    (\n      result as { properties: Record<string, JTDSchemaType<TMetadata>> }\n    ).properties = {};\n  }\n\n  if (hasOptional) {\n    (\n      result as { optionalProperties: Record<string, JTDSchemaType<TMetadata>> }\n    ).optionalProperties = merged.optionalProperties;\n  }\n\n  if (merged.additionalProperties) {\n    (result as { additionalProperties: boolean }).additionalProperties = true;\n  }\n\n  return result;\n}\n\n/**\n * Detects whether a Deepkit union represents a tagged union and, when so, emits the corresponding JTD discriminator form.\n *\n * @param types - The Deepkit reflection types that make up the union branches.\n * @returns A JTD discriminator form if every non-null branch is an object literal that shares a string-literal tag property, otherwise `undefined`.\n */\nfunction tryReflectionDiscriminator<\n  TMetadata extends Partial<SchemaMetadata> = Partial<SchemaMetadata>\n>(types: readonly Type[]): JTDSchemaType<TMetadata> | undefined {\n  const nonNullTypes = types.filter(\n    t => t.kind !== ReflectionKind.null && t.kind !== ReflectionKind.undefined\n  );\n  const objectBranches: Array<TypeObjectLiteral | TypeClass> =\n    nonNullTypes.filter(\n      t =>\n        t.kind === ReflectionKind.objectLiteral ||\n        t.kind === ReflectionKind.class\n    );\n\n  if (\n    objectBranches.length < 2 ||\n    objectBranches.length !== nonNullTypes.length\n  ) {\n    return undefined;\n  }\n\n  let tagKey: string | undefined;\n  const mapping: Record<string, JTDSchemaType<TMetadata>> = {};\n\n  for (const branch of objectBranches) {\n    const literalProps: Array<{ name: string; literal: string }> = [];\n    for (const member of branch.types) {\n      if (\n        (member.kind === ReflectionKind.property ||\n          member.kind === ReflectionKind.propertySignature) &&\n        typeof member.name === \"string\" &&\n        member.type.kind === ReflectionKind.literal &&\n        typeof (member.type as { literal?: unknown }).literal === \"string\"\n      ) {\n        literalProps.push({\n          name: member.name,\n          literal: (member.type as { literal: string }).literal\n        });\n      }\n    }\n\n    if (literalProps.length === 0) {\n      return undefined;\n    }\n\n    const first = literalProps[0]!;\n    if (!tagKey) {\n      tagKey = first.name;\n    } else if (tagKey !== first.name) {\n      return undefined;\n    }\n\n    // Build the branch body excluding the discriminator property.\n    const filteredBranch = {\n      ...branch,\n      types: branch.types.filter(\n        member =>\n          !(\n            (member.kind === ReflectionKind.property ||\n              member.kind === ReflectionKind.propertySignature) &&\n            member.name === tagKey\n          )\n      )\n    } as TypeObjectLiteral | TypeClass;\n\n    const body = objectReflectionToJtd<TMetadata>(filteredBranch);\n    if (!body || !isPropertiesForm<TMetadata>(body)) {\n      return undefined;\n    }\n\n    mapping[first.literal] = body;\n  }\n\n  if (!tagKey) {\n    return undefined;\n  }\n\n  return { discriminator: tagKey, mapping };\n}\n\n/**\n * Internal worker that produces a JTD properties form (or `values` form for index signatures alone) from a Deepkit object-like type.\n *\n * @param type - The class or object literal type whose members should be serialized.\n * @returns A JTD properties or values form describing the type's members.\n */\nfunction objectReflectionToJtd<\n  TMetadata extends Partial<SchemaMetadata> = Partial<SchemaMetadata>\n>(type: TypeObjectLiteral | TypeClass): JTDSchemaType<TMetadata> {\n  const reflection = ReflectionClass.from(type);\n\n  const schema = {} as {\n    properties?: Record<string, JTDSchemaType<TMetadata>>;\n    optionalProperties?: Record<string, JTDSchemaType<TMetadata>>;\n    additionalProperties?: boolean;\n    metadata?: TMetadata;\n  };\n\n  schema.metadata = (schema.metadata ?? {}) as TMetadata;\n  schema.metadata.isReadonly = reflection.isReadonly();\n  schema.metadata.isIgnored = reflection.isIgnored();\n  schema.metadata.isInternal = reflection.isInternal();\n  schema.metadata.isRuntime = reflection.isRuntime();\n  schema.metadata.isHidden = reflection.isHidden();\n\n  if (isSetString(reflection.databaseSchemaName)) {\n    schema.metadata.resourceId = reflection.databaseSchemaName;\n  }\n  if (isSetString(reflection.getName())) {\n    schema.metadata.name = reflection.getName();\n  }\n  if (isSetString(reflection.getDescription())) {\n    schema.metadata.description = reflection.getDescription();\n  }\n  if (isSetArray(reflection.getAlias())) {\n    schema.metadata.alias = reflection.getAlias();\n  }\n  if (isSetString(reflection.getTitle())) {\n    schema.metadata.title = reflection.getTitle();\n  }\n\n  const properties: Record<string, JTDSchemaType<TMetadata>> = {};\n  const optionalProperties: Record<string, JTDSchemaType<TMetadata>> = {};\n\n  for (const propertyReflection of reflection.getProperties()) {\n    if (propertyReflection.getKind() === ReflectionKind.indexSignature) {\n      const valueSchema = reflectionToJtd<TMetadata>(propertyReflection.type);\n      if (valueSchema) {\n        return {\n          ...schema,\n          values: valueSchema,\n          additionalProperties: true\n        };\n      }\n    } else {\n      const property = reflectionToJtd<TMetadata>(propertyReflection.type);\n      if (!property) {\n        continue;\n      }\n\n      property.metadata = (property.metadata ?? {}) as TMetadata;\n      property.metadata.isReadonly = propertyReflection.isReadonly();\n      property.metadata.isIgnored = propertyReflection.isIgnored();\n      property.metadata.isInternal = propertyReflection.isInternal();\n      property.metadata.isRuntime = propertyReflection.isRuntime();\n      property.metadata.isPrimaryKey = propertyReflection.isPrimaryKey();\n      property.metadata.isHidden = propertyReflection.isHidden();\n      property.nullable = propertyReflection.isNullable();\n      property.metadata.visibility = propertyReflection.isPublic()\n        ? \"public\"\n        : propertyReflection.isProtected()\n          ? \"protected\"\n          : propertyReflection.isPrivate()\n            ? \"private\"\n            : undefined;\n\n      if (propertyReflection.hasDefault()) {\n        property.metadata.default = propertyReflection.getDefaultValue();\n      }\n      if (isSetString(propertyReflection.getNameAsString())) {\n        property.metadata.name = propertyReflection.getNameAsString();\n      }\n      if (isSetArray(propertyReflection.getGroups())) {\n        property.metadata.groups = propertyReflection.getGroups();\n      }\n      if (isSetString(propertyReflection.getDescription())) {\n        property.metadata.description = propertyReflection.getDescription();\n      }\n      if (isSetArray(propertyReflection.getAlias())) {\n        property.metadata.alias = propertyReflection.getAlias();\n      }\n      if (isSetString(propertyReflection.getTitle())) {\n        property.metadata.title = propertyReflection.getTitle();\n      }\n\n      if (propertyReflection.isOptional()) {\n        optionalProperties[propertyReflection.name] = property;\n      } else {\n        properties[propertyReflection.name] = property;\n      }\n    }\n  }\n\n  if (Object.keys(properties).length > 0) {\n    schema.properties = properties;\n  } else if (Object.keys(optionalProperties).length > 0) {\n    schema.optionalProperties = optionalProperties;\n  } else {\n    schema.properties = {};\n  }\n\n  return schema;\n}\n"],"mappings":";;;;;;;;;;;AAuCA,SAAS,qBACP,OASY;CACZ,QAAQ,OAAR;EACE,KAAK,gBAAgB,SACnB,OAAO;EACT,KAAK,gBAAgB,MACnB,OAAO;EACT,KAAK,gBAAgB,OACnB,OAAO;EACT,KAAK,gBAAgB,OACnB,OAAO;EACT,KAAK,gBAAgB,QACnB,OAAO;EACT,KAAK,gBAAgB,OACnB,OAAO;EACT,KAAK,gBAAgB,QACnB,OAAO;EACT,KAAK,gBAAgB;EACrB,KAAK,gBAAgB,SACnB,OAAO;EACT,KAAK,gBAAgB,SACnB,OAAO;EACT,KAAK;EACL,SACE,OAAO;CACX;AACF;;;;;;;;;;;;;;;;;AAkBA,SAAgB,uBAEd,YAAwD;CAGxD,OAFe,gBAA2B,UAE9B;AACd;;;;;;;AAQA,SAAS,gBAEP,YAAwD;CACxD,MAAM,SAAS,CAAC;CAEhB,IAAI,YAAa,YAA0C,IAAI,GAAG;EAChE,MAAM,OAAQ,WAAwC;EAEtD,OAAO,WAAY,OAAO,YAAY,CAAC;EACvC,IAAI,KAAK,aAAa,MACpB,OAAO,SAAS,aAAa;EAE/B,IAAI,KAAK,WAAW,MAClB,OAAO,SAAS,YAAY;EAE9B,IAAI,KAAK,aAAa,MACpB,OAAO,SAAS,aAAa;EAE/B,IAAI,KAAK,YAAY,MACnB,OAAO,SAAS,YAAY;EAE9B,IAAI,KAAK,WAAW,MAClB,OAAO,SAAS,WAAW;EAE7B,IAAI,WAAW,KAAK,KAAK,GACvB,OAAO,SAAS,QAAQ,KAAK;EAE/B,IAAI,YAAY,KAAK,KAAK,GACxB,OAAO,SAAS,QAAQ,KAAK;CAEjC;CAEA,QAAQ,WAAW,MAAnB;EACE,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe,QAClB,OAAO,CAAC;EACV,KAAK,eAAe,OAClB;EACF,KAAK,eAAe;EACpB,KAAK,eAAe,MAClB,OAAO,EAAE,UAAU,KAAK;EAC1B,KAAK,eAAe,QAClB,OAAO;GAAE,GAAG;GAAQ,MAAM;EAAS;EACrC,KAAK,eAAe,SAClB,OAAO;GAAE,GAAG;GAAQ,MAAM;EAAU;EACtC,KAAK,eAAe,QAClB,OAAO;GACL,GAAG;GACH,MAAM,qBAAqB,WAAW,KAAK;EAC7C;EACF,KAAK,eAAe,QAElB,OAAO;GAAE,GAAG;GAAQ,MAAM;EAAU;EACtC,KAAK,eAAe,QAClB,OAAO;GAAE,GAAG;GAAQ,MAAM;EAAS;EACrC,KAAK,eAAe,SAAS;GAC3B,MAAM,EAAE,YAAY;GACpB,IAAI,OAAO,YAAY,UACrB,OAAO;IAAE,GAAG;IAAQ,MAAM,CAAC,OAAO;GAAE;GAGtC,IAAI,OAAO,YAAY,YAAY,OAAO,YAAY,UACpD,OAAO;IACL,GAAG;IACH,MAAM,CAAC,OAAO,OAAO,CAAC;GACxB;GAGF,IAAI,OAAO,YAAY,WAErB,OAAO;IAAE,GAAG;IAAQ,MAAM;GAAU;GAGtC,IAAI,mBAAmB,QACrB,OAAO;IAAE,GAAG;IAAQ,MAAM;GAAS;GAGrC,OAAO;EACT;EACA,KAAK,eAAe,iBAClB,OAAO;GAAE,GAAG;GAAQ,MAAM;EAAS;EACrC,KAAK,eAAe,MAAM;GACxB,MAAM,SAAS,WAAW,OACvB,QACE,UACC,OAAO,UAAU,YAAY,OAAO,UAAU,QAClD,EACC,KAAI,UAAS,OAAO,KAAK,CAAC;GAE7B,MAAM,SAAS,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC;GACzC,IAAI,OAAO,WAAW,GACpB,OAAO;GAGT,OAAO;IAAE,GAAG;IAAQ,MAAM;GAAO;EACnC;EACA,KAAK,eAAe,OAAO;GACzB,MAAM,QAAQ,gBAA2B,WAAW,IAAI;GAExD,OAAO;IAAE,GAAG;IAAQ,UAAU,SAAS,CAAC;GAAE;EAC5C;EACA,KAAK,eAAe,OAAO;GACzB,MAAM,QAAQ,WAAW,MACtB,KAAI,WAAU,gBAA2B,OAAO,IAAI,CAAC,EACrD,QAAQ,SAA2C,SAAS,MAAS;GACxE,IAAI,MAAM,WAAW,GACnB,OAAO;IAAE,GAAG;IAAQ,UAAU,CAAC;GAAE;GAGnC,IAAI,MAAM,WAAW,GACnB,OAAO;IAAE,GAAG;IAAQ,UAAU,MAAM;GAAI;GAI1C,OAAO;IAAE,GAAG;IAAQ,UAAU,CAAC;GAAE;EACnC;EACA,KAAK,eAAe,OAAO;GACzB,MAAM,WAAW,WAAW,MACzB,KAAI,UAAS,gBAA2B,KAAK,CAAC,EAC9C,QAAQ,SAA2C,SAAS,MAAS;GAExE,MAAM,WAAW,WAAW,MAAM,MAChC,UACE,MAAM,SAAS,eAAe,QAC9B,MAAM,SAAS,eAAe,SAClC;GACA,MAAM,UAAU,SAAS,QAAO,MAAK,CAAC,eAAe,CAAC,CAAC;GAEvD,IAAI,QAAQ,WAAW,GACrB,OAAO;IAAE,GAAG;IAAQ,UAAU;GAAK;GAGrC,IAAI,QAAQ,WAAW,GAAG;IACxB,MAAM,OAAO,QAAQ;IACrB,IAAI,UACF,AAAC,KAAgC,WAAW;IAG9C,OAAO;KAAE,GAAG;KAAQ,GAAG;IAAK;GAC9B;GAGA,IAAI,QAAQ,MAAM,UAAU,GAAG;IAC7B,MAAM,SAAS,MAAM,KACnB,IAAI,IAAI,QAAQ,SAAQ,MAAM,EAAyB,IAAI,CAAC,CAC9D;IACA,MAAM,OAAiC;KAAE,GAAG;KAAQ,MAAM;IAAO;IAEjE,IAAI,UACF,AAAC,KAAgC,WAAW;IAG9C,OAAO;KAAE,GAAG;KAAQ,GAAG;IAAK;GAC9B;GAGA,MAAM,gBAAgB,2BACpB,WAAW,KACb;GACA,IAAI,eAAe;IACjB,IAAI,UACF,AAAC,cAAyC,WAAW;IAGvD,OAAO;KAAE,GAAG;KAAQ,GAAG;IAAc;GACvC;GAGA,MAAM,WAAqC,CAAC;GAC5C,IAAI,UACF,AAAC,SAAoC,WAAW;GAGlD,OAAO;IAAE,GAAG;IAAQ,GAAG;GAAS;EAClC;EACA,KAAK,eAAe,cAAc;GAChC,MAAM,UAAU,WAAW,MACxB,KAAI,UAAS,gBAA2B,KAAK,CAAC,EAC9C,QACE,SACC,SAAS,MACb;GACF,IAAI,QAAQ,WAAW,GACrB;GAGF,IAAI,QAAQ,WAAW,GACrB,OAAO;IAAE,GAAG;IAAQ,GAAG,QAAQ;GAAG;GAGpC,IACE,QAAQ,OAAM,WAAU,UAAU,iBAA4B,MAAM,CAAC,GAErE,OAAO,qBACL,OACF;GAGF,OAAO;IAAE,GAAG;IAAQ,GAAG,QAAQ;GAAG;EACpC;EACA,KAAK,eAAe,SAClB,OAAO,gBAA2B,WAAW,IAAI;EACnD,KAAK,eAAe,eAClB,OAAO,sBAAiC,UAAU;EACpD,KAAK,eAAe,OAGlB,QAFkB,WAAW,WACA,MAC7B;GACE,KAAK,QACH,OAAO;IAAE,GAAG;IAAQ,MAAM;GAAY;GACxC,KAAK,UACH,OAAO;IAAE,GAAG;IAAQ,MAAM;GAAS;GACrC,KAAK,OACH,OAAO;IAAE,GAAG;IAAQ,MAAM;GAAS;GACrC,KAAK,OAAO;IACV,MAAM,WAAW,WAAW,YAAY;IACxC,MAAM,QAAQ,WACV,gBAA2B,QAAQ,IACnC;IAEJ,OAAO;KAAE,GAAG;KAAQ,UAAU,SAAS,CAAC;IAAE;GAC5C;GACA,KAAK,OAAO;IACV,MAAM,YAAY,WAAW,YAAY;IACzC,MAAM,SAAS,YACX,gBAA2B,SAAS,IACpC;IAEJ,OAAO;KAAE,GAAG;KAAQ,QAAQ,UAAU,CAAC;IAAE;GAC3C;GACA,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK,kBAEH,OAAO;IAAE,GAAG;IAAQ,MAAM;GAAS;GACrC,KAAK;GACL,SACE,OAAO,sBAAiC,UAAU;EACtD;EAEF,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,SACE;CACJ;AACF;;;;;;;AAQA,SAAS,WAGP,MACsE;CACtE,OAAO,MAAM,QAAS,KAA8B,IAAI;AAC1D;;;;;;;AAQA,SAAS,iBAGP,MAMA;CACA,OACE,gBAAiB,QAAmB,wBAAyB;AAEjE;;;;;;;AAQA,SAAS,eAEP,MAAyC;CAKzC,OAJa,OAAO,KAAK,IAAc,EAAE,QACvC,MAAK,MAAM,cAAc,MAAM,UAI5B,EAAE,WAAW,KAAM,KAAgC,aAAa;AAEvE;;;;;;;AAQA,SAAS,qBAEP,OAA6D;CAC7D,MAAM,SAIF;EACF,YAAY,CAAC;EACb,oBAAoB,CAAC;CACvB;CAEA,KAAK,MAAM,QAAQ,OAAO;EACxB,MAAM,aACJ,KACA;EACF,MAAM,qBACJ,KACA;EACF,IAAI,YACF,KAAK,OAAO,YAAY,UAAU;EAEpC,IAAI,oBACF,KAAK,OAAO,oBAAoB,kBAAkB;EAEpD,IAAK,KAA4C,sBAC/C,OAAO,uBAAuB;CAElC;CAEA,MAAM,gBAAgB,OAAO,KAAK,OAAO,UAAU,EAAE,SAAS;CAC9D,MAAM,cAAc,OAAO,KAAK,OAAO,kBAAkB,EAAE,SAAS;CACpE,MAAM,SAAmC,CAAC;CAE1C,IAAI,eACF,AACE,OACA,aAAa,OAAO;MACjB,IAAI,CAAC,aACV,AACE,OACA,aAAa,CAAC;CAGlB,IAAI,aACF,AACE,OACA,qBAAqB,OAAO;CAGhC,IAAI,OAAO,sBACT,AAAC,OAA6C,uBAAuB;CAGvE,OAAO;AACT;;;;;;;AAQA,SAAS,2BAEP,OAA8D;CAC9D,MAAM,eAAe,MAAM,QACzB,MAAK,EAAE,SAAS,eAAe,QAAQ,EAAE,SAAS,eAAe,SACnE;CACA,MAAM,iBACJ,aAAa,QACX,MACE,EAAE,SAAS,eAAe,iBAC1B,EAAE,SAAS,eAAe,KAC9B;CAEF,IACE,eAAe,SAAS,KACxB,eAAe,WAAW,aAAa,QAEvC;CAGF,IAAI;CACJ,MAAM,UAAoD,CAAC;CAE3D,KAAK,MAAM,UAAU,gBAAgB;EACnC,MAAM,eAAyD,CAAC;EAChE,KAAK,MAAM,UAAU,OAAO,OAC1B,KACG,OAAO,SAAS,eAAe,YAC9B,OAAO,SAAS,eAAe,sBACjC,OAAO,OAAO,SAAS,YACvB,OAAO,KAAK,SAAS,eAAe,WACpC,OAAQ,OAAO,KAA+B,YAAY,UAE1D,aAAa,KAAK;GAChB,MAAM,OAAO;GACb,SAAU,OAAO,KAA6B;EAChD,CAAC;EAIL,IAAI,aAAa,WAAW,GAC1B;EAGF,MAAM,QAAQ,aAAa;EAC3B,IAAI,CAAC,QACH,SAAS,MAAM;OACV,IAAI,WAAW,MAAM,MAC1B;EAgBF,MAAM,OAAO,sBAAiC;GAX5C,GAAG;GACH,OAAO,OAAO,MAAM,QAClB,WACE,GACG,OAAO,SAAS,eAAe,YAC9B,OAAO,SAAS,eAAe,sBACjC,OAAO,SAAS,OAEtB;EAGyD,CAAC;EAC5D,IAAI,CAAC,QAAQ,CAAC,iBAA4B,IAAI,GAC5C;EAGF,QAAQ,MAAM,WAAW;CAC3B;CAEA,IAAI,CAAC,QACH;CAGF,OAAO;EAAE,eAAe;EAAQ;CAAQ;AAC1C;;;;;;;AAQA,SAAS,sBAEP,MAA+D;CAC/D,MAAM,aAAa,gBAAgB,KAAK,IAAI;CAE5C,MAAM,SAAS,CAAC;CAOhB,OAAO,WAAY,OAAO,YAAY,CAAC;CACvC,OAAO,SAAS,aAAa,WAAW,WAAW;CACnD,OAAO,SAAS,YAAY,WAAW,UAAU;CACjD,OAAO,SAAS,aAAa,WAAW,WAAW;CACnD,OAAO,SAAS,YAAY,WAAW,UAAU;CACjD,OAAO,SAAS,WAAW,WAAW,SAAS;CAE/C,IAAI,YAAY,WAAW,kBAAkB,GAC3C,OAAO,SAAS,aAAa,WAAW;CAE1C,IAAI,YAAY,WAAW,QAAQ,CAAC,GAClC,OAAO,SAAS,OAAO,WAAW,QAAQ;CAE5C,IAAI,YAAY,WAAW,eAAe,CAAC,GACzC,OAAO,SAAS,cAAc,WAAW,eAAe;CAE1D,IAAI,WAAW,WAAW,SAAS,CAAC,GAClC,OAAO,SAAS,QAAQ,WAAW,SAAS;CAE9C,IAAI,YAAY,WAAW,SAAS,CAAC,GACnC,OAAO,SAAS,QAAQ,WAAW,SAAS;CAG9C,MAAM,aAAuD,CAAC;CAC9D,MAAM,qBAA+D,CAAC;CAEtE,KAAK,MAAM,sBAAsB,WAAW,cAAc,GACxD,IAAI,mBAAmB,QAAQ,MAAM,eAAe,gBAAgB;EAClE,MAAM,cAAc,gBAA2B,mBAAmB,IAAI;EACtE,IAAI,aACF,OAAO;GACL,GAAG;GACH,QAAQ;GACR,sBAAsB;EACxB;CAEJ,OAAO;EACL,MAAM,WAAW,gBAA2B,mBAAmB,IAAI;EACnE,IAAI,CAAC,UACH;EAGF,SAAS,WAAY,SAAS,YAAY,CAAC;EAC3C,SAAS,SAAS,aAAa,mBAAmB,WAAW;EAC7D,SAAS,SAAS,YAAY,mBAAmB,UAAU;EAC3D,SAAS,SAAS,aAAa,mBAAmB,WAAW;EAC7D,SAAS,SAAS,YAAY,mBAAmB,UAAU;EAC3D,SAAS,SAAS,eAAe,mBAAmB,aAAa;EACjE,SAAS,SAAS,WAAW,mBAAmB,SAAS;EACzD,SAAS,WAAW,mBAAmB,WAAW;EAClD,SAAS,SAAS,aAAa,mBAAmB,SAAS,IACvD,WACA,mBAAmB,YAAY,IAC7B,cACA,mBAAmB,UAAU,IAC3B,YACA;EAER,IAAI,mBAAmB,WAAW,GAChC,SAAS,SAAS,UAAU,mBAAmB,gBAAgB;EAEjE,IAAI,YAAY,mBAAmB,gBAAgB,CAAC,GAClD,SAAS,SAAS,OAAO,mBAAmB,gBAAgB;EAE9D,IAAI,WAAW,mBAAmB,UAAU,CAAC,GAC3C,SAAS,SAAS,SAAS,mBAAmB,UAAU;EAE1D,IAAI,YAAY,mBAAmB,eAAe,CAAC,GACjD,SAAS,SAAS,cAAc,mBAAmB,eAAe;EAEpE,IAAI,WAAW,mBAAmB,SAAS,CAAC,GAC1C,SAAS,SAAS,QAAQ,mBAAmB,SAAS;EAExD,IAAI,YAAY,mBAAmB,SAAS,CAAC,GAC3C,SAAS,SAAS,QAAQ,mBAAmB,SAAS;EAGxD,IAAI,mBAAmB,WAAW,GAChC,mBAAmB,mBAAmB,QAAQ;OAE9C,WAAW,mBAAmB,QAAQ;CAE1C;CAGF,IAAI,OAAO,KAAK,UAAU,EAAE,SAAS,GACnC,OAAO,aAAa;MACf,IAAI,OAAO,KAAK,kBAAkB,EAAE,SAAS,GAClD,OAAO,qBAAqB;MAE5B,OAAO,aAAa,CAAC;CAGvB,OAAO;AACT"}

package/dist/resolve.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"resolve.mjs","names":[],"sources":["../src/resolve.ts"],"sourcesContent":["/* -------------------------------------------------------------------\n\n                   ⚡ Storm Software - Powerlines\n\n This code was released as part of the Powerlines project. Powerlines\n is maintained by Storm Software under the Apache-2.0 license, and is\n free for commercial and private use. For more information, please visit\n our licensing page at https://stormsoftware.com/licenses/projects/powerlines.\n\n Website:                  https://stormsoftware.com\n Repository:               https://github.com/storm-software/powerlines\n Documentation:            https://docs.stormsoftware.com/projects/powerlines\n Contact:                  https://stormsoftware.com/contact\n\n SPDX-License-Identifier:  Apache-2.0\n\n ------------------------------------------------------------------- */\n\nimport { PluginContext, UnresolvedContext } from \"@powerlines/core\";\nimport { esbuildPlugin } from \"@powerlines/deepkit/esbuild-plugin\";\nimport { reflect, Type } from \"@powerlines/deepkit/vendor/type\";\nimport { parseTypeDefinition } from \"@stryke/convert/parse-type-definition\";\nimport { findFileDotExtension } from \"@stryke/path/find\";\nimport { isSetString } from \"@stryke/type-checks/is-set-string\";\nimport { TypeDefinition } from \"@stryke/types/configuration\";\nimport defu from \"defu\";\nimport { bundle, BundleOptions } from \"./bundle\";\nimport { TypeDefinitionReference } from \"./types\";\n\n/**\n * Compiles a type definition to a module and returns the module.\n *\n * @param context - The context object containing the environment paths.\n * @param type - The type definition to compile. This can be either a string or a {@link TypeDefinition} object.\n * @param overrides - Optional overrides for the ESBuild configuration.\n * @returns A promise that resolves to the compiled module.\n */\nexport async function resolveModule<\n  TResult,\n  TContext extends UnresolvedContext = UnresolvedContext\n>(\n  context: TContext,\n  type: TypeDefinitionReference,\n  overrides?: BundleOptions\n): Promise<TResult> {\n  let typeDefinition!: TypeDefinition;\n  if (isSetString(type)) {\n    typeDefinition = parseTypeDefinition(type) as TypeDefinition;\n  } else {\n    typeDefinition = type;\n  }\n\n  const result = await bundle<TContext>(\n    context,\n    typeDefinition.file,\n    overrides\n  );\n\n  let resolved: any;\n  try {\n    resolved = await context.resolver.evalModule(result.text, {\n      filename: result.path,\n      ext: findFileDotExtension(result.path)\n    });\n  } catch (error) {\n    if (\n      isSetString((error as Error).message) &&\n      new RegExp(\n        `Cannot find module '${context.config.framework?.name || \"powerlines\"}:.*'`\n      ).test((error as Error).message)\n    ) {\n      const moduleName = (error as Error).message.match(\n        new RegExp(\n          `Cannot find module '(${context.config.framework?.name || \"powerlines\"}:.*)'`\n        )\n      )?.[1];\n      throw new Error(\n        `The module \"${moduleName}\" could not be resolved while evaluating \"${\n          typeDefinition.file\n        }\". It is possible the required built-in modules have not yet been generated. Please check the order of your plugins. ${\n          context.config.logLevel.general === \"debug\" ||\n          context.config.logLevel.general === \"trace\"\n            ? `\n\nBundle output for module:\n${result.text}`\n            : \"\"\n        }`\n      );\n    }\n\n    throw new Error(\n      `Failed to evaluate the bundled module for \"${\n        typeDefinition.file\n      }\". Error: ${(error as Error).message}${\n        context.config.logLevel.general === \"debug\" ||\n        context.config.logLevel.general === \"trace\"\n          ? `\n\nBundle output for module:\n${result.text}`\n          : \"\"\n      }`\n    );\n  }\n\n  return resolved;\n}\n\n/**\n * Compiles a type definition to a module and returns the specified export from the module.\n *\n * @param context - The context object containing the environment paths.\n * @param input - The type definition to compile. This can be either a string or a {@link TypeDefinition} object.\n * @param options - Optional overrides for the ESBuild configuration.\n * @returns A promise that resolves to the compiled module.\n */\nexport async function resolve<\n  TResult,\n  TContext extends UnresolvedContext = UnresolvedContext\n>(\n  context: TContext,\n  input: TypeDefinitionReference,\n  options?: BundleOptions\n): Promise<TResult> {\n  let typeDefinition!: TypeDefinition;\n  if (isSetString(input)) {\n    typeDefinition = parseTypeDefinition(input) as TypeDefinition;\n  } else {\n    typeDefinition = input;\n  }\n\n  const resolved = await resolveModule<Record<string, any>, TContext>(\n    context,\n    typeDefinition,\n    options\n  );\n\n  let exportName = typeDefinition.name;\n  if (!exportName) {\n    exportName = \"default\";\n  }\n\n  const resolvedExport = resolved[exportName] ?? resolved[`__Ω${exportName}`];\n  if (resolvedExport === undefined) {\n    throw new Error(\n      `The export \"${exportName}\" could not be resolved in the \"${\n        typeDefinition.file\n      }\" module. ${\n        Object.keys(resolved).length === 0\n          ? `After bundling, no exports were found in the module. Please ensure that the \"${\n              typeDefinition.file\n            }\" module has a \"${exportName}\" export with the desired value.`\n          : `After bundling, the available exports were: ${Object.keys(\n              resolved\n            ).join(\n              \", \"\n            )}. Please ensure that the export exists and is correctly named.`\n      }`\n    );\n  }\n\n  return resolvedExport;\n}\n\n/**\n * Resolves a type definition to a Deepkit Type reflection. This function compiles the provided type definition to a module, evaluates the module to get the specified export, and then reflects the export to get its Deepkit Type reflection.\n *\n * @param context - The context object containing the environment paths.\n * @param input - The type definition to compile. This can be either a string or a {@link TypeDefinition} object.\n * @param options - Optional overrides for the ESBuild configuration.\n * @returns A promise that resolves to the Deepkit Type reflection.\n */\nexport async function resolveReflection<\n  TContext extends PluginContext = PluginContext\n>(\n  context: TContext,\n  input: TypeDefinitionReference,\n  options?: BundleOptions\n): Promise<Type> {\n  return reflect(\n    await resolve<Type>(\n      context,\n      input,\n      defu(options, {\n        plugins: [\n          esbuildPlugin(context, {\n            reflection: \"default\",\n            level: \"all\"\n          })\n        ]\n      })\n    )\n  );\n}\n"],"mappings":";;;;;;;;;;;;;;;;;AAqCA,eAAsB,cAIpB,SACA,MACA,WACkB;CAClB,IAAI;AACJ,KAAI,YAAY,KAAK,CACnB,kBAAiB,oBAAoB,KAAK;KAE1C,kBAAiB;CAGnB,MAAM,SAAS,MAAM,OACnB,SACA,eAAe,MACf,UACD;CAED,IAAI;AACJ,KAAI;AACF,aAAW,MAAM,QAAQ,SAAS,WAAW,OAAO,MAAM;GACxD,UAAU,OAAO;GACjB,KAAK,qBAAqB,OAAO,KAAK;GACvC,CAAC;UACK,OAAO;AACd,MACE,YAAa,MAAgB,QAAQ,IACrC,IAAI,OACF,uBAAuB,QAAQ,OAAO,WAAW,QAAQ,aAAa,MACvE,CAAC,KAAM,MAAgB,QAAQ,EAChC;GACA,MAAM,aAAc,MAAgB,QAAQ,MAC1C,IAAI,OACF,wBAAwB,QAAQ,OAAO,WAAW,QAAQ,aAAa,OACxE,CACF,GAAG;AACJ,SAAM,IAAI,MACR,eAAe,WAAW,4CACxB,eAAe,KAChB,uHACC,QAAQ,OAAO,SAAS,YAAY,WACpC,QAAQ,OAAO,SAAS,YAAY,UAChC;;;EAGZ,OAAO,SACK,KAEP;;AAGH,QAAM,IAAI,MACR,8CACE,eAAe,KAChB,YAAa,MAAgB,UAC5B,QAAQ,OAAO,SAAS,YAAY,WACpC,QAAQ,OAAO,SAAS,YAAY,UAChC;;;EAGV,OAAO,SACG,KAEP;;AAGH,QAAO;;;;;;;;;;AAWT,eAAsB,QAIpB,SACA,OACA,SACkB;CAClB,IAAI;AACJ,KAAI,YAAY,MAAM,CACpB,kBAAiB,oBAAoB,MAAM;KAE3C,kBAAiB;CAGnB,MAAM,WAAW,MAAM,cACrB,SACA,gBACA,QACD;CAED,IAAI,aAAa,eAAe;AAChC,KAAI,CAAC,WACH,cAAa;CAGf,MAAM,iBAAiB,SAAS,eAAe,SAAS,MAAM;AAC9D,KAAI,mBAAmB,OACrB,OAAM,IAAI,MACR,eAAe,WAAW,kCACxB,eAAe,KAChB,YACC,OAAO,KAAK,SAAS,CAAC,WAAW,IAC7B,gFACE,eAAe,KAChB,kBAAkB,WAAW,oCAC9B,+CAA+C,OAAO,KACpD,SACD,CAAC,KACA,KACD,CAAC,kEAET;AAGH,QAAO;;;;;;;;;;AAWT,eAAsB,kBAGpB,SACA,OACA,SACe;AACf,QAAO,QACL,MAAM,QACJ,SACA,OACA,KAAK,SAAS,EACZ,SAAS,CACP,cAAc,SAAS;EACrB,YAAY;EACZ,OAAO;EACR,CAAC,CACH,EACF,CAAC,CACH,CACF"}
+{"version":3,"file":"resolve.mjs","names":[],"sources":["../src/resolve.ts"],"sourcesContent":["/* -------------------------------------------------------------------\n\n                   ⚡ Storm Software - Powerlines\n\n This code was released as part of the Powerlines project. Powerlines\n is maintained by Storm Software under the Apache-2.0 license, and is\n free for commercial and private use. For more information, please visit\n our licensing page at https://stormsoftware.com/licenses/projects/powerlines.\n\n Website:                  https://stormsoftware.com\n Repository:               https://github.com/storm-software/powerlines\n Documentation:            https://docs.stormsoftware.com/projects/powerlines\n Contact:                  https://stormsoftware.com/contact\n\n SPDX-License-Identifier:  Apache-2.0\n\n ------------------------------------------------------------------- */\n\nimport type { PluginContext, UnresolvedContext } from \"@powerlines/core\";\nimport { esbuildPlugin } from \"@powerlines/deepkit/esbuild-plugin\";\nimport { reflect, Type } from \"@powerlines/deepkit/vendor/type\";\nimport { parseTypeDefinition } from \"@stryke/convert/parse-type-definition\";\nimport { findFileDotExtension } from \"@stryke/path/find\";\nimport { isSetString } from \"@stryke/type-checks/is-set-string\";\nimport { TypeDefinition } from \"@stryke/types/configuration\";\nimport defu from \"defu\";\nimport { bundle, BundleOptions } from \"./bundle\";\nimport { TypeDefinitionReference } from \"./types\";\n\n/**\n * Compiles a type definition to a module and returns the module.\n *\n * @param context - The context object containing the environment paths.\n * @param type - The type definition to compile. This can be either a string or a {@link TypeDefinition} object.\n * @param overrides - Optional overrides for the ESBuild configuration.\n * @returns A promise that resolves to the compiled module.\n */\nexport async function resolveModule<\n  TResult,\n  TContext extends UnresolvedContext = UnresolvedContext\n>(\n  context: TContext,\n  type: TypeDefinitionReference,\n  overrides?: BundleOptions\n): Promise<TResult> {\n  let typeDefinition!: TypeDefinition;\n  if (isSetString(type)) {\n    typeDefinition = parseTypeDefinition(type) as TypeDefinition;\n  } else {\n    typeDefinition = type;\n  }\n\n  const result = await bundle<TContext>(\n    context,\n    typeDefinition.file,\n    overrides\n  );\n\n  let resolved: any;\n  try {\n    resolved = await context.resolver.evalModule(result.text, {\n      filename: result.path,\n      ext: findFileDotExtension(result.path)\n    });\n  } catch (error) {\n    if (\n      isSetString((error as Error).message) &&\n      new RegExp(\n        `Cannot find module '${context.config.framework?.name || \"powerlines\"}:.*'`\n      ).test((error as Error).message)\n    ) {\n      const moduleName = (error as Error).message.match(\n        new RegExp(\n          `Cannot find module '(${context.config.framework?.name || \"powerlines\"}:.*)'`\n        )\n      )?.[1];\n      throw new Error(\n        `The module \"${moduleName}\" could not be resolved while evaluating \"${\n          typeDefinition.file\n        }\". It is possible the required built-in modules have not yet been generated. Please check the order of your plugins. ${\n          context.config.logLevel.general === \"debug\" ||\n          context.config.logLevel.general === \"trace\"\n            ? `\n\nBundle output for module:\n${result.text}`\n            : \"\"\n        }`\n      );\n    }\n\n    throw new Error(\n      `Failed to evaluate the bundled module for \"${\n        typeDefinition.file\n      }\". Error: ${(error as Error).message}${\n        context.config.logLevel.general === \"debug\" ||\n        context.config.logLevel.general === \"trace\"\n          ? `\n\nBundle output for module:\n${result.text}`\n          : \"\"\n      }`\n    );\n  }\n\n  return resolved;\n}\n\n/**\n * Compiles a type definition to a module and returns the specified export from the module.\n *\n * @param context - The context object containing the environment paths.\n * @param input - The type definition to compile. This can be either a string or a {@link TypeDefinition} object.\n * @param options - Optional overrides for the ESBuild configuration.\n * @returns A promise that resolves to the compiled module.\n */\nexport async function resolve<\n  TResult,\n  TContext extends UnresolvedContext = UnresolvedContext\n>(\n  context: TContext,\n  input: TypeDefinitionReference,\n  options?: BundleOptions\n): Promise<TResult> {\n  let typeDefinition!: TypeDefinition;\n  if (isSetString(input)) {\n    typeDefinition = parseTypeDefinition(input) as TypeDefinition;\n  } else {\n    typeDefinition = input;\n  }\n\n  const resolved = await resolveModule<Record<string, any>, TContext>(\n    context,\n    typeDefinition,\n    options\n  );\n\n  let exportName = typeDefinition.name;\n  if (!exportName) {\n    exportName = \"default\";\n  }\n\n  const resolvedExport = resolved[exportName] ?? resolved[`__Ω${exportName}`];\n  if (resolvedExport === undefined) {\n    throw new Error(\n      `The export \"${exportName}\" could not be resolved in the \"${\n        typeDefinition.file\n      }\" module. ${\n        Object.keys(resolved).length === 0\n          ? `After bundling, no exports were found in the module. Please ensure that the \"${\n              typeDefinition.file\n            }\" module has a \"${exportName}\" export with the desired value.`\n          : `After bundling, the available exports were: ${Object.keys(\n              resolved\n            ).join(\n              \", \"\n            )}. Please ensure that the export exists and is correctly named.`\n      }`\n    );\n  }\n\n  return resolvedExport;\n}\n\n/**\n * Resolves a type definition to a Deepkit Type reflection. This function compiles the provided type definition to a module, evaluates the module to get the specified export, and then reflects the export to get its Deepkit Type reflection.\n *\n * @param context - The context object containing the environment paths.\n * @param input - The type definition to compile. This can be either a string or a {@link TypeDefinition} object.\n * @param options - Optional overrides for the ESBuild configuration.\n * @returns A promise that resolves to the Deepkit Type reflection.\n */\nexport async function resolveReflection<\n  TContext extends PluginContext = PluginContext\n>(\n  context: TContext,\n  input: TypeDefinitionReference,\n  options?: BundleOptions\n): Promise<Type> {\n  return reflect(\n    await resolve<Type>(\n      context,\n      input,\n      defu(options, {\n        plugins: [\n          esbuildPlugin(context, {\n            reflection: \"default\",\n            level: \"all\"\n          })\n        ]\n      })\n    )\n  );\n}\n"],"mappings":";;;;;;;;;;;;;;;;;AAqCA,eAAsB,cAIpB,SACA,MACA,WACkB;CAClB,IAAI;CACJ,IAAI,YAAY,IAAI,GAClB,iBAAiB,oBAAoB,IAAI;MAEzC,iBAAiB;CAGnB,MAAM,SAAS,MAAM,OACnB,SACA,eAAe,MACf,SACF;CAEA,IAAI;CACJ,IAAI;EACF,WAAW,MAAM,QAAQ,SAAS,WAAW,OAAO,MAAM;GACxD,UAAU,OAAO;GACjB,KAAK,qBAAqB,OAAO,IAAI;EACvC,CAAC;CACH,SAAS,OAAO;EACd,IACE,YAAa,MAAgB,OAAO,KACpC,IAAI,OACF,uBAAuB,QAAQ,OAAO,WAAW,QAAQ,aAAa,KACxE,EAAE,KAAM,MAAgB,OAAO,GAC/B;GACA,MAAM,aAAc,MAAgB,QAAQ,MAC1C,IAAI,OACF,wBAAwB,QAAQ,OAAO,WAAW,QAAQ,aAAa,MACzE,CACF,IAAI;GACJ,MAAM,IAAI,MACR,eAAe,WAAW,4CACxB,eAAe,KAChB,uHACC,QAAQ,OAAO,SAAS,YAAY,WACpC,QAAQ,OAAO,SAAS,YAAY,UAChC;;;EAGZ,OAAO,SACK,IAER;EACF;EAEA,MAAM,IAAI,MACR,8CACE,eAAe,KAChB,YAAa,MAAgB,UAC5B,QAAQ,OAAO,SAAS,YAAY,WACpC,QAAQ,OAAO,SAAS,YAAY,UAChC;;;EAGV,OAAO,SACG,IAER;CACF;CAEA,OAAO;AACT;;;;;;;;;AAUA,eAAsB,QAIpB,SACA,OACA,SACkB;CAClB,IAAI;CACJ,IAAI,YAAY,KAAK,GACnB,iBAAiB,oBAAoB,KAAK;MAE1C,iBAAiB;CAGnB,MAAM,WAAW,MAAM,cACrB,SACA,gBACA,OACF;CAEA,IAAI,aAAa,eAAe;CAChC,IAAI,CAAC,YACH,aAAa;CAGf,MAAM,iBAAiB,SAAS,eAAe,SAAS,MAAM;CAC9D,IAAI,mBAAmB,QACrB,MAAM,IAAI,MACR,eAAe,WAAW,kCACxB,eAAe,KAChB,YACC,OAAO,KAAK,QAAQ,EAAE,WAAW,IAC7B,gFACE,eAAe,KAChB,kBAAkB,WAAW,oCAC9B,+CAA+C,OAAO,KACpD,QACF,EAAE,KACA,IACF,EAAE,iEAEV;CAGF,OAAO;AACT;;;;;;;;;AAUA,eAAsB,kBAGpB,SACA,OACA,SACe;CACf,OAAO,QACL,MAAM,QACJ,SACA,OACA,KAAK,SAAS,EACZ,SAAS,CACP,cAAc,SAAS;EACrB,YAAY;EACZ,OAAO;CACT,CAAC,CACH,EACF,CAAC,CACH,CACF;AACF"}

package/dist/type-checks.cjs

@@ -1,7 +1,6 @@
 Object.defineProperty(exports, Symbol.toStringTag, { value: 'Module' });
 const require_runtime = require('./_virtual/_rolldown/runtime.cjs');
 let _stryke_type_checks = require("@stryke/type-checks");
-let _stryke_json_schema = require("@stryke/json/schema");
 
 //#region src/type-checks.ts
 /**
@@ -10,8 +9,17 @@ let _stryke_json_schema = require("@stryke/json/schema");
 * @param input - The input to check for being a [JTD schema](https://tools.ietf.org/html/rfc8927).
 * @returns `true` if the input is a [JTD schema](https://tools.ietf.org/html/rfc8927), otherwise `false`.
 */
+function isJTDSchemaObject(input) {
+	return (0, _stryke_type_checks.isSetObject)(input) && ("properties" in input && (0, _stryke_type_checks.isObject)(input.properties) || "optionalProperties" in input && (0, _stryke_type_checks.isObject)(input.optionalProperties));
+}
+/**
+* Type guard to check if a given input is a [JSON Type Definition (JTD) schema object](https://tools.ietf.org/html/rfc8927). This function verifies that the input is a non-null object, contains a `jtd` property that is set to `true`, and has a `schema` property that is a JSON Schema (draft-07) object. If all these conditions are met, the function returns `true`, indicating that the input is a valid JTD schema; otherwise, it returns `false`.
+*
+* @param input - The input to check for being a [JTD schema](https://tools.ietf.org/html/rfc8927).
+* @returns `true` if the input is a [JTD schema](https://tools.ietf.org/html/rfc8927), otherwise `false`.
+*/
 function isJTDSchema(input) {
-	return (0, _stryke_json_schema.isJsonSchemaObjectType)(input) && "jtd" in input && input.jtd === true;
+	return (0, _stryke_type_checks.isSetObject)(input) && (isJTDSchemaObject(input) || "elements" in input || "values" in input || "ref" in input || "type" in input || "enum" in input || "discriminator" in input && (0, _stryke_type_checks.isSetString)(input.discriminator) && "mapping" in input && (0, _stryke_type_checks.isObject)(input.mapping));
 }
 /**
 * Type guard to check if a given input is an [untyped](https://github.com/unjs/untyped) {@link UntypedSchema | Schema} object. This function verifies that the input is a non-null object whose optional metadata properties (`id`, `title`, `description`, `$schema`, `tsType`, `markdownType`, `type`, `required`, `tags`, `args`, `properties`, and `resolve`) - when present - match the shapes declared by `untyped`'s [`Schema`](https://github.com/unjs/untyped/blob/main/src/types.ts) interface.
@@ -67,10 +75,21 @@ function isSchema(input) {
 function isExtractedSchema(input) {
 	return isSchema(input) && "source" in input && (0, _stryke_type_checks.isSetObject)(input.source) && "schema" in input.source && isJTDSchema(input.source.schema) && "variant" in input.source && (0, _stryke_type_checks.isSetString)(input.source.variant);
 }
+/**
+* Type guard to check if a given input is a {@link ObjectSchema} object. This function verifies that the input is a {@link Schema} object and that its `schema` property has either a `properties` property that is an object or an `optionalProperties` property that is an object (as per the structure of JTD schema objects). If these conditions are met, the function returns `true`, indicating that the input is a valid {@link ObjectSchema}; otherwise, it returns `false`.
+*
+* @param input - The input to check for being a {@link ObjectSchema}.
+* @returns `true` if the input is a {@link ObjectSchema}, otherwise `false`.
+*/
+function isObjectSchema(input) {
+	return isSchema(input) && isJTDSchemaObject(input.schema);
+}
 
 //#endregion
 exports.isExtractedSchema = isExtractedSchema;
 exports.isJTDSchema = isJTDSchema;
+exports.isJTDSchemaObject = isJTDSchemaObject;
+exports.isObjectSchema = isObjectSchema;
 exports.isSchema = isSchema;
 exports.isUntypedInput = isUntypedInput;
 exports.isUntypedSchema = isUntypedSchema;

package/dist/type-checks.d.cts

@@ -1,8 +1,15 @@
-import { ExtractedSchema, Schema as Schema$1, SchemaMetadata } from "./types.cjs";
+import { ExtractedSchema, JTDSchemaObjectType, ObjectSchema, Schema as Schema$1, SchemaMetadata } from "./types.cjs";
 import { InputObject, Schema } from "untyped";
 import { JTDSchemaType } from "ajv/dist/types/jtd-schema.js";
 
 //#region src/type-checks.d.ts
+/**
+ * Type guard to check if a given input is a [JSON Type Definition (JTD) schema object](https://tools.ietf.org/html/rfc8927). This function verifies that the input is a non-null object, contains a `jtd` property that is set to `true`, and has a `schema` property that is a JSON Schema (draft-07) object. If all these conditions are met, the function returns `true`, indicating that the input is a valid JTD schema; otherwise, it returns `false`.
+ *
+ * @param input - The input to check for being a [JTD schema](https://tools.ietf.org/html/rfc8927).
+ * @returns `true` if the input is a [JTD schema](https://tools.ietf.org/html/rfc8927), otherwise `false`.
+ */
+declare function isJTDSchemaObject<TMetadata extends SchemaMetadata = SchemaMetadata>(input: unknown): input is JTDSchemaObjectType<TMetadata>;
 /**
  * Type guard to check if a given input is a [JSON Type Definition (JTD) schema object](https://tools.ietf.org/html/rfc8927). This function verifies that the input is a non-null object, contains a `jtd` property that is set to `true`, and has a `schema` property that is a JSON Schema (draft-07) object. If all these conditions are met, the function returns `true`, indicating that the input is a valid JTD schema; otherwise, it returns `false`.
  *
@@ -38,6 +45,13 @@ declare function isSchema<TMetadata extends SchemaMetadata = SchemaMetadata>(inp
  * @returns `true` if the input is a {@link ExtractedSchema}, otherwise `false`.
  */
 declare function isExtractedSchema<TMetadata extends SchemaMetadata = SchemaMetadata>(input: unknown): input is ExtractedSchema<TMetadata>;
+/**
+ * Type guard to check if a given input is a {@link ObjectSchema} object. This function verifies that the input is a {@link Schema} object and that its `schema` property has either a `properties` property that is an object or an `optionalProperties` property that is an object (as per the structure of JTD schema objects). If these conditions are met, the function returns `true`, indicating that the input is a valid {@link ObjectSchema}; otherwise, it returns `false`.
+ *
+ * @param input - The input to check for being a {@link ObjectSchema}.
+ * @returns `true` if the input is a {@link ObjectSchema}, otherwise `false`.
+ */
+declare function isObjectSchema<TMetadata extends SchemaMetadata = SchemaMetadata>(input: unknown): input is ObjectSchema<TMetadata>;
 //#endregion
-export { isExtractedSchema, isJTDSchema, isSchema, isUntypedInput, isUntypedSchema };
+export { isExtractedSchema, isJTDSchema, isJTDSchemaObject, isObjectSchema, isSchema, isUntypedInput, isUntypedSchema };
 //# sourceMappingURL=type-checks.d.cts.map

package/dist/type-checks.d.cts.map

@@ -1 +1 @@
-{"version":3,"file":"type-checks.d.cts","names":[],"sources":["../src/type-checks.ts"],"mappings":";;;;;;;AAiCA;;;;iBAAgB,WAAA,mBAA8B,cAAA,GAAiB,cAAA,CAAA,CAC7D,KAAA,YACC,KAAA,IAAS,aAAA,CAAc,SAAA;;;;;;;iBAUV,eAAA,CAAgB,KAAA,YAAiB,KAAA,IAAS,MAAA;;;;;;;iBAwD1C,cAAA,CAAe,KAAA,YAAiB,KAAA,IAAS,WAAA;;;;;;;iBAsBzC,QAAA,mBAA2B,cAAA,GAAiB,cAAA,CAAA,CAC1D,KAAA,YACC,KAAA,IAAS,QAAA,CAAO,SAAA;;AAxBnB;;;;;iBA0CgB,iBAAA,mBACI,cAAA,GAAiB,cAAA,CAAA,CACnC,KAAA,YAAiB,KAAA,IAAS,eAAA,CAAgB,SAAA"}
+{"version":3,"file":"type-checks.d.cts","names":[],"sources":["../src/type-checks.ts"],"mappings":";;;;;;;AA2CA;;;;iBAAgB,iBAAA,mBACI,cAAA,GAAiB,cAAA,CAAA,CACnC,KAAA,YAAiB,KAAA,IAAS,mBAAA,CAAoB,SAAA;;;;;;;iBAchC,WAAA,mBAA8B,cAAA,GAAiB,cAAA,CAAA,CAC7D,KAAA,YACC,KAAA,IAAS,aAAA,CAAc,SAAA;;;;;;AAhB+B;iBAsCzC,eAAA,CAAgB,KAAA,YAAiB,KAAA,IAAS,MAAa;;;;;;;iBAwDvD,cAAA,CAAe,KAAA,YAAiB,KAAA,IAAS,WAAkB;;;;;;;iBAsB3D,QAAA,mBAA2B,cAAA,GAAiB,cAAA,CAAA,CAC1D,KAAA,YACC,KAAA,IAAS,QAAA,CAAO,SAAA;;;AAtGgB;AAsBnC;;;iBAkGgB,iBAAA,mBACI,cAAA,GAAiB,cAAA,CAAA,CACnC,KAAA,YAAiB,KAAA,IAAS,eAAA,CAAgB,SAAA;;;;;AApG2B;AAwDvE;iBA8DgB,cAAA,mBACI,cAAA,GAAiB,cAAA,CAAA,CACnC,KAAA,YAAiB,KAAA,IAAS,YAAA,CAAa,SAAA"}

package/dist/type-checks.d.mts

@@ -1,8 +1,15 @@
-import { ExtractedSchema, Schema as Schema$1, SchemaMetadata } from "./types.mjs";
+import { ExtractedSchema, JTDSchemaObjectType, ObjectSchema, Schema as Schema$1, SchemaMetadata } from "./types.mjs";
 import { InputObject, Schema } from "untyped";
 import { JTDSchemaType } from "ajv/dist/types/jtd-schema.js";
 
 //#region src/type-checks.d.ts
+/**
+ * Type guard to check if a given input is a [JSON Type Definition (JTD) schema object](https://tools.ietf.org/html/rfc8927). This function verifies that the input is a non-null object, contains a `jtd` property that is set to `true`, and has a `schema` property that is a JSON Schema (draft-07) object. If all these conditions are met, the function returns `true`, indicating that the input is a valid JTD schema; otherwise, it returns `false`.
+ *
+ * @param input - The input to check for being a [JTD schema](https://tools.ietf.org/html/rfc8927).
+ * @returns `true` if the input is a [JTD schema](https://tools.ietf.org/html/rfc8927), otherwise `false`.
+ */
+declare function isJTDSchemaObject<TMetadata extends SchemaMetadata = SchemaMetadata>(input: unknown): input is JTDSchemaObjectType<TMetadata>;
 /**
  * Type guard to check if a given input is a [JSON Type Definition (JTD) schema object](https://tools.ietf.org/html/rfc8927). This function verifies that the input is a non-null object, contains a `jtd` property that is set to `true`, and has a `schema` property that is a JSON Schema (draft-07) object. If all these conditions are met, the function returns `true`, indicating that the input is a valid JTD schema; otherwise, it returns `false`.
  *
@@ -38,6 +45,13 @@ declare function isSchema<TMetadata extends SchemaMetadata = SchemaMetadata>(inp
  * @returns `true` if the input is a {@link ExtractedSchema}, otherwise `false`.
  */
 declare function isExtractedSchema<TMetadata extends SchemaMetadata = SchemaMetadata>(input: unknown): input is ExtractedSchema<TMetadata>;
+/**
+ * Type guard to check if a given input is a {@link ObjectSchema} object. This function verifies that the input is a {@link Schema} object and that its `schema` property has either a `properties` property that is an object or an `optionalProperties` property that is an object (as per the structure of JTD schema objects). If these conditions are met, the function returns `true`, indicating that the input is a valid {@link ObjectSchema}; otherwise, it returns `false`.
+ *
+ * @param input - The input to check for being a {@link ObjectSchema}.
+ * @returns `true` if the input is a {@link ObjectSchema}, otherwise `false`.
+ */
+declare function isObjectSchema<TMetadata extends SchemaMetadata = SchemaMetadata>(input: unknown): input is ObjectSchema<TMetadata>;
 //#endregion
-export { isExtractedSchema, isJTDSchema, isSchema, isUntypedInput, isUntypedSchema };
+export { isExtractedSchema, isJTDSchema, isJTDSchemaObject, isObjectSchema, isSchema, isUntypedInput, isUntypedSchema };
 //# sourceMappingURL=type-checks.d.mts.map

package/dist/type-checks.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"type-checks.d.mts","names":[],"sources":["../src/type-checks.ts"],"mappings":";;;;;;;AAiCA;;;;iBAAgB,WAAA,mBAA8B,cAAA,GAAiB,cAAA,CAAA,CAC7D,KAAA,YACC,KAAA,IAAS,aAAA,CAAc,SAAA;;;;;;;iBAUV,eAAA,CAAgB,KAAA,YAAiB,KAAA,IAAS,MAAA;;;;;;;iBAwD1C,cAAA,CAAe,KAAA,YAAiB,KAAA,IAAS,WAAA;;;;;;;iBAsBzC,QAAA,mBAA2B,cAAA,GAAiB,cAAA,CAAA,CAC1D,KAAA,YACC,KAAA,IAAS,QAAA,CAAO,SAAA;;AAxBnB;;;;;iBA0CgB,iBAAA,mBACI,cAAA,GAAiB,cAAA,CAAA,CACnC,KAAA,YAAiB,KAAA,IAAS,eAAA,CAAgB,SAAA"}
+{"version":3,"file":"type-checks.d.mts","names":[],"sources":["../src/type-checks.ts"],"mappings":";;;;;;;AA2CA;;;;iBAAgB,iBAAA,mBACI,cAAA,GAAiB,cAAA,CAAA,CACnC,KAAA,YAAiB,KAAA,IAAS,mBAAA,CAAoB,SAAA;;;;;;;iBAchC,WAAA,mBAA8B,cAAA,GAAiB,cAAA,CAAA,CAC7D,KAAA,YACC,KAAA,IAAS,aAAA,CAAc,SAAA;;;;;;AAhB+B;iBAsCzC,eAAA,CAAgB,KAAA,YAAiB,KAAA,IAAS,MAAa;;;;;;;iBAwDvD,cAAA,CAAe,KAAA,YAAiB,KAAA,IAAS,WAAkB;;;;;;;iBAsB3D,QAAA,mBAA2B,cAAA,GAAiB,cAAA,CAAA,CAC1D,KAAA,YACC,KAAA,IAAS,QAAA,CAAO,SAAA;;;AAtGgB;AAsBnC;;;iBAkGgB,iBAAA,mBACI,cAAA,GAAiB,cAAA,CAAA,CACnC,KAAA,YAAiB,KAAA,IAAS,eAAA,CAAgB,SAAA;;;;;AApG2B;AAwDvE;iBA8DgB,cAAA,mBACI,cAAA,GAAiB,cAAA,CAAA,CACnC,KAAA,YAAiB,KAAA,IAAS,YAAA,CAAa,SAAA"}

package/dist/type-checks.mjs

@@ -1,5 +1,4 @@
-import { isFunction, isSetObject, isSetString } from "@stryke/type-checks";
-import { isJsonSchemaObjectType } from "@stryke/json/schema";
+import { isFunction, isObject, isSetObject, isSetString } from "@stryke/type-checks";
 
 //#region src/type-checks.ts
 /**
@@ -8,8 +7,17 @@ import { isJsonSchemaObjectType } from "@stryke/json/schema";
 * @param input - The input to check for being a [JTD schema](https://tools.ietf.org/html/rfc8927).
 * @returns `true` if the input is a [JTD schema](https://tools.ietf.org/html/rfc8927), otherwise `false`.
 */
+function isJTDSchemaObject(input) {
+	return isSetObject(input) && ("properties" in input && isObject(input.properties) || "optionalProperties" in input && isObject(input.optionalProperties));
+}
+/**
+* Type guard to check if a given input is a [JSON Type Definition (JTD) schema object](https://tools.ietf.org/html/rfc8927). This function verifies that the input is a non-null object, contains a `jtd` property that is set to `true`, and has a `schema` property that is a JSON Schema (draft-07) object. If all these conditions are met, the function returns `true`, indicating that the input is a valid JTD schema; otherwise, it returns `false`.
+*
+* @param input - The input to check for being a [JTD schema](https://tools.ietf.org/html/rfc8927).
+* @returns `true` if the input is a [JTD schema](https://tools.ietf.org/html/rfc8927), otherwise `false`.
+*/
 function isJTDSchema(input) {
-	return isJsonSchemaObjectType(input) && "jtd" in input && input.jtd === true;
+	return isSetObject(input) && (isJTDSchemaObject(input) || "elements" in input || "values" in input || "ref" in input || "type" in input || "enum" in input || "discriminator" in input && isSetString(input.discriminator) && "mapping" in input && isObject(input.mapping));
 }
 /**
 * Type guard to check if a given input is an [untyped](https://github.com/unjs/untyped) {@link UntypedSchema | Schema} object. This function verifies that the input is a non-null object whose optional metadata properties (`id`, `title`, `description`, `$schema`, `tsType`, `markdownType`, `type`, `required`, `tags`, `args`, `properties`, and `resolve`) - when present - match the shapes declared by `untyped`'s [`Schema`](https://github.com/unjs/untyped/blob/main/src/types.ts) interface.
@@ -65,7 +73,16 @@ function isSchema(input) {
 function isExtractedSchema(input) {
 	return isSchema(input) && "source" in input && isSetObject(input.source) && "schema" in input.source && isJTDSchema(input.source.schema) && "variant" in input.source && isSetString(input.source.variant);
 }
+/**
+* Type guard to check if a given input is a {@link ObjectSchema} object. This function verifies that the input is a {@link Schema} object and that its `schema` property has either a `properties` property that is an object or an `optionalProperties` property that is an object (as per the structure of JTD schema objects). If these conditions are met, the function returns `true`, indicating that the input is a valid {@link ObjectSchema}; otherwise, it returns `false`.
+*
+* @param input - The input to check for being a {@link ObjectSchema}.
+* @returns `true` if the input is a {@link ObjectSchema}, otherwise `false`.
+*/
+function isObjectSchema(input) {
+	return isSchema(input) && isJTDSchemaObject(input.schema);
+}
 
 //#endregion
-export { isExtractedSchema, isJTDSchema, isSchema, isUntypedInput, isUntypedSchema };
+export { isExtractedSchema, isJTDSchema, isJTDSchemaObject, isObjectSchema, isSchema, isUntypedInput, isUntypedSchema };
 //# sourceMappingURL=type-checks.mjs.map

package/dist/type-checks.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"type-checks.mjs","names":[],"sources":["../src/type-checks.ts"],"sourcesContent":["/* -------------------------------------------------------------------\n\n                   ⚡ Storm Software - Powerlines\n\n This code was released as part of the Powerlines project. Powerlines\n is maintained by Storm Software under the Apache-2.0 license, and is\n free for commercial and private use. For more information, please visit\n our licensing page at https://stormsoftware.com/licenses/projects/powerlines.\n\n Website:                  https://stormsoftware.com\n Repository:               https://github.com/storm-software/powerlines\n Documentation:            https://docs.stormsoftware.com/projects/powerlines\n Contact:                  https://stormsoftware.com/contact\n\n SPDX-License-Identifier:  Apache-2.0\n\n ------------------------------------------------------------------- */\n\nimport { isJsonSchemaObjectType } from \"@stryke/json/schema\";\nimport { isFunction, isSetObject, isSetString } from \"@stryke/type-checks\";\nimport { JTDSchemaType } from \"ajv/dist/types/jtd-schema\";\nimport {\n  InputObject as UntypedInputObject,\n  Schema as UntypedSchema\n} from \"untyped\";\nimport { ExtractedSchema, Schema, SchemaMetadata } from \"./types\";\n\n/**\n * Type guard to check if a given input is a [JSON Type Definition (JTD) schema object](https://tools.ietf.org/html/rfc8927). This function verifies that the input is a non-null object, contains a `jtd` property that is set to `true`, and has a `schema` property that is a JSON Schema (draft-07) object. If all these conditions are met, the function returns `true`, indicating that the input is a valid JTD schema; otherwise, it returns `false`.\n *\n * @param input - The input to check for being a [JTD schema](https://tools.ietf.org/html/rfc8927).\n * @returns `true` if the input is a [JTD schema](https://tools.ietf.org/html/rfc8927), otherwise `false`.\n */\nexport function isJTDSchema<TMetadata extends SchemaMetadata = SchemaMetadata>(\n  input: unknown\n): input is JTDSchemaType<TMetadata> {\n  return isJsonSchemaObjectType(input) && \"jtd\" in input && input.jtd === true;\n}\n\n/**\n * Type guard to check if a given input is an [untyped](https://github.com/unjs/untyped) {@link UntypedSchema | Schema} object. This function verifies that the input is a non-null object whose optional metadata properties (`id`, `title`, `description`, `$schema`, `tsType`, `markdownType`, `type`, `required`, `tags`, `args`, `properties`, and `resolve`) - when present - match the shapes declared by `untyped`'s [`Schema`](https://github.com/unjs/untyped/blob/main/src/types.ts) interface.\n *\n * @param input - The input to check for being an [untyped](https://github.com/unjs/untyped) schema.\n * @returns `true` if the input is an [untyped](https://github.com/unjs/untyped) schema, otherwise `false`.\n */\nexport function isUntypedSchema(input: unknown): input is UntypedSchema {\n  if (!isSetObject(input)) {\n    return false;\n  }\n\n  const schema = input as Record<string, unknown>;\n  if (\"id\" in schema && !isSetString(schema.id)) {\n    return false;\n  }\n  if (\"title\" in schema && !isSetString(schema.title)) {\n    return false;\n  }\n  if (\"description\" in schema && !isSetString(schema.description)) {\n    return false;\n  }\n  if (\"$schema\" in schema && !isSetString(schema.$schema)) {\n    return false;\n  }\n  if (\"tsType\" in schema && !isSetString(schema.tsType)) {\n    return false;\n  }\n  if (\"markdownType\" in schema && !isSetString(schema.markdownType)) {\n    return false;\n  }\n  if (\n    \"type\" in schema &&\n    !isSetString(schema.type) &&\n    !Array.isArray(schema.type)\n  ) {\n    return false;\n  }\n  if (\"required\" in schema && !Array.isArray(schema.required)) {\n    return false;\n  }\n  if (\"tags\" in schema && !Array.isArray(schema.tags)) {\n    return false;\n  }\n  if (\"args\" in schema && !Array.isArray(schema.args)) {\n    return false;\n  }\n  if (\"properties\" in schema && !isSetObject(schema.properties)) {\n    return false;\n  }\n  if (\"resolve\" in schema && !isFunction(schema.resolve)) {\n    return false;\n  }\n\n  return true;\n}\n\n/**\n * Type guard to check if a given input is an [untyped](https://github.com/unjs/untyped) {@link UntypedInputObject | InputObject}. This function verifies that the input is a non-null object and that any `untyped`-reserved `$`-prefixed properties have the expected shape: `$schema` (when present) must satisfy {@link isUntypedSchema} and `$resolve` (when present) must be a function. See `untyped`'s [`InputObject`](https://github.com/unjs/untyped/blob/main/src/types.ts) interface for the canonical definition.\n *\n * @param input - The input to check for being an [untyped](https://github.com/unjs/untyped) input object.\n * @returns `true` if the input is an [untyped](https://github.com/unjs/untyped) input object, otherwise `false`.\n */\nexport function isUntypedInput(input: unknown): input is UntypedInputObject {\n  if (!isSetObject(input)) {\n    return false;\n  }\n\n  const inputObject = input as Record<string, unknown>;\n  if (\"$schema\" in inputObject && !isUntypedSchema(inputObject.$schema)) {\n    return false;\n  }\n  if (\"$resolve\" in inputObject && !isFunction(inputObject.$resolve)) {\n    return false;\n  }\n\n  return true;\n}\n\n/**\n * Type guard to check if a given input is a {@link Schema} object. This function verifies that the input is a non-null object, contains a `schema` property that is a JSON Schema (draft-07) object, contains an `input` property that is a non-null object, and has a `variant` property that is one of the allowed schema variants (\"json-schema\", \"standard-schema\", \"zod3\", or \"reflection\"). If all these conditions are met, the function returns `true`, indicating that the input is a valid {@link Schema}; otherwise, it returns `false`.\n *\n * @param input - The input to check for being a {@link Schema}.\n * @returns `true` if the input is a {@link Schema}, otherwise `false`.\n */\nexport function isSchema<TMetadata extends SchemaMetadata = SchemaMetadata>(\n  input: unknown\n): input is Schema<TMetadata> {\n  return (\n    isSetObject(input) &&\n    \"schema\" in input &&\n    isJTDSchema(input.schema) &&\n    \"input\" in input &&\n    isSetObject(input.input) &&\n    \"variant\" in input &&\n    isSetString(input.variant)\n  );\n}\n\n/**\n * Type guard to check if a given input is a {@link ExtractedSchema} object. This function verifies that the input is a non-null object, contains a `schema` property that is a JSON Schema (draft-07) object, contains an `input` property that is a non-null object, and has a `variant` property that is one of the allowed schema variants (\"json-schema\", \"standard-schema\", \"zod3\", or \"reflection\"). If all these conditions are met, the function returns `true`, indicating that the input is a valid {@link ExtractedSchema}; otherwise, it returns `false`.\n *\n * @param input - The input to check for being a {@link ExtractedSchema}.\n * @returns `true` if the input is a {@link ExtractedSchema}, otherwise `false`.\n */\nexport function isExtractedSchema<\n  TMetadata extends SchemaMetadata = SchemaMetadata\n>(input: unknown): input is ExtractedSchema<TMetadata> {\n  return (\n    isSchema<TMetadata>(input) &&\n    \"source\" in input &&\n    isSetObject(input.source) &&\n    \"schema\" in input.source &&\n    isJTDSchema(input.source.schema) &&\n    \"variant\" in input.source &&\n    isSetString(input.source.variant)\n  );\n}\n"],"mappings":";;;;;;;;;;AAiCA,SAAgB,YACd,OACmC;AACnC,QAAO,uBAAuB,MAAM,IAAI,SAAS,SAAS,MAAM,QAAQ;;;;;;;;AAS1E,SAAgB,gBAAgB,OAAwC;AACtE,KAAI,CAAC,YAAY,MAAM,CACrB,QAAO;CAGT,MAAM,SAAS;AACf,KAAI,QAAQ,UAAU,CAAC,YAAY,OAAO,GAAG,CAC3C,QAAO;AAET,KAAI,WAAW,UAAU,CAAC,YAAY,OAAO,MAAM,CACjD,QAAO;AAET,KAAI,iBAAiB,UAAU,CAAC,YAAY,OAAO,YAAY,CAC7D,QAAO;AAET,KAAI,aAAa,UAAU,CAAC,YAAY,OAAO,QAAQ,CACrD,QAAO;AAET,KAAI,YAAY,UAAU,CAAC,YAAY,OAAO,OAAO,CACnD,QAAO;AAET,KAAI,kBAAkB,UAAU,CAAC,YAAY,OAAO,aAAa,CAC/D,QAAO;AAET,KACE,UAAU,UACV,CAAC,YAAY,OAAO,KAAK,IACzB,CAAC,MAAM,QAAQ,OAAO,KAAK,CAE3B,QAAO;AAET,KAAI,cAAc,UAAU,CAAC,MAAM,QAAQ,OAAO,SAAS,CACzD,QAAO;AAET,KAAI,UAAU,UAAU,CAAC,MAAM,QAAQ,OAAO,KAAK,CACjD,QAAO;AAET,KAAI,UAAU,UAAU,CAAC,MAAM,QAAQ,OAAO,KAAK,CACjD,QAAO;AAET,KAAI,gBAAgB,UAAU,CAAC,YAAY,OAAO,WAAW,CAC3D,QAAO;AAET,KAAI,aAAa,UAAU,CAAC,WAAW,OAAO,QAAQ,CACpD,QAAO;AAGT,QAAO;;;;;;;;AAST,SAAgB,eAAe,OAA6C;AAC1E,KAAI,CAAC,YAAY,MAAM,CACrB,QAAO;CAGT,MAAM,cAAc;AACpB,KAAI,aAAa,eAAe,CAAC,gBAAgB,YAAY,QAAQ,CACnE,QAAO;AAET,KAAI,cAAc,eAAe,CAAC,WAAW,YAAY,SAAS,CAChE,QAAO;AAGT,QAAO;;;;;;;;AAST,SAAgB,SACd,OAC4B;AAC5B,QACE,YAAY,MAAM,IAClB,YAAY,SACZ,YAAY,MAAM,OAAO,IACzB,WAAW,SACX,YAAY,MAAM,MAAM,IACxB,aAAa,SACb,YAAY,MAAM,QAAQ;;;;;;;;AAU9B,SAAgB,kBAEd,OAAqD;AACrD,QACE,SAAoB,MAAM,IAC1B,YAAY,SACZ,YAAY,MAAM,OAAO,IACzB,YAAY,MAAM,UAClB,YAAY,MAAM,OAAO,OAAO,IAChC,aAAa,MAAM,UACnB,YAAY,MAAM,OAAO,QAAQ"}
+{"version":3,"file":"type-checks.mjs","names":[],"sources":["../src/type-checks.ts"],"sourcesContent":["/* -------------------------------------------------------------------\n\n                   ⚡ Storm Software - Powerlines\n\n This code was released as part of the Powerlines project. Powerlines\n is maintained by Storm Software under the Apache-2.0 license, and is\n free for commercial and private use. For more information, please visit\n our licensing page at https://stormsoftware.com/licenses/projects/powerlines.\n\n Website:                  https://stormsoftware.com\n Repository:               https://github.com/storm-software/powerlines\n Documentation:            https://docs.stormsoftware.com/projects/powerlines\n Contact:                  https://stormsoftware.com/contact\n\n SPDX-License-Identifier:  Apache-2.0\n\n ------------------------------------------------------------------- */\n\nimport {\n  isFunction,\n  isObject,\n  isSetObject,\n  isSetString\n} from \"@stryke/type-checks\";\nimport { JTDSchemaType } from \"ajv/dist/types/jtd-schema\";\nimport {\n  InputObject as UntypedInputObject,\n  Schema as UntypedSchema\n} from \"untyped\";\nimport {\n  ExtractedSchema,\n  JTDSchemaObjectType,\n  ObjectSchema,\n  Schema,\n  SchemaMetadata\n} from \"./types\";\n\n/**\n * Type guard to check if a given input is a [JSON Type Definition (JTD) schema object](https://tools.ietf.org/html/rfc8927). This function verifies that the input is a non-null object, contains a `jtd` property that is set to `true`, and has a `schema` property that is a JSON Schema (draft-07) object. If all these conditions are met, the function returns `true`, indicating that the input is a valid JTD schema; otherwise, it returns `false`.\n *\n * @param input - The input to check for being a [JTD schema](https://tools.ietf.org/html/rfc8927).\n * @returns `true` if the input is a [JTD schema](https://tools.ietf.org/html/rfc8927), otherwise `false`.\n */\nexport function isJTDSchemaObject<\n  TMetadata extends SchemaMetadata = SchemaMetadata\n>(input: unknown): input is JTDSchemaObjectType<TMetadata> {\n  return (\n    isSetObject(input) &&\n    ((\"properties\" in input && isObject(input.properties)) ||\n      (\"optionalProperties\" in input && isObject(input.optionalProperties)))\n  );\n}\n\n/**\n * Type guard to check if a given input is a [JSON Type Definition (JTD) schema object](https://tools.ietf.org/html/rfc8927). This function verifies that the input is a non-null object, contains a `jtd` property that is set to `true`, and has a `schema` property that is a JSON Schema (draft-07) object. If all these conditions are met, the function returns `true`, indicating that the input is a valid JTD schema; otherwise, it returns `false`.\n *\n * @param input - The input to check for being a [JTD schema](https://tools.ietf.org/html/rfc8927).\n * @returns `true` if the input is a [JTD schema](https://tools.ietf.org/html/rfc8927), otherwise `false`.\n */\nexport function isJTDSchema<TMetadata extends SchemaMetadata = SchemaMetadata>(\n  input: unknown\n): input is JTDSchemaType<TMetadata> {\n  return (\n    isSetObject(input) &&\n    (isJTDSchemaObject<TMetadata>(input) ||\n      \"elements\" in input ||\n      \"values\" in input ||\n      \"ref\" in input ||\n      \"type\" in input ||\n      \"enum\" in input ||\n      (\"discriminator\" in input &&\n        isSetString(input.discriminator) &&\n        \"mapping\" in input &&\n        isObject(input.mapping)))\n  );\n}\n\n/**\n * Type guard to check if a given input is an [untyped](https://github.com/unjs/untyped) {@link UntypedSchema | Schema} object. This function verifies that the input is a non-null object whose optional metadata properties (`id`, `title`, `description`, `$schema`, `tsType`, `markdownType`, `type`, `required`, `tags`, `args`, `properties`, and `resolve`) - when present - match the shapes declared by `untyped`'s [`Schema`](https://github.com/unjs/untyped/blob/main/src/types.ts) interface.\n *\n * @param input - The input to check for being an [untyped](https://github.com/unjs/untyped) schema.\n * @returns `true` if the input is an [untyped](https://github.com/unjs/untyped) schema, otherwise `false`.\n */\nexport function isUntypedSchema(input: unknown): input is UntypedSchema {\n  if (!isSetObject(input)) {\n    return false;\n  }\n\n  const schema = input as Record<string, unknown>;\n  if (\"id\" in schema && !isSetString(schema.id)) {\n    return false;\n  }\n  if (\"title\" in schema && !isSetString(schema.title)) {\n    return false;\n  }\n  if (\"description\" in schema && !isSetString(schema.description)) {\n    return false;\n  }\n  if (\"$schema\" in schema && !isSetString(schema.$schema)) {\n    return false;\n  }\n  if (\"tsType\" in schema && !isSetString(schema.tsType)) {\n    return false;\n  }\n  if (\"markdownType\" in schema && !isSetString(schema.markdownType)) {\n    return false;\n  }\n  if (\n    \"type\" in schema &&\n    !isSetString(schema.type) &&\n    !Array.isArray(schema.type)\n  ) {\n    return false;\n  }\n  if (\"required\" in schema && !Array.isArray(schema.required)) {\n    return false;\n  }\n  if (\"tags\" in schema && !Array.isArray(schema.tags)) {\n    return false;\n  }\n  if (\"args\" in schema && !Array.isArray(schema.args)) {\n    return false;\n  }\n  if (\"properties\" in schema && !isSetObject(schema.properties)) {\n    return false;\n  }\n  if (\"resolve\" in schema && !isFunction(schema.resolve)) {\n    return false;\n  }\n\n  return true;\n}\n\n/**\n * Type guard to check if a given input is an [untyped](https://github.com/unjs/untyped) {@link UntypedInputObject | InputObject}. This function verifies that the input is a non-null object and that any `untyped`-reserved `$`-prefixed properties have the expected shape: `$schema` (when present) must satisfy {@link isUntypedSchema} and `$resolve` (when present) must be a function. See `untyped`'s [`InputObject`](https://github.com/unjs/untyped/blob/main/src/types.ts) interface for the canonical definition.\n *\n * @param input - The input to check for being an [untyped](https://github.com/unjs/untyped) input object.\n * @returns `true` if the input is an [untyped](https://github.com/unjs/untyped) input object, otherwise `false`.\n */\nexport function isUntypedInput(input: unknown): input is UntypedInputObject {\n  if (!isSetObject(input)) {\n    return false;\n  }\n\n  const inputObject = input as Record<string, unknown>;\n  if (\"$schema\" in inputObject && !isUntypedSchema(inputObject.$schema)) {\n    return false;\n  }\n  if (\"$resolve\" in inputObject && !isFunction(inputObject.$resolve)) {\n    return false;\n  }\n\n  return true;\n}\n\n/**\n * Type guard to check if a given input is a {@link Schema} object. This function verifies that the input is a non-null object, contains a `schema` property that is a JSON Schema (draft-07) object, contains an `input` property that is a non-null object, and has a `variant` property that is one of the allowed schema variants (\"json-schema\", \"standard-schema\", \"zod3\", or \"reflection\"). If all these conditions are met, the function returns `true`, indicating that the input is a valid {@link Schema}; otherwise, it returns `false`.\n *\n * @param input - The input to check for being a {@link Schema}.\n * @returns `true` if the input is a {@link Schema}, otherwise `false`.\n */\nexport function isSchema<TMetadata extends SchemaMetadata = SchemaMetadata>(\n  input: unknown\n): input is Schema<TMetadata> {\n  return (\n    isSetObject(input) &&\n    \"schema\" in input &&\n    isJTDSchema(input.schema) &&\n    \"input\" in input &&\n    isSetObject(input.input) &&\n    \"variant\" in input &&\n    isSetString(input.variant)\n  );\n}\n\n/**\n * Type guard to check if a given input is a {@link ExtractedSchema} object. This function verifies that the input is a non-null object, contains a `schema` property that is a JSON Schema (draft-07) object, contains an `input` property that is a non-null object, and has a `variant` property that is one of the allowed schema variants (\"json-schema\", \"standard-schema\", \"zod3\", or \"reflection\"). If all these conditions are met, the function returns `true`, indicating that the input is a valid {@link ExtractedSchema}; otherwise, it returns `false`.\n *\n * @param input - The input to check for being a {@link ExtractedSchema}.\n * @returns `true` if the input is a {@link ExtractedSchema}, otherwise `false`.\n */\nexport function isExtractedSchema<\n  TMetadata extends SchemaMetadata = SchemaMetadata\n>(input: unknown): input is ExtractedSchema<TMetadata> {\n  return (\n    isSchema<TMetadata>(input) &&\n    \"source\" in input &&\n    isSetObject(input.source) &&\n    \"schema\" in input.source &&\n    isJTDSchema(input.source.schema) &&\n    \"variant\" in input.source &&\n    isSetString(input.source.variant)\n  );\n}\n\n/**\n * Type guard to check if a given input is a {@link ObjectSchema} object. This function verifies that the input is a {@link Schema} object and that its `schema` property has either a `properties` property that is an object or an `optionalProperties` property that is an object (as per the structure of JTD schema objects). If these conditions are met, the function returns `true`, indicating that the input is a valid {@link ObjectSchema}; otherwise, it returns `false`.\n *\n * @param input - The input to check for being a {@link ObjectSchema}.\n * @returns `true` if the input is a {@link ObjectSchema}, otherwise `false`.\n */\nexport function isObjectSchema<\n  TMetadata extends SchemaMetadata = SchemaMetadata\n>(input: unknown): input is ObjectSchema<TMetadata> {\n  return (\n    isSchema<TMetadata>(input) && isJTDSchemaObject<TMetadata>(input.schema)\n  );\n}\n"],"mappings":";;;;;;;;;AA2CA,SAAgB,kBAEd,OAAyD;CACzD,OACE,YAAY,KAAK,MACf,gBAAgB,SAAS,SAAS,MAAM,UAAU,KACjD,wBAAwB,SAAS,SAAS,MAAM,kBAAkB;AAEzE;;;;;;;AAQA,SAAgB,YACd,OACmC;CACnC,OACE,YAAY,KAAK,MAChB,kBAA6B,KAAK,KACjC,cAAc,SACd,YAAY,SACZ,SAAS,SACT,UAAU,SACV,UAAU,SACT,mBAAmB,SAClB,YAAY,MAAM,aAAa,KAC/B,aAAa,SACb,SAAS,MAAM,OAAO;AAE9B;;;;;;;AAQA,SAAgB,gBAAgB,OAAwC;CACtE,IAAI,CAAC,YAAY,KAAK,GACpB,OAAO;CAGT,MAAM,SAAS;CACf,IAAI,QAAQ,UAAU,CAAC,YAAY,OAAO,EAAE,GAC1C,OAAO;CAET,IAAI,WAAW,UAAU,CAAC,YAAY,OAAO,KAAK,GAChD,OAAO;CAET,IAAI,iBAAiB,UAAU,CAAC,YAAY,OAAO,WAAW,GAC5D,OAAO;CAET,IAAI,aAAa,UAAU,CAAC,YAAY,OAAO,OAAO,GACpD,OAAO;CAET,IAAI,YAAY,UAAU,CAAC,YAAY,OAAO,MAAM,GAClD,OAAO;CAET,IAAI,kBAAkB,UAAU,CAAC,YAAY,OAAO,YAAY,GAC9D,OAAO;CAET,IACE,UAAU,UACV,CAAC,YAAY,OAAO,IAAI,KACxB,CAAC,MAAM,QAAQ,OAAO,IAAI,GAE1B,OAAO;CAET,IAAI,cAAc,UAAU,CAAC,MAAM,QAAQ,OAAO,QAAQ,GACxD,OAAO;CAET,IAAI,UAAU,UAAU,CAAC,MAAM,QAAQ,OAAO,IAAI,GAChD,OAAO;CAET,IAAI,UAAU,UAAU,CAAC,MAAM,QAAQ,OAAO,IAAI,GAChD,OAAO;CAET,IAAI,gBAAgB,UAAU,CAAC,YAAY,OAAO,UAAU,GAC1D,OAAO;CAET,IAAI,aAAa,UAAU,CAAC,WAAW,OAAO,OAAO,GACnD,OAAO;CAGT,OAAO;AACT;;;;;;;AAQA,SAAgB,eAAe,OAA6C;CAC1E,IAAI,CAAC,YAAY,KAAK,GACpB,OAAO;CAGT,MAAM,cAAc;CACpB,IAAI,aAAa,eAAe,CAAC,gBAAgB,YAAY,OAAO,GAClE,OAAO;CAET,IAAI,cAAc,eAAe,CAAC,WAAW,YAAY,QAAQ,GAC/D,OAAO;CAGT,OAAO;AACT;;;;;;;AAQA,SAAgB,SACd,OAC4B;CAC5B,OACE,YAAY,KAAK,KACjB,YAAY,SACZ,YAAY,MAAM,MAAM,KACxB,WAAW,SACX,YAAY,MAAM,KAAK,KACvB,aAAa,SACb,YAAY,MAAM,OAAO;AAE7B;;;;;;;AAQA,SAAgB,kBAEd,OAAqD;CACrD,OACE,SAAoB,KAAK,KACzB,YAAY,SACZ,YAAY,MAAM,MAAM,KACxB,YAAY,MAAM,UAClB,YAAY,MAAM,OAAO,MAAM,KAC/B,aAAa,MAAM,UACnB,YAAY,MAAM,OAAO,OAAO;AAEpC;;;;;;;AAQA,SAAgB,eAEd,OAAkD;CAClD,OACE,SAAoB,KAAK,KAAK,kBAA6B,MAAM,MAAM;AAE3E"}

package/dist/types.d.cts

@@ -51,6 +51,10 @@ interface JsonSchemaLike {
   [key: string]: unknown;
 }
 interface SchemaMetadata {
+  /**
+   * A name for the schema, which can be used by documentation tools or other libraries that support this feature to provide a human-readable name or description for the schema. The presence of this property does not affect the validation behavior of the schema itself, but it can provide additional context or information about the schema when used in conjunction with compatible tools.
+   */
+  name?: string;
   /**
    * A title for the schema, which can be used by documentation tools or other libraries that support this feature to provide a human-readable name or description for the schema. The presence of this property does not affect the validation behavior of the schema itself, but it can provide additional context or information about the schema when used in conjunction with compatible tools.
    */
@@ -68,9 +72,20 @@ interface SchemaMetadata {
    */
   examples?: unknown[];
   /**
-   * A table name for the schema, which can be used by documentation tools or other libraries that support this feature to provide a human-readable name or description for the schema. The presence of this property does not affect the validation behavior of the schema itself, but it can provide additional context or information about the schema when used in conjunction with compatible tools.
+   * An array of strings indicating groups that the schema belongs to. This property can be used for organizational or categorization purposes in documentation tools or other libraries that support this feature. The presence of this property does not affect the validation behavior of the schema itself, but it can provide additional context or information about the schema when used in conjunction with compatible tools.
+   *
+   * @remarks
+   * The concept of "groups" is not a standard feature of JSON Schema or JSON Type Definition, but it can be a useful convention for organizing schemas in larger projects or for providing additional metadata that can be leveraged by documentation generators or other tools. The specific meaning and usage of groups would depend on the conventions established within the project or the tools being used.
+   */
+  groups?: string[];
+  /**
+   * A visibility level for the schema, which can be used by documentation tools or other libraries that support this feature to determine how the schema should be presented or accessed. The presence of this property does not affect the validation behavior of the schema itself, but it can provide additional context or information about the schema when used in conjunction with compatible tools.
    */
-  table?: string;
+  visibility?: "public" | "protected" | "private";
+  /**
+   * A resource identifier for the schema, which can be used by documentation tools or other libraries that support this feature to provide a human-readable name or description for the schema. The presence of this property does not affect the validation behavior of the schema itself, but it can provide additional context or information about the schema when used in conjunction with compatible tools.
+   */
+  resourceId?: string;
   /**
    * An indicator specifying if the field should be marked as hidden or not.
    */
@@ -107,6 +122,15 @@ interface SchemaMetadata {
   union?: JsonSchemaLike[];
   [key: string]: unknown | undefined;
 }
+type JTDSchemaObjectForm<TMetadata extends Partial<SchemaMetadata> = Partial<SchemaMetadata>> = {
+  properties: Record<string, JTDSchemaType<TMetadata>>;
+  optionalProperties?: Record<string, JTDSchemaType<TMetadata>>;
+  additionalProperties?: boolean;
+} | {
+  properties?: Record<string, JTDSchemaType<TMetadata>>;
+  optionalProperties: Record<string, JTDSchemaType<TMetadata>>;
+  additionalProperties?: boolean;
+};
 type JTDSchemaType<TMetadata extends Partial<SchemaMetadata> = Partial<SchemaMetadata>> = ({
   ref: string;
 } | {
@@ -117,15 +141,7 @@ type JTDSchemaType<TMetadata extends Partial<SchemaMetadata> = Partial<SchemaMet
   elements: JTDSchemaType<TMetadata>;
 } | {
   values: JTDSchemaType<TMetadata>;
-} | {
-  properties: Record<string, JTDSchemaType<TMetadata>>;
-  optionalProperties?: Record<string, JTDSchemaType<TMetadata>>;
-  additionalProperties?: boolean;
-} | {
-  properties?: Record<string, JTDSchemaType<TMetadata>>;
-  optionalProperties: Record<string, JTDSchemaType<TMetadata>>;
-  additionalProperties?: boolean;
-} | {
+} | JTDSchemaObjectForm<TMetadata> | {
   discriminator: string;
   mapping: Record<string, JTDSchemaType<TMetadata>>;
 } | {}) & {
@@ -133,16 +149,30 @@ type JTDSchemaType<TMetadata extends Partial<SchemaMetadata> = Partial<SchemaMet
   metadata?: TMetadata;
   definitions?: Record<string, JTDSchemaType<TMetadata>>;
 };
+type JTDSchemaObjectType<TMetadata extends Partial<SchemaMetadata> = Partial<SchemaMetadata>> = JTDSchemaObjectForm<TMetadata> & {
+  nullable?: boolean;
+  metadata?: TMetadata;
+  definitions?: Record<string, JTDSchemaType<TMetadata>>;
+};
 type SchemaSourceVariant = "standard-schema" | "jtd-schema" | "json-schema" | "zod3" | "untyped" | "reflection";
 type SchemaInputVariant = SchemaSourceVariant | "type-definition";
 type SchemaSourceInput<TMetadata extends Partial<SchemaMetadata> = Partial<SchemaMetadata>> = StandardJSONSchemaV1 | JTDSchemaType<TMetadata> | JsonSchemaType | z3.ZodTypeAny | UntypedInputObject | UntypedSchema | Type;
 type TypeDefinitionReference = TypeDefinition | string;
 type SchemaInput = SchemaSourceInput | Schema | TypeDefinitionReference;
+/**
+ * A type representing a schema that has been extracted from a source input. This type includes a `hash` property, which is a string that uniquely identifies the schema based on its content and source; a `variant` property, which indicates the format or type of the original input from which the schema was extracted (e.g., "jtd-schema", "json-schema", "zod3", "untyped", "reflection", or "type-definition"); and a `schema` property, which is the extracted schema itself represented as a JSON Type Definition (JTD) schema object with optional metadata. This type can be used to represent schemas in a standardized format regardless of their original source or representation.
+ */
 interface Schema<TMetadata extends Partial<SchemaMetadata> = Partial<SchemaMetadata>> {
   hash: string;
   variant: SchemaInputVariant;
   schema: JTDSchemaType<TMetadata>;
 }
+/**
+ * A type representing a JSON Type Definition (JTD) schema that specifically has an object form (i.e., it has either a `properties` property that is an object or an `optionalProperties` property that is an object, as per the structure of JTD schema objects). This type extends the base {@link Schema} type and narrows the `schema` property to be a `JTDSchemaObjectType`, which ensures that any schema of this type will have the structure of a JTD object schema.
+ */
+interface ObjectSchema<TMetadata extends Partial<SchemaMetadata> = Partial<SchemaMetadata>> extends Schema<TMetadata> {
+  schema: JTDSchemaObjectType<TMetadata>;
+}
 interface BaseSchemaSource {
   hash: string;
   variant: SchemaSourceVariant;
@@ -177,5 +207,5 @@ interface ExtractedSchema<TMetadata extends Partial<SchemaMetadata> = Partial<Sc
   source: SchemaSource;
 }
 //#endregion
-export { BaseSchemaSource, ExtractedSchema, JTDNumberType, JTDSchemaSchemaSource, JTDSchemaType, JTDStringType, JTDType, JsonSchemaLike, JsonSchemaSchemaSource, ReflectionSchemaSource, Schema, SchemaInput, SchemaInputVariant, SchemaMetadata, SchemaSource, SchemaSourceInput, SchemaSourceVariant, StandardSchemaSchemaSource, TypeDefinitionReference, UntypedInputObject, UntypedSchema, UntypedSchemaSource, Zod3SchemaSource };
+export { BaseSchemaSource, ExtractedSchema, JTDNumberType, JTDSchemaObjectForm, JTDSchemaObjectType, JTDSchemaSchemaSource, JTDSchemaType, JTDStringType, JTDType, JsonSchemaLike, JsonSchemaSchemaSource, ObjectSchema, ReflectionSchemaSource, Schema, SchemaInput, SchemaInputVariant, SchemaMetadata, SchemaSource, SchemaSourceInput, SchemaSourceVariant, StandardSchemaSchemaSource, TypeDefinitionReference, UntypedInputObject, UntypedSchema, UntypedSchemaSource, Zod3SchemaSource };
 //# sourceMappingURL=types.d.cts.map

package/dist/types.d.cts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.cts","names":[],"sources":["../src/types.ts"],"mappings":";;;;;;;;KAyBY,kBAAA,GAAqB,WAAA;AAAA,KACrB,aAAA,GAAgB,QAAA;AAD5B;;;AAAA,KAMY,aAAA;;AALZ;;KAkBY,aAAA;;;AAbZ;KAkBY,OAAA,GAAU,aAAA,GAAgB,aAAA;AAAA,UAErB,cAAA;EACf,IAAA;EACA,MAAA;EACA,IAAA;EACA,KAAA;EACA,KAAA,GAAQ,cAAA,GAAiB,cAAA;EACzB,UAAA,GAAa,MAAA,SAAe,cAAA;EAC5B,iBAAA,GAAoB,MAAA,SAAe,cAAA;EACnC,oBAAA,aAAiC,cAAA;EACjC,QAAA;EACA,KAAA,GAAQ,cAAA;EACR,KAAA,GAAQ,cAAA;EACR,KAAA,GAAQ,cAAA;EACR,IAAA;EACA,WAAA;EACA,KAAA;EACA,OAAA;EACA,QAAA;EACA,OAAA;EACA,OAAA;EACA,gBAAA;EACA,gBAAA;EACA,QAAA;EACA,WAAA,GAAc,MAAA,SAAe,cAAA;EAC7B,KAAA,GAAQ,MAAA,SAAe,cAAA;EACvB,aAAA;IAAkB,YAAA;EAAA;EAAA,CACjB,GAAA;AAAA;AAAA,UAGc,cAAA;EALD;;;EASd,KAAA;EA7BA;;;EAkCA,WAAA;EAhCA;;;EAqCA,OAAA;EApCoB;;;EAyCpB,QAAA;EAvCA;;;EA4CA,KAAA;EA1CQ;;;EA+CR,QAAA;EA5CA;;;EAiDA,SAAA;EA7CA;;;;;EAoDA,UAAA;EA/Cc;;;EAoDd,SAAA;EAnDuB;;;EAwDvB,UAAA;EAtDY;;AAGd;EAwDE,YAAA;;;;EAKA,KAAA;EA/CA;;;EAoDA,KAAA,GAAQ,cAAA;EAAA,CAEP,GAAA;AAAA;AAAA,KAGS,aAAA,mBACQ,OAAA,CAAQ,cAAA,IAAkB,OAAA,CAAQ,cAAA;EAGhD,GAAA;AAAA;EAGA,IAAA,EAAM,OAAA;AAAA;EAGN,IAAA;AAAA;EAGA,QAAA,EAAU,aAAA,CAAc,SAAA;AAAA;EAGxB,MAAA,EAAQ,aAAA,CAAc,SAAA;AAAA;EAGtB,UAAA,EAAY,MAAA,SAAe,aAAA,CAAc,SAAA;EACzC,kBAAA,GAAqB,MAAA,SAAe,aAAA,CAAc,SAAA;EAClD,oBAAA;AAAA;EAGA,UAAA,GAAa,MAAA,SAAe,aAAA,CAAc,SAAA;EAC1C,kBAAA,EAAoB,MAAA,SAAe,aAAA,CAAc,SAAA;EACjD,oBAAA;AAAA;EAGA,aAAA;EACA,OAAA,EAAS,MAAA,SAAe,aAAA,CAAc,SAAA;AAAA;EAK1C,QAAA;EACA,QAAA,GAAW,SAAA;EACX,WAAA,GAAc,MAAA,SAAe,aAAA,CAAc,SAAA;AAAA;AAAA,KAGjC,mBAAA;AAAA,KAQA,kBAAA,GAAqB,mBAAA;AAAA,KAErB,iBAAA,mBACQ,OAAA,CAAQ,cAAA,IAAkB,OAAA,CAAQ,cAAA,KAElD,oBAAA,GACA,aAAA,CAAc,SAAA,IACd,cAAA,GACA,EAAA,CAAG,UAAA,GACH,kBAAA,GACA,aAAA,GACA,IAAA;AAAA,KAEQ,uBAAA,GAA0B,cAAA;AAAA,KAE1B,WAAA,GAAc,iBAAA,GAAoB,MAAA,GAAS,uBAAA;AAAA,UAEtC,MAAA,mBACG,OAAA,CAAQ,cAAA,IAAkB,OAAA,CAAQ,cAAA;EAEpD,IAAA;EACA,OAAA,EAAS,kBAAA;EACT,MAAA,EAAQ,aAAA,CAAc,SAAA;AAAA;AAAA,UAGP,gBAAA;EACf,IAAA;EACA,OAAA,EAAS,mBAAA;EACT,MAAA,EAAQ,iBAAA;AAAA;AAAA,UAGO,qBAAA,mBACG,OAAA,CAAQ,cAAA,IAAkB,OAAA,CAAQ,cAAA,WAC5C,gBAAA;EACR,OAAA;EACA,MAAA,EAAQ,aAAA,CAAc,SAAA;AAAA;AAAA,UAGP,sBAAA,SAA+B,gBAAA;EAC9C,OAAA;EACA,MAAA,EAAQ,cAAA;AAAA;AAAA,UAGO,0BAAA,SAAmC,gBAAA;EAClD,OAAA;EACA,MAAA,EAAQ,oBAAA;AAAA;AAAA,UAGO,gBAAA,SAAyB,gBAAA;EACxC,OAAA;EACA,MAAA,EAAQ,EAAA,CAAG,UAAA;AAAA;AAAA,UAGI,sBAAA,SAA+B,gBAAA;EAC9C,OAAA;EACA,MAAA,EAAQ,IAAA;AAAA;AAAA,UAGO,mBAAA,SAA4B,gBAAA;EAC3C,OAAA;EACA,MAAA,EAAQ,kBAAA,GAAqB,aAAA;AAAA;AAAA,KAGnB,YAAA,GACR,sBAAA,GACA,qBAAA,GACA,0BAAA,GACA,gBAAA,GACA,mBAAA,GACA,sBAAA;AAAA,UAEa,eAAA,mBACG,OAAA,CAAQ,cAAA,IAAkB,OAAA,CAAQ,cAAA,WAC5C,MAAA,CAAO,SAAA;EACf,MAAA,EAAQ,YAAA;AAAA"}
+{"version":3,"file":"types.d.cts","names":[],"sources":["../src/types.ts"],"mappings":";;;;;;;;KAyBY,kBAAA,GAAqB,WAAW;AAAA,KAChC,aAAA,GAAgB,QAAO;AADnC;;;AAAA,KAMY,aAAA;AANgC;AAC5C;;AAD4C,KAmBhC,aAAA;;AAlBuB;AAKnC;KAkBY,OAAA,GAAU,aAAA,GAAgB,aAAa;AAAA,UAElC,cAAA;EACf,IAAA;EACA,MAAA;EACA,IAAA;EACA,KAAA;EACA,KAAA,GAAQ,cAAA,GAAiB,cAAA;EACzB,UAAA,GAAa,MAAA,SAAe,cAAA;EAC5B,iBAAA,GAAoB,MAAA,SAAe,cAAA;EACnC,oBAAA,aAAiC,cAAA;EACjC,QAAA;EACA,KAAA,GAAQ,cAAA;EACR,KAAA,GAAQ,cAAA;EACR,KAAA,GAAQ,cAAA;EACR,IAAA;EACA,WAAA;EACA,KAAA;EACA,OAAA;EACA,QAAA;EACA,OAAA;EACA,OAAA;EACA,gBAAA;EACA,gBAAA;EACA,QAAA;EACA,WAAA,GAAc,MAAA,SAAe,cAAA;EAC7B,KAAA,GAAQ,MAAA,SAAe,cAAA;EACvB,aAAA;IAAkB,YAAA;EAAA;EAAA,CACjB,GAAA;AAAA;AAAA,UAGc,cAAA;EALD;;;EASd,IAAA;EA7BA;;;EAkCA,KAAA;EAhCA;;;EAqCA,WAAA;EApCoB;;;EAyCpB,OAAA;EAvCA;;;EA4CA,QAAA;EA1CQ;;;;;;EAkDR,MAAA;EA5CA;;;EAiDA,UAAA;EA7CA;;;EAkDA,UAAA;EAhD6B;;;EAqD7B,QAAA;EAnDA;;;EAwDA,SAAA;EAvDY;AAGd;;;;EA2DE,UAAA;EAlDA;;;EAuDA,SAAA;EAhCA;;;EAqCA,UAAA;EAjBA;;;EAsBA,YAAA;EAAA;;;EAKA,KAAA;EAOC;;AAAW;EAFZ,KAAA,GAAQ,cAAc;EAAA,CAErB,GAAA;AAAA;AAAA,KAGS,mBAAA,mBACQ,OAAA,CAAQ,cAAA,IAAkB,OAAA,CAAQ,cAAA;EAGhD,UAAA,EAAY,MAAA,SAAe,aAAA,CAAc,SAAA;EACzC,kBAAA,GAAqB,MAAA,SAAe,aAAA,CAAc,SAAA;EAClD,oBAAA;AAAA;EAGA,UAAA,GAAa,MAAA,SAAe,aAAA,CAAc,SAAA;EAC1C,kBAAA,EAAoB,MAAA,SAAe,aAAA,CAAc,SAAA;EACjD,oBAAA;AAAA;AAAA,KAGM,aAAA,mBACQ,OAAA,CAAQ,cAAA,IAAkB,OAAA,CAAQ,cAAA;EAGhD,GAAA;AAAA;EAGA,IAAA,EAAM,OAAA;AAAA;EAGN,IAAA;AAAA;EAGA,QAAA,EAAU,aAAA,CAAc,SAAA;AAAA;EAGxB,MAAA,EAAQ,aAAA,CAAc,SAAA;AAAA,IAExB,mBAAA,CAAoB,SAAA;EAElB,aAAA;EACA,OAAA,EAAS,MAAA,SAAe,aAAA,CAAc,SAAA;AAAA;EAK1C,QAAA;EACA,QAAA,GAAW,SAAA;EACX,WAAA,GAAc,MAAA,SAAe,aAAA,CAAc,SAAA;AAAA;AAAA,KAGjC,mBAAA,mBACQ,OAAA,CAAQ,cAAA,IAAkB,OAAA,CAAQ,cAAA,KAClD,mBAAA,CAAoB,SAAA;EACtB,QAAA;EACA,QAAA,GAAW,SAAA;EACX,WAAA,GAAc,MAAA,SAAe,aAAA,CAAc,SAAA;AAAA;AAAA,KAGjC,mBAAA;AAAA,KAQA,kBAAA,GAAqB,mBAAmB;AAAA,KAExC,iBAAA,mBACQ,OAAA,CAAQ,cAAA,IAAkB,OAAA,CAAQ,cAAA,KAElD,oBAAA,GACA,aAAA,CAAc,SAAA,IACd,cAAA,GACA,EAAA,CAAG,UAAA,GACH,kBAAA,GACA,aAAA,GACA,IAAA;AAAA,KAEQ,uBAAA,GAA0B,cAAc;AAAA,KAExC,WAAA,GAAc,iBAAA,GAAoB,MAAA,GAAS,uBAAA;;;;UAKtC,MAAA,mBACG,OAAA,CAAQ,cAAA,IAAkB,OAAA,CAAQ,cAAA;EAEpD,IAAA;EACA,OAAA,EAAS,kBAAA;EACT,MAAA,EAAQ,aAAA,CAAc,SAAA;AAAA;;;;UAMP,YAAA,mBACG,OAAA,CAAQ,cAAA,IAAkB,OAAA,CAAQ,cAAA,WAC5C,MAAA,CAAO,SAAA;EACf,MAAA,EAAQ,mBAAA,CAAoB,SAAA;AAAA;AAAA,UAGb,gBAAA;EACf,IAAA;EACA,OAAA,EAAS,mBAAA;EACT,MAAA,EAAQ,iBAAiB;AAAA;AAAA,UAGV,qBAAA,mBACG,OAAA,CAAQ,cAAA,IAAkB,OAAA,CAAQ,cAAA,WAC5C,gBAAA;EACR,OAAA;EACA,MAAA,EAAQ,aAAA,CAAc,SAAA;AAAA;AAAA,UAGP,sBAAA,SAA+B,gBAAgB;EAC9D,OAAA;EACA,MAAA,EAAQ,cAAA;AAAA;AAAA,UAGO,0BAAA,SAAmC,gBAAgB;EAClE,OAAA;EACA,MAAA,EAAQ,oBAAA;AAAA;AAAA,UAGO,gBAAA,SAAyB,gBAAgB;EACxD,OAAA;EACA,MAAA,EAAQ,EAAA,CAAG,UAAA;AAAA;AAAA,UAGI,sBAAA,SAA+B,gBAAgB;EAC9D,OAAA;EACA,MAAA,EAAQ,IAAA;AAAA;AAAA,UAGO,mBAAA,SAA4B,gBAAA;EAC3C,OAAA;EACA,MAAA,EAAQ,kBAAA,GAAqB,aAAA;AAAA;AAAA,KAGnB,YAAA,GACR,sBAAA,GACA,qBAAA,GACA,0BAAA,GACA,gBAAA,GACA,mBAAA,GACA,sBAAA;AAAA,UAEa,eAAA,mBACG,OAAA,CAAQ,cAAA,IAAkB,OAAA,CAAQ,cAAA,WAC5C,MAAA,CAAO,SAAA;EACf,MAAA,EAAQ,YAAA;AAAA"}