universal-physics-tensor 9.0.0 → 10.0.0

package/dist/composition/canonical-json.js.map

@@ -1 +1 @@
-{"version":3,"file":"canonical-json.js","sourceRoot":"","sources":["../../src/composition/canonical-json.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AA4BzC,SAAS,mBAAmB,CAAC,CAAU;IACrC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACzE,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QACxC,MAAM,CAAC,GAAG,CAA4B,CAAC;QACvC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;aACtB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC;aACjC,IAAI,EAAE;aACN,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;aAC/D,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAClB,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAW,CAAC;AACrC,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc;IACvC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,IAAI,KAAK,YAAY,IAAI;QAAE,OAAO,KAAK,CAAC,WAAW,EAAE,CAAC;IACtD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpF,CAAC;IACD,MAAM,GAAG,GAAG,KAAgC,CAAC;IAC7C,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;QACtB,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,MAAM,CAAC,GAAG,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc;IACxC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC;IACtD,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,KAAc,EAAE,OAAO,GAAgB,OAAO;IAC1E,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;AACvF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACjE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,OAAO,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,OAAiC;IAChE,OAAO;QACL,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,aAAa,EAAE,MAAM,OAAO,CAAC,aAAa,EAAE;QAC5C,UAAU,EAAE,MAAM,OAAO,CAAC,UAAU,EAAE;QACtC,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE;QACtB,cAAc,EAAE,MAAM,OAAO,CAAC,cAAc,EAAE;KAC/C,CAAC;AACJ,CAAC;AAaD,MAAM,UAAU,kBAAkB,CAChC,OAAkB,EAClB,OAAkC;IAElC,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACzB,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,SAAS,CAAC,oDAAoD,CAAC,CAAC;QAC5E,CAAC;QACD,OAAO,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC;IACD,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI;QAC3B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,IAAI,EAAE,OAAO,CAAC,IAAI;KACnB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"canonical-json.js","sourceRoot":"","sources":["../../src/composition/canonical-json.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AA4BzC,SAAS,mBAAmB,CAAC,CAAU;IACrC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACzE,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QACxC,MAAM,CAAC,GAAG,CAA4B,CAAC;QACvC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;aACtB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC;aACjC,IAAI,EAAE;aACN,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;aAC/D,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAClB,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAW,CAAC;AACrC,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc;IACvC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,IAAI,KAAK,YAAY,IAAI;QAAE,OAAO,KAAK,CAAC,WAAW,EAAE,CAAC;IACtD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpF,CAAC;IACD,MAAM,GAAG,GAAG,KAAgC,CAAC;IAC7C,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;QACtB,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,MAAM,CAAC,GAAG,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc;IACxC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC;IACtD,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,KAAc,EAAE,OAAO,GAAgB,OAAO;IAC1E,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;AACvF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACjE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,OAAO,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,OAAiC;IAChE,OAAO;QACL,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,aAAa,EAAE,MAAM,OAAO,CAAC,aAAa,EAAE;QAC5C,UAAU,EAAE,MAAM,OAAO,CAAC,UAAU,EAAE;QACtC,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE;QACtB,cAAc,EAAE,MAAM,OAAO,CAAC,cAAc,EAAE;KAC/C,CAAC;AACJ,CAAC;AAaD,MAAM,UAAU,kBAAkB,CAChC,OAAkB,EAClB,OAAkC;IAElC,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACzB,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,SAAS,CAAC,oDAAoD,CAAC,CAAC;QAC5E,CAAC;QACD,OAAO,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC;IACD,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI;QAC3B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,IAAI,EAAE,OAAO,CAAC,IAAI;KACnB,CAAC;AACJ,CAAC","sourcesContent":["/**\n * One canonical-JSON serializer with two named profiles.\n *\n * `probe` keeps the Date-to-ISO rule and the undefined-hole-to-null rule.\n * `record` keeps the bytes the CLI experiment record hashed before this module\n * existed: a `Date` becomes `{}`, and an array hole stays a hole.\n *\n * `captureEnvironment` is the same split. The probe profile stores the Node\n * version, the platform, and the architecture. The record profile stores the\n * UPT version, the parser, the peers, and the constant-table hashes. The\n * record sources are arguments because this module does not import `cli`.\n *\n * @module composition/canonical-json\n */\n\nimport { createHash } from 'node:crypto';\nimport type { EnvironmentFingerprint } from './probe/types.js';\n\n/** Which caller’s bytes `canonicalJson` writes. */\nexport type JsonProfile = 'record' | 'probe';\n\n/** Values the record profile reads. The caller supplies them. */\nexport interface RecordEnvironmentSources {\n  readonly uptVersion: string;\n  readonly node: string;\n  readonly formulaParser: () => Promise<string>;\n  readonly simplifier: () => Promise<boolean>;\n  readonly peers: () => Record<string, string | null>;\n  readonly constantTables: () => Promise<\n    Record<string, { values: Record<string, number | string | boolean>; sha256: string }>\n  >;\n}\n\n/** The record profile’s environment object. */\nexport interface RecordEnvironmentSnapshot {\n  uptVersion: string;\n  node: string;\n  formulaParser: string;\n  simplifier: boolean;\n  peers: Record<string, string | null>;\n  constantTables: Record<string, { values: Record<string, number | string | boolean>; sha256: string }>;\n}\n\nfunction canonicalJsonRecord(v: unknown): string {\n  if (Array.isArray(v)) return `[${v.map(canonicalJsonRecord).join(',')}]`;\n  if (typeof v === 'object' && v !== null) {\n    const o = v as Record<string, unknown>;\n    return `{${Object.keys(o)\n      .filter((k) => o[k] !== undefined)\n      .sort()\n      .map((k) => `${JSON.stringify(k)}:${canonicalJsonRecord(o[k])}`)\n      .join(',')}}`;\n  }\n  return JSON.stringify(v) as string;\n}\n\nfunction probeCanonicalize(value: unknown): unknown {\n  if (value === null || typeof value !== 'object') return value;\n  if (value instanceof Date) return value.toISOString();\n  if (Array.isArray(value)) {\n    return value.map((item) => (item === undefined ? null : probeCanonicalize(item)));\n  }\n  const obj = value as Record<string, unknown>;\n  const sorted: Record<string, unknown> = {};\n  for (const key of Object.keys(obj).sort()) {\n    const item = obj[key];\n    if (item === undefined) continue;\n    sorted[key] = probeCanonicalize(item);\n  }\n  return sorted;\n}\n\nfunction canonicalJsonProbe(value: unknown): string {\n  const json = JSON.stringify(probeCanonicalize(value));\n  return json === undefined ? 'null' : json;\n}\n\n/**\n * Deterministic JSON for one profile. The default profile is `probe`.\n *\n * @internal\n */\nexport function canonicalJson(value: unknown, profile: JsonProfile = 'probe'): string {\n  return profile === 'record' ? canonicalJsonRecord(value) : canonicalJsonProbe(value);\n}\n\n/**\n * SHA-256 digest of `text` as lowercase hex.\n *\n * @internal\n */\nexport function sha256Hex(text: string): string {\n  return createHash('sha256').update(text, 'utf8').digest('hex');\n}\n\n/**\n * SHA-256 of the probe profile of `value`.\n *\n * @internal\n */\nexport function hashCanonical(value: unknown): string {\n  return sha256Hex(canonicalJson(value, 'probe'));\n}\n\nasync function recordEnvironment(sources: RecordEnvironmentSources): Promise<RecordEnvironmentSnapshot> {\n  return {\n    uptVersion: sources.uptVersion,\n    node: sources.node,\n    formulaParser: await sources.formulaParser(),\n    simplifier: await sources.simplifier(),\n    peers: sources.peers(),\n    constantTables: await sources.constantTables(),\n  };\n}\n\n/**\n * Host fingerprint for a probe run, or the toolchain fingerprint for a record.\n * The zero-argument call is the probe profile.\n *\n * @internal\n */\nexport function captureEnvironment(): EnvironmentFingerprint;\nexport function captureEnvironment(\n  profile: 'record',\n  sources: RecordEnvironmentSources,\n): Promise<RecordEnvironmentSnapshot>;\nexport function captureEnvironment(\n  profile?: 'record',\n  sources?: RecordEnvironmentSources,\n): EnvironmentFingerprint | Promise<RecordEnvironmentSnapshot> {\n  if (profile === 'record') {\n    if (sources === undefined) {\n      throw new TypeError('captureEnvironment record profile requires sources');\n    }\n    return recordEnvironment(sources);\n  }\n  return {\n    node: process.versions.node,\n    platform: process.platform,\n    arch: process.arch,\n  };\n}\n"]}

package/dist/composition/canonical-prefactors.js.map

@@ -1 +1 @@
-{"version":3,"file":"canonical-prefactors.js","sourceRoot":"","sources":["../../src/composition/canonical-prefactors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,sGAAsG;AACtG,MAAM,eAAe,GAAgC,IAAI,GAAG,CAC1D,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAU,CAAC,CAAC,CAAC,CAC5G,CAAC;AAEF,4EAA4E;AAC5E,MAAM,UAAU,kBAAkB,CAAC,EAAU;IAC3C,OAAO,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACjC,CAAC;AAgBD,kFAAkF;AAClF,MAAM,CAAC,MAAM,0BAA0B,GAAuC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9G,CAAC,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,cAAc,EAAE,CAAC,CAC1E,CAAC;AAEF,kGAAkG;AAClG,MAAM,UAAU,uBAAuB,CAAC,EAAU,EAAE,UAAkB;IACpE,MAAM,CAAC,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9D,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,GAAG,UAAU,IAAI,CAAC,CAAC,QAAQ,CAAC;AAChF,CAAC"}
+{"version":3,"file":"canonical-prefactors.js","sourceRoot":"","sources":["../../src/composition/canonical-prefactors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,sGAAsG;AACtG,MAAM,eAAe,GAAgC,IAAI,GAAG,CAC1D,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAU,CAAC,CAAC,CAAC,CAC5G,CAAC;AAEF,4EAA4E;AAC5E,MAAM,UAAU,kBAAkB,CAAC,EAAU;IAC3C,OAAO,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACjC,CAAC;AAgBD,kFAAkF;AAClF,MAAM,CAAC,MAAM,0BAA0B,GAAuC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9G,CAAC,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,cAAc,EAAE,CAAC,CAC1E,CAAC;AAEF,kGAAkG;AAClG,MAAM,UAAU,uBAAuB,CAAC,EAAU,EAAE,UAAkB;IACpE,MAAM,CAAC,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9D,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,GAAG,UAAU,IAAI,CAAC,CAAC,QAAQ,CAAC;AAChF,CAAC","sourcesContent":["/**\n * Sourced prefactors of canonical equations, projected from the entries.\n *\n * CE-pendulum-period is a monomial and CE-kinetic-energy's AST is `m·v²`, so a\n * user formula wrong by 2π or ½ could not be caught (persona findings L2, L7).\n * Each entry that records only dimensionally, or only up to a constant, states\n * its exact prefactor as `prefactor` with a verbatim quote and a revision-pinned\n * locator; a test holds that neither its AST nor its monomial carries a constant\n * of its own. The lookups here read those fields; the entry owns the fact, and\n * a caller that wants the quote or the locator reads the entry.\n *\n * A prefactor that depends on a dimensionless group the entry's dimensional\n * record does not carry (CE-sound-speed's √γ) is not a constant: it is the\n * entry's `groupPrefactor`, and `canonicalPrefactor` does not return it. Only\n * a caller that can bind the group uses `canonicalGroupPrefactor`.\n *\n * @module composition/canonical-prefactors\n */\n\nimport { CANONICAL_EQUATIONS } from '../canonical/registry.js';\n\n/** Entry id → the exact factor in front of its AST or monomial, read from the entry's `prefactor`. */\nconst PREFACTOR_BY_ID: ReadonlyMap<string, number> = new Map(\n  CANONICAL_EQUATIONS.flatMap((e) => (e.prefactor === undefined ? [] : [[e.id, e.prefactor.value] as const])),\n);\n\n/** The sourced prefactor of a canonical entry, or `undefined`. @internal */\nexport function canonicalPrefactor(id: string): number | undefined {\n  return PREFACTOR_BY_ID.get(id);\n}\n\n/**\n * A sourced prefactor that is a power of a dimensionless group: the factor in\n * front of the entry's AST or monomial is `coefficient · group^exponent`. @internal\n */\nexport interface CanonicalGroupPrefactor {\n  readonly id: string;\n  /** The group as the entry's formula names it (`'gamma'` for γ). */\n  readonly group: string;\n  readonly coefficient: number;\n  readonly exponent: number;\n  readonly quote: string;\n  readonly locator: string;\n}\n\n/** The sourced group prefactors, one row per entry that records one. @internal */\nexport const CANONICAL_GROUP_PREFACTORS: readonly CanonicalGroupPrefactor[] = CANONICAL_EQUATIONS.flatMap((e) =>\n  e.groupPrefactor === undefined ? [] : [{ id: e.id, ...e.groupPrefactor }],\n);\n\n/** The prefactor of a group-dependent entry at a value of its group, or `undefined`. @internal */\nexport function canonicalGroupPrefactor(id: string, groupValue: number): number | undefined {\n  const p = CANONICAL_GROUP_PREFACTORS.find((q) => q.id === id);\n  return p === undefined ? undefined : p.coefficient * groupValue ** p.exponent;\n}\n"]}

package/dist/composition/catalog-graph.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"catalog-graph.d.ts","sourceRoot":"","sources":["../../src/composition/catalog-graph.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAKH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAwD5C,wEAAwE;AACxE,eAAO,MAAM,aAAa,EAAE,SAAS,UAAU,EAAsC,CAAC;AAItF,2CAA2C;AAC3C,wBAAgB,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,CAIlD;AAED,yDAAyD;AACzD,wBAAgB,kBAAkB,IAAI;IACpC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,UAAU,CAAC;IACnC,QAAQ,CAAC,gBAAgB,EAAE,UAAU,CAAC;CACvC,CAgBA"}
+{"version":3,"file":"catalog-graph.d.ts","sourceRoot":"","sources":["../../src/composition/catalog-graph.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAKH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAqC5C,wEAAwE;AACxE,eAAO,MAAM,aAAa,EAAE,SAAS,UAAU,EAAsC,CAAC;AAItF,2CAA2C;AAC3C,wBAAgB,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,CAIlD;AAED,yDAAyD;AACzD,wBAAgB,kBAAkB,IAAI;IACpC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,UAAU,CAAC;IACnC,QAAQ,CAAC,gBAAgB,EAAE,UAAU,CAAC;CACvC,CAgBA"}

package/dist/composition/catalog-graph.js

@@ -8,27 +8,13 @@ import { parseCatalogExpression } from '../bridges/expr-parse.js';
 import { evaluateCatalogRelation, relationHolds } from '../bridges/relation-eval.js';
 import { withBoundAliases } from './edge.js';
 import { quantityByName } from './quantities.js';
-function regimeFor(relation) {
-    const fromEntry = relation.catalogId === null ? undefined : catalogEntry(relation.catalogId)?.regime;
-    if (fromEntry !== undefined && relation.regime !== undefined && JSON.stringify(fromEntry) !== JSON.stringify(relation.regime)) {
-        throw new Error(`catalog ${relation.catalogId} regime disagrees with relation ${relation.id}`);
-    }
-    return fromEntry ?? relation.regime;
-}
-function inherited(relation, field) {
-    const fromRelation = relation[field];
-    const entry = relation.catalogId === null ? undefined : catalogEntry(relation.catalogId);
-    const fromEntry = entry?.[field];
-    if (fromRelation !== undefined && fromEntry !== undefined && JSON.stringify(fromRelation) !== JSON.stringify(fromEntry)) {
-        throw new Error(`catalog ${relation.catalogId} ${field} disagrees with relation ${relation.id}`);
-    }
-    return fromRelation ?? fromEntry;
-}
+/** The catalog row owns the relation contract, the regime, the conventions and the counterexamples; the edge reads them from it. */
 function buildEdge(relation) {
-    const regime = regimeFor(relation);
-    const contract = inherited(relation, 'relation');
-    const conventions = inherited(relation, 'conventions');
-    const counterexamples = inherited(relation, 'counterexamples');
+    const row = relation.catalogId === null ? undefined : catalogEntry(relation.catalogId);
+    const regime = row?.regime;
+    const contract = row?.relation;
+    const conventions = row?.conventions;
+    const counterexamples = row?.counterexamples;
     const edge = {
         id: relation.id,
         beId: relation.catalogId,

package/dist/composition/catalog-graph.js.map

@@ -1 +1 @@
-{"version":3,"file":"catalog-graph.js","sourceRoot":"","sources":["../../src/composition/catalog-graph.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,EAAE,uBAAuB,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAErF,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEjD,SAAS,SAAS,CAAC,QAAqD;IACtE,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IACrG,IAAI,SAAS,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9H,MAAM,IAAI,KAAK,CAAC,WAAW,QAAQ,CAAC,SAAS,mCAAmC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IACjG,CAAC;IACD,OAAO,SAAS,IAAI,QAAQ,CAAC,MAAM,CAAC;AACtC,CAAC;AAED,SAAS,SAAS,CAChB,QAAqD,EACrD,KAAqD;IAErD,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAkB,CAAC;IACtD,MAAM,KAAK,GAAG,QAAQ,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACzF,MAAM,SAAS,GAAG,KAAK,EAAE,CAAC,KAAK,CAAkB,CAAC;IAClD,IAAI,YAAY,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;QACxH,MAAM,IAAI,KAAK,CAAC,WAAW,QAAQ,CAAC,SAAS,IAAI,KAAK,4BAA4B,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IACnG,CAAC;IACD,OAAO,YAAY,IAAI,SAAS,CAAC;AACnC,CAAC;AAED,SAAS,SAAS,CAAC,QAAqD;IACtE,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,SAAS,CAAsC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACtF,MAAM,WAAW,GAAG,SAAS,CAAyC,QAAQ,EAAE,aAAa,CAAC,CAAC;IAC/F,MAAM,eAAe,GAAG,SAAS,CAA6C,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IAC3G,MAAM,IAAI,GAAe;QACvB,EAAE,EAAE,QAAQ,CAAC,EAAE;QACf,IAAI,EAAE,QAAQ,CAAC,SAAS;QACxB,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QAC7D,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClF,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC;QACvC,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,MAAM,EAAE;YACN,WAAW,EAAE,QAAQ,CAAC,MAAM;YAC5B,SAAS,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC;SACvD;QACD,QAAQ,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,uBAAuB,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC/D,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,CAAC,UAAU,CAAC;QACrD,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,GAAG,CAAC,QAAQ,CAAC,gBAAgB,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE,GAAG,CAAC,QAAQ,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,QAAQ,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7F,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,GAAG,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9D,CAAC;IACF,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,wEAAwE;AACxE,MAAM,CAAC,MAAM,aAAa,GAA0B,gBAAgB,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AAEtF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;AAEpE,2CAA2C;AAC3C,MAAM,UAAU,WAAW,CAAC,EAAU;IACpC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC3B,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,EAAE,GAAG,CAAC,CAAC;IACxE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,kBAAkB;IAMhC,MAAM,OAAO,GAAG,gBAAgB,EAAE,CAAC,IAAI,CACrC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,qBAAqB,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM,CACvG,CAAC;IACF,MAAM,QAAQ,GAAG,gBAAgB,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,yBAAyB,CAAC,CAAC;IAC5F,MAAM,GAAG,GAAG,gBAAgB,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,qBAAqB,IAAI,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC,CAAC;IACnI,MAAM,GAAG,GAAG,gBAAgB,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,MAAM,KAAK,sBAAsB,CAAC,CAAC;IAC1G,IAAI,OAAO,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QAC9F,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO;QACL,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,QAAQ,EAAE,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClC,aAAa,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;QAClC,gBAAgB,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;KACtC,CAAC;AACJ,CAAC"}
+{"version":3,"file":"catalog-graph.js","sourceRoot":"","sources":["../../src/composition/catalog-graph.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,EAAE,uBAAuB,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAErF,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEjD,oIAAoI;AACpI,SAAS,SAAS,CAAC,QAAqD;IACtE,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACvF,MAAM,MAAM,GAAG,GAAG,EAAE,MAAM,CAAC;IAC3B,MAAM,QAAQ,GAAG,GAAG,EAAE,QAAQ,CAAC;IAC/B,MAAM,WAAW,GAAG,GAAG,EAAE,WAAW,CAAC;IACrC,MAAM,eAAe,GAAG,GAAG,EAAE,eAAe,CAAC;IAC7C,MAAM,IAAI,GAAe;QACvB,EAAE,EAAE,QAAQ,CAAC,EAAE;QACf,IAAI,EAAE,QAAQ,CAAC,SAAS;QACxB,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QAC7D,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClF,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC;QACvC,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,MAAM,EAAE;YACN,WAAW,EAAE,QAAQ,CAAC,MAAM;YAC5B,SAAS,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC;SACvD;QACD,QAAQ,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,uBAAuB,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC/D,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,CAAC,UAAU,CAAC;QACrD,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,GAAG,CAAC,QAAQ,CAAC,gBAAgB,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE,GAAG,CAAC,QAAQ,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,QAAQ,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7F,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,GAAG,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9D,CAAC;IACF,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,wEAAwE;AACxE,MAAM,CAAC,MAAM,aAAa,GAA0B,gBAAgB,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AAEtF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;AAEpE,2CAA2C;AAC3C,MAAM,UAAU,WAAW,CAAC,EAAU;IACpC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC3B,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,EAAE,GAAG,CAAC,CAAC;IACxE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,kBAAkB;IAMhC,MAAM,OAAO,GAAG,gBAAgB,EAAE,CAAC,IAAI,CACrC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,qBAAqB,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM,CACvG,CAAC;IACF,MAAM,QAAQ,GAAG,gBAAgB,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,yBAAyB,CAAC,CAAC;IAC5F,MAAM,GAAG,GAAG,gBAAgB,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,qBAAqB,IAAI,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC,CAAC;IACnI,MAAM,GAAG,GAAG,gBAAgB,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,MAAM,KAAK,sBAAsB,CAAC,CAAC;IAC1G,IAAI,OAAO,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QAC9F,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO;QACL,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,QAAQ,EAAE,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClC,aAAa,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;QAClC,gBAAgB,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;KACtC,CAAC;AACJ,CAAC","sourcesContent":["/**\n * The composition graph is the relation projection of the bridge catalog.\n *\n * @module composition/catalog-graph\n */\n\nimport { catalogEntry, catalogRelations } from '../bridges/catalog-load.js';\nimport { parseCatalogExpression } from '../bridges/expr-parse.js';\nimport { evaluateCatalogRelation, relationHolds } from '../bridges/relation-eval.js';\nimport type { BridgeEdge } from './edge.js';\nimport { withBoundAliases } from './edge.js';\nimport { quantityByName } from './quantities.js';\n\n/** The catalog row owns the relation contract, the regime, the conventions and the counterexamples; the edge reads them from it. */\nfunction buildEdge(relation: ReturnType<typeof catalogRelations>[number]): BridgeEdge {\n  const row = relation.catalogId === null ? undefined : catalogEntry(relation.catalogId);\n  const regime = row?.regime;\n  const contract = row?.relation;\n  const conventions = row?.conventions;\n  const counterexamples = row?.counterexamples;\n  const edge: BridgeEdge = {\n    id: relation.id,\n    beId: relation.catalogId,\n    kind: relation.kind,\n    label: relation.label,\n    sources: relation.sources.map((name) => quantityByName(name)),\n    ...(Object.keys(relation.aliases).length > 0 ? { aliases: relation.aliases } : {}),\n    target: quantityByName(relation.target),\n    confidence: relation.confidence,\n    domain: {\n      description: relation.domain,\n      predicate: (inputs) => relationHolds(relation, inputs),\n    },\n    evaluate: (inputs) => evaluateCatalogRelation(relation, inputs),\n    symbolic: parseCatalogExpression(relation.expression),\n    citation: relation.citation,\n    ...(relation.coefficientUnset === true ? { coefficientUnset: true } : {}),\n    ...(relation.formulaFactors !== undefined ? { formulaFactors: relation.formulaFactors } : {}),\n    ...(contract !== undefined ? { relation: contract } : {}),\n    ...(regime !== undefined ? { regime } : {}),\n    ...(conventions !== undefined ? { conventions } : {}),\n    ...(counterexamples !== undefined ? { counterexamples } : {}),\n  };\n  return withBoundAliases(edge);\n}\n\n/** Every catalog relation as a graph edge, in catalog order. @public */\nexport const CATALOG_GRAPH: readonly BridgeEdge[] = catalogRelations().map(buildEdge);\n\nconst BY_ID = new Map(CATALOG_GRAPH.map((edge) => [edge.id, edge]));\n\n/** The catalog edge with this graph id. */\nexport function catalogEdge(id: string): BridgeEdge {\n  const edge = BY_ID.get(id);\n  if (edge === undefined) throw new Error(`catalogEdge: no edge '${id}'`);\n  return edge;\n}\n\n/** The two composition demonstrations the CLI prints. */\nexport function demonstrationEdges(): {\n  readonly hawking: BridgeEdge;\n  readonly landauer: BridgeEdge;\n  readonly schwarzschild: BridgeEdge;\n  readonly hawkingViaRadius: BridgeEdge;\n} {\n  const hawking = catalogRelations().find(\n    (row) => row.target === 'hawking-temperature' && row.sources.length === 1 && row.sources[0] === 'mass',\n  );\n  const landauer = catalogRelations().find((row) => row.target === 'landauer-erasure-energy');\n  const via = catalogRelations().find((row) => row.target === 'hawking-temperature' && row.sources.includes('schwarzschild-radius'));\n  const law = catalogRelations().find((row) => row.kind === 'law' && row.target === 'schwarzschild-radius');\n  if (hawking === undefined || landauer === undefined || via === undefined || law === undefined) {\n    throw new Error('demonstrationEdges: a demonstration relation is missing');\n  }\n  return {\n    hawking: catalogEdge(hawking.id),\n    landauer: catalogEdge(landauer.id),\n    schwarzschild: catalogEdge(law.id),\n    hawkingViaRadius: catalogEdge(via.id),\n  };\n}\n"]}

package/dist/composition/chain-candidate.d.ts

@@ -38,6 +38,8 @@ export declare function compareChainEdgeIds(left: readonly string[], right: read
 /**
  * Total order of chain candidates. Returns a new array of the same
  * objects. The input array is left as it was.
+ *
+ * @internal
  */
 export declare function orderChainCandidates(candidates: readonly ChainCandidate[]): ChainCandidate[];
 //# sourceMappingURL=chain-candidate.d.ts.map

package/dist/composition/chain-candidate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"chain-candidate.d.ts","sourceRoot":"","sources":["../../src/composition/chain-candidate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,gDAAgD;AAChD,MAAM,MAAM,kBAAkB,GAC1B,cAAc,GACd,aAAa,GACb,iBAAiB,GACjB,eAAe,CAAC;AAEpB;;;;;;GAMG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;CACtB;AAeD;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CASjG;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,GAAG,cAAc,EAAE,CAM5F"}
+{"version":3,"file":"chain-candidate.d.ts","sourceRoot":"","sources":["../../src/composition/chain-candidate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,gDAAgD;AAChD,MAAM,MAAM,kBAAkB,GAC1B,cAAc,GACd,aAAa,GACb,iBAAiB,GACjB,eAAe,CAAC;AAEpB;;;;;;GAMG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;CACtB;AAeD;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CASjG;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,GAAG,cAAc,EAAE,CAM5F"}

package/dist/composition/chain-candidate.js

@@ -44,6 +44,8 @@ export function compareChainEdgeIds(left, right) {
 /**
  * Total order of chain candidates. Returns a new array of the same
  * objects. The input array is left as it was.
+ *
+ * @internal
  */
 export function orderChainCandidates(candidates) {
     return [...candidates].sort((a, b) => {

package/dist/composition/chain-candidate.js.map

@@ -1 +1 @@
-{"version":3,"file":"chain-candidate.js","sourceRoot":"","sources":["../../src/composition/chain-candidate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AA0BH,SAAS,UAAU,CAAC,IAAwB;IAC1C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,cAAc;YACjB,OAAO,CAAC,CAAC;QACX,KAAK,aAAa;YAChB,OAAO,CAAC,CAAC;QACX,KAAK,iBAAiB;YACpB,OAAO,CAAC,CAAC;QACX,KAAK,eAAe;YAClB,OAAO,CAAC,CAAC;IACb,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAuB,EAAE,KAAwB;IACnF,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAW,CAAC;QAC5B,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAW,CAAC;QAC7B,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC;QACrB,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,UAAqC;IACxE,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACnC,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACxD,IAAI,OAAO,KAAK,CAAC;YAAE,OAAO,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,OAAO,mBAAmB,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"chain-candidate.js","sourceRoot":"","sources":["../../src/composition/chain-candidate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AA0BH,SAAS,UAAU,CAAC,IAAwB;IAC1C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,cAAc;YACjB,OAAO,CAAC,CAAC;QACX,KAAK,aAAa;YAChB,OAAO,CAAC,CAAC;QACX,KAAK,iBAAiB;YACpB,OAAO,CAAC,CAAC;QACX,KAAK,eAAe;YAClB,OAAO,CAAC,CAAC;IACb,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAuB,EAAE,KAAwB;IACnF,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAW,CAAC;QAC5B,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAW,CAAC;QAC7B,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC;QACrB,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,UAAqC;IACxE,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACnC,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACxD,IAAI,OAAO,KAAK,CAAC;YAAE,OAAO,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,OAAO,mBAAmB,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC","sourcesContent":["/**\n * A chain candidate and the order the pipeline reads candidates in.\n *\n * Confirmation of a catalog id, then a restatement, then a unique\n * monomial, then a named PhysJS.Dimensional shape that leaves a\n * function or an exponent unfixed. A shorter chain comes before a\n * longer one. Equal lengths compare the ordered edge ids from the\n * left. Nothing here is written into the catalog.\n *\n * @internal\n * @module composition/chain-candidate\n */\n\n/** The four classes the order distinguishes. */\nexport type ChainCandidateKind =\n  | 'confirmation'\n  | 'restatement'\n  | 'unique-monomial'\n  | 'unfixed-shape';\n\n/**\n * One survivor of a chain of proved edges.\n *\n * `kind` and `edgeIds` are the order. `catalogId`, `canonicalId`,\n * `restatesBridge`, `theorem`, and `id` are carried data and are not\n * compared.\n */\nexport interface ChainCandidate {\n  readonly kind: ChainCandidateKind;\n  readonly edgeIds: readonly string[];\n  readonly catalogId?: number;\n  readonly canonicalId?: string;\n  readonly restatesBridge?: string;\n  readonly theorem?: string;\n  readonly id?: string;\n}\n\nfunction classIndex(kind: ChainCandidateKind): number {\n  switch (kind) {\n    case 'confirmation':\n      return 0;\n    case 'restatement':\n      return 1;\n    case 'unique-monomial':\n      return 2;\n    case 'unfixed-shape':\n      return 3;\n  }\n}\n\n/**\n * Shorter chain first, then lexicographic edge ids.\n *\n * The regime-mismatch list uses this same comparison. It is not a class\n * inside {@link orderChainCandidates}.\n */\nexport function compareChainEdgeIds(left: readonly string[], right: readonly string[]): -1 | 0 | 1 {\n  if (left.length !== right.length) return left.length < right.length ? -1 : 1;\n  for (let i = 0; i < left.length; i++) {\n    const a = left[i] as string;\n    const b = right[i] as string;\n    if (a < b) return -1;\n    if (a > b) return 1;\n  }\n  return 0;\n}\n\n/**\n * Total order of chain candidates. Returns a new array of the same\n * objects. The input array is left as it was.\n *\n * @internal\n */\nexport function orderChainCandidates(candidates: readonly ChainCandidate[]): ChainCandidate[] {\n  return [...candidates].sort((a, b) => {\n    const byClass = classIndex(a.kind) - classIndex(b.kind);\n    if (byClass !== 0) return byClass < 0 ? -1 : 1;\n    return compareChainEdgeIds(a.edgeIds, b.edgeIds);\n  });\n}\n"]}

package/dist/composition/chain-match.js.map

@@ -1 +1 @@
-{"version":3,"file":"chain-match.js","sourceRoot":"","sources":["../../src/composition/chain-match.ts"],"names":[],"mappings":"AAWA,OAAO,EACL,iBAAiB,GAElB,MAAM,4BAA4B,CAAC;AAEpC;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,IAAc,EAAE,OAA0B;IACnE,OAAO,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC1C,CAAC"}
+{"version":3,"file":"chain-match.js","sourceRoot":"","sources":["../../src/composition/chain-match.ts"],"names":[],"mappings":"AAWA,OAAO,EACL,iBAAiB,GAElB,MAAM,4BAA4B,CAAC;AAEpC;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,IAAc,EAAE,OAA0B;IACnE,OAAO,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC1C,CAAC","sourcesContent":["/**\n * Pipeline match for a chain of proved edges.\n *\n * Calls {@link classifyStructure}. A confirmation reports the catalog id.\n * A restatement reports the pre-declared canonical equation. Anything else\n * is a provisional `chain-` id. This function writes no catalog row, no\n * formal-reference overlay entry, and no evidence tag.\n *\n * @module composition/chain-match\n */\nimport type { ExprNode } from '../dimensional/validator.js';\nimport {\n  classifyStructure,\n  type ChainClassification,\n} from '../canonical/structural.js';\n\n/**\n * Classify one composed chain. `edgeIds` stay in chain order.\n *\n * @internal\n */\nexport function matchChain(expr: ExprNode, edgeIds: readonly string[]): ChainClassification {\n  return classifyStructure(expr, edgeIds);\n}\n"]}

package/dist/composition/chain-regime.js.map

@@ -1 +1 @@
-{"version":3,"file":"chain-regime.js","sourceRoot":"","sources":["../../src/composition/chain-regime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EACL,oBAAoB,GAErB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AAIxD,qEAAqE;AACrE,MAAM,CAAC,MAAM,oBAAoB,GAAG,2BAAoC,CAAC;AAUzE,SAAS,UAAU,CAAC,IAAgB;IAClC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,MAAM,SAAS,GAAG,oBAAoB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACvD,IAAI,SAAS,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IACjD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,aAAa,CACpB,KAAiB,EACjB,MAAkB;IAElB,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3E,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAClF,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,wBAAwB,EAAE,CAAC;QAC7C,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI;YAAE,SAAS;QAC/C,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC,CAAC;QAC5E,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;QAChF,CAAC;IACH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,sBAAsB,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,kBAAkB,CAAC,CAAC;AACpF,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAiB,EACjB,MAAkB;IAElB,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACtE,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,cAAc,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;IAC1C,IACE,cAAc,KAAK,SAAS;QAC5B,cAAc,KAAK,SAAS;QAC5B,cAAc,KAAK,cAAc,EACjC,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,WAAW,cAAc,MAAM,cAAc,EAAE,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,aAAa,GAAG,QAAQ,CAAC,UAAgD,CAAC;IAChF,MAAM,aAAa,GAAG,QAAQ,CAAC,UAAgD,CAAC;IAChF,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YAChE,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,IAAI,MAAM,KAAK,EAAE,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IACD,IACE,KAAK,CAAC,MAAM,KAAK,SAAS;QAC1B,MAAM,CAAC,MAAM,KAAK,SAAS;QAC3B,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,UAAU,EACzD,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACnC,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,OAAO;QACL,IAAI,EAAE,oBAAoB;QAC1B,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC;QAC9B,QAAQ;QACR,OAAO;KACR,CAAC;AACJ,CAAC"}
+{"version":3,"file":"chain-regime.js","sourceRoot":"","sources":["../../src/composition/chain-regime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EACL,oBAAoB,GAErB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AAIxD,qEAAqE;AACrE,MAAM,CAAC,MAAM,oBAAoB,GAAG,2BAAoC,CAAC;AAUzE,SAAS,UAAU,CAAC,IAAgB;IAClC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,MAAM,SAAS,GAAG,oBAAoB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACvD,IAAI,SAAS,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IACjD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,aAAa,CACpB,KAAiB,EACjB,MAAkB;IAElB,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3E,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAClF,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,wBAAwB,EAAE,CAAC;QAC7C,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI;YAAE,SAAS;QAC/C,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC,CAAC;QAC5E,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;QAChF,CAAC;IACH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,sBAAsB,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,kBAAkB,CAAC,CAAC;AACpF,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAiB,EACjB,MAAkB;IAElB,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACtE,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,cAAc,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;IAC1C,IACE,cAAc,KAAK,SAAS;QAC5B,cAAc,KAAK,SAAS;QAC5B,cAAc,KAAK,cAAc,EACjC,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,WAAW,cAAc,MAAM,cAAc,EAAE,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,aAAa,GAAG,QAAQ,CAAC,UAAgD,CAAC;IAChF,MAAM,aAAa,GAAG,QAAQ,CAAC,UAAgD,CAAC;IAChF,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YAChE,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,IAAI,MAAM,KAAK,EAAE,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IACD,IACE,KAAK,CAAC,MAAM,KAAK,SAAS;QAC1B,MAAM,CAAC,MAAM,KAAK,SAAS;QAC3B,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,UAAU,EACzD,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACnC,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,OAAO;QACL,IAAI,EAAE,oBAAoB;QAC1B,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC;QAC9B,QAAQ;QACR,OAAO;KACR,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Regime gate for a chain that meets on a quantity name.\n *\n * The domain is the §VI.6.1 component of the catalog category of `beId`,\n * derived by `tensorIndexComponent`. Scale and force are the gated axes\n * on the two junction ports. A recorded `Regime` on both edges is\n * compared with `regimeOverlap`. Silence on a facet is not a mismatch.\n * The rule is `docs/planning/Regime-Aware-Join-Gate-Design.md`.\n *\n * This module does not write the catalog and does not call `deriveEvidence`.\n *\n * @module composition/chain-regime\n */\n\nimport { BRIDGE_EQUATIONS } from '../bridges/index.js';\nimport {\n  tensorIndexComponent,\n  type TensorIndexComponent,\n} from '../bridges/tensor-index.js';\nimport { regimeOverlap } from '../relations/regime.js';\nimport { GATE_AXES } from './axes.js';\nimport { QUANTITY_IDENTIFICATIONS } from './compose.js';\nimport type { BridgeEdge } from './edge.js';\nimport type { Quantity } from './quantity.js';\n\n/** The class a regime-incompatible join is recorded as. @internal */\nexport const REGIME_MISMATCH_KIND = 'rejected: regime mismatch' as const;\n\n/** A join the regime gate refused. Not a stub and not a catalog write. @internal */\nexport interface ChainRegimeMismatch {\n  readonly kind: typeof REGIME_MISMATCH_KIND;\n  readonly edgeIds: readonly [string, string];\n  readonly quantity: string;\n  readonly reasons: readonly string[];\n}\n\nfunction edgeDomain(edge: BridgeEdge): TensorIndexComponent | undefined {\n  if (edge.beId === null) return undefined;\n  const entry = BRIDGE_EQUATIONS.find((row) => row.id === edge.beId);\n  if (entry === undefined) return undefined;\n  const component = tensorIndexComponent(entry.category);\n  if (component === 'unassigned') return undefined;\n  return component;\n}\n\nfunction junctionPorts(\n  first: BridgeEdge,\n  second: BridgeEdge,\n): { quantity: string; producer: Quantity; consumer: Quantity } {\n  const named = second.sources.find((src) => src.name === first.target.name);\n  if (named !== undefined) {\n    return { quantity: first.target.name, producer: first.target, consumer: named };\n  }\n  for (const ident of QUANTITY_IDENTIFICATIONS) {\n    if (ident.from !== first.target.name) continue;\n    const src = second.sources.find((candidate) => candidate.name === ident.to);\n    if (src !== undefined) {\n      return { quantity: first.target.name, producer: first.target, consumer: src };\n    }\n  }\n  throw new Error(`chain regime gate: ${first.id} -> ${second.id} has no junction`);\n}\n\n/**\n * The regime mismatch of a pair, or `undefined` when every facet abstains\n * or agrees.\n *\n * Reasons, in order: a domain clash, then each clashing `GATE_AXES` axis,\n * then `regime: disjoint`. The producer value is written first.\n *\n * @internal\n */\nexport function joinRegimeMismatch(\n  first: BridgeEdge,\n  second: BridgeEdge,\n): ChainRegimeMismatch | undefined {\n  const { quantity, producer, consumer } = junctionPorts(first, second);\n  const reasons: string[] = [];\n  const producerDomain = edgeDomain(first);\n  const consumerDomain = edgeDomain(second);\n  if (\n    producerDomain !== undefined &&\n    consumerDomain !== undefined &&\n    producerDomain !== consumerDomain\n  ) {\n    reasons.push(`domain: ${producerDomain} ≠ ${consumerDomain}`);\n  }\n  const producerAttrs = producer.attributes as Record<string, string | undefined>;\n  const consumerAttrs = consumer.attributes as Record<string, string | undefined>;\n  for (const axis of GATE_AXES) {\n    const left = producerAttrs[axis];\n    const right = consumerAttrs[axis];\n    if (left !== undefined && right !== undefined && left !== right) {\n      reasons.push(`${axis}: ${left} ≠ ${right}`);\n    }\n  }\n  if (\n    first.regime !== undefined &&\n    second.regime !== undefined &&\n    regimeOverlap(first.regime, second.regime) === 'disjoint'\n  ) {\n    reasons.push('regime: disjoint');\n  }\n  if (reasons.length === 0) return undefined;\n  return {\n    kind: REGIME_MISMATCH_KIND,\n    edgeIds: [first.id, second.id],\n    quantity,\n    reasons,\n  };\n}\n"]}

package/dist/composition/chain-result.js.map

@@ -1 +1 @@
-{"version":3,"file":"chain-result.js","sourceRoot":"","sources":["../../src/composition/chain-result.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAKH,OAAO,EAAE,mBAAmB,EAA2B,MAAM,sBAAsB,CAAC;AAuBpF;;;;;;;;;GASG;AACH,MAAM,UAAU,aAAa,CAAC,MAAmB;IAC/C,IAAI,MAAM,CAAC,cAAc,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,cAAc,CAAC;IACzE,IAAI,MAAM,CAAC,cAAc,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,aAAa,CAAC;IACvE,OAAO,MAAM,CAAC,OAAO,KAAK,kCAAkC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,eAAe,CAAC;AACrG,CAAC;AAED,SAAS,UAAU,CAAC,IAAwB;IAC1C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,cAAc;YACjB,OAAO,CAAC,CAAC;QACX,KAAK,aAAa;YAChB,OAAO,CAAC,CAAC;QACX,KAAK,iBAAiB;YACpB,OAAO,CAAC,CAAC;QACX,KAAK,eAAe;YAClB,OAAO,CAAC,CAAC;IACb,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAA+B;IAC/D,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAChC,MAAM,OAAO,GAAG,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5E,IAAI,OAAO,KAAK,CAAC;YAAE,OAAO,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,OAAO,mBAAmB,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"chain-result.js","sourceRoot":"","sources":["../../src/composition/chain-result.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAKH,OAAO,EAAE,mBAAmB,EAA2B,MAAM,sBAAsB,CAAC;AAuBpF;;;;;;;;;GASG;AACH,MAAM,UAAU,aAAa,CAAC,MAAmB;IAC/C,IAAI,MAAM,CAAC,cAAc,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,cAAc,CAAC;IACzE,IAAI,MAAM,CAAC,cAAc,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,aAAa,CAAC;IACvE,OAAO,MAAM,CAAC,OAAO,KAAK,kCAAkC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,eAAe,CAAC;AACrG,CAAC;AAED,SAAS,UAAU,CAAC,IAAwB;IAC1C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,cAAc;YACjB,OAAO,CAAC,CAAC;QACX,KAAK,aAAa;YAChB,OAAO,CAAC,CAAC;QACX,KAAK,iBAAiB;YACpB,OAAO,CAAC,CAAC;QACX,KAAK,eAAe;YAClB,OAAO,CAAC,CAAC;IACb,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAA+B;IAC/D,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAChC,MAAM,OAAO,GAAG,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5E,IAAI,OAAO,KAAK,CAAC;YAAE,OAAO,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,OAAO,mBAAmB,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC","sourcesContent":["/**\n * One internal chain record.\n *\n * The classifier kind, the order key, the filter theorem, a regime\n * mismatch, and the edge ids live on this value. {@link chainOrderKey}\n * and the pipeline's renderer are functions of it. A confirmation and a\n * restatement do not become a rejection.\n *\n * @module composition/chain-result\n */\n\nimport type { ChainClassification } from '../canonical/structural.js';\nimport type { CompositionResult } from '../relations/composition-table.js';\nimport type { BuckinghamFilterRecord } from './buckingham-filter.js';\nimport { compareChainEdgeIds, type ChainCandidateKind } from './chain-candidate.js';\nimport type { ChainRegimeMismatch } from './chain-regime.js';\n\n/**\n * The pipeline's one chain value.\n *\n * `classification` is the structural result. `theorem` is the Buckingham\n * filter's named shape, or null when the filter named none. `mismatch`\n * is set only for a provisional chain the regime gate refused.\n * `categoryComposition` is the category claim for the two steps. It is\n * unset when the edges have no stored category object ids. A recorded\n * `no-composite-claim` does not change the order key.\n *\n * @internal\n */\nexport interface ChainRecord {\n  readonly edgeIds: readonly string[];\n  readonly classification: ChainClassification;\n  readonly theorem: BuckinghamFilterRecord['theorem'];\n  readonly mismatch: ChainRegimeMismatch | undefined;\n  readonly categoryComposition: CompositionResult | undefined;\n}\n\n/**\n * The four-class order key of `record`.\n *\n * A confirmation stays a confirmation. A restatement stays a restatement.\n * A provisional chain whose filter theorem is `monomial_form` is a unique\n * monomial. Every other provisional chain is an unfixed shape. A mismatch\n * does not change the key.\n *\n * @internal\n */\nexport function chainOrderKey(record: ChainRecord): ChainCandidateKind {\n  if (record.classification.kind === 'confirmation') return 'confirmation';\n  if (record.classification.kind === 'restatement') return 'restatement';\n  return record.theorem === 'PhysJS.Dimensional.monomial_form' ? 'unique-monomial' : 'unfixed-shape';\n}\n\nfunction classIndex(kind: ChainCandidateKind): number {\n  switch (kind) {\n    case 'confirmation':\n      return 0;\n    case 'restatement':\n      return 1;\n    case 'unique-monomial':\n      return 2;\n    case 'unfixed-shape':\n      return 3;\n  }\n}\n\n/**\n * Total order of chain records by {@link chainOrderKey}, then by edge ids.\n *\n * Returns a new array. The input array is left as it was. A rejection is\n * not a class in this order.\n *\n * @internal\n */\nexport function orderChainRecords(records: readonly ChainRecord[]): ChainRecord[] {\n  return [...records].sort((a, b) => {\n    const byClass = classIndex(chainOrderKey(a)) - classIndex(chainOrderKey(b));\n    if (byClass !== 0) return byClass < 0 ? -1 : 1;\n    return compareChainEdgeIds(a.edgeIds, b.edgeIds);\n  });\n}\n"]}

package/dist/composition/compose-surface.js.map

@@ -1 +1 @@
-{"version":3,"file":"compose-surface.js","sourceRoot":"","sources":["../../src/composition/compose-surface.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,qBAAqB,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC"}
+{"version":3,"file":"compose-surface.js","sourceRoot":"","sources":["../../src/composition/compose-surface.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,qBAAqB,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC","sourcesContent":["/**\n * v0.11 surface barrel for the namespacing-gate symbols (keeps\n * src/index.ts one-import-per-area while the implementations live in\n * compose.ts / edge.ts / enumerate.ts).\n *\n * @module composition/compose-surface\n */\nexport { CompositionAliasError } from './edge.js';\nexport { SOURCE_ALIAS_DISPOSITIONS } from './compose.js';\nexport type { AliasDisposition } from './compose.js';\nexport type { DispositionRequired } from './enumerate.js';\n"]}

package/dist/composition/compose-symbolic.js.map

@@ -1 +1 @@
-{"version":3,"file":"compose-symbolic.js","sourceRoot":"","sources":["../../src/composition/compose-symbolic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAKvD,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAC7D,OAAO,EAAE,SAAS,EAAE,MAAM,sCAAsC,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AA4BrE;oEACoE;AACpE,MAAM,OAAO,wBAAyB,SAAQ,KAAK;IACjD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;IACzC,CAAC;CACF;AAQD;;;wDAGwD;AACxD,SAAS,gBAAgB,CACvB,KAAiB,EACjB,MAAkB,EAClB,eAAkD;IAElD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI;YAAE,OAAO,GAAG,CAAC,IAAI,CAAC;IACtD,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI;YAAE,SAAS;QAC/C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE;gBAAE,OAAO,GAAG,CAAC,IAAI,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,MAAM,IAAI,wBAAwB,CAChC,+BAA+B,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,WAAW;QAChE,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,sBAAsB,MAAM,CAAC,OAAO;aACtD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC;aACzB,IAAI,CAAC,IAAI,CAAC,yCAAyC,CACzD,CAAC;AACJ,CAAC;AAED;+EAC+E;AAC/E,SAAS,UAAU,CAAC,IAAc;IAChC,OAAO,uBAAuB,CAAC,IAAI,CAAC;SACjC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;SACxB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;SAC/D,IAAI,EAAE,CAAC;AACZ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAC5B,IAAY,EACZ,MAAc,EACd,GAAc,EACd,IAAc;IAEd,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO;QACL,IAAI;QACJ,MAAM;QACN,GAAG;QACH,IAAI;QACJ,MAAM;QACN,QAAQ,CAAC,MAAM;YACb,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;gBAC1B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;oBACxD,MAAM,IAAI,iBAAiB,CACzB,cAAc,IAAI,uCAAuC,IAAI,IAAI;wBAC/D,YAAY,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CACpC,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACtC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC1B,MAAM,IAAI,iBAAiB,CACzB,cAAc,IAAI,iCAAiC,GAAG,UAAU;wBAC9D,oCAAoC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,IAAI,CACxE,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAChC,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAC7B,KAAiB,EACjB,MAAkB,EAClB,IAAI,GAA2B,EAAE;IAEjC,MAAM,eAAe,GAAG;QACtB,GAAG,wBAAwB;QAC3B,GAAG,CAAC,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC;KAChC,CAAC;IAEF,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QACvD,MAAM,IAAI,wBAAwB,CAChC,+BAA+B,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,SAAS;YAC9D,IAAI,OAAO,kDAAkD;YAC7D,gBAAgB,CACnB,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC;IACtE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,UAAU,CAChC,MAAM,CAAC,QAAQ,EACf,YAAY,EACZ,KAAK,CAAC,QAAQ,CACf,CAAC;IAEF,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAChB,MAAM,IAAI,wBAAwB,CAChC,+BAA+B,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,aAAa;YAClE,IAAI,YAAY,kCAAkC,MAAM,CAAC,EAAE,KAAK;YAChE,sDAAsD,KAAK,CAAC,EAAE,GAAG,CACpE,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAAC;QAC1C,MAAM,IAAI,wBAAwB,CAChC,6BAA6B,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,UAAU;YAC7D,2BAA2B,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,iBAAiB,GAAG,CAC3E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,wBAAwB,CAChC,6BAA6B,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,iBAAiB;YACpE,GAAG,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,MAAM;YAC9D,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAClC,CAAC;IACJ,CAAC;IAED,OAAO,cAAc,CACnB,MAAM,CAAC,MAAM,CAAC,IAAI,EAClB,MAAM,CAAC,MAAM,CAAC,MAAM,EACpB,MAAM,CAAC,MAAM,CAAC,GAAG,EACjB,IAAI,CACL,CAAC;AACJ,CAAC"}
+{"version":3,"file":"compose-symbolic.js","sourceRoot":"","sources":["../../src/composition/compose-symbolic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAKvD,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAC7D,OAAO,EAAE,SAAS,EAAE,MAAM,sCAAsC,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AA4BrE;oEACoE;AACpE,MAAM,OAAO,wBAAyB,SAAQ,KAAK;IACjD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;IACzC,CAAC;CACF;AAQD;;;wDAGwD;AACxD,SAAS,gBAAgB,CACvB,KAAiB,EACjB,MAAkB,EAClB,eAAkD;IAElD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI;YAAE,OAAO,GAAG,CAAC,IAAI,CAAC;IACtD,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI;YAAE,SAAS;QAC/C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE;gBAAE,OAAO,GAAG,CAAC,IAAI,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,MAAM,IAAI,wBAAwB,CAChC,+BAA+B,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,WAAW;QAChE,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,sBAAsB,MAAM,CAAC,OAAO;aACtD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC;aACzB,IAAI,CAAC,IAAI,CAAC,yCAAyC,CACzD,CAAC;AACJ,CAAC;AAED;+EAC+E;AAC/E,SAAS,UAAU,CAAC,IAAc;IAChC,OAAO,uBAAuB,CAAC,IAAI,CAAC;SACjC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;SACxB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;SAC/D,IAAI,EAAE,CAAC;AACZ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAC5B,IAAY,EACZ,MAAc,EACd,GAAc,EACd,IAAc;IAEd,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO;QACL,IAAI;QACJ,MAAM;QACN,GAAG;QACH,IAAI;QACJ,MAAM;QACN,QAAQ,CAAC,MAAM;YACb,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;gBAC1B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;oBACxD,MAAM,IAAI,iBAAiB,CACzB,cAAc,IAAI,uCAAuC,IAAI,IAAI;wBAC/D,YAAY,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CACpC,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACtC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC1B,MAAM,IAAI,iBAAiB,CACzB,cAAc,IAAI,iCAAiC,GAAG,UAAU;wBAC9D,oCAAoC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,IAAI,CACxE,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAChC,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAC7B,KAAiB,EACjB,MAAkB,EAClB,IAAI,GAA2B,EAAE;IAEjC,MAAM,eAAe,GAAG;QACtB,GAAG,wBAAwB;QAC3B,GAAG,CAAC,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC;KAChC,CAAC;IAEF,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QACvD,MAAM,IAAI,wBAAwB,CAChC,+BAA+B,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,SAAS;YAC9D,IAAI,OAAO,kDAAkD;YAC7D,gBAAgB,CACnB,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC;IACtE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,UAAU,CAChC,MAAM,CAAC,QAAQ,EACf,YAAY,EACZ,KAAK,CAAC,QAAQ,CACf,CAAC;IAEF,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAChB,MAAM,IAAI,wBAAwB,CAChC,+BAA+B,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,aAAa;YAClE,IAAI,YAAY,kCAAkC,MAAM,CAAC,EAAE,KAAK;YAChE,sDAAsD,KAAK,CAAC,EAAE,GAAG,CACpE,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAAC;QAC1C,MAAM,IAAI,wBAAwB,CAChC,6BAA6B,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,UAAU;YAC7D,2BAA2B,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,iBAAiB,GAAG,CAC3E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,wBAAwB,CAChC,6BAA6B,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,iBAAiB;YACpE,GAAG,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,MAAM;YAC9D,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAClC,CAAC;IACJ,CAAC;IAED,OAAO,cAAc,CACnB,MAAM,CAAC,MAAM,CAAC,IAAI,EAClB,MAAM,CAAC,MAAM,CAAC,MAAM,EACpB,MAAM,CAAC,MAAM,CAAC,GAAG,EACjB,IAAI,CACL,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Symbolic bridge composition (v0.12 — the Observable contract).\n *\n * Resolves the Part-IX §4 \"Observable contract\" deferral with a fourth\n * option the spec did not enumerate: an OPTIONAL `symbolic` ExprNode on a\n * bridge edge (leaves = source-quantity names + the `CONSTANTS` registry),\n * composed by AST SUBSTITUTION. `composeSymbolic(first, second)` substitutes\n * `first`'s symbolic form into the junction leaf of `second`'s, producing a\n * new ExprNode that is dimensionally validated and numerically evaluable —\n * not the black-box numeric closure `composeEdges` chains.\n *\n * Non-breaking (the field is optional), no per-pair adapters, and it retains\n * dimensional type-safety. Edges without a `symbolic` form fall back to\n * numeric `composeEdges` (unchanged).\n *\n * @module composition/compose-symbolic\n */\n\nimport { equals, format } from '../dimensional/algebra.js';\nimport { validate } from '../dimensional/validator.js';\nimport type { ExprNode } from '../dimensional/validator.js';\nimport type { Dimension } from '../dimensional/types.js';\nimport type { BridgeEdge } from './edge.js';\nimport type { QuantityIdentification } from './compose.js';\nimport { QUANTITY_IDENTIFICATIONS } from './compose.js';\nimport { substitute } from './expr-subst.js';\nimport { evalExpr, SymbolicEvalError } from './expr-eval.js';\nimport { CONSTANTS } from '../dimensional/symbolic-constants.js';\nimport { scalarSymbolsFromMathTs } from './mathts-scalar-symbols.js';\n\n/**\n * A composed quantity carrying its SYMBOLIC form and an executable\n * evaluator — the shared return contract Part-IX §4 said was missing.\n *\n * @public\n */\nexport interface Observable {\n  /** Target quantity name (from `second.target`). */\n  readonly name: string;\n  /** Display symbol. */\n  readonly symbol: string;\n  /** Dimensionally-validated SI dimension. */\n  readonly dim: Dimension;\n  /** The composed (substituted) AST. */\n  readonly expr: ExprNode;\n  /** Free leaf symbols = the required inputs (constants/literals excluded). */\n  readonly leaves: readonly string[];\n  /**\n   * Numerically evaluate the composed form. STRICT input (Eve EVE-1): every\n   * `leaves` key must be supplied and no extra key is accepted. PURE symbolic\n   * value — NOT domain-checked (unlike `composeEdges`, which throws\n   * `DomainViolationError`); use `composeEdges` for domain-checked values.\n   */\n  evaluate(values: Readonly<Record<string, number>>): number;\n}\n\n/** Symbolic composition is undefined (no junction / missing `symbolic` /\n *  zero-occurrence substitution / dimensional mismatch). @public */\nexport class SymbolicCompositionError extends Error {\n  constructor(message: string) {\n    super(message);\n    this.name = 'SymbolicCompositionError';\n  }\n}\n\n/** Options for {@link composeSymbolic}. @public */\nexport interface ComposeSymbolicOptions {\n  /** Extra identifications consulted after the registered ones. */\n  readonly identifications?: readonly QuantityIdentification[];\n}\n\n/** Find the junction source of `second` matching `first.target` (by name or\n *  identification). Returns the source whose NAME is the substitution leaf —\n *  `junction.name` is correct in BOTH the name-match and identification cases\n *  (Eve EVE-4), avoiding the always-`ident.to` trap. */\nfunction findJunctionName(\n  first: BridgeEdge,\n  second: BridgeEdge,\n  identifications: readonly QuantityIdentification[],\n): string {\n  for (const src of second.sources) {\n    if (src.name === first.target.name) return src.name;\n  }\n  for (const ident of identifications) {\n    if (ident.from !== first.target.name) continue;\n    for (const src of second.sources) {\n      if (src.name === ident.to) return src.name;\n    }\n  }\n  throw new SymbolicCompositionError(\n    `Cannot symbolically compose ${first.id} -> ${second.id}: target ` +\n      `'${first.target.name}' matches none of [${second.sources\n        .map((s) => `'${s.name}'`)\n        .join(', ')}] by name or registered identification.`,\n  );\n}\n\n/** Free leaves = symbols that are neither registered constants nor numeric\n *  literals (those are not inputs). The names are the MathTS symbol filter. */\nfunction freeLeaves(expr: ExprNode): string[] {\n  return scalarSymbolsFromMathTs(expr)\n    .map((leaf) => leaf.name)\n    .filter((n) => !(n in CONSTANTS) && !Number.isFinite(Number(n)))\n    .sort();\n}\n\n/**\n * Build an {@link Observable} from a composed/simplified expression: computes\n * the free `leaves` and a STRICT `evaluate` closure over THIS `expr` + leaves.\n * Shared by `composeSymbolic` and `simplifyObservable` so a simplified\n * Observable gets a fresh closure (never the stale unsimplified one).\n *\n * @internal\n */\nexport function makeObservable(\n  name: string,\n  symbol: string,\n  dim: Dimension,\n  expr: ExprNode,\n): Observable {\n  const leaves = freeLeaves(expr);\n  return {\n    name,\n    symbol,\n    dim,\n    expr,\n    leaves,\n    evaluate(values) {\n      for (const leaf of leaves) {\n        if (!Object.prototype.hasOwnProperty.call(values, leaf)) {\n          throw new SymbolicEvalError(\n            `Observable(${name}).evaluate: missing required input '${leaf}' ` +\n              `(leaves: ${leaves.join(', ')}).`,\n          );\n        }\n      }\n      for (const key of Object.keys(values)) {\n        if (!leaves.includes(key)) {\n          throw new SymbolicEvalError(\n            `Observable(${name}).evaluate: unexpected input '${key}' (this ` +\n              `Observable's inputs are exactly: ${leaves.join(', ') || '(none)'}).`,\n          );\n        }\n      }\n      return evalExpr(expr, values);\n    },\n  };\n}\n\n/**\n * Compose two bridges SYMBOLICALLY: substitute `first`'s `symbolic` form into\n * the junction leaf of `second`'s, validate the composed AST's dimension, and\n * return an {@link Observable}. Both operands must carry a `symbolic` form\n * (else throws — fall back to `composeEdges` for numeric-only composition).\n *\n * @public\n */\nexport function composeSymbolic(\n  first: BridgeEdge,\n  second: BridgeEdge,\n  opts: ComposeSymbolicOptions = {},\n): Observable {\n  const identifications = [\n    ...QUANTITY_IDENTIFICATIONS,\n    ...(opts.identifications ?? []),\n  ];\n\n  if (!first.symbolic || !second.symbolic) {\n    const missing = !first.symbolic ? first.id : second.id;\n    throw new SymbolicCompositionError(\n      `Cannot symbolically compose ${first.id} -> ${second.id}: edge ` +\n        `'${missing}' has no symbolic form (numeric-only edge — use ` +\n        `composeEdges).`,\n    );\n  }\n\n  const junctionName = findJunctionName(first, second, identifications);\n  const { expr, count } = substitute(\n    second.symbolic,\n    junctionName,\n    first.symbolic,\n  );\n\n  if (count === 0) {\n    throw new SymbolicCompositionError(\n      `Cannot symbolically compose ${first.id} -> ${second.id}: junction ` +\n        `'${junctionName}' does not appear as a leaf of ${second.id}'s ` +\n        `symbolic form — substitution would silently ignore ${first.id}.`,\n    );\n  }\n\n  const v = validate(expr);\n  if (!v.ok || v.inferredDimension === null) {\n    throw new SymbolicCompositionError(\n      `Composed symbolic form of ${first.id} -> ${second.id} failed ` +\n        `dimensional validation: ${v.violations[0]?.note ?? 'not homogeneous'}.`,\n    );\n  }\n  if (!equals(v.inferredDimension, second.target.dim)) {\n    throw new SymbolicCompositionError(\n      `Composed symbolic form of ${first.id} -> ${second.id} has dimension ` +\n        `${format(v.inferredDimension)} but ${second.target.name} is ` +\n        `${format(second.target.dim)}.`,\n    );\n  }\n\n  return makeObservable(\n    second.target.name,\n    second.target.symbol,\n    second.target.dim,\n    expr,\n  );\n}\n"]}

package/dist/composition/compose.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"compose.d.ts","sourceRoot":"","sources":["../../src/composition/compose.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAC5D,OAAO,KAAK,EAAY,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAoDhE;;;;;;GAMG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;GAKG;AACH,eAAO,MAAM,wBAAwB,EAAE,SAAS,sBAAsB,EA0CrE,CAAC;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,MAAM,EACZ,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,EACvD,MAAM,GAAE,SAAS,sBAAsB,EAA6B,GACnE,gBAAgB,CAwBlB;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,QAAQ,GAAG;QAAE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;IAC/D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;;GAMG;AACH,eAAO,MAAM,yBAAyB,EAAE,QAAQ,CAC9C,MAAM,CAAC,MAAM,EAAE,SAAS,gBAAgB,EAAE,CAAC,CAe5C,CAAC;AAQF;;;;;GAKG;AACH,wBAAgB,aAAa,CAC3B,CAAC,EAAE,cAAc,EACjB,CAAC,EAAE,cAAc,GAChB,cAAc,CAEhB;AAED,gDAAgD;AAChD,MAAM,WAAW,cAAc;IAC7B,kEAAkE;IAClE,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC7D;;;;OAIG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;CAChD;AA4BD;;;;;;;;GAQG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,GAAG,OAAO,CAElF;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,UAAU,EAClB,IAAI,GAAE,cAAmB,GACxB,UAAU,CAgNZ"}
+{"version":3,"file":"compose.d.ts","sourceRoot":"","sources":["../../src/composition/compose.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAGzD,OAAO,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAC5D,OAAO,KAAK,EAAY,gBAAgB,EAAE,MAAM,eAAe,CAAC;AA0DhE;;;;;;GAMG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;GAKG;AACH,eAAO,MAAM,wBAAwB,EAAE,SAAS,sBAAsB,EA0CrE,CAAC;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,MAAM,EACZ,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,EACvD,MAAM,GAAE,SAAS,sBAAsB,EAA6B,GACnE,gBAAgB,CAuBlB;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,QAAQ,GAAG;QAAE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;IAC/D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;;GAMG;AACH,eAAO,MAAM,yBAAyB,EAAE,QAAQ,CAC9C,MAAM,CAAC,MAAM,EAAE,SAAS,gBAAgB,EAAE,CAAC,CAU5C,CAAC;AAQF;;;;;GAKG;AACH,wBAAgB,aAAa,CAC3B,CAAC,EAAE,cAAc,EACjB,CAAC,EAAE,cAAc,GAChB,cAAc,CAEhB;AAED,gDAAgD;AAChD,MAAM,WAAW,cAAc;IAC7B,kEAAkE;IAClE,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC7D;;;;OAIG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;CAChD;AAiCD;;;;;;;;GAQG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,GAAG,OAAO,CAElF;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,UAAU,EAClB,IAAI,GAAE,cAAmB,GACxB,UAAU,CAwNZ"}

package/dist/composition/compose.js

@@ -30,14 +30,20 @@
  * @module composition/compose
  */
 import { equals, format } from '../dimensional/algebra.js';
+import { validate } from '../dimensional/validator.js';
+import { regimeAttributesOf } from './quantity.js';
+import { AXES } from './axes.js';
 import { conventionFactor } from '../dimensional/unit-convention.js';
-import { CompositionAliasError, CompositionDimensionError, CompositionJunctionError, UndefinedCompositionError, } from './edge.js';
+import { assertCoefficientSet, CompositionAliasError, CompositionDimensionError, CompositionJunctionError, UndefinedCompositionError, } from './edge.js';
 import { DomainViolationError } from '../bridges/evaluation-errors.js';
+import { substitute } from './expr-subst.js';
+import { monomialExponents } from './formula-shape.js';
 // Atlas Phase 1 overlay. The composition table is a leaf module (pure, no
 // registry reads, no import from `src/composition/`), so this does not close a
 // cycle — same rule as the type-only atlas import in `./edge.ts`.
 import { composeRelation, NO_COMPOSITE_CLAIM } from '../relations/composition-table.js';
 import { checkConventions } from '../relations/conventions.js';
+import { intersectRegimes } from '../relations/regime.js';
 /**
  * The `RelationContract` a composed edge carries, given the composite TYPE the
  * table returned and the two operand contracts.
@@ -145,20 +151,18 @@ export function effectiveAttributes(name, attributesByName, idents = QUANTITY_ID
         if (folded)
             contributors.push(folded);
     }
-    // One-value-agrees, zero-or-conflicting-values-abstain, per axis. Written
-    // out per axis (rather than generically over `keyof RegimeAttributes`) so
-    // each axis's value type stays concrete — no cross-axis union widening.
-    const scales = new Set(contributors.map((c) => c.scale).filter((v) => v !== undefined));
-    const forces = new Set(contributors.map((c) => c.force).filter((v) => v !== undefined));
-    const infos = new Set(contributors.map((c) => c.information).filter((v) => v !== undefined));
-    const result = {};
-    if (scales.size === 1)
-        result.scale = [...scales][0];
-    if (forces.size === 1)
-        result.force = [...forces][0];
-    if (infos.size === 1)
-        result.information = [...infos][0];
-    return result;
+    // One-value-agrees, zero-or-conflicting-values-abstain, per REGISTRY axis.
+    // The fold reads `AXES`, so an axis the registry carries is folded here: a
+    // hand list once named scale, force and information only, and the
+    // discrimination audit then measured symmetry, topology and statistics as
+    // `checked: 0` whatever the data said (9.0.0 audit §4 C2).
+    const folded = {};
+    for (const { name } of AXES) {
+        const values = new Set(contributors.map((c) => c[name]).filter((v) => v !== undefined));
+        if (values.size === 1)
+            folded[name] = [...values][0];
+    }
+    return regimeAttributesOf(folded, `effectiveAttributes(${name})`);
 }
 /**
  * Registered alias dispositions, keyed by composed id
@@ -168,18 +172,14 @@ export function effectiveAttributes(name, attributesByName, idents = QUANTITY_ID
  * @public
  */
 export const SOURCE_ALIAS_DISPOSITIONS = {
-    // ST-2 (stress test, pre-registered v0.10.0 plan §T2): the photon
-    // grazes AT r_s of the SAME mass that bends it — one M is both the
-    // lensing mass and the r_s source. Deliberate, physical sharing.
-    'law-schwarzschild-radius>>be-51': [
-        {
-            name: 'mass',
-            treatAs: 'shared',
-            rationale: 'One gravitating mass M is simultaneously the lens (BE-51) and ' +
-                'the source of the Schwarzschild radius the photon grazes — ' +
-                'the sharing IS the stress-test physics (ST-2).',
-        },
-    ],
+// Empty. The one entry this table held, `law-schwarzschild-radius>>be-51`
+// ("ST-2": one M is both the lens and the r_s source), keyed a composition
+// no call can reach: the law's target `schwarzschild-radius` matches none
+// of be-51's sources (`mass`, `impact-parameter`) by name or registered
+// identification, so `composeEdges` throws `CompositionJunctionError`
+// before the alias gate runs. The judgment was never applied. Retracted in
+// the 9.0.0 audit (§4 C8); `tests/composition/compose.test.ts` now requires
+// every key here to reach the gate.
 };
 const CONFIDENCE_RANK = {
     established: 2,
@@ -196,17 +196,17 @@ export function minConfidence(a, b) {
     return CONFIDENCE_RANK[a] <= CONFIDENCE_RANK[b] ? a : b;
 }
 function findJunction(first, second, identifications) {
-    for (const src of second.sources) {
+    for (const [index, src] of second.sources.entries()) {
         if (src.name === first.target.name) {
-            return { junction: src, viaIdentification: null };
+            return { junction: src, index, viaIdentification: null };
         }
     }
     for (const ident of identifications) {
         if (ident.from !== first.target.name)
             continue;
-        for (const src of second.sources) {
+        for (const [index, src] of second.sources.entries()) {
             if (src.name === ident.to) {
-                return { junction: src, viaIdentification: ident };
+                return { junction: src, index, viaIdentification: ident };
             }
         }
     }
@@ -243,7 +243,7 @@ export function composeEdges(first, second, opts = {}) {
         ...QUANTITY_IDENTIFICATIONS,
         ...(opts.identifications ?? []),
     ];
-    const { junction, viaIdentification } = findJunction(first, second, identifications);
+    const { junction, index: junctionIndex, viaIdentification } = findJunction(first, second, identifications);
     if (!junctionDimensionsMatch(first.target.dim, junction.dim)) {
         throw new CompositionDimensionError(`Cannot compose ${first.id} -> ${second.id}: junction dimension ` +
             `mismatch — ${first.target.name} is ${format(first.target.dim)} ` +
@@ -252,7 +252,10 @@ export function composeEdges(first, second, opts = {}) {
     const junctionScale = viaIdentification === null
         ? 1
         : conventionFactor(first.target.name, junction.name);
-    const remainingSources = second.sources.filter((s) => s !== junction);
+    // The pipe fills ONE slot of `second.sources`, the one `findJunction`
+    // returned. Removal by object identity would also drop a second slot that
+    // holds the same `Quantity` object, which a `shared` disposition produces.
+    const remainingSources = second.sources.filter((_, i) => i !== junctionIndex);
     // v0.11 Option D (namespacing gate): pure name-collision rule across
     // operands. Intra-operand duplicates (e.g. ['mass','mass'] inherited
     // from a prior 'shared' disposition) are exempt by construction —
@@ -326,9 +329,8 @@ export function composeEdges(first, second, opts = {}) {
     // ── Atlas Phase 1 (S1.2b): the relation overlay, and NOTHING else. ────────
     // Entered only when BOTH operands carry a `relation`. An operand with no
     // relation skips this block, and the composed edge then has no `relation`
-    // key. Nine edges in `CATALOG_GRAPH` do carry one: `be-11-master` and
-    // `be-11-zurek` (`coarse-graining`), and `be-21`, `be-37`, `be-48`,
-    // `be-51`, `be-52`, `be-55`, and `be-59` (`derivation`). Those nine stay.
+    // key. The catalog edges that carry one are the catalog's `relation` rows
+    // (`tests/composition/relation-refusal.test.ts` lists them); they stay.
     // When both operands carry a relation, a silent table cell throws
     // `UndefinedCompositionError`. The approximation cell throws the same
     // error, because an edge relation carries no norm transport and this
@@ -390,12 +392,17 @@ export function composeEdges(first, second, opts = {}) {
                 throw new DomainViolationError(`${id}: inputs violate composed validity domain ` +
                     `(${composedDomain.description})`);
             }
+            // Each operand's unset-coefficient gate is the one `evaluateEdge`
+            // applies to a primitive edge; an operand's monomial times an absent 1
+            // must not reach the caller as a number through the pipe.
+            assertCoefficientSet(first, inputs);
             const intermediate = first.evaluate(inputs);
             const pipedInputs = buildSecondInputs(inputs, intermediate);
             if (!second.domain.predicate(pipedInputs)) {
                 throw new DomainViolationError(`${id}: inputs violate composed validity domain ` +
                     `(${composedDomain.description})`);
             }
+            assertCoefficientSet(second, pipedInputs);
             return second.evaluate(pipedInputs);
         },
         citation: `${first.citation} | ${second.citation}`,
@@ -406,6 +413,116 @@ export function composeEdges(first, second, opts = {}) {
             ? { aliasDispositionsUsed: dispositionsUsed }
             : {}),
         ...relationOverlay,
+        ...carriedClaims(first, second, junction, junctionScale, finalRemaining, renameMap),
     };
 }
+/**
+ * The claims a composed edge carries from its operands (9.0.0 audit §4 C5).
+ * A composed edge that dropped them answered differently from its operands:
+ * the regime gate abstained on every chain longer than two, an unset
+ * coefficient became a number, an even input lost its magnitude reading,
+ * a count became a Buckingham governor, and an alias key stopped working.
+ *
+ * - `regime`: the one an operand states; two of one family intersect
+ *   (`intersectRegimes`, which also refuses conflicting group definitions);
+ *   two of different families refuse with `UndefinedCompositionError`, since
+ *   this layer does not state where a cross-family chain applies.
+ * - `coefficientUnset`: either operand's. `evaluateEdge` then refuses the
+ *   composite; a bound group lifts a primitive entry only, because the group
+ *   row is keyed by the entry id, so a composite with an unset operand is
+ *   refused by `evaluateEdge` whatever is bound (its own `evaluate` applies
+ *   each operand's gate and does lift the operand whose group is bound).
+ * - `evenInputs`, `aliases`: the first operand's, plus the second's for its
+ *   remaining sources under their composed names. The piped junction is not
+ *   an input and is dropped. An alias key that two quantities would share is
+ *   carried for neither.
+ * - `formulaFactors`: the second operand's for its remaining sources, exact.
+ *   The first operand's counts enter through the pipe with their exponent
+ *   times the junction's exponent in the second's monomial, so they are
+ *   carried only when `second.symbolic` is a monomial that states it.
+ * - `symbolic`: the second's form with the junction leaf replaced by the
+ *   first's, when both exist, the junction carries no convention factor, no
+ *   source was renamed, the leaf occurs, and the result validates to the
+ *   target dimension. Otherwise absent, as on a numeric-only edge.
+ */
+function carriedClaims(first, second, junction, junctionScale, finalRemaining, renameMap) {
+    const out = {};
+    if (first.regime !== undefined && second.regime !== undefined) {
+        if (first.regime.family !== second.regime.family) {
+            throw new UndefinedCompositionError(`Cannot compose ${first.id} -> ${second.id}: the regimes are of different ` +
+                `families ('${first.regime.family}', '${second.regime.family}'), and this ` +
+                `layer does not state where a cross-family chain applies.`);
+        }
+        try {
+            out.regime = intersectRegimes(first.regime, second.regime);
+        }
+        catch (e) {
+            // Conflicting definitions of one group name: the composite has no regime this
+            // layer can state, the same refusal as a cross-family chain.
+            throw new UndefinedCompositionError(`Cannot compose ${first.id} -> ${second.id}: ${e.message}`);
+        }
+    }
+    else if (first.regime !== undefined || second.regime !== undefined) {
+        out.regime = first.regime ?? second.regime;
+    }
+    if (first.coefficientUnset === true || second.coefficientUnset === true)
+        out.coefficientUnset = true;
+    // Operand-internal name → the name the composite exposes it under.
+    const composedName = new Map(Object.entries(renameMap).map(([renamed, original]) => [original, renamed]));
+    const exposed = (name) => composedName.get(name) ?? name;
+    const remainingNames = new Set(finalRemaining.map((s) => s.name));
+    const secondRemaining = (name) => name !== junction.name && remainingNames.has(exposed(name));
+    const even = [
+        ...(first.evenInputs ?? []),
+        ...(second.evenInputs ?? []).filter(secondRemaining).map(exposed),
+    ];
+    if (even.length > 0)
+        out.evenInputs = even;
+    const factors = {};
+    const junctionExponent = monomialExponents(second.symbolic)?.get(junction.name);
+    if (first.formulaFactors !== undefined && junctionExponent !== undefined) {
+        for (const [name, exp] of Object.entries(first.formulaFactors))
+            factors[name] = exp * junctionExponent;
+    }
+    for (const [name, exp] of Object.entries(second.formulaFactors ?? {})) {
+        if (secondRemaining(name))
+            factors[exposed(name)] = exp;
+    }
+    if (Object.keys(factors).length > 0)
+        out.formulaFactors = factors;
+    const aliasOwner = new Map();
+    const shared = new Set();
+    const aliases = {};
+    const addAliases = (quantity, keys) => {
+        for (const key of keys) {
+            const owner = aliasOwner.get(key);
+            if (owner !== undefined && owner !== quantity)
+                shared.add(key);
+            aliasOwner.set(key, quantity);
+            (aliases[quantity] ??= []).push(key);
+        }
+    };
+    for (const [quantity, keys] of Object.entries(first.aliases ?? {}))
+        addAliases(quantity, keys);
+    for (const [quantity, keys] of Object.entries(second.aliases ?? {})) {
+        if (secondRemaining(quantity))
+            addAliases(exposed(quantity), keys);
+    }
+    const kept = Object.fromEntries(Object.entries(aliases)
+        .map(([quantity, keys]) => [quantity, keys.filter((k) => !shared.has(k))])
+        .filter(([, keys]) => keys.length > 0));
+    if (Object.keys(kept).length > 0)
+        out.aliases = kept;
+    if (first.symbolic !== undefined &&
+        second.symbolic !== undefined &&
+        junctionScale === 1 &&
+        Object.keys(renameMap).length === 0) {
+        const { expr, count } = substitute(second.symbolic, junction.name, first.symbolic);
+        const v = count > 0 ? validate(expr) : undefined;
+        if (v !== undefined && v.ok && v.inferredDimension !== null && equals(v.inferredDimension, second.target.dim)) {
+            out.symbolic = expr;
+        }
+    }
+    return out;
+}
 //# sourceMappingURL=compose.js.map