universal-physics-tensor 1.0.1 → 1.0.2

package/dist/atlas/proof-target.js

@@ -0,0 +1,140 @@
+/**
+ * Lean statement skeleton for one chain candidate.
+ *
+ * The text names the theorem chain in the order the caller recorded,
+ * checked against the compiled manifest copy. It is a target. The proof
+ * body is absent. Nothing here is written into the catalog, the
+ * formal-reference overlay, or the vendored manifest.
+ *
+ * A units-only survivor carries a covers line that begins with
+ * `derivation-step:` and names the hypothesis the dimensional theorem
+ * leaves open. The import `PhysJS.Dimensional` is present when that
+ * filter named one of its theorems. `Dim` is fixed at `n = 7` in the
+ * base order `src/dimensional/types.ts` declares.
+ *
+ * @module atlas/proof-target
+ */
+import { physjsTheorem } from './physjs-ref.js';
+/** Marker before the draft object the manifest checker can read. @internal */
+export const PROOF_TARGET_DRAFT_BEGIN = 'PROOF-TARGET-DRAFT-BEGIN';
+/** Marker after the draft object. @internal */
+export const PROOF_TARGET_DRAFT_END = 'PROOF-TARGET-DRAFT-END';
+const MONOMIAL = 'PhysJS.Dimensional.monomial_form';
+const RATIO = 'PhysJS.Dimensional.ratio_shape';
+const PRODUCT = 'PhysJS.Dimensional.product_shape';
+const POWER = 'PhysJS.Dimensional.ratio_power_invariant';
+const DIMENSIONAL = new Set([MONOMIAL, RATIO, PRODUCT, POWER]);
+/**
+ * The dimensional theorem this candidate names, when the filter named one.
+ * A unique monomial is `monomial_form` even when the field was left blank.
+ */
+function dimensionalTheorem(candidate) {
+    if (candidate.theorem !== undefined && DIMENSIONAL.has(candidate.theorem)) {
+        return candidate.theorem;
+    }
+    if (candidate.kind === 'unique-monomial')
+        return MONOMIAL;
+    return undefined;
+}
+/** Covers line. Units-only survivors start with `derivation-step:`. */
+function coversLine(candidate) {
+    const theorem = dimensionalTheorem(candidate);
+    if (theorem === MONOMIAL) {
+        return ('derivation-step: PhysJS.Dimensional.monomial_form. The constant is unfixed. ' +
+            'f(1,…,1) is unfixed. The exponent vector is a hypothesis. ' +
+            'A unit change that can reach every positive tuple is a hypothesis.');
+    }
+    if (theorem === PRODUCT) {
+        return ('derivation-step: PhysJS.Dimensional.product_shape. The constant is unfixed. f(1,1) is unfixed.');
+    }
+    if (theorem === RATIO) {
+        return ('derivation-step: PhysJS.Dimensional.ratio_shape. The function of the ratio is unfixed.');
+    }
+    if (theorem === POWER) {
+        return ('derivation-step: PhysJS.Dimensional.ratio_power_invariant. The real power p is unfixed.');
+    }
+    if (candidate.kind === 'unfixed-shape') {
+        return 'derivation-step: the constant is unfixed.';
+    }
+    if (candidate.kind === 'confirmation') {
+        const id = candidate.catalogId === undefined ? '' : ` ${candidate.catalogId}`;
+        return `confirmation: catalog id${id}. The run reports the id and writes nothing.`;
+    }
+    if (candidate.kind === 'restatement') {
+        const canon = candidate.canonicalId ?? '';
+        const bridge = candidate.restatesBridge ?? '';
+        return `restatement: ${canon} restates ${bridge}. Not a new equation.`;
+    }
+    return 'statement skeleton only';
+}
+function targetKey(candidate) {
+    if (candidate.id !== undefined && candidate.id.length > 0)
+        return candidate.id;
+    return `chain-${candidate.edgeIds.join('-')}`;
+}
+function leanIdent(id) {
+    const cleaned = id.replace(/[^A-Za-z0-9_]/g, '_').replace(/^_+/, '');
+    const body = cleaned.length > 0 ? cleaned : 'target';
+    return `PhysJS.ProofTarget.${body}`;
+}
+function assertTheorems(candidate, seedTheorems) {
+    if (seedTheorems.length !== candidate.edgeIds.length) {
+        throw new Error(`proof target: ${candidate.edgeIds.length} seed steps and ${seedTheorems.length} theorem names`);
+    }
+    for (let i = 0; i < candidate.edgeIds.length; i++) {
+        const id = candidate.edgeIds[i];
+        const given = seedTheorems[i];
+        const recorded = physjsTheorem(id);
+        if (recorded !== undefined && recorded !== given) {
+            throw new Error(`proof target: manifest copy records '${recorded}' for '${id}', not '${given}'`);
+        }
+    }
+}
+/**
+ * Lean 4 statement skeleton and the theorem chain it would compose.
+ *
+ * `seedTheorems` is one PhysJS theorem name per seed step, in chain order.
+ * A name that disagrees with the compiled manifest copy is refused.
+ * The returned text is not written anywhere.
+ *
+ * @internal
+ */
+export function emitProofTarget(candidate, seedTheorems) {
+    assertTheorems(candidate, seedTheorems);
+    const key = targetKey(candidate);
+    const covers = coversLine(candidate);
+    const theorem = dimensionalTheorem(candidate);
+    const statement = leanIdent(key);
+    const lines = [
+        '-- PROOF TARGET',
+        '-- statement skeleton only',
+        '-- proof body absent',
+        '-- not a catalog entry',
+        '-- not a formalRef',
+        '',
+    ];
+    if (theorem !== undefined) {
+        lines.push('import PhysJS.Dimensional', '');
+    }
+    lines.push('-- theorem chain');
+    for (const name of seedTheorems) {
+        lines.push(`-- theorem: ${name}`);
+    }
+    lines.push('', `-- covers: ${covers}`, '');
+    if (theorem !== undefined) {
+        lines.push('-- Dim : Fin 7 → ℚ', '-- base order: L, M, T, I, Theta, N, J', '');
+    }
+    lines.push(`-- target id: ${key}`, `-- statement: ${statement} : Prop`, '');
+    const draft = {
+        key,
+        bridgeId: key,
+        theorem: statement,
+        covers,
+        coverage: 'statement skeleton only',
+        leanProof: 'absent',
+        axioms: [],
+    };
+    lines.push(PROOF_TARGET_DRAFT_BEGIN, JSON.stringify(draft, null, 2), PROOF_TARGET_DRAFT_END, '');
+    return lines.join('\n');
+}
+//# sourceMappingURL=proof-target.js.map

