universal-physics-tensor 10.0.0 → 11.0.0

package/dist/dimensional/unit-data.js

@@ -19,7 +19,7 @@
  *
  * @module dimensional/unit-data
  */
-import { createHash } from 'node:crypto';
+import { sha256Hex } from '../core/hash.js';
 import { dataSchema, dataText, parseDataFile } from '../core/data-file.js';
 import { constantRow } from './constant-rows.js';
 import { decimalScale, irrationalScale, readScaleExpression, scaleOf } from './exact-scale.js';
@@ -131,7 +131,7 @@ export function readUnitFile(text, schema) {
         iceKelvin: read(file.affine.iceKelvin, 'affine iceKelvin'),
         affine,
         spellingNotes,
-        sha256: createHash('sha256').update(text.replace(/\r\n/g, '\n')).digest('hex'),
+        sha256: sha256Hex(text.replace(/\r\n/g, '\n')),
     };
 }
 /** The unit table, read once from `data/units.json`. @internal */

package/dist/dimensional/unit-data.js.map

@@ -1 +1 @@
-{"version":3,"file":"unit-data.js","sourceRoot":"","sources":["../../src/dimensional/unit-data.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE3E,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEjD,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,mBAAmB,EAAE,OAAO,EAAmB,MAAM,kBAAkB,CAAC;AAqEhH,yGAAyG;AACzG,MAAM,EAAE,GAAG,IAAI,CAAC;AAChB,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAE1C,mJAAmJ;AACnJ,SAAS,aAAa,CAAC,IAAY;IACjC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,OAAO,QAAQ,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAClG,CAAC;AAED,SAAS,SAAS,CAAC,CAAgB;IACjC,OAAO;QACL,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACX,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACX,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACX,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACX,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC;QACnB,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACX,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;KACZ,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,MAAkB;IAC3D,MAAM,IAAI,GAAG,aAAa,CAAC,YAAY,EAAE,IAAI,EAAE,MAAM,CAAa,CAAC;IACnE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5C,IAAI,IAAI,KAAK,EAAE,IAAI,WAAW,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACnD,MAAM,IAAI,KAAK,CAAC,kCAAkC,IAAI,aAAa,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,uBAAuB,0BAA0B,CAAC,CAAC;QAC5I,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,OAAO,GAAG,CAAC,IAAY,EAA0B,EAAE;QACvD,IAAI,IAAI,KAAK,EAAE;YAAE,OAAO,QAAQ,CAAC;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC7B,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACpC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,IAAI,iCAAiC,CAAC,CAAC;YACzG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClB,MAAM,KAAK,GAAG,mBAAmB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACnD,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACrB,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACvB,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,KAAa,EAAc,EAAE;QACvD,IAAI,CAAC;YACH,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,KAAK,CAAC,mBAAmB,KAAK,KAAM,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,CAAE,CAAU,CAAC,CAAC,CAAC;IACxH,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmB,CAAC;IACzC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxD,MAAM,IAAI,GAAY,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QAC7I,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,MAAM,0BAA0B,CAAC,CAAC;YACnG,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,KAAK,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC9C,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,MAAM,mCAAmC,CAAC,CAAC;QACtI,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9B,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,CAAC;QACpD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAChD,MAAM,IAAI,KAAK,CAAC,mCAAmC,MAAM,mCAAmC,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC5C,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,MAAM,6BAA6B,CAAC,CAAC;QACjI,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;IAC5I,CAAC,CAAC,CAAC;IACH,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,KAAK,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,+BAA+B,EAAE,CAAC,CAAC,EAAE,IAAY,EAAE,EAAE;YAC/E,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,QAAQ,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,QAAQ,YAAY,IAAI,uCAAuC,CAAC,CAAC;YAC3I,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QACH,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC;IACD,OAAO;QACL,KAAK;QACL,QAAQ;QACR,OAAO;QACP,iBAAiB,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC;QAC1D,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,kBAAkB,CAAC;QAC1D,MAAM;QACN,aAAa;QACb,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;KAC/E,CAAC;AACJ,CAAC;AAED,kEAAkE;AAClE,MAAM,CAAC,MAAM,SAAS,GAAkB,YAAY,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC","sourcesContent":["/**\n * The unit table, loaded from `data/units.json` and validated once.\n *\n * The file is checked against `data/units.schema.json` when this module\n * loads (`core/data-file`), then against the rules a schema cannot state:\n * every scale expression reads, a symbol is spelled by one row, a refused\n * spelling and an affine spelling are not also a unit, every prefix letter is\n * both a prefix and a unit, and every `{NAME}` in a note is a constant. A\n * file that breaks one throws here, so `units.ts` never reads a half-valid table.\n *\n * A scale is an exact expression, read by `exact-scale.ts`. A name in it is a\n * shared scale from the file's `scales`, `pi`, or a constant under its registry\n * spelling (`c`, `e`, `m_u`, `M_sun`, `Msun_iau`, `ln2`; `constant-rows.ts`),\n * the same spelling a `{NAME}` note placeholder uses. A constant is read through\n * its shortest decimal (`scaleOf`), or as the irrational factor when its row is\n * `irrational`. A shared scale may not reuse a constant's spelling, so a name\n * has one meaning. The raw rows are strings and integer exponents, so another\n * exact reader (MathTS) replaces this loader without touching the file.\n *\n * @module dimensional/unit-data\n */\n\nimport { createHash } from 'node:crypto';\nimport { dataSchema, dataText, parseDataFile } from '../core/data-file.js';\nimport type { JsonSchema } from '../core/json-schema.js';\nimport { constantRow } from './constant-rows.js';\nimport type { Dimension } from './types.js';\nimport { decimalScale, irrationalScale, readScaleExpression, scaleOf, type ExactScale } from './exact-scale.js';\n\ntype DimensionFile = Partial<Record<keyof Dimension, number>>;\n\ninterface UnitFileRow {\n  readonly symbols: readonly string[];\n  readonly scale: string;\n  readonly dimension: DimensionFile;\n  readonly prefixable: boolean;\n  readonly cycles?: true;\n}\n\ninterface AffineFileRow {\n  readonly id: string;\n  readonly scale: string;\n  readonly icePoint: string;\n  readonly symbols: readonly string[];\n}\n\ninterface UnitFile {\n  readonly scales: Readonly<Record<string, string>>;\n  readonly prefixes: Readonly<Record<string, string>>;\n  readonly units: readonly UnitFileRow[];\n  readonly refused: readonly { readonly symbol: string; readonly reason: string }[];\n  readonly prefixLetterUnits: { readonly letters: readonly string[] };\n  readonly affine: { readonly iceKelvin: string; readonly scales: readonly AffineFileRow[] };\n  readonly spellingNotes: readonly { readonly spelling: string; readonly note: string }[];\n}\n\n/** One unit symbol, read exactly. @internal */\nexport interface UnitRow {\n  /** Exact scale to SI base units. */\n  readonly scale: ExactScale;\n  readonly dim: Dimension;\n  /** Takes an SI prefix. */\n  readonly prefixable: boolean;\n  /**\n   * The unit counts cycles (turns), not radians. An angular-frequency input in\n   * rad/s takes 2π per cycle; the radian itself does not.\n   */\n  readonly cycles?: true;\n}\n\n/** One affine temperature scale, read exactly. @internal */\nexport interface AffineRow {\n  readonly id: string;\n  /** Kelvin per degree, exactly. */\n  readonly scale: ExactScale;\n  /** The reading at the ice point (0 °C, 273.15 K), exactly. */\n  readonly icePoint: ExactScale;\n  readonly symbols: readonly string[];\n}\n\n/** The unit table `units.ts` reads. @internal */\nexport interface UnitTableData {\n  readonly units: ReadonlyMap<string, UnitRow>;\n  readonly prefixes: ReadonlyMap<string, ExactScale>;\n  /** Refused spelling → the message it prints. */\n  readonly refused: ReadonlyMap<string, string>;\n  readonly prefixLetterUnits: ReadonlySet<string>;\n  /** Kelvin at 0 °C, exactly. */\n  readonly iceKelvin: ExactScale;\n  readonly affine: readonly AffineRow[];\n  /** Spelling → its note, with every `{NAME}` replaced by that constant. */\n  readonly spellingNotes: ReadonlyMap<string, string>;\n  /** SHA-256 of `data/units.json` with line endings as LF, for the CLI record fingerprint. */\n  readonly sha256: string;\n}\n\n/** π, which the registry does not spell (a formula scope adds `pi` itself), as the irrational factor. */\nconst PI = 'pi';\nconst PI_SCALE = irrationalScale(Math.PI);\n\n/** The registered constant `name` spells, exactly: its irrational factor or its shortest decimal; undefined when no constant has that spelling. */\nfunction constantScale(name: string): ExactScale | undefined {\n  const constant = constantRow(name);\n  if (constant === undefined) return undefined;\n  return constant.irrational === true ? irrationalScale(constant.value) : scaleOf(constant.value);\n}\n\nfunction dimension(d: DimensionFile): Dimension {\n  return {\n    L: d.L ?? 0,\n    M: d.M ?? 0,\n    T: d.T ?? 0,\n    I: d.I ?? 0,\n    Theta: d.Theta ?? 0,\n    N: d.N ?? 0,\n    J: d.J ?? 0,\n  };\n}\n\n/**\n * Validate and read `text`, the contents of `data/units.json`, against `schema`.\n * Throws on a file the schema or the table rules reject. A test passes a broken copy.\n * @internal\n */\nexport function readUnitFile(text: string, schema: JsonSchema): UnitTableData {\n  const file = parseDataFile('units.json', text, schema) as UnitFile;\n  for (const name of Object.keys(file.scales)) {\n    if (name === PI || constantRow(name) !== undefined) {\n      throw new Error(`data/units.json: shared scale '${name}' is also ${name === PI ? 'π' : 'a registered constant'}; a name has one meaning`);\n    }\n  }\n\n  const named = new Map<string, ExactScale>();\n  const reading = new Set<string>();\n  const resolve = (name: string): ExactScale | undefined => {\n    if (name === PI) return PI_SCALE;\n    const shared = file.scales[name];\n    if (shared !== undefined) {\n      const done = named.get(name);\n      if (done !== undefined) return done;\n      if (reading.has(name)) throw new Error(`data/units.json: scale '${name}' is defined in terms of itself`);\n      reading.add(name);\n      const scale = readScaleExpression(shared, resolve);\n      reading.delete(name);\n      named.set(name, scale);\n      return scale;\n    }\n    return constantScale(name);\n  };\n  const read = (text: string, where: string): ExactScale => {\n    try {\n      return readScaleExpression(text, resolve);\n    } catch (error) {\n      throw new Error(`data/units.json ${where}: ${(error as Error).message}`);\n    }\n  };\n\n  const prefixes = new Map(Object.entries(file.prefixes).map(([prefix, text]) => [prefix, decimalScale(text)!] as const));\n  const units = new Map<string, UnitRow>();\n  for (const row of file.units) {\n    const scale = read(row.scale, `unit ${row.symbols[0]}`);\n    const unit: UnitRow = { scale, dim: dimension(row.dimension), prefixable: row.prefixable, ...(row.cycles ? { cycles: true as const } : {}) };\n    for (const symbol of row.symbols) {\n      if (units.has(symbol)) throw new Error(`data/units.json: unit '${symbol}' is spelled by two rows`);\n      units.set(symbol, unit);\n    }\n  }\n  const refused = new Map<string, string>();\n  for (const { symbol, reason } of file.refused) {\n    if (units.has(symbol) || refused.has(symbol)) throw new Error(`data/units.json: refused '${symbol}' is also a unit or refused twice`);\n    refused.set(symbol, reason);\n  }\n  for (const letter of file.prefixLetterUnits.letters) {\n    if (!prefixes.has(letter) || !units.has(letter)) {\n      throw new Error(`data/units.json: prefix letter '${letter}' is not both a prefix and a unit`);\n    }\n  }\n  const affine = file.affine.scales.map((row) => {\n    for (const symbol of row.symbols) {\n      if (units.has(symbol) || refused.has(symbol)) throw new Error(`data/units.json: affine '${symbol}' is also a unit or refused`);\n    }\n    return { id: row.id, scale: read(row.scale, `affine ${row.id}`), icePoint: read(row.icePoint, `affine ${row.id}`), symbols: row.symbols };\n  });\n  const spellingNotes = new Map<string, string>();\n  for (const { spelling, note } of file.spellingNotes) {\n    const filled = note.replace(/\\{([A-Za-z_][A-Za-z0-9_]*)\\}/g, (_, name: string) => {\n      const constant = constantRow(name);\n      if (constant === undefined) throw new Error(`data/units.json: note for '${spelling}' names '${name}', which is not a registered constant`);\n      return String(constant.value);\n    });\n    spellingNotes.set(spelling, filled);\n  }\n  return {\n    units,\n    prefixes,\n    refused,\n    prefixLetterUnits: new Set(file.prefixLetterUnits.letters),\n    iceKelvin: read(file.affine.iceKelvin, 'affine iceKelvin'),\n    affine,\n    spellingNotes,\n    sha256: createHash('sha256').update(text.replace(/\\r\\n/g, '\\n')).digest('hex'),\n  };\n}\n\n/** The unit table, read once from `data/units.json`. @internal */\nexport const UNIT_DATA: UnitTableData = readUnitFile(dataText('units.json'), dataSchema('units.json'));\n"]}
+{"version":3,"file":"unit-data.js","sourceRoot":"","sources":["../../src/dimensional/unit-data.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE3E,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEjD,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,mBAAmB,EAAE,OAAO,EAAmB,MAAM,kBAAkB,CAAC;AAqEhH,yGAAyG;AACzG,MAAM,EAAE,GAAG,IAAI,CAAC;AAChB,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAE1C,mJAAmJ;AACnJ,SAAS,aAAa,CAAC,IAAY;IACjC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,OAAO,QAAQ,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAClG,CAAC;AAED,SAAS,SAAS,CAAC,CAAgB;IACjC,OAAO;QACL,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACX,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACX,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACX,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACX,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC;QACnB,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACX,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;KACZ,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,MAAkB;IAC3D,MAAM,IAAI,GAAG,aAAa,CAAC,YAAY,EAAE,IAAI,EAAE,MAAM,CAAa,CAAC;IACnE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5C,IAAI,IAAI,KAAK,EAAE,IAAI,WAAW,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACnD,MAAM,IAAI,KAAK,CAAC,kCAAkC,IAAI,aAAa,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,uBAAuB,0BAA0B,CAAC,CAAC;QAC5I,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,OAAO,GAAG,CAAC,IAAY,EAA0B,EAAE;QACvD,IAAI,IAAI,KAAK,EAAE;YAAE,OAAO,QAAQ,CAAC;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC7B,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACpC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,IAAI,iCAAiC,CAAC,CAAC;YACzG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClB,MAAM,KAAK,GAAG,mBAAmB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACnD,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACrB,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACvB,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,KAAa,EAAc,EAAE;QACvD,IAAI,CAAC;YACH,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,KAAK,CAAC,mBAAmB,KAAK,KAAM,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,CAAE,CAAU,CAAC,CAAC,CAAC;IACxH,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmB,CAAC;IACzC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxD,MAAM,IAAI,GAAY,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QAC7I,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,MAAM,0BAA0B,CAAC,CAAC;YACnG,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,KAAK,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC9C,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,MAAM,mCAAmC,CAAC,CAAC;QACtI,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9B,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,CAAC;QACpD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAChD,MAAM,IAAI,KAAK,CAAC,mCAAmC,MAAM,mCAAmC,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC5C,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,MAAM,6BAA6B,CAAC,CAAC;QACjI,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;IAC5I,CAAC,CAAC,CAAC;IACH,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,KAAK,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,+BAA+B,EAAE,CAAC,CAAC,EAAE,IAAY,EAAE,EAAE;YAC/E,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,QAAQ,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,QAAQ,YAAY,IAAI,uCAAuC,CAAC,CAAC;YAC3I,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QACH,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC;IACD,OAAO;QACL,KAAK;QACL,QAAQ;QACR,OAAO;QACP,iBAAiB,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC;QAC1D,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,kBAAkB,CAAC;QAC1D,MAAM;QACN,aAAa;QACb,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;KAC/C,CAAC;AACJ,CAAC;AAED,kEAAkE;AAClE,MAAM,CAAC,MAAM,SAAS,GAAkB,YAAY,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC","sourcesContent":["/**\n * The unit table, loaded from `data/units.json` and validated once.\n *\n * The file is checked against `data/units.schema.json` when this module\n * loads (`core/data-file`), then against the rules a schema cannot state:\n * every scale expression reads, a symbol is spelled by one row, a refused\n * spelling and an affine spelling are not also a unit, every prefix letter is\n * both a prefix and a unit, and every `{NAME}` in a note is a constant. A\n * file that breaks one throws here, so `units.ts` never reads a half-valid table.\n *\n * A scale is an exact expression, read by `exact-scale.ts`. A name in it is a\n * shared scale from the file's `scales`, `pi`, or a constant under its registry\n * spelling (`c`, `e`, `m_u`, `M_sun`, `Msun_iau`, `ln2`; `constant-rows.ts`),\n * the same spelling a `{NAME}` note placeholder uses. A constant is read through\n * its shortest decimal (`scaleOf`), or as the irrational factor when its row is\n * `irrational`. A shared scale may not reuse a constant's spelling, so a name\n * has one meaning. The raw rows are strings and integer exponents, so another\n * exact reader (MathTS) replaces this loader without touching the file.\n *\n * @module dimensional/unit-data\n */\n\nimport { sha256Hex } from '../core/hash.js';\nimport { dataSchema, dataText, parseDataFile } from '../core/data-file.js';\nimport type { JsonSchema } from '../core/json-schema.js';\nimport { constantRow } from './constant-rows.js';\nimport type { Dimension } from './types.js';\nimport { decimalScale, irrationalScale, readScaleExpression, scaleOf, type ExactScale } from './exact-scale.js';\n\ntype DimensionFile = Partial<Record<keyof Dimension, number>>;\n\ninterface UnitFileRow {\n  readonly symbols: readonly string[];\n  readonly scale: string;\n  readonly dimension: DimensionFile;\n  readonly prefixable: boolean;\n  readonly cycles?: true;\n}\n\ninterface AffineFileRow {\n  readonly id: string;\n  readonly scale: string;\n  readonly icePoint: string;\n  readonly symbols: readonly string[];\n}\n\ninterface UnitFile {\n  readonly scales: Readonly<Record<string, string>>;\n  readonly prefixes: Readonly<Record<string, string>>;\n  readonly units: readonly UnitFileRow[];\n  readonly refused: readonly { readonly symbol: string; readonly reason: string }[];\n  readonly prefixLetterUnits: { readonly letters: readonly string[] };\n  readonly affine: { readonly iceKelvin: string; readonly scales: readonly AffineFileRow[] };\n  readonly spellingNotes: readonly { readonly spelling: string; readonly note: string }[];\n}\n\n/** One unit symbol, read exactly. @internal */\nexport interface UnitRow {\n  /** Exact scale to SI base units. */\n  readonly scale: ExactScale;\n  readonly dim: Dimension;\n  /** Takes an SI prefix. */\n  readonly prefixable: boolean;\n  /**\n   * The unit counts cycles (turns), not radians. An angular-frequency input in\n   * rad/s takes 2π per cycle; the radian itself does not.\n   */\n  readonly cycles?: true;\n}\n\n/** One affine temperature scale, read exactly. @internal */\nexport interface AffineRow {\n  readonly id: string;\n  /** Kelvin per degree, exactly. */\n  readonly scale: ExactScale;\n  /** The reading at the ice point (0 °C, 273.15 K), exactly. */\n  readonly icePoint: ExactScale;\n  readonly symbols: readonly string[];\n}\n\n/** The unit table `units.ts` reads. @internal */\nexport interface UnitTableData {\n  readonly units: ReadonlyMap<string, UnitRow>;\n  readonly prefixes: ReadonlyMap<string, ExactScale>;\n  /** Refused spelling → the message it prints. */\n  readonly refused: ReadonlyMap<string, string>;\n  readonly prefixLetterUnits: ReadonlySet<string>;\n  /** Kelvin at 0 °C, exactly. */\n  readonly iceKelvin: ExactScale;\n  readonly affine: readonly AffineRow[];\n  /** Spelling → its note, with every `{NAME}` replaced by that constant. */\n  readonly spellingNotes: ReadonlyMap<string, string>;\n  /** SHA-256 of `data/units.json` with line endings as LF, for the CLI record fingerprint. */\n  readonly sha256: string;\n}\n\n/** π, which the registry does not spell (a formula scope adds `pi` itself), as the irrational factor. */\nconst PI = 'pi';\nconst PI_SCALE = irrationalScale(Math.PI);\n\n/** The registered constant `name` spells, exactly: its irrational factor or its shortest decimal; undefined when no constant has that spelling. */\nfunction constantScale(name: string): ExactScale | undefined {\n  const constant = constantRow(name);\n  if (constant === undefined) return undefined;\n  return constant.irrational === true ? irrationalScale(constant.value) : scaleOf(constant.value);\n}\n\nfunction dimension(d: DimensionFile): Dimension {\n  return {\n    L: d.L ?? 0,\n    M: d.M ?? 0,\n    T: d.T ?? 0,\n    I: d.I ?? 0,\n    Theta: d.Theta ?? 0,\n    N: d.N ?? 0,\n    J: d.J ?? 0,\n  };\n}\n\n/**\n * Validate and read `text`, the contents of `data/units.json`, against `schema`.\n * Throws on a file the schema or the table rules reject. A test passes a broken copy.\n * @internal\n */\nexport function readUnitFile(text: string, schema: JsonSchema): UnitTableData {\n  const file = parseDataFile('units.json', text, schema) as UnitFile;\n  for (const name of Object.keys(file.scales)) {\n    if (name === PI || constantRow(name) !== undefined) {\n      throw new Error(`data/units.json: shared scale '${name}' is also ${name === PI ? 'π' : 'a registered constant'}; a name has one meaning`);\n    }\n  }\n\n  const named = new Map<string, ExactScale>();\n  const reading = new Set<string>();\n  const resolve = (name: string): ExactScale | undefined => {\n    if (name === PI) return PI_SCALE;\n    const shared = file.scales[name];\n    if (shared !== undefined) {\n      const done = named.get(name);\n      if (done !== undefined) return done;\n      if (reading.has(name)) throw new Error(`data/units.json: scale '${name}' is defined in terms of itself`);\n      reading.add(name);\n      const scale = readScaleExpression(shared, resolve);\n      reading.delete(name);\n      named.set(name, scale);\n      return scale;\n    }\n    return constantScale(name);\n  };\n  const read = (text: string, where: string): ExactScale => {\n    try {\n      return readScaleExpression(text, resolve);\n    } catch (error) {\n      throw new Error(`data/units.json ${where}: ${(error as Error).message}`);\n    }\n  };\n\n  const prefixes = new Map(Object.entries(file.prefixes).map(([prefix, text]) => [prefix, decimalScale(text)!] as const));\n  const units = new Map<string, UnitRow>();\n  for (const row of file.units) {\n    const scale = read(row.scale, `unit ${row.symbols[0]}`);\n    const unit: UnitRow = { scale, dim: dimension(row.dimension), prefixable: row.prefixable, ...(row.cycles ? { cycles: true as const } : {}) };\n    for (const symbol of row.symbols) {\n      if (units.has(symbol)) throw new Error(`data/units.json: unit '${symbol}' is spelled by two rows`);\n      units.set(symbol, unit);\n    }\n  }\n  const refused = new Map<string, string>();\n  for (const { symbol, reason } of file.refused) {\n    if (units.has(symbol) || refused.has(symbol)) throw new Error(`data/units.json: refused '${symbol}' is also a unit or refused twice`);\n    refused.set(symbol, reason);\n  }\n  for (const letter of file.prefixLetterUnits.letters) {\n    if (!prefixes.has(letter) || !units.has(letter)) {\n      throw new Error(`data/units.json: prefix letter '${letter}' is not both a prefix and a unit`);\n    }\n  }\n  const affine = file.affine.scales.map((row) => {\n    for (const symbol of row.symbols) {\n      if (units.has(symbol) || refused.has(symbol)) throw new Error(`data/units.json: affine '${symbol}' is also a unit or refused`);\n    }\n    return { id: row.id, scale: read(row.scale, `affine ${row.id}`), icePoint: read(row.icePoint, `affine ${row.id}`), symbols: row.symbols };\n  });\n  const spellingNotes = new Map<string, string>();\n  for (const { spelling, note } of file.spellingNotes) {\n    const filled = note.replace(/\\{([A-Za-z_][A-Za-z0-9_]*)\\}/g, (_, name: string) => {\n      const constant = constantRow(name);\n      if (constant === undefined) throw new Error(`data/units.json: note for '${spelling}' names '${name}', which is not a registered constant`);\n      return String(constant.value);\n    });\n    spellingNotes.set(spelling, filled);\n  }\n  return {\n    units,\n    prefixes,\n    refused,\n    prefixLetterUnits: new Set(file.prefixLetterUnits.letters),\n    iceKelvin: read(file.affine.iceKelvin, 'affine iceKelvin'),\n    affine,\n    spellingNotes,\n    sha256: sha256Hex(text.replace(/\\r\\n/g, '\\n')),\n  };\n}\n\n/** The unit table, read once from `data/units.json`. @internal */\nexport const UNIT_DATA: UnitTableData = readUnitFile(dataText('units.json'), dataSchema('units.json'));\n"]}

package/dist/index.d.ts

@@ -52,7 +52,7 @@ export { DuplicateInputError, InputTypeError, MissingInputError, NonFiniteInputE
 /** A caller input that names a registered constant (`G`, `k_B`, `m_p`, …) is refused on every evaluation path. */
 export { ConstantInputError } from './bridges/index.js';
 /** The result of {@link evaluateRelation}. A value carries a public `Dimension`. */
-export type { Evaluation } from './composition/index.js';
+export type { Evaluation, ExtraOutput } from './composition/index.js';
 export type { EvaluatorSpec, EvaluatorParameter, ParameterAlternate, GeometryRole } from './bridges/evaluators.js';
 /** An extra output an `EvaluatorSpec` returns beside its `value`. */
 export type { CatalogEvaluatorOutput } from './bridges/catalog-types.js';
@@ -105,14 +105,20 @@ export { evaluateNumerical, evaluateNumericalRaw, evaluateMetricInverse, getActi
 export type { NumericalResult, NumericalRawResult, EvaluateOptions, NumericalInputs, TensorEngine, EngineTensor, EinsumSpec, NestedArray, GridField, ForwardGradResult, ReverseGradResult, GL4State, GL4Snapshot, GL4Options, PerihelionResult, FindPerihelionOptions, CovariantEikonalInputs, CovariantEikonalResult, } from './numerical/index.js';
 export { composeEdges, consistencyRatio, evaluateEdge, minConfidence, regimesDiffer, QUANTITY_IDENTIFICATIONS, CompositionDimensionError, CompositionJunctionError, DomainViolationError, M_SUN_KG, } from './composition/index.js';
 export type { BridgeEdge, ComposeOptions, EdgeConfidence, Quantity, QuantityIdentification, RegimeAttributes, ValidityDomain, } from './composition/index.js';
+/** A validity domain built from one condition text: the predicate, the description and the refusal all read it. */
+export { validityDomain } from './composition/index.js';
+/** A failed validity condition and the inputs it read, as `DomainViolationError.violations` lists them. */
+export type { DomainInput, DomainViolation } from './composition/index.js';
 export { adjudicateBridgeEntry, adjudicateCatalog } from './bridges/membership.js';
 export { REJECTED_BRIDGE_ADJUDICATIONS, REJECTED_BRIDGE_IDS } from './bridges/rejected.js';
 export type { BridgeVerdict, CatalogAdjudicationReport } from './bridges/membership.js';
 export type { RejectedBridgeAdjudication } from './bridges/rejected.js';
 export { enumerateCompositions, REGISTERED_COMPOSITION_IDS, propagateUncertainty, } from './composition/index.js';
 export type { CompositionCandidate, EnumerationReport, UncertaintyResult, } from './composition/index.js';
-export { classifyIdentifiability, classifyAll, forwardClosure, } from './composition/index.js';
-export type { IdentifiabilityVerdict, IdentifiabilityResult, IdentifiabilityOptions, } from './composition/index.js';
+/** The forward closure, the per-target classifier, the sweep, and the log-space rank over the monomial edges. */
+export { classifyIdentifiability, classifyAll, forwardClosure, identifiabilityByRank, } from './composition/index.js';
+/** The classifier's verdict, result and option types, and the rank instrument's report. */
+export type { IdentifiabilityVerdict, IdentifiabilityResult, IdentifiabilityOptions, RankIdentifiability, } from './composition/index.js';
 export { retrodict, retrodictNode } from './composition/index.js';
 /** The retrodiction harness's result, prediction, refusal, report and option types. */
 export type { RetrodictionOutcome, RetrodictionPrediction, RetrodictionResult, RetrodictionRefusal, RetrodictionReport, RetrodictionOptions, } from './composition/index.js';

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAInD,OAAO,EACL,IAAI,EACJ,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,MAAM,EACN,IAAI,EACJ,KAAK,EACL,MAAM,EACN,MAAM,EACN,MAAM,EACN,KAAK,EAEL,QAAQ,EAER,SAAS,EAET,MAAM,EAEN,SAAS,GACV,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EACV,YAAY,EACZ,aAAa,EACb,WAAW,EACX,cAAc,EACd,kBAAkB,EAClB,aAAa,EACb,KAAK,EACL,QAAQ,EACR,kBAAkB,GACnB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAMpD,YAAY,EACV,IAAI,EACJ,QAAQ,EACR,cAAc,EACd,OAAO,EACP,UAAU,EACV,aAAa,GACd,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAK3C,YAAY,EACV,cAAc,EACd,UAAU,GACX,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,YAAY,EACV,kBAAkB,EAClB,sBAAsB,GACvB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,cAAc,EACd,WAAW,EACX,aAAa,EACb,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AAKtC,YAAY,EACV,QAAQ,EACR,cAAc,EACd,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AACtD,YAAY,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAC;AAC/C,OAAO,EACL,aAAa,EACb,8BAA8B,EAC9B,iBAAiB,EACjB,qBAAqB,EACrB,sBAAsB,EACtB,qBAAqB,EACrB,cAAc,EACd,cAAc,EACd,cAAc,GACf,MAAM,0BAA0B,CAAC;AAKlC,YAAY,EACV,gBAAgB,EAChB,eAAe,EACf,UAAU,GACX,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,YAAY,EACZ,WAAW,EACX,WAAW,EACX,cAAc,EACd,iBAAiB,EACjB,eAAe,EACf,cAAc,EACd,YAAY,EACZ,iBAAiB,EACjB,aAAa,EACb,mBAAmB,EACnB,cAAc,EACd,oBAAoB,GACrB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,+BAA+B,CAAC;AAEvC,OAAO,4BAA4B,CAAC;AAOpC,YAAY,EAAE,cAAc,EAAE,6BAA6B,EAAE,MAAM,2BAA2B,CAAC;AAC/F,OAAO,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AAGpE,YAAY,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,+BAA+B,CAAC;AACvC,kHAAkH;AAClH,OAAO,EACL,kBAAkB,EAClB,uBAAuB,EACvB,wBAAwB,EACxB,qBAAqB,EACrB,wBAAwB,GACzB,MAAM,wBAAwB,CAAC;AAOhC,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,gFAAgF;AAChF,OAAO,EACL,+BAA+B,GAChC,MAAM,2BAA2B,CAAC;AACnC,iEAAiE;AACjE,YAAY,EACV,mBAAmB,EACnB,sBAAsB,EACtB,gBAAgB,EAChB,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,iBAAiB,GAClB,MAAM,2BAA2B,CAAC;AACnC,YAAY,EACV,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,UAAU,GACX,MAAM,oBAAoB,CAAC;AAE5B;;;GAGG;AACH,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,gBAAgB,EAChB,aAAa,EACb,iBAAiB,EACjB,wBAAwB,EACxB,WAAW,EACX,gBAAgB,GACjB,MAAM,oBAAoB,CAAC;AAC5B;;;;GAIG;AACH,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AACjF,4HAA4H;AAC5H,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAChC,kHAAkH;AAClH,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,oFAAoF;AACpF,YAAY,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEzD,YAAY,EAAE,aAAa,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACnH,qEAAqE;AACrE,YAAY,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAC;AACzE,0GAA0G;AAC1G,YAAY,EAAE,iBAAiB,EAAE,cAAc,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAC/G,2FAA2F;AAC3F,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAM5D,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAG1D,YAAY,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAK1E,OAAO,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAC;AACnD,YAAY,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAOlE,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACtD,YAAY,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAMrE,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,YAAY,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAQtE,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,sBAAsB,EACtB,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAGhC,OAAO,EACL,iBAAiB,EACjB,KAAK,wBAAwB,EAC7B,KAAK,wBAAwB,GAC9B,MAAM,oCAAoC,CAAC;AAM5C,OAAO,EACL,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,8BAA8B,GAC/B,MAAM,4BAA4B,CAAC;AAOpC,YAAY,EACV,kBAAkB,EAClB,eAAe,EACf,2BAA2B,EAC3B,kBAAkB,GACnB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAEpE,YAAY,EACV,gBAAgB,EAChB,qBAAqB,EACrB,iCAAiC,GAClC,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AAEhF,YAAY,EACV,cAAc,EACd,gBAAgB,EAChB,4BAA4B,GAC7B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,UAAU,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAEhG,YAAY,EACV,WAAW,EACX,cAAc,EACd,yBAAyB,EACzB,qCAAqC,GACtC,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,kBAAkB,EAAE,6BAA6B,EAAE,MAAM,8BAA8B,CAAC;AAEjG,YAAY,EACV,eAAe,EACf,uBAAuB,EACvB,mCAAmC,GACpC,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,2BAA2B,EAAE,MAAM,wCAAwC,CAAC;AAMrF,YAAY,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACxD,kGAAkG;AAClG,OAAO,EACL,kBAAkB,EAClB,YAAY,EACZ,SAAS,EACT,SAAS,EACT,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAChC,uEAAuE;AACvE,YAAY,EAAE,iBAAiB,EAAE,cAAc,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAChH,OAAO,EACL,aAAa,EACb,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,KAAK,EACL,MAAM,EACN,KAAK,EACL,MAAM,EACN,WAAW,EACX,OAAO,EACP,MAAM,GACP,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,QAAQ,EACR,MAAM,EACN,KAAK,EACL,GAAG,EACH,QAAQ,EACR,MAAM,EACN,MAAM,EACN,sBAAsB,GACvB,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,QAAQ,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAC1G,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AACnG,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AAQxE,OAAO,EACL,gCAAgC,GACjC,MAAM,kCAAkC,CAAC;AAC1C,YAAY,EACV,6BAA6B,EAC7B,aAAa,EACb,IAAI,GACL,MAAM,kCAAkC,CAAC;AAM1C,OAAO,EAAE,6BAA6B,EAAE,MAAM,oCAAoC,CAAC;AACnF,YAAY,EACV,yBAAyB,EACzB,qCAAqC,GACtC,MAAM,oCAAoC,CAAC;AAK5C,YAAY,EACV,qBAAqB,EACrB,iCAAiC,GAClC,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAIlF,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAQhE,sHAAsH;AACtH,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,qBAAqB,EACrB,eAAe,EACf,eAAe,EACf,qBAAqB,EAErB,0BAA0B,EAC1B,qBAAqB,EACrB,kBAAkB,EAClB,iCAAiC,EAEjC,oBAAoB,EAEpB,cAAc,GACf,MAAM,sBAAsB,CAAC;AAC9B,uHAAuH;AACvH,YAAY,EACV,eAAe,EACf,kBAAkB,EAClB,eAAe,EACf,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,WAAW,EACX,SAAS,EAET,iBAAiB,EACjB,iBAAiB,EAEjB,QAAQ,EACR,WAAW,EACX,UAAU,EAEV,gBAAgB,EAChB,qBAAqB,EACrB,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,sBAAsB,CAAC;AAO9B,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,YAAY,EACZ,aAAa,EACb,aAAa,EACb,wBAAwB,EACxB,yBAAyB,EACzB,wBAAwB,EACxB,oBAAoB,EAEpB,QAAQ,GACT,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,UAAU,EACV,cAAc,EACd,cAAc,EACd,QAAQ,EACR,sBAAsB,EACtB,gBAAgB,EAChB,cAAc,GACf,MAAM,wBAAwB,CAAC;AAGhC,OAAO,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACnF,OAAO,EAAE,6BAA6B,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC3F,YAAY,EAAE,aAAa,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAC;AACxF,YAAY,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AAOxE,OAAO,EACL,qBAAqB,EACrB,0BAA0B,EAC1B,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAKhC,OAAO,EACL,uBAAuB,EACvB,WAAW,EACX,cAAc,GACf,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,sBAAsB,EACtB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAIhC,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAClE,uFAAuF;AACvF,YAAY,EACV,mBAAmB,EACnB,sBAAsB,EACtB,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAIhC,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,YAAY,EACV,qBAAqB,EACrB,cAAc,EACd,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAKhC,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AACtG,YAAY,EAAE,UAAU,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAIjF,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACvE,YAAY,EACV,SAAS,EACT,WAAW,EACX,UAAU,EACV,UAAU,EACV,QAAQ,EACR,cAAc,GACf,MAAM,wBAAwB,CAAC;AAGhC,OAAO,EAAE,cAAc,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAIrF,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAChC,2FAA2F;AAC3F,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,YAAY,EAAE,YAAY,EAAE,eAAe,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAI5G,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AACzE,YAAY,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAC;AACtE,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAElG,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,YAAY,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAMjE,OAAO,EACL,YAAY,EACZ,uBAAuB,EACvB,oBAAoB,GACrB,MAAM,6BAA6B,CAAC;AACrC,YAAY,EACV,mBAAmB,EACnB,OAAO,EACP,iBAAiB,EACjB,gBAAgB,EAChB,8BAA8B,GAC/B,MAAM,6BAA6B,CAAC;AAGrC,OAAO,EACL,qBAAqB,EACrB,yBAAyB,GAC1B,MAAM,kCAAkC,CAAC;AAC1C,YAAY,EACV,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,kCAAkC,CAAC;AAG1C,OAAO,EACL,4BAA4B,EAC5B,0BAA0B,GAC3B,MAAM,6BAA6B,CAAC;AACrC,YAAY,EACV,yBAAyB,EACzB,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,6BAA6B,CAAC;AAKrC,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAKvD,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAMhC,OAAO,EACL,mBAAmB,EACnB,eAAe,EACf,aAAa,EACb,iBAAiB,EACjB,kBAAkB,EAClB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,6BAA6B,CAAC;AACrC,YAAY,EACV,iBAAiB,EACjB,eAAe,EACf,eAAe,EACf,cAAc,EACd,iBAAiB,GAClB,MAAM,mCAAmC,CAAC;AAK3C,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC3E,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACvE,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAM7E,OAAO,EACL,WAAW,EACX,aAAa,EACb,eAAe,EACf,qBAAqB,GACtB,MAAM,+BAA+B,CAAC;AACvC,YAAY,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACxE,+GAA+G;AAC/G,YAAY,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAM3F,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AACtF,YAAY,EACV,6BAA6B,EAC7B,iBAAiB,EACjB,mBAAmB,GACpB,MAAM,8BAA8B,CAAC;AAKtC,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,YAAY,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAKrE,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC7D,YAAY,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAMlE,OAAO,EACL,eAAe,EACf,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,iCAAiC,CAAC;AACzC,YAAY,EACV,qBAAqB,EACrB,qBAAqB,EACrB,cAAc,EACd,eAAe,EACf,oBAAoB,EACpB,yBAAyB,EACzB,0BAA0B,EAC1B,yBAAyB,EACzB,SAAS,EACT,UAAU,GACX,MAAM,iCAAiC,CAAC;AAGzC,OAAO,EAAE,2BAA2B,EAAE,MAAM,oCAAoC,CAAC;AACjF,YAAY,EAAE,2BAA2B,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAI9G,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAEhB,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,YAAY,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAIjF,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,YAAY,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAI3D,OAAO,KAAK,KAAK,MAAM,mBAAmB,CAAC;AAQ3C,yDAAyD;AACzD,YAAY,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACxD,6DAA6D;AAC7D,YAAY,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAC/D,mEAAmE;AACnE,YAAY,EACV,QAAQ,EACR,IAAI,EACJ,WAAW,EACX,UAAU,EACV,cAAc,EACd,gBAAgB,EAChB,iBAAiB,EACjB,gBAAgB,EAChB,kBAAkB,EAClB,2BAA2B,EAC3B,iBAAiB,EACjB,cAAc,EACd,iBAAiB,EACjB,mBAAmB,EACnB,sBAAsB,EACtB,wBAAwB,GACzB,MAAM,4BAA4B,CAAC;AACpC,0HAA0H;AAC1H,YAAY,EAAE,sBAAsB,EAAE,aAAa,EAAE,MAAM,sCAAsC,CAAC;AAClG,+BAA+B;AAC/B,YAAY,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACzD,2DAA2D;AAC3D,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AACnG,sEAAsE;AACtE,YAAY,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AACjE,iEAAiE;AACjE,YAAY,EAAE,YAAY,EAAE,eAAe,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC5G,uEAAuE;AACvE,YAAY,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AACtF,qGAAqG;AACrG,YAAY,EAAE,SAAS,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC1F,+EAA+E;AAC/E,YAAY,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAC1E,2DAA2D;AAC3D,YAAY,EACV,SAAS,EACT,SAAS,EACT,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,cAAc,GACf,MAAM,uBAAuB,CAAC;AAC/B,uCAAuC;AACvC,YAAY,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AACrE,8CAA8C;AAC9C,YAAY,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AACvE,2EAA2E;AAC3E,YAAY,EAAE,0BAA0B,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAC/F,qDAAqD;AACrD,YAAY,EAAE,WAAW,EAAE,MAAM,kCAAkC,CAAC;AACpE,mFAAmF;AACnF,YAAY,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AACxE,uCAAuC;AACvC,YAAY,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AACnE,4DAA4D;AAC5D,YAAY,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAClF,iFAAiF;AACjF,YAAY,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAInD,OAAO,EACL,IAAI,EACJ,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,MAAM,EACN,IAAI,EACJ,KAAK,EACL,MAAM,EACN,MAAM,EACN,MAAM,EACN,KAAK,EAEL,QAAQ,EAER,SAAS,EAET,MAAM,EAEN,SAAS,GACV,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EACV,YAAY,EACZ,aAAa,EACb,WAAW,EACX,cAAc,EACd,kBAAkB,EAClB,aAAa,EACb,KAAK,EACL,QAAQ,EACR,kBAAkB,GACnB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAMpD,YAAY,EACV,IAAI,EACJ,QAAQ,EACR,cAAc,EACd,OAAO,EACP,UAAU,EACV,aAAa,GACd,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAK3C,YAAY,EACV,cAAc,EACd,UAAU,GACX,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,YAAY,EACV,kBAAkB,EAClB,sBAAsB,GACvB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,cAAc,EACd,WAAW,EACX,aAAa,EACb,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AAKtC,YAAY,EACV,QAAQ,EACR,cAAc,EACd,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AACtD,YAAY,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAC;AAC/C,OAAO,EACL,aAAa,EACb,8BAA8B,EAC9B,iBAAiB,EACjB,qBAAqB,EACrB,sBAAsB,EACtB,qBAAqB,EACrB,cAAc,EACd,cAAc,EACd,cAAc,GACf,MAAM,0BAA0B,CAAC;AAMlC,YAAY,EACV,gBAAgB,EAChB,eAAe,EACf,UAAU,GACX,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,YAAY,EACZ,WAAW,EACX,WAAW,EACX,cAAc,EACd,iBAAiB,EACjB,eAAe,EACf,cAAc,EACd,YAAY,EACZ,iBAAiB,EACjB,aAAa,EACb,mBAAmB,EACnB,cAAc,EACd,oBAAoB,GACrB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,+BAA+B,CAAC;AAEvC,OAAO,4BAA4B,CAAC;AAOpC,YAAY,EAAE,cAAc,EAAE,6BAA6B,EAAE,MAAM,2BAA2B,CAAC;AAC/F,OAAO,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AAGpE,YAAY,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,+BAA+B,CAAC;AACvC,kHAAkH;AAClH,OAAO,EACL,kBAAkB,EAClB,uBAAuB,EACvB,wBAAwB,EACxB,qBAAqB,EACrB,wBAAwB,GACzB,MAAM,wBAAwB,CAAC;AAOhC,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,gFAAgF;AAChF,OAAO,EACL,+BAA+B,GAChC,MAAM,2BAA2B,CAAC;AACnC,iEAAiE;AACjE,YAAY,EACV,mBAAmB,EACnB,sBAAsB,EACtB,gBAAgB,EAChB,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,iBAAiB,GAClB,MAAM,2BAA2B,CAAC;AACnC,YAAY,EACV,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,UAAU,GACX,MAAM,oBAAoB,CAAC;AAE5B;;;GAGG;AACH,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,gBAAgB,EAChB,aAAa,EACb,iBAAiB,EACjB,wBAAwB,EACxB,WAAW,EACX,gBAAgB,GACjB,MAAM,oBAAoB,CAAC;AAC5B;;;;GAIG;AACH,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AACjF,4HAA4H;AAC5H,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAChC,kHAAkH;AAClH,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,oFAAoF;AACpF,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAEtE,YAAY,EAAE,aAAa,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACnH,qEAAqE;AACrE,YAAY,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAC;AACzE,0GAA0G;AAC1G,YAAY,EAAE,iBAAiB,EAAE,cAAc,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAC/G,2FAA2F;AAC3F,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAM5D,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAG1D,YAAY,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAK1E,OAAO,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAC;AACnD,YAAY,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAUlE,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACtD,YAAY,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAMrE,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,YAAY,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAQtE,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,sBAAsB,EACtB,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAGhC,OAAO,EACL,iBAAiB,EACjB,KAAK,wBAAwB,EAC7B,KAAK,wBAAwB,GAC9B,MAAM,oCAAoC,CAAC;AAM5C,OAAO,EACL,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,8BAA8B,GAC/B,MAAM,4BAA4B,CAAC;AAOpC,YAAY,EACV,kBAAkB,EAClB,eAAe,EACf,2BAA2B,EAC3B,kBAAkB,GACnB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAEpE,YAAY,EACV,gBAAgB,EAChB,qBAAqB,EACrB,iCAAiC,GAClC,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AAEhF,YAAY,EACV,cAAc,EACd,gBAAgB,EAChB,4BAA4B,GAC7B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,UAAU,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAEhG,YAAY,EACV,WAAW,EACX,cAAc,EACd,yBAAyB,EACzB,qCAAqC,GACtC,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,kBAAkB,EAAE,6BAA6B,EAAE,MAAM,8BAA8B,CAAC;AAEjG,YAAY,EACV,eAAe,EACf,uBAAuB,EACvB,mCAAmC,GACpC,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,2BAA2B,EAAE,MAAM,wCAAwC,CAAC;AAMrF,YAAY,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACxD,kGAAkG;AAClG,OAAO,EACL,kBAAkB,EAClB,YAAY,EACZ,SAAS,EACT,SAAS,EACT,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAChC,uEAAuE;AACvE,YAAY,EAAE,iBAAiB,EAAE,cAAc,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAChH,OAAO,EACL,aAAa,EACb,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,KAAK,EACL,MAAM,EACN,KAAK,EACL,MAAM,EACN,WAAW,EACX,OAAO,EACP,MAAM,GACP,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,QAAQ,EACR,MAAM,EACN,KAAK,EACL,GAAG,EACH,QAAQ,EACR,MAAM,EACN,MAAM,EACN,sBAAsB,GACvB,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,QAAQ,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAC1G,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AACnG,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AAQxE,OAAO,EACL,gCAAgC,GACjC,MAAM,kCAAkC,CAAC;AAC1C,YAAY,EACV,6BAA6B,EAC7B,aAAa,EACb,IAAI,GACL,MAAM,kCAAkC,CAAC;AAM1C,OAAO,EAAE,6BAA6B,EAAE,MAAM,oCAAoC,CAAC;AACnF,YAAY,EACV,yBAAyB,EACzB,qCAAqC,GACtC,MAAM,oCAAoC,CAAC;AAK5C,YAAY,EACV,qBAAqB,EACrB,iCAAiC,GAClC,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAIlF,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAQhE,sHAAsH;AACtH,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,qBAAqB,EACrB,eAAe,EACf,eAAe,EACf,qBAAqB,EAErB,0BAA0B,EAC1B,qBAAqB,EACrB,kBAAkB,EAClB,iCAAiC,EAEjC,oBAAoB,EAEpB,cAAc,GACf,MAAM,sBAAsB,CAAC;AAC9B,uHAAuH;AACvH,YAAY,EACV,eAAe,EACf,kBAAkB,EAClB,eAAe,EACf,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,WAAW,EACX,SAAS,EAET,iBAAiB,EACjB,iBAAiB,EAEjB,QAAQ,EACR,WAAW,EACX,UAAU,EAEV,gBAAgB,EAChB,qBAAqB,EACrB,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,sBAAsB,CAAC;AAO9B,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,YAAY,EACZ,aAAa,EACb,aAAa,EACb,wBAAwB,EACxB,yBAAyB,EACzB,wBAAwB,EACxB,oBAAoB,EAEpB,QAAQ,GACT,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,UAAU,EACV,cAAc,EACd,cAAc,EACd,QAAQ,EACR,sBAAsB,EACtB,gBAAgB,EAChB,cAAc,GACf,MAAM,wBAAwB,CAAC;AAChC,mHAAmH;AACnH,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,2GAA2G;AAC3G,YAAY,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAG3E,OAAO,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACnF,OAAO,EAAE,6BAA6B,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC3F,YAAY,EAAE,aAAa,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAC;AACxF,YAAY,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AAOxE,OAAO,EACL,qBAAqB,EACrB,0BAA0B,EAC1B,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAKhC,iHAAiH;AACjH,OAAO,EACL,uBAAuB,EACvB,WAAW,EACX,cAAc,EACd,qBAAqB,GACtB,MAAM,wBAAwB,CAAC;AAChC,2FAA2F;AAC3F,YAAY,EACV,sBAAsB,EACtB,qBAAqB,EACrB,sBAAsB,EACtB,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAIhC,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAClE,uFAAuF;AACvF,YAAY,EACV,mBAAmB,EACnB,sBAAsB,EACtB,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAIhC,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,YAAY,EACV,qBAAqB,EACrB,cAAc,EACd,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAKhC,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AACtG,YAAY,EAAE,UAAU,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAIjF,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACvE,YAAY,EACV,SAAS,EACT,WAAW,EACX,UAAU,EACV,UAAU,EACV,QAAQ,EACR,cAAc,GACf,MAAM,wBAAwB,CAAC;AAGhC,OAAO,EAAE,cAAc,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAIrF,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAChC,2FAA2F;AAC3F,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,YAAY,EAAE,YAAY,EAAE,eAAe,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAI5G,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AACzE,YAAY,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAC;AACtE,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAElG,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,YAAY,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAMjE,OAAO,EACL,YAAY,EACZ,uBAAuB,EACvB,oBAAoB,GACrB,MAAM,6BAA6B,CAAC;AACrC,YAAY,EACV,mBAAmB,EACnB,OAAO,EACP,iBAAiB,EACjB,gBAAgB,EAChB,8BAA8B,GAC/B,MAAM,6BAA6B,CAAC;AAGrC,OAAO,EACL,qBAAqB,EACrB,yBAAyB,GAC1B,MAAM,kCAAkC,CAAC;AAC1C,YAAY,EACV,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,kCAAkC,CAAC;AAG1C,OAAO,EACL,4BAA4B,EAC5B,0BAA0B,GAC3B,MAAM,6BAA6B,CAAC;AACrC,YAAY,EACV,yBAAyB,EACzB,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,6BAA6B,CAAC;AAKrC,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAKvD,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAMhC,OAAO,EACL,mBAAmB,EACnB,eAAe,EACf,aAAa,EACb,iBAAiB,EACjB,kBAAkB,EAClB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,6BAA6B,CAAC;AACrC,YAAY,EACV,iBAAiB,EACjB,eAAe,EACf,eAAe,EACf,cAAc,EACd,iBAAiB,GAClB,MAAM,mCAAmC,CAAC;AAK3C,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC3E,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACvE,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAM7E,OAAO,EACL,WAAW,EACX,aAAa,EACb,eAAe,EACf,qBAAqB,GACtB,MAAM,+BAA+B,CAAC;AACvC,YAAY,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACxE,+GAA+G;AAC/G,YAAY,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAM3F,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AACtF,YAAY,EACV,6BAA6B,EAC7B,iBAAiB,EACjB,mBAAmB,GACpB,MAAM,8BAA8B,CAAC;AAKtC,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,YAAY,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAKrE,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC7D,YAAY,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAMlE,OAAO,EACL,eAAe,EACf,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,iCAAiC,CAAC;AACzC,YAAY,EACV,qBAAqB,EACrB,qBAAqB,EACrB,cAAc,EACd,eAAe,EACf,oBAAoB,EACpB,yBAAyB,EACzB,0BAA0B,EAC1B,yBAAyB,EACzB,SAAS,EACT,UAAU,GACX,MAAM,iCAAiC,CAAC;AAGzC,OAAO,EAAE,2BAA2B,EAAE,MAAM,oCAAoC,CAAC;AACjF,YAAY,EAAE,2BAA2B,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAI9G,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAEhB,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,YAAY,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAIjF,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,YAAY,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAI3D,OAAO,KAAK,KAAK,MAAM,mBAAmB,CAAC;AAQ3C,yDAAyD;AACzD,YAAY,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACxD,6DAA6D;AAC7D,YAAY,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAC/D,mEAAmE;AACnE,YAAY,EACV,QAAQ,EACR,IAAI,EACJ,WAAW,EACX,UAAU,EACV,cAAc,EACd,gBAAgB,EAChB,iBAAiB,EACjB,gBAAgB,EAChB,kBAAkB,EAClB,2BAA2B,EAC3B,iBAAiB,EACjB,cAAc,EACd,iBAAiB,EACjB,mBAAmB,EACnB,sBAAsB,EACtB,wBAAwB,GACzB,MAAM,4BAA4B,CAAC;AACpC,0HAA0H;AAC1H,YAAY,EAAE,sBAAsB,EAAE,aAAa,EAAE,MAAM,sCAAsC,CAAC;AAClG,+BAA+B;AAC/B,YAAY,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACzD,2DAA2D;AAC3D,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AACnG,sEAAsE;AACtE,YAAY,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AACjE,iEAAiE;AACjE,YAAY,EAAE,YAAY,EAAE,eAAe,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC5G,uEAAuE;AACvE,YAAY,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AACtF,qGAAqG;AACrG,YAAY,EAAE,SAAS,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC1F,+EAA+E;AAC/E,YAAY,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAC1E,2DAA2D;AAC3D,YAAY,EACV,SAAS,EACT,SAAS,EACT,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,cAAc,GACf,MAAM,uBAAuB,CAAC;AAC/B,uCAAuC;AACvC,YAAY,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AACrE,8CAA8C;AAC9C,YAAY,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AACvE,2EAA2E;AAC3E,YAAY,EAAE,0BAA0B,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAC/F,qDAAqD;AACrD,YAAY,EAAE,WAAW,EAAE,MAAM,kCAAkC,CAAC;AACpE,mFAAmF;AACnF,YAAY,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AACxE,uCAAuC;AACvC,YAAY,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AACnE,4DAA4D;AAC5D,YAAY,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAClF,iFAAiF;AACjF,YAAY,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC"}

package/dist/index.js

@@ -6,7 +6,7 @@
  * @packageDocumentation
  */
 export { UniversalTensor } from './core/tensor.js';
-// v0.5.1 — canonical flat CODATA 2018 / SI-defined constants (PC-1).
+// v0.5.1 — canonical flat CODATA 2022 / SI-defined constants (PC-1).
 // Single source of truth across numerical, dimensional, and bridge layers.
 // See src/core/constants.ts and docs/planning/v0.5.1-Implementation-Plan.md.
 export { C_SI, G_SI, H_SI, HBAR_SI, K_B_SI, E_SI, ALPHA, M_P_SI, L_P_SI, T_P_SI, H0_SI, 
@@ -71,8 +71,11 @@ export { ricci } from './dimensional/curvature.js';
 // v0.5.0 curvature layer — Einstein tensor helper (Task 8). `einstein(R, g,
 // gInverse)` wraps a RiemannTensorNode + metric pair and produces the
 // composite G_μν = R_μν − ½ R g_μν as an ExprNode (own validator +
-// lowering arms — no AST rewrite). Vacuum-Einstein scope; matter-coupled
-// `G_μν = κ T_μν` is deferred to v0.6.0+.
+// lowering arms — no AST rewrite). The matter-coupled field-equation node
+// `G_μν = κ T_μν` exists (`EinsteinFieldEquationNode`, validated in
+// dimensional/validator.ts); its numerical lowering is still deferred: the
+// lowering layer refuses a deferred node kind with `NumericalBackendError`
+// and names the evaluator to use instead (numerical/lowering.ts).
 export { einstein } from './dimensional/curvature.js';
 // v0.5.0 curvature layer — Bianchi residual helper (Task 9). `bianchiResidual(R)`
 // returns {residual, evaluate, evaluateMax} for the cyclic second-Bianchi-identity
@@ -142,6 +145,8 @@ findPerihelion, } from './numerical/index.js';
 export { composeEdges, consistencyRatio, evaluateEdge, minConfidence, regimesDiffer, QUANTITY_IDENTIFICATIONS, CompositionDimensionError, CompositionJunctionError, DomainViolationError, 
 // Calibration edges (pre-registered CT-1/CT-1b/CT-2/CT-3 targets)
 M_SUN_KG, } from './composition/index.js';
+/** A validity domain built from one condition text: the predicate, the description and the refusal all read it. */
+export { validityDomain } from './composition/index.js';
 // v0.8.0 — Bridge-membership criterion + negative catalog (G-2 / P-4)
 export { adjudicateBridgeEntry, adjudicateCatalog } from './bridges/membership.js';
 export { REJECTED_BRIDGE_ADJUDICATIONS, REJECTED_BRIDGE_IDS } from './bridges/rejected.js';
@@ -152,7 +157,8 @@ export { enumerateCompositions, REGISTERED_COMPOSITION_IDS, propagateUncertainty
 // Identifiability classifier (structural over/exactly/under-determined
 // over the composition graph — Consequence 1 of the bridge-inference
 // epistemics note)
-export { classifyIdentifiability, classifyAll, forwardClosure, } from './composition/index.js';
+/** The forward closure, the per-target classifier, the sweep, and the log-space rank over the monomial edges. */
+export { classifyIdentifiability, classifyAll, forwardClosure, identifiabilityByRank, } from './composition/index.js';
 // Retrodiction harness (the framework's own falsification benchmark —
 // Consequence 2 of the bridge-inference epistemics note)
 export { retrodict, retrodictNode } from './composition/index.js';

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,qEAAqE;AACrE,2EAA2E;AAC3E,6EAA6E;AAC7E,OAAO,EACL,IAAI,EACJ,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,MAAM,EACN,IAAI,EACJ,KAAK,EACL,MAAM,EACN,MAAM,EACN,MAAM,EACN,KAAK;AACL,iEAAiE;AACjE,QAAQ;AACR,kDAAkD;AAClD,SAAS;AACT,sDAAsD;AACtD,MAAM;AACN,4DAA4D;AAC5D,SAAS,GACV,MAAM,qBAAqB,CAAC;AAY7B,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAcpD,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAS3C,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAK1D,OAAO,EACL,cAAc,EACd,WAAW,EACX,aAAa,EACb,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AAWtC,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAEtD,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAC;AAC/C,OAAO,EACL,aAAa,EACb,8BAA8B,EAC9B,iBAAiB,EACjB,qBAAqB,EACrB,sBAAsB,EACtB,qBAAqB,EACrB,cAAc,EACd,cAAc,EACd,cAAc,GACf,MAAM,0BAA0B,CAAC;AAUlC,OAAO,EACL,YAAY,EACZ,WAAW,EACX,WAAW,EACX,cAAc,EACd,iBAAiB,EACjB,eAAe,EACf,cAAc,EACd,YAAY,EACZ,iBAAiB,EACjB,aAAa,EACb,mBAAmB,EACnB,cAAc,EACd,oBAAoB,GACrB,MAAM,2BAA2B,CAAC;AACnC,oEAAoE;AACpE,OAAO,+BAA+B,CAAC;AACvC,8DAA8D;AAC9D,OAAO,4BAA4B,CAAC;AAQpC,OAAO,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AAIpE,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,+BAA+B,CAAC;AACvC,kHAAkH;AAClH,OAAO,EACL,kBAAkB,EAClB,uBAAuB,EACvB,wBAAwB,EACxB,qBAAqB,EACrB,wBAAwB,GACzB,MAAM,wBAAwB,CAAC;AAEhC,+DAA+D;AAC/D,+EAA+E;AAC/E,6EAA6E;AAC7E,8EAA8E;AAC9E,6CAA6C;AAC7C,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,gFAAgF;AAChF,OAAO,EACL,+BAA+B,GAChC,MAAM,2BAA2B,CAAC;AAmBnC;;;GAGG;AACH,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,gBAAgB,EAChB,aAAa,EACb,iBAAiB,EACjB,wBAAwB,EACxB,WAAW,EACX,gBAAgB,GACjB,MAAM,oBAAoB,CAAC;AAC5B;;;;GAIG;AACH,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AACjF,4HAA4H;AAC5H,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAChC,kHAAkH;AAClH,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AASxD,2FAA2F;AAC3F,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAE5D,iFAAiF;AACjF,+EAA+E;AAC/E,gFAAgF;AAChF,iCAAiC;AACjC,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAK1D,4EAA4E;AAC5E,sEAAsE;AACtE,sDAAsD;AACtD,OAAO,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAC;AAGnD,4EAA4E;AAC5E,sEAAsE;AACtE,mEAAmE;AACnE,yEAAyE;AACzE,0CAA0C;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAGtD,kFAAkF;AAClF,mFAAmF;AACnF,+EAA+E;AAC/E,oDAAoD;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAGlE,wDAAwD;AACxD,4EAA4E;AAC5E,4EAA4E;AAC5E,6EAA6E;AAC7E,8EAA8E;AAC9E,6EAA6E;AAC7E,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,wBAAwB,CAAC;AAOhC,uEAAuE;AACvE,OAAO,EACL,iBAAiB,GAGlB,MAAM,oCAAoC,CAAC;AAE5C,gFAAgF;AAChF,0EAA0E;AAC1E,+EAA+E;AAC/E,6EAA6E;AAC7E,OAAO,EACL,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,8BAA8B,GAC/B,MAAM,4BAA4B,CAAC;AAapC,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAOpE,OAAO,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AAOhF,OAAO,EAAE,UAAU,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAQhG,OAAO,EAAE,kBAAkB,EAAE,6BAA6B,EAAE,MAAM,8BAA8B,CAAC;AAOjG,OAAO,EAAE,2BAA2B,EAAE,MAAM,wCAAwC,CAAC;AAOrF,kGAAkG;AAClG,OAAO,EACL,kBAAkB,EAClB,YAAY,EACZ,SAAS,EACT,SAAS,EACT,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAGhC,OAAO,EACL,aAAa,EACb,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,KAAK,EACL,MAAM,EACN,KAAK,EACL,MAAM,EACN,WAAW,EACX,OAAO,EACP,MAAM,GACP,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,QAAQ,EACR,MAAM,EACN,KAAK,EACL,GAAG,EACH,QAAQ,EACR,MAAM,EACN,MAAM,EACN,sBAAsB,GACvB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AACnG,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AAExE,mEAAmE;AACnE,gFAAgF;AAChF,0EAA0E;AAC1E,+EAA+E;AAC/E,8EAA8E;AAC9E,mDAAmD;AACnD,OAAO,EACL,gCAAgC,GACjC,MAAM,kCAAkC,CAAC;AAO1C,iFAAiF;AACjF,iFAAiF;AACjF,4EAA4E;AAC5E,8CAA8C;AAC9C,OAAO,EAAE,6BAA6B,EAAE,MAAM,oCAAoC,CAAC;AAanF,OAAO,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAElF,sEAAsE;AACtE,6EAA6E;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAEhE,8EAA8E;AAC9E,4EAA4E;AAC5E,4EAA4E;AAC5E,6EAA6E;AAC7E,0EAA0E;AAC1E,6CAA6C;AAC7C,sHAAsH;AACtH,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,qBAAqB,EACrB,eAAe,EACf,eAAe,EACf,qBAAqB;AACrB,4CAA4C;AAC5C,0BAA0B,EAC1B,qBAAqB,EACrB,kBAAkB,EAClB,iCAAiC;AACjC,mCAAmC;AACnC,oBAAoB;AACpB,oCAAoC;AACpC,cAAc,GACf,MAAM,sBAAsB,CAAC;AA0B9B,8EAA8E;AAC9E,0EAA0E;AAC1E,2EAA2E;AAC3E,4EAA4E;AAC5E,8EAA8E;AAC9E,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,YAAY,EACZ,aAAa,EACb,aAAa,EACb,wBAAwB,EACxB,yBAAyB,EACzB,wBAAwB,EACxB,oBAAoB;AACpB,kEAAkE;AAClE,QAAQ,GACT,MAAM,wBAAwB,CAAC;AAWhC,sEAAsE;AACtE,OAAO,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACnF,OAAO,EAAE,6BAA6B,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAI3F,0DAA0D;AAE1D,mFAAmF;AAEnF,kEAAkE;AAClE,OAAO,EACL,qBAAqB,EACrB,0BAA0B,EAC1B,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAOhC,uEAAuE;AACvE,qEAAqE;AACrE,mBAAmB;AACnB,OAAO,EACL,uBAAuB,EACvB,WAAW,EACX,cAAc,GACf,MAAM,wBAAwB,CAAC;AAOhC,sEAAsE;AACtE,yDAAyD;AACzD,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAWlE,uEAAuE;AACvE,6DAA6D;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAOzD,0EAA0E;AAC1E,8EAA8E;AAC9E,uCAAuC;AACvC,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAGtG,yEAAyE;AACzE,gFAAgF;AAChF,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AASvE,0EAA0E;AAC1E,2DAA2D;AAC3D,OAAO,EAAE,cAAc,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAErF,gFAAgF;AAChF,wEAAwE;AACxE,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAChC,2FAA2F;AAC3F,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAG7D,8EAA8E;AAC9E,gDAAgD;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AAEzE,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAClG,qFAAqF;AACrF,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAI5D,qEAAqE;AACrE,sEAAsE;AACtE,qDAAqD;AACrD,OAAO,EACL,YAAY,EACZ,uBAAuB,EACvB,oBAAoB,GACrB,MAAM,6BAA6B,CAAC;AASrC,0EAA0E;AAC1E,OAAO,EACL,qBAAqB,EACrB,yBAAyB,GAC1B,MAAM,kCAAkC,CAAC;AAM1C,6EAA6E;AAC7E,OAAO,EACL,4BAA4B,EAC5B,0BAA0B,GAC3B,MAAM,6BAA6B,CAAC;AAOrC,+EAA+E;AAE/E,mEAAmE;AACnE,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAEvD,6EAA6E;AAC7E,8EAA8E;AAC9E,mFAAmF;AACnF,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAEhC,+EAA+E;AAC/E,2EAA2E;AAC3E,8EAA8E;AAC9E,4EAA4E;AAC5E,OAAO,EACL,mBAAmB,EACnB,eAAe,EACf,aAAa,EACb,iBAAiB,EACjB,kBAAkB,EAClB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,6BAA6B,CAAC;AAQrC,2EAA2E;AAC3E,mEAAmE;AACnE,8EAA8E;AAC9E,8EAA8E;AAC9E,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC3E,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAGvE,0EAA0E;AAC1E,sEAAsE;AACtE,4EAA4E;AAC5E,0EAA0E;AAC1E,OAAO,EACL,WAAW,EACX,aAAa,EACb,eAAe,EACf,qBAAqB,GACtB,MAAM,+BAA+B,CAAC;AAKvC,qEAAqE;AACrE,+DAA+D;AAC/D,oEAAoE;AACpE,+CAA+C;AAC/C,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAOtF,gFAAgF;AAChF,6EAA6E;AAC7E,4EAA4E;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAG/D,8EAA8E;AAC9E,8EAA8E;AAC9E,+EAA+E;AAC/E,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAG7D,oEAAoE;AACpE,6EAA6E;AAC7E,2EAA2E;AAC3E,yEAAyE;AACzE,OAAO,EACL,eAAe,EACf,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,iCAAiC,CAAC;AAczC,+FAA+F;AAC/F,OAAO,EAAE,2BAA2B,EAAE,MAAM,oCAAoC,CAAC;AAGjF,+DAA+D;AAC/D,4EAA4E;AAC5E,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB;AAChB,iFAAiF;AACjF,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AAGrC,6EAA6E;AAC7E,4EAA4E;AAC5E,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAG/D,+EAA+E;AAC/E,yEAAyE;AACzE,OAAO,KAAK,KAAK,MAAM,mBAAmB,CAAC","sourcesContent":["/**\n * Universal Physics Tensor Framework\n *\n * Computational framework for exploring unified physics through tensor formalism\n *\n * @packageDocumentation\n */\n\nexport { UniversalTensor } from './core/tensor.js';\n// v0.5.1 — canonical flat CODATA 2018 / SI-defined constants (PC-1).\n// Single source of truth across numerical, dimensional, and bridge layers.\n// See src/core/constants.ts and docs/planning/v0.5.1-Implementation-Plan.md.\nexport {\n  C_SI,\n  G_SI,\n  H_SI,\n  HBAR_SI,\n  K_B_SI,\n  E_SI,\n  ALPHA,\n  M_P_SI,\n  L_P_SI,\n  T_P_SI,\n  H0_SI,\n  // v0.8.0 punch-list — promoted from the calibration-edges module\n  M_SUN_SI,\n  // IAU 2015 nominal solar GM. Not G_SI * M_SUN_SI.\n  GM_SUN_SI,\n  // v0.11 — electron mass (namespacing criterion-3 pin)\n  M_E_SI,\n  // canonical registry — Wien displacement constant (CE-wien)\n  B_WIEN_SI,\n} from './core/constants.js';\nexport type {\n  TensorConfig,\n  TensorIndices,\n  PhysicalLaw,\n  BridgeEquation,\n  EmergentPhenomenon,\n  PhysicalScale,\n  Force,\n  Symmetry,\n  InformationMeasure,\n} from './core/types.js';\nexport { PhysicalConstants } from './core/types.js';\n\n// v0.7 Proposal 3 — Typed `Cell` discriminated union (storage-layer\n// surface). `PhysicalLaw` / `BridgeEquation` / `EmergentPhenomenon`\n// above remain the legacy surface (consumers haven't migrated yet);\n// the new `Cell` union is the preferred forward-looking shape.\nexport type {\n  Cell,\n  CellBase,\n  CellConfidence,\n  LawCell,\n  BridgeCell,\n  EmergenceCell,\n} from './core/cell.js';\nexport { compose } from './core/tensor.js';\n\n// v0.7 Proposal 2 — Sparse semantic catalog (flux rules + adapter).\n// Per Decision #9, only the consumer-facing types are re-exported;\n// FluxRule / FluxRuleKind / FluxRuleResult stay @internal.\nexport type {\n  FluxDiagnostic,\n  FluxReport,\n} from './core/flux-rules.js';\nexport { FluxViolationError } from './core/flux-rules.js';\nexport type {\n  CatalogEntryStatus,\n  CatalogIngestionReport,\n} from './bridges/catalog-adapter.js';\nexport {\n  catalogToCells,\n  scanCatalog,\n  ingestCatalog,\n  ingestionReportToFluxReport,\n  CatalogIngestionError,\n} from './bridges/catalog-adapter.js';\n\n// v0.7 Proposal 1 — Intelligent Index layer (UniversalIndex + Axes\n// + LabeledTensor wrapper). Per Decision #10, 10 public symbols.\n// MergedLabels<L,R> and canonicalLabelOrder stay @internal.\nexport type {\n  AxisName,\n  UniversalIndex,\n  UniversalIndexId,\n  MakeIndexOptions,\n} from './core/universal-index.js';\nexport { makeIndex } from './core/universal-index.js';\nexport type { AxesRegistry } from './core/axes-registry.js';\nexport { Axes } from './core/axes-registry.js';\nexport {\n  LabeledTensor,\n  LabeledTensorConstructionError,\n  AxisMismatchError,\n  IdentityConflictError,\n  IndexNameMismatchError,\n  RankPreservationError,\n  AxisOrderError,\n  AxisMergeError,\n  AxisSplitError,\n} from './core/labeled-tensor.js';\n\n// v0.8 Proposal 5 — RegimeType extension system. Per P5 Decision #1,\n// ship the mechanism + the 18 v0.6-shipped values pre-registered;\n// closed taxonomy of new physics-regime built-ins deferred to v0.9.\nexport type {\n  RegimeProvenance,\n  RegimeValueBase,\n  RegimeSpec,\n} from './core/regime-registry.js';\nexport {\n  defineRegime,\n  defineScale,\n  defineForce,\n  defineSymmetry,\n  defineInformation,\n  defineDimension,\n  defineTopology,\n  lookupRegime,\n  listRegimesByAxis,\n  provenanceFor,\n  attachRegimesToCell,\n  getCellRegimes,\n  RegimeCollisionError,\n} from './core/regime-registry.js';\n// Phase 4 wiring side-effect: installs the regime-consistency rule.\nimport './core/regime-rule-install.js';\n// Phase 2 side-effect: pre-registers the 18 built-in regimes.\nimport './core/regimes-builtins.js';\n\n// v0.9 Proposal 8 — Bridge Parameter Differentiation (P8 Decision #1: lives\n// in src/diff/, doesn't touch src/bridges/). `bridgeGradientNumerical` is\n// central finite differences over a spec, engine-free. Engine AD of a spec\n// is unreachable by construction (`evaluate` returns a number, which carries\n// no tape); the exact AD path is `bridgeGradientAST` over the symbolic RHS.\nexport type { BridgeDiffSpec, BridgeNumericalGradientResult } from './diff/bridge-gradient.js';\nexport { bridgeGradientNumerical } from './diff/bridge-gradient.js';\n// Exact bridge gradients via reverse-mode AD over the symbolic RHS AST\n// (traced lowering through mathts-autograd; faithful encodings only).\nexport type { ASTGradientResult } from './diff/bridge-ast-gradient.js';\nexport {\n  bridgeGradientAST,\n  bridgeGradientASTById,\n  astDifferentiableBridgeIds,\n} from './diff/bridge-ast-gradient.js';\n/** Differentiable relations: Shapiro delay, perihelion advance, Hawking temperature, and the decoherence rate. */\nexport {\n  SHAPIRO_DELAY_DIFF,\n  PERIHELION_ADVANCE_DIFF,\n  HAWKING_TEMPERATURE_DIFF,\n  DECOHERENCE_RATE_DIFF,\n  DIFFERENTIABLE_RELATIONS,\n} from './diff/bridge-specs.js';\n\n// The catalog rows of `data/bridge-catalog.json`, in id order.\n// `BridgeEquationEntry` is a different shape from the runtime `BridgeEquation`\n// interface above: the entry is the catalog's record of an equation (status,\n// known issues, references, dependencies), while `BridgeEquation` describes a\n// runtime bridge between two tensor regimes.\nexport { BRIDGE_EQUATIONS } from './bridges/index.js';\n/** Request a caller-table confrontation. The catalog status does not change. */\nexport {\n  requestCallerTableConfrontation,\n} from './bridges/caller-table.js';\n/** Types of a caller-table request and of its refusal or hit. */\nexport type {\n  MeasuredCouplingRow,\n  RunningProcedureRecord,\n  RunningProcedure,\n  CallerTableRequest,\n  CallerTableRefusal,\n  CallerTableHit,\n  CallerTableResult,\n} from './bridges/caller-table.js';\nexport type {\n  BridgeEquationEntry,\n  BridgeEquationStatus,\n  BridgeIssueSeverity,\n  BridgeIssueFixable,\n  KnownIssue,\n} from './bridges/index.js';\n\n/**\n * Constants that stay on the package root, and `CarrierSignError`.\n * Per-bridge evaluate functions are not on this root.\n */\nexport {\n  VON_KLITZING_SI,\n  JOSEPHSON_CONSTANT_SI,\n  LORENZ_NUMBER_SI,\n  BCS_GAP_RATIO,\n  LANE_EMDEN_OMEGA3,\n  THOMSON_CROSS_SECTION_SI,\n  M_PROTON_SI,\n  CarrierSignError,\n} from './bridges/index.js';\n/**\n * One evaluation of a catalog id or a canonical id.\n * A sourced number is `kind: 'value'`. An unset coefficient is `kind: 'unset'`.\n * @public\n */\nexport { evaluateRelation, CoefficientUnsetError } from './composition/index.js';\n/** The input errors {@link evaluateRelation} throws before any domain check; a domain failure is `DomainViolationError`. */\nexport {\n  DuplicateInputError,\n  InputTypeError,\n  MissingInputError,\n  NonFiniteInputError,\n  UnknownInputError,\n} from './composition/index.js';\n/** A caller input that names a registered constant (`G`, `k_B`, `m_p`, …) is refused on every evaluation path. */\nexport { ConstantInputError } from './bridges/index.js';\n/** The result of {@link evaluateRelation}. A value carries a public `Dimension`. */\nexport type { Evaluation } from './composition/index.js';\n\nexport type { EvaluatorSpec, EvaluatorParameter, ParameterAlternate, GeometryRole } from './bridges/evaluators.js';\n/** An extra output an `EvaluatorSpec` returns beside its `value`. */\nexport type { CatalogEvaluatorOutput } from './bridges/catalog-types.js';\n/** The input contract an evaluator's `run` checks before the domain, and what a caller asks `run` for. */\nexport type { ContractAlternate, EvaluationWant, InputContract, InputSlot } from './bridges/input-contract.js';\n/** Build an input contract; throws when one spelling or alternate would bind two slots. */\nexport { inputContract } from './bridges/input-contract.js';\n\n// v0.4.0 connection layer — Christoffel formula builder and covariant derivative\n// AST node type. `christoffel` is public because bridge modules and downstream\n// callers compose Γ trees directly; `CovariantDerivativeNode` is the structural\n// type for the new ∇_μ AST kind.\nexport { christoffel } from './dimensional/connection.js';\n// CovariantDerivativeNode is re-exported from validator.ts (which holds the union);\n// importing from there avoids creating a separate source-of-truth.\nexport type { CovariantDerivativeNode } from './dimensional/validator.js';\n\n// v0.5.0 curvature layer — Ricci tensor helper (Task 7). `ricci(R)` wraps a\n// RiemannTensorNode and produces the contracted R_μν = R^λ_{λμν} as a\n// composite ExprNode (own validator + lowering arms).\nexport { ricci } from './dimensional/curvature.js';\nexport type { RicciTensorNode } from './dimensional/validator.js';\n\n// v0.5.0 curvature layer — Einstein tensor helper (Task 8). `einstein(R, g,\n// gInverse)` wraps a RiemannTensorNode + metric pair and produces the\n// composite G_μν = R_μν − ½ R g_μν as an ExprNode (own validator +\n// lowering arms — no AST rewrite). Vacuum-Einstein scope; matter-coupled\n// `G_μν = κ T_μν` is deferred to v0.6.0+.\nexport { einstein } from './dimensional/curvature.js';\nexport type { EinsteinTensorNode } from './dimensional/validator.js';\n\n// v0.5.0 curvature layer — Bianchi residual helper (Task 9). `bianchiResidual(R)`\n// returns {residual, evaluate, evaluateMax} for the cyclic second-Bianchi-identity\n// check ∇_{[λ} R_{μν]ρσ} = 0. The evaluator lives in numerical so curvature.ts\n// does not import it. Closes Phase 1 — Foundations.\nexport { bianchiResidual } from './numerical/bianchi-residual.js';\nexport type { BianchiResidualNode } from './dimensional/validator.js';\n\n// v0.6.0 Phase 1 — Killing-vector machinery (Task 1.3).\n// `verifyKillingEquation` checks the Killing equation ∇_μ ξ_ν + ∇_ν ξ_μ = 0\n// numerically at a point using a hybrid impl (exact Christoffels + analytic\n// metric derivatives). `evaluateConservedCharge` evaluates Q = ξ^μ p_μ along\n// a geodesic. `ChristoffelAccess` is the layout-agnostic Christoffel accessor\n// type that insulates consumers from the Phase 2 BR-2 flat-layout migration.\nexport {\n  verifyKillingEquation,\n  checkKillingEquation,\n  evaluateConservedCharge,\n} from './numerical/killing.js';\nexport type {\n  KillingEquationOptions,\n  KillingEquationCheck,\n  ChristoffelAccess,\n} from './numerical/killing.js';\n\n// v0.4.0 geodesic integrator (RK4 solver — headline feature of v0.4.0)\nexport {\n  integrateGeodesic,\n  type GeodesicIntegratorInputs,\n  type GeodesicIntegratorResult,\n} from './numerical/geodesic-integrator.js';\n\n// v0.14 G-9 increment 2 — geometrized-units boundary adapters. Convert a scalar\n// between SI and geometrized (G = c = 1) units, driven by its `Dimension`\n// exponent vector (factor G^M·c^(T−2M)). For consumers running the GR pipeline\n// in geometrized units; the default-pipeline migration is a later increment.\nexport {\n  toGeometrized,\n  fromGeometrized,\n  geometrizedFactor,\n  NonGeometrizableDimensionError,\n} from './numerical/geometrized.js';\n\n// v0.7.1 M-1 — Surface restoration: five v0.7 dimensional primitives were\n// @public-tagged during the BE-X re-encoding sprint but absent from this\n// manifest. Re-exported here per Phase 1 Task 1.2 (Decision #2 guard).\n// Mirrors the v0.6.0 EinsteinFieldEquationNode / KretschmannScalarNode /\n// RicciTensorNode pattern — predicate-node types + validators are @public.\nexport type {\n  TracableTensorNode,\n  TensorTraceNode,\n  TensorTraceValidationResult,\n  TensorTraceOptions,\n} from './dimensional/tensor-trace.js';\nexport { validateTensorTrace } from './dimensional/tensor-trace.js';\n\nexport type {\n  FriedmannVariant,\n  FriedmannEquationNode,\n  FriedmannEquationValidationResult,\n} from './dimensional/friedmann-equation.js';\nexport { validateFriedmannEquation } from './dimensional/friedmann-equation.js';\n\nexport type {\n  RGCouplingNode,\n  BetaFunctionNode,\n  BetaFunctionValidationResult,\n} from './dimensional/rg-flow.js';\nexport { rgCoupling, validateRGCoupling, validateBetaFunction } from './dimensional/rg-flow.js';\n\nexport type {\n  ArrowOfTime,\n  GaugeFieldNode,\n  TimeSymmetryPredicateNode,\n  TimeSymmetryPredicateValidationResult,\n} from './dimensional/gauge-field.js';\nexport { validateGaugeField, validateTimeSymmetryPredicate } from './dimensional/gauge-field.js';\n\nexport type {\n  ScalarFieldNode,\n  KleinGordonEquationNode,\n  KleinGordonEquationValidationResult,\n} from './dimensional/klein-gordon-equation.js';\nexport { validateKleinGordonEquation } from './dimensional/klein-gordon-equation.js';\n\n// Dimensional analyzer (Tier 4) — SI dimension propagation through bridge\n// equations expressed as ExprNode trees. See src/dimensional/README.md.\n// Every symbol re-exported in this block is `@public` — the consumer-facing\n// dimensional/metric surface (stabilised in v0.3.0).\nexport type { Dimension } from './dimensional/types.js';\n/** The one unit reader: parse a unit, convert a value exactly, and the typed errors it throws. */\nexport {\n  AmbiguousUnitError,\n  convertValue,\n  parseUnit,\n  UnitError,\n  UnitRefusedError,\n  UnknownUnitError,\n} from './dimensional/units.js';\n/** A parsed unit, a converted value, and how a temperature is read. */\nexport type { AffineTemperature, ConvertedValue, ParsedUnit, TemperatureReading } from './dimensional/units.js';\nexport {\n  DIMENSIONLESS,\n  LENGTH,\n  AREA,\n  TIME,\n  FREQUENCY,\n  MASS,\n  VELOCITY,\n  ACCELERATION,\n  FORCE,\n  ENERGY,\n  POWER,\n  ACTION,\n  TEMPERATURE,\n  ENTROPY,\n  CHARGE,\n} from './dimensional/types.js';\nexport {\n  multiply,\n  divide,\n  power,\n  add,\n  subtract,\n  equals,\n  format,\n  DimensionMismatchError,\n} from './dimensional/algebra.js';\nexport type { ExprNode, TranscendentalFn, ValidationResult, Violation } from './dimensional/validator.js';\nexport { validate, validateEquation, validateInverseMetricPair } from './dimensional/validator.js';\nexport { inferDimensionForBridge } from './dimensional/bridge-check.js';\n\n// v0.6.0 Phase 2 Task 2.4 — Einstein-equation numerical evaluator.\n// `evaluateEinsteinEquationResidual` computes the scale-normalized max residual\n// |G_μν + Λ g_μν − κ T_μν| / |g_μν| at a coordinate point. Accepts metric\n// closures + stress-energy closure; returns a dimensionless relative residual.\n// For Schwarzschild vacuum (T=0, Λ=0) the residual is the FD truncation floor\n// (~1e-10 relative at 4th-order stencil accuracy).\nexport {\n  evaluateEinsteinEquationResidual,\n} from './numerical/einstein-equation.js';\nexport type {\n  EinsteinEquationResidualInput,\n  MetricClosure,\n  Vec4,\n} from './numerical/einstein-equation.js';\n\n// v0.6.0 Phase 2 Task 2.3 — EinsteinFieldEquationNode predicate AST + validator.\n// Represents G_μν + Λ g_μν = (8πG/c⁴) T_μν as a structurally-validated AST node.\n// Validator checks: free-index agreement, per-component dim equality [L⁻²],\n// and symmetry agreement (Decision #3 + #11).\nexport { validateEinsteinFieldEquation } from './dimensional/einstein-equation.js';\nexport type {\n  EinsteinFieldEquationNode,\n  EinsteinFieldEquationValidationResult,\n} from './dimensional/einstein-equation.js';\n\n// v0.6.0 Phase 3 Task 3.5 — KretschmannScalarNode AST + validator.\n// K = R_{ρσμν} R^{ρσμν} is the canonical curvature invariant; scalar (rank-0),\n// dim [L⁻⁴]. Diverges at genuine singularities; finite at coordinate ones.\nexport type {\n  KretschmannScalarNode,\n  KretschmannScalarValidationResult,\n} from './dimensional/curvature-invariants.js';\nexport { validateKretschmannScalar } from './dimensional/curvature-invariants.js';\n\n// v0.6.0 Phase 3 Task 3.6 — Kretschmann scalar numerical contraction.\n// O(4⁸) = 65536 multiplications per call — diagnostic/sample-point use only.\nexport { computeKretschmann } from './numerical/kretschmann.js';\n\n// Numerical-contraction backend (v0.3.5+). See docs/planning/v0.3.5-Design.md\n// and docs/planning/v0.4.0-Implementation-Plan.md (v0.4.0 additions below).\n// Every symbol below is `@public` — the consumer-facing (TensorJS) surface.\n// `MathTSEngine` is intentionally NOT re-exported here. It is reachable only\n// via the `universal-physics-tensor/numerical/mathts-engine` subpath. The\n// MathTS packages are required dependencies.\n/** Numerical evaluation, the covariant eikonal integrator, the GL4 geodesic integrator, and the perihelion finder. */\nexport {\n  evaluateNumerical,\n  evaluateNumericalRaw,\n  evaluateMetricInverse,\n  getActiveEngine,\n  setActiveEngine,\n  NumericalBackendError,\n  // v0.4.0 additions to the numerical surface\n  DuplicateCoordinateWarning,\n  EngineCapabilityError,\n  hasAutogradSupport,\n  evaluateCovariantEikonalNumerical,\n  // v0.5.0 GL4 symplectic integrator\n  integrateGeodesicGL4,\n  // v0.5.0 perihelion finder (Task 4)\n  findPerihelion,\n} from './numerical/index.js';\n/** Types for numerical evaluation, gradients, the GL4 integrator, the perihelion finder, and the covariant eikonal. */\nexport type {\n  NumericalResult,\n  NumericalRawResult,\n  EvaluateOptions,\n  NumericalInputs,\n  TensorEngine,\n  EngineTensor,\n  EinsumSpec,\n  NestedArray,\n  GridField,\n  // v0.4.0 type additions\n  ForwardGradResult,\n  ReverseGradResult,\n  // v0.5.0 GL4 type additions\n  GL4State,\n  GL4Snapshot,\n  GL4Options,\n  // v0.5.0 perihelion-finder type additions (Task 4)\n  PerihelionResult,\n  FindPerihelionOptions,\n  CovariantEikonalInputs,\n  CovariantEikonalResult,\n} from './numerical/index.js';\n\n// ---------------------------------------------------------------------------\n// v0.8.0 — Composition graph (graph-lite Quantity/BridgeEdge/composeEdges\n// beside the catalog; see docs/planning/v0.8.0-Design.md). The operator is\n// `composeEdges`, NOT `compose` — `compose` is the v0.7 Cell factory above.\n// ---------------------------------------------------------------------------\nexport {\n  composeEdges,\n  consistencyRatio,\n  evaluateEdge,\n  minConfidence,\n  regimesDiffer,\n  QUANTITY_IDENTIFICATIONS,\n  CompositionDimensionError,\n  CompositionJunctionError,\n  DomainViolationError,\n  // Calibration edges (pre-registered CT-1/CT-1b/CT-2/CT-3 targets)\n  M_SUN_KG,\n} from './composition/index.js';\nexport type {\n  BridgeEdge,\n  ComposeOptions,\n  EdgeConfidence,\n  Quantity,\n  QuantityIdentification,\n  RegimeAttributes,\n  ValidityDomain,\n} from './composition/index.js';\n\n// v0.8.0 — Bridge-membership criterion + negative catalog (G-2 / P-4)\nexport { adjudicateBridgeEntry, adjudicateCatalog } from './bridges/membership.js';\nexport { REJECTED_BRIDGE_ADJUDICATIONS, REJECTED_BRIDGE_IDS } from './bridges/rejected.js';\nexport type { BridgeVerdict, CatalogAdjudicationReport } from './bridges/membership.js';\nexport type { RejectedBridgeAdjudication } from './bridges/rejected.js';\n\n// v0.8.0 — GW170817 → BE-36 real-data confrontation (G-3)\n\n// v0.28+ — Mercury perihelion → BE-52 real-data confrontation (established bridge)\n\n// v0.10.0 — Phase-D enumeration + uncertainty propagation (T3/T4)\nexport {\n  enumerateCompositions,\n  REGISTERED_COMPOSITION_IDS,\n  propagateUncertainty,\n} from './composition/index.js';\nexport type {\n  CompositionCandidate,\n  EnumerationReport,\n  UncertaintyResult,\n} from './composition/index.js';\n\n// Identifiability classifier (structural over/exactly/under-determined\n// over the composition graph — Consequence 1 of the bridge-inference\n// epistemics note)\nexport {\n  classifyIdentifiability,\n  classifyAll,\n  forwardClosure,\n} from './composition/index.js';\nexport type {\n  IdentifiabilityVerdict,\n  IdentifiabilityResult,\n  IdentifiabilityOptions,\n} from './composition/index.js';\n\n// Retrodiction harness (the framework's own falsification benchmark —\n// Consequence 2 of the bridge-inference epistemics note)\nexport { retrodict, retrodictNode } from './composition/index.js';\n/** The retrodiction harness's result, prediction, refusal, report and option types. */\nexport type {\n  RetrodictionOutcome,\n  RetrodictionPrediction,\n  RetrodictionResult,\n  RetrodictionRefusal,\n  RetrodictionReport,\n  RetrodictionOptions,\n} from './composition/index.js';\n\n// Unified \"explain this quantity\" entry point over the three inference\n// primitives (identifiability + retrodiction + Buckingham-π)\nexport { explainQuantity } from './composition/index.js';\nexport type {\n  DerivationExplanation,\n  ExplainOptions,\n  QuantityExplanation,\n} from './composition/index.js';\n\n// v0.12 — symbolic bridge composition (the Observable contract). Composes\n// bridges' symbolic ExprNode forms (not just numeric closures), dimensionally\n// validated and numerically evaluable.\nexport { composeSymbolic, SymbolicCompositionError, SymbolicEvalError } from './composition/index.js';\nexport type { Observable, ComposeSymbolicOptions } from './composition/index.js';\n\n// Physics-map visualization — render the bipartite, clustered hypergraph\n// (quantities = nodes, equations = junctions) as Mermaid / Graphviz-DOT source.\nexport { buildVizModel, edgeToJunction } from './composition/index.js';\nexport type {\n  VizStatus,\n  VizJunction,\n  VizCluster,\n  VizOptions,\n  VizModel,\n  VizFilterStats,\n} from './composition/index.js';\n// SVG rendering via the optional @viz-js/viz peer (separate module so the\n// graph-viz model stays pure/synchronous/dependency-free).\nexport { renderDotToSvg, SvgRendererUnavailableError } from './composition/index.js';\n\n// User-equation injection — parse a free-form \"TARGET = EXPR\" and place it into\n// the map as a connected 'user' junction (with a \"did you mean?\" hint).\nexport {\n  parseUserEquation,\n  suggestQuantities,\n  suggestByDimension,\n  equationLanding,\n  analyzeUserEquation,\n  UserEquationError,\n} from './composition/index.js';\n/** The catalog or parameter name a spelling means. One owner for a target and an input. */\nexport { resolveQuantityName } from './composition/index.js';\nexport type { UserEquation, EquationLanding, EquationAnalysis, EquationHint } from './composition/index.js';\n\n// Phase 1 — string → dimensional ExprNode parser + single-unknown dimensional\n// inference (the front-end to the physics AST).\nexport { parsePhysics } from './numerical/formula-registry.js';\nexport { FormulaDimensionError } from './numerical/formula-dimension.js';\nexport type { ParsedPhysics } from './numerical/formula-dimension.js';\nexport { inferUnknownDimension, substituteSymbolDim } from './dimensional/dimension-inference.js';\n// Dimension-adjacency review surface (name-divergent but same-dimension quantities).\nexport { dimensionAdjacency } from './composition/index.js';\nexport type { DimensionAdjacency } from './composition/index.js';\n\n\n// Buckingham-π enumerator (the principled primitive for the exactly-\n// determined case — build target 1 of the bridge-inference epistemics\n// note; FORM only, never the dimensionless constant)\nexport {\n  buckinghamPi,\n  dimensionallyDetermines,\n  RationalizationError,\n} from './dimensional/buckingham.js';\nexport type {\n  DimensionalVariable,\n  PiGroup,\n  BuckinghamVerdict,\n  BuckinghamResult,\n  DimensionalDeterminationResult,\n} from './dimensional/buckingham.js';\n\n// v0.11 — namespacing gate (Option D: name-collision rule + dispositions)\nexport {\n  CompositionAliasError,\n  SOURCE_ALIAS_DISPOSITIONS,\n} from './composition/compose-surface.js';\nexport type {\n  AliasDisposition,\n  DispositionRequired,\n} from './composition/compose-surface.js';\n\n// v0.11 — Klein-Gordon dispersion evaluator (G-7 closure, plane-wave sector)\nexport {\n  evaluateKGDispersionResidual,\n  verifyKleinGordonPlaneWave,\n} from './numerical/klein-gordon.js';\nexport type {\n  KGDispersionResidualInput,\n  KGPlaneWaveVerifyInput,\n  KGPlaneWaveVerifyResult,\n} from './numerical/klein-gordon.js';\n\n// v0.11 — BE-23 Planckian-dissipation data confrontation (2nd real-data check)\n\n// The composition graph is the relation projection of the catalog.\nexport { CATALOG_GRAPH } from './composition/index.js';\n\n// The standard-physics counterpart: the canonical L-layer projected into the\n// composition-graph edge vocabulary, so the discovery/analysis funnel can run\n// on textbook physics ALONE (bridges excluded). See `composition/canonical-graph`.\nexport {\n  CANONICAL_GRAPH,\n  canonicalToEdges,\n  CANONICAL_CONSTANTS,\n} from './composition/index.js';\n\n// ── Canonical-equation registry (the L-layer ground truth) ──────────────────\n// Textbook physics equations bridges are validated against. Multi-fidelity\n// (L0 dimensional / L1 scalar-AST / L2 field-equation) with epistemic-honesty\n// and provenance fields. See docs/planning/Canonical-Equation-Registry-A-*.\nexport {\n  CANONICAL_EQUATIONS,\n  CANONICAL_BY_ID,\n  canonicalById,\n  canonicalByDomain,\n  partneredBridgeIds,\n  bridgesWithoutCanonicalPartner,\n} from './canonical/registry.js';\nexport {\n  canonicalToLaw,\n  seedCanonicalLaws,\n  CANONICAL_TENSOR_CONFIG,\n} from './canonical/seed-l-layer.js';\nexport type {\n  CanonicalEquation,\n  CanonicalDomain,\n  EpistemicStatus,\n  CanonicalForms,\n  FieldEquationNode,\n} from './canonical/canonical-equation.js';\n// Sub-project B — bridge↔canonical linkage (validate vs standard physics).\n// `normalForm` is the structural hash up to dimensionless factors;\n// `classifyLinkage`/`scanLinkages` recover/contain bridges against canonicals\n// with the F4 circularity guard (`restates-canonical` vs genuine `recovers`).\nexport { normalForm, structurallyEqual } from './canonical/normal-form.js';\nexport { classifyLinkage, scanLinkages } from './canonical/linkage.js';\nexport type { LinkageResult, RecoveryOutcome } from './canonical/linkage.js';\n\n// Adjudication ledger — human verdicts on discovery-funnel identification\n// hypotheses (review memory the funnel must not re-surface as fresh).\n// Precedent: SOURCE_ALIAS_DISPOSITIONS/AliasDisposition above is the repo's\n// other reviewable judgment registry, and is index-exported the same way.\nexport {\n  candidateId,\n  ADJUDICATIONS,\n  adjudicationFor,\n  annotateAdjudications,\n} from './composition/adjudication.js';\nexport type { AnnotatedCandidate } from './composition/adjudication.js';\n/** The adjudication ledger's verdict and record types, exported from their owner, the catalog file's types. */\nexport type { AdjudicationVerdict, CatalogAdjudication } from './bridges/catalog-types.js';\n\n// Consequence propagation — the machine pre-classifier for the human\n// adjudication ledger. Annotates discovery candidates with the\n// entailed/novel-consequence/inconclusive signal; never mutates the\n// catalog/graph, never re-orders or re-scores.\nexport { annotateConsequences, classifyProposal } from './composition/consequence.js';\nexport type {\n  ConsequenceAnnotatedCandidate,\n  ConsequenceSignal,\n  ConsequenceEvidence,\n} from './composition/consequence.js';\n\n// Epistemic-grounding ledger (PI-instrument Phase 1). A pure, derived view over\n// a candidate's falsifier results: which gates passed vs abstained, plus the\n// honest no-mechanism/no-data ceiling. Annotation-only; changes no verdict.\nexport { describeGrounding } from './composition/grounding.js';\nexport type { CandidateGrounding } from './composition/grounding.js';\n\n// Discovery funnel — vet link-candidate identifications against the inference\n// suite (Direction 2). rankDiscoveries is the entry point; VettedCandidate is\n// the output type. Required to feed annotateAdjudications from the public API.\nexport { rankDiscoveries } from './composition/discovery.js';\nexport type { VettedCandidate } from './composition/discovery.js';\n\n// v0.33.0 — `upt confront` real-data confrontation subsystem: typed\n// observations + a normalized ConfrontationOutcome (discriminated on `kind`)\n// wrap the per-bridge confrontation modules (be-23/36/37/48/52) behind one\n// registry, plus deciding-measurement elasticity for value-kind entries.\nexport {\n  residualInSigma,\n  combineInQuadrature,\n  consistencyComparison,\n} from './bridges/observations/types.js';\nexport type {\n  ConsistencyComparison,\n  ObservationProvenance,\n  SigmaComponent,\n  ObservationKind,\n  ConfrontationOutcome,\n  ConfrontationDataHandling,\n  ConfrontationPreprocessing,\n  ConfrontationIndependence,\n  SourceRef,\n  SourceRefs,\n} from './bridges/observations/types.js';\n\n// BE-53 — one-loop coefficient, and a confrontation only when the caller supplies both inputs.\nexport { oneLoopCoefficientStatement } from './bridges/coefficient-statement.js';\nexport type { OneLoopCoefficientStatement, OneLoopCoefficientSign } from './bridges/coefficient-statement.js';\n\n// The confrontation registry: every committed confrontation of\n// `data/bridge-catalog.json`, the single lookup surface for `upt confront`.\nexport {\n  CONFRONTATIONS,\n  listConfrontations,\n  runConfrontation,\n  // Rigor hierarchy of the evidence spine (2026-07-05) — stringent/moderate/loose.\n  CONFRONTATION_RIGOR,\n  confrontationRigor,\n  rigorDistribution,\n} from './bridges/confrontations.js';\nexport type { ConfrontationEntry, RigorTier } from './bridges/confrontations.js';\n\n// Deciding-measurement elasticity — which input a value-kind confrontation's\n// prediction depends on most strongly (central-difference log-sensitivity).\nexport { decidingMeasurement } from './bridges/sensitivity.js';\nexport type { Elasticity } from './bridges/sensitivity.js';\n\n// The PUBLIC atlas surface as a namespace (Atlas API review, Tier 1). The full\n// @internal surface stays on the universal-physics-tensor/atlas subpath.\nexport * as atlas from './atlas/public.js';\n\n// ---------------------------------------------------------------------------\n// Closure under type references (tests/api/root-public-closure.test.ts).\n// Every type a root export names is itself importable from the root or from\n// a package.json subpath; the names below were reachable only through the\n// public declarations that mention them.\n// ---------------------------------------------------------------------------\n/** The base class of every error this package throws. */\nexport type { UPTError } from './dimensional/errors.js';\n/** Which constants a natural-unit evaluation sets to one. */\nexport type { UnitMode } from './dimensional/natural-units.js';\n/** The tensor and curvature node family of the dimensional AST. */\nexport type {\n  Variance,\n  Role,\n  TensorIndex,\n  UpperIndex,\n  CovariantIndex,\n  TensorSymbolNode,\n  TensorProductNode,\n  MetricTensorNode,\n  KroneckerDeltaNode,\n  TensorPartialDerivativeNode,\n  RiemannTensorNode,\n  WeylTensorNode,\n  KillingVectorNode,\n  ConservedChargeNode,\n  StressEnergyTensorNode,\n  CosmologicalConstantNode,\n} from './dimensional/ast-types.js';\n/** The generic shape the curvature node types instantiate, and its kind union (referenced by the exported node types). */\nexport type { CurvatureCompositeNode, CurvatureKind } from './dimensional/curvature-composite.js';\n/** The kind of a flux rule. */\nexport type { FluxRuleKind } from './core/flux-rules.js';\n/** The per-axis value tables of the core axis registry. */\nexport type { ScaleAxes, ForceAxes, SymmetryAxes, InformationAxes } from './core/axes-registry.js';\n/** The convenience form a regime registration accepts for an axis. */\nexport type { AxisConvenience } from './core/regime-registry.js';\n/** The named inputs of the four bridge differentiation specs. */\nexport type { ShapiroInput, PerihelionInput, HawkingInput, DecoherenceInput } from './diff/bridge-specs.js';\n/** The contraction and free-axis records an einsum plan is made of. */\nexport type { EinsumContraction, EinsumFreeAxis } from './numerical/tensor-engine.js';\n/** The callbacks a Killing-equation check takes: the vector field, the metric and the connection. */\nexport type { KillingFn, KillingMetricFn, ChristoffelAtFn } from './numerical/killing.js';\n/** A relation's input contract and the sign and unit conventions it states. */\nexport type { RelationContract, Conventions } from './relations/types.js';\n/** The classification axes of the composition registry. */\nexport type {\n  ScaleAxis,\n  ForceAxis,\n  InformationAxis,\n  SymmetryAxis,\n  TopologyAxis,\n  StatisticsAxis,\n} from './composition/axes.js';\n/** Options of the chain enumerator. */\nexport type { EnumerationOptions } from './composition/enumerate.js';\n/** Options of the uncertainty propagation. */\nexport type { UncertaintyOptions } from './composition/uncertainty.js';\n/** Options of a user-equation analysis and the short form of a binding. */\nexport type { AnalyzeUserEquationOptions, ShortBinding } from './composition/user-equation.js';\n/** A constant as the canonical graph declares it. */\nexport type { ConstantDef } from './composition/canonical-graph.js';\n/** An identity consequence the surfacer proposes; never written to the catalog. */\nexport type { ProposedBridge } from './composition/proposed-bridges.js';\n/** Options of the discovery funnel. */\nexport type { DiscoveryOptions } from './composition/discovery.js';\n/** A representative value of a quantity with its source. */\nexport type { RepresentativeValue } from './composition/representative-values.js';\n/** A canonical prefactor, scalar or per dimensionless group, with its source. */\nexport type { SourcedPrefactor, SourcedGroupPrefactor } from './canonical/canonical-equation.js';\n"]}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,qEAAqE;AACrE,2EAA2E;AAC3E,6EAA6E;AAC7E,OAAO,EACL,IAAI,EACJ,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,MAAM,EACN,IAAI,EACJ,KAAK,EACL,MAAM,EACN,MAAM,EACN,MAAM,EACN,KAAK;AACL,iEAAiE;AACjE,QAAQ;AACR,kDAAkD;AAClD,SAAS;AACT,sDAAsD;AACtD,MAAM;AACN,4DAA4D;AAC5D,SAAS,GACV,MAAM,qBAAqB,CAAC;AAY7B,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAcpD,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAS3C,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAK1D,OAAO,EACL,cAAc,EACd,WAAW,EACX,aAAa,EACb,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AAWtC,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAEtD,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAC;AAC/C,OAAO,EACL,aAAa,EACb,8BAA8B,EAC9B,iBAAiB,EACjB,qBAAqB,EACrB,sBAAsB,EACtB,qBAAqB,EACrB,cAAc,EACd,cAAc,EACd,cAAc,GACf,MAAM,0BAA0B,CAAC;AAWlC,OAAO,EACL,YAAY,EACZ,WAAW,EACX,WAAW,EACX,cAAc,EACd,iBAAiB,EACjB,eAAe,EACf,cAAc,EACd,YAAY,EACZ,iBAAiB,EACjB,aAAa,EACb,mBAAmB,EACnB,cAAc,EACd,oBAAoB,GACrB,MAAM,2BAA2B,CAAC;AACnC,oEAAoE;AACpE,OAAO,+BAA+B,CAAC;AACvC,8DAA8D;AAC9D,OAAO,4BAA4B,CAAC;AAQpC,OAAO,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AAIpE,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,+BAA+B,CAAC;AACvC,kHAAkH;AAClH,OAAO,EACL,kBAAkB,EAClB,uBAAuB,EACvB,wBAAwB,EACxB,qBAAqB,EACrB,wBAAwB,GACzB,MAAM,wBAAwB,CAAC;AAEhC,+DAA+D;AAC/D,+EAA+E;AAC/E,6EAA6E;AAC7E,8EAA8E;AAC9E,6CAA6C;AAC7C,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,gFAAgF;AAChF,OAAO,EACL,+BAA+B,GAChC,MAAM,2BAA2B,CAAC;AAmBnC;;;GAGG;AACH,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,gBAAgB,EAChB,aAAa,EACb,iBAAiB,EACjB,wBAAwB,EACxB,WAAW,EACX,gBAAgB,GACjB,MAAM,oBAAoB,CAAC;AAC5B;;;;GAIG;AACH,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AACjF,4HAA4H;AAC5H,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAChC,kHAAkH;AAClH,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AASxD,2FAA2F;AAC3F,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAE5D,iFAAiF;AACjF,+EAA+E;AAC/E,gFAAgF;AAChF,iCAAiC;AACjC,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAK1D,4EAA4E;AAC5E,sEAAsE;AACtE,sDAAsD;AACtD,OAAO,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAC;AAGnD,4EAA4E;AAC5E,sEAAsE;AACtE,mEAAmE;AACnE,0EAA0E;AAC1E,oEAAoE;AACpE,2EAA2E;AAC3E,2EAA2E;AAC3E,kEAAkE;AAClE,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAGtD,kFAAkF;AAClF,mFAAmF;AACnF,+EAA+E;AAC/E,oDAAoD;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAGlE,wDAAwD;AACxD,4EAA4E;AAC5E,4EAA4E;AAC5E,6EAA6E;AAC7E,8EAA8E;AAC9E,6EAA6E;AAC7E,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,wBAAwB,CAAC;AAOhC,uEAAuE;AACvE,OAAO,EACL,iBAAiB,GAGlB,MAAM,oCAAoC,CAAC;AAE5C,gFAAgF;AAChF,0EAA0E;AAC1E,+EAA+E;AAC/E,6EAA6E;AAC7E,OAAO,EACL,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,8BAA8B,GAC/B,MAAM,4BAA4B,CAAC;AAapC,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAOpE,OAAO,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AAOhF,OAAO,EAAE,UAAU,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAQhG,OAAO,EAAE,kBAAkB,EAAE,6BAA6B,EAAE,MAAM,8BAA8B,CAAC;AAOjG,OAAO,EAAE,2BAA2B,EAAE,MAAM,wCAAwC,CAAC;AAOrF,kGAAkG;AAClG,OAAO,EACL,kBAAkB,EAClB,YAAY,EACZ,SAAS,EACT,SAAS,EACT,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAGhC,OAAO,EACL,aAAa,EACb,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,KAAK,EACL,MAAM,EACN,KAAK,EACL,MAAM,EACN,WAAW,EACX,OAAO,EACP,MAAM,GACP,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,QAAQ,EACR,MAAM,EACN,KAAK,EACL,GAAG,EACH,QAAQ,EACR,MAAM,EACN,MAAM,EACN,sBAAsB,GACvB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AACnG,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AAExE,mEAAmE;AACnE,gFAAgF;AAChF,0EAA0E;AAC1E,+EAA+E;AAC/E,8EAA8E;AAC9E,mDAAmD;AACnD,OAAO,EACL,gCAAgC,GACjC,MAAM,kCAAkC,CAAC;AAO1C,iFAAiF;AACjF,iFAAiF;AACjF,4EAA4E;AAC5E,8CAA8C;AAC9C,OAAO,EAAE,6BAA6B,EAAE,MAAM,oCAAoC,CAAC;AAanF,OAAO,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAElF,sEAAsE;AACtE,6EAA6E;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAEhE,8EAA8E;AAC9E,4EAA4E;AAC5E,4EAA4E;AAC5E,6EAA6E;AAC7E,0EAA0E;AAC1E,6CAA6C;AAC7C,sHAAsH;AACtH,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,qBAAqB,EACrB,eAAe,EACf,eAAe,EACf,qBAAqB;AACrB,4CAA4C;AAC5C,0BAA0B,EAC1B,qBAAqB,EACrB,kBAAkB,EAClB,iCAAiC;AACjC,mCAAmC;AACnC,oBAAoB;AACpB,oCAAoC;AACpC,cAAc,GACf,MAAM,sBAAsB,CAAC;AA0B9B,8EAA8E;AAC9E,0EAA0E;AAC1E,2EAA2E;AAC3E,4EAA4E;AAC5E,8EAA8E;AAC9E,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,YAAY,EACZ,aAAa,EACb,aAAa,EACb,wBAAwB,EACxB,yBAAyB,EACzB,wBAAwB,EACxB,oBAAoB;AACpB,kEAAkE;AAClE,QAAQ,GACT,MAAM,wBAAwB,CAAC;AAUhC,mHAAmH;AACnH,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAIxD,sEAAsE;AACtE,OAAO,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACnF,OAAO,EAAE,6BAA6B,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAI3F,0DAA0D;AAE1D,mFAAmF;AAEnF,kEAAkE;AAClE,OAAO,EACL,qBAAqB,EACrB,0BAA0B,EAC1B,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAOhC,uEAAuE;AACvE,qEAAqE;AACrE,mBAAmB;AACnB,iHAAiH;AACjH,OAAO,EACL,uBAAuB,EACvB,WAAW,EACX,cAAc,EACd,qBAAqB,GACtB,MAAM,wBAAwB,CAAC;AAShC,sEAAsE;AACtE,yDAAyD;AACzD,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAWlE,uEAAuE;AACvE,6DAA6D;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAOzD,0EAA0E;AAC1E,8EAA8E;AAC9E,uCAAuC;AACvC,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAGtG,yEAAyE;AACzE,gFAAgF;AAChF,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AASvE,0EAA0E;AAC1E,2DAA2D;AAC3D,OAAO,EAAE,cAAc,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAErF,gFAAgF;AAChF,wEAAwE;AACxE,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAChC,2FAA2F;AAC3F,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAG7D,8EAA8E;AAC9E,gDAAgD;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AAEzE,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAClG,qFAAqF;AACrF,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAI5D,qEAAqE;AACrE,sEAAsE;AACtE,qDAAqD;AACrD,OAAO,EACL,YAAY,EACZ,uBAAuB,EACvB,oBAAoB,GACrB,MAAM,6BAA6B,CAAC;AASrC,0EAA0E;AAC1E,OAAO,EACL,qBAAqB,EACrB,yBAAyB,GAC1B,MAAM,kCAAkC,CAAC;AAM1C,6EAA6E;AAC7E,OAAO,EACL,4BAA4B,EAC5B,0BAA0B,GAC3B,MAAM,6BAA6B,CAAC;AAOrC,+EAA+E;AAE/E,mEAAmE;AACnE,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAEvD,6EAA6E;AAC7E,8EAA8E;AAC9E,mFAAmF;AACnF,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAEhC,+EAA+E;AAC/E,2EAA2E;AAC3E,8EAA8E;AAC9E,4EAA4E;AAC5E,OAAO,EACL,mBAAmB,EACnB,eAAe,EACf,aAAa,EACb,iBAAiB,EACjB,kBAAkB,EAClB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,6BAA6B,CAAC;AAQrC,2EAA2E;AAC3E,mEAAmE;AACnE,8EAA8E;AAC9E,8EAA8E;AAC9E,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC3E,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAGvE,0EAA0E;AAC1E,sEAAsE;AACtE,4EAA4E;AAC5E,0EAA0E;AAC1E,OAAO,EACL,WAAW,EACX,aAAa,EACb,eAAe,EACf,qBAAqB,GACtB,MAAM,+BAA+B,CAAC;AAKvC,qEAAqE;AACrE,+DAA+D;AAC/D,oEAAoE;AACpE,+CAA+C;AAC/C,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAOtF,gFAAgF;AAChF,6EAA6E;AAC7E,4EAA4E;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAG/D,8EAA8E;AAC9E,8EAA8E;AAC9E,+EAA+E;AAC/E,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAG7D,oEAAoE;AACpE,6EAA6E;AAC7E,2EAA2E;AAC3E,yEAAyE;AACzE,OAAO,EACL,eAAe,EACf,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,iCAAiC,CAAC;AAczC,+FAA+F;AAC/F,OAAO,EAAE,2BAA2B,EAAE,MAAM,oCAAoC,CAAC;AAGjF,+DAA+D;AAC/D,4EAA4E;AAC5E,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB;AAChB,iFAAiF;AACjF,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AAGrC,6EAA6E;AAC7E,4EAA4E;AAC5E,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAG/D,+EAA+E;AAC/E,yEAAyE;AACzE,OAAO,KAAK,KAAK,MAAM,mBAAmB,CAAC","sourcesContent":["/**\n * Universal Physics Tensor Framework\n *\n * Computational framework for exploring unified physics through tensor formalism\n *\n * @packageDocumentation\n */\n\nexport { UniversalTensor } from './core/tensor.js';\n// v0.5.1 — canonical flat CODATA 2022 / SI-defined constants (PC-1).\n// Single source of truth across numerical, dimensional, and bridge layers.\n// See src/core/constants.ts and docs/planning/v0.5.1-Implementation-Plan.md.\nexport {\n  C_SI,\n  G_SI,\n  H_SI,\n  HBAR_SI,\n  K_B_SI,\n  E_SI,\n  ALPHA,\n  M_P_SI,\n  L_P_SI,\n  T_P_SI,\n  H0_SI,\n  // v0.8.0 punch-list — promoted from the calibration-edges module\n  M_SUN_SI,\n  // IAU 2015 nominal solar GM. Not G_SI * M_SUN_SI.\n  GM_SUN_SI,\n  // v0.11 — electron mass (namespacing criterion-3 pin)\n  M_E_SI,\n  // canonical registry — Wien displacement constant (CE-wien)\n  B_WIEN_SI,\n} from './core/constants.js';\nexport type {\n  TensorConfig,\n  TensorIndices,\n  PhysicalLaw,\n  BridgeEquation,\n  EmergentPhenomenon,\n  PhysicalScale,\n  Force,\n  Symmetry,\n  InformationMeasure,\n} from './core/types.js';\nexport { PhysicalConstants } from './core/types.js';\n\n// v0.7 Proposal 3 — Typed `Cell` discriminated union (storage-layer\n// surface). `PhysicalLaw` / `BridgeEquation` / `EmergentPhenomenon`\n// above remain the legacy surface (consumers haven't migrated yet);\n// the new `Cell` union is the preferred forward-looking shape.\nexport type {\n  Cell,\n  CellBase,\n  CellConfidence,\n  LawCell,\n  BridgeCell,\n  EmergenceCell,\n} from './core/cell.js';\nexport { compose } from './core/tensor.js';\n\n// v0.7 Proposal 2 — Sparse semantic catalog (flux rules + adapter).\n// Per Decision #9, only the consumer-facing types are re-exported;\n// FluxRule / FluxRuleKind / FluxRuleResult stay @internal.\nexport type {\n  FluxDiagnostic,\n  FluxReport,\n} from './core/flux-rules.js';\nexport { FluxViolationError } from './core/flux-rules.js';\nexport type {\n  CatalogEntryStatus,\n  CatalogIngestionReport,\n} from './bridges/catalog-adapter.js';\nexport {\n  catalogToCells,\n  scanCatalog,\n  ingestCatalog,\n  ingestionReportToFluxReport,\n  CatalogIngestionError,\n} from './bridges/catalog-adapter.js';\n\n// v0.7 Proposal 1 — Intelligent Index layer (UniversalIndex + Axes\n// + LabeledTensor wrapper). Per Decision #10, 10 public symbols.\n// MergedLabels<L,R> and canonicalLabelOrder stay @internal.\nexport type {\n  AxisName,\n  UniversalIndex,\n  UniversalIndexId,\n  MakeIndexOptions,\n} from './core/universal-index.js';\nexport { makeIndex } from './core/universal-index.js';\nexport type { AxesRegistry } from './core/axes-registry.js';\nexport { Axes } from './core/axes-registry.js';\nexport {\n  LabeledTensor,\n  LabeledTensorConstructionError,\n  AxisMismatchError,\n  IdentityConflictError,\n  IndexNameMismatchError,\n  RankPreservationError,\n  AxisOrderError,\n  AxisMergeError,\n  AxisSplitError,\n} from './core/labeled-tensor.js';\n\n// v0.8 Proposal 5 — RegimeType extension system: the mechanism, with the 18\n// v0.6-shipped values pre-registered. No further built-in regime is added\n// (owner ruling of 2026-10-09, NOTES.md); a new regime is registered through\n// this mechanism by its caller.\nexport type {\n  RegimeProvenance,\n  RegimeValueBase,\n  RegimeSpec,\n} from './core/regime-registry.js';\nexport {\n  defineRegime,\n  defineScale,\n  defineForce,\n  defineSymmetry,\n  defineInformation,\n  defineDimension,\n  defineTopology,\n  lookupRegime,\n  listRegimesByAxis,\n  provenanceFor,\n  attachRegimesToCell,\n  getCellRegimes,\n  RegimeCollisionError,\n} from './core/regime-registry.js';\n// Phase 4 wiring side-effect: installs the regime-consistency rule.\nimport './core/regime-rule-install.js';\n// Phase 2 side-effect: pre-registers the 18 built-in regimes.\nimport './core/regimes-builtins.js';\n\n// v0.9 Proposal 8 — Bridge Parameter Differentiation (P8 Decision #1: lives\n// in src/diff/, doesn't touch src/bridges/). `bridgeGradientNumerical` is\n// central finite differences over a spec, engine-free. Engine AD of a spec\n// is unreachable by construction (`evaluate` returns a number, which carries\n// no tape); the exact AD path is `bridgeGradientAST` over the symbolic RHS.\nexport type { BridgeDiffSpec, BridgeNumericalGradientResult } from './diff/bridge-gradient.js';\nexport { bridgeGradientNumerical } from './diff/bridge-gradient.js';\n// Exact bridge gradients via reverse-mode AD over the symbolic RHS AST\n// (traced lowering through mathts-autograd; faithful encodings only).\nexport type { ASTGradientResult } from './diff/bridge-ast-gradient.js';\nexport {\n  bridgeGradientAST,\n  bridgeGradientASTById,\n  astDifferentiableBridgeIds,\n} from './diff/bridge-ast-gradient.js';\n/** Differentiable relations: Shapiro delay, perihelion advance, Hawking temperature, and the decoherence rate. */\nexport {\n  SHAPIRO_DELAY_DIFF,\n  PERIHELION_ADVANCE_DIFF,\n  HAWKING_TEMPERATURE_DIFF,\n  DECOHERENCE_RATE_DIFF,\n  DIFFERENTIABLE_RELATIONS,\n} from './diff/bridge-specs.js';\n\n// The catalog rows of `data/bridge-catalog.json`, in id order.\n// `BridgeEquationEntry` is a different shape from the runtime `BridgeEquation`\n// interface above: the entry is the catalog's record of an equation (status,\n// known issues, references, dependencies), while `BridgeEquation` describes a\n// runtime bridge between two tensor regimes.\nexport { BRIDGE_EQUATIONS } from './bridges/index.js';\n/** Request a caller-table confrontation. The catalog status does not change. */\nexport {\n  requestCallerTableConfrontation,\n} from './bridges/caller-table.js';\n/** Types of a caller-table request and of its refusal or hit. */\nexport type {\n  MeasuredCouplingRow,\n  RunningProcedureRecord,\n  RunningProcedure,\n  CallerTableRequest,\n  CallerTableRefusal,\n  CallerTableHit,\n  CallerTableResult,\n} from './bridges/caller-table.js';\nexport type {\n  BridgeEquationEntry,\n  BridgeEquationStatus,\n  BridgeIssueSeverity,\n  BridgeIssueFixable,\n  KnownIssue,\n} from './bridges/index.js';\n\n/**\n * Constants that stay on the package root, and `CarrierSignError`.\n * Per-bridge evaluate functions are not on this root.\n */\nexport {\n  VON_KLITZING_SI,\n  JOSEPHSON_CONSTANT_SI,\n  LORENZ_NUMBER_SI,\n  BCS_GAP_RATIO,\n  LANE_EMDEN_OMEGA3,\n  THOMSON_CROSS_SECTION_SI,\n  M_PROTON_SI,\n  CarrierSignError,\n} from './bridges/index.js';\n/**\n * One evaluation of a catalog id or a canonical id.\n * A sourced number is `kind: 'value'`. An unset coefficient is `kind: 'unset'`.\n * @public\n */\nexport { evaluateRelation, CoefficientUnsetError } from './composition/index.js';\n/** The input errors {@link evaluateRelation} throws before any domain check; a domain failure is `DomainViolationError`. */\nexport {\n  DuplicateInputError,\n  InputTypeError,\n  MissingInputError,\n  NonFiniteInputError,\n  UnknownInputError,\n} from './composition/index.js';\n/** A caller input that names a registered constant (`G`, `k_B`, `m_p`, …) is refused on every evaluation path. */\nexport { ConstantInputError } from './bridges/index.js';\n/** The result of {@link evaluateRelation}. A value carries a public `Dimension`. */\nexport type { Evaluation, ExtraOutput } from './composition/index.js';\n\nexport type { EvaluatorSpec, EvaluatorParameter, ParameterAlternate, GeometryRole } from './bridges/evaluators.js';\n/** An extra output an `EvaluatorSpec` returns beside its `value`. */\nexport type { CatalogEvaluatorOutput } from './bridges/catalog-types.js';\n/** The input contract an evaluator's `run` checks before the domain, and what a caller asks `run` for. */\nexport type { ContractAlternate, EvaluationWant, InputContract, InputSlot } from './bridges/input-contract.js';\n/** Build an input contract; throws when one spelling or alternate would bind two slots. */\nexport { inputContract } from './bridges/input-contract.js';\n\n// v0.4.0 connection layer — Christoffel formula builder and covariant derivative\n// AST node type. `christoffel` is public because bridge modules and downstream\n// callers compose Γ trees directly; `CovariantDerivativeNode` is the structural\n// type for the new ∇_μ AST kind.\nexport { christoffel } from './dimensional/connection.js';\n// CovariantDerivativeNode is re-exported from validator.ts (which holds the union);\n// importing from there avoids creating a separate source-of-truth.\nexport type { CovariantDerivativeNode } from './dimensional/validator.js';\n\n// v0.5.0 curvature layer — Ricci tensor helper (Task 7). `ricci(R)` wraps a\n// RiemannTensorNode and produces the contracted R_μν = R^λ_{λμν} as a\n// composite ExprNode (own validator + lowering arms).\nexport { ricci } from './dimensional/curvature.js';\nexport type { RicciTensorNode } from './dimensional/validator.js';\n\n// v0.5.0 curvature layer — Einstein tensor helper (Task 8). `einstein(R, g,\n// gInverse)` wraps a RiemannTensorNode + metric pair and produces the\n// composite G_μν = R_μν − ½ R g_μν as an ExprNode (own validator +\n// lowering arms — no AST rewrite). The matter-coupled field-equation node\n// `G_μν = κ T_μν` exists (`EinsteinFieldEquationNode`, validated in\n// dimensional/validator.ts); its numerical lowering is still deferred: the\n// lowering layer refuses a deferred node kind with `NumericalBackendError`\n// and names the evaluator to use instead (numerical/lowering.ts).\nexport { einstein } from './dimensional/curvature.js';\nexport type { EinsteinTensorNode } from './dimensional/validator.js';\n\n// v0.5.0 curvature layer — Bianchi residual helper (Task 9). `bianchiResidual(R)`\n// returns {residual, evaluate, evaluateMax} for the cyclic second-Bianchi-identity\n// check ∇_{[λ} R_{μν]ρσ} = 0. The evaluator lives in numerical so curvature.ts\n// does not import it. Closes Phase 1 — Foundations.\nexport { bianchiResidual } from './numerical/bianchi-residual.js';\nexport type { BianchiResidualNode } from './dimensional/validator.js';\n\n// v0.6.0 Phase 1 — Killing-vector machinery (Task 1.3).\n// `verifyKillingEquation` checks the Killing equation ∇_μ ξ_ν + ∇_ν ξ_μ = 0\n// numerically at a point using a hybrid impl (exact Christoffels + analytic\n// metric derivatives). `evaluateConservedCharge` evaluates Q = ξ^μ p_μ along\n// a geodesic. `ChristoffelAccess` is the layout-agnostic Christoffel accessor\n// type that insulates consumers from the Phase 2 BR-2 flat-layout migration.\nexport {\n  verifyKillingEquation,\n  checkKillingEquation,\n  evaluateConservedCharge,\n} from './numerical/killing.js';\nexport type {\n  KillingEquationOptions,\n  KillingEquationCheck,\n  ChristoffelAccess,\n} from './numerical/killing.js';\n\n// v0.4.0 geodesic integrator (RK4 solver — headline feature of v0.4.0)\nexport {\n  integrateGeodesic,\n  type GeodesicIntegratorInputs,\n  type GeodesicIntegratorResult,\n} from './numerical/geodesic-integrator.js';\n\n// v0.14 G-9 increment 2 — geometrized-units boundary adapters. Convert a scalar\n// between SI and geometrized (G = c = 1) units, driven by its `Dimension`\n// exponent vector (factor G^M·c^(T−2M)). For consumers running the GR pipeline\n// in geometrized units; the default-pipeline migration is a later increment.\nexport {\n  toGeometrized,\n  fromGeometrized,\n  geometrizedFactor,\n  NonGeometrizableDimensionError,\n} from './numerical/geometrized.js';\n\n// v0.7.1 M-1 — Surface restoration: five v0.7 dimensional primitives were\n// @public-tagged during the BE-X re-encoding sprint but absent from this\n// manifest. Re-exported here per Phase 1 Task 1.2 (Decision #2 guard).\n// Mirrors the v0.6.0 EinsteinFieldEquationNode / KretschmannScalarNode /\n// RicciTensorNode pattern — predicate-node types + validators are @public.\nexport type {\n  TracableTensorNode,\n  TensorTraceNode,\n  TensorTraceValidationResult,\n  TensorTraceOptions,\n} from './dimensional/tensor-trace.js';\nexport { validateTensorTrace } from './dimensional/tensor-trace.js';\n\nexport type {\n  FriedmannVariant,\n  FriedmannEquationNode,\n  FriedmannEquationValidationResult,\n} from './dimensional/friedmann-equation.js';\nexport { validateFriedmannEquation } from './dimensional/friedmann-equation.js';\n\nexport type {\n  RGCouplingNode,\n  BetaFunctionNode,\n  BetaFunctionValidationResult,\n} from './dimensional/rg-flow.js';\nexport { rgCoupling, validateRGCoupling, validateBetaFunction } from './dimensional/rg-flow.js';\n\nexport type {\n  ArrowOfTime,\n  GaugeFieldNode,\n  TimeSymmetryPredicateNode,\n  TimeSymmetryPredicateValidationResult,\n} from './dimensional/gauge-field.js';\nexport { validateGaugeField, validateTimeSymmetryPredicate } from './dimensional/gauge-field.js';\n\nexport type {\n  ScalarFieldNode,\n  KleinGordonEquationNode,\n  KleinGordonEquationValidationResult,\n} from './dimensional/klein-gordon-equation.js';\nexport { validateKleinGordonEquation } from './dimensional/klein-gordon-equation.js';\n\n// Dimensional analyzer (Tier 4) — SI dimension propagation through bridge\n// equations expressed as ExprNode trees. See src/dimensional/README.md.\n// Every symbol re-exported in this block is `@public` — the consumer-facing\n// dimensional/metric surface (stabilised in v0.3.0).\nexport type { Dimension } from './dimensional/types.js';\n/** The one unit reader: parse a unit, convert a value exactly, and the typed errors it throws. */\nexport {\n  AmbiguousUnitError,\n  convertValue,\n  parseUnit,\n  UnitError,\n  UnitRefusedError,\n  UnknownUnitError,\n} from './dimensional/units.js';\n/** A parsed unit, a converted value, and how a temperature is read. */\nexport type { AffineTemperature, ConvertedValue, ParsedUnit, TemperatureReading } from './dimensional/units.js';\nexport {\n  DIMENSIONLESS,\n  LENGTH,\n  AREA,\n  TIME,\n  FREQUENCY,\n  MASS,\n  VELOCITY,\n  ACCELERATION,\n  FORCE,\n  ENERGY,\n  POWER,\n  ACTION,\n  TEMPERATURE,\n  ENTROPY,\n  CHARGE,\n} from './dimensional/types.js';\nexport {\n  multiply,\n  divide,\n  power,\n  add,\n  subtract,\n  equals,\n  format,\n  DimensionMismatchError,\n} from './dimensional/algebra.js';\nexport type { ExprNode, TranscendentalFn, ValidationResult, Violation } from './dimensional/validator.js';\nexport { validate, validateEquation, validateInverseMetricPair } from './dimensional/validator.js';\nexport { inferDimensionForBridge } from './dimensional/bridge-check.js';\n\n// v0.6.0 Phase 2 Task 2.4 — Einstein-equation numerical evaluator.\n// `evaluateEinsteinEquationResidual` computes the scale-normalized max residual\n// |G_μν + Λ g_μν − κ T_μν| / |g_μν| at a coordinate point. Accepts metric\n// closures + stress-energy closure; returns a dimensionless relative residual.\n// For Schwarzschild vacuum (T=0, Λ=0) the residual is the FD truncation floor\n// (~1e-10 relative at 4th-order stencil accuracy).\nexport {\n  evaluateEinsteinEquationResidual,\n} from './numerical/einstein-equation.js';\nexport type {\n  EinsteinEquationResidualInput,\n  MetricClosure,\n  Vec4,\n} from './numerical/einstein-equation.js';\n\n// v0.6.0 Phase 2 Task 2.3 — EinsteinFieldEquationNode predicate AST + validator.\n// Represents G_μν + Λ g_μν = (8πG/c⁴) T_μν as a structurally-validated AST node.\n// Validator checks: free-index agreement, per-component dim equality [L⁻²],\n// and symmetry agreement (Decision #3 + #11).\nexport { validateEinsteinFieldEquation } from './dimensional/einstein-equation.js';\nexport type {\n  EinsteinFieldEquationNode,\n  EinsteinFieldEquationValidationResult,\n} from './dimensional/einstein-equation.js';\n\n// v0.6.0 Phase 3 Task 3.5 — KretschmannScalarNode AST + validator.\n// K = R_{ρσμν} R^{ρσμν} is the canonical curvature invariant; scalar (rank-0),\n// dim [L⁻⁴]. Diverges at genuine singularities; finite at coordinate ones.\nexport type {\n  KretschmannScalarNode,\n  KretschmannScalarValidationResult,\n} from './dimensional/curvature-invariants.js';\nexport { validateKretschmannScalar } from './dimensional/curvature-invariants.js';\n\n// v0.6.0 Phase 3 Task 3.6 — Kretschmann scalar numerical contraction.\n// O(4⁸) = 65536 multiplications per call — diagnostic/sample-point use only.\nexport { computeKretschmann } from './numerical/kretschmann.js';\n\n// Numerical-contraction backend (v0.3.5+). See docs/planning/v0.3.5-Design.md\n// and docs/planning/v0.4.0-Implementation-Plan.md (v0.4.0 additions below).\n// Every symbol below is `@public` — the consumer-facing (TensorJS) surface.\n// `MathTSEngine` is intentionally NOT re-exported here. It is reachable only\n// via the `universal-physics-tensor/numerical/mathts-engine` subpath. The\n// MathTS packages are required dependencies.\n/** Numerical evaluation, the covariant eikonal integrator, the GL4 geodesic integrator, and the perihelion finder. */\nexport {\n  evaluateNumerical,\n  evaluateNumericalRaw,\n  evaluateMetricInverse,\n  getActiveEngine,\n  setActiveEngine,\n  NumericalBackendError,\n  // v0.4.0 additions to the numerical surface\n  DuplicateCoordinateWarning,\n  EngineCapabilityError,\n  hasAutogradSupport,\n  evaluateCovariantEikonalNumerical,\n  // v0.5.0 GL4 symplectic integrator\n  integrateGeodesicGL4,\n  // v0.5.0 perihelion finder (Task 4)\n  findPerihelion,\n} from './numerical/index.js';\n/** Types for numerical evaluation, gradients, the GL4 integrator, the perihelion finder, and the covariant eikonal. */\nexport type {\n  NumericalResult,\n  NumericalRawResult,\n  EvaluateOptions,\n  NumericalInputs,\n  TensorEngine,\n  EngineTensor,\n  EinsumSpec,\n  NestedArray,\n  GridField,\n  // v0.4.0 type additions\n  ForwardGradResult,\n  ReverseGradResult,\n  // v0.5.0 GL4 type additions\n  GL4State,\n  GL4Snapshot,\n  GL4Options,\n  // v0.5.0 perihelion-finder type additions (Task 4)\n  PerihelionResult,\n  FindPerihelionOptions,\n  CovariantEikonalInputs,\n  CovariantEikonalResult,\n} from './numerical/index.js';\n\n// ---------------------------------------------------------------------------\n// v0.8.0 — Composition graph (graph-lite Quantity/BridgeEdge/composeEdges\n// beside the catalog; see docs/planning/v0.8.0-Design.md). The operator is\n// `composeEdges`, NOT `compose` — `compose` is the v0.7 Cell factory above.\n// ---------------------------------------------------------------------------\nexport {\n  composeEdges,\n  consistencyRatio,\n  evaluateEdge,\n  minConfidence,\n  regimesDiffer,\n  QUANTITY_IDENTIFICATIONS,\n  CompositionDimensionError,\n  CompositionJunctionError,\n  DomainViolationError,\n  // Calibration edges (pre-registered CT-1/CT-1b/CT-2/CT-3 targets)\n  M_SUN_KG,\n} from './composition/index.js';\nexport type {\n  BridgeEdge,\n  ComposeOptions,\n  EdgeConfidence,\n  Quantity,\n  QuantityIdentification,\n  RegimeAttributes,\n  ValidityDomain,\n} from './composition/index.js';\n/** A validity domain built from one condition text: the predicate, the description and the refusal all read it. */\nexport { validityDomain } from './composition/index.js';\n/** A failed validity condition and the inputs it read, as `DomainViolationError.violations` lists them. */\nexport type { DomainInput, DomainViolation } from './composition/index.js';\n\n// v0.8.0 — Bridge-membership criterion + negative catalog (G-2 / P-4)\nexport { adjudicateBridgeEntry, adjudicateCatalog } from './bridges/membership.js';\nexport { REJECTED_BRIDGE_ADJUDICATIONS, REJECTED_BRIDGE_IDS } from './bridges/rejected.js';\nexport type { BridgeVerdict, CatalogAdjudicationReport } from './bridges/membership.js';\nexport type { RejectedBridgeAdjudication } from './bridges/rejected.js';\n\n// v0.8.0 — GW170817 → BE-36 real-data confrontation (G-3)\n\n// v0.28+ — Mercury perihelion → BE-52 real-data confrontation (established bridge)\n\n// v0.10.0 — Phase-D enumeration + uncertainty propagation (T3/T4)\nexport {\n  enumerateCompositions,\n  REGISTERED_COMPOSITION_IDS,\n  propagateUncertainty,\n} from './composition/index.js';\nexport type {\n  CompositionCandidate,\n  EnumerationReport,\n  UncertaintyResult,\n} from './composition/index.js';\n\n// Identifiability classifier (structural over/exactly/under-determined\n// over the composition graph — Consequence 1 of the bridge-inference\n// epistemics note)\n/** The forward closure, the per-target classifier, the sweep, and the log-space rank over the monomial edges. */\nexport {\n  classifyIdentifiability,\n  classifyAll,\n  forwardClosure,\n  identifiabilityByRank,\n} from './composition/index.js';\n/** The classifier's verdict, result and option types, and the rank instrument's report. */\nexport type {\n  IdentifiabilityVerdict,\n  IdentifiabilityResult,\n  IdentifiabilityOptions,\n  RankIdentifiability,\n} from './composition/index.js';\n\n// Retrodiction harness (the framework's own falsification benchmark —\n// Consequence 2 of the bridge-inference epistemics note)\nexport { retrodict, retrodictNode } from './composition/index.js';\n/** The retrodiction harness's result, prediction, refusal, report and option types. */\nexport type {\n  RetrodictionOutcome,\n  RetrodictionPrediction,\n  RetrodictionResult,\n  RetrodictionRefusal,\n  RetrodictionReport,\n  RetrodictionOptions,\n} from './composition/index.js';\n\n// Unified \"explain this quantity\" entry point over the three inference\n// primitives (identifiability + retrodiction + Buckingham-π)\nexport { explainQuantity } from './composition/index.js';\nexport type {\n  DerivationExplanation,\n  ExplainOptions,\n  QuantityExplanation,\n} from './composition/index.js';\n\n// v0.12 — symbolic bridge composition (the Observable contract). Composes\n// bridges' symbolic ExprNode forms (not just numeric closures), dimensionally\n// validated and numerically evaluable.\nexport { composeSymbolic, SymbolicCompositionError, SymbolicEvalError } from './composition/index.js';\nexport type { Observable, ComposeSymbolicOptions } from './composition/index.js';\n\n// Physics-map visualization — render the bipartite, clustered hypergraph\n// (quantities = nodes, equations = junctions) as Mermaid / Graphviz-DOT source.\nexport { buildVizModel, edgeToJunction } from './composition/index.js';\nexport type {\n  VizStatus,\n  VizJunction,\n  VizCluster,\n  VizOptions,\n  VizModel,\n  VizFilterStats,\n} from './composition/index.js';\n// SVG rendering via the optional @viz-js/viz peer (separate module so the\n// graph-viz model stays pure/synchronous/dependency-free).\nexport { renderDotToSvg, SvgRendererUnavailableError } from './composition/index.js';\n\n// User-equation injection — parse a free-form \"TARGET = EXPR\" and place it into\n// the map as a connected 'user' junction (with a \"did you mean?\" hint).\nexport {\n  parseUserEquation,\n  suggestQuantities,\n  suggestByDimension,\n  equationLanding,\n  analyzeUserEquation,\n  UserEquationError,\n} from './composition/index.js';\n/** The catalog or parameter name a spelling means. One owner for a target and an input. */\nexport { resolveQuantityName } from './composition/index.js';\nexport type { UserEquation, EquationLanding, EquationAnalysis, EquationHint } from './composition/index.js';\n\n// Phase 1 — string → dimensional ExprNode parser + single-unknown dimensional\n// inference (the front-end to the physics AST).\nexport { parsePhysics } from './numerical/formula-registry.js';\nexport { FormulaDimensionError } from './numerical/formula-dimension.js';\nexport type { ParsedPhysics } from './numerical/formula-dimension.js';\nexport { inferUnknownDimension, substituteSymbolDim } from './dimensional/dimension-inference.js';\n// Dimension-adjacency review surface (name-divergent but same-dimension quantities).\nexport { dimensionAdjacency } from './composition/index.js';\nexport type { DimensionAdjacency } from './composition/index.js';\n\n\n// Buckingham-π enumerator (the principled primitive for the exactly-\n// determined case — build target 1 of the bridge-inference epistemics\n// note; FORM only, never the dimensionless constant)\nexport {\n  buckinghamPi,\n  dimensionallyDetermines,\n  RationalizationError,\n} from './dimensional/buckingham.js';\nexport type {\n  DimensionalVariable,\n  PiGroup,\n  BuckinghamVerdict,\n  BuckinghamResult,\n  DimensionalDeterminationResult,\n} from './dimensional/buckingham.js';\n\n// v0.11 — namespacing gate (Option D: name-collision rule + dispositions)\nexport {\n  CompositionAliasError,\n  SOURCE_ALIAS_DISPOSITIONS,\n} from './composition/compose-surface.js';\nexport type {\n  AliasDisposition,\n  DispositionRequired,\n} from './composition/compose-surface.js';\n\n// v0.11 — Klein-Gordon dispersion evaluator (G-7 closure, plane-wave sector)\nexport {\n  evaluateKGDispersionResidual,\n  verifyKleinGordonPlaneWave,\n} from './numerical/klein-gordon.js';\nexport type {\n  KGDispersionResidualInput,\n  KGPlaneWaveVerifyInput,\n  KGPlaneWaveVerifyResult,\n} from './numerical/klein-gordon.js';\n\n// v0.11 — BE-23 Planckian-dissipation data confrontation (2nd real-data check)\n\n// The composition graph is the relation projection of the catalog.\nexport { CATALOG_GRAPH } from './composition/index.js';\n\n// The standard-physics counterpart: the canonical L-layer projected into the\n// composition-graph edge vocabulary, so the discovery/analysis funnel can run\n// on textbook physics ALONE (bridges excluded). See `composition/canonical-graph`.\nexport {\n  CANONICAL_GRAPH,\n  canonicalToEdges,\n  CANONICAL_CONSTANTS,\n} from './composition/index.js';\n\n// ── Canonical-equation registry (the L-layer ground truth) ──────────────────\n// Textbook physics equations bridges are validated against. Multi-fidelity\n// (L0 dimensional / L1 scalar-AST / L2 field-equation) with epistemic-honesty\n// and provenance fields. See docs/planning/Canonical-Equation-Registry-A-*.\nexport {\n  CANONICAL_EQUATIONS,\n  CANONICAL_BY_ID,\n  canonicalById,\n  canonicalByDomain,\n  partneredBridgeIds,\n  bridgesWithoutCanonicalPartner,\n} from './canonical/registry.js';\nexport {\n  canonicalToLaw,\n  seedCanonicalLaws,\n  CANONICAL_TENSOR_CONFIG,\n} from './canonical/seed-l-layer.js';\nexport type {\n  CanonicalEquation,\n  CanonicalDomain,\n  EpistemicStatus,\n  CanonicalForms,\n  FieldEquationNode,\n} from './canonical/canonical-equation.js';\n// Sub-project B — bridge↔canonical linkage (validate vs standard physics).\n// `normalForm` is the structural hash up to dimensionless factors;\n// `classifyLinkage`/`scanLinkages` recover/contain bridges against canonicals\n// with the F4 circularity guard (`restates-canonical` vs genuine `recovers`).\nexport { normalForm, structurallyEqual } from './canonical/normal-form.js';\nexport { classifyLinkage, scanLinkages } from './canonical/linkage.js';\nexport type { LinkageResult, RecoveryOutcome } from './canonical/linkage.js';\n\n// Adjudication ledger — human verdicts on discovery-funnel identification\n// hypotheses (review memory the funnel must not re-surface as fresh).\n// Precedent: SOURCE_ALIAS_DISPOSITIONS/AliasDisposition above is the repo's\n// other reviewable judgment registry, and is index-exported the same way.\nexport {\n  candidateId,\n  ADJUDICATIONS,\n  adjudicationFor,\n  annotateAdjudications,\n} from './composition/adjudication.js';\nexport type { AnnotatedCandidate } from './composition/adjudication.js';\n/** The adjudication ledger's verdict and record types, exported from their owner, the catalog file's types. */\nexport type { AdjudicationVerdict, CatalogAdjudication } from './bridges/catalog-types.js';\n\n// Consequence propagation — the machine pre-classifier for the human\n// adjudication ledger. Annotates discovery candidates with the\n// entailed/novel-consequence/inconclusive signal; never mutates the\n// catalog/graph, never re-orders or re-scores.\nexport { annotateConsequences, classifyProposal } from './composition/consequence.js';\nexport type {\n  ConsequenceAnnotatedCandidate,\n  ConsequenceSignal,\n  ConsequenceEvidence,\n} from './composition/consequence.js';\n\n// Epistemic-grounding ledger (PI-instrument Phase 1). A pure, derived view over\n// a candidate's falsifier results: which gates passed vs abstained, plus the\n// honest no-mechanism/no-data ceiling. Annotation-only; changes no verdict.\nexport { describeGrounding } from './composition/grounding.js';\nexport type { CandidateGrounding } from './composition/grounding.js';\n\n// Discovery funnel — vet link-candidate identifications against the inference\n// suite (Direction 2). rankDiscoveries is the entry point; VettedCandidate is\n// the output type. Required to feed annotateAdjudications from the public API.\nexport { rankDiscoveries } from './composition/discovery.js';\nexport type { VettedCandidate } from './composition/discovery.js';\n\n// v0.33.0 — `upt confront` real-data confrontation subsystem: typed\n// observations + a normalized ConfrontationOutcome (discriminated on `kind`)\n// wrap the per-bridge confrontation modules (be-23/36/37/48/52) behind one\n// registry, plus deciding-measurement elasticity for value-kind entries.\nexport {\n  residualInSigma,\n  combineInQuadrature,\n  consistencyComparison,\n} from './bridges/observations/types.js';\nexport type {\n  ConsistencyComparison,\n  ObservationProvenance,\n  SigmaComponent,\n  ObservationKind,\n  ConfrontationOutcome,\n  ConfrontationDataHandling,\n  ConfrontationPreprocessing,\n  ConfrontationIndependence,\n  SourceRef,\n  SourceRefs,\n} from './bridges/observations/types.js';\n\n// BE-53 — one-loop coefficient, and a confrontation only when the caller supplies both inputs.\nexport { oneLoopCoefficientStatement } from './bridges/coefficient-statement.js';\nexport type { OneLoopCoefficientStatement, OneLoopCoefficientSign } from './bridges/coefficient-statement.js';\n\n// The confrontation registry: every committed confrontation of\n// `data/bridge-catalog.json`, the single lookup surface for `upt confront`.\nexport {\n  CONFRONTATIONS,\n  listConfrontations,\n  runConfrontation,\n  // Rigor hierarchy of the evidence spine (2026-07-05) — stringent/moderate/loose.\n  CONFRONTATION_RIGOR,\n  confrontationRigor,\n  rigorDistribution,\n} from './bridges/confrontations.js';\nexport type { ConfrontationEntry, RigorTier } from './bridges/confrontations.js';\n\n// Deciding-measurement elasticity — which input a value-kind confrontation's\n// prediction depends on most strongly (central-difference log-sensitivity).\nexport { decidingMeasurement } from './bridges/sensitivity.js';\nexport type { Elasticity } from './bridges/sensitivity.js';\n\n// The PUBLIC atlas surface as a namespace (Atlas API review, Tier 1). The full\n// @internal surface stays on the universal-physics-tensor/atlas subpath.\nexport * as atlas from './atlas/public.js';\n\n// ---------------------------------------------------------------------------\n// Closure under type references (tests/api/root-public-closure.test.ts).\n// Every type a root export names is itself importable from the root or from\n// a package.json subpath; the names below were reachable only through the\n// public declarations that mention them.\n// ---------------------------------------------------------------------------\n/** The base class of every error this package throws. */\nexport type { UPTError } from './dimensional/errors.js';\n/** Which constants a natural-unit evaluation sets to one. */\nexport type { UnitMode } from './dimensional/natural-units.js';\n/** The tensor and curvature node family of the dimensional AST. */\nexport type {\n  Variance,\n  Role,\n  TensorIndex,\n  UpperIndex,\n  CovariantIndex,\n  TensorSymbolNode,\n  TensorProductNode,\n  MetricTensorNode,\n  KroneckerDeltaNode,\n  TensorPartialDerivativeNode,\n  RiemannTensorNode,\n  WeylTensorNode,\n  KillingVectorNode,\n  ConservedChargeNode,\n  StressEnergyTensorNode,\n  CosmologicalConstantNode,\n} from './dimensional/ast-types.js';\n/** The generic shape the curvature node types instantiate, and its kind union (referenced by the exported node types). */\nexport type { CurvatureCompositeNode, CurvatureKind } from './dimensional/curvature-composite.js';\n/** The kind of a flux rule. */\nexport type { FluxRuleKind } from './core/flux-rules.js';\n/** The per-axis value tables of the core axis registry. */\nexport type { ScaleAxes, ForceAxes, SymmetryAxes, InformationAxes } from './core/axes-registry.js';\n/** The convenience form a regime registration accepts for an axis. */\nexport type { AxisConvenience } from './core/regime-registry.js';\n/** The named inputs of the four bridge differentiation specs. */\nexport type { ShapiroInput, PerihelionInput, HawkingInput, DecoherenceInput } from './diff/bridge-specs.js';\n/** The contraction and free-axis records an einsum plan is made of. */\nexport type { EinsumContraction, EinsumFreeAxis } from './numerical/tensor-engine.js';\n/** The callbacks a Killing-equation check takes: the vector field, the metric and the connection. */\nexport type { KillingFn, KillingMetricFn, ChristoffelAtFn } from './numerical/killing.js';\n/** A relation's input contract and the sign and unit conventions it states. */\nexport type { RelationContract, Conventions } from './relations/types.js';\n/** The classification axes of the composition registry. */\nexport type {\n  ScaleAxis,\n  ForceAxis,\n  InformationAxis,\n  SymmetryAxis,\n  TopologyAxis,\n  StatisticsAxis,\n} from './composition/axes.js';\n/** Options of the chain enumerator. */\nexport type { EnumerationOptions } from './composition/enumerate.js';\n/** Options of the uncertainty propagation. */\nexport type { UncertaintyOptions } from './composition/uncertainty.js';\n/** Options of a user-equation analysis and the short form of a binding. */\nexport type { AnalyzeUserEquationOptions, ShortBinding } from './composition/user-equation.js';\n/** A constant as the canonical graph declares it. */\nexport type { ConstantDef } from './composition/canonical-graph.js';\n/** An identity consequence the surfacer proposes; never written to the catalog. */\nexport type { ProposedBridge } from './composition/proposed-bridges.js';\n/** Options of the discovery funnel. */\nexport type { DiscoveryOptions } from './composition/discovery.js';\n/** A representative value of a quantity with its source. */\nexport type { RepresentativeValue } from './composition/representative-values.js';\n/** A canonical prefactor, scalar or per dimensionless group, with its source. */\nexport type { SourcedPrefactor, SourcedGroupPrefactor } from './canonical/canonical-equation.js';\n"]}

package/dist/numerical/christoffel-flat.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"christoffel-flat.d.ts","sourceRoot":"","sources":["../../src/numerical/christoffel-flat.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAKH;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CAErF;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,iBAAiB,CAC/B,CAAC,EAAE,MAAM,GACR,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,YAAY,KAAK,YAAY,CAoC3E"}
+{"version":3,"file":"christoffel-flat.d.ts","sourceRoot":"","sources":["../../src/numerical/christoffel-flat.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAMH;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CAErF;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,iBAAiB,CAC/B,CAAC,EAAE,MAAM,GACR,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,YAAY,KAAK,YAAY,CAoC3E"}

package/dist/numerical/christoffel-flat.js

@@ -28,7 +28,8 @@
  * @public
  */
 // Use canonical SI constants per v0.5.1 PC-1 (do NOT inline truncated literals):
-import { C_SI, G_SI } from '../core/constants.js';
+import { C_SI } from '../core/constants.js';
+import { schwarzschildRadius } from './schwarzschild.js';
 /**
  * Encodes a Christoffel index triple (λ, μ, ν) into a flat array offset.
  *
@@ -61,7 +62,7 @@ export function encodeChristoffelIndex(lambda, mu, nu) {
 export function christoffelFnFlat(M) {
     return (x, out) => {
         const [_t, r, theta, _phi] = x;
-        const r_s = (2 * G_SI * M) / (C_SI * C_SI);
+        const r_s = schwarzschildRadius(M);
         const arr = out ?? new Float64Array(64); // 64 zeros by default when fresh
         const dr_factor = r - r_s;
         const sinTheta = Math.sin(theta);

package/dist/numerical/christoffel-flat.js.map

@@ -1 +1 @@
-{"version":3,"file":"christoffel-flat.js","sourceRoot":"","sources":["../../src/numerical/christoffel-flat.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,iFAAiF;AACjF,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAElD;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAAc,EAAE,EAAU,EAAE,EAAU;IAC3E,OAAO,EAAE,GAAG,MAAM,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;AACnC,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,iBAAiB,CAC/B,CAAS;IAET,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;QAChB,MAAM,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,iCAAiC;QAC1E,MAAM,SAAS,GAAG,CAAC,GAAG,GAAG,CAAC;QAC1B,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAEjC,MAAM,KAAK,GAAS,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAS,CAAC,IAAI,GAAG,IAAI,GAAG,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACtE,MAAM,KAAK,GAAS,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC;QAC/C,MAAM,OAAO,GAAO,CAAC,SAAS,CAAC;QAC/B,MAAM,SAAS,GAAK,CAAC,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAC;QACrD,MAAM,OAAO,GAAO,CAAC,GAAG,CAAC,CAAC;QAC1B,MAAM,UAAU,GAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzC,MAAM,SAAS,GAAK,CAAC,GAAG,CAAC,CAAC;QAC1B,MAAM,UAAU,GAAI,QAAQ,GAAG,QAAQ,CAAC;QAExC,kDAAkD;QAClD,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAO,WAAW;QAC9C,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAO,uBAAuB;QAC1D,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAO,WAAW;QAC9C,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAO,WAAW;QAC9C,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,CAAK,WAAW;QAC9C,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,CAAG,WAAW;QAC9C,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,CAAK,WAAW;QAC9C,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,CAAK,WAAW;QAC9C,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,CAAE,WAAW;QAC9C,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,CAAG,WAAW;QAC9C,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,CAAG,WAAW;QAC9C,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,CAAE,WAAW;QAC9C,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,CAAE,WAAW;QAE9C,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Flat-array Christoffel evaluator (v0.6.0 Phase 2, Task 2.8 — BR-2 BREAKING).\n *\n * Returns Float64Array(64) instead of nested number[4][4][4]. Layout\n * locked from Task 2.0 profiling: λ-major encoding (16λ + 4μ + ν).\n *\n * Formulas verified against the authoritative fixture at\n * tests/fixtures/schwarzschild.ts:10-18 (Carroll Ch. 5 / Hartle Ch. 9;\n * −,+,+,+ signature). Schwarzschild has 9 non-zero independent Christoffel\n * components, related by symmetry Γ^λ_{μν} = Γ^λ_{νμ} for 13 non-zero\n * array entries out of 64.\n *\n * Nonzero independent components:\n *   Γ^t_{tr} = Γ^t_{rt} = r_s / (2·r·(r − r_s))\n *   Γ^r_{tt} = c² · r_s · (r − r_s) / (2·r³)\n *   Γ^r_{rr} = -r_s / (2·r·(r − r_s))\n *   Γ^r_{θθ} = -(r − r_s)\n *   Γ^r_{φφ} = -(r − r_s) · sin²θ\n *   Γ^θ_{rθ} = Γ^θ_{θr} = 1/r\n *   Γ^θ_{φφ} = -sinθ · cosθ\n *   Γ^φ_{rφ} = Γ^φ_{φr} = 1/r\n *   Γ^φ_{θφ} = Γ^φ_{φθ} = cosθ / sinθ\n *\n * where r_s = 2GM/c². All other entries are zero. Float64Array zero-initialises\n * by default, so we write only the 13 non-zero slots.\n *\n * @module numerical/christoffel-flat\n * @public\n */\n\n// Use canonical SI constants per v0.5.1 PC-1 (do NOT inline truncated literals):\nimport { C_SI, G_SI } from '../core/constants.js';\n\n/**\n * Encodes a Christoffel index triple (λ, μ, ν) into a flat array offset.\n *\n * Layout: λ-major — `16·λ + 4·μ + ν`.\n * Locked from Task 2.0 profiling (dual-condition gate; λ-major is default).\n */\nexport function encodeChristoffelIndex(lambda: number, mu: number, nu: number): number {\n  return 16 * lambda + 4 * mu + nu;\n}\n\n/**\n * Returns a Christoffel-symbol closure for the Schwarzschild metric at a\n * given gravitational mass M (SI, kg).\n *\n * The returned closure maps a coordinate 4-vector x = [t, r, θ, φ] to a\n * Float64Array of length 64 containing Γ^λ_{μν} values in λ-major order.\n * Access element (λ, μ, ν) via `encodeChristoffelIndex(λ, μ, ν)`.\n *\n * This is the BR-2 breaking-change replacement for the nested `number[][][]`\n * returned by `schwarzschildChristoffelFn`. Consumer migration lands in Task 2.9.\n *\n * Scratch-buffer reuse (perf): the returned closure accepts an OPTIONAL\n * `out` Float64Array(64). When provided it is filled and returned (no\n * allocation) — the hot geodesic loop passes a single reused buffer to avoid\n * ~160k Float64Array(64) allocations per integration. Only the 13 nonzero\n * Schwarzschild slots are written; the other 51 are always zero, so a buffer\n * reused ONLY by this closure (or a fresh zero buffer) stays correct without\n * re-zeroing. When `out` is omitted a fresh array is allocated — the original\n * (and default) behavior, unchanged for external callers that retain results.\n */\nexport function christoffelFnFlat(\n  M: number,\n): (x: [number, number, number, number], out?: Float64Array) => Float64Array {\n  return (x, out) => {\n    const [_t, r, theta, _phi] = x;\n    const r_s = (2 * G_SI * M) / (C_SI * C_SI);\n    const arr = out ?? new Float64Array(64); // 64 zeros by default when fresh\n    const dr_factor = r - r_s;\n    const sinTheta = Math.sin(theta);\n    const cosTheta = Math.cos(theta);\n\n    const Gt_tr       = r_s / (2 * r * dr_factor);\n    const Gr_tt       = (C_SI * C_SI * r_s * dr_factor) / (2 * r * r * r);\n    const Gr_rr       = -r_s / (2 * r * dr_factor);\n    const Gr_thth     = -dr_factor;\n    const Gr_phiphi   = -dr_factor * sinTheta * sinTheta;\n    const Gth_rth     = 1 / r;\n    const Gth_phiphi  = -sinTheta * cosTheta;\n    const Gphi_rphi   = 1 / r;\n    const Gphi_thphi  = cosTheta / sinTheta;\n\n    // Index encoding: 16*lambda + 4*mu + nu (λ-major)\n    arr[16*0 + 4*0 + 1] = Gt_tr;       // Γ^t_{tr}\n    arr[16*0 + 4*1 + 0] = Gt_tr;       // Γ^t_{rt} (symmetric)\n    arr[16*1 + 4*0 + 0] = Gr_tt;       // Γ^r_{tt}\n    arr[16*1 + 4*1 + 1] = Gr_rr;       // Γ^r_{rr}\n    arr[16*1 + 4*2 + 2] = Gr_thth;     // Γ^r_{θθ}\n    arr[16*1 + 4*3 + 3] = Gr_phiphi;   // Γ^r_{φφ}\n    arr[16*2 + 4*1 + 2] = Gth_rth;     // Γ^θ_{rθ}\n    arr[16*2 + 4*2 + 1] = Gth_rth;     // Γ^θ_{θr}\n    arr[16*2 + 4*3 + 3] = Gth_phiphi;  // Γ^θ_{φφ}\n    arr[16*3 + 4*1 + 3] = Gphi_rphi;   // Γ^φ_{rφ}\n    arr[16*3 + 4*3 + 1] = Gphi_rphi;   // Γ^φ_{φr}\n    arr[16*3 + 4*2 + 3] = Gphi_thphi;  // Γ^φ_{θφ}\n    arr[16*3 + 4*3 + 2] = Gphi_thphi;  // Γ^φ_{φθ}\n\n    return arr;\n  };\n}\n"]}
+{"version":3,"file":"christoffel-flat.js","sourceRoot":"","sources":["../../src/numerical/christoffel-flat.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,iFAAiF;AACjF,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAEzD;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAAc,EAAE,EAAU,EAAE,EAAU;IAC3E,OAAO,EAAE,GAAG,MAAM,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;AACnC,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,iBAAiB,CAC/B,CAAS;IAET,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;QAChB,MAAM,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,iCAAiC;QAC1E,MAAM,SAAS,GAAG,CAAC,GAAG,GAAG,CAAC;QAC1B,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAEjC,MAAM,KAAK,GAAS,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAS,CAAC,IAAI,GAAG,IAAI,GAAG,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACtE,MAAM,KAAK,GAAS,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC;QAC/C,MAAM,OAAO,GAAO,CAAC,SAAS,CAAC;QAC/B,MAAM,SAAS,GAAK,CAAC,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAC;QACrD,MAAM,OAAO,GAAO,CAAC,GAAG,CAAC,CAAC;QAC1B,MAAM,UAAU,GAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzC,MAAM,SAAS,GAAK,CAAC,GAAG,CAAC,CAAC;QAC1B,MAAM,UAAU,GAAI,QAAQ,GAAG,QAAQ,CAAC;QAExC,kDAAkD;QAClD,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAO,WAAW;QAC9C,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAO,uBAAuB;QAC1D,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAO,WAAW;QAC9C,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAO,WAAW;QAC9C,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,CAAK,WAAW;QAC9C,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,CAAG,WAAW;QAC9C,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,CAAK,WAAW;QAC9C,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,CAAK,WAAW;QAC9C,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,CAAE,WAAW;QAC9C,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,CAAG,WAAW;QAC9C,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,CAAG,WAAW;QAC9C,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,CAAE,WAAW;QAC9C,GAAG,CAAC,EAAE,GAAC,CAAC,GAAG,CAAC,GAAC,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,CAAE,WAAW;QAE9C,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Flat-array Christoffel evaluator (v0.6.0 Phase 2, Task 2.8 — BR-2 BREAKING).\n *\n * Returns Float64Array(64) instead of nested number[4][4][4]. Layout\n * locked from Task 2.0 profiling: λ-major encoding (16λ + 4μ + ν).\n *\n * Formulas verified against the authoritative fixture at\n * tests/fixtures/schwarzschild.ts:10-18 (Carroll Ch. 5 / Hartle Ch. 9;\n * −,+,+,+ signature). Schwarzschild has 9 non-zero independent Christoffel\n * components, related by symmetry Γ^λ_{μν} = Γ^λ_{νμ} for 13 non-zero\n * array entries out of 64.\n *\n * Nonzero independent components:\n *   Γ^t_{tr} = Γ^t_{rt} = r_s / (2·r·(r − r_s))\n *   Γ^r_{tt} = c² · r_s · (r − r_s) / (2·r³)\n *   Γ^r_{rr} = -r_s / (2·r·(r − r_s))\n *   Γ^r_{θθ} = -(r − r_s)\n *   Γ^r_{φφ} = -(r − r_s) · sin²θ\n *   Γ^θ_{rθ} = Γ^θ_{θr} = 1/r\n *   Γ^θ_{φφ} = -sinθ · cosθ\n *   Γ^φ_{rφ} = Γ^φ_{φr} = 1/r\n *   Γ^φ_{θφ} = Γ^φ_{φθ} = cosθ / sinθ\n *\n * where r_s = 2GM/c². All other entries are zero. Float64Array zero-initialises\n * by default, so we write only the 13 non-zero slots.\n *\n * @module numerical/christoffel-flat\n * @public\n */\n\n// Use canonical SI constants per v0.5.1 PC-1 (do NOT inline truncated literals):\nimport { C_SI } from '../core/constants.js';\nimport { schwarzschildRadius } from './schwarzschild.js';\n\n/**\n * Encodes a Christoffel index triple (λ, μ, ν) into a flat array offset.\n *\n * Layout: λ-major — `16·λ + 4·μ + ν`.\n * Locked from Task 2.0 profiling (dual-condition gate; λ-major is default).\n */\nexport function encodeChristoffelIndex(lambda: number, mu: number, nu: number): number {\n  return 16 * lambda + 4 * mu + nu;\n}\n\n/**\n * Returns a Christoffel-symbol closure for the Schwarzschild metric at a\n * given gravitational mass M (SI, kg).\n *\n * The returned closure maps a coordinate 4-vector x = [t, r, θ, φ] to a\n * Float64Array of length 64 containing Γ^λ_{μν} values in λ-major order.\n * Access element (λ, μ, ν) via `encodeChristoffelIndex(λ, μ, ν)`.\n *\n * This is the BR-2 breaking-change replacement for the nested `number[][][]`\n * returned by `schwarzschildChristoffelFn`. Consumer migration lands in Task 2.9.\n *\n * Scratch-buffer reuse (perf): the returned closure accepts an OPTIONAL\n * `out` Float64Array(64). When provided it is filled and returned (no\n * allocation) — the hot geodesic loop passes a single reused buffer to avoid\n * ~160k Float64Array(64) allocations per integration. Only the 13 nonzero\n * Schwarzschild slots are written; the other 51 are always zero, so a buffer\n * reused ONLY by this closure (or a fresh zero buffer) stays correct without\n * re-zeroing. When `out` is omitted a fresh array is allocated — the original\n * (and default) behavior, unchanged for external callers that retain results.\n */\nexport function christoffelFnFlat(\n  M: number,\n): (x: [number, number, number, number], out?: Float64Array) => Float64Array {\n  return (x, out) => {\n    const [_t, r, theta, _phi] = x;\n    const r_s = schwarzschildRadius(M);\n    const arr = out ?? new Float64Array(64); // 64 zeros by default when fresh\n    const dr_factor = r - r_s;\n    const sinTheta = Math.sin(theta);\n    const cosTheta = Math.cos(theta);\n\n    const Gt_tr       = r_s / (2 * r * dr_factor);\n    const Gr_tt       = (C_SI * C_SI * r_s * dr_factor) / (2 * r * r * r);\n    const Gr_rr       = -r_s / (2 * r * dr_factor);\n    const Gr_thth     = -dr_factor;\n    const Gr_phiphi   = -dr_factor * sinTheta * sinTheta;\n    const Gth_rth     = 1 / r;\n    const Gth_phiphi  = -sinTheta * cosTheta;\n    const Gphi_rphi   = 1 / r;\n    const Gphi_thphi  = cosTheta / sinTheta;\n\n    // Index encoding: 16*lambda + 4*mu + nu (λ-major)\n    arr[16*0 + 4*0 + 1] = Gt_tr;       // Γ^t_{tr}\n    arr[16*0 + 4*1 + 0] = Gt_tr;       // Γ^t_{rt} (symmetric)\n    arr[16*1 + 4*0 + 0] = Gr_tt;       // Γ^r_{tt}\n    arr[16*1 + 4*1 + 1] = Gr_rr;       // Γ^r_{rr}\n    arr[16*1 + 4*2 + 2] = Gr_thth;     // Γ^r_{θθ}\n    arr[16*1 + 4*3 + 3] = Gr_phiphi;   // Γ^r_{φφ}\n    arr[16*2 + 4*1 + 2] = Gth_rth;     // Γ^θ_{rθ}\n    arr[16*2 + 4*2 + 1] = Gth_rth;     // Γ^θ_{θr}\n    arr[16*2 + 4*3 + 3] = Gth_phiphi;  // Γ^θ_{φφ}\n    arr[16*3 + 4*1 + 3] = Gphi_rphi;   // Γ^φ_{rφ}\n    arr[16*3 + 4*3 + 1] = Gphi_rphi;   // Γ^φ_{φr}\n    arr[16*3 + 4*2 + 3] = Gphi_thphi;  // Γ^φ_{θφ}\n    arr[16*3 + 4*3 + 2] = Gphi_thphi;  // Γ^φ_{φθ}\n\n    return arr;\n  };\n}\n"]}

package/dist/numerical/covariant-eikonal.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"covariant-eikonal.d.ts","sourceRoot":"","sources":["../../src/numerical/covariant-eikonal.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAWH;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC,4DAA4D;IAC5D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,wEAAwE;IACxE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB;2EACuE;IACvE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B;;;;;;;;;;;;;;OAcG;IACH,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC;;;;;;;;;OASG;IACH,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IAEjC;;;;;;;;OAQG;IACH,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IAEjC;;;;OAIG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC;CACtC;AA2ED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiFG;AACH,wBAAsB,iCAAiC,CACrD,MAAM,EAAE,sBAAsB,GAC7B,OAAO,CAAC,sBAAsB,CAAC,CAmIjC"}
+{"version":3,"file":"covariant-eikonal.d.ts","sourceRoot":"","sources":["../../src/numerical/covariant-eikonal.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAaH;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC,4DAA4D;IAC5D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,wEAAwE;IACxE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB;2EACuE;IACvE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B;;;;;;;;;;;;;;OAcG;IACH,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC;;;;;;;;;OASG;IACH,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IAEjC;;;;;;;;OAQG;IACH,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IAEjC;;;;OAIG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC;CACtC;AA2ED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiFG;AACH,wBAAsB,iCAAiC,CACrD,MAAM,EAAE,sBAAsB,GAC7B,OAAO,CAAC,sBAAsB,CAAC,CAwJjC"}

package/dist/numerical/covariant-eikonal.js

@@ -30,10 +30,12 @@
  * @module numerical/covariant-eikonal
  * @public
  */
+import { findRoot, hermiteInterp } from '@danielsimonjr/mathts-functions';
 import { integrateGeodesicGL4 } from './gl4-integrator.js';
-import { C_SI, G_SI } from '../core/constants.js';
+import { C_SI } from '../core/constants.js';
+import { schwarzschildRadius } from './schwarzschild.js';
 import { reconstructNullPr } from './null-ic.js';
-// ─── Physical constants (canonical CODATA 2018 + exact-SI definitions) ────
+// ─── Physical constants (canonical CODATA 2022 + exact-SI definitions) ────
 // Imported from src/core/constants.ts (v0.5.1 PC-1 canonicalization).
 const c_SI = C_SI;
 const c2_SI = c_SI * c_SI;
@@ -46,7 +48,7 @@ const c2_SI = c_SI * c_SI;
  * @internal
  */
 function schwarzschildRs(M_kg) {
-    return (2 * G_SI * M_kg) / c2_SI;
+    return schwarzschildRadius(M_kg);
 }
 /**
  * Returns the contravariant Schwarzschild metric closure g^{μν}(x).
@@ -267,17 +269,38 @@ export async function evaluateCovariantEikonalNumerical(inputs) {
         dgInverseFn,
         domainMinRadius: r_s * 1.01,
     });
-    // Find the first snapshot with r ≤ R_near_m and linearly interpolate t.
+    // Find the first snapshot with r ≤ R_near_m and locate the crossing INSIDE
+    // that step with the cubic Hermite interpolant of r(τ) and t(τ), whose
+    // derivatives are the 4-velocity v^μ = g^{μν} p_ν the snapshot already
+    // carries, by MathTS `findRoot` (Brent, residual stop only). A straight line
+    // between the two snapshots is O(h²) in the crossing, and with an impact
+    // parameter r(τ) curves by c² b²/r³: at Earth–Mars with b = 5e10 m that line
+    // put the crossing about 300 m off, a 1e-6 s excess on a 4e-6 s delay (25 %),
+    // independent of the mass. The Hermite crossing is O(h⁴).
+    const velocity = (snap) => {
+        const gInv = gInverseFn(snap.x);
+        const v = [0, 0, 0, 0];
+        for (let mu = 0; mu < 4; mu++) {
+            for (let nu = 0; nu < 4; nu++)
+                v[mu] += gInv[mu * 4 + nu] * snap.p[nu];
+        }
+        return v;
+    };
     let t_geodesic;
     for (let i = 1; i < snapshots.length; i++) {
-        const rPrev = snapshots[i - 1].x[1];
-        const rCurr = snapshots[i].x[1];
+        const prev = snapshots[i - 1];
+        const curr = snapshots[i];
+        const rPrev = prev.x[1];
+        const rCurr = curr.x[1];
         if (rPrev > R_near_m && rCurr <= R_near_m) {
-            const tPrev = snapshots[i - 1].x[0];
-            const tCurr = snapshots[i].x[0];
-            // Linear interpolation: alpha = (R_near - rPrev) / (rCurr - rPrev), in [0, 1].
-            const alpha = (R_near_m - rPrev) / (rCurr - rPrev);
-            t_geodesic = tPrev + alpha * (tCurr - tPrev);
+            const dtau = curr.tau - prev.tau;
+            const vPrev = velocity(prev);
+            const vCurr = velocity(curr);
+            const rAt = (s) => hermiteInterp([0, 1], [rPrev, rCurr], [dtau * vPrev[1], dtau * vCurr[1]], s);
+            const sCross = rCurr === R_near_m
+                ? 1
+                : findRoot((s) => rAt(s) - R_near_m, 0, 1, { tol: 1e-15 * R_near_m, xtol: 0, maxIter: 100 });
+            t_geodesic = hermiteInterp([0, 1], [prev.x[0], curr.x[0]], [dtau * vPrev[0], dtau * vCurr[0]], sCross);
             break;
         }
     }