!!id:"https://tson.io/2026/33/m/meta-resolved.tn"
!!schema:"https://tson.io/2026/33/m/meta-kernel.tn"
@doc:"""
  Resolver-output fixture for meta.tn (2026 Revision 33 draft).
  Parse the source schema, run the resolver, canonicalise, compare.
  Conventions as in meta-kernel-resolved.tn.

  As a data document, this header cannot carry `!!import`; its
  `!!schema` names this document's own governing chain, not the
  schema it describes. The namespace in which this map's type-name
  tokens resolve — meta.tn's locals plus its import of
  meta-kernel.tn — is declared by the source schema's header and
  supplied at ingest ([TSON-SCHEMA] Section 8.1), never by this
  document. Supertype names in this map (`atom`, `sum`, `text_type`,
  `atom_specification`, `top`) resolve through that kernel import; `subtypes` lists entries of this map only, and none
  of this map's entries narrows or composes with another, so every
  `subtypes` list here is empty and omitted.
  """
!schema {
  @doc:"Binary encoding formats per RFC 4648."
  binary_encoding => !type_definition {
    kind: ATOM
    source: enum
    body: !enum { members: [BASE64 BASE64URL BASE32 HEX] }
  }

  @doc:"Binary data constructor."
  binary => !type_definition {
    kind: ATOM
    constructor: true
    supertypes: [atom atom_specification top]
    body: !record { supertypes: [atom atom_specification]  fields: [
      !record_field { name: spec        type: uri  state: REQUIRED_FIXED  value: "https://www.rfc-editor.org/rfc/rfc4648" }
      !record_field { name: encoding    type: binary_encoding }
      !record_field { name: min_length  type: integer  state: OPTIONAL }
      !record_field { name: max_length  type: integer  state: OPTIONAL }
    ] }
  }

  @doc:"Constructor for sum types whose members belong to a named external schema."
  extern => !type_definition {
    kind: SUM
    constructor: true
    supertypes: [sum top]
    body: !record { supertypes: [sum]  fields: [
      !record_field { name: schema  type: uri }
      !record_field { name: types   type: array_type_name_xxhash  state: OPTIONAL }
    ] }
  }

  @doc:"Unknown sum constructor. Its instance `unknown` (core) accepts any well-formed value of any type."
  unknown_type => !type_definition {
    kind: SUM
    constructor: true
    supertypes: [sum top]
    body: !record { supertypes: [sum]  fields: [] }
  }

  @doc:"IEEE 754-2019 interchange formats, both radices. Selects the representable grid of an approximate (float_type) value."
  ieee_format => !type_definition {
    kind: ATOM
    source: enum
    body: !enum { members: [BINARY16 BINARY32 BINARY64 BINARY128 BINARY256 DECIMAL32 DECIMAL64 DECIMAL128] }
  }

  @doc:"Approximate-numeric constraint vocabulary (SQL approximate tier; ISO/IEC 11404 approximate real). Instances are `float32` and `float64` in core. Pinned to IEEE 754-2019."
  float_type => !type_definition {
    kind: ATOM
    constructor: true
    supertypes: [atom atom_specification top]
    body: !record { supertypes: [atom atom_specification]  fields: [
      !record_field { name: spec                 type: uri      state: REQUIRED_FIXED  value: "https://ieeexplore.ieee.org/document/8766229" }
      !record_field { name: format               type: ieee_format }
      !record_field { name: min                  type: value    state: OPTIONAL }
      !record_field { name: exclusive_min        type: value    state: OPTIONAL }
      !record_field { name: max                  type: value    state: OPTIONAL }
      !record_field { name: exclusive_max        type: value    state: OPTIONAL }
      !record_field { name: allow_nan            type: boolean  state: REQUIRED_DEFAULT  value: true }
      !record_field { name: allow_infinity       type: boolean  state: REQUIRED_DEFAULT  value: true }
      !record_field { name: allow_subnormal      type: boolean  state: REQUIRED_DEFAULT  value: true }
      !record_field { name: allow_negative_zero  type: boolean  state: REQUIRED_DEFAULT  value: true }
    ]
    groups: [
      !field_group { members: [min exclusive_min]  state: OPTIONAL }
      !field_group { members: [max exclusive_max]  state: OPTIONAL }
    ] }
  }

  @doc:"Exact-numeric constraint vocabulary (SQL exact tier; ISO/IEC 11404 scaled, radix 10). Instance is `number` in core."
  decimal_type => !type_definition {
    kind: ATOM
    constructor: true
    supertypes: [atom top]
    body: !record { supertypes: [atom]  fields: [
      !record_field { name: min              type: value    state: OPTIONAL }
      !record_field { name: exclusive_min    type: value    state: OPTIONAL }
      !record_field { name: max              type: value    state: OPTIONAL }
      !record_field { name: exclusive_max    type: value    state: OPTIONAL }
      !record_field { name: multiple_of      type: value    state: OPTIONAL }
      !record_field { name: total_digits     type: integer  state: OPTIONAL }
      !record_field { name: fraction_digits  type: integer  state: OPTIONAL }
    ]
    groups: [
      !field_group { members: [min exclusive_min]  state: OPTIONAL }
      !field_group { members: [max exclusive_max]  state: OPTIONAL }
    ] }
  }

  @doc:"Rational constraint vocabulary. Instance is `rational` in core. Exact (ℚ; ISO/IEC 11404 rational)."
  rational_type => !type_definition {
    kind: ATOM
    constructor: true
    supertypes: [atom top]
    body: !record { supertypes: [atom]  fields: [
      !record_field { name: min            type: value  state: OPTIONAL }
      !record_field { name: exclusive_min  type: value  state: OPTIONAL }
      !record_field { name: max            type: value  state: OPTIONAL }
      !record_field { name: exclusive_max  type: value  state: OPTIONAL }
      !record_field { name: multiple_of    type: value  state: OPTIONAL }
    ]
    groups: [
      !field_group { members: [min exclusive_min]  state: OPTIONAL }
      !field_group { members: [max exclusive_max]  state: OPTIONAL }
    ] }
  }

  @doc:"Allowed component types for a complex value. Closed vocabulary of numeric types."
  complex_component => !type_definition {
    kind: ATOM
    source: enum
    body: !enum { members: [INTEGER NUMBER RATIONAL FLOAT32 FLOAT64] }
  }

  @doc:"Complex constraint vocabulary. Instance is `complex` in core. `component` selects the parts' type from complex_component, default NUMBER."
  complex_type => !type_definition {
    kind: ATOM
    constructor: true
    supertypes: [atom top]
    body: !record { supertypes: [atom]  fields: [
      !record_field { name: component  type: complex_component  state: REQUIRED_DEFAULT  value: NUMBER }
    ] }
  }

  @doc:"Date constraint vocabulary. Instance is `date` in core."
  date_type => !type_definition {
    kind: ATOM
    constructor: true
    supertypes: [atom atom_specification top]
    body: !record { supertypes: [atom atom_specification]  fields: [
      !record_field { name: spec  type: uri  state: REQUIRED_FIXED  value: "https://www.rfc-editor.org/rfc/rfc3339" }
      !record_field { name: min   type: value  state: OPTIONAL }
      !record_field { name: max   type: value  state: OPTIONAL }
    ] }
  }

  @doc:"Time constraint vocabulary. Instance is `time` in core."
  time_type => !type_definition {
    kind: ATOM
    constructor: true
    supertypes: [atom atom_specification top]
    body: !record { supertypes: [atom atom_specification]  fields: [
      !record_field { name: spec              type: uri  state: REQUIRED_FIXED  value: "https://www.rfc-editor.org/rfc/rfc3339" }
      !record_field { name: min               type: value    state: OPTIONAL }
      !record_field { name: max               type: value    state: OPTIONAL }
      !record_field { name: precision         type: integer  state: OPTIONAL }
      !record_field { name: require_timezone  type: boolean  state: OPTIONAL }
    ] }
  }

  @doc:"Datetime constraint vocabulary. Instance is `datetime` in core."
  datetime_type => !type_definition {
    kind: ATOM
    constructor: true
    supertypes: [atom atom_specification top]
    body: !record { supertypes: [atom atom_specification]  fields: [
      !record_field { name: spec              type: uri  state: REQUIRED_FIXED  value: "https://www.rfc-editor.org/rfc/rfc3339" }
      !record_field { name: min               type: value    state: OPTIONAL }
      !record_field { name: max               type: value    state: OPTIONAL }
      !record_field { name: precision         type: integer  state: OPTIONAL }
      !record_field { name: require_timezone  type: boolean  state: OPTIONAL }
    ] }
  }

  @doc:"Duration constraint vocabulary. Instance is `duration` in core."
  duration_type => !type_definition {
    kind: ATOM
    constructor: true
    supertypes: [atom atom_specification top]
    body: !record { supertypes: [atom atom_specification]  fields: [
      !record_field { name: spec  type: uri  state: REQUIRED_FIXED  value: "https://www.iso.org/standard/70907.html" }
      !record_field { name: min   type: value  state: OPTIONAL }
      !record_field { name: max   type: value  state: OPTIONAL }
    ] }
  }

  @doc:"UUID constraint vocabulary. Instance is `uuid` in core."
  uuid_type => !type_definition {
    kind: ATOM
    constructor: true
    supertypes: [atom atom_specification top]
    body: !record { supertypes: [atom atom_specification]  fields: [
      !record_field { name: spec     type: uri  state: REQUIRED_FIXED  value: "https://www.rfc-editor.org/rfc/rfc9562" }
      !record_field { name: version  type: integer  state: OPTIONAL }
    ] }
  }

  @doc:"Email constraint vocabulary. Instance is `email` in core."
  email_type => !type_definition {
    kind: ATOM
    constructor: true
    supertypes: [atom atom_specification text_type top]
    body: !record { supertypes: [text_type atom_specification]  fields: [
      !record_field { name: min_length  type: integer  state: OPTIONAL }
      !record_field { name: max_length  type: integer  state: OPTIONAL }
      !record_field { name: length      type: integer  state: OPTIONAL }
      !record_field { name: pattern     type: regex    state: OPTIONAL }
      !record_field { name: spec        type: uri  state: REQUIRED_FIXED  value: "https://www.rfc-editor.org/rfc/rfc5322" }
    ] }
  }

  @doc:"IPv4 address constraint vocabulary. Instance is `ipv4` in core."
  ipv4_type => !type_definition {
    kind: ATOM
    constructor: true
    supertypes: [atom atom_specification top]
    body: !record { supertypes: [atom atom_specification]  fields: [
      !record_field { name: spec       type: uri  state: REQUIRED_FIXED  value: "https://www.rfc-editor.org/rfc/rfc3986" }
      !record_field { name: within     type: array_value_xxhash  state: OPTIONAL }
      !record_field { name: excluding  type: array_value_xxhash  state: OPTIONAL }
    ] }
  }

  @doc:"IPv6 address constraint vocabulary. Instance is `ipv6` in core."
  ipv6_type => !type_definition {
    kind: ATOM
    constructor: true
    supertypes: [atom atom_specification top]
    body: !record { supertypes: [atom atom_specification]  fields: [
      !record_field { name: spec       type: uri  state: REQUIRED_FIXED  value: "https://www.rfc-editor.org/rfc/rfc4291" }
      !record_field { name: within     type: array_value_xxhash  state: OPTIONAL }
      !record_field { name: excluding  type: array_value_xxhash  state: OPTIONAL }
    ] }
  }

  @doc:"IPv4 network constraint vocabulary. Instance is `cidr4` in core."
  cidr4_type => !type_definition {
    kind: ATOM
    constructor: true
    supertypes: [atom atom_specification top]
    body: !record { supertypes: [atom atom_specification]  fields: [
      !record_field { name: spec        type: uri  state: REQUIRED_FIXED  value: "https://www.rfc-editor.org/rfc/rfc4632" }
      !record_field { name: min_prefix  type: integer  state: OPTIONAL }
      !record_field { name: max_prefix  type: integer  state: OPTIONAL }
      !record_field { name: within      type: array_value_xxhash  state: OPTIONAL }
      !record_field { name: excluding   type: array_value_xxhash  state: OPTIONAL }
    ] }
  }

  @doc:"IPv6 network constraint vocabulary. Instance is `cidr6` in core."
  cidr6_type => !type_definition {
    kind: ATOM
    constructor: true
    supertypes: [atom atom_specification top]
    body: !record { supertypes: [atom atom_specification]  fields: [
      !record_field { name: spec        type: uri  state: REQUIRED_FIXED  value: "https://www.rfc-editor.org/rfc/rfc4291" }
      !record_field { name: min_prefix  type: integer  state: OPTIONAL }
      !record_field { name: max_prefix  type: integer  state: OPTIONAL }
      !record_field { name: within      type: array_value_xxhash  state: OPTIONAL }
      !record_field { name: excluding   type: array_value_xxhash  state: OPTIONAL }
    ] }
  }

  @doc:"MAC address (EUI-48) constraint vocabulary. Instance is `mac` in core."
  mac_type => !type_definition {
    kind: ATOM
    constructor: true
    supertypes: [atom atom_specification top]
    body: !record { supertypes: [atom atom_specification]  fields: [
      !record_field { name: spec  type: uri  state: REQUIRED_FIXED  value: "https://www.rfc-editor.org/rfc/rfc9542" }
    ] }
  }

  @doc:"Ordering classification (ISO/IEC 11404 / XSD fundamental facet)."
  ordered => @annotation !type_definition {
    kind: ATOM
    source: enum
    body: !enum { members: [NONE PARTIAL TOTAL] }
  }

  @doc:"Boundedness annotation."
  bounded => @annotation !type_definition {
    kind: REFERENCE
    source: boolean
    body: !reference { target: boolean }
  }

  @doc:"Exactness classification (ISO/IEC 11404 characterizing property)."
  exact => @annotation !type_definition {
    kind: REFERENCE
    source: boolean
    body: !reference { target: boolean }
  }

  @doc:"Numeric type marker annotation."
  numeric => @annotation !type_definition {
    kind: REFERENCE
    source: void
    body: !reference { target: void }
  }

  @doc:"Author's assertion that a choice's variants are pairwise disjoint as value sets — advisory, checked against derived `type_definition.disjoint` (Part 2 Section 5.4). Void-targeted presence marker; written bare."
  disjoint => @annotation !type_definition {
    kind: REFERENCE
    source: void
    body: !reference { target: void }
  }

  @doc:"Marks a definition or field as deprecated."
  deprecated => @annotation !type_definition {
    kind: REFERENCE
    source: text
    body: !reference { target: text }
  }

  @doc:"Records when a definition or field was introduced."
  since => @annotation !type_definition {
    kind: REFERENCE
    source: text
    body: !reference { target: text }
  }

  @doc:"Marks incomplete work requiring attention."
  todo => @annotation !type_definition {
    kind: REFERENCE
    source: text
    body: !reference { target: text }
  }

  @doc:"BCP 47 language tag (RFC 5646)."
  lang => @annotation !type_definition {
    kind: REFERENCE
    source: text
    body: !reference { target: text }
  }

  @doc:"""
    Synthetic entries — the closed forms the sugar lifts to; see
    meta-kernel-resolved.tn's own note. Each key carries the derived
    `@synthetic` marker (Part 2 Sections 6, 8.2). `xxhash` stands for
    a content hash of the resolved binding record and is a
    placeholder — the hash value is not a conformance point, only
    the shape of the entry.
    """
  @synthetic array_value_xxhash => !type_definition {
    kind: PRODUCT
    source: array
    body: !array { element_type: value }
  }
}