!!id:"https://tson.io/2026/37/m/meta-resolved.tn"
!!schema:"https://tson.io/2026/37/m/meta-kernel.tn"
@doc:"""
  Resolver-output fixture for meta.tn (2026 Revision 37 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 {
  bytes_encoding => !type_definition {
    source: enum
    body: !enum { members: [BASE64 BASE64URL BASE32 HEX] }
  }

  bytes_type => !type_definition {
    supertypes: [atom top]
    body: !record { supertypes: [atom]  fields: [
      !record_field { name: encoding    type: bytes_encoding  optional: true  role: DEFAULT  value: BASE64 }
      !record_field { name: length      type: non_negative_integer  optional: true }
      !record_field { name: min_length  type: non_negative_integer  optional: true }
      !record_field { name: max_length  type: non_negative_integer  optional: true }
    ] }
  }

  scope_kind => !type_definition {
    source: enum
    body: !enum { members: [LOCAL EXTERN] }
  }

  scope_set => !type_definition {
    source: set_type
    body: !set_type { element_type: scope_kind  min_items: 1 }
  }

  set => !type_definition {
    source: set_type
    body: !template { parameters: [{ name: T  type: type_ref }]  template: "!set_type { element_type: T }" }
  }

  scoped => !type_definition {
    supertypes: [sum top]
    body: !record { supertypes: [sum]  fields: [
      !record_field { name: scope    type: scope_set }
      !record_field { name: schemas  type: map_schema_identity_array_type_name_1_ef020ac1_true_1_xxhash  optional: true }
    ] }
  }

  schema_identity => !type_definition {
    source: iri_type
    body: !iri_type { allow_fragment: false }
  }

  ieee_format => !type_definition {
    source: enum
    body: !enum { members: [BINARY16 BINARY32 BINARY64 BINARY128 BINARY256 DECIMAL32 DECIMAL64 DECIMAL128] }
  }

  float_type => !type_definition {
    supertypes: [atom atom_specification top]
    body: !record { supertypes: [atom atom_specification]  fields: [
      !record_field { name: spec                 type: iri      optional: true  role: FIXED  value: "https://ieeexplore.ieee.org/document/8766229" }
      !record_field { name: format               type: ieee_format }
      !record_field { name: min                  type: value    optional: true }
      !record_field { name: exclusive_min        type: value    optional: true }
      !record_field { name: max                  type: value    optional: true }
      !record_field { name: exclusive_max        type: value    optional: true }
      !record_field { name: allow_nan            type: boolean  optional: true  role: DEFAULT  value: true }
      !record_field { name: allow_infinity       type: boolean  optional: true  role: DEFAULT  value: true }
      !record_field { name: allow_subnormal      type: boolean  optional: true  role: DEFAULT  value: true }
      !record_field { name: allow_negative_zero  type: boolean  optional: true  role: DEFAULT  value: true }
    ]
    groups: [
      !field_group { members: [[min] [exclusive_min]]  optional: true }
      !field_group { members: [[max] [exclusive_max]]  optional: true }
    ] }
  }

  decimal_member_set => !type_definition {
    source: set_type
    body: !set_type { element_type: value  min_items: 1 }
  }

  decimal_type => !type_definition {
    supertypes: [atom top]
    body: !record { supertypes: [atom]  fields: [
      !record_field { name: min              type: value    optional: true }
      !record_field { name: exclusive_min    type: value    optional: true }
      !record_field { name: max              type: value    optional: true }
      !record_field { name: exclusive_max    type: value    optional: true }
      !record_field { name: multiple_of      type: value    optional: true }
      !record_field { name: total_digits     type: non_negative_integer  optional: true }
      !record_field { name: fraction_digits  type: non_negative_integer  optional: true }
      !record_field { name: members          type: decimal_member_set  optional: true }
    ]
    groups: [
      !field_group { members: [[min] [exclusive_min]]  optional: true }
      !field_group { members: [[max] [exclusive_max]]  optional: true }
    ] }
  }

  rational_type => !type_definition {
    supertypes: [atom top]
    body: !record { supertypes: [atom]  fields: [
      !record_field { name: min            type: value  optional: true }
      !record_field { name: exclusive_min  type: value  optional: true }
      !record_field { name: max            type: value  optional: true }
      !record_field { name: exclusive_max  type: value  optional: true }
      !record_field { name: multiple_of    type: value  optional: true }
    ]
    groups: [
      !field_group { members: [[min] [exclusive_min]]  optional: true }
      !field_group { members: [[max] [exclusive_max]]  optional: true }
    ] }
  }

  complex_component => !type_definition {
    source: enum
    body: !enum { members: [INTEGER NUMBER RATIONAL FLOAT32 FLOAT64] }
  }

  complex_type => !type_definition {
    supertypes: [atom top]
    body: !record { supertypes: [atom]  fields: [
      !record_field { name: component  type: complex_component  optional: true  role: DEFAULT  value: NUMBER }
    ] }
  }

  date_type => !type_definition {
    supertypes: [atom atom_specification top]
    body: !record { supertypes: [atom atom_specification]  fields: [
      !record_field { name: spec           type: iri  optional: true  role: FIXED  value: "https://www.rfc-editor.org/rfc/rfc3339" }
      !record_field { name: min            type: value  optional: true }
      !record_field { name: exclusive_min  type: value  optional: true }
      !record_field { name: max            type: value  optional: true }
      !record_field { name: exclusive_max  type: value  optional: true }
    ]
    groups: [
      !field_group { members: [[min] [exclusive_min]]  optional: true }
      !field_group { members: [[max] [exclusive_max]]  optional: true }
    ] }
  }

  time_type => !type_definition {
    supertypes: [atom atom_specification top]
    body: !record { supertypes: [atom atom_specification]  fields: [
      !record_field { name: spec              type: iri  optional: true  role: FIXED  value: "https://www.rfc-editor.org/rfc/rfc3339" }
      !record_field { name: min               type: value    optional: true }
      !record_field { name: exclusive_min     type: value    optional: true }
      !record_field { name: max               type: value    optional: true }
      !record_field { name: exclusive_max     type: value    optional: true }
      !record_field { name: precision         type: non_negative_integer  optional: true }
    ]
    groups: [
      !field_group { members: [[min] [exclusive_min]]  optional: true }
      !field_group { members: [[max] [exclusive_max]]  optional: true }
    ] }
  }

  datetime_type => !type_definition {
    supertypes: [atom atom_specification top]
    body: !record { supertypes: [atom atom_specification]  fields: [
      !record_field { name: spec              type: iri  optional: true  role: FIXED  value: "https://www.rfc-editor.org/rfc/rfc3339" }
      !record_field { name: min               type: value    optional: true }
      !record_field { name: exclusive_min     type: value    optional: true }
      !record_field { name: max               type: value    optional: true }
      !record_field { name: exclusive_max     type: value    optional: true }
      !record_field { name: precision         type: non_negative_integer  optional: true }
    ]
    groups: [
      !field_group { members: [[min] [exclusive_min]]  optional: true }
      !field_group { members: [[max] [exclusive_max]]  optional: true }
    ] }
  }

  duration_type => !type_definition {
    supertypes: [atom atom_specification top]
    body: !record { supertypes: [atom atom_specification]  fields: [
      !record_field { name: spec           type: iri  optional: true  role: FIXED  value: "https://www.rfc-editor.org/rfc/rfc3339#appendix-A" }
      !record_field { name: min            type: value    optional: true }
      !record_field { name: exclusive_min  type: value    optional: true }
      !record_field { name: max            type: value    optional: true }
      !record_field { name: exclusive_max  type: value    optional: true }
      !record_field { name: precision      type: non_negative_integer  optional: true }
      !record_field { name: multiple_of    type: value    optional: true }
    ]
    groups: [
      !field_group { members: [[min] [exclusive_min]]  optional: true }
      !field_group { members: [[max] [exclusive_max]]  optional: true }
    ] }
  }

  period_type => !type_definition {
    supertypes: [atom atom_specification top]
    body: !record { supertypes: [atom atom_specification]  fields: [
      !record_field { name: spec           type: iri  optional: true  role: FIXED  value: "https://www.rfc-editor.org/rfc/rfc3339#appendix-A" }
      !record_field { name: min            type: value  optional: true }
      !record_field { name: exclusive_min  type: value  optional: true }
      !record_field { name: max            type: value  optional: true }
      !record_field { name: exclusive_max  type: value  optional: true }
      !record_field { name: multiple_of    type: value  optional: true }
    ]
    groups: [
      !field_group { members: [[min] [exclusive_min]]  optional: true }
      !field_group { members: [[max] [exclusive_max]]  optional: true }
    ] }
  }

  uuid_type => !type_definition {
    supertypes: [atom atom_specification top]
    body: !record { supertypes: [atom atom_specification]  fields: [
      !record_field { name: spec     type: iri  optional: true  role: FIXED  value: "https://www.rfc-editor.org/rfc/rfc9562" }
      !record_field { name: version  type: non_negative_integer  optional: true }
    ] }
  }

  uri_type => !type_definition {
    supertypes: [atom atom_specification text_type top]
    body: !record { supertypes: [text_type atom_specification]  fields: [
      !record_field { name: min_length      type: non_negative_integer  optional: true }
      !record_field { name: max_length      type: non_negative_integer  optional: true }
      !record_field { name: length          type: non_negative_integer  optional: true }
      !record_field { name: pattern         type: regex       optional: true }
      !record_field { name: members         type: text_member_set  optional: true }
      !record_field { name: normalization   type: normalization  optional: true  role: FIXED  value: NONE }
      !record_field { name: spec            type: iri         optional: true  role: FIXED  value: "https://www.rfc-editor.org/rfc/rfc3986" }
      !record_field { name: schemes         type: scheme_set  optional: true }
      !record_field { name: allow_relative  type: boolean     optional: true  role: DEFAULT  value: true }
      !record_field { name: allow_fragment  type: boolean     optional: true  role: DEFAULT  value: true }
    ] }
  }

  email_type => !type_definition {
    supertypes: [atom atom_specification text_type top]
    body: !record { supertypes: [text_type atom_specification]  fields: [
      !record_field { name: min_length     type: non_negative_integer  optional: true }
      !record_field { name: max_length     type: non_negative_integer  optional: true }
      !record_field { name: length         type: non_negative_integer  optional: true }
      !record_field { name: pattern        type: regex  optional: true }
      !record_field { name: members        type: text_member_set  optional: true }
      !record_field { name: normalization  type: normalization  optional: true  role: FIXED  value: NONE }
      !record_field { name: spec           type: iri  optional: true  role: FIXED  value: "https://www.rfc-editor.org/rfc/rfc5322" }
    ] }
  }

  ipv4_type => !type_definition {
    supertypes: [atom atom_specification top]
    body: !record { supertypes: [atom atom_specification]  fields: [
      !record_field { name: spec       type: iri  optional: true  role: FIXED  value: "https://www.rfc-editor.org/rfc/rfc3986" }
      !record_field { name: within     type: array_value_xxhash  optional: true }
      !record_field { name: excluding  type: array_value_xxhash  optional: true }
    ] }
  }

  ipv6_type => !type_definition {
    supertypes: [atom atom_specification top]
    body: !record { supertypes: [atom atom_specification]  fields: [
      !record_field { name: spec       type: iri  optional: true  role: FIXED  value: "https://www.rfc-editor.org/rfc/rfc4291" }
      !record_field { name: within     type: array_value_xxhash  optional: true }
      !record_field { name: excluding  type: array_value_xxhash  optional: true }
    ] }
  }

  cidr4_type => !type_definition {
    supertypes: [atom atom_specification top]
    body: !record { supertypes: [atom atom_specification]  fields: [
      !record_field { name: spec        type: iri  optional: true  role: FIXED  value: "https://www.rfc-editor.org/rfc/rfc4632" }
      !record_field { name: min_prefix  type: non_negative_integer  optional: true }
      !record_field { name: max_prefix  type: non_negative_integer  optional: true }
      !record_field { name: within      type: array_value_xxhash  optional: true }
      !record_field { name: excluding   type: array_value_xxhash  optional: true }
    ] }
  }

  cidr6_type => !type_definition {
    supertypes: [atom atom_specification top]
    body: !record { supertypes: [atom atom_specification]  fields: [
      !record_field { name: spec        type: iri  optional: true  role: FIXED  value: "https://www.rfc-editor.org/rfc/rfc4291" }
      !record_field { name: min_prefix  type: non_negative_integer  optional: true }
      !record_field { name: max_prefix  type: non_negative_integer  optional: true }
      !record_field { name: within      type: array_value_xxhash  optional: true }
      !record_field { name: excluding   type: array_value_xxhash  optional: true }
    ] }
  }

  mac_type => !type_definition {
    supertypes: [atom atom_specification top]
    body: !record { supertypes: [atom atom_specification]  fields: [
      !record_field { name: spec  type: iri  optional: true  role: FIXED  value: "https://www.rfc-editor.org/rfc/rfc9542" }
    ] }
  }

  ordering => @annotation !type_definition {
    source: enum
    body: !enum { members: [NONE PARTIAL TOTAL] }
  }

  bounded => @annotation !type_definition {
    source: boolean
    body: !reference { target: boolean }
  }

  exact => @annotation !type_definition {
    source: boolean
    body: !reference { target: boolean }
  }

  numeric => @annotation !type_definition {
    source: void
    body: !reference { target: void }
  }

  disjoint => @annotation !type_definition {
    source: void
    body: !reference { target: void }
  }

  deprecated => @annotation !type_definition {
    source: void
    body: !reference { target: void }
  }

  title => @annotation !type_definition {
    source: text
    body: !reference { target: text }
  }

  comment => @annotation !type_definition {
    source: text
    body: !reference { target: text }
  }

  examples => @annotation !type_definition {
    source: array
    body: !array { element_type: text }
  }

  read_only => @annotation !type_definition {
    source: void
    body: !reference { target: void }
  }

  write_only => @annotation !type_definition {
    source: void
    body: !reference { target: void }
  }

  @synthetic array_value_xxhash => !type_definition {
    source: array
    body: !array { element_type: value }
  }

  @synthetic array_type_name_1_xxhash => !type_definition {
    source: array
    body: !array { element_type: type_name  min_items: 1 }
  }

  @synthetic map_schema_identity_array_type_name_1_ef020ac1_true_1_xxhash => !type_definition {
    source: map
    body: !map { key_type: schema_identity  value_type: array_type_name_1_xxhash  voidable: true  min_items: 1 }
  }
}