universal-physics-tensor 5.0.0 → 6.1.0

package/dist/bridges/be97-ambegaokar-baratoff.d.ts

@@ -1,6 +1,6 @@
 /**
  * Inputs for {@link evaluateAmbegaokarBaratoff}.
- * @public
+ * @internal
  */
 export interface AmbegaokarBaratoffInputs {
     /** Gap, joules. Identical on the two sides, at T = 0. */
@@ -8,7 +8,7 @@ export interface AmbegaokarBaratoffInputs {
 }
 /**
  * Result of {@link evaluateAmbegaokarBaratoff}.
- * @public
+ * @internal
  */
 export interface AmbegaokarBaratoffResult {
     readonly Delta_J: number;
@@ -18,7 +18,7 @@ export interface AmbegaokarBaratoffResult {
 /**
  * Evaluate the T = 0 Ambegaokar–Baratoff product. Not the tanh factor.
  *
- * @public
+ * @internal
  */
 export declare function evaluateAmbegaokarBaratoff({ Delta_J }: AmbegaokarBaratoffInputs): AmbegaokarBaratoffResult;
 //# sourceMappingURL=be97-ambegaokar-baratoff.d.ts.map

package/dist/bridges/be97-ambegaokar-baratoff.js

@@ -18,7 +18,7 @@ import { E_SI } from '../core/constants.js';
 /**
  * Evaluate the T = 0 Ambegaokar–Baratoff product. Not the tanh factor.
  *
- * @public
+ * @internal
  */
 export function evaluateAmbegaokarBaratoff({ Delta_J }) {
     if (!Number.isFinite(Delta_J) || Delta_J <= 0) {

package/dist/bridges/be98-bcs-jump.d.ts

@@ -16,7 +16,7 @@
  */
 /**
  * Inputs for {@link evaluateBcsJump}.
- * @public
+ * @internal
  */
 export interface BcsJumpInputs {
     /** GL quartic coefficient ζ. Not a zeta-function value. */
@@ -24,7 +24,7 @@ export interface BcsJumpInputs {
 }
 /**
  * Result of {@link evaluateBcsJump}.
- * @public
+ * @internal
  */
 export interface BcsJumpResult {
     readonly zeta: number;
@@ -34,7 +34,7 @@ export interface BcsJumpResult {
 /**
  * Evaluate ΔC/C_n = 12/(7 ζ). ζ is supplied, not summed.
  *
- * @public
+ * @internal
  */
 export declare function evaluateBcsJump({ zeta }: BcsJumpInputs): BcsJumpResult;
 //# sourceMappingURL=be98-bcs-jump.d.ts.map

package/dist/bridges/be98-bcs-jump.js

@@ -17,7 +17,7 @@
 /**
  * Evaluate ΔC/C_n = 12/(7 ζ). ζ is supplied, not summed.
  *
- * @public
+ * @internal
  */
 export function evaluateBcsJump({ zeta }) {
     if (!Number.isFinite(zeta) || zeta === 0) {

package/dist/bridges/be99-mass-action.d.ts

@@ -1,6 +1,6 @@
 /**
  * Inputs for {@link evaluateMassAction}.
- * @public
+ * @internal
  */
 export interface MassActionInputs {
     /** Conduction-band effective density of states, per cubic metre. */
@@ -14,7 +14,7 @@ export interface MassActionInputs {
 }
 /**
  * Result of {@link evaluateMassAction}.
- * @public
+ * @internal
  */
 export interface MassActionResult {
     readonly N_c_per_m3: number;
@@ -27,7 +27,7 @@ export interface MassActionResult {
 /**
  * Evaluate the mass-action intrinsic density. The 2 in the exponent stays.
  *
- * @public
+ * @internal
  */
 export declare function evaluateMassAction({ N_c_per_m3, N_v_per_m3, E_g_J, T_K, }: MassActionInputs): MassActionResult;
 //# sourceMappingURL=be99-mass-action.d.ts.map

package/dist/bridges/be99-mass-action.js

@@ -16,7 +16,7 @@ import { K_B_SI } from '../core/constants.js';
 /**
  * Evaluate the mass-action intrinsic density. The 2 in the exponent stays.
  *
- * @public
+ * @internal
  */
 export function evaluateMassAction({ N_c_per_m3, N_v_per_m3, E_g_J, T_K, }) {
     if (!Number.isFinite(N_c_per_m3) || N_c_per_m3 <= 0) {

package/dist/bridges/bridge-equations.d.ts

@@ -122,7 +122,7 @@ import { evaluateLandauerConductance } from './be102-landauer-conductance.js';
  * Root-level facade keyed by readable method names. Each value is a re-export of
  * the bridge's existing `evaluate*()` function; the bridge ID is in the comment.
  *
- * @public
+ * @internal
  */
 export declare const BridgeEquations: {
     readonly decoherenceRate: typeof evaluateDecoherenceRate;

package/dist/bridges/bridge-equations.js

@@ -122,7 +122,7 @@ import { evaluateLandauerConductance } from './be102-landauer-conductance.js';
  * Root-level facade keyed by readable method names. Each value is a re-export of
  * the bridge's existing `evaluate*()` function; the bridge ID is in the comment.
  *
- * @public
+ * @internal
  */
 export const BridgeEquations = {
     decoherenceRate: evaluateDecoherenceRate, // BE-11

package/dist/bridges/carrier-sign.d.ts

@@ -17,17 +17,31 @@
 export declare class CarrierSignError extends Error {
     constructor(message: string);
 }
-/** True when the product is positive or zero, including a zero factor. */
-export declare function sameCarrierSign(a: number, b: number): boolean;
 /**
- * Reject opposite signs. `left` and `right` are the names in the message,
- * so `evaluateEinsteinRelation: mu_m2_per_Vs` and `q_C` keep that sentence.
+ * Reset the sign-policy call count. The once-check reads the count after this.
+ * @internal
  */
-export declare function assertSameCarrierSign(a: number, b: number, left: string, right: string): void;
+export declare function resetCarrierSignPolicyCalls(): void;
 /**
- * A monomial that is odd in both `charge` and `carrier-mobility` is a
- * positive transport coefficient. Opposite signs throw. Any other shape,
- * including a Hall coefficient, is left alone.
+ * How many times the sign policy has run since the last reset.
+ * @internal
  */
-export declare function assertCarrierProductSign(monomial: Readonly<Record<string, number>>, inputs: Readonly<Record<string, number>>): void;
+export declare function readCarrierSignPolicyCalls(): number;
+/** A same-sign pair whose names are not `charge` and `carrier-mobility`. */
+interface CarrierSignPair {
+    readonly a: number;
+    readonly b: number;
+    readonly left: string;
+    readonly right: string;
+}
+/**
+ * One sign policy. A monomial odd in both `charge` and `carrier-mobility`
+ * rejects opposite signs. `pair` is that same check for a formula whose
+ * names are not those two (the Einstein relation). Inputs the scalar AST
+ * is even in are replaced by their absolute values. The math underneath
+ * does not apply this again.
+ * @internal
+ */
+export declare function applyCarrierSignPolicy(monomial: Readonly<Record<string, number>> | null, inputs: Readonly<Record<string, number>>, even: ReadonlySet<string>, pair?: CarrierSignPair): Record<string, number>;
+export {};
 //# sourceMappingURL=carrier-sign.d.ts.map

package/dist/bridges/carrier-sign.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"carrier-sign.d.ts","sourceRoot":"","sources":["../../src/bridges/carrier-sign.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH;;;;GAIG;AACH,qBAAa,gBAAiB,SAAQ,KAAK;IACzC,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED,0EAA0E;AAC1E,wBAAgB,eAAe,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,OAAO,CAE7D;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAE7F;AAOD;;;;GAIG;AACH,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC1C,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GACvC,IAAI,CASN"}
+{"version":3,"file":"carrier-sign.d.ts","sourceRoot":"","sources":["../../src/bridges/carrier-sign.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH;;;;GAIG;AACH,qBAAa,gBAAiB,SAAQ,KAAK;IACzC,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAmBD;;;GAGG;AACH,wBAAgB,2BAA2B,IAAI,IAAI,CAElD;AAED;;;GAGG;AACH,wBAAgB,0BAA0B,IAAI,MAAM,CAEnD;AAOD,4EAA4E;AAC5E,UAAU,eAAe;IACvB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,IAAI,EACjD,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EACxC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,EACzB,IAAI,CAAC,EAAE,eAAe,GACrB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAsCxB"}

package/dist/bridges/carrier-sign.js

@@ -21,37 +21,84 @@ export class CarrierSignError extends Error {
     }
 }
 /** True when the product is positive or zero, including a zero factor. */
-export function sameCarrierSign(a, b) {
+function sameCarrierSign(a, b) {
     return a * b >= 0;
 }
 /**
- * Reject opposite signs. `left` and `right` are the names in the message,
- * so `evaluateEinsteinRelation: mu_m2_per_Vs` and `q_C` keep that sentence.
+ * Reject opposite signs. `left` and `right` are the names in the message.
+ * Only {@link applyCarrierSignPolicy} calls this.
  */
-export function assertSameCarrierSign(a, b, left, right) {
-    if (a * b < 0)
+function assertSameCarrierSign(a, b, left, right) {
+    const opposite = Number.isFinite(a) && Number.isFinite(b) ? !sameCarrierSign(a, b) : a * b < 0;
+    if (opposite)
         throw new CarrierSignError(`${left} and ${right} must have the same sign`);
 }
+/** How many times the sign policy has run since the last reset. The once-check reads this. */
+let carrierSignPolicyCalls = 0;
+/**
+ * Reset the sign-policy call count. The once-check reads the count after this.
+ * @internal
+ */
+export function resetCarrierSignPolicyCalls() {
+    carrierSignPolicyCalls = 0;
+}
+/**
+ * How many times the sign policy has run since the last reset.
+ * @internal
+ */
+export function readCarrierSignPolicyCalls() {
+    return carrierSignPolicyCalls;
+}
 /** An integer exponent whose absolute value is odd. A half power is not odd. */
 function oddIntegerExponent(exp) {
     return Number.isInteger(exp) && Math.abs(exp) % 2 === 1;
 }
 /**
- * A monomial that is odd in both `charge` and `carrier-mobility` is a
- * positive transport coefficient. Opposite signs throw. Any other shape,
- * including a Hall coefficient, is left alone.
+ * One sign policy. A monomial odd in both `charge` and `carrier-mobility`
+ * rejects opposite signs. `pair` is that same check for a formula whose
+ * names are not those two (the Einstein relation). Inputs the scalar AST
+ * is even in are replaced by their absolute values. The math underneath
+ * does not apply this again.
+ * @internal
  */
-export function assertCarrierProductSign(monomial, inputs) {
-    const qExp = monomial.charge;
-    const muExp = monomial['carrier-mobility'];
-    if (qExp === undefined || muExp === undefined)
-        return;
-    if (!oddIntegerExponent(qExp) || !oddIntegerExponent(muExp))
-        return;
-    const q = inputs.charge;
-    const mu = inputs['carrier-mobility'];
-    if (q === undefined || mu === undefined)
-        return;
-    assertSameCarrierSign(q, mu, 'charge', 'carrier-mobility');
+export function applyCarrierSignPolicy(monomial, inputs, even, pair) {
+    carrierSignPolicyCalls += 1;
+    let left;
+    let right;
+    let leftName = '';
+    let rightName = '';
+    if (pair !== undefined) {
+        left = pair.a;
+        right = pair.b;
+        leftName = pair.left;
+        rightName = pair.right;
+    }
+    else if (monomial !== null) {
+        const qExp = monomial.charge;
+        const muExp = monomial['carrier-mobility'];
+        if (qExp !== undefined &&
+            muExp !== undefined &&
+            oddIntegerExponent(qExp) &&
+            oddIntegerExponent(muExp)) {
+            left = inputs.charge;
+            right = inputs['carrier-mobility'];
+            leftName = 'charge';
+            rightName = 'carrier-mobility';
+        }
+    }
+    if (left !== undefined && right !== undefined && leftName !== '' && rightName !== '') {
+        assertSameCarrierSign(left, right, leftName, rightName);
+    }
+    if (even.size === 0)
+        return inputs;
+    let out;
+    for (const name of even) {
+        const value = inputs[name];
+        if (value === undefined || Object.is(value, Math.abs(value)))
+            continue;
+        out ??= { ...inputs };
+        out[name] = Math.abs(value);
+    }
+    return out ?? inputs;
 }
 //# sourceMappingURL=carrier-sign.js.map

package/dist/bridges/carrier-sign.js.map

@@ -1 +1 @@
-{"version":3,"file":"carrier-sign.js","sourceRoot":"","sources":["../../src/bridges/carrier-sign.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH;;;;GAIG;AACH,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IACzC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED,0EAA0E;AAC1E,MAAM,UAAU,eAAe,CAAC,CAAS,EAAE,CAAS;IAClD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACpB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CAAC,CAAS,EAAE,CAAS,EAAE,IAAY,EAAE,KAAa;IACrF,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,gBAAgB,CAAC,GAAG,IAAI,QAAQ,KAAK,0BAA0B,CAAC,CAAC;AAC5F,CAAC;AAED,gFAAgF;AAChF,SAAS,kBAAkB,CAAC,GAAW;IACrC,OAAO,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CACtC,QAA0C,EAC1C,MAAwC;IAExC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC7B,MAAM,KAAK,GAAG,QAAQ,CAAC,kBAAkB,CAAC,CAAC;IAC3C,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IACtD,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC;QAAE,OAAO;IACpE,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;IACxB,MAAM,EAAE,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAC;IACtC,IAAI,CAAC,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO;IAChD,qBAAqB,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,kBAAkB,CAAC,CAAC;AAC7D,CAAC"}
+{"version":3,"file":"carrier-sign.js","sourceRoot":"","sources":["../../src/bridges/carrier-sign.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH;;;;GAIG;AACH,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IACzC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED,0EAA0E;AAC1E,SAAS,eAAe,CAAC,CAAS,EAAE,CAAS;IAC3C,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACpB,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAAC,CAAS,EAAE,CAAS,EAAE,IAAY,EAAE,KAAa;IAC9E,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/F,IAAI,QAAQ;QAAE,MAAM,IAAI,gBAAgB,CAAC,GAAG,IAAI,QAAQ,KAAK,0BAA0B,CAAC,CAAC;AAC3F,CAAC;AAED,8FAA8F;AAC9F,IAAI,sBAAsB,GAAG,CAAC,CAAC;AAE/B;;;GAGG;AACH,MAAM,UAAU,2BAA2B;IACzC,sBAAsB,GAAG,CAAC,CAAC;AAC7B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,0BAA0B;IACxC,OAAO,sBAAsB,CAAC;AAChC,CAAC;AAED,gFAAgF;AAChF,SAAS,kBAAkB,CAAC,GAAW;IACrC,OAAO,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAUD;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CACpC,QAAiD,EACjD,MAAwC,EACxC,IAAyB,EACzB,IAAsB;IAEtB,sBAAsB,IAAI,CAAC,CAAC;IAC5B,IAAI,IAAwB,CAAC;IAC7B,IAAI,KAAyB,CAAC;IAC9B,IAAI,QAAQ,GAAG,EAAE,CAAC;IAClB,IAAI,SAAS,GAAG,EAAE,CAAC;IACnB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC;QACd,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC;QACf,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC;QACrB,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC;IACzB,CAAC;SAAM,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC;QAC7B,MAAM,KAAK,GAAG,QAAQ,CAAC,kBAAkB,CAAC,CAAC;QAC3C,IACE,IAAI,KAAK,SAAS;YAClB,KAAK,KAAK,SAAS;YACnB,kBAAkB,CAAC,IAAI,CAAC;YACxB,kBAAkB,CAAC,KAAK,CAAC,EACzB,CAAC;YACD,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC;YACrB,KAAK,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAC;YACnC,QAAQ,GAAG,QAAQ,CAAC;YACpB,SAAS,GAAG,kBAAkB,CAAC;QACjC,CAAC;IACH,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,IAAI,QAAQ,KAAK,EAAE,IAAI,SAAS,KAAK,EAAE,EAAE,CAAC;QACrF,qBAAqB,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACnC,IAAI,GAAuC,CAAC;IAC5C,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAAE,SAAS;QACvE,GAAG,KAAK,EAAE,GAAG,MAAM,EAAE,CAAC;QACtB,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,GAAG,IAAI,MAAM,CAAC;AACvB,CAAC"}

package/dist/bridges/engineering-r7-catalog.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Catalog rows for BE-126 through BE-133.
+ *
+ * Registered through `registerBridge`. No right-hand-side AST: each row's
+ * numeric body is the evaluator.
+ *
+ * @module bridges/engineering-r7-catalog
+ */
+/** Engineering catalog rows, in id order. */
+export declare const ENGINEERING_R7_CATALOG_ROWS: {
+    id: number;
+    name: string;
+    category: string;
+    category_name: string;
+    bridges: [string, string];
+    status: 'established';
+    context: string;
+    formula_latex: string;
+    source_part: 'III';
+    source_section: string;
+    known_issues: never[];
+    references: string[];
+    dependencies: never[];
+    dimensional_signature: string;
+    tractability_class: 'closed-form';
+    notes: string;
+}[];
+//# sourceMappingURL=engineering-r7-catalog.d.ts.map

package/dist/bridges/engineering-r7-catalog.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engineering-r7-catalog.d.ts","sourceRoot":"","sources":["../../src/bridges/engineering-r7-catalog.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,6CAA6C;AAC7C,eAAO,MAAM,2BAA2B;;;;;aAMU,CAAC,MAAM,EAAE,MAAM,CAAC;YACtD,aAAa;;;iBAIR,KAAK;;;;;;wBAQE,aAAa;;GA0JpC,CAAC"}

package/dist/bridges/engineering-r7-catalog.js

@@ -0,0 +1,172 @@
+/**
+ * Catalog rows for BE-126 through BE-133.
+ *
+ * Registered through `registerBridge`. No right-hand-side AST: each row's
+ * numeric body is the evaluator.
+ *
+ * @module bridges/engineering-r7-catalog
+ */
+/** Engineering catalog rows, in id order. */
+export const ENGINEERING_R7_CATALOG_ROWS = [
+    {
+        id: 126,
+        name: 'Comb-drive lateral force',
+        category: 'D',
+        category_name: 'Field Unification Bridges',
+        bridges: ['electromagnetic', 'mechanical'],
+        status: 'established',
+        context: 'For n fingers, overlap along x, gap g, and thickness h, both sidewalls give C = 2 n ε h x / g. Voltage-controlled coenergy (1/2) C V² has lateral force (1/2) V² dC/dx, so the sidewall 2 and the coenergy 1/2 cancel and F = n ε h V² / g. One sidewall leaves the 1/2. Fringe is neglected and the gap is fixed. Not the normal pull-in of be-79. A comb drive',
+        formula_latex: 'F = n \\varepsilon h V^2 / g',
+        source_part: 'III',
+        source_section: 'Engineering catalog (be-126) — established textbook relation, PhysJS.CombDrive.force_eq',
+        known_issues: [],
+        references: [
+            'Both sidewalls give C = 2 n ε h x / g. The coenergy derivative at fixed voltage is (1/2) V² dC/dx. Not be-79.',
+        ],
+        dependencies: [],
+        dimensional_signature: '[force]',
+        tractability_class: 'closed-form',
+        notes: 'Closed-form evaluator evaluateCombDrive in src/bridges/engineering-r7.ts. The overlay formalRef is PhysJS.CombDrive.force_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
+    },
+    {
+        id: 127,
+        name: 'Subthreshold swing',
+        category: 'D',
+        category_name: 'Field Unification Bridges',
+        bridges: ['electromagnetic', 'condensed'],
+        status: 'established',
+        context: 'Weak-inversion current is exponential in the surface potential, and the gate and depletion capacitances divide that potential. One decade of drain current gives S = ln(10) (k_B T / e) (1 + C_d / C_ox), in volts per decade. e is the elementary charge. The ln is the natural logarithm. Dropping C_d is not the swing when C_d ≠ 0. Not the ideal diode of be-82. A MOSFET subthreshold swing',
+        formula_latex: 'S = \\ln(10)\\,(k_B T / e)\\,(1 + C_d / C_{ox})',
+        source_part: 'III',
+        source_section: 'Engineering catalog (be-127) — established textbook relation, PhysJS.SubthresholdSwing.swing_eq',
+        known_issues: [],
+        references: [
+            'Boltzmann electrons, the capacitive divider, and one decade of current are the hypotheses of PhysJS.SubthresholdSwing.swing_eq. e is the elementary charge.',
+        ],
+        dependencies: [],
+        dimensional_signature: '[L^2 M T^-3 I^-1]',
+        tractability_class: 'closed-form',
+        notes: 'Closed-form evaluator evaluateSubthresholdSwing in src/bridges/engineering-r7.ts. The overlay formalRef is PhysJS.SubthresholdSwing.swing_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
+    },
+    {
+        id: 128,
+        name: 'Ideal boost ratio',
+        category: 'D',
+        category_name: 'Field Unification Bridges',
+        bridges: ['electromagnetic', 'electrical'],
+        status: 'established',
+        context: 'An ideal boost converter in periodic steady state with continuous inductor current has V_out / V_in = 1 / (1 − D) for D ≠ 1. On, the inductor sees V_in. Off, it sees V_in − V_out. Volt-second balance sets the period average to zero. No real duty equals both this ratio and the buck ratio D. A boost converter',
+        formula_latex: 'V_{out} / V_{in} = 1 / (1 - D)',
+        source_part: 'III',
+        source_section: 'Engineering catalog (be-128) — established textbook relation, PhysJS.BoostConverter.boost_ratio',
+        known_issues: [],
+        references: [
+            'Ideal switches, constant voltages over a period, and current that does not reach zero are the hypotheses of PhysJS.BoostConverter.boost_ratio.',
+        ],
+        dependencies: [],
+        dimensional_signature: '[1]',
+        tractability_class: 'closed-form',
+        notes: 'Closed-form evaluator evaluateBoostConverter in src/bridges/engineering-r7.ts. The overlay formalRef is PhysJS.BoostConverter.boost_ratio, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
+    },
+    {
+        id: 129,
+        name: 'Straight-fin efficiency',
+        category: 'D',
+        category_name: 'Field Unification Bridges',
+        bridges: ['thermal', 'mechanical'],
+        status: 'established',
+        context: 'The steady fin equation is θ\'\' = m² θ with m² = h P / (k A). A rectangle with w ≫ t has P/A = 2/t, so m = √(2 h / (k t)). An adiabatic tip and an imposed base temperature give η = tanh(m L) / (m L). One face is not that m. tanh is not 1, so this is not an infinite fin. Fin efficiency',
+        formula_latex: 'm = \\sqrt{2 h / (k t)},\\quad \\eta = \\tanh(m L) / (m L)',
+        source_part: 'III',
+        source_section: 'Engineering catalog (be-129) — established textbook relation, PhysJS.FinEfficiency.efficiency_eq',
+        known_issues: [],
+        references: [
+            'The fin equation, the adiabatic tip, and P/A = 2/t are the hypotheses of PhysJS.FinEfficiency.efficiency_eq.',
+        ],
+        dependencies: [],
+        dimensional_signature: '[1]',
+        tractability_class: 'closed-form',
+        notes: 'Closed-form evaluator evaluateFinEfficiency in src/bridges/engineering-r7.ts. The edge value is η. m is on the same result and is not a second edge. The overlay formalRef is PhysJS.FinEfficiency.efficiency_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
+    },
+    {
+        id: 130,
+        name: 'Thermoelectric generator efficiency',
+        category: 'D',
+        category_name: 'Field Unification Bridges',
+        bridges: ['thermal', 'electromagnetic'],
+        status: 'established',
+        context: 'At the current that maximizes efficiency, η = (1 − T_c/T_h) (√(1 + Z T_m) − 1) / (√(1 + Z T_m) + T_c/T_h), with Z = S² / (R K) and T_m = (T_h + T_c) / 2. The hot-junction heat splits Joule heating in half. Matched load m = 1 is not stationary when Z T_m ≠ 0. The Carnot factor alone is not this efficiency. Thermoelectric generator efficiency. Figure of merit',
+        formula_latex: '\\eta = (1 - T_c/T_h) (\\sqrt{1 + Z T_m} - 1) / (\\sqrt{1 + Z T_m} + T_c/T_h)',
+        source_part: 'III',
+        source_section: 'Engineering catalog (be-130) — established textbook relation, PhysJS.ThermoelectricGenerator.efficiency_eq',
+        known_issues: [],
+        references: [
+            'Constant properties, the split of Joule heat, and dη/dI = 0 are the hypotheses of PhysJS.ThermoelectricGenerator.efficiency_eq.',
+        ],
+        dependencies: [],
+        dimensional_signature: '[1]',
+        tractability_class: 'closed-form',
+        notes: 'Closed-form evaluator evaluateThermoelectricGenerator in src/bridges/engineering-r7.ts. The overlay formalRef is PhysJS.ThermoelectricGenerator.efficiency_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not Carnot alone. No confrontation.',
+    },
+    {
+        id: 131,
+        name: 'Joukowsky pressure',
+        category: 'D',
+        category_name: 'Field Unification Bridges',
+        bridges: ['fluid', 'mechanical'],
+        status: 'established',
+        context: 'A sudden closure gives Δp = ρ c Δv. For a thin elastic pipe the wave speed is c = √(K/ρ) / √(1 + (K/E)(D/e_wall)), with K the fluid bulk modulus, E the wall modulus, D the diameter, and e_wall the wall thickness. ρ (Δv)² is not ρ c Δv when c ≠ Δv. Dropping the wall term is the rigid-pipe speed. Joukowsky. Water hammer',
+        formula_latex: '\\Delta p = \\rho c \\Delta v,\\quad c = \\sqrt{K/\\rho} / \\sqrt{1 + (K/E)(D/e_{wall})}',
+        source_part: 'III',
+        source_section: 'Engineering catalog (be-131) — established textbook relation, PhysJS.Joukowsky.joukowsky_eq',
+        known_issues: [],
+        references: [
+            'The momentum jump and the thin-wall closure are the hypotheses of PhysJS.Joukowsky.joukowsky_eq. Mass on the front is not required for the pressure.',
+        ],
+        dependencies: [],
+        dimensional_signature: '[L^-1 M T^-2]',
+        tractability_class: 'closed-form',
+        notes: 'Closed-form evaluator evaluateJoukowsky in src/bridges/engineering-r7.ts. The edge value is Δp. The thin-wall speed is on the same result and is not a second edge. The overlay formalRef is PhysJS.Joukowsky.joukowsky_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
+    },
+    {
+        id: 132,
+        name: 'Coaxial capacitance per length',
+        category: 'D',
+        category_name: 'Field Unification Bridges',
+        bridges: ['electromagnetic', 'electrical'],
+        status: 'established',
+        context: 'A long coaxial pair, inner radius a, outer radius b, and insulator permittivity ε, has C\' = 2 π ε / ln(b/a). Gauss\'s law gives the radial field, and the potential is the integral of 1/r. End fringe is neglected. Dropping 2 π is not this capacitance. Not a parallel-plate ε A/d. Coaxial. Coax',
+        formula_latex: 'C\' = 2 \\pi \\varepsilon / \\ln(b/a)',
+        source_part: 'III',
+        source_section: 'Engineering catalog (be-132) — established textbook relation, PhysJS.CoaxialCapacitance.capacitance_per_length',
+        known_issues: [],
+        references: [
+            'The cylindrical field and C\' = λ/ΔV are the hypotheses of PhysJS.CoaxialCapacitance.capacitance_per_length.',
+        ],
+        dependencies: [],
+        dimensional_signature: '[L^-3 M^-1 T^4 I^2]',
+        tractability_class: 'closed-form',
+        notes: 'Closed-form evaluator evaluateCoaxialCapacitance in src/bridges/engineering-r7.ts. The overlay formalRef is PhysJS.CoaxialCapacitance.capacitance_per_length, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
+    },
+    {
+        id: 133,
+        name: 'Damping ratio',
+        category: 'D',
+        category_name: 'Field Unification Bridges',
+        bridges: ['mechanical', 'dynamical'],
+        status: 'established',
+        context: 'For m ẍ + c ẋ + k x = 0, ζ = c / (2 √(k m)). The characteristic polynomial is s² + (c/m) s + k/m. The 2 is the binomial coefficient in 2 ζ ω with ω = √(k/m). For c ≥ 0 a zero discriminant is ζ = 1, so c_crit = 2 √(k m). Dropping the 2 is not this ratio. √(k/m) is not ζ. Damping ratio',
+        formula_latex: '\\zeta = c / (2 \\sqrt{k m})',
+        source_part: 'III',
+        source_section: 'Engineering catalog (be-133) — established textbook relation, PhysJS.DampingRatio.damping_ratio',
+        known_issues: [],
+        references: [
+            'Constant coefficients and c/m = 2 ζ ω are the hypotheses of PhysJS.DampingRatio.damping_ratio.',
+        ],
+        dependencies: [],
+        dimensional_signature: '[1]',
+        tractability_class: 'closed-form',
+        notes: 'Closed-form evaluator evaluateDampingRatio in src/bridges/engineering-r7.ts. The overlay formalRef is PhysJS.DampingRatio.damping_ratio, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
+    },
+];
+//# sourceMappingURL=engineering-r7-catalog.js.map

package/dist/bridges/engineering-r7-catalog.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engineering-r7-catalog.js","sourceRoot":"","sources":["../../src/bridges/engineering-r7-catalog.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,6CAA6C;AAC7C,MAAM,CAAC,MAAM,2BAA2B,GAAG;IACzC;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,0BAA0B;QAChC,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,2BAA2B;QAC1C,OAAO,EAAE,CAAC,iBAAiB,EAAE,YAAY,CAAqB;QAC9D,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,kWAAkW;QACpW,aAAa,EAAE,8BAA8B;QAC7C,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,yFAAyF;QACzG,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,+GAA+G;SAChH;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,SAAS;QAChC,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,4RAA4R;KACpS;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,oBAAoB;QAC1B,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,2BAA2B;QAC1C,OAAO,EAAE,CAAC,iBAAiB,EAAE,WAAW,CAAqB;QAC7D,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,mYAAmY;QACrY,aAAa,EAAE,iDAAiD;QAChE,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,iGAAiG;QACjH,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,6JAA6J;SAC9J;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,mBAAmB;QAC1C,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,4SAA4S;KACpT;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,mBAAmB;QACzB,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,2BAA2B;QAC1C,OAAO,EAAE,CAAC,iBAAiB,EAAE,YAAY,CAAqB;QAC9D,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,sTAAsT;QACxT,aAAa,EAAE,gCAAgC;QAC/C,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,iGAAiG;QACjH,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,gJAAgJ;SACjJ;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,KAAK;QAC5B,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,ySAAyS;KACjT;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,yBAAyB;QAC/B,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,2BAA2B;QAC1C,OAAO,EAAE,CAAC,SAAS,EAAE,YAAY,CAAqB;QACtD,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,gSAAgS;QAClS,aAAa,EAAE,4DAA4D;QAC3E,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,kGAAkG;QAClH,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,8GAA8G;SAC/G;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,KAAK;QAC5B,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,gXAAgX;KACxX;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,qCAAqC;QAC3C,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,2BAA2B;QAC1C,OAAO,EAAE,CAAC,SAAS,EAAE,iBAAiB,CAAqB;QAC3D,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,yWAAyW;QAC3W,aAAa,EACX,+EAA+E;QACjF,WAAW,EAAE,KAAc;QAC3B,cAAc,EACZ,4GAA4G;QAC9G,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,iIAAiI;SAClI;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,KAAK;QAC5B,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,+UAA+U;KACvV;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,oBAAoB;QAC1B,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,2BAA2B;QAC1C,OAAO,EAAE,CAAC,OAAO,EAAE,YAAY,CAAqB;QACpD,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,iUAAiU;QACnU,aAAa,EACX,0FAA0F;QAC5F,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,6FAA6F;QAC7G,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,sJAAsJ;SACvJ;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,eAAe;QACtC,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,0XAA0X;KAClY;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,gCAAgC;QACtC,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,2BAA2B;QAC1C,OAAO,EAAE,CAAC,iBAAiB,EAAE,YAAY,CAAqB;QAC9D,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,uSAAuS;QACzS,aAAa,EAAE,uCAAuC;QACtD,WAAW,EAAE,KAAc;QAC3B,cAAc,EACZ,gHAAgH;QAClH,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,8GAA8G;SAC/G;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,qBAAqB;QAC5C,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,4TAA4T;KACpU;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,eAAe;QACrB,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,2BAA2B;QAC1C,OAAO,EAAE,CAAC,YAAY,EAAE,WAAW,CAAqB;QACxD,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,gSAAgS;QAClS,aAAa,EAAE,8BAA8B;QAC7C,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,iGAAiG;QACjH,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,gGAAgG;SACjG;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,KAAK;QAC5B,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,uSAAuS;KAC/S;CACF,CAAC"}