package/dist/atlas/proof-target.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-target.js","sourceRoot":"","sources":["../../src/atlas/proof-target.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAEhD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,wBAAwB,GAAG,0BAA0B,CAAC;AAEnE,+CAA+C;AAC/C,MAAM,CAAC,MAAM,sBAAsB,GAAG,wBAAwB,CAAC;AAE/D,MAAM,QAAQ,GAAG,kCAAkC,CAAC;AACpD,MAAM,KAAK,GAAG,gCAAgC,CAAC;AAC/C,MAAM,OAAO,GAAG,kCAAkC,CAAC;AACnD,MAAM,KAAK,GAAG,0CAA0C,CAAC;AAEzD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;AAEvE;;;GAGG;AACH,SAAS,kBAAkB,CAAC,SAAyB;IACnD,IAAI,SAAS,CAAC,OAAO,KAAK,SAAS,IAAI,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1E,OAAO,SAAS,CAAC,OAAO,CAAC;IAC3B,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,QAAQ,CAAC;IAC1D,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,uEAAuE;AACvE,SAAS,UAAU,CAAC,SAAyB;IAC3C,MAAM,OAAO,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IAC9C,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACzB,OAAO,CACL,8EAA8E;YAC9E,4DAA4D;YAC5D,oEAAoE,CACrE,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QACxB,OAAO,CACL,gGAAgG,CACjG,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;QACtB,OAAO,CACL,wFAAwF,CACzF,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;QACtB,OAAO,CACL,yFAAyF,CAC1F,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACvC,OAAO,2CAA2C,CAAC;IACrD,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACtC,MAAM,EAAE,GAAG,SAAS,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;QAC9E,OAAO,2BAA2B,EAAE,8CAA8C,CAAC;IACrF,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,SAAS,CAAC,WAAW,IAAI,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,SAAS,CAAC,cAAc,IAAI,EAAE,CAAC;QAC9C,OAAO,gBAAgB,KAAK,aAAa,MAAM,uBAAuB,CAAC;IACzE,CAAC;IACD,OAAO,yBAAyB,CAAC;AACnC,CAAC;AAED,SAAS,SAAS,CAAC,SAAyB;IAC1C,IAAI,SAAS,CAAC,EAAE,KAAK,SAAS,IAAI,SAAS,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC,EAAE,CAAC;IAC/E,OAAO,SAAS,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,SAAS,CAAC,EAAU;IAC3B,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACrE,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;IACrD,OAAO,sBAAsB,IAAI,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,cAAc,CAAC,SAAyB,EAAE,YAA+B;IAChF,IAAI,YAAY,CAAC,MAAM,KAAK,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CACb,iBAAiB,SAAS,CAAC,OAAO,CAAC,MAAM,mBAAmB,YAAY,CAAC,MAAM,gBAAgB,CAChG,CAAC;IACJ,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClD,MAAM,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,CAAW,CAAC;QAC1C,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAW,CAAC;QACxC,MAAM,QAAQ,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;YACjD,MAAM,IAAI,KAAK,CACb,wCAAwC,QAAQ,UAAU,EAAE,WAAW,KAAK,GAAG,CAChF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAC7B,SAAyB,EACzB,YAA+B;IAE/B,cAAc,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC;IACrC,MAAM,OAAO,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IAC9C,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;IACjC,MAAM,KAAK,GAAa;QACtB,iBAAiB;QACjB,4BAA4B;QAC5B,sBAAsB;QACtB,wBAAwB;QACxB,oBAAoB;QACpB,EAAE;KACH,CAAC;IACF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,2BAA2B,EAAE,EAAE,CAAC,CAAC;IAC9C,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;IACpC,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,cAAc,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IAC3C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CACR,oBAAoB,EACpB,wCAAwC,EACxC,EAAE,CACH,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,iBAAiB,GAAG,EAAE,EAAE,iBAAiB,SAAS,SAAS,EAAE,EAAE,CAAC,CAAC;IAC5E,MAAM,KAAK,GAAG;QACZ,GAAG;QACH,QAAQ,EAAE,GAAG;QACb,OAAO,EAAE,SAAS;QAClB,MAAM;QACN,QAAQ,EAAE,yBAAyB;QACnC,SAAS,EAAE,QAAQ;QACnB,MAAM,EAAE,EAAc;KACvB,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,wBAAwB,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,sBAAsB,EAAE,EAAE,CAAC,CAAC;IACjG,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/bridges/be63-chandrasekhar-mass.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be63-chandrasekhar-mass.d.ts","sourceRoot":"","sources":["../../src/bridges/be63-chandrasekhar-mass.ts"],"names":[],"mappings":"AAqBA,uEAAuE;AACvE,eAAO,MAAM,iBAAiB,UAAU,CAAC;AAEzC,cAAc;AACd,MAAM,WAAW,mBAAmB;IAClC,iFAAiF;IACjF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AACD,cAAc;AACd,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,+BAA+B;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,0CAA0C;IAC1C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,EAAE,IAAI,EAAE,EAAE,mBAAmB,GAAG,mBAAmB,CAO5F"}
+{"version":3,"file":"be63-chandrasekhar-mass.d.ts","sourceRoot":"","sources":["../../src/bridges/be63-chandrasekhar-mass.ts"],"names":[],"mappings":"AAkBA,uEAAuE;AACvE,eAAO,MAAM,iBAAiB,UAAU,CAAC;AAEzC,cAAc;AACd,MAAM,WAAW,mBAAmB;IAClC,iFAAiF;IACjF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AACD,cAAc;AACd,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,+BAA+B;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,0CAA0C;IAC1C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,EAAE,IAAI,EAAE,EAAE,mBAAmB,GAAG,mBAAmB,CAO5F"}

package/dist/bridges/be63-chandrasekhar-mass.js

@@ -15,9 +15,7 @@
  *
  * @module bridges/be63-chandrasekhar-mass
  */
-import { HBAR_SI, C_SI, G_SI, M_SUN_SI } from '../core/constants.js';
-/** Unified atomic mass unit (mass per nucleon), kg. */
-const M_U_SI = 1.66053906660e-27;
+import { HBAR_SI, C_SI, G_SI, M_SUN_SI, M_U_SI } from '../core/constants.js';
 /** Lane-Emden n=3 surface constant ω₃⁰ = −ξ²θ'(ξ)|_surface. @public */
 export const LANE_EMDEN_OMEGA3 = 2.01824;
 /**

package/dist/bridges/be63-chandrasekhar-mass.js.map

@@ -1 +1 @@
-{"version":3,"file":"be63-chandrasekhar-mass.js","sourceRoot":"","sources":["../../src/bridges/be63-chandrasekhar-mass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAErE,uDAAuD;AACvD,MAAM,MAAM,GAAG,iBAAiB,CAAC;AACjC,uEAAuE;AACvE,MAAM,CAAC,MAAM,iBAAiB,GAAG,OAAO,CAAC;AAgBzC;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CAAC,EAAE,IAAI,EAAuB;IACrE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,CAAC;IAC9F,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,iBAAiB,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IACjG,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,GAAG,QAAQ,EAAE,CAAC;AAC3D,CAAC"}
+{"version":3,"file":"be63-chandrasekhar-mass.js","sourceRoot":"","sources":["../../src/bridges/be63-chandrasekhar-mass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC7E,uEAAuE;AACvE,MAAM,CAAC,MAAM,iBAAiB,GAAG,OAAO,CAAC;AAgBzC;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CAAC,EAAE,IAAI,EAAuB;IACrE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,CAAC;IAC9F,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,iBAAiB,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IACjG,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,GAAG,QAAQ,EAAE,CAAC;AAC3D,CAAC"}

package/dist/bridges/confrontation-coverage.d.ts

@@ -1,19 +1,10 @@
 /**
- * Empirical-spine coverage audit (Direction 4).
+ * Catalog ids with a committed real-data confrontation.
  *
- * "Strengthen the empirical spine" must NOT fabricate physics data, so the
- * responsible, composable deliverable is tooling that makes the spine's gaps
- * machine-visible: for each catalogued bridge, what grounding does it
- * actually have — a real-data confrontation, a computable graph edge, a
- * dimensional-signature encoding, or nothing but a status label? The report
- * tells the physicist-reviewer (CONTRIBUTING.md) exactly where the grounding
- * is thinnest, and lets the discovery loop prefer well-grounded bridges.
- *
- * This INVENTS nothing — every field is read from the catalog
- * (`BRIDGE_EQUATIONS`), the composition graph (`CATALOG_GRAPH`), and the two
- * committed data-confrontation modules.
- *
- * INTERNAL — surfaced via `upt coverage`.
+ * `DATA_CONFRONTED_IDS` is a sorted projection of `CONFRONTATIONS`.
+ * `composition/bridge-analysis.ts` imports it in the allowed direction.
+ * The coverage audit that scans `CATALOG_GRAPH` lives in
+ * `composition/audit-coverage.ts`. This file does not import `composition/`.
  *
  * @module bridges/confrontation-coverage
  */
