universal-physics-tensor 10.0.0 → 12.0.0

package/dist/core/json-schema.js.map

@@ -1 +1 @@
-{"version":3,"file":"json-schema.js","sourceRoot":"","sources":["../../src/core/json-schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAKH,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC;AAChG,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;IACvB,MAAM;IACN,UAAU;IACV,YAAY;IACZ,sBAAsB;IACtB,eAAe;IACf,OAAO;IACP,UAAU;IACV,UAAU;IACV,aAAa;IACb,WAAW;IACX,SAAS;IACT,SAAS;IACT,MAAM;IACN,OAAO;IACP,MAAM;IACN,IAAI;IACJ,MAAM;IACN,MAAM;CACP,CAAC,CAAC;AAEH,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAc;IAC/C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC;QACzB,KAAK,OAAO;YACV,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9B,KAAK,QAAQ;YACX,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC;QACnC,KAAK,SAAS;YACZ,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC;QACpC,KAAK,QAAQ;YACX,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC7D,KAAK,SAAS;YACZ,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC9D,KAAK,MAAM;YACT,OAAO,KAAK,KAAK,IAAI,CAAC;QACxB;YACE,MAAM,IAAI,KAAK,CAAC,kCAAkC,IAAI,GAAG,CAAC,CAAC;IAC/D,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,IAAgB,EAAE,GAAW;IAC/C,wFAAwF;IACxF,uDAAuD;IACvD,MAAM,CAAC,GAAG,oCAAoC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,CAAC,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;IACvE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,GAAG,GAAG,CAAC,CAAC;IAChF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,KAAK,CAAC,IAAgB,EAAE,MAAkB,EAAE,KAAc,EAAE,IAAY,EAAE,QAAkB;IACnG,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACxD,MAAM,IAAI,KAAK,CAAC,yBAAyB,OAAO,QAAQ,IAAI,kCAAkC,CAAC,CAAC;QAClG,CAAC;IACH,CAAC;IACD,IAAI,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,QAAQ;QAAE,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC7G,6FAA6F;IAC7F,iCAAiC;IACjC,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC3B,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACxE,IAAI,QAAQ,CAAC,MAAM,CAAC;YAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,SAAS,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAE,MAAM,CAAC,MAAM,CAAe,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QAC/F,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;YACzE,MAAM,IAAI,KAAK,CAAC,0BAA0B,IAAI,+CAA+C,CAAC,CAAC;QACjG,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAc,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;YAC9D,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,cAAc,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACzD,OAAO;QACT,CAAC;IACH,CAAC;IACD,IAAI,OAAO,IAAI,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACnF,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,cAAc,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACxH,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;IACrG,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,QAAQ,IAAI,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;QACpG,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,KAAK,iBAAiB,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,OAAO,MAAM,CAAC,WAAW,CAAC,KAAK,QAAQ,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;YACvF,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,kBAAkB,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QAChE,CAAC;QACD,IAAI,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,QAAQ,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7F,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,MAAM,KAAK,oBAAoB,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,IAAI,OAAO,MAAM,CAAC,UAAU,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YAChF,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,gBAAgB,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,OAAO,MAAM,CAAC,UAAU,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YAChF,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,eAAe,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAClE,CAAC;QACD,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,IAAI,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChE,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,wBAAwB,CAAC,CAAC;QACjF,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;YAC9B,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;QAClF,CAAC;aAAM,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YAC1C,qFAAqF;YACpF,MAAM,CAAC,OAAO,CAAe,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE;gBACvD,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,QAAQ,IAAI,kBAAkB,CAAC,CAAC;gBAClG,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM;oBAAE,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;YACrF,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACpB,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;YACtC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,UAAU,CAAsB,EAAE,CAAC;gBAC1D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC;oBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,cAAc,GAAG,GAAG,CAAC,CAAC;YAC7E,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,MAAM,KAAK,GAAG,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC;YAC/B,IAAI,QAAQ,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;gBAAE,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,eAAe,CAAC,EAAE,GAAG,EAAE,GAAG,KAAK,SAAS,EAAE,QAAQ,CAAC,CAAC;YAC9G,+EAA+E;YAC/E,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC9E,IAAI,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACvB,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;YAChD,CAAC;iBAAM,IAAI,MAAM,CAAC,sBAAsB,CAAC,KAAK,KAAK,EAAE,CAAC;gBACpD,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,uBAAuB,CAAC,CAAC;YACjD,CAAC;iBAAM,IAAI,QAAQ,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,EAAE,CAAC;gBACpD,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,sBAAsB,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,MAAkB,EAAE,KAAc;IAC/D,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;IAC5C,OAAO,QAAQ,CAAC;AAClB,CAAC","sourcesContent":["/**\n * A JSON Schema reader for the keyword subset the repository's data schemas use.\n *\n * The library adds no runtime dependency for this, so the schema a data file\n * names is checked here, at load, and not only by a test. A keyword outside\n * the subset is an error in the schema, not a keyword silently ignored, so a\n * schema cannot state a rule this reader does not enforce.\n *\n * Subset: `type` (a name or an array of names), `required`, `properties`,\n * `additionalProperties` (boolean or schema), `propertyNames`, `items`,\n * `minItems`, `maxItems`, `uniqueItems`, `minLength`, `pattern`, `minimum`,\n * `enum`, `const`, `if`/`then`/`else`, and `$ref` to `#/$defs/<name>` or `#/definitions/<name>`. `$schema`, `$id`, `$defs`,\n * `title` and `description` are annotations.\n *\n * @module core/json-schema\n */\n\n/** A JSON Schema document or subschema, as parsed from JSON. @internal */\nexport type JsonSchema = { readonly [keyword: string]: unknown };\n\nconst ANNOTATIONS = new Set(['$schema', '$id', '$defs', 'definitions', 'title', 'description']);\nconst KEYWORDS = new Set([\n  'type',\n  'required',\n  'properties',\n  'additionalProperties',\n  'propertyNames',\n  'items',\n  'minItems',\n  'maxItems',\n  'uniqueItems',\n  'minLength',\n  'pattern',\n  'minimum',\n  'enum',\n  'const',\n  '$ref',\n  'if',\n  'then',\n  'else',\n]);\n\nfunction isObject(value: unknown): value is Record<string, unknown> {\n  return typeof value === 'object' && value !== null && !Array.isArray(value);\n}\n\nfunction typeMatches(type: string, value: unknown): boolean {\n  switch (type) {\n    case 'object':\n      return isObject(value);\n    case 'array':\n      return Array.isArray(value);\n    case 'string':\n      return typeof value === 'string';\n    case 'boolean':\n      return typeof value === 'boolean';\n    case 'number':\n      return typeof value === 'number' && Number.isFinite(value);\n    case 'integer':\n      return typeof value === 'number' && Number.isInteger(value);\n    case 'null':\n      return value === null;\n    default:\n      throw new Error(`json-schema: unsupported type '${type}'`);\n  }\n}\n\nfunction resolveRef(root: JsonSchema, ref: string): JsonSchema {\n  // `#/$defs/<name>` (2019-09 and later) or `#/definitions/<name>` (draft-07): both are a\n  // local definition table and nothing else is resolved.\n  const m = /^#\\/(\\$defs|definitions)\\/([^/]+)$/.exec(ref);\n  const defs = m === null ? undefined : root[m[1]!];\n  const target = m === null || !isObject(defs) ? undefined : defs[m[2]!];\n  if (!isObject(target)) throw new Error(`json-schema: unresolved $ref '${ref}'`);\n  return target;\n}\n\nfunction check(root: JsonSchema, schema: JsonSchema, value: unknown, path: string, problems: string[]): void {\n  for (const keyword of Object.keys(schema)) {\n    if (!KEYWORDS.has(keyword) && !ANNOTATIONS.has(keyword)) {\n      throw new Error(`json-schema: keyword '${keyword}' at ${path} is outside the supported subset`);\n    }\n  }\n  if (typeof schema['$ref'] === 'string') check(root, resolveRef(root, schema['$ref']), value, path, problems);\n  // `if`/`then`/`else`: the branch whose condition the value meets is checked; the condition's\n  // own problems are not reported.\n  if (isObject(schema['if'])) {\n    const condition: string[] = [];\n    check(root, schema['if'], value, path, condition);\n    const branch = condition.length === 0 ? schema['then'] : schema['else'];\n    if (isObject(branch)) check(root, branch, value, path, problems);\n  }\n  if (schema['type'] !== undefined) {\n    const types = Array.isArray(schema['type']) ? (schema['type'] as unknown[]) : [schema['type']];\n    if (types.length === 0 || types.some((type) => typeof type !== 'string')) {\n      throw new Error(`json-schema: 'type' at ${path} is not a type name or an array of type names`);\n    }\n    if (!types.some((type) => typeMatches(type as string, value))) {\n      problems.push(`${path}: expected ${types.join(' or ')}`);\n      return;\n    }\n  }\n  if ('const' in schema && JSON.stringify(schema['const']) !== JSON.stringify(value)) {\n    problems.push(`${path}: expected ${JSON.stringify(schema['const'])}`);\n  }\n  if (Array.isArray(schema['enum']) && !schema['enum'].some((option) => JSON.stringify(option) === JSON.stringify(value))) {\n    problems.push(`${path}: ${JSON.stringify(value)} is not one of ${JSON.stringify(schema['enum'])}`);\n  }\n  if (typeof value === 'number' && typeof schema['minimum'] === 'number' && value < schema['minimum']) {\n    problems.push(`${path}: ${value} is less than ${schema['minimum']}`);\n  }\n  if (typeof value === 'string') {\n    if (typeof schema['minLength'] === 'number' && [...value].length < schema['minLength']) {\n      problems.push(`${path}: shorter than ${schema['minLength']}`);\n    }\n    if (typeof schema['pattern'] === 'string' && !new RegExp(schema['pattern'], 'u').test(value)) {\n      problems.push(`${path}: '${value}' does not match ${schema['pattern']}`);\n    }\n  }\n  if (Array.isArray(value)) {\n    if (typeof schema['minItems'] === 'number' && value.length < schema['minItems']) {\n      problems.push(`${path}: fewer than ${schema['minItems']} items`);\n    }\n    if (typeof schema['maxItems'] === 'number' && value.length > schema['maxItems']) {\n      problems.push(`${path}: more than ${schema['maxItems']} items`);\n    }\n    if (schema['uniqueItems'] === true) {\n      const seen = new Set(value.map((item) => JSON.stringify(item)));\n      if (seen.size !== value.length) problems.push(`${path}: items are not unique`);\n    }\n    if (isObject(schema['items'])) {\n      const items = schema['items'];\n      value.forEach((item, i) => check(root, items, item, `${path}[${i}]`, problems));\n    } else if (Array.isArray(schema['items'])) {\n      // A tuple: each position has its own schema; a position past the tuple is unchecked.\n      (schema['items'] as unknown[]).forEach((itemSchema, i) => {\n        if (!isObject(itemSchema)) throw new Error(`json-schema: items[${i}] at ${path} is not a schema`);\n        if (i < value.length) check(root, itemSchema, value[i], `${path}[${i}]`, problems);\n      });\n    }\n  }\n  if (isObject(value)) {\n    const properties = isObject(schema['properties']) ? schema['properties'] : {};\n    if (Array.isArray(schema['required'])) {\n      for (const key of schema['required'] as readonly string[]) {\n        if (!Object.hasOwn(value, key)) problems.push(`${path}: missing '${key}'`);\n      }\n    }\n    for (const [key, child] of Object.entries(value)) {\n      const where = `${path}.${key}`;\n      if (isObject(schema['propertyNames'])) check(root, schema['propertyNames'], key, `${where} (name)`, problems);\n      // Own properties only: a `__proto__` key must not resolve to Object.prototype.\n      const declared = Object.hasOwn(properties, key) ? properties[key] : undefined;\n      if (isObject(declared)) {\n        check(root, declared, child, where, problems);\n      } else if (schema['additionalProperties'] === false) {\n        problems.push(`${where}: unexpected property`);\n      } else if (isObject(schema['additionalProperties'])) {\n        check(root, schema['additionalProperties'], child, where, problems);\n      }\n    }\n  }\n}\n\n/**\n * Every place `value` breaks `schema`, as `$.path: reason` lines. Empty when it conforms.\n * Throws when the schema uses a keyword outside the subset.\n * @internal\n */\nexport function schemaProblems(schema: JsonSchema, value: unknown): string[] {\n  const problems: string[] = [];\n  check(schema, schema, value, '$', problems);\n  return problems;\n}\n"]}
+{"version":3,"file":"json-schema.js","sourceRoot":"","sources":["../../src/core/json-schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAKH,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC;AAChG,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;IACvB,MAAM;IACN,UAAU;IACV,YAAY;IACZ,sBAAsB;IACtB,eAAe;IACf,OAAO;IACP,UAAU;IACV,UAAU;IACV,aAAa;IACb,WAAW;IACX,SAAS;IACT,SAAS;IACT,MAAM;IACN,OAAO;IACP,MAAM;IACN,IAAI;IACJ,MAAM;IACN,MAAM;CACP,CAAC,CAAC;AAEH,iGAAiG;AACjG,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAc;IAC/C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC;QAC9B,KAAK,OAAO;YACV,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9B,KAAK,QAAQ;YACX,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC;QACnC,KAAK,SAAS;YACZ,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC;QACpC,KAAK,QAAQ;YACX,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC7D,KAAK,SAAS;YACZ,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC9D,KAAK,MAAM;YACT,OAAO,KAAK,KAAK,IAAI,CAAC;QACxB;YACE,MAAM,IAAI,KAAK,CAAC,kCAAkC,IAAI,GAAG,CAAC,CAAC;IAC/D,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,IAAgB,EAAE,GAAW;IAC/C,wFAAwF;IACxF,uDAAuD;IACvD,MAAM,CAAC,GAAG,oCAAoC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,CAAC,KAAK,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;IAC5E,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,GAAG,GAAG,CAAC,CAAC;IACrF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,KAAK,CAAC,IAAgB,EAAE,MAAkB,EAAE,KAAc,EAAE,IAAY,EAAE,QAAkB;IACnG,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACxD,MAAM,IAAI,KAAK,CAAC,yBAAyB,OAAO,QAAQ,IAAI,kCAAkC,CAAC,CAAC;QAClG,CAAC;IACH,CAAC;IACD,IAAI,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,QAAQ;QAAE,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC7G,6FAA6F;IAC7F,iCAAiC;IACjC,IAAI,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAChC,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACxE,IAAI,aAAa,CAAC,MAAM,CAAC;YAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,SAAS,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAE,MAAM,CAAC,MAAM,CAAe,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QAC/F,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;YACzE,MAAM,IAAI,KAAK,CAAC,0BAA0B,IAAI,+CAA+C,CAAC,CAAC;QACjG,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAc,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;YAC9D,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,cAAc,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACzD,OAAO;QACT,CAAC;IACH,CAAC;IACD,IAAI,OAAO,IAAI,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACnF,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,cAAc,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACxH,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;IACrG,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,QAAQ,IAAI,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;QACpG,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,KAAK,iBAAiB,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,OAAO,MAAM,CAAC,WAAW,CAAC,KAAK,QAAQ,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;YACvF,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,kBAAkB,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QAChE,CAAC;QACD,IAAI,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,QAAQ,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7F,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,MAAM,KAAK,oBAAoB,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,IAAI,OAAO,MAAM,CAAC,UAAU,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YAChF,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,gBAAgB,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,OAAO,MAAM,CAAC,UAAU,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YAChF,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,eAAe,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAClE,CAAC;QACD,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,IAAI,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChE,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,wBAAwB,CAAC,CAAC;QACjF,CAAC;QACD,IAAI,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;YAC9B,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;QAClF,CAAC;aAAM,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YAC1C,qFAAqF;YACpF,MAAM,CAAC,OAAO,CAAe,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE;gBACvD,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,QAAQ,IAAI,kBAAkB,CAAC,CAAC;gBACvG,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM;oBAAE,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;YACrF,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACnF,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;YACtC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,UAAU,CAAsB,EAAE,CAAC;gBAC1D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC;oBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,cAAc,GAAG,GAAG,CAAC,CAAC;YAC7E,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,MAAM,KAAK,GAAG,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC;YAC/B,IAAI,aAAa,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;gBAAE,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,eAAe,CAAC,EAAE,GAAG,EAAE,GAAG,KAAK,SAAS,EAAE,QAAQ,CAAC,CAAC;YACnH,+EAA+E;YAC/E,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC9E,IAAI,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC5B,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;YAChD,CAAC;iBAAM,IAAI,MAAM,CAAC,sBAAsB,CAAC,KAAK,KAAK,EAAE,CAAC;gBACpD,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,uBAAuB,CAAC,CAAC;YACjD,CAAC;iBAAM,IAAI,aAAa,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,EAAE,CAAC;gBACzD,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,sBAAsB,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,MAAkB,EAAE,KAAc;IAC/D,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;IAC5C,OAAO,QAAQ,CAAC;AAClB,CAAC","sourcesContent":["/**\n * A JSON Schema reader for the keyword subset the repository's data schemas use.\n *\n * The library adds no runtime dependency for this, so the schema a data file\n * names is checked here, at load, and not only by a test. A keyword outside\n * the subset is an error in the schema, not a keyword silently ignored, so a\n * schema cannot state a rule this reader does not enforce.\n *\n * Subset: `type` (a name or an array of names), `required`, `properties`,\n * `additionalProperties` (boolean or schema), `propertyNames`, `items`,\n * `minItems`, `maxItems`, `uniqueItems`, `minLength`, `pattern`, `minimum`,\n * `enum`, `const`, `if`/`then`/`else`, and `$ref` to `#/$defs/<name>` or `#/definitions/<name>`. `$schema`, `$id`, `$defs`,\n * `title` and `description` are annotations.\n *\n * @module core/json-schema\n */\n\n/** A JSON Schema document or subschema, as parsed from JSON. @internal */\nexport type JsonSchema = { readonly [keyword: string]: unknown };\n\nconst ANNOTATIONS = new Set(['$schema', '$id', '$defs', 'definitions', 'title', 'description']);\nconst KEYWORDS = new Set([\n  'type',\n  'required',\n  'properties',\n  'additionalProperties',\n  'propertyNames',\n  'items',\n  'minItems',\n  'maxItems',\n  'uniqueItems',\n  'minLength',\n  'pattern',\n  'minimum',\n  'enum',\n  'const',\n  '$ref',\n  'if',\n  'then',\n  'else',\n]);\n\n/** A JSON object: not an array, not null. The one object guard of the data readers. @internal */\nexport function isPlainObject(value: unknown): value is Record<string, unknown> {\n  return typeof value === 'object' && value !== null && !Array.isArray(value);\n}\n\nfunction typeMatches(type: string, value: unknown): boolean {\n  switch (type) {\n    case 'object':\n      return isPlainObject(value);\n    case 'array':\n      return Array.isArray(value);\n    case 'string':\n      return typeof value === 'string';\n    case 'boolean':\n      return typeof value === 'boolean';\n    case 'number':\n      return typeof value === 'number' && Number.isFinite(value);\n    case 'integer':\n      return typeof value === 'number' && Number.isInteger(value);\n    case 'null':\n      return value === null;\n    default:\n      throw new Error(`json-schema: unsupported type '${type}'`);\n  }\n}\n\nfunction resolveRef(root: JsonSchema, ref: string): JsonSchema {\n  // `#/$defs/<name>` (2019-09 and later) or `#/definitions/<name>` (draft-07): both are a\n  // local definition table and nothing else is resolved.\n  const m = /^#\\/(\\$defs|definitions)\\/([^/]+)$/.exec(ref);\n  const defs = m === null ? undefined : root[m[1]!];\n  const target = m === null || !isPlainObject(defs) ? undefined : defs[m[2]!];\n  if (!isPlainObject(target)) throw new Error(`json-schema: unresolved $ref '${ref}'`);\n  return target;\n}\n\nfunction check(root: JsonSchema, schema: JsonSchema, value: unknown, path: string, problems: string[]): void {\n  for (const keyword of Object.keys(schema)) {\n    if (!KEYWORDS.has(keyword) && !ANNOTATIONS.has(keyword)) {\n      throw new Error(`json-schema: keyword '${keyword}' at ${path} is outside the supported subset`);\n    }\n  }\n  if (typeof schema['$ref'] === 'string') check(root, resolveRef(root, schema['$ref']), value, path, problems);\n  // `if`/`then`/`else`: the branch whose condition the value meets is checked; the condition's\n  // own problems are not reported.\n  if (isPlainObject(schema['if'])) {\n    const condition: string[] = [];\n    check(root, schema['if'], value, path, condition);\n    const branch = condition.length === 0 ? schema['then'] : schema['else'];\n    if (isPlainObject(branch)) check(root, branch, value, path, problems);\n  }\n  if (schema['type'] !== undefined) {\n    const types = Array.isArray(schema['type']) ? (schema['type'] as unknown[]) : [schema['type']];\n    if (types.length === 0 || types.some((type) => typeof type !== 'string')) {\n      throw new Error(`json-schema: 'type' at ${path} is not a type name or an array of type names`);\n    }\n    if (!types.some((type) => typeMatches(type as string, value))) {\n      problems.push(`${path}: expected ${types.join(' or ')}`);\n      return;\n    }\n  }\n  if ('const' in schema && JSON.stringify(schema['const']) !== JSON.stringify(value)) {\n    problems.push(`${path}: expected ${JSON.stringify(schema['const'])}`);\n  }\n  if (Array.isArray(schema['enum']) && !schema['enum'].some((option) => JSON.stringify(option) === JSON.stringify(value))) {\n    problems.push(`${path}: ${JSON.stringify(value)} is not one of ${JSON.stringify(schema['enum'])}`);\n  }\n  if (typeof value === 'number' && typeof schema['minimum'] === 'number' && value < schema['minimum']) {\n    problems.push(`${path}: ${value} is less than ${schema['minimum']}`);\n  }\n  if (typeof value === 'string') {\n    if (typeof schema['minLength'] === 'number' && [...value].length < schema['minLength']) {\n      problems.push(`${path}: shorter than ${schema['minLength']}`);\n    }\n    if (typeof schema['pattern'] === 'string' && !new RegExp(schema['pattern'], 'u').test(value)) {\n      problems.push(`${path}: '${value}' does not match ${schema['pattern']}`);\n    }\n  }\n  if (Array.isArray(value)) {\n    if (typeof schema['minItems'] === 'number' && value.length < schema['minItems']) {\n      problems.push(`${path}: fewer than ${schema['minItems']} items`);\n    }\n    if (typeof schema['maxItems'] === 'number' && value.length > schema['maxItems']) {\n      problems.push(`${path}: more than ${schema['maxItems']} items`);\n    }\n    if (schema['uniqueItems'] === true) {\n      const seen = new Set(value.map((item) => JSON.stringify(item)));\n      if (seen.size !== value.length) problems.push(`${path}: items are not unique`);\n    }\n    if (isPlainObject(schema['items'])) {\n      const items = schema['items'];\n      value.forEach((item, i) => check(root, items, item, `${path}[${i}]`, problems));\n    } else if (Array.isArray(schema['items'])) {\n      // A tuple: each position has its own schema; a position past the tuple is unchecked.\n      (schema['items'] as unknown[]).forEach((itemSchema, i) => {\n        if (!isPlainObject(itemSchema)) throw new Error(`json-schema: items[${i}] at ${path} is not a schema`);\n        if (i < value.length) check(root, itemSchema, value[i], `${path}[${i}]`, problems);\n      });\n    }\n  }\n  if (isPlainObject(value)) {\n    const properties = isPlainObject(schema['properties']) ? schema['properties'] : {};\n    if (Array.isArray(schema['required'])) {\n      for (const key of schema['required'] as readonly string[]) {\n        if (!Object.hasOwn(value, key)) problems.push(`${path}: missing '${key}'`);\n      }\n    }\n    for (const [key, child] of Object.entries(value)) {\n      const where = `${path}.${key}`;\n      if (isPlainObject(schema['propertyNames'])) check(root, schema['propertyNames'], key, `${where} (name)`, problems);\n      // Own properties only: a `__proto__` key must not resolve to Object.prototype.\n      const declared = Object.hasOwn(properties, key) ? properties[key] : undefined;\n      if (isPlainObject(declared)) {\n        check(root, declared, child, where, problems);\n      } else if (schema['additionalProperties'] === false) {\n        problems.push(`${where}: unexpected property`);\n      } else if (isPlainObject(schema['additionalProperties'])) {\n        check(root, schema['additionalProperties'], child, where, problems);\n      }\n    }\n  }\n}\n\n/**\n * Every place `value` breaks `schema`, as `$.path: reason` lines. Empty when it conforms.\n * Throws when the schema uses a keyword outside the subset.\n * @internal\n */\nexport function schemaProblems(schema: JsonSchema, value: unknown): string[] {\n  const problems: string[] = [];\n  check(schema, schema, value, '$', problems);\n  return problems;\n}\n"]}

package/dist/core/labeled-tensor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"labeled-tensor.d.ts","sourceRoot":"","sources":["../../src/core/labeled-tensor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,YAAY,EAAc,MAAM,+BAA+B,CAAC;AAC5F,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAOvF;;;;;;GAMG;AACH,qBAAa,8BAA+B,SAAQ,QAAQ;IAC1D,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,YAAY,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAUjD;CACF;AAED;;;;;;;;GAQG;AACH,qBAAa,iBAAkB,SAAQ,QAAQ;IAC7C,SAAgB,OAAO,EAAE,gBAAgB,CAAC;IAC1C,SAAgB,QAAQ,EAAE,QAAQ,CAAC;IACnC,SAAgB,SAAS,EAAE,QAAQ,CAAC;IACpC,YACE,OAAO,EAAE,gBAAgB,EACzB,QAAQ,EAAE,QAAQ,EAClB,SAAS,EAAE,QAAQ,EAYpB;CACF;AAED;;;;;;;;GAQG;AACH,qBAAa,qBAAsB,SAAQ,QAAQ;IACjD,SAAgB,OAAO,EAAE,gBAAgB,CAAC;IAC1C;;;;OAIG;IACH,YAAY,OAAO,EAAE,gBAAgB,EAAE,KAAK,GAAE,aAAa,GAAG,eAAiC,EAY9F;CACF;AAED;;;;;;;;;;GAUG;AACH,qBAAa,sBAAuB,SAAQ,QAAQ;IAClD,SAAgB,SAAS,EAAE,MAAM,CAAC;IAClC,SAAgB,GAAG,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACjD,YACE,SAAS,EAAE,MAAM,EACjB,WAAW,EAAE,SAAS;QAAE,EAAE,EAAE,gBAAgB,CAAC;QAAC,IAAI,EAAE,QAAQ,CAAA;KAAE,EAAE,EAiBjE;CACF;AAED;;;;;;;GAOG;AACH,qBAAa,qBAAsB,SAAQ,QAAQ;IACjD,SAAgB,QAAQ,EAAE,MAAM,CAAC;IACjC,SAAgB,MAAM,EAAE,MAAM,CAAC;IAC/B,YAAY,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAU3C;CACF;AAED;;;;;;;;GAQG;AACH,qBAAa,cAAe,SAAQ,QAAQ;IAC1C,SAAgB,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,SAAgB,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,YAAY,SAAS,EAAE,SAAS,MAAM,EAAE,EAAE,SAAS,EAAE,SAAS,MAAM,EAAE,EAUrE;CACF;AAED;;;;;;GAMG;AACH,qBAAa,cAAe,SAAQ,QAAQ;IAC1C,YAAY,OAAO,EAAE,MAAM,EAI1B;CACF;AAED;;;;;;GAMG;AACH,qBAAa,cAAe,SAAQ,QAAQ;IAC1C,YAAY,OAAO,EAAE,MAAM,EAI1B;CACF;AAMD;;;;;;;;GAQG;AACH,wBAAgB,mBAAmB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC,EACpF,MAAM,EAAE,CAAC,GACR,MAAM,EAAE,CAEV;AAuBD;;;;;;;;;GASG;AACH,qBAAa,aAAa,CACxB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC;IAE7F,SAAgB,MAAM,EAAE,YAAY,CAAC;IACrC,SAAgB,MAAM,EAAE,YAAY,CAAC;IACrC,SAAgB,MAAM,EAAE,CAAC,CAAC;IAC1B;;;;;;OAMG;IACH,SAAgB,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IAE7C,YACE,MAAM,EAAE,YAAY,EACpB,MAAM,EAAE,YAAY,EACpB,MAAM,EAAE,CAAC,EACT,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,EAgB9B;IAED;;;;;OAKG;IACI,MAAM,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAMjC;IAED;;;;;;;;;;;;;;;OAeG;IACI,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC,EAChE,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,GACtB,aAAa,CA4Gf;IAED;;;;;;OAMG;IACI,SAAS,CAAC,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAyB/E;IAED;;;;;;;;;OASG;IACI,OAAO,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAO7D;IAED;;;;;;;;;;;;OAYG;IACI,SAAS,CACd,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,MAAM,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAA;KAAE,GACvD,aAAa,CAuDf;IAED;;;;;;;OAOG;IACI,SAAS,CACd,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,SAAS;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,GAC/E,aAAa,CA4Df;CACF"}
+{"version":3,"file":"labeled-tensor.d.ts","sourceRoot":"","sources":["../../src/core/labeled-tensor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,YAAY,EAAc,MAAM,+BAA+B,CAAC;AAC5F,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAOvF;;;;;;GAMG;AACH,qBAAa,8BAA+B,SAAQ,QAAQ;IAC1D,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,YAAY,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EASjD;CACF;AAED;;;;;;;;GAQG;AACH,qBAAa,iBAAkB,SAAQ,QAAQ;IAC7C,SAAgB,OAAO,EAAE,gBAAgB,CAAC;IAC1C,SAAgB,QAAQ,EAAE,QAAQ,CAAC;IACnC,SAAgB,SAAS,EAAE,QAAQ,CAAC;IACpC,YACE,OAAO,EAAE,gBAAgB,EACzB,QAAQ,EAAE,QAAQ,EAClB,SAAS,EAAE,QAAQ,EAWpB;CACF;AAED;;;;;;;;GAQG;AACH,qBAAa,qBAAsB,SAAQ,QAAQ;IACjD,SAAgB,OAAO,EAAE,gBAAgB,CAAC;IAC1C;;;;OAIG;IACH,YAAY,OAAO,EAAE,gBAAgB,EAAE,KAAK,GAAE,aAAa,GAAG,eAAiC,EAW9F;CACF;AAED;;;;;;;;;;GAUG;AACH,qBAAa,sBAAuB,SAAQ,QAAQ;IAClD,SAAgB,SAAS,EAAE,MAAM,CAAC;IAClC,SAAgB,GAAG,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACjD,YACE,SAAS,EAAE,MAAM,EACjB,WAAW,EAAE,SAAS;QAAE,EAAE,EAAE,gBAAgB,CAAC;QAAC,IAAI,EAAE,QAAQ,CAAA;KAAE,EAAE,EAgBjE;CACF;AAED;;;;;;;GAOG;AACH,qBAAa,qBAAsB,SAAQ,QAAQ;IACjD,SAAgB,QAAQ,EAAE,MAAM,CAAC;IACjC,SAAgB,MAAM,EAAE,MAAM,CAAC;IAC/B,YAAY,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAS3C;CACF;AAED;;;;;;;;GAQG;AACH,qBAAa,cAAe,SAAQ,QAAQ;IAC1C,SAAgB,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,SAAgB,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,YAAY,SAAS,EAAE,SAAS,MAAM,EAAE,EAAE,SAAS,EAAE,SAAS,MAAM,EAAE,EASrE;CACF;AAED;;;;;;GAMG;AACH,qBAAa,cAAe,SAAQ,QAAQ;IAC1C,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED;;;;;;GAMG;AACH,qBAAa,cAAe,SAAQ,QAAQ;IAC1C,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAMD;;;;;;;;GAQG;AACH,wBAAgB,mBAAmB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC,EACpF,MAAM,EAAE,CAAC,GACR,MAAM,EAAE,CAEV;AAuBD;;;;;;;;;GASG;AACH,qBAAa,aAAa,CACxB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC;IAE7F,SAAgB,MAAM,EAAE,YAAY,CAAC;IACrC,SAAgB,MAAM,EAAE,YAAY,CAAC;IACrC,SAAgB,MAAM,EAAE,CAAC,CAAC;IAC1B;;;;;;OAMG;IACH,SAAgB,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IAE7C,YACE,MAAM,EAAE,YAAY,EACpB,MAAM,EAAE,YAAY,EACpB,MAAM,EAAE,CAAC,EACT,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,EAgB9B;IAED;;;;;OAKG;IACI,MAAM,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAMjC;IAED;;;;;;;;;;;;;;;OAeG;IACI,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC,EAChE,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,GACtB,aAAa,CA4Gf;IAED;;;;;;OAMG;IACI,SAAS,CAAC,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAyB/E;IAED;;;;;;;;;OASG;IACI,OAAO,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAO7D;IAED;;;;;;;;;;;;OAYG;IACI,SAAS,CACd,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,MAAM,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAA;KAAE,GACvD,aAAa,CAuDf;IAED;;;;;;;OAOG;IACI,SAAS,CACd,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,SAAS;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,GAC/E,aAAa,CA4Df;CACF"}

package/dist/core/labeled-tensor.js

@@ -49,7 +49,6 @@ export class LabeledTensorConstructionError extends UPTError {
         this.name = 'LabeledTensorConstructionError';
         this.labelCount = labelCount;
         this.tensorRank = tensorRank;
-        Object.setPrototypeOf(this, LabeledTensorConstructionError.prototype);
     }
 }
 /**
@@ -73,7 +72,6 @@ export class AxisMismatchError extends UPTError {
         this.indexId = indexId;
         this.leftAxis = leftAxis;
         this.rightAxis = rightAxis;
-        Object.setPrototypeOf(this, AxisMismatchError.prototype);
     }
 }
 /**
@@ -101,7 +99,6 @@ export class IdentityConflictError extends UPTError {
                 `ambiguous — rename or contract one side first.`);
         this.name = 'IdentityConflictError';
         this.indexId = indexId;
-        Object.setPrototypeOf(this, IdentityConflictError.prototype);
     }
 }
 /**
@@ -131,7 +128,6 @@ export class IndexNameMismatchError extends UPTError {
         this.name = 'IndexNameMismatchError';
         this.indexName = indexName;
         this.ids = ids;
-        Object.setPrototypeOf(this, IndexNameMismatchError.prototype);
     }
 }
 /**
@@ -152,7 +148,6 @@ export class RankPreservationError extends UPTError {
         this.name = 'RankPreservationError';
         this.fromRank = fromRank;
         this.toRank = toRank;
-        Object.setPrototypeOf(this, RankPreservationError.prototype);
     }
 }
 /**
@@ -174,7 +169,6 @@ export class AxisOrderError extends UPTError {
         this.name = 'AxisOrderError';
         this.axisOrder = axisOrder;
         this.labelKeys = labelKeys;
-        Object.setPrototypeOf(this, AxisOrderError.prototype);
     }
 }
 /**
@@ -188,7 +182,6 @@ export class AxisMergeError extends UPTError {
     constructor(message) {
         super(`LabeledTensor.mergeAxes: ${message}`);
         this.name = 'AxisMergeError';
-        Object.setPrototypeOf(this, AxisMergeError.prototype);
     }
 }
 /**
@@ -202,7 +195,6 @@ export class AxisSplitError extends UPTError {
     constructor(message) {
         super(`LabeledTensor.splitAxis: ${message}`);
         this.name = 'AxisSplitError';
-        Object.setPrototypeOf(this, AxisSplitError.prototype);
     }
 }
 // ---------------------------------------------------------------------------

package/dist/core/labeled-tensor.js.map

@@ -1 +1 @@
-{"version":3,"file":"labeled-tensor.js","sourceRoot":"","sources":["../../src/core/labeled-tensor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAGpD,8EAA8E;AAC9E,qEAAqE;AACrE,8BAA8B;AAC9B,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,OAAO,8BAA+B,SAAQ,QAAQ;IAC1C,UAAU,CAAS;IACnB,UAAU,CAAS;IACnC,YAAY,UAAkB,EAAE,UAAkB;QAChD,KAAK,CACH,oCAAoC,UAAU,eAAe;YAC7D,kBAAkB,UAAU,yCAAyC;YACrE,2BAA2B,CAC5B,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,gCAAgC,CAAC;QAC7C,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,8BAA8B,CAAC,SAAS,CAAC,CAAC;IACxE,CAAC;CACF;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,iBAAkB,SAAQ,QAAQ;IAC7B,OAAO,CAAmB;IAC1B,QAAQ,CAAW;IACnB,SAAS,CAAW;IACpC,YACE,OAAyB,EACzB,QAAkB,EAClB,SAAmB;QAEnB,KAAK,CACH,qDAAqD,OAAO,IAAI;YAChE,sBAAsB,QAAQ,SAAS,SAAS,iBAAiB;YACjE,iCAAiC,CAClC,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;QAChC,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,iBAAiB,CAAC,SAAS,CAAC,CAAC;IAC3D,CAAC;CACF;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,qBAAsB,SAAQ,QAAQ;IACjC,OAAO,CAAmB;IAC1C;;;;OAIG;IACH,YAAY,OAAyB,EAAE,KAAK,GAAoC,eAAe;QAC7F,KAAK,CACH,KAAK,KAAK,aAAa;YACrB,CAAC,CAAC,6CAA6C,OAAO,kCAAkC;gBACtF,4EAA4E;YAC9E,CAAC,CAAC,6CAA6C,OAAO,iBAAiB;gBACrE,kEAAkE;gBAClE,gDAAgD,CACrD,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;QACpC,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,qBAAqB,CAAC,SAAS,CAAC,CAAC;IAC/D,CAAC;CACF;AAED;;;;;;;;;;GAUG;AACH,MAAM,OAAO,sBAAuB,SAAQ,QAAQ;IAClC,SAAS,CAAS;IAClB,GAAG,CAA8B;IACjD,YACE,SAAiB,EACjB,WAAgE;QAEhE,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,WAAW;aAC1B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,IAAI,IAAI,CAAC;aAC1C,IAAI,CAAC,OAAO,CAAC,CAAC;QACjB,KAAK,CACH,uCAAuC,SAAS,kBAAkB;YAClE,eAAe,SAAS,0CAA0C;YAClE,iEAAiE;YACjE,mEAAmE;YACnE,gDAAgD,CACjD,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;QACrC,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;QACf,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAChE,CAAC;CACF;AAED;;;;;;;GAOG;AACH,MAAM,OAAO,qBAAsB,SAAQ,QAAQ;IACjC,QAAQ,CAAS;IACjB,MAAM,CAAS;IAC/B,YAAY,QAAgB,EAAE,MAAc;QAC1C,KAAK,CACH,kDAAkD,QAAQ,MAAM;YAChE,GAAG,MAAM,yDAAyD;YAClE,gDAAgD,CACjD,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;QACpC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,qBAAqB,CAAC,SAAS,CAAC,CAAC;IAC/D,CAAC;CACF;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,cAAe,SAAQ,QAAQ;IAC1B,SAAS,CAAoB;IAC7B,SAAS,CAAoB;IAC7C,YAAY,SAA4B,EAAE,SAA4B;QACpE,KAAK,CACH,6BAA6B,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,yBAAyB;YAC1E,sBAAsB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,8BAA8B;YACxE,0CAA0C,CAC3C,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAC;QAC7B,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC;IACxD,CAAC;CACF;AAED;;;;;;GAMG;AACH,MAAM,OAAO,cAAe,SAAQ,QAAQ;IAC1C,YAAY,OAAe;QACzB,KAAK,CAAC,4BAA4B,OAAO,EAAE,CAAC,CAAC;QAC7C,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAC;QAC7B,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC;IACxD,CAAC;CACF;AAED;;;;;;GAMG;AACH,MAAM,OAAO,cAAe,SAAQ,QAAQ;IAC1C,YAAY,OAAe;QACzB,KAAK,CAAC,4BAA4B,OAAO,EAAE,CAAC,CAAC;QAC7C,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAC;QAC7B,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC;IACxD,CAAC;CACF;AAED,8EAA8E;AAC9E,0CAA0C;AAC1C,8EAA8E;AAE9E;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAS;IAET,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;AACpC,CAAC;AAED;;;;;GAKG;AACH,SAAS,eAAe,CAAC,KAAwB,EAAE,IAAuB;IACxE,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC/C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAChD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACd,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8EAA8E;AAC9E,gCAAgC;AAChC,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,OAAO,aAAa;IAGR,MAAM,CAAe;IACrB,MAAM,CAAe;IACrB,MAAM,CAAI;IAC1B;;;;;;OAMG;IACa,SAAS,CAAoB;IAE7C,YACE,MAAoB,EACpB,MAAoB,EACpB,MAAS,EACT,SAA6B;QAE7B,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI,SAAS,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YAC7C,MAAM,IAAI,8BAA8B,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAClF,CAAC;QACD,MAAM,KAAK,GAAG,SAAS,IAAI,mBAAmB,CAAC,MAAM,CAAC,CAAC;QACvD,0EAA0E;QAC1E,uCAAuC;QACvC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;YAC5E,MAAM,IAAI,cAAc,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC7C,CAAC;QACD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC;IACzB,CAAC;IAED;;;;;OAKG;IACI,MAAM,CAAC,GAAW;QACvB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACzC,IAAI,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC;YAChB,MAAM,IAAI,QAAQ,CAAC,0BAA0B,GAAG,uBAAuB,CAAC,CAAC;QAC3E,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACI,QAAQ,CACb,KAAuB;QAEvB,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;YACjC,MAAM,IAAI,QAAQ,CAChB,4CAA4C,IAAI,CAAC,MAAM,CAAC,IAAI,MAAM;gBAClE,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,wCAAwC,CAC7D,CAAC;QACJ,CAAC;QAED,sEAAsE;QACtE,4EAA4E;QAC5E,oCAAoC;QACpC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QACjC,MAAM,UAAU,GAAG,KAAK,CAAC,SAAS,CAAC;QAEnC,mEAAmE;QACnE,gEAAgE;QAChE,kEAAkE;QAClE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwE,CAAC;QAC/F,MAAM,QAAQ,GAAG,CACf,IAAW,EACX,KAAwB,EACxB,MAAgD,EAC1C,EAAE;YACR,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;gBACxB,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;gBACxB,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACxC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;gBAChD,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC,CAAC;QACF,QAAQ,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACpC,QAAQ,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACtC,KAAK,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,MAAM,EAAE,CAAC;YAC9C,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;YACrD,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;YACtD,IAAI,CAAC,MAAM,IAAI,CAAC,OAAO;gBAAE,SAAS;YAClC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAClD,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC;gBAAE,MAAM,IAAI,sBAAsB,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAC7E,CAAC;QAED,6CAA6C;QAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,EAA8F,CAAC;QACpH,SAAS,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;YAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;YACrC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YACzD,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC;QACH,UAAU,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;YAC/B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;YACrC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YACzD,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,oEAAoE;QACpE,MAAM,YAAY,GAAyC,EAAE,CAAC;QAC9D,MAAM,IAAI,GAAiC,EAAE,CAAC;QAC9C,MAAM,YAAY,GAA6C,EAAE,CAAC;QAClE,2EAA2E;QAC3E,4EAA4E;QAC5E,6EAA6E;QAC7E,sDAAsD;QACtD,MAAM,eAAe,GAAa,EAAE,CAAC;QAErC,KAAK,MAAM,CAAC,EAAE,EAAE,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC;YACtC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC7B,mDAAmD;gBACnD,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;gBACzB,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBAChD,uEAAuE;gBACvE,wEAAwE;gBACxE,iEAAiE;gBACjE,yEAAyE;gBACzE,4DAA4D;gBAC5D,IAAI,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC;gBAChB,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE,CAAC;oBACpC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACV,GAAG,CAAC;wBACF,GAAG,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;wBACvD,CAAC,EAAE,CAAC;oBACN,CAAC,QAAQ,YAAY,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE;gBAC5C,CAAC;gBACD,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,KAAK,CAAC;oBACjC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC;oBACpB,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBACxB,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC5B,CAAC;iBAAM,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACpC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC;gBAC3B,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;oBAC5B,gEAAgE;oBAChE,+BAA+B;oBAC/B,MAAM,IAAI,qBAAqB,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;gBACrD,CAAC;gBACD,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;oBAC9B,MAAM,IAAI,iBAAiB,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;gBAC1D,CAAC;gBACD,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;YAC1E,CAAC;iBAAM,CAAC;gBACN,+DAA+D;gBAC/D,wDAAwD;gBACxD,MAAM,IAAI,qBAAqB,CAAC,EAAE,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QAED,MAAM,IAAI,GAAe,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;QAChD,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACzE,OAAO,IAAI,aAAa,CAAC,YAAY,EAAE,IAAI,CAAC,MAAM,EAAE,YAAY,EAAE,eAAe,CAAC,CAAC;IACrF,CAAC;IAED;;;;;;OAMG;IACI,SAAS,CAAC,WAA4C;QAC3D,gEAAgE;QAChE,sEAAsE;QACtE,wEAAwE;QACxE,IAAI,WAAW,CAAC,MAAM,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;YACjD,MAAM,IAAI,QAAQ,CAChB,8CAA8C,WAAW,CAAC,MAAM,GAAG;gBACnE,0BAA0B,IAAI,CAAC,SAAS,CAAC,MAAM,QAAQ,CACxD,CAAC;QACJ,CAAC;QACD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnE,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;YAC9B,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAClC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,MAAM,IAAI,QAAQ,CAChB,iCAAiC,MAAM,CAAC,GAAG,CAAC,wBAAwB,CACrE,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjB,CAAC;QACD,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAClE,0EAA0E;QAC1E,oCAAoC;QACpC,OAAO,IAAI,aAAa,CAAC,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC;IACzF,CAAC;IAED;;;;;;;;;OASG;IACI,OAAO,CAAC,KAA4B;QACzC,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YAC9C,MAAM,IAAI,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAC1E,CAAC;QACD,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC/D,6EAA6E;QAC7E,OAAO,IAAI,aAAa,CAAC,cAAc,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IACrF,CAAC;IAED;;;;;;;;;;;;OAYG;IACI,SAAS,CACd,IAAuB,EACvB,MAAwD;QAExD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,cAAc,CAAC,sCAAsC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QACjF,CAAC;QACD,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YACvC,MAAM,IAAI,cAAc,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QAChF,CAAC;QACD,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACpC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAAE,MAAM,IAAI,cAAc,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;YACrE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;QACD,0EAA0E;QAC1E,iDAAiD;QACjD,MAAM,MAAM,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACpD,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACrC,IAAI,EAAE,GAAG,EAAE,KAAK,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,cAAc,CACtB,QAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,2CAA2C;gBACvE,cAAc,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,mCAAmC,CAC3E,CAAC;QACJ,CAAC;QACD,yEAAyE;QACzE,oEAAoE;QACpE,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QACxE,IAAI,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,cAAc,CAAC,eAAe,MAAM,CAAC,GAAG,wCAAwC,CAAC,CAAC;QAC9F,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;YAC9B,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;gBAC1C,MAAM,IAAI,cAAc,CACtB,cAAc,MAAM,CAAC,KAAK,CAAC,EAAE,mCAAmC,CAAC,IAAI,CACtE,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QAChC,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,KAAK,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE;YAAE,UAAU,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;QACtD,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAE7E,MAAM,SAAS,GAA6C,EAAE,CAAC;QAC/D,KAAK,MAAM,CAAC,IAAI,aAAa;YAAE,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC7D,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;QAErC,MAAM,YAAY,GAAG;YACnB,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YAC9B,MAAM,CAAC,GAAG;YACV,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;SAChC,CAAC;QAEF,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC5D,OAAO,IAAI,aAAa,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC;IAC3E,CAAC;IAED;;;;;;;OAOG;IACI,SAAS,CACd,GAAW,EACX,KAAgF;QAEhF,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,CAAC,KAAK,CAAC,CAAC;YAAE,MAAM,IAAI,cAAc,CAAC,IAAI,GAAG,uBAAuB,CAAC,CAAC;QACvE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,cAAc,CAAC,4CAA4C,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACxF,CAAC;QACD,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC;gBACnD,MAAM,IAAI,cAAc,CAAC,SAAS,IAAI,CAAC,GAAG,0CAA0C,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;YACpG,CAAC;YACD,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC;QACvB,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YACzB,MAAM,IAAI,cAAc,CACtB,0BAA0B,OAAO,cAAc,GAAG,cAAc,QAAQ,GAAG,CAC5E,CAAC;QACJ,CAAC;QACD,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;QAC9D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC5C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACrC,MAAM,IAAI,cAAc,CAAC,aAAa,IAAI,CAAC,GAAG,wCAAwC,CAAC,CAAC;YAC1F,CAAC;YACD,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;gBAAE,MAAM,IAAI,cAAc,CAAC,uBAAuB,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;YACtF,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACnB,uEAAuE;YACvE,wEAAwE;YACxE,uEAAuE;YACvE,wEAAwE;YACxE,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC/B,MAAM,IAAI,cAAc,CAAC,uBAAuB,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;YACrE,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC3B,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;gBAC9B,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;oBACxC,MAAM,IAAI,cAAc,CACtB,YAAY,IAAI,CAAC,KAAK,CAAC,EAAE,mCAAmC,CAAC,IAAI,CAClE,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QAChC,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAE9F,MAAM,SAAS,GAA6C,EAAE,CAAC;QAC/D,KAAK,MAAM,CAAC,IAAI,aAAa;YAAE,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC7D,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;QAE3D,MAAM,YAAY,GAAG;YACnB,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;YAC7B,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC;YAC5B,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC;SAC/B,CAAC;QAEF,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC5D,OAAO,IAAI,aAAa,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC;IAC3E,CAAC;CACF","sourcesContent":["/**\n * `LabeledTensor` — engine-level tensor wrapped with\n * `UniversalIndex`-tagged metadata. The catalog-facing surface\n * for physics-axis-aware contractions.\n *\n * Phase 2 + Phase 3 of v0.7 Proposal 1 (Intelligent Index Layer).\n *\n * Composition (Decision #5): `LabeledTensor` owns an `EngineTensor`,\n * a `TensorEngine`, and a labels record. The engine handle is the\n * boundary — `LabeledTensor` doesn't reach into the underlying\n * Float64Array / MathTS handle. Contract matching is strictly\n * `UniversalIndexId` equality (Decision #3). Two indices that share a\n * `name` and not an `id` are refused: `contract` throws\n * `IndexNameMismatchError` and the message names both ids. It does not\n * contract them and it does not return their outer product. Indices\n * whose names differ stay free axes.\n *\n * Design: `docs/planning/v0.7-Proposal-1-Design.md` Decisions\n * #1, #3, #5, #6, #7, #9.\n *\n * Cross-Phase Invariants preserved:\n *   - #1 adapter-on-top: this module does NOT import\n *     `src/dimensional/tensor.ts` or `src/numerical/lowering.ts`.\n *   - #4 `TensorSymbolNode` + `computeContraction` UNCHANGED.\n *   - #5 `TensorEngine` interface UNCHANGED (consumes, doesn't\n *     extend).\n *\n * @module core/labeled-tensor\n */\n\nimport type { EngineTensor, TensorEngine, EinsumSpec } from '../numerical/tensor-engine.js';\nimport { UPTError } from '../dimensional/errors.js';\nimport type { AxisName, UniversalIndex, UniversalIndexId } from './universal-index.js';\n\n// ---------------------------------------------------------------------------\n// Error classes (Phase 3 surface, declared here for co-location with\n// the guards that throw them)\n// ---------------------------------------------------------------------------\n\n/**\n * Thrown by the `LabeledTensor` constructor when the labels record\n * doesn't agree with the underlying tensor's rank\n * (`Object.keys(labels).length !== tensor.shape.length`).\n *\n * @public\n */\nexport class LabeledTensorConstructionError extends UPTError {\n  public readonly labelCount: number;\n  public readonly tensorRank: number;\n  constructor(labelCount: number, tensorRank: number) {\n    super(\n      `LabeledTensor: labels record has ${labelCount} entries but ` +\n      `tensor rank is ${tensorRank}. Every tensor axis must carry exactly ` +\n      `one UniversalIndex label.`,\n    );\n    this.name = 'LabeledTensorConstructionError';\n    this.labelCount = labelCount;\n    this.tensorRank = tensorRank;\n    Object.setPrototypeOf(this, LabeledTensorConstructionError.prototype);\n  }\n}\n\n/**\n * Thrown by `contract` when two `UniversalIndex` values share an\n * `id` but disagree on `axis`. Per Decision #7, this is a physics\n * error caught at the wrapper level. Impossible if both operands\n * use the `Axes` registry; defensive against off-registry\n * `makeIndex` consumers.\n *\n * @public\n */\nexport class AxisMismatchError extends UPTError {\n  public readonly indexId: UniversalIndexId;\n  public readonly leftAxis: AxisName;\n  public readonly rightAxis: AxisName;\n  constructor(\n    indexId: UniversalIndexId,\n    leftAxis: AxisName,\n    rightAxis: AxisName,\n  ) {\n    super(\n      `LabeledTensor.contract: indices with the same id '${indexId}' ` +\n      `disagree on axis ('${leftAxis}' vs '${rightAxis}'). Cross-axis ` +\n      `contraction is a physics error.`,\n    );\n    this.name = 'AxisMismatchError';\n    this.indexId = indexId;\n    this.leftAxis = leftAxis;\n    this.rightAxis = rightAxis;\n    Object.setPrototypeOf(this, AxisMismatchError.prototype);\n  }\n}\n\n/**\n * Thrown by `contract` when the same `UniversalIndexId` appears in\n * more than one non-contracted (free) position across the two\n * operands. Same physical axis showing up free on both sides is\n * physically meaningful (joint distribution) but the einsum\n * machinery has no canonical way to disambiguate.\n *\n * @public\n */\nexport class IdentityConflictError extends UPTError {\n  public readonly indexId: UniversalIndexId;\n  /**\n   * `where` says which shape was met: the id twice on ONE operand (a\n   * self-contraction, which `contract` does not perform), or the id as a\n   * free axis on BOTH operands beside a contraction (three occurrences).\n   */\n  constructor(indexId: UniversalIndexId, where: 'one-operand' | 'both-operands' = 'both-operands') {\n    super(\n      where === 'one-operand'\n        ? `LabeledTensor.contract: UniversalIndexId '${indexId}' appears twice on one operand. ` +\n          `A self-contraction is not a contract(); rename one axis or trace it first.`\n        : `LabeledTensor.contract: UniversalIndexId '${indexId}' appears as a ` +\n          `free axis on both operands. Same physical axis on both sides is ` +\n          `ambiguous — rename or contract one side first.`,\n    );\n    this.name = 'IdentityConflictError';\n    this.indexId = indexId;\n    Object.setPrototypeOf(this, IdentityConflictError.prototype);\n  }\n}\n\n/**\n * Thrown by `contract` when both operands carry the same index `name`\n * and those occurrences do not all share one `UniversalIndexId`.\n *\n * Decision #3 matches by id. A second `makeIndex` call with the same\n * name is a different index. Returning the outer product hid that: the\n * caller who meant one index got a higher-rank tensor and no ids.\n * The error names every id. Distinct names stay an outer product.\n *\n * @public\n */\nexport class IndexNameMismatchError extends UPTError {\n  public readonly indexName: string;\n  public readonly ids: readonly UniversalIndexId[];\n  constructor(\n    indexName: string,\n    occurrences: readonly { id: UniversalIndexId; axis: AxisName }[],\n  ) {\n    const ids = [...new Set(occurrences.map((o) => o.id))];\n    const described = occurrences\n      .map((o) => `'${o.id}' (axis '${o.axis}')`)\n      .join(' and ');\n    super(\n      `LabeledTensor.contract: index name '${indexName}' is carried by ` +\n      `unequal ids ${described}. Contraction matches UniversalIndexId, ` +\n      `not the name. Reuse one UniversalIndex object, or take it from ` +\n      `the Axes registry. A second makeIndex call with the same name is ` +\n      `a different index and is not an outer product.`,\n    );\n    this.name = 'IndexNameMismatchError';\n    this.indexName = indexName;\n    this.ids = ids;\n    Object.setPrototypeOf(this, IndexNameMismatchError.prototype);\n  }\n}\n\n/**\n * Thrown by `reshape` when the requested shape would change the\n * tensor rank. v0.7.0 allows only axis-by-axis size change;\n * rank-changing reshape is deferred to v0.8.0+ (`mergeAxes` /\n * `splitAxis` helpers).\n *\n * @public\n */\nexport class RankPreservationError extends UPTError {\n  public readonly fromRank: number;\n  public readonly toRank: number;\n  constructor(fromRank: number, toRank: number) {\n    super(\n      `LabeledTensor.reshape: cannot change rank from ${fromRank} to ` +\n      `${toRank}. v0.7.0 supports only same-rank reshape; use a future ` +\n      `mergeAxes / splitAxis helper for rank changes.`,\n    );\n    this.name = 'RankPreservationError';\n    this.fromRank = fromRank;\n    this.toRank = toRank;\n    Object.setPrototypeOf(this, RankPreservationError.prototype);\n  }\n}\n\n/**\n * Thrown by the `LabeledTensor` constructor when an explicit `axisOrder` is\n * not a valid permutation of the label keys (wrong length, a key that is not a\n * label, or a duplicate). Distinct from `LabeledTensorConstructionError` (which\n * means label-count ≠ tensor-rank) so a consumer never reads a rank-mismatch\n * field on an order error.\n *\n * @public\n */\nexport class AxisOrderError extends UPTError {\n  public readonly axisOrder: readonly string[];\n  public readonly labelKeys: readonly string[];\n  constructor(axisOrder: readonly string[], labelKeys: readonly string[]) {\n    super(\n      `LabeledTensor: axisOrder [${axisOrder.join(', ')}] is not a permutation ` +\n      `of the label keys [${labelKeys.join(', ')}] (it must list every label ` +\n      `key exactly once, in engine-axis order).`,\n    );\n    this.name = 'AxisOrderError';\n    this.axisOrder = axisOrder;\n    this.labelKeys = labelKeys;\n    Object.setPrototypeOf(this, AxisOrderError.prototype);\n  }\n}\n\n/**\n * Thrown by `mergeAxes` when the request is malformed: fewer than two keys, an\n * unknown key, keys that are not a contiguous run of engine-axis positions, or a\n * merged key/id that collides with a surviving axis.\n *\n * @public\n */\nexport class AxisMergeError extends UPTError {\n  constructor(message: string) {\n    super(`LabeledTensor.mergeAxes: ${message}`);\n    this.name = 'AxisMergeError';\n    Object.setPrototypeOf(this, AxisMergeError.prototype);\n  }\n}\n\n/**\n * Thrown by `splitAxis` when the request is malformed: an unknown key, fewer\n * than two parts, a non-positive/non-integer part size, a size product that\n * does not match the original axis size, or a part key/id that collides.\n *\n * @public\n */\nexport class AxisSplitError extends UPTError {\n  constructor(message: string) {\n    super(`LabeledTensor.splitAxis: ${message}`);\n    this.name = 'AxisSplitError';\n    Object.setPrototypeOf(this, AxisSplitError.prototype);\n  }\n}\n\n// ---------------------------------------------------------------------------\n// canonicalLabelOrder — Risk 2 mitigation\n// ---------------------------------------------------------------------------\n\n/**\n * Stable lexicographic ordering of label keys. JavaScript's\n * `Object.entries` preserves string-key insertion order, but we\n * route all label-key→axis-position mapping through this helper\n * so the contract algorithm doesn't accidentally depend on\n * constructor-call ordering.\n *\n * @internal\n */\nexport function canonicalLabelOrder<L extends Record<string, UniversalIndex<AxisName>>>(\n  labels: L,\n): string[] {\n  return Object.keys(labels).sort();\n}\n\n/**\n * True iff `order` lists exactly the members of `keys`, each once (same length,\n * no duplicates, no foreign entries). Used to validate an explicit `axisOrder`.\n *\n * @internal\n */\nfunction isPermutationOf(order: readonly string[], keys: readonly string[]): boolean {\n  if (order.length !== keys.length) return false;\n  const seen = new Set<string>();\n  const keySet = new Set(keys);\n  for (const k of order) {\n    if (!keySet.has(k) || seen.has(k)) return false;\n    seen.add(k);\n  }\n  return true;\n}\n\n// ---------------------------------------------------------------------------\n// LabeledTensor (wrapper class)\n// ---------------------------------------------------------------------------\n\n/**\n * Engine-agnostic wrapper carrying physics-axis-tagged metadata over\n * an opaque `EngineTensor`. Two `LabeledTensor`s contract over\n * shared `UniversalIndexId` values; non-shared ids become the\n * result's free axes.\n *\n * Construction enforces `Object.keys(labels).length === tensor.shape.length`.\n *\n * @public\n */\nexport class LabeledTensor<\n  L extends Record<string, UniversalIndex<AxisName>> = Record<string, UniversalIndex<AxisName>>,\n> {\n  public readonly tensor: EngineTensor;\n  public readonly engine: TensorEngine;\n  public readonly labels: L;\n  /**\n   * The label keys in ENGINE-AXIS order: `axisOrder[i]` is the key of engine\n   * axis `i`. This is the AUTHORITATIVE label↔axis mapping — consumers must use\n   * it (or {@link axisOf}) rather than re-deriving position by sorting keys,\n   * because `transpose` / `contract` can leave the engine axes in a non-sorted\n   * order. Defaults to `canonicalLabelOrder(labels)` (sorted) when not supplied.\n   */\n  public readonly axisOrder: readonly string[];\n\n  constructor(\n    tensor: EngineTensor,\n    engine: TensorEngine,\n    labels: L,\n    axisOrder?: readonly string[],\n  ) {\n    const labelKeys = Object.keys(labels);\n    if (labelKeys.length !== tensor.shape.length) {\n      throw new LabeledTensorConstructionError(labelKeys.length, tensor.shape.length);\n    }\n    const order = axisOrder ?? canonicalLabelOrder(labels);\n    // Validate `order` is a permutation of the label keys: same length, every\n    // entry is a label key, no duplicates.\n    if (order.length !== labelKeys.length || !isPermutationOf(order, labelKeys)) {\n      throw new AxisOrderError(order, labelKeys);\n    }\n    this.tensor = tensor;\n    this.engine = engine;\n    this.labels = labels;\n    this.axisOrder = order;\n  }\n\n  /**\n   * Engine-axis position of a label key (the inverse of {@link axisOrder}).\n   * Throws if the key is not a label.\n   *\n   * @public\n   */\n  public axisOf(key: string): number {\n    const axis = this.axisOrder.indexOf(key);\n    if (axis === -1) {\n      throw new UPTError(`LabeledTensor.axisOf: '${key}' is not a label key.`);\n    }\n    return axis;\n  }\n\n  /**\n   * Identity-aware contraction (Decision #3): match labels by\n   * `UniversalIndexId` equality only. Returns a new `LabeledTensor`\n   * whose free labels are the union of both operands' free labels\n   * minus the contracted ids, evaluated in `this`-first,\n   * `other`-second canonical order.\n   *\n   * Throws:\n   *   - `IndexNameMismatchError` if both operands use one `name` and\n   *     the ids differ. The message names both ids.\n   *   - `AxisMismatchError` if a shared id disagrees on axis.\n   *   - `IdentityConflictError` if a non-shared id appears free on\n   *     both operands.\n   *\n   * @public\n   */\n  public contract<R extends Record<string, UniversalIndex<AxisName>>>(\n    other: LabeledTensor<R>,\n  ): LabeledTensor {\n    if (this.engine !== other.engine) {\n      throw new UPTError(\n        `LabeledTensor.contract: engine mismatch (${this.engine.name} vs ` +\n        `${other.engine.name}). Both operands must share an engine.`,\n      );\n    }\n\n    // Map labels → ENGINE axis positions via each operand's authoritative\n    // axisOrder (NOT sorted key order — an operand may carry a non-sorted order\n    // from a prior transpose/contract).\n    const leftOrder = this.axisOrder;\n    const rightOrder = other.axisOrder;\n\n    // Same name on both operands is one index only when the ids match.\n    // A fresh makeIndex with that name is a different id; the outer\n    // product of that pair is the footgun Decision #3 exists to stop.\n    const byName = new Map<string, Array<{ id: UniversalIndexId; axis: AxisName; side: 0 | 1 }>>();\n    const noteName = (\n      side: 0 | 1,\n      order: readonly string[],\n      labels: Record<string, UniversalIndex<AxisName>>,\n    ): void => {\n      for (const key of order) {\n        const idx = labels[key];\n        const list = byName.get(idx.name) ?? [];\n        list.push({ id: idx.id, axis: idx.axis, side });\n        byName.set(idx.name, list);\n      }\n    };\n    noteName(0, leftOrder, this.labels);\n    noteName(1, rightOrder, other.labels);\n    for (const [indexName, occurrences] of byName) {\n      const onLeft = occurrences.some((o) => o.side === 0);\n      const onRight = occurrences.some((o) => o.side === 1);\n      if (!onLeft || !onRight) continue;\n      const ids = new Set(occurrences.map((o) => o.id));\n      if (ids.size > 1) throw new IndexNameMismatchError(indexName, occurrences);\n    }\n\n    // Build id → (operand, axis-position) sites.\n    const sites = new Map<UniversalIndexId, Array<{ operand: 0 | 1; axis: number; key: string; axisName: AxisName }>>();\n    leftOrder.forEach((key, axis) => {\n      const idx = this.labels[key];\n      const list = sites.get(idx.id) ?? [];\n      list.push({ operand: 0, axis, key, axisName: idx.axis });\n      sites.set(idx.id, list);\n    });\n    rightOrder.forEach((key, axis) => {\n      const idx = other.labels[key];\n      const list = sites.get(idx.id) ?? [];\n      list.push({ operand: 1, axis, key, axisName: idx.axis });\n      sites.set(idx.id, list);\n    });\n\n    // Classify each id: contracted (in both operands) vs free (in one).\n    const contractions: EinsumSpec['contractions'][number][] = [];\n    const free: EinsumSpec['free'][number][] = [];\n    const resultLabels: Record<string, UniversalIndex<AxisName>> = {};\n    // The result's engine-axis order: the result key of each free axis, pushed\n    // in the SAME order the free axes enter `spec.free` (which is the order the\n    // engine emits result axes). Kept exactly parallel to `free` so it is always\n    // a valid permutation of `Object.keys(resultLabels)`.\n    const resultAxisOrder: string[] = [];\n\n    for (const [id, occurrences] of sites) {\n      if (occurrences.length === 1) {\n        // Free axis on exactly one operand. Carry through.\n        const o = occurrences[0];\n        free.push({ operand: o.operand, axis: o.axis });\n        // Preserve the original label key; on collision (both operands use the\n        // same string key for *different* ids) suffix until a FREE key is found\n        // (`x` → `x_0`/`x_1` → `x_0_0`…), so result keys stay UNIQUE and\n        // resultAxisOrder remains a valid permutation (Eve Y1: guarding only the\n        // unsuffixed key could overwrite an existing suffixed key).\n        let key = o.key;\n        if (resultLabels[key] !== undefined) {\n          let n = 0;\n          do {\n            key = `${o.key}_${o.operand}${n === 0 ? '' : `_${n}`}`;\n            n++;\n          } while (resultLabels[key] !== undefined);\n        }\n        resultLabels[key] = o.operand === 0\n          ? this.labels[o.key]\n          : other.labels[o.key];\n        resultAxisOrder.push(key);\n      } else if (occurrences.length === 2) {\n        const [a, b] = occurrences;\n        if (a.operand === b.operand) {\n          // The same id twice in one operand is a self-contraction, which\n          // contract() does not perform.\n          throw new IdentityConflictError(id, 'one-operand');\n        }\n        if (a.axisName !== b.axisName) {\n          throw new AxisMismatchError(id, a.axisName, b.axisName);\n        }\n        contractions.push({ pair: [[a.operand, a.axis], [b.operand, b.axis]] });\n      } else {\n        // 3+ occurrences across the two operands: triple+ contraction,\n        // not supported by the binary einsum primitive. Reject.\n        throw new IdentityConflictError(id);\n      }\n    }\n\n    const spec: EinsumSpec = { contractions, free };\n    const resultTensor = this.engine.einsum(spec, this.tensor, other.tensor);\n    return new LabeledTensor(resultTensor, this.engine, resultLabels, resultAxisOrder);\n  }\n\n  /**\n   * Reorder axes per the given permutation of label keys. The new\n   * label record reflects the new axis order; the engine handles\n   * the storage-level permutation via `engine.transpose`.\n   *\n   * @public\n   */\n  public transpose(newKeyOrder: ReadonlyArray<keyof L & string>): LabeledTensor<L> {\n    // Permutation is computed against the CURRENT engine-axis order\n    // (`this.axisOrder`), NOT the sorted key order — `this.axisOrder` may\n    // already be non-sorted (e.g. a contract result, or a prior transpose).\n    if (newKeyOrder.length !== this.axisOrder.length) {\n      throw new UPTError(\n        `LabeledTensor.transpose: new key order has ${newKeyOrder.length} ` +\n        `entries but tensor has ${this.axisOrder.length} axes.`,\n      );\n    }\n    const currentIndex = new Map(this.axisOrder.map((k, i) => [k, i]));\n    const perm: number[] = [];\n    for (const key of newKeyOrder) {\n      const pos = currentIndex.get(key);\n      if (pos === undefined) {\n        throw new UPTError(\n          `LabeledTensor.transpose: key '${String(key)}' not found in labels.`,\n        );\n      }\n      perm.push(pos);\n    }\n    const transposedTensor = this.engine.transpose(this.tensor, perm);\n    // The result's engine axis i is the old axis perm[i] = newKeyOrder[i], so\n    // the new axisOrder IS newKeyOrder.\n    return new LabeledTensor(transposedTensor, this.engine, this.labels, [...newKeyOrder]);\n  }\n\n  /**\n   * Per-axis size change. Rank must be preserved (Decision #5);\n   * rank-changing reshape throws `RankPreservationError`. v0.8.0+\n   * may add `mergeAxes` / `splitAxis` for rank-changing operations.\n   *\n   * Labels survive unchanged (axis identity is preserved across a\n   * size-only reshape).\n   *\n   * @public\n   */\n  public reshape(shape: ReadonlyArray<number>): LabeledTensor<L> {\n    if (shape.length !== this.tensor.shape.length) {\n      throw new RankPreservationError(this.tensor.shape.length, shape.length);\n    }\n    const reshapedTensor = this.engine.reshape(this.tensor, shape);\n    // Rank-preserving size change never reorders axes — carry axisOrder through.\n    return new LabeledTensor(reshapedTensor, this.engine, this.labels, this.axisOrder);\n  }\n\n  /**\n   * Fuse a CONTIGUOUS run of engine axes (named by `keys`) into ONE axis\n   * carrying the caller-supplied `merged` label. Rank R → R − (keys.length − 1).\n   *\n   * The keys must occupy a gapless consecutive run of engine-axis positions\n   * (`engine.reshape` fuses STORAGE-adjacent axes only) — `transpose` them\n   * adjacent first otherwise. The fused axis spans the merged axes in ENGINE\n   * order; the order `keys` are listed does not matter (the merged axis is\n   * opaque). The caller owns the merged axis's identity — no composite-id is\n   * synthesized.\n   *\n   * @public\n   */\n  public mergeAxes(\n    keys: readonly string[],\n    merged: { key: string; index: UniversalIndex<AxisName> },\n  ): LabeledTensor {\n    if (keys.length < 2) {\n      throw new AxisMergeError(`need at least 2 keys to merge, got ${keys.length}.`);\n    }\n    if (new Set(keys).size !== keys.length) {\n      throw new AxisMergeError(`keys ${JSON.stringify(keys)} contain a duplicate.`);\n    }\n    const positions: number[] = [];\n    for (const k of keys) {\n      const p = this.axisOrder.indexOf(k);\n      if (p === -1) throw new AxisMergeError(`'${k}' is not a label key.`);\n      positions.push(p);\n    }\n    // Distinct keys have distinct positions (the duplicate check above), so a\n    // contiguous run is exactly `hi − lo === n − 1`.\n    const sorted = [...positions].sort((a, b) => a - b);\n    const lo = sorted[0];\n    const hi = sorted[sorted.length - 1];\n    if (hi - lo !== sorted.length - 1) {\n      throw new AxisMergeError(\n        `keys ${JSON.stringify(keys)} are not a contiguous run of engine axes ` +\n        `(positions ${JSON.stringify(positions)}); transpose them adjacent first.`,\n      );\n    }\n    // Surviving keys = axes outside the merged run. (A merged key may safely\n    // REUSE one of the consumed keys' names — those are not surviving.)\n    const survivingKeys = this.axisOrder.filter((_, i) => i < lo || i > hi);\n    if (survivingKeys.includes(merged.key)) {\n      throw new AxisMergeError(`merged key '${merged.key}' collides with a surviving label key.`);\n    }\n    for (const k of survivingKeys) {\n      if (this.labels[k].id === merged.index.id) {\n        throw new AxisMergeError(\n          `merged id '${merged.index.id}' collides with surviving axis '${k}'.`,\n        );\n      }\n    }\n\n    const shape = this.tensor.shape;\n    let mergedSize = 1;\n    for (let i = lo; i <= hi; i++) mergedSize *= shape[i];\n    const newShape = [...shape.slice(0, lo), mergedSize, ...shape.slice(hi + 1)];\n\n    const newLabels: Record<string, UniversalIndex<AxisName>> = {};\n    for (const k of survivingKeys) newLabels[k] = this.labels[k];\n    newLabels[merged.key] = merged.index;\n\n    const newAxisOrder = [\n      ...this.axisOrder.slice(0, lo),\n      merged.key,\n      ...this.axisOrder.slice(hi + 1),\n    ];\n\n    const reshaped = this.engine.reshape(this.tensor, newShape);\n    return new LabeledTensor(reshaped, this.engine, newLabels, newAxisOrder);\n  }\n\n  /**\n   * Split ONE engine axis (named `key`) into several, each carrying a\n   * caller-supplied sub-label whose sizes multiply to the original axis size.\n   * Rank R → R + (parts.length − 1). The parts occupy the split axis's position\n   * in `parts` order. Inverse of {@link mergeAxes}.\n   *\n   * @public\n   */\n  public splitAxis(\n    key: string,\n    parts: readonly { key: string; index: UniversalIndex<AxisName>; size: number }[],\n  ): LabeledTensor {\n    const p = this.axisOrder.indexOf(key);\n    if (p === -1) throw new AxisSplitError(`'${key}' is not a label key.`);\n    if (parts.length < 2) {\n      throw new AxisSplitError(`need at least 2 parts to split into, got ${parts.length}.`);\n    }\n    let product = 1;\n    for (const part of parts) {\n      if (!Number.isInteger(part.size) || part.size <= 0) {\n        throw new AxisSplitError(`part '${part.key}' size must be a positive integer, got ${part.size}.`);\n      }\n      product *= part.size;\n    }\n    const axisSize = this.tensor.shape[p];\n    if (product !== axisSize) {\n      throw new AxisSplitError(\n        `part sizes multiply to ${product} but axis '${key}' has size ${axisSize}.`,\n      );\n    }\n    const survivingKeys = this.axisOrder.filter((k) => k !== key);\n    const seen = new Set<string>();\n    const seenIds = new Set<UniversalIndexId>();\n    for (const part of parts) {\n      if (survivingKeys.includes(part.key)) {\n        throw new AxisSplitError(`part key '${part.key}' collides with a surviving label key.`);\n      }\n      if (seen.has(part.key)) throw new AxisSplitError(`duplicate part key '${part.key}'.`);\n      seen.add(part.key);\n      // Both parts SURVIVE, so two parts sharing one id would build a tensor\n      // that `contract` later rejects as IdentityConflictError — fail here at\n      // the malformed call instead (Eve Y1). (mergeAxes has no analogue: its\n      // merged id replaces consumed axes, so reusing a consumed id is legal.)\n      if (seenIds.has(part.index.id)) {\n        throw new AxisSplitError(`two parts share id '${part.index.id}'.`);\n      }\n      seenIds.add(part.index.id);\n      for (const k of survivingKeys) {\n        if (this.labels[k].id === part.index.id) {\n          throw new AxisSplitError(\n            `part id '${part.index.id}' collides with surviving axis '${k}'.`,\n          );\n        }\n      }\n    }\n\n    const shape = this.tensor.shape;\n    const newShape = [...shape.slice(0, p), ...parts.map((pt) => pt.size), ...shape.slice(p + 1)];\n\n    const newLabels: Record<string, UniversalIndex<AxisName>> = {};\n    for (const k of survivingKeys) newLabels[k] = this.labels[k];\n    for (const part of parts) newLabels[part.key] = part.index;\n\n    const newAxisOrder = [\n      ...this.axisOrder.slice(0, p),\n      ...parts.map((pt) => pt.key),\n      ...this.axisOrder.slice(p + 1),\n    ];\n\n    const reshaped = this.engine.reshape(this.tensor, newShape);\n    return new LabeledTensor(reshaped, this.engine, newLabels, newAxisOrder);\n  }\n}\n"]}
+{"version":3,"file":"labeled-tensor.js","sourceRoot":"","sources":["../../src/core/labeled-tensor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAGpD,8EAA8E;AAC9E,qEAAqE;AACrE,8BAA8B;AAC9B,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,OAAO,8BAA+B,SAAQ,QAAQ;IAC1C,UAAU,CAAS;IACnB,UAAU,CAAS;IACnC,YAAY,UAAkB,EAAE,UAAkB;QAChD,KAAK,CACH,oCAAoC,UAAU,eAAe;YAC7D,kBAAkB,UAAU,yCAAyC;YACrE,2BAA2B,CAC5B,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,gCAAgC,CAAC;QAC7C,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;IAC/B,CAAC;CACF;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,iBAAkB,SAAQ,QAAQ;IAC7B,OAAO,CAAmB;IAC1B,QAAQ,CAAW;IACnB,SAAS,CAAW;IACpC,YACE,OAAyB,EACzB,QAAkB,EAClB,SAAmB;QAEnB,KAAK,CACH,qDAAqD,OAAO,IAAI;YAChE,sBAAsB,QAAQ,SAAS,SAAS,iBAAiB;YACjE,iCAAiC,CAClC,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;QAChC,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;IAC7B,CAAC;CACF;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,qBAAsB,SAAQ,QAAQ;IACjC,OAAO,CAAmB;IAC1C;;;;OAIG;IACH,YAAY,OAAyB,EAAE,KAAK,GAAoC,eAAe;QAC7F,KAAK,CACH,KAAK,KAAK,aAAa;YACrB,CAAC,CAAC,6CAA6C,OAAO,kCAAkC;gBACtF,4EAA4E;YAC9E,CAAC,CAAC,6CAA6C,OAAO,iBAAiB;gBACrE,kEAAkE;gBAClE,gDAAgD,CACrD,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;QACpC,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;CACF;AAED;;;;;;;;;;GAUG;AACH,MAAM,OAAO,sBAAuB,SAAQ,QAAQ;IAClC,SAAS,CAAS;IAClB,GAAG,CAA8B;IACjD,YACE,SAAiB,EACjB,WAAgE;QAEhE,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,WAAW;aAC1B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,IAAI,IAAI,CAAC;aAC1C,IAAI,CAAC,OAAO,CAAC,CAAC;QACjB,KAAK,CACH,uCAAuC,SAAS,kBAAkB;YAClE,eAAe,SAAS,0CAA0C;YAClE,iEAAiE;YACjE,mEAAmE;YACnE,gDAAgD,CACjD,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;QACrC,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;IACjB,CAAC;CACF;AAED;;;;;;;GAOG;AACH,MAAM,OAAO,qBAAsB,SAAQ,QAAQ;IACjC,QAAQ,CAAS;IACjB,MAAM,CAAS;IAC/B,YAAY,QAAgB,EAAE,MAAc;QAC1C,KAAK,CACH,kDAAkD,QAAQ,MAAM;YAChE,GAAG,MAAM,yDAAyD;YAClE,gDAAgD,CACjD,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;QACpC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,cAAe,SAAQ,QAAQ;IAC1B,SAAS,CAAoB;IAC7B,SAAS,CAAoB;IAC7C,YAAY,SAA4B,EAAE,SAA4B;QACpE,KAAK,CACH,6BAA6B,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,yBAAyB;YAC1E,sBAAsB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,8BAA8B;YACxE,0CAA0C,CAC3C,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAC;QAC7B,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;IAC7B,CAAC;CACF;AAED;;;;;;GAMG;AACH,MAAM,OAAO,cAAe,SAAQ,QAAQ;IAC1C,YAAY,OAAe;QACzB,KAAK,CAAC,4BAA4B,OAAO,EAAE,CAAC,CAAC;QAC7C,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAC;IAC/B,CAAC;CACF;AAED;;;;;;GAMG;AACH,MAAM,OAAO,cAAe,SAAQ,QAAQ;IAC1C,YAAY,OAAe;QACzB,KAAK,CAAC,4BAA4B,OAAO,EAAE,CAAC,CAAC;QAC7C,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAC;IAC/B,CAAC;CACF;AAED,8EAA8E;AAC9E,0CAA0C;AAC1C,8EAA8E;AAE9E;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAS;IAET,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;AACpC,CAAC;AAED;;;;;GAKG;AACH,SAAS,eAAe,CAAC,KAAwB,EAAE,IAAuB;IACxE,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC/C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAChD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACd,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8EAA8E;AAC9E,gCAAgC;AAChC,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,OAAO,aAAa;IAGR,MAAM,CAAe;IACrB,MAAM,CAAe;IACrB,MAAM,CAAI;IAC1B;;;;;;OAMG;IACa,SAAS,CAAoB;IAE7C,YACE,MAAoB,EACpB,MAAoB,EACpB,MAAS,EACT,SAA6B;QAE7B,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI,SAAS,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YAC7C,MAAM,IAAI,8BAA8B,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAClF,CAAC;QACD,MAAM,KAAK,GAAG,SAAS,IAAI,mBAAmB,CAAC,MAAM,CAAC,CAAC;QACvD,0EAA0E;QAC1E,uCAAuC;QACvC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;YAC5E,MAAM,IAAI,cAAc,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC7C,CAAC;QACD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC;IACzB,CAAC;IAED;;;;;OAKG;IACI,MAAM,CAAC,GAAW;QACvB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACzC,IAAI,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC;YAChB,MAAM,IAAI,QAAQ,CAAC,0BAA0B,GAAG,uBAAuB,CAAC,CAAC;QAC3E,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACI,QAAQ,CACb,KAAuB;QAEvB,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;YACjC,MAAM,IAAI,QAAQ,CAChB,4CAA4C,IAAI,CAAC,MAAM,CAAC,IAAI,MAAM;gBAClE,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,wCAAwC,CAC7D,CAAC;QACJ,CAAC;QAED,sEAAsE;QACtE,4EAA4E;QAC5E,oCAAoC;QACpC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QACjC,MAAM,UAAU,GAAG,KAAK,CAAC,SAAS,CAAC;QAEnC,mEAAmE;QACnE,gEAAgE;QAChE,kEAAkE;QAClE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwE,CAAC;QAC/F,MAAM,QAAQ,GAAG,CACf,IAAW,EACX,KAAwB,EACxB,MAAgD,EAC1C,EAAE;YACR,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;gBACxB,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;gBACxB,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACxC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;gBAChD,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC,CAAC;QACF,QAAQ,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACpC,QAAQ,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACtC,KAAK,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,MAAM,EAAE,CAAC;YAC9C,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;YACrD,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;YACtD,IAAI,CAAC,MAAM,IAAI,CAAC,OAAO;gBAAE,SAAS;YAClC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAClD,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC;gBAAE,MAAM,IAAI,sBAAsB,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAC7E,CAAC;QAED,6CAA6C;QAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,EAA8F,CAAC;QACpH,SAAS,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;YAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;YACrC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YACzD,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC;QACH,UAAU,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;YAC/B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;YACrC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YACzD,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,oEAAoE;QACpE,MAAM,YAAY,GAAyC,EAAE,CAAC;QAC9D,MAAM,IAAI,GAAiC,EAAE,CAAC;QAC9C,MAAM,YAAY,GAA6C,EAAE,CAAC;QAClE,2EAA2E;QAC3E,4EAA4E;QAC5E,6EAA6E;QAC7E,sDAAsD;QACtD,MAAM,eAAe,GAAa,EAAE,CAAC;QAErC,KAAK,MAAM,CAAC,EAAE,EAAE,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC;YACtC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC7B,mDAAmD;gBACnD,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;gBACzB,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBAChD,uEAAuE;gBACvE,wEAAwE;gBACxE,iEAAiE;gBACjE,yEAAyE;gBACzE,4DAA4D;gBAC5D,IAAI,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC;gBAChB,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE,CAAC;oBACpC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACV,GAAG,CAAC;wBACF,GAAG,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;wBACvD,CAAC,EAAE,CAAC;oBACN,CAAC,QAAQ,YAAY,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE;gBAC5C,CAAC;gBACD,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,KAAK,CAAC;oBACjC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC;oBACpB,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBACxB,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC5B,CAAC;iBAAM,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACpC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC;gBAC3B,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;oBAC5B,gEAAgE;oBAChE,+BAA+B;oBAC/B,MAAM,IAAI,qBAAqB,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;gBACrD,CAAC;gBACD,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;oBAC9B,MAAM,IAAI,iBAAiB,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;gBAC1D,CAAC;gBACD,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;YAC1E,CAAC;iBAAM,CAAC;gBACN,+DAA+D;gBAC/D,wDAAwD;gBACxD,MAAM,IAAI,qBAAqB,CAAC,EAAE,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QAED,MAAM,IAAI,GAAe,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;QAChD,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACzE,OAAO,IAAI,aAAa,CAAC,YAAY,EAAE,IAAI,CAAC,MAAM,EAAE,YAAY,EAAE,eAAe,CAAC,CAAC;IACrF,CAAC;IAED;;;;;;OAMG;IACI,SAAS,CAAC,WAA4C;QAC3D,gEAAgE;QAChE,sEAAsE;QACtE,wEAAwE;QACxE,IAAI,WAAW,CAAC,MAAM,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;YACjD,MAAM,IAAI,QAAQ,CAChB,8CAA8C,WAAW,CAAC,MAAM,GAAG;gBACnE,0BAA0B,IAAI,CAAC,SAAS,CAAC,MAAM,QAAQ,CACxD,CAAC;QACJ,CAAC;QACD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnE,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;YAC9B,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAClC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,MAAM,IAAI,QAAQ,CAChB,iCAAiC,MAAM,CAAC,GAAG,CAAC,wBAAwB,CACrE,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjB,CAAC;QACD,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAClE,0EAA0E;QAC1E,oCAAoC;QACpC,OAAO,IAAI,aAAa,CAAC,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC;IACzF,CAAC;IAED;;;;;;;;;OASG;IACI,OAAO,CAAC,KAA4B;QACzC,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YAC9C,MAAM,IAAI,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAC1E,CAAC;QACD,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC/D,6EAA6E;QAC7E,OAAO,IAAI,aAAa,CAAC,cAAc,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IACrF,CAAC;IAED;;;;;;;;;;;;OAYG;IACI,SAAS,CACd,IAAuB,EACvB,MAAwD;QAExD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,cAAc,CAAC,sCAAsC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QACjF,CAAC;QACD,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YACvC,MAAM,IAAI,cAAc,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QAChF,CAAC;QACD,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACpC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAAE,MAAM,IAAI,cAAc,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;YACrE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;QACD,0EAA0E;QAC1E,iDAAiD;QACjD,MAAM,MAAM,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACpD,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACrC,IAAI,EAAE,GAAG,EAAE,KAAK,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,cAAc,CACtB,QAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,2CAA2C;gBACvE,cAAc,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,mCAAmC,CAC3E,CAAC;QACJ,CAAC;QACD,yEAAyE;QACzE,oEAAoE;QACpE,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QACxE,IAAI,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,cAAc,CAAC,eAAe,MAAM,CAAC,GAAG,wCAAwC,CAAC,CAAC;QAC9F,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;YAC9B,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;gBAC1C,MAAM,IAAI,cAAc,CACtB,cAAc,MAAM,CAAC,KAAK,CAAC,EAAE,mCAAmC,CAAC,IAAI,CACtE,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QAChC,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,KAAK,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE;YAAE,UAAU,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;QACtD,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAE7E,MAAM,SAAS,GAA6C,EAAE,CAAC;QAC/D,KAAK,MAAM,CAAC,IAAI,aAAa;YAAE,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC7D,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;QAErC,MAAM,YAAY,GAAG;YACnB,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YAC9B,MAAM,CAAC,GAAG;YACV,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;SAChC,CAAC;QAEF,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC5D,OAAO,IAAI,aAAa,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC;IAC3E,CAAC;IAED;;;;;;;OAOG;IACI,SAAS,CACd,GAAW,EACX,KAAgF;QAEhF,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,CAAC,KAAK,CAAC,CAAC;YAAE,MAAM,IAAI,cAAc,CAAC,IAAI,GAAG,uBAAuB,CAAC,CAAC;QACvE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,cAAc,CAAC,4CAA4C,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACxF,CAAC;QACD,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC;gBACnD,MAAM,IAAI,cAAc,CAAC,SAAS,IAAI,CAAC,GAAG,0CAA0C,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;YACpG,CAAC;YACD,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC;QACvB,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YACzB,MAAM,IAAI,cAAc,CACtB,0BAA0B,OAAO,cAAc,GAAG,cAAc,QAAQ,GAAG,CAC5E,CAAC;QACJ,CAAC;QACD,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;QAC9D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC5C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACrC,MAAM,IAAI,cAAc,CAAC,aAAa,IAAI,CAAC,GAAG,wCAAwC,CAAC,CAAC;YAC1F,CAAC;YACD,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;gBAAE,MAAM,IAAI,cAAc,CAAC,uBAAuB,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;YACtF,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACnB,uEAAuE;YACvE,wEAAwE;YACxE,uEAAuE;YACvE,wEAAwE;YACxE,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC/B,MAAM,IAAI,cAAc,CAAC,uBAAuB,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;YACrE,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC3B,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;gBAC9B,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;oBACxC,MAAM,IAAI,cAAc,CACtB,YAAY,IAAI,CAAC,KAAK,CAAC,EAAE,mCAAmC,CAAC,IAAI,CAClE,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QAChC,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAE9F,MAAM,SAAS,GAA6C,EAAE,CAAC;QAC/D,KAAK,MAAM,CAAC,IAAI,aAAa;YAAE,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC7D,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;QAE3D,MAAM,YAAY,GAAG;YACnB,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;YAC7B,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC;YAC5B,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC;SAC/B,CAAC;QAEF,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC5D,OAAO,IAAI,aAAa,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC;IAC3E,CAAC;CACF","sourcesContent":["/**\n * `LabeledTensor` — engine-level tensor wrapped with\n * `UniversalIndex`-tagged metadata. The catalog-facing surface\n * for physics-axis-aware contractions.\n *\n * Phase 2 + Phase 3 of v0.7 Proposal 1 (Intelligent Index Layer).\n *\n * Composition (Decision #5): `LabeledTensor` owns an `EngineTensor`,\n * a `TensorEngine`, and a labels record. The engine handle is the\n * boundary — `LabeledTensor` doesn't reach into the underlying\n * Float64Array / MathTS handle. Contract matching is strictly\n * `UniversalIndexId` equality (Decision #3). Two indices that share a\n * `name` and not an `id` are refused: `contract` throws\n * `IndexNameMismatchError` and the message names both ids. It does not\n * contract them and it does not return their outer product. Indices\n * whose names differ stay free axes.\n *\n * Design: `docs/planning/v0.7-Proposal-1-Design.md` Decisions\n * #1, #3, #5, #6, #7, #9.\n *\n * Cross-Phase Invariants preserved:\n *   - #1 adapter-on-top: this module does NOT import\n *     `src/dimensional/tensor.ts` or `src/numerical/lowering.ts`.\n *   - #4 `TensorSymbolNode` + `computeContraction` UNCHANGED.\n *   - #5 `TensorEngine` interface UNCHANGED (consumes, doesn't\n *     extend).\n *\n * @module core/labeled-tensor\n */\n\nimport type { EngineTensor, TensorEngine, EinsumSpec } from '../numerical/tensor-engine.js';\nimport { UPTError } from '../dimensional/errors.js';\nimport type { AxisName, UniversalIndex, UniversalIndexId } from './universal-index.js';\n\n// ---------------------------------------------------------------------------\n// Error classes (Phase 3 surface, declared here for co-location with\n// the guards that throw them)\n// ---------------------------------------------------------------------------\n\n/**\n * Thrown by the `LabeledTensor` constructor when the labels record\n * doesn't agree with the underlying tensor's rank\n * (`Object.keys(labels).length !== tensor.shape.length`).\n *\n * @public\n */\nexport class LabeledTensorConstructionError extends UPTError {\n  public readonly labelCount: number;\n  public readonly tensorRank: number;\n  constructor(labelCount: number, tensorRank: number) {\n    super(\n      `LabeledTensor: labels record has ${labelCount} entries but ` +\n      `tensor rank is ${tensorRank}. Every tensor axis must carry exactly ` +\n      `one UniversalIndex label.`,\n    );\n    this.name = 'LabeledTensorConstructionError';\n    this.labelCount = labelCount;\n    this.tensorRank = tensorRank;\n  }\n}\n\n/**\n * Thrown by `contract` when two `UniversalIndex` values share an\n * `id` but disagree on `axis`. Per Decision #7, this is a physics\n * error caught at the wrapper level. Impossible if both operands\n * use the `Axes` registry; defensive against off-registry\n * `makeIndex` consumers.\n *\n * @public\n */\nexport class AxisMismatchError extends UPTError {\n  public readonly indexId: UniversalIndexId;\n  public readonly leftAxis: AxisName;\n  public readonly rightAxis: AxisName;\n  constructor(\n    indexId: UniversalIndexId,\n    leftAxis: AxisName,\n    rightAxis: AxisName,\n  ) {\n    super(\n      `LabeledTensor.contract: indices with the same id '${indexId}' ` +\n      `disagree on axis ('${leftAxis}' vs '${rightAxis}'). Cross-axis ` +\n      `contraction is a physics error.`,\n    );\n    this.name = 'AxisMismatchError';\n    this.indexId = indexId;\n    this.leftAxis = leftAxis;\n    this.rightAxis = rightAxis;\n  }\n}\n\n/**\n * Thrown by `contract` when the same `UniversalIndexId` appears in\n * more than one non-contracted (free) position across the two\n * operands. Same physical axis showing up free on both sides is\n * physically meaningful (joint distribution) but the einsum\n * machinery has no canonical way to disambiguate.\n *\n * @public\n */\nexport class IdentityConflictError extends UPTError {\n  public readonly indexId: UniversalIndexId;\n  /**\n   * `where` says which shape was met: the id twice on ONE operand (a\n   * self-contraction, which `contract` does not perform), or the id as a\n   * free axis on BOTH operands beside a contraction (three occurrences).\n   */\n  constructor(indexId: UniversalIndexId, where: 'one-operand' | 'both-operands' = 'both-operands') {\n    super(\n      where === 'one-operand'\n        ? `LabeledTensor.contract: UniversalIndexId '${indexId}' appears twice on one operand. ` +\n          `A self-contraction is not a contract(); rename one axis or trace it first.`\n        : `LabeledTensor.contract: UniversalIndexId '${indexId}' appears as a ` +\n          `free axis on both operands. Same physical axis on both sides is ` +\n          `ambiguous — rename or contract one side first.`,\n    );\n    this.name = 'IdentityConflictError';\n    this.indexId = indexId;\n  }\n}\n\n/**\n * Thrown by `contract` when both operands carry the same index `name`\n * and those occurrences do not all share one `UniversalIndexId`.\n *\n * Decision #3 matches by id. A second `makeIndex` call with the same\n * name is a different index. Returning the outer product hid that: the\n * caller who meant one index got a higher-rank tensor and no ids.\n * The error names every id. Distinct names stay an outer product.\n *\n * @public\n */\nexport class IndexNameMismatchError extends UPTError {\n  public readonly indexName: string;\n  public readonly ids: readonly UniversalIndexId[];\n  constructor(\n    indexName: string,\n    occurrences: readonly { id: UniversalIndexId; axis: AxisName }[],\n  ) {\n    const ids = [...new Set(occurrences.map((o) => o.id))];\n    const described = occurrences\n      .map((o) => `'${o.id}' (axis '${o.axis}')`)\n      .join(' and ');\n    super(\n      `LabeledTensor.contract: index name '${indexName}' is carried by ` +\n      `unequal ids ${described}. Contraction matches UniversalIndexId, ` +\n      `not the name. Reuse one UniversalIndex object, or take it from ` +\n      `the Axes registry. A second makeIndex call with the same name is ` +\n      `a different index and is not an outer product.`,\n    );\n    this.name = 'IndexNameMismatchError';\n    this.indexName = indexName;\n    this.ids = ids;\n  }\n}\n\n/**\n * Thrown by `reshape` when the requested shape would change the\n * tensor rank. v0.7.0 allows only axis-by-axis size change;\n * rank-changing reshape is deferred to v0.8.0+ (`mergeAxes` /\n * `splitAxis` helpers).\n *\n * @public\n */\nexport class RankPreservationError extends UPTError {\n  public readonly fromRank: number;\n  public readonly toRank: number;\n  constructor(fromRank: number, toRank: number) {\n    super(\n      `LabeledTensor.reshape: cannot change rank from ${fromRank} to ` +\n      `${toRank}. v0.7.0 supports only same-rank reshape; use a future ` +\n      `mergeAxes / splitAxis helper for rank changes.`,\n    );\n    this.name = 'RankPreservationError';\n    this.fromRank = fromRank;\n    this.toRank = toRank;\n  }\n}\n\n/**\n * Thrown by the `LabeledTensor` constructor when an explicit `axisOrder` is\n * not a valid permutation of the label keys (wrong length, a key that is not a\n * label, or a duplicate). Distinct from `LabeledTensorConstructionError` (which\n * means label-count ≠ tensor-rank) so a consumer never reads a rank-mismatch\n * field on an order error.\n *\n * @public\n */\nexport class AxisOrderError extends UPTError {\n  public readonly axisOrder: readonly string[];\n  public readonly labelKeys: readonly string[];\n  constructor(axisOrder: readonly string[], labelKeys: readonly string[]) {\n    super(\n      `LabeledTensor: axisOrder [${axisOrder.join(', ')}] is not a permutation ` +\n      `of the label keys [${labelKeys.join(', ')}] (it must list every label ` +\n      `key exactly once, in engine-axis order).`,\n    );\n    this.name = 'AxisOrderError';\n    this.axisOrder = axisOrder;\n    this.labelKeys = labelKeys;\n  }\n}\n\n/**\n * Thrown by `mergeAxes` when the request is malformed: fewer than two keys, an\n * unknown key, keys that are not a contiguous run of engine-axis positions, or a\n * merged key/id that collides with a surviving axis.\n *\n * @public\n */\nexport class AxisMergeError extends UPTError {\n  constructor(message: string) {\n    super(`LabeledTensor.mergeAxes: ${message}`);\n    this.name = 'AxisMergeError';\n  }\n}\n\n/**\n * Thrown by `splitAxis` when the request is malformed: an unknown key, fewer\n * than two parts, a non-positive/non-integer part size, a size product that\n * does not match the original axis size, or a part key/id that collides.\n *\n * @public\n */\nexport class AxisSplitError extends UPTError {\n  constructor(message: string) {\n    super(`LabeledTensor.splitAxis: ${message}`);\n    this.name = 'AxisSplitError';\n  }\n}\n\n// ---------------------------------------------------------------------------\n// canonicalLabelOrder — Risk 2 mitigation\n// ---------------------------------------------------------------------------\n\n/**\n * Stable lexicographic ordering of label keys. JavaScript's\n * `Object.entries` preserves string-key insertion order, but we\n * route all label-key→axis-position mapping through this helper\n * so the contract algorithm doesn't accidentally depend on\n * constructor-call ordering.\n *\n * @internal\n */\nexport function canonicalLabelOrder<L extends Record<string, UniversalIndex<AxisName>>>(\n  labels: L,\n): string[] {\n  return Object.keys(labels).sort();\n}\n\n/**\n * True iff `order` lists exactly the members of `keys`, each once (same length,\n * no duplicates, no foreign entries). Used to validate an explicit `axisOrder`.\n *\n * @internal\n */\nfunction isPermutationOf(order: readonly string[], keys: readonly string[]): boolean {\n  if (order.length !== keys.length) return false;\n  const seen = new Set<string>();\n  const keySet = new Set(keys);\n  for (const k of order) {\n    if (!keySet.has(k) || seen.has(k)) return false;\n    seen.add(k);\n  }\n  return true;\n}\n\n// ---------------------------------------------------------------------------\n// LabeledTensor (wrapper class)\n// ---------------------------------------------------------------------------\n\n/**\n * Engine-agnostic wrapper carrying physics-axis-tagged metadata over\n * an opaque `EngineTensor`. Two `LabeledTensor`s contract over\n * shared `UniversalIndexId` values; non-shared ids become the\n * result's free axes.\n *\n * Construction enforces `Object.keys(labels).length === tensor.shape.length`.\n *\n * @public\n */\nexport class LabeledTensor<\n  L extends Record<string, UniversalIndex<AxisName>> = Record<string, UniversalIndex<AxisName>>,\n> {\n  public readonly tensor: EngineTensor;\n  public readonly engine: TensorEngine;\n  public readonly labels: L;\n  /**\n   * The label keys in ENGINE-AXIS order: `axisOrder[i]` is the key of engine\n   * axis `i`. This is the AUTHORITATIVE label↔axis mapping — consumers must use\n   * it (or {@link axisOf}) rather than re-deriving position by sorting keys,\n   * because `transpose` / `contract` can leave the engine axes in a non-sorted\n   * order. Defaults to `canonicalLabelOrder(labels)` (sorted) when not supplied.\n   */\n  public readonly axisOrder: readonly string[];\n\n  constructor(\n    tensor: EngineTensor,\n    engine: TensorEngine,\n    labels: L,\n    axisOrder?: readonly string[],\n  ) {\n    const labelKeys = Object.keys(labels);\n    if (labelKeys.length !== tensor.shape.length) {\n      throw new LabeledTensorConstructionError(labelKeys.length, tensor.shape.length);\n    }\n    const order = axisOrder ?? canonicalLabelOrder(labels);\n    // Validate `order` is a permutation of the label keys: same length, every\n    // entry is a label key, no duplicates.\n    if (order.length !== labelKeys.length || !isPermutationOf(order, labelKeys)) {\n      throw new AxisOrderError(order, labelKeys);\n    }\n    this.tensor = tensor;\n    this.engine = engine;\n    this.labels = labels;\n    this.axisOrder = order;\n  }\n\n  /**\n   * Engine-axis position of a label key (the inverse of {@link axisOrder}).\n   * Throws if the key is not a label.\n   *\n   * @public\n   */\n  public axisOf(key: string): number {\n    const axis = this.axisOrder.indexOf(key);\n    if (axis === -1) {\n      throw new UPTError(`LabeledTensor.axisOf: '${key}' is not a label key.`);\n    }\n    return axis;\n  }\n\n  /**\n   * Identity-aware contraction (Decision #3): match labels by\n   * `UniversalIndexId` equality only. Returns a new `LabeledTensor`\n   * whose free labels are the union of both operands' free labels\n   * minus the contracted ids, evaluated in `this`-first,\n   * `other`-second canonical order.\n   *\n   * Throws:\n   *   - `IndexNameMismatchError` if both operands use one `name` and\n   *     the ids differ. The message names both ids.\n   *   - `AxisMismatchError` if a shared id disagrees on axis.\n   *   - `IdentityConflictError` if a non-shared id appears free on\n   *     both operands.\n   *\n   * @public\n   */\n  public contract<R extends Record<string, UniversalIndex<AxisName>>>(\n    other: LabeledTensor<R>,\n  ): LabeledTensor {\n    if (this.engine !== other.engine) {\n      throw new UPTError(\n        `LabeledTensor.contract: engine mismatch (${this.engine.name} vs ` +\n        `${other.engine.name}). Both operands must share an engine.`,\n      );\n    }\n\n    // Map labels → ENGINE axis positions via each operand's authoritative\n    // axisOrder (NOT sorted key order — an operand may carry a non-sorted order\n    // from a prior transpose/contract).\n    const leftOrder = this.axisOrder;\n    const rightOrder = other.axisOrder;\n\n    // Same name on both operands is one index only when the ids match.\n    // A fresh makeIndex with that name is a different id; the outer\n    // product of that pair is the footgun Decision #3 exists to stop.\n    const byName = new Map<string, Array<{ id: UniversalIndexId; axis: AxisName; side: 0 | 1 }>>();\n    const noteName = (\n      side: 0 | 1,\n      order: readonly string[],\n      labels: Record<string, UniversalIndex<AxisName>>,\n    ): void => {\n      for (const key of order) {\n        const idx = labels[key];\n        const list = byName.get(idx.name) ?? [];\n        list.push({ id: idx.id, axis: idx.axis, side });\n        byName.set(idx.name, list);\n      }\n    };\n    noteName(0, leftOrder, this.labels);\n    noteName(1, rightOrder, other.labels);\n    for (const [indexName, occurrences] of byName) {\n      const onLeft = occurrences.some((o) => o.side === 0);\n      const onRight = occurrences.some((o) => o.side === 1);\n      if (!onLeft || !onRight) continue;\n      const ids = new Set(occurrences.map((o) => o.id));\n      if (ids.size > 1) throw new IndexNameMismatchError(indexName, occurrences);\n    }\n\n    // Build id → (operand, axis-position) sites.\n    const sites = new Map<UniversalIndexId, Array<{ operand: 0 | 1; axis: number; key: string; axisName: AxisName }>>();\n    leftOrder.forEach((key, axis) => {\n      const idx = this.labels[key];\n      const list = sites.get(idx.id) ?? [];\n      list.push({ operand: 0, axis, key, axisName: idx.axis });\n      sites.set(idx.id, list);\n    });\n    rightOrder.forEach((key, axis) => {\n      const idx = other.labels[key];\n      const list = sites.get(idx.id) ?? [];\n      list.push({ operand: 1, axis, key, axisName: idx.axis });\n      sites.set(idx.id, list);\n    });\n\n    // Classify each id: contracted (in both operands) vs free (in one).\n    const contractions: EinsumSpec['contractions'][number][] = [];\n    const free: EinsumSpec['free'][number][] = [];\n    const resultLabels: Record<string, UniversalIndex<AxisName>> = {};\n    // The result's engine-axis order: the result key of each free axis, pushed\n    // in the SAME order the free axes enter `spec.free` (which is the order the\n    // engine emits result axes). Kept exactly parallel to `free` so it is always\n    // a valid permutation of `Object.keys(resultLabels)`.\n    const resultAxisOrder: string[] = [];\n\n    for (const [id, occurrences] of sites) {\n      if (occurrences.length === 1) {\n        // Free axis on exactly one operand. Carry through.\n        const o = occurrences[0];\n        free.push({ operand: o.operand, axis: o.axis });\n        // Preserve the original label key; on collision (both operands use the\n        // same string key for *different* ids) suffix until a FREE key is found\n        // (`x` → `x_0`/`x_1` → `x_0_0`…), so result keys stay UNIQUE and\n        // resultAxisOrder remains a valid permutation (Eve Y1: guarding only the\n        // unsuffixed key could overwrite an existing suffixed key).\n        let key = o.key;\n        if (resultLabels[key] !== undefined) {\n          let n = 0;\n          do {\n            key = `${o.key}_${o.operand}${n === 0 ? '' : `_${n}`}`;\n            n++;\n          } while (resultLabels[key] !== undefined);\n        }\n        resultLabels[key] = o.operand === 0\n          ? this.labels[o.key]\n          : other.labels[o.key];\n        resultAxisOrder.push(key);\n      } else if (occurrences.length === 2) {\n        const [a, b] = occurrences;\n        if (a.operand === b.operand) {\n          // The same id twice in one operand is a self-contraction, which\n          // contract() does not perform.\n          throw new IdentityConflictError(id, 'one-operand');\n        }\n        if (a.axisName !== b.axisName) {\n          throw new AxisMismatchError(id, a.axisName, b.axisName);\n        }\n        contractions.push({ pair: [[a.operand, a.axis], [b.operand, b.axis]] });\n      } else {\n        // 3+ occurrences across the two operands: triple+ contraction,\n        // not supported by the binary einsum primitive. Reject.\n        throw new IdentityConflictError(id);\n      }\n    }\n\n    const spec: EinsumSpec = { contractions, free };\n    const resultTensor = this.engine.einsum(spec, this.tensor, other.tensor);\n    return new LabeledTensor(resultTensor, this.engine, resultLabels, resultAxisOrder);\n  }\n\n  /**\n   * Reorder axes per the given permutation of label keys. The new\n   * label record reflects the new axis order; the engine handles\n   * the storage-level permutation via `engine.transpose`.\n   *\n   * @public\n   */\n  public transpose(newKeyOrder: ReadonlyArray<keyof L & string>): LabeledTensor<L> {\n    // Permutation is computed against the CURRENT engine-axis order\n    // (`this.axisOrder`), NOT the sorted key order — `this.axisOrder` may\n    // already be non-sorted (e.g. a contract result, or a prior transpose).\n    if (newKeyOrder.length !== this.axisOrder.length) {\n      throw new UPTError(\n        `LabeledTensor.transpose: new key order has ${newKeyOrder.length} ` +\n        `entries but tensor has ${this.axisOrder.length} axes.`,\n      );\n    }\n    const currentIndex = new Map(this.axisOrder.map((k, i) => [k, i]));\n    const perm: number[] = [];\n    for (const key of newKeyOrder) {\n      const pos = currentIndex.get(key);\n      if (pos === undefined) {\n        throw new UPTError(\n          `LabeledTensor.transpose: key '${String(key)}' not found in labels.`,\n        );\n      }\n      perm.push(pos);\n    }\n    const transposedTensor = this.engine.transpose(this.tensor, perm);\n    // The result's engine axis i is the old axis perm[i] = newKeyOrder[i], so\n    // the new axisOrder IS newKeyOrder.\n    return new LabeledTensor(transposedTensor, this.engine, this.labels, [...newKeyOrder]);\n  }\n\n  /**\n   * Per-axis size change. Rank must be preserved (Decision #5);\n   * rank-changing reshape throws `RankPreservationError`. v0.8.0+\n   * may add `mergeAxes` / `splitAxis` for rank-changing operations.\n   *\n   * Labels survive unchanged (axis identity is preserved across a\n   * size-only reshape).\n   *\n   * @public\n   */\n  public reshape(shape: ReadonlyArray<number>): LabeledTensor<L> {\n    if (shape.length !== this.tensor.shape.length) {\n      throw new RankPreservationError(this.tensor.shape.length, shape.length);\n    }\n    const reshapedTensor = this.engine.reshape(this.tensor, shape);\n    // Rank-preserving size change never reorders axes — carry axisOrder through.\n    return new LabeledTensor(reshapedTensor, this.engine, this.labels, this.axisOrder);\n  }\n\n  /**\n   * Fuse a CONTIGUOUS run of engine axes (named by `keys`) into ONE axis\n   * carrying the caller-supplied `merged` label. Rank R → R − (keys.length − 1).\n   *\n   * The keys must occupy a gapless consecutive run of engine-axis positions\n   * (`engine.reshape` fuses STORAGE-adjacent axes only) — `transpose` them\n   * adjacent first otherwise. The fused axis spans the merged axes in ENGINE\n   * order; the order `keys` are listed does not matter (the merged axis is\n   * opaque). The caller owns the merged axis's identity — no composite-id is\n   * synthesized.\n   *\n   * @public\n   */\n  public mergeAxes(\n    keys: readonly string[],\n    merged: { key: string; index: UniversalIndex<AxisName> },\n  ): LabeledTensor {\n    if (keys.length < 2) {\n      throw new AxisMergeError(`need at least 2 keys to merge, got ${keys.length}.`);\n    }\n    if (new Set(keys).size !== keys.length) {\n      throw new AxisMergeError(`keys ${JSON.stringify(keys)} contain a duplicate.`);\n    }\n    const positions: number[] = [];\n    for (const k of keys) {\n      const p = this.axisOrder.indexOf(k);\n      if (p === -1) throw new AxisMergeError(`'${k}' is not a label key.`);\n      positions.push(p);\n    }\n    // Distinct keys have distinct positions (the duplicate check above), so a\n    // contiguous run is exactly `hi − lo === n − 1`.\n    const sorted = [...positions].sort((a, b) => a - b);\n    const lo = sorted[0];\n    const hi = sorted[sorted.length - 1];\n    if (hi - lo !== sorted.length - 1) {\n      throw new AxisMergeError(\n        `keys ${JSON.stringify(keys)} are not a contiguous run of engine axes ` +\n        `(positions ${JSON.stringify(positions)}); transpose them adjacent first.`,\n      );\n    }\n    // Surviving keys = axes outside the merged run. (A merged key may safely\n    // REUSE one of the consumed keys' names — those are not surviving.)\n    const survivingKeys = this.axisOrder.filter((_, i) => i < lo || i > hi);\n    if (survivingKeys.includes(merged.key)) {\n      throw new AxisMergeError(`merged key '${merged.key}' collides with a surviving label key.`);\n    }\n    for (const k of survivingKeys) {\n      if (this.labels[k].id === merged.index.id) {\n        throw new AxisMergeError(\n          `merged id '${merged.index.id}' collides with surviving axis '${k}'.`,\n        );\n      }\n    }\n\n    const shape = this.tensor.shape;\n    let mergedSize = 1;\n    for (let i = lo; i <= hi; i++) mergedSize *= shape[i];\n    const newShape = [...shape.slice(0, lo), mergedSize, ...shape.slice(hi + 1)];\n\n    const newLabels: Record<string, UniversalIndex<AxisName>> = {};\n    for (const k of survivingKeys) newLabels[k] = this.labels[k];\n    newLabels[merged.key] = merged.index;\n\n    const newAxisOrder = [\n      ...this.axisOrder.slice(0, lo),\n      merged.key,\n      ...this.axisOrder.slice(hi + 1),\n    ];\n\n    const reshaped = this.engine.reshape(this.tensor, newShape);\n    return new LabeledTensor(reshaped, this.engine, newLabels, newAxisOrder);\n  }\n\n  /**\n   * Split ONE engine axis (named `key`) into several, each carrying a\n   * caller-supplied sub-label whose sizes multiply to the original axis size.\n   * Rank R → R + (parts.length − 1). The parts occupy the split axis's position\n   * in `parts` order. Inverse of {@link mergeAxes}.\n   *\n   * @public\n   */\n  public splitAxis(\n    key: string,\n    parts: readonly { key: string; index: UniversalIndex<AxisName>; size: number }[],\n  ): LabeledTensor {\n    const p = this.axisOrder.indexOf(key);\n    if (p === -1) throw new AxisSplitError(`'${key}' is not a label key.`);\n    if (parts.length < 2) {\n      throw new AxisSplitError(`need at least 2 parts to split into, got ${parts.length}.`);\n    }\n    let product = 1;\n    for (const part of parts) {\n      if (!Number.isInteger(part.size) || part.size <= 0) {\n        throw new AxisSplitError(`part '${part.key}' size must be a positive integer, got ${part.size}.`);\n      }\n      product *= part.size;\n    }\n    const axisSize = this.tensor.shape[p];\n    if (product !== axisSize) {\n      throw new AxisSplitError(\n        `part sizes multiply to ${product} but axis '${key}' has size ${axisSize}.`,\n      );\n    }\n    const survivingKeys = this.axisOrder.filter((k) => k !== key);\n    const seen = new Set<string>();\n    const seenIds = new Set<UniversalIndexId>();\n    for (const part of parts) {\n      if (survivingKeys.includes(part.key)) {\n        throw new AxisSplitError(`part key '${part.key}' collides with a surviving label key.`);\n      }\n      if (seen.has(part.key)) throw new AxisSplitError(`duplicate part key '${part.key}'.`);\n      seen.add(part.key);\n      // Both parts SURVIVE, so two parts sharing one id would build a tensor\n      // that `contract` later rejects as IdentityConflictError — fail here at\n      // the malformed call instead (Eve Y1). (mergeAxes has no analogue: its\n      // merged id replaces consumed axes, so reusing a consumed id is legal.)\n      if (seenIds.has(part.index.id)) {\n        throw new AxisSplitError(`two parts share id '${part.index.id}'.`);\n      }\n      seenIds.add(part.index.id);\n      for (const k of survivingKeys) {\n        if (this.labels[k].id === part.index.id) {\n          throw new AxisSplitError(\n            `part id '${part.index.id}' collides with surviving axis '${k}'.`,\n          );\n        }\n      }\n    }\n\n    const shape = this.tensor.shape;\n    const newShape = [...shape.slice(0, p), ...parts.map((pt) => pt.size), ...shape.slice(p + 1)];\n\n    const newLabels: Record<string, UniversalIndex<AxisName>> = {};\n    for (const k of survivingKeys) newLabels[k] = this.labels[k];\n    for (const part of parts) newLabels[part.key] = part.index;\n\n    const newAxisOrder = [\n      ...this.axisOrder.slice(0, p),\n      ...parts.map((pt) => pt.key),\n      ...this.axisOrder.slice(p + 1),\n    ];\n\n    const reshaped = this.engine.reshape(this.tensor, newShape);\n    return new LabeledTensor(reshaped, this.engine, newLabels, newAxisOrder);\n  }\n}\n"]}

package/dist/core/mathts-read.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Readers for the typed MathTS results.
+ *
+ * The typed MathTS functions (`lgamma`, `ellipticK`, `mean`, `gcd`, `inv`,
+ * …) are dispatch objects whose declared return is `unknown`, so every
+ * caller used to carry its own `typeof` check before arithmetic. These three
+ * readers are that check, once: each returns the value as the type it is and
+ * throws a `TypeError` naming the MathTS function otherwise. They check the
+ * shape, not the value: a `NaN` is a number and is passed through, as the
+ * inline checks passed it.
+ *
+ * @module core/mathts-read
+ */
+/** The number `v` is, or a `TypeError` naming the MathTS function `fn` that returned something else. @internal */
+export declare function numberFrom(fn: string, v: unknown): number;
+/** The bigint `v` is, or a `TypeError` naming the MathTS function `fn` that returned something else. @internal */
+export declare function bigintFrom(fn: string, v: unknown): bigint;
+/**
+ * The `n`×`n` number matrix `v` is, copied row by row into a fresh `number[][]`,
+ * or a `TypeError` naming the MathTS function `fn` when `v` is not an array of
+ * `n` rows of `n` numbers.
+ * @internal
+ */
+export declare function numberMatrixFrom(fn: string, v: unknown, n: number): number[][];
+//# sourceMappingURL=mathts-read.d.ts.map

package/dist/core/mathts-read.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mathts-read.d.ts","sourceRoot":"","sources":["../../src/core/mathts-read.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAQH,kHAAkH;AAClH,wBAAgB,UAAU,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,CAGzD;AAED,kHAAkH;AAClH,wBAAgB,UAAU,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,CAGzD;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,CAS9E"}

package/dist/core/mathts-read.js

@@ -0,0 +1,51 @@
+/**
+ * Readers for the typed MathTS results.
+ *
+ * The typed MathTS functions (`lgamma`, `ellipticK`, `mean`, `gcd`, `inv`,
+ * …) are dispatch objects whose declared return is `unknown`, so every
+ * caller used to carry its own `typeof` check before arithmetic. These three
+ * readers are that check, once: each returns the value as the type it is and
+ * throws a `TypeError` naming the MathTS function otherwise. They check the
+ * shape, not the value: a `NaN` is a number and is passed through, as the
+ * inline checks passed it.
+ *
+ * @module core/mathts-read
+ */
+function kindOf(v) {
+    if (v === null)
+        return 'null';
+    if (Array.isArray(v))
+        return 'array';
+    return typeof v;
+}
+/** The number `v` is, or a `TypeError` naming the MathTS function `fn` that returned something else. @internal */
+export function numberFrom(fn, v) {
+    if (typeof v !== 'number')
+        throw new TypeError(`${fn} did not return a number (got ${kindOf(v)})`);
+    return v;
+}
+/** The bigint `v` is, or a `TypeError` naming the MathTS function `fn` that returned something else. @internal */
+export function bigintFrom(fn, v) {
+    if (typeof v !== 'bigint')
+        throw new TypeError(`${fn} did not return a bigint (got ${kindOf(v)})`);
+    return v;
+}
+/**
+ * The `n`×`n` number matrix `v` is, copied row by row into a fresh `number[][]`,
+ * or a `TypeError` naming the MathTS function `fn` when `v` is not an array of
+ * `n` rows of `n` numbers.
+ * @internal
+ */
+export function numberMatrixFrom(fn, v, n) {
+    const refuse = () => {
+        throw new TypeError(`${fn} did not return a ${n}×${n} number matrix (got ${kindOf(v)})`);
+    };
+    if (!Array.isArray(v) || v.length !== n)
+        return refuse();
+    return v.map((row) => {
+        if (!Array.isArray(row) || row.length !== n)
+            return refuse();
+        return row.map((x) => (typeof x === 'number' ? x : refuse()));
+    });
+}
+//# sourceMappingURL=mathts-read.js.map

package/dist/core/mathts-read.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mathts-read.js","sourceRoot":"","sources":["../../src/core/mathts-read.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,SAAS,MAAM,CAAC,CAAU;IACxB,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,OAAO,CAAC;IACrC,OAAO,OAAO,CAAC,CAAC;AAClB,CAAC;AAED,kHAAkH;AAClH,MAAM,UAAU,UAAU,CAAC,EAAU,EAAE,CAAU;IAC/C,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,EAAE,iCAAiC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACnG,OAAO,CAAC,CAAC;AACX,CAAC;AAED,kHAAkH;AAClH,MAAM,UAAU,UAAU,CAAC,EAAU,EAAE,CAAU;IAC/C,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,EAAE,iCAAiC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACnG,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,EAAU,EAAE,CAAU,EAAE,CAAS;IAChE,MAAM,MAAM,GAAG,GAAU,EAAE;QACzB,MAAM,IAAI,SAAS,CAAC,GAAG,EAAE,qBAAqB,CAAC,IAAI,CAAC,uBAAuB,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC3F,CAAC,CAAC;IACF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,EAAE,CAAC;IACzD,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,GAAY,EAAE,EAAE;QAC5B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,MAAM,EAAE,CAAC;QAC7D,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;AACL,CAAC","sourcesContent":["/**\n * Readers for the typed MathTS results.\n *\n * The typed MathTS functions (`lgamma`, `ellipticK`, `mean`, `gcd`, `inv`,\n * …) are dispatch objects whose declared return is `unknown`, so every\n * caller used to carry its own `typeof` check before arithmetic. These three\n * readers are that check, once: each returns the value as the type it is and\n * throws a `TypeError` naming the MathTS function otherwise. They check the\n * shape, not the value: a `NaN` is a number and is passed through, as the\n * inline checks passed it.\n *\n * @module core/mathts-read\n */\n\nfunction kindOf(v: unknown): string {\n  if (v === null) return 'null';\n  if (Array.isArray(v)) return 'array';\n  return typeof v;\n}\n\n/** The number `v` is, or a `TypeError` naming the MathTS function `fn` that returned something else. @internal */\nexport function numberFrom(fn: string, v: unknown): number {\n  if (typeof v !== 'number') throw new TypeError(`${fn} did not return a number (got ${kindOf(v)})`);\n  return v;\n}\n\n/** The bigint `v` is, or a `TypeError` naming the MathTS function `fn` that returned something else. @internal */\nexport function bigintFrom(fn: string, v: unknown): bigint {\n  if (typeof v !== 'bigint') throw new TypeError(`${fn} did not return a bigint (got ${kindOf(v)})`);\n  return v;\n}\n\n/**\n * The `n`×`n` number matrix `v` is, copied row by row into a fresh `number[][]`,\n * or a `TypeError` naming the MathTS function `fn` when `v` is not an array of\n * `n` rows of `n` numbers.\n * @internal\n */\nexport function numberMatrixFrom(fn: string, v: unknown, n: number): number[][] {\n  const refuse = (): never => {\n    throw new TypeError(`${fn} did not return a ${n}×${n} number matrix (got ${kindOf(v)})`);\n  };\n  if (!Array.isArray(v) || v.length !== n) return refuse();\n  return v.map((row: unknown) => {\n    if (!Array.isArray(row) || row.length !== n) return refuse();\n    return row.map((x: unknown) => (typeof x === 'number' ? x : refuse()));\n  });\n}\n"]}

package/dist/core/tensor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tensor.d.ts","sourceRoot":"","sources":["../../src/core/tensor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EACV,YAAY,EACZ,aAAa,EACb,WAAW,EACX,cAAc,EACd,kBAAkB,EAGnB,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EACV,IAAI,EAEJ,OAAO,EACP,UAAU,EACV,aAAa,EACd,MAAM,WAAW,CAAC;AAEnB,OAAO,KAAK,EAAY,UAAU,EAAkB,MAAM,iBAAiB,CAAC;AAoG5E;;;;;GAKG;AACH,qBAAa,eAAe;IAC1B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAyB;IAChD,OAAO,CAAC,QAAQ,CAAC,SAAS,CAA2B;IACrD,OAAO,CAAC,QAAQ,CAAC,eAAe,CAA8B;IAC9D,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAkC;IAEpE;;;;;OAKG;IACH,OAAO,CAAC,QAAQ,CAAC,UAAU,CAA2B;IAEtD;;;;;;;;;OASG;IACH,OAAO,CAAC,QAAQ,CAAC,SAAS,CAA0B;IAEpD,YAAY,MAAM,EAAE,YAAY,EAgC/B;IAED;;;;OAIG;IACI,MAAM,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO,CAmCvC;IAED;;;;OAIG;IACI,SAAS,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAyBhD;IAED;;OAEG;IACH,OAAO,CAAC,UAAU;IAMlB;;;OAGG;IACH,OAAO,CAAC,sBAAsB;IAe9B;;;;OAIG;IACH,OAAO,CAAC,0BAA0B;IAclC;;OAEG;IACH,OAAO,CAAC,aAAa;IAIrB;;;OAGG;IACH,OAAO,CAAC,SAAS;IASjB;;OAEG;IACH,OAAO,CAAC,cAAc;IAOtB;;;OAGG;IACI,YAAY,CAAC,UAAU,EAAE,kBAAkB,GAAG,OAAO,CA6B3D;IAED;;;;;;;;;;;;;;;;;OAiBG;IACI,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CA0ClC;IAED,gFAAgF;IAChF,OAAO,CAAC,aAAa;IAsBrB;;;;;;;;;;OAUG;IACH,OAAO,CAAC,YAAY;IA4CpB;;;;;;;;;;;OAWG;IACI,cAAc,IAAI,MAAM,CAE9B;IAED;;;;;;;;;;;OAWG;IACI,cAAc,IAAI,aAAa,CAAC,IAAI,CAAC,CAM3C;IAED;;;;;;;;;;;;;;;;OAgBG;IACI,wBAAwB,IAAI,aAAa,CAAC,aAAa,CAAC,CAc9D;IAED;;;;;;OAMG;IACI,eAAe,IAAI,UAAU,CAcnC;IAMD;;;;;;;OAOG;IACH,OAAO,CAAC,cAAc;IAqBtB;;;;;;;;OAQG;IACH,OAAO,CAAE,kBAAkB;IAoB3B;;;;OAIG;IACI,eAAe,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,EAAE,CAIvD;IAED;;;OAGG;IACI,qBAAqB,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,aAAa,GAAG,MAAM,EAAE,CAInF;IAED;;OAEG;IACI,SAAS,CAAC,OAAO,EAAE,aAAa,GAAG,WAAW,EAAE,CAUtD;IAED;;OAEG;IACI,WAAW,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,aAAa,GAAG,cAAc,EAAE,CAajF;IAED;;OAEG;IACI,OAAO,IAAI,WAAW,EAAE,CAE9B;IAED;;OAEG;IACI,UAAU,IAAI,cAAc,EAAE,CAEpC;IAED;;OAEG;IACI,YAAY,IAAI,kBAAkB,EAAE,CAE1C;IAED;;OAEG;IACI,QAAQ;;;;;;;;MAcd;IAED;;;;OAIG;IACH,OAAO,CAAC,gBAAgB;IAaxB;;;;;OAKG;IACH,OAAO,CAAC,eAAe;IAkCvB;;OAEG;IACH,OAAO,CAAC,YAAY;CA2BrB;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,OAAO,CACrB,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,EAC5B,OAAO,EAAE,aAAa,CAAC,UAAU,CAAC,EAClC,UAAU,EAAE,aAAa,CAAC,aAAa,CAAC,EACxC,MAAM,EAAE,YAAY,GACnB,eAAe,CAMjB"}
+{"version":3,"file":"tensor.d.ts","sourceRoot":"","sources":["../../src/core/tensor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EACV,YAAY,EACZ,aAAa,EACb,WAAW,EACX,cAAc,EACd,kBAAkB,EAGnB,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EACV,IAAI,EAEJ,OAAO,EACP,UAAU,EACV,aAAa,EACd,MAAM,WAAW,CAAC;AAGnB,OAAO,KAAK,EAAY,UAAU,EAAkB,MAAM,iBAAiB,CAAC;AAkH5E;;;;;GAKG;AACH,qBAAa,eAAe;IAC1B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAyB;IAChD,OAAO,CAAC,QAAQ,CAAC,SAAS,CAA2B;IACrD,OAAO,CAAC,QAAQ,CAAC,eAAe,CAA8B;IAC9D,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAkC;IAEpE;;;;;OAKG;IACH,OAAO,CAAC,QAAQ,CAAC,UAAU,CAA2B;IAEtD;;;;;;;;;OASG;IACH,OAAO,CAAC,QAAQ,CAAC,SAAS,CAA0B;IAEpD,YAAY,MAAM,EAAE,YAAY,EAwC/B;IAED;;;;OAIG;IACI,MAAM,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO,CAmCvC;IAED;;;;OAIG;IACI,SAAS,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAyBhD;IAED;;OAEG;IACH,OAAO,CAAC,UAAU;IAMlB;;;OAGG;IACH,OAAO,CAAC,sBAAsB;IAe9B;;;;OAIG;IACH,OAAO,CAAC,0BAA0B;IAclC;;OAEG;IACH,OAAO,CAAC,aAAa;IAIrB;;;OAGG;IACH,OAAO,CAAC,SAAS;IASjB;;OAEG;IACH,OAAO,CAAC,cAAc;IAOtB;;;OAGG;IACI,YAAY,CAAC,UAAU,EAAE,kBAAkB,GAAG,OAAO,CA6B3D;IAED;;;;;;;;;;;;;;;;;OAiBG;IACI,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CA0ClC;IAED,gFAAgF;IAChF,OAAO,CAAC,aAAa;IAsBrB;;;;;;;;;;OAUG;IACH,OAAO,CAAC,YAAY;IA4CpB;;;;;;;;;;;OAWG;IACI,cAAc,IAAI,MAAM,CAE9B;IAED;;;;;;;;;;;OAWG;IACI,cAAc,IAAI,aAAa,CAAC,IAAI,CAAC,CAM3C;IAED;;;;;;;;;;;;;;;;OAgBG;IACI,wBAAwB,IAAI,aAAa,CAAC,aAAa,CAAC,CAc9D;IAED;;;;;;OAMG;IACI,eAAe,IAAI,UAAU,CAcnC;IAMD;;;;;;;OAOG;IACH,OAAO,CAAC,cAAc;IAqBtB;;;;;;;;OAQG;IACH,OAAO,CAAE,kBAAkB;IAoB3B;;;;OAIG;IACI,eAAe,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,EAAE,CAIvD;IAED;;;OAGG;IACI,qBAAqB,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,aAAa,GAAG,MAAM,EAAE,CAInF;IAED;;OAEG;IACI,SAAS,CAAC,OAAO,EAAE,aAAa,GAAG,WAAW,EAAE,CAUtD;IAED;;OAEG;IACI,WAAW,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,aAAa,GAAG,cAAc,EAAE,CAajF;IAED;;OAEG;IACI,OAAO,IAAI,WAAW,EAAE,CAE9B;IAED;;OAEG;IACI,UAAU,IAAI,cAAc,EAAE,CAEpC;IAED;;OAEG;IACI,YAAY,IAAI,kBAAkB,EAAE,CAE1C;IAED;;OAEG;IACI,QAAQ;;;;;;;;MAcd;IAED;;;;OAIG;IACH,OAAO,CAAC,gBAAgB;IAaxB;;;;;OAKG;IACH,OAAO,CAAC,eAAe;IAkCvB;;OAEG;IACH,OAAO,CAAC,YAAY;CA2BrB;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,OAAO,CACrB,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,EAC5B,OAAO,EAAE,aAAa,CAAC,UAAU,CAAC,EAClC,UAAU,EAAE,aAAa,CAAC,aAAa,CAAC,EACxC,MAAM,EAAE,YAAY,GACnB,eAAe,CAMjB"}

package/dist/core/tensor.js

@@ -11,6 +11,7 @@
  * - E: Emergent phenomena (higher-order correlations)
  */
 import { lawToCell, bridgeToCell, emergenceToCell } from './cell.js';
+import { Axes } from './axes-registry.js';
 import { runRules, V07_CELL_RULES, FluxViolationError } from './flux-rules.js';
 /**
  * Map the string-vocabulary {@link CellConfidence} to a representative
@@ -95,6 +96,20 @@ function cellToEmergence(cell) {
         confidence: statusToConfidenceNumber(cell.confidence),
     };
 }
+/**
+ * Refuse a configured axis value the registry does not name. `admitted` is the
+ * registry namespace for that axis (`Axes.scale`, …), whose keys are the values.
+ */
+function requireAxisValues(field, values, admitted) {
+    if (!Array.isArray(values))
+        throw new TypeError(`TensorConfig.${field} must be an array`);
+    const known = Object.keys(admitted);
+    for (const value of values) {
+        if (typeof value !== 'string' || !known.includes(value)) {
+            throw new RangeError(`TensorConfig.${field}: '${String(value)}' is not an axis value; the registry names ${known.join(', ')}`);
+        }
+    }
+}
 /**
  * The rank-6 universal physics tensor Π = L + B + E: a sparse store of
  * physical-law / bridge / emergence cells indexed by regime coordinates.
@@ -136,6 +151,15 @@ export class UniversalTensor {
         if (!Array.isArray(config.forces) || config.forces.length === 0) {
             throw new TypeError('TensorConfig.forces must be a non-empty array');
         }
+        // Each value is one the axis registry names: `scales: ['nope']` used to build a tensor over
+        // an axis value nothing else in the library knows.
+        requireAxisValues('scales', config.scales, Axes.scale);
+        requireAxisValues('forces', config.forces, Axes.force);
+        if (config.symmetries !== undefined)
+            requireAxisValues('symmetries', config.symmetries, Axes.symmetry);
+        if (config.informationMeasures !== undefined) {
+            requireAxisValues('informationMeasures', config.informationMeasures, Axes.information);
+        }
         // Apply defaults
         this.config = {
             rank: config.rank,