@@ -27,51 +18,4 @@
  * @internal
  */
 export declare const DATA_CONFRONTED_IDS: ReadonlySet<number>;
-/**
- * The grounding tier of one bridge, strongest first:
- *   - `data-confronted` — has a committed real-data confrontation.
- *   - `graph-computable` — has a composition-graph edge AND a dimensional
- *      signature (numerically computable + dimensionally encoded).
- *   - `encoded-only` — has a dimensional signature but no graph edge.
- *   - `thin` — no dimensional signature (catalogued by label/prose only).
- */
-export type GroundingTier = 'data-confronted' | 'graph-computable' | 'encoded-only' | 'thin';
-/** One bridge's empirical-grounding profile. */
-interface BridgeCoverage {
-    readonly id: number;
-    readonly status: string;
-    readonly tier: GroundingTier;
-    /** A committed real-data confrontation exists. */
-    readonly hasDataConfrontation: boolean;
-    /** A composition-graph edge (computable evaluator) exists for this id. */
-    readonly hasGraphEdge: boolean;
-    /** A dimensional signature is registered for this id. */
-    readonly dimensionalSignaturePresent: boolean;
-    /** Number of literature references in the catalog entry. */
-    readonly citationCount: number;
-    /** Number of recorded known issues. */
-    readonly knownIssueCount: number;
-}
-/** The catalog-wide coverage report. */
-interface CoverageReport {
-    readonly bridges: readonly BridgeCoverage[];
-    readonly total: number;
-    /** Count by grounding tier. */
-    readonly byTier: Readonly<Record<GroundingTier, number>>;
-    /** Bridges with NO real-data confrontation (the empirical gap). */
-    readonly withoutDataConfrontation: number;
-    /** Bridges with NO literature reference at all. */
-    readonly withoutCitation: number;
-    /** Ids of the thinnest bridges (no dimensional signature), sorted. */
-    readonly thinBridges: readonly number[];
-}
-/**
- * Audit the catalog's empirical grounding. Reads `BRIDGE_EQUATIONS`, the
- * composition graph, and the data-confrontation registry; fabricates
- * nothing. See module docs.
- *
- * @internal
- */
-export declare function auditCoverage(): CoverageReport;
-export {};
 //# sourceMappingURL=confrontation-coverage.d.ts.map

package/dist/bridges/confrontation-coverage.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"confrontation-coverage.d.ts","sourceRoot":"","sources":["../../src/bridges/confrontation-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAMH;;;;;;;;GAQG;AACH,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAEnD,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,MAAM,aAAa,GACrB,iBAAiB,GACjB,kBAAkB,GAClB,cAAc,GACd,MAAM,CAAC;AAEX,gDAAgD;AAChD,UAAU,cAAc;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,kDAAkD;IAClD,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;IACvC,0EAA0E;IAC1E,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,yDAAyD;IACzD,QAAQ,CAAC,2BAA2B,EAAE,OAAO,CAAC;IAC9C,4DAA4D;IAC5D,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,uCAAuC;IACvC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC;AAED,wCAAwC;AACxC,UAAU,cAAc;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,+BAA+B;IAC/B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;IACzD,mEAAmE;IACnE,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,mDAAmD;IACnD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,sEAAsE;IACtE,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,IAAI,cAAc,CA6C9C"}
+{"version":3,"file":"confrontation-coverage.d.ts","sourceRoot":"","sources":["../../src/bridges/confrontation-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH;;;;;;;;GAQG;AACH,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAEnD,CAAC"}

package/dist/bridges/confrontation-coverage.js

@@ -1,24 +1,13 @@
 /**
- * Empirical-spine coverage audit (Direction 4).
+ * Catalog ids with a committed real-data confrontation.
  *
- * "Strengthen the empirical spine" must NOT fabricate physics data, so the
- * responsible, composable deliverable is tooling that makes the spine's gaps
- * machine-visible: for each catalogued bridge, what grounding does it
- * actually have — a real-data confrontation, a computable graph edge, a
- * dimensional-signature encoding, or nothing but a status label? The report
- * tells the physicist-reviewer (CONTRIBUTING.md) exactly where the grounding
- * is thinnest, and lets the discovery loop prefer well-grounded bridges.
- *
- * This INVENTS nothing — every field is read from the catalog
- * (`BRIDGE_EQUATIONS`), the composition graph (`CATALOG_GRAPH`), and the two
- * committed data-confrontation modules.
- *
- * INTERNAL — surfaced via `upt coverage`.
+ * `DATA_CONFRONTED_IDS` is a sorted projection of `CONFRONTATIONS`.
+ * `composition/bridge-analysis.ts` imports it in the allowed direction.
+ * The coverage audit that scans `CATALOG_GRAPH` lives in
+ * `composition/audit-coverage.ts`. This file does not import `composition/`.
  *
  * @module bridges/confrontation-coverage
  */
-import { BRIDGE_EQUATIONS } from './index.js';
-import { CATALOG_GRAPH } from '../composition/catalog-graph.js';
 import { CONFRONTATIONS } from './confrontations.js';
 /**
  * Catalog ids with a committed real-data confrontation — a SORTED
@@ -30,58 +19,4 @@ import { CONFRONTATIONS } from './confrontations.js';
  * @internal
  */
 export const DATA_CONFRONTED_IDS = new Set([...CONFRONTATIONS.keys()].sort((a, b) => a - b));
-/**
- * Audit the catalog's empirical grounding. Reads `BRIDGE_EQUATIONS`, the
- * composition graph, and the data-confrontation registry; fabricates
- * nothing. See module docs.
- *
- * @internal
- */
-export function auditCoverage() {
-    const graphEdgeIds = new Set();
-    for (const e of CATALOG_GRAPH) {
-        if (e.beId !== null)
-            graphEdgeIds.add(e.beId);
-    }
-    const bridges = BRIDGE_EQUATIONS.map((entry) => {
-        const hasDataConfrontation = DATA_CONFRONTED_IDS.has(entry.id);
-        const hasGraphEdge = graphEdgeIds.has(entry.id);
-        const dimensionalSignaturePresent = entry.dimensional_signature !== null;
-        let tier;
-        if (hasDataConfrontation)
-            tier = 'data-confronted';
-        else if (hasGraphEdge && dimensionalSignaturePresent)
-            tier = 'graph-computable';
-        else if (dimensionalSignaturePresent)
-            tier = 'encoded-only';
-        else
-            tier = 'thin';
-        return {
-            id: entry.id,
-            status: entry.status,
-            tier,
-            hasDataConfrontation,
-            hasGraphEdge,
-            dimensionalSignaturePresent,
-            citationCount: entry.references.length,
-            knownIssueCount: entry.known_issues.length,
-        };
-    });
-    const byTier = {
-        'data-confronted': 0,
-        'graph-computable': 0,
-        'encoded-only': 0,
-        thin: 0,
-    };
-    for (const b of bridges)
-        byTier[b.tier]++;
-    return {
-        bridges: bridges.sort((a, b) => a.id - b.id),
-        total: bridges.length,
-        byTier,
-        withoutDataConfrontation: bridges.filter((b) => !b.hasDataConfrontation).length,
-        withoutCitation: bridges.filter((b) => b.citationCount === 0).length,
-        thinBridges: bridges.filter((b) => b.tier === 'thin').map((b) => b.id).sort((a, b) => a - b),
-    };
-}
 //# sourceMappingURL=confrontation-coverage.js.map

package/dist/bridges/confrontation-coverage.js.map

@@ -1 +1 @@
-{"version":3,"file":"confrontation-coverage.js","sourceRoot":"","sources":["../../src/bridges/confrontation-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAErD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAC7D,CAAC,GAAG,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CACjD,CAAC;AA+CF;;;;;;GAMG;AACH,MAAM,UAAU,aAAa;IAC3B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC;IAED,MAAM,OAAO,GAAqB,gBAAgB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC/D,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/D,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAChD,MAAM,2BAA2B,GAAG,KAAK,CAAC,qBAAqB,KAAK,IAAI,CAAC;QAEzE,IAAI,IAAmB,CAAC;QACxB,IAAI,oBAAoB;YAAE,IAAI,GAAG,iBAAiB,CAAC;aAC9C,IAAI,YAAY,IAAI,2BAA2B;YAAE,IAAI,GAAG,kBAAkB,CAAC;aAC3E,IAAI,2BAA2B;YAAE,IAAI,GAAG,cAAc,CAAC;;YACvD,IAAI,GAAG,MAAM,CAAC;QAEnB,OAAO;YACL,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,IAAI;YACJ,oBAAoB;YACpB,YAAY;YACZ,2BAA2B;YAC3B,aAAa,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM;YACtC,eAAe,EAAE,KAAK,CAAC,YAAY,CAAC,MAAM;SAC3C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAkC;QAC5C,iBAAiB,EAAE,CAAC;QACpB,kBAAkB,EAAE,CAAC;QACrB,cAAc,EAAE,CAAC;QACjB,IAAI,EAAE,CAAC;KACR,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IAE1C,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QAC5C,KAAK,EAAE,OAAO,CAAC,MAAM;QACrB,MAAM;QACN,wBAAwB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,MAAM;QAC/E,eAAe,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,CAAC,MAAM;QACpE,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;KAC7F,CAAC;AACJ,CAAC"}
+{"version":3,"file":"confrontation-coverage.js","sourceRoot":"","sources":["../../src/bridges/confrontation-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAErD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAC7D,CAAC,GAAG,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CACjD,CAAC"}

package/dist/bridges/equations/be-42-hawking-temperature.d.ts

@@ -58,6 +58,9 @@ export interface HawkingTemperatureInputs {
  *   T_H = ℏ c³ / (8π G M k_B)
  *
  * @returns Hawking temperature in K (SI).
+ * @throws {RangeError} when `M_kg` is not a finite positive number, or when
+ *   the SI evaluation overflows to a non-finite temperature. A non-finite
+ *   return would become `null` under `JSON.stringify`.
  */
 export declare function evaluateHawkingTemperature(input: HawkingTemperatureInputs): number;
 /**

package/dist/bridges/equations/be-42-hawking-temperature.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-42-hawking-temperature.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-42-hawking-temperature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAe1F;;;;;GAKG;AACH,eAAO,MAAM,4BAA4B,EAAE,QAyB1C,CAAC;AAEF,4CAA4C;AAC5C,gBAAgB;AAChB,eAAO,MAAM,4BAA4B,EAAE,QAAkC,CAAC;AAI9E,MAAM,WAAW,wBAAwB;IACvC,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;GAMG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,wBAAwB,GAAG,MAAM,CASlF;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}
+{"version":3,"file":"be-42-hawking-temperature.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-42-hawking-temperature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAe1F;;;;;GAKG;AACH,eAAO,MAAM,4BAA4B,EAAE,QAyB1C,CAAC;AAEF,4CAA4C;AAC5C,gBAAgB;AAChB,eAAO,MAAM,4BAA4B,EAAE,QAAkC,CAAC;AAI9E,MAAM,WAAW,wBAAwB;IACvC,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;;;;GASG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,wBAAwB,GAAG,MAAM,CAelF;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}

package/dist/bridges/equations/be-42-hawking-temperature.js

@@ -82,12 +82,19 @@ export const BE42_HAWKING_TEMPERATURE_LHS = sym('T_H', TEMPERATURE);
  *   T_H = ℏ c³ / (8π G M k_B)
  *
  * @returns Hawking temperature in K (SI).
+ * @throws {RangeError} when `M_kg` is not a finite positive number, or when
+ *   the SI evaluation overflows to a non-finite temperature. A non-finite
+ *   return would become `null` under `JSON.stringify`.
  */
 export function evaluateHawkingTemperature(input) {
     validateFiniteInputs(input, [{ name: 'M_kg', min: 0, excludeMin: true }], 'evaluateHawkingTemperature');
     const { M_kg } = input;
     const { hbar, c, G, kB } = PhysicalConstants;
-    return (hbar * c * c * c) / (8 * Math.PI * G * M_kg * kB);
+    const temperature = (hbar * c * c * c) / (8 * Math.PI * G * M_kg * kB);
+    if (!Number.isFinite(temperature)) {
+        throw new RangeError(`evaluateHawkingTemperature: T_H is not a finite number for M_kg=${M_kg} (the SI evaluation overflowed to ${temperature}).`);
+    }
+    return temperature;
 }
 // --- Self-validation ---
 /**

package/dist/bridges/equations/be-42-hawking-temperature.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-42-hawking-temperature.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-42-hawking-temperature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAGH,OAAO,EACL,aAAa,EACb,IAAI,EACJ,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,IAAI,IAAI,QAAQ,EAChB,CAAC,IAAI,KAAK,EACV,CAAC,IAAI,KAAK,EACV,GAAG,IAAI,MAAM,GACd,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAa;IACpD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,oBAAoB;YACpB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;gBACrB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACjD;aACF;SACF;QACD;YACE,gCAAgC;YAChC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;gBACf,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;gBACd,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;aACnB;SACF;KACF;CACF,CAAC;AAEF,4CAA4C;AAC5C,gBAAgB;AAChB,MAAM,CAAC,MAAM,4BAA4B,GAAa,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;AAS9E;;;;;;GAMG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAA+B;IACxE,oBAAoB,CAClB,KAAK,EACL,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAC5C,4BAA4B,CAC7B,CAAC;IACF,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACvB,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IAC7C,OAAO,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC;AAC5D,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CACzB,4BAA4B,EAC5B,4BAA4B,EAC5B,MAAM,CACP,CAAC;AACJ,CAAC"}
+{"version":3,"file":"be-42-hawking-temperature.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-42-hawking-temperature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAGH,OAAO,EACL,aAAa,EACb,IAAI,EACJ,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,IAAI,IAAI,QAAQ,EAChB,CAAC,IAAI,KAAK,EACV,CAAC,IAAI,KAAK,EACV,GAAG,IAAI,MAAM,GACd,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAa;IACpD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,oBAAoB;YACpB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;gBACrB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACjD;aACF;SACF;QACD;YACE,gCAAgC;YAChC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;gBACf,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;gBACd,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;aACnB;SACF;KACF;CACF,CAAC;AAEF,4CAA4C;AAC5C,gBAAgB;AAChB,MAAM,CAAC,MAAM,4BAA4B,GAAa,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;AAS9E;;;;;;;;;GASG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAA+B;IACxE,oBAAoB,CAClB,KAAK,EACL,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAC5C,4BAA4B,CAC7B,CAAC;IACF,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACvB,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IAC7C,MAAM,WAAW,GAAG,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC;IACvE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,UAAU,CAClB,mEAAmE,IAAI,qCAAqC,WAAW,IAAI,CAC5H,CAAC;IACJ,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CACzB,4BAA4B,EAC5B,4BAA4B,EAC5B,MAAM,CACP,CAAC;AACJ,CAAC"}

package/dist/bridges/evaluators.d.ts

@@ -47,6 +47,14 @@ export interface EvaluatorSpec {
 }
 /** Bridge id → evaluator. @public */
 export declare const BRIDGE_EVALUATORS: ReadonlyMap<number, EvaluatorSpec>;
+/**
+ * What to say when an id is not in {@link BRIDGE_EVALUATORS}.
+ * be-42 is the Hawking temperature. `upt evaluate` does not run it.
+ * `BridgeEquations.hawkingTemperature({ M_kg })` and
+ * `upt explain hawking-temperature mass=1.989e30` do.
+ * @internal
+ */
+export declare function missingEvaluatorMessage(bridgeId: number): string;
 /**
  * Evaluate a bridge by id with a numeric input record. Throws on an unknown id
  * or a missing required input (the evaluator itself validates ranges).

package/dist/bridges/evaluators.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"evaluators.d.ts","sourceRoot":"","sources":["../../src/bridges/evaluators.ts"],"names":[],"mappings":"AAyBA;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,UAAU,GAAG,YAAY,GAAG,kBAAkB,GAAG,iBAAiB,CAAC;AAEzG;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC;IACjC,gFAAgF;IAChF,QAAQ,CAAC,WAAW,CAAC,EAAE,UAAU,CAAC;IAClC,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACpD,2FAA2F;IAC3F,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;CAC1B;AAED,mEAAmE;AACnE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,0DAA0D;IAC1D,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,wDAAwD;IACxD,QAAQ,CAAC,UAAU,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACnD,qFAAqF;IACrF,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC;CACxD;AAyBD,qCAAqC;AACrC,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAsFhE,CAAC;AAEF;;;;;GAKG;AACH,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GACvC,OAAO,CAcT"}
+{"version":3,"file":"evaluators.d.ts","sourceRoot":"","sources":["../../src/bridges/evaluators.ts"],"names":[],"mappings":"AAyBA;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,UAAU,GAAG,YAAY,GAAG,kBAAkB,GAAG,iBAAiB,CAAC;AAEzG;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC;IACjC,gFAAgF;IAChF,QAAQ,CAAC,WAAW,CAAC,EAAE,UAAU,CAAC;IAClC,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACpD,2FAA2F;IAC3F,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;CAC1B;AAED,mEAAmE;AACnE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,0DAA0D;IAC1D,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,wDAAwD;IACxD,QAAQ,CAAC,UAAU,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACnD,qFAAqF;IACrF,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC;CACxD;AAyBD,qCAAqC;AACrC,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAsFhE,CAAC;AAEF;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAShE;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GACvC,OAAO,CAYT"}

package/dist/bridges/evaluators.js

@@ -68,6 +68,21 @@ export const BRIDGE_EVALUATORS = new Map([
         P('mu', 'mean molecular weight', 'μ', '', '≈ 2.3 for molecular H₂/He clouds'),
     ], (i) => evaluateJeansMass({ T_K: i.T_K, rho_kg_per_m3: i.rho_kg_per_m3, mu: i.mu })),
 ].map((s) => [s.bridgeId, s]));
+/**
+ * What to say when an id is not in {@link BRIDGE_EVALUATORS}.
+ * be-42 is the Hawking temperature. `upt evaluate` does not run it.
+ * `BridgeEquations.hawkingTemperature({ M_kg })` and
+ * `upt explain hawking-temperature mass=1.989e30` do.
+ * @internal
+ */
+export function missingEvaluatorMessage(bridgeId) {
+    if (bridgeId === 42) {
+        return ('evaluateBridge: be-42 has no id-keyed evaluator. ' +
+            'Hawking temperature is BridgeEquations.hawkingTemperature({ M_kg }). ' +
+            'From the CLI: upt explain hawking-temperature mass=1.989e30');
+    }
+    return `evaluateBridge: be-${bridgeId} has no evaluator (only closed-form + spacetime bridges do — see \`upt evaluate\` with no args)`;
+}
 /**
  * Evaluate a bridge by id with a numeric input record. Throws on an unknown id
  * or a missing required input (the evaluator itself validates ranges).
@@ -77,7 +92,7 @@ export const BRIDGE_EVALUATORS = new Map([
 export function evaluateBridge(bridgeId, inputs) {
     const s = BRIDGE_EVALUATORS.get(bridgeId);
     if (!s) {
-        throw new Error(`evaluateBridge: be-${bridgeId} has no evaluator (only closed-form + spacetime bridges do — see \`upt evaluate\` with no args)`);
+        throw new Error(missingEvaluatorMessage(bridgeId));
     }
     const missing = s.inputKeys.filter((k) => !(k in inputs) || !Number.isFinite(inputs[k]));
     if (missing.length) {

package/dist/bridges/evaluators.js.map

@@ -1 +1 @@
-{"version":3,"file":"evaluators.js","sourceRoot":"","sources":["../../src/bridges/evaluators.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,EAAE,2BAA2B,EAAE,MAAM,gCAAgC,CAAC;AAC7E,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAqDzD,gBAAgB;AAChB,SAAS,IAAI,CACX,QAAgB,EAChB,IAAY,EACZ,UAAyC,EACzC,GAA2C;IAE3C,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;AACtF,CAAC;AAED,gBAAgB;AAChB,MAAM,CAAC,GAAG,CACR,GAAW,EACX,QAAgB,EAChB,MAAc,EACd,IAAY,EACZ,OAAe,EACf,KAAK,GAAwE,EAAE,EAC3D,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;AAE9E,MAAM,WAAW,GAAG,CAAC,GAAW,EAAE,QAAgB,EAAE,MAAc,EAAE,OAAe,EAAsB,EAAE,CACzG,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC,CAAC;AAEtE,qCAAqC;AACrC,MAAM,CAAC,MAAM,iBAAiB,GAAuC,IAAI,GAAG,CAC1E;IACE,IAAI,CACF,EAAE,EACF,mCAAmC,EACnC;QACE,CAAC,CAAC,MAAM,EAAE,cAAc,EAAE,GAAG,EAAE,IAAI,EAAE,6BAA6B,CAAC;QACnE,CAAC,CAAC,KAAK,EAAE,kBAAkB,EAAE,GAAG,EAAE,GAAG,EAAE,kEAAkE,EAAE;YACzG,QAAQ,EAAE,kBAAkB;SAC7B,CAAC;KACH,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,4BAA4B,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAClE;IACD,IAAI,CACF,EAAE,EACF,kCAAkC,EAClC;QACE,CAAC,CAAC,MAAM,EAAE,cAAc,EAAE,GAAG,EAAE,IAAI,EAAE,0BAA0B,CAAC;QAChE,CAAC,CAAC,KAAK,EAAE,iBAAiB,EAAE,GAAG,EAAE,GAAG,EAAE,kCAAkC,EAAE;YACxE,QAAQ,EAAE,iBAAiB;YAC3B,UAAU,EAAE,CAAC,EAAE,GAAG,EAAE,cAAc,EAAE,OAAO,EAAE,yDAAyD,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;SACtH,CAAC;QACF,CAAC,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,EAAE,EAAE,iCAAiC,CAAC;QAClE,CAAC,CAAC,MAAM,EAAE,gBAAgB,EAAE,GAAG,EAAE,IAAI,EAAE,sEAAsE,CAAC;KAC/G,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,4BAA4B,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CACxF;IACD,IAAI,CAAC,EAAE,EAAE,6BAA6B,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,qBAAqB,EAAE,GAAG,EAAE,EAAE,EAAE,gCAAgC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CACxH,mBAAmB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAChC;IACD,IAAI,CACF,EAAE,EACF,gBAAgB,EAChB,CAAC,CAAC,CAAC,KAAK,EAAE,kBAAkB,EAAE,GAAG,EAAE,GAAG,EAAE,gDAAgD,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC,CAAC,EACtH,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CACvC;IACD,IAAI,CAAC,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,qBAAqB,EAAE,GAAG,EAAE,OAAO,EAAE,8BAA8B,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CACjH,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CACpC;IACD,IAAI,CACF,EAAE,EACF,uBAAuB,EACvB;QACE,WAAW,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,6CAA6C,CAAC;QACrF,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,EAAE,KAAK,EAAE,qBAAqB,CAAC;KAC5D,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAC9D;IACD,IAAI,CAAC,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,cAAc,EAAE,GAAG,EAAE,GAAG,EAAE,qCAAqC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAC9G,mBAAmB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAC5C;IACD,IAAI,CAAC,EAAE,EAAE,yBAAyB,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,EAAE,EAAE,6BAA6B,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAC/G,oBAAoB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CACnC;IACD,IAAI,CACF,EAAE,EACF,iBAAiB,EACjB;QACE,CAAC,CAAC,eAAe,EAAE,yBAAyB,EAAE,GAAG,EAAE,KAAK,EAAE,6BAA6B,CAAC;QACxF,WAAW,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,mCAAmC,CAAC;KAC5E,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAC9E;IACD,IAAI,CAAC,EAAE,EAAE,eAAe,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,sBAAsB,EAAE,KAAK,EAAE,4CAA4C,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CACnI,cAAc,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CACnC;IACD,IAAI,CACF,EAAE,EACF,oBAAoB,EACpB,CAAC,CAAC,CAAC,MAAM,EAAE,oCAAoC,EAAE,KAAK,EAAE,EAAE,EAAE,mCAAmC,CAAC,CAAC,EACjG,CAAC,CAAC,EAAE,EAAE,CAAC,yBAAyB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CACnD;IACD,IAAI,CAAC,EAAE,EAAE,sBAAsB,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,eAAe,EAAE,GAAG,EAAE,IAAI,EAAE,yCAAyC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CACzH,2BAA2B,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAC9C;IACD,IAAI,CACF,EAAE,EACF,YAAY,EACZ;QACE,WAAW,CAAC,KAAK,EAAE,mBAAmB,EAAE,GAAG,EAAE,mCAAmC,CAAC;QACjF,CAAC,CAAC,eAAe,EAAE,cAAc,EAAE,GAAG,EAAE,QAAQ,EAAE,2BAA2B,CAAC;QAC9E,CAAC,CAAC,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,EAAE,EAAE,kCAAkC,CAAC;KAC9E,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,aAAa,EAAE,CAAC,CAAC,aAAa,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CACnF;CACF,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAC9B,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAC5B,QAAgB,EAChB,MAAwC;IAExC,MAAM,CAAC,GAAG,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC1C,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,KAAK,CACb,sBAAsB,QAAQ,iGAAiG,CAChI,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzF,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CACb,sBAAsB,QAAQ,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,0BAA0B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC1H,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AACvB,CAAC"}
+{"version":3,"file":"evaluators.js","sourceRoot":"","sources":["../../src/bridges/evaluators.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,EAAE,2BAA2B,EAAE,MAAM,gCAAgC,CAAC;AAC7E,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAqDzD,gBAAgB;AAChB,SAAS,IAAI,CACX,QAAgB,EAChB,IAAY,EACZ,UAAyC,EACzC,GAA2C;IAE3C,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;AACtF,CAAC;AAED,gBAAgB;AAChB,MAAM,CAAC,GAAG,CACR,GAAW,EACX,QAAgB,EAChB,MAAc,EACd,IAAY,EACZ,OAAe,EACf,KAAK,GAAwE,EAAE,EAC3D,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;AAE9E,MAAM,WAAW,GAAG,CAAC,GAAW,EAAE,QAAgB,EAAE,MAAc,EAAE,OAAe,EAAsB,EAAE,CACzG,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC,CAAC;AAEtE,qCAAqC;AACrC,MAAM,CAAC,MAAM,iBAAiB,GAAuC,IAAI,GAAG,CAC1E;IACE,IAAI,CACF,EAAE,EACF,mCAAmC,EACnC;QACE,CAAC,CAAC,MAAM,EAAE,cAAc,EAAE,GAAG,EAAE,IAAI,EAAE,6BAA6B,CAAC;QACnE,CAAC,CAAC,KAAK,EAAE,kBAAkB,EAAE,GAAG,EAAE,GAAG,EAAE,kEAAkE,EAAE;YACzG,QAAQ,EAAE,kBAAkB;SAC7B,CAAC;KACH,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,4BAA4B,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAClE;IACD,IAAI,CACF,EAAE,EACF,kCAAkC,EAClC;QACE,CAAC,CAAC,MAAM,EAAE,cAAc,EAAE,GAAG,EAAE,IAAI,EAAE,0BAA0B,CAAC;QAChE,CAAC,CAAC,KAAK,EAAE,iBAAiB,EAAE,GAAG,EAAE,GAAG,EAAE,kCAAkC,EAAE;YACxE,QAAQ,EAAE,iBAAiB;YAC3B,UAAU,EAAE,CAAC,EAAE,GAAG,EAAE,cAAc,EAAE,OAAO,EAAE,yDAAyD,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;SACtH,CAAC;QACF,CAAC,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,EAAE,EAAE,iCAAiC,CAAC;QAClE,CAAC,CAAC,MAAM,EAAE,gBAAgB,EAAE,GAAG,EAAE,IAAI,EAAE,sEAAsE,CAAC;KAC/G,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,4BAA4B,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CACxF;IACD,IAAI,CAAC,EAAE,EAAE,6BAA6B,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,qBAAqB,EAAE,GAAG,EAAE,EAAE,EAAE,gCAAgC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CACxH,mBAAmB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAChC;IACD,IAAI,CACF,EAAE,EACF,gBAAgB,EAChB,CAAC,CAAC,CAAC,KAAK,EAAE,kBAAkB,EAAE,GAAG,EAAE,GAAG,EAAE,gDAAgD,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC,CAAC,EACtH,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CACvC;IACD,IAAI,CAAC,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,qBAAqB,EAAE,GAAG,EAAE,OAAO,EAAE,8BAA8B,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CACjH,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CACpC;IACD,IAAI,CACF,EAAE,EACF,uBAAuB,EACvB;QACE,WAAW,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,6CAA6C,CAAC;QACrF,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,EAAE,KAAK,EAAE,qBAAqB,CAAC;KAC5D,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAC9D;IACD,IAAI,CAAC,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,cAAc,EAAE,GAAG,EAAE,GAAG,EAAE,qCAAqC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAC9G,mBAAmB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAC5C;IACD,IAAI,CAAC,EAAE,EAAE,yBAAyB,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,EAAE,EAAE,6BAA6B,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAC/G,oBAAoB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CACnC;IACD,IAAI,CACF,EAAE,EACF,iBAAiB,EACjB;QACE,CAAC,CAAC,eAAe,EAAE,yBAAyB,EAAE,GAAG,EAAE,KAAK,EAAE,6BAA6B,CAAC;QACxF,WAAW,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,mCAAmC,CAAC;KAC5E,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAC9E;IACD,IAAI,CAAC,EAAE,EAAE,eAAe,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,sBAAsB,EAAE,KAAK,EAAE,4CAA4C,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CACnI,cAAc,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CACnC;IACD,IAAI,CACF,EAAE,EACF,oBAAoB,EACpB,CAAC,CAAC,CAAC,MAAM,EAAE,oCAAoC,EAAE,KAAK,EAAE,EAAE,EAAE,mCAAmC,CAAC,CAAC,EACjG,CAAC,CAAC,EAAE,EAAE,CAAC,yBAAyB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CACnD;IACD,IAAI,CAAC,EAAE,EAAE,sBAAsB,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,eAAe,EAAE,GAAG,EAAE,IAAI,EAAE,yCAAyC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CACzH,2BAA2B,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAC9C;IACD,IAAI,CACF,EAAE,EACF,YAAY,EACZ;QACE,WAAW,CAAC,KAAK,EAAE,mBAAmB,EAAE,GAAG,EAAE,mCAAmC,CAAC;QACjF,CAAC,CAAC,eAAe,EAAE,cAAc,EAAE,GAAG,EAAE,QAAQ,EAAE,2BAA2B,CAAC;QAC9E,CAAC,CAAC,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,EAAE,EAAE,kCAAkC,CAAC;KAC9E,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,aAAa,EAAE,CAAC,CAAC,aAAa,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CACnF;CACF,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAC9B,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CAAC,QAAgB;IACtD,IAAI,QAAQ,KAAK,EAAE,EAAE,CAAC;QACpB,OAAO,CACL,mDAAmD;YACnD,uEAAuE;YACvE,6DAA6D,CAC9D,CAAC;IACJ,CAAC;IACD,OAAO,sBAAsB,QAAQ,iGAAiG,CAAC;AACzI,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAC5B,QAAgB,EAChB,MAAwC;IAExC,MAAM,CAAC,GAAG,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC1C,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzF,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CACb,sBAAsB,QAAQ,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,0BAA0B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC1H,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AACvB,CAAC"}

package/dist/bridges/index.d.ts

@@ -2,7 +2,8 @@
  * Universal Physics Tensor — Bridge Equation Index
  *
  * Machine-readable catalog of all bridge equations (IDs from 11) from the UPT
- * specification (Parts I-VI; BE-51–54 catalogued in Part-II §V-B). Each entry
+ * specification (Parts I-VI; BE-51–54 catalogued in Part-II §V-B; BE-55–65
+ * catalogued in Part-II §V-C). Each entry
  * preserves the spec's stated status, known issues, references, and
  * dependencies on other bridge equations.
  *

package/dist/bridges/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/bridges/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAIH,OAAO,KAAK,EACV,WAAW,EACX,cAAc,EACd,MAAM,EACN,gBAAgB,EACjB,MAAM,uBAAuB,CAAC;AAe/B;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,oBAAoB,GAC5B,aAAa,GACb,aAAa,GACb,oBAAoB,GACpB,SAAS,CAAC;AAEd;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAC5B,CAAC,EAAE,oBAAoB,GACtB,CAAC,IAAI,OAAO,CAAC,oBAAoB,EAAE,SAAS,CAAC,CAE/C;AAED;;;;;;;;;GASG;AACH,MAAM,MAAM,mBAAmB,GAC3B,eAAe,GACf,aAAa,GACb,iBAAiB,GACjB,MAAM,GACN,oBAAoB,GACpB,yBAAyB,GACzB,OAAO,CAAC;AAEZ;;;;;;;;GAQG;AACH,MAAM,MAAM,kBAAkB,GAC1B,WAAW,GACX,eAAe,GACf,6BAA6B,GAC7B,SAAS,CAAC;AAEd;;;;;;;;;;;;;;;;;;GAkBG;AAIH,KAAK,uBAAuB,GACxB,aAAa,GACb,qBAAqB,GACrB,sBAAsB,GACtB,oBAAoB,GACpB,WAAW,CAAC;AAEhB;;;;;;;;GAQG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,0EAA0E;IAC1E,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,kBAAkB,CAAC;CAC7B;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,mBAAmB;IAClC,8BAA8B;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,2CAA2C;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,6BAA6B;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,+DAA+D;IAC/D,aAAa,EAAE,MAAM,CAAC;IACtB,oDAAoD;IACpD,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1B,MAAM,EAAE,oBAAoB,CAAC;IAC7B,2DAA2D;IAC3D,OAAO,EAAE,MAAM,CAAC;IAChB,8DAA8D;IAC9D,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,WAAW,EAAE,GAAG,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC;IACpD,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,UAAU,EAAE,CAAC;IAC3B,4DAA4D;IAC5D,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,yEAAyE;IACzE,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,uEAAuE;IACvE,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,kBAAkB,EAAE,uBAAuB,CAAC;IAC5C,sEAAsE;IACtE,KAAK,EAAE,MAAM,CAAC;IAGd;;;;OAIG;IACH,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IAC5B;;;;;;;;;;;OAWG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,8CAA8C;IAC9C,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B,+DAA+D;IAC/D,eAAe,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;CAG7C;AAsHD;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,WAAW,EAAE,MAWzB,CAAC;AAEF;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,WAAW,EAAE,MAWzB,CAAC;AA+BF;;;;;;GAMG;AACH,eAAO,MAAM,WAAW,EAAE,MAiBzB,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,6BAA6B,EAAE,QAAQ,CAClD,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAKjD,CAAC;AAEF,eAAO,MAAM,gBAAgB,EAAE,mBAAmB,EAyoEjD,CAAC;AAMF,OAAO,EACL,4BAA4B,EAC5B,KAAK,0BAA0B,EAC/B,KAAK,0BAA0B,GAChC,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,4BAA4B,EAC5B,KAAK,0BAA0B,EAC/B,KAAK,0BAA0B,GAChC,MAAM,4BAA4B,CAAC;AAGpC,OAAO,EACL,mBAAmB,EACnB,eAAe,EACf,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,GACvB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,eAAe,EACf,KAAK,aAAa,EAClB,KAAK,aAAa,GACnB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,aAAa,EACb,KAAK,WAAW,EAChB,KAAK,WAAW,GACjB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,sBAAsB,EACtB,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,GAC1B,MAAM,2BAA2B,CAAC;AAGnC,OAAO,EACL,mBAAmB,EACnB,qBAAqB,EACrB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,GACvB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,oBAAoB,EACpB,KAAK,kBAAkB,EACvB,KAAK,kBAAkB,GACxB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,sBAAsB,EACtB,gBAAgB,EAChB,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,GAC1B,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,cAAc,EACd,aAAa,EACb,KAAK,YAAY,EACjB,KAAK,YAAY,GAClB,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EACL,yBAAyB,EACzB,iBAAiB,EACjB,KAAK,mBAAmB,EACxB,KAAK,mBAAmB,GACzB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,2BAA2B,EAC3B,wBAAwB,EACxB,KAAK,eAAe,EACpB,KAAK,eAAe,GACrB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,iBAAiB,EACjB,KAAK,WAAW,EAChB,KAAK,WAAW,GACjB,MAAM,sBAAsB,CAAC;eAEf,gBAAgB"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/bridges/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAIH,OAAO,KAAK,EACV,WAAW,EACX,cAAc,EACd,MAAM,EACN,gBAAgB,EACjB,MAAM,uBAAuB,CAAC;AAe/B;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,oBAAoB,GAC5B,aAAa,GACb,aAAa,GACb,oBAAoB,GACpB,SAAS,CAAC;AAEd;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAC5B,CAAC,EAAE,oBAAoB,GACtB,CAAC,IAAI,OAAO,CAAC,oBAAoB,EAAE,SAAS,CAAC,CAE/C;AAED;;;;;;;;;GASG;AACH,MAAM,MAAM,mBAAmB,GAC3B,eAAe,GACf,aAAa,GACb,iBAAiB,GACjB,MAAM,GACN,oBAAoB,GACpB,yBAAyB,GACzB,OAAO,CAAC;AAEZ;;;;;;;;GAQG;AACH,MAAM,MAAM,kBAAkB,GAC1B,WAAW,GACX,eAAe,GACf,6BAA6B,GAC7B,SAAS,CAAC;AAEd;;;;;;;;;;;;;;;;;;GAkBG;AAIH,KAAK,uBAAuB,GACxB,aAAa,GACb,qBAAqB,GACrB,sBAAsB,GACtB,oBAAoB,GACpB,WAAW,CAAC;AAEhB;;;;;;;;GAQG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,0EAA0E;IAC1E,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,kBAAkB,CAAC;CAC7B;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,mBAAmB;IAClC,8BAA8B;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,2CAA2C;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,6BAA6B;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,+DAA+D;IAC/D,aAAa,EAAE,MAAM,CAAC;IACtB,oDAAoD;IACpD,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1B,MAAM,EAAE,oBAAoB,CAAC;IAC7B,2DAA2D;IAC3D,OAAO,EAAE,MAAM,CAAC;IAChB,8DAA8D;IAC9D,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,WAAW,EAAE,GAAG,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC;IACpD,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,UAAU,EAAE,CAAC;IAC3B,4DAA4D;IAC5D,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,yEAAyE;IACzE,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,uEAAuE;IACvE,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,kBAAkB,EAAE,uBAAuB,CAAC;IAC5C,sEAAsE;IACtE,KAAK,EAAE,MAAM,CAAC;IAGd;;;;OAIG;IACH,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IAC5B;;;;;;;;;;;OAWG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,8CAA8C;IAC9C,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B,+DAA+D;IAC/D,eAAe,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;CAG7C;AAsHD;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,WAAW,EAAE,MAWzB,CAAC;AAEF;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,WAAW,EAAE,MAWzB,CAAC;AA+BF;;;;;;GAMG;AACH,eAAO,MAAM,WAAW,EAAE,MAiBzB,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,6BAA6B,EAAE,QAAQ,CAClD,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAKjD,CAAC;AAEF,eAAO,MAAM,gBAAgB,EAAE,mBAAmB,EAyoEjD,CAAC;AAMF,OAAO,EACL,4BAA4B,EAC5B,KAAK,0BAA0B,EAC/B,KAAK,0BAA0B,GAChC,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,4BAA4B,EAC5B,KAAK,0BAA0B,EAC/B,KAAK,0BAA0B,GAChC,MAAM,4BAA4B,CAAC;AAGpC,OAAO,EACL,mBAAmB,EACnB,eAAe,EACf,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,GACvB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,eAAe,EACf,KAAK,aAAa,EAClB,KAAK,aAAa,GACnB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,aAAa,EACb,KAAK,WAAW,EAChB,KAAK,WAAW,GACjB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,sBAAsB,EACtB,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,GAC1B,MAAM,2BAA2B,CAAC;AAGnC,OAAO,EACL,mBAAmB,EACnB,qBAAqB,EACrB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,GACvB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,oBAAoB,EACpB,KAAK,kBAAkB,EACvB,KAAK,kBAAkB,GACxB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,sBAAsB,EACtB,gBAAgB,EAChB,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,GAC1B,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,cAAc,EACd,aAAa,EACb,KAAK,YAAY,EACjB,KAAK,YAAY,GAClB,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EACL,yBAAyB,EACzB,iBAAiB,EACjB,KAAK,mBAAmB,EACxB,KAAK,mBAAmB,GACzB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,2BAA2B,EAC3B,wBAAwB,EACxB,KAAK,eAAe,EACpB,KAAK,eAAe,GACrB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,iBAAiB,EACjB,KAAK,WAAW,EAChB,KAAK,WAAW,GACjB,MAAM,sBAAsB,CAAC;eAEf,gBAAgB"}

package/dist/bridges/index.js

@@ -2,7 +2,8 @@
  * Universal Physics Tensor — Bridge Equation Index
  *
  * Machine-readable catalog of all bridge equations (IDs from 11) from the UPT
- * specification (Parts I-VI; BE-51–54 catalogued in Part-II §V-B). Each entry
+ * specification (Parts I-VI; BE-51–54 catalogued in Part-II §V-B; BE-55–65
+ * catalogued in Part-II §V-C). Each entry
  * preserves the spec's stated status, known issues, references, and
  * dependencies on other bridge equations.
  *