universal-physics-tensor 3.0.0 → 4.0.0

package/dist/bridges/evaluators.js

@@ -1,7 +1,7 @@
 /**
  * Bridge-evaluator registry — the single dispatch surface for `upt evaluate`.
  *
- * The closed-form + Schwarzschild-spacetime bridges (BE-51/52/55…73) carry plain-JS
+ * The closed-form + Schwarzschild-spacetime bridges (BE-51/52/55…87) carry plain-JS
  * evaluators but were, until now, unreachable from the CLI (`upt eval` is
  * user-formula-only; `upt explain <be-NN>` even redirected to a capability that did
  * not exist). This registry maps each bridge id to its evaluator, its input keys,
@@ -30,6 +30,20 @@ import { evaluateEinsteinRelation } from './be70-einstein-relation.js';
 import { evaluateClapeyron } from './be71-clapeyron.js';
 import { evaluateGravitationalRedshift } from './be72-gravitational-redshift.js';
 import { evaluateKelvinPeltier } from './be73-kelvin-peltier.js';
+import { evaluateMagneticPressure } from './be74-magnetic-pressure.js';
+import { evaluateLondonPenetration } from './be75-london-penetration.js';
+import { evaluatePlasmaBeta } from './be76-plasma-beta.js';
+import { evaluateHagenPoiseuille } from './be77-hagen-poiseuille.js';
+import { evaluateEulerBuckling } from './be78-euler-buckling.js';
+import { evaluatePullIn } from './be79-pull-in.js';
+import { evaluateMottGurney } from './be80-mott-gurney.js';
+import { evaluateChildLangmuir } from './be81-child-langmuir.js';
+import { evaluateShockleyDiode } from './be82-shockley-diode.js';
+import { evaluateThomsonCoefficient } from './be83-thomson.js';
+import { evaluateFourPointSheet } from './be84-four-point.js';
+import { evaluateShotNoise } from './be85-shot-noise.js';
+import { evaluateReynoldsAnalogy } from './be86-reynolds-analogy.js';
+import { evaluateCapacitorNoise } from './be87-capacitor-noise.js';
 /** @internal */
 function spec(bridgeId, name, parameters, run) {
     return { bridgeId, name, inputKeys: parameters.map((p) => p.key), parameters, run };
@@ -96,7 +110,7 @@ export const BRIDGE_EVALUATORS = new Map([
     spec(70, 'Einstein relation', [
         P('mu_m2_per_Vs', 'electrical mobility', 'μ', 'm^2/(V·s)', 'drift speed per electric field'),
         temperature('T_K', 'temperature', 'T', 'absolute temperature, nonzero'),
-        P('q_C', 'carrier charge', 'q', 'C', 'carrier charge, nonzero'),
+        P('q_C', 'carrier charge', 'q', 'C', 'carrier charge, nonzero, same sign as μ'),
     ], (i) => evaluateEinsteinRelation({ mu_m2_per_Vs: i.mu_m2_per_Vs, T_K: i.T_K, q_C: i.q_C })),
     spec(71, 'Clapeyron slope', [
         P('L_J_per_kg', 'specific latent heat', 'L', 'J/kg', 'L = T (s2 − s1)'),
@@ -111,6 +125,62 @@ export const BRIDGE_EVALUATORS = new Map([
         P('S_V_per_K', 'Seebeck coefficient', 'S', 'V/K', 'open-circuit Seebeck coefficient'),
         temperature('T_K', 'temperature', 'T', 'absolute temperature, nonzero'),
     ], (i) => evaluateKelvinPeltier({ S_V_per_K: i.S_V_per_K, T_K: i.T_K })),
+    spec(74, 'Magnetic pressure', [P('B_T', 'magnetic flux density', 'B', 'T', 'the formula uses B²; the factor 2 is not from units')], (i) => evaluateMagneticPressure({ B_T: i.B_T })),
+    spec(75, 'London penetration depth', [
+        P('m_kg', 'carrier mass', 'm', 'kg', 'carrier mass'),
+        P('n_per_m3', 'carrier density', 'n', 'm^-3', 'number density; e is the elementary charge'),
+    ], (i) => evaluateLondonPenetration({ m_kg: i.m_kg, n_per_m3: i.n_per_m3 })),
+    spec(76, 'Plasma beta', [
+        P('n_per_m3', 'number density', 'n', 'm^-3', 'ideal-gas number density'),
+        temperature('T_K', 'temperature', 'T', 'absolute temperature'),
+        P('p_B_Pa', 'magnetic pressure', 'p_B', 'Pa', 'B²/(2 μ0), not B²/μ0; nonzero'),
+    ], (i) => evaluatePlasmaBeta({ n_per_m3: i.n_per_m3, T_K: i.T_K, p_B_Pa: i.p_B_Pa })),
+    spec(77, 'Hagen–Poiseuille', [
+        P('R_m', 'pipe radius', 'R', 'm', 'circular-pipe radius, > 0', { geometry: 'radius' }),
+        P('deltaP_Pa', 'pressure drop', 'ΔP', 'Pa', 'axial pressure drop'),
+        P('mu_Pa_s', 'dynamic viscosity', 'μ', 'Pa*s', 'Newtonian viscosity, nonzero'),
+        P('L_m', 'pipe length', 'L', 'm', 'pipe length, nonzero'),
+    ], (i) => evaluateHagenPoiseuille({ R_m: i.R_m, deltaP_Pa: i.deltaP_Pa, mu_Pa_s: i.mu_Pa_s, L_m: i.L_m })),
+    spec(78, 'Euler buckling', [
+        P('E_Pa', "Young's modulus", 'E', 'Pa', 'modulus, > 0'),
+        P('I_m4', 'second moment of area', 'I', '', 'metres to the fourth, > 0'),
+        P('L_m', 'column length', 'L', 'm', 'length between pinned ends, > 0'),
+    ], (i) => evaluateEulerBuckling({ E_Pa: i.E_Pa, I_m4: i.I_m4, L_m: i.L_m })),
+    spec(79, 'Pull-in voltage', [
+        P('k_N_per_m', 'spring stiffness', 'k', 'N/m', 'linear spring, > 0'),
+        P('g0_m', 'rest gap', 'g0', 'm', 'rest gap, > 0; the fold is 2 g0/3'),
+        P('A_m2', 'plate area', 'A', '', 'parallel-plate area in m², > 0'),
+    ], (i) => evaluatePullIn({ k_N_per_m: i.k_N_per_m, g0_m: i.g0_m, A_m2: i.A_m2 })),
+    spec(80, 'Mott–Gurney', [
+        P('eps', 'permittivity', 'ε', '', 'solid permittivity in F/m, > 0'),
+        P('mu_m2_per_Vs', 'drift mobility', 'μ', 'm^2/(V·s)', 'drift mobility, > 0'),
+        P('V_volts', 'voltage', 'V', 'V', 'the formula uses V²'),
+        P('d_m', 'thickness', 'd', 'm', 'film thickness, > 0', { geometry: 'separation' }),
+    ], (i) => evaluateMottGurney({ eps: i.eps, mu_m2_per_Vs: i.mu_m2_per_Vs, V_volts: i.V_volts, d_m: i.d_m })),
+    spec(81, 'Child–Langmuir', [
+        P('m_kg', 'particle mass', 'm', 'kg', 'particle mass, > 0'),
+        P('V_volts', 'anode voltage', 'V', 'V', 'anode voltage, > 0; e is the elementary charge'),
+        P('d_m', 'gap', 'd', 'm', 'gap, > 0; Poisson is not claimed at x = 0', { geometry: 'separation' }),
+    ], (i) => evaluateChildLangmuir({ m_kg: i.m_kg, V_volts: i.V_volts, d_m: i.d_m })),
+    spec(82, 'Shockley diode', [
+        P('I_s_A', 'saturation current', 'I_s', '', 'saturation current in amperes'),
+        P('V_volts', 'bias', 'V', 'V', 'bias voltage; ideality is 1'),
+        temperature('T_K', 'temperature', 'T', 'absolute temperature, nonzero'),
+    ], (i) => evaluateShockleyDiode({ I_s_A: i.I_s_A, V_volts: i.V_volts, T_K: i.T_K })),
+    spec(83, 'Thomson coefficient', [
+        temperature('T_K', 'temperature', 'T', 'absolute temperature'),
+        P('dS_dT_V_per_K2', 'Seebeck slope', 'dS/dT', '', 'volts per kelvin squared; not a sampled difference'),
+    ], (i) => evaluateThomsonCoefficient({ T_K: i.T_K, dS_dT_V_per_K2: i.dS_dT_V_per_K2 })),
+    spec(84, 'Four-point sheet', [
+        P('V_volts', 'inner-pair voltage', 'V', 'V', 'voltage on the inner pair'),
+        P('I_A', 'probe current', 'I', '', 'current in amperes, nonzero'),
+    ], (i) => evaluateFourPointSheet({ V_volts: i.V_volts, I_A: i.I_A })),
+    spec(85, 'Shot noise', [P('I_A', 'current', 'I', '', 'current in the Poisson mean, amperes; one-sided 2 e I')], (i) => evaluateShotNoise({ I_A: i.I_A })),
+    spec(86, 'Reynolds analogy', [P('C_f', 'skin friction', 'C_f', '', 'already normalized by ρ U²/2; Pr = 1 and matched slopes are hypotheses')], (i) => evaluateReynoldsAnalogy({ C_f: i.C_f })),
+    spec(87, 'Capacitor noise', [
+        temperature('T_K', 'temperature', 'T', 'absolute temperature'),
+        P('C_F', 'capacitance', 'C', 'F', 'capacitance, > 0; one quadratic term'),
+    ], (i) => evaluateCapacitorNoise({ T_K: i.T_K, C_F: i.C_F })),
 ].map((s) => [s.bridgeId, s]));
 /**
  * What to say when an id is not in {@link BRIDGE_EVALUATORS}.

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;AACzD,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAC;AACvE,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,6BAA6B,EAAE,MAAM,kCAAkC,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAqDjE,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;IACD,IAAI,CACF,EAAE,EACF,oBAAoB,EACpB;QACE,CAAC,CAAC,YAAY,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,4CAA4C,CAAC;QACxF,CAAC,CAAC,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,EAAE,EAAE,oDAAoD,CAAC;QACpF,CAAC,CAAC,WAAW,EAAE,iBAAiB,EAAE,GAAG,EAAE,EAAE,EAAE,wCAAwC,CAAC;KACrF,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,yBAAyB,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAC/F;IACD,IAAI,CACF,EAAE,EACF,cAAc,EACd;QACE,CAAC,CAAC,KAAK,EAAE,uBAAuB,EAAE,GAAG,EAAE,GAAG,EAAE,uBAAuB,CAAC;QACpE,CAAC,CAAC,eAAe,EAAE,oBAAoB,EAAE,GAAG,EAAE,QAAQ,EAAE,0CAA0C,CAAC;KACpG,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,aAAa,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC,CAC3E;IACD,IAAI,CACF,EAAE,EACF,kBAAkB,EAClB;QACE,WAAW,CAAC,KAAK,EAAE,oBAAoB,EAAE,GAAG,EAAE,2BAA2B,CAAC;QAC1E,CAAC,CAAC,MAAM,EAAE,kBAAkB,EAAE,MAAM,EAAE,EAAE,EAAE,+BAA+B,CAAC;KAC3E,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAC7D;IACD,IAAI,CACF,EAAE,EACF,yBAAyB,EACzB;QACE,CAAC,CAAC,YAAY,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,wEAAwE,CAAC;QACtH,CAAC,CAAC,KAAK,EAAE,uBAAuB,EAAE,GAAG,EAAE,GAAG,EAAE,uCAAuC,CAAC;QACpF,CAAC,CAAC,eAAe,EAAE,oBAAoB,EAAE,GAAG,EAAE,QAAQ,EAAE,yBAAyB,CAAC;KACnF,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,wBAAwB,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,aAAa,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC,CAC1G;IACD,IAAI,CACF,EAAE,EACF,mBAAmB,EACnB;QACE,CAAC,CAAC,cAAc,EAAE,qBAAqB,EAAE,GAAG,EAAE,WAAW,EAAE,gCAAgC,CAAC;QAC5F,WAAW,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,+BAA+B,CAAC;QACvE,CAAC,CAAC,KAAK,EAAE,gBAAgB,EAAE,GAAG,EAAE,GAAG,EAAE,yBAAyB,CAAC;KAChE,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,wBAAwB,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAC1F;IACD,IAAI,CACF,EAAE,EACF,iBAAiB,EACjB;QACE,CAAC,CAAC,YAAY,EAAE,sBAAsB,EAAE,GAAG,EAAE,MAAM,EAAE,iBAAiB,CAAC;QACvE,WAAW,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,wDAAwD,CAAC;QAChG,CAAC,CAAC,mBAAmB,EAAE,wBAAwB,EAAE,IAAI,EAAE,QAAQ,EAAE,kBAAkB,CAAC;KACrF,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,iBAAiB,EAAE,CAAC,CAAC,iBAAiB,EAAE,CAAC,CAC3G;IACD,IAAI,CACF,EAAE,EACF,wBAAwB,EACxB;QACE,CAAC,CAAC,IAAI,EAAE,gCAAgC,EAAE,IAAI,EAAE,EAAE,EAAE,+BAA+B,CAAC;QACpF,CAAC,CAAC,IAAI,EAAE,gCAAgC,EAAE,IAAI,EAAE,EAAE,EAAE,+BAA+B,CAAC;KACrF,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,6BAA6B,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAC7D;IACD,IAAI,CACF,EAAE,EACF,gBAAgB,EAChB;QACE,CAAC,CAAC,WAAW,EAAE,qBAAqB,EAAE,GAAG,EAAE,KAAK,EAAE,kCAAkC,CAAC;QACrF,WAAW,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,+BAA+B,CAAC;KACxE,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CACrE;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,IAAI,QAAQ,KAAK,EAAE,EAAE,CAAC;QACpB,OAAO,CACL,mDAAmD;YACnD,wEAAwE;YACxE,mEAAmE,CACpE,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"}
+{"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;AACzD,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAC;AACvE,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,6BAA6B,EAAE,MAAM,kCAAkC,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAC;AACvE,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,0BAA0B,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AAqDnE,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;IACD,IAAI,CACF,EAAE,EACF,oBAAoB,EACpB;QACE,CAAC,CAAC,YAAY,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,4CAA4C,CAAC;QACxF,CAAC,CAAC,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,EAAE,EAAE,oDAAoD,CAAC;QACpF,CAAC,CAAC,WAAW,EAAE,iBAAiB,EAAE,GAAG,EAAE,EAAE,EAAE,wCAAwC,CAAC;KACrF,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,yBAAyB,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAC/F;IACD,IAAI,CACF,EAAE,EACF,cAAc,EACd;QACE,CAAC,CAAC,KAAK,EAAE,uBAAuB,EAAE,GAAG,EAAE,GAAG,EAAE,uBAAuB,CAAC;QACpE,CAAC,CAAC,eAAe,EAAE,oBAAoB,EAAE,GAAG,EAAE,QAAQ,EAAE,0CAA0C,CAAC;KACpG,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,aAAa,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC,CAC3E;IACD,IAAI,CACF,EAAE,EACF,kBAAkB,EAClB;QACE,WAAW,CAAC,KAAK,EAAE,oBAAoB,EAAE,GAAG,EAAE,2BAA2B,CAAC;QAC1E,CAAC,CAAC,MAAM,EAAE,kBAAkB,EAAE,MAAM,EAAE,EAAE,EAAE,+BAA+B,CAAC;KAC3E,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAC7D;IACD,IAAI,CACF,EAAE,EACF,yBAAyB,EACzB;QACE,CAAC,CAAC,YAAY,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,wEAAwE,CAAC;QACtH,CAAC,CAAC,KAAK,EAAE,uBAAuB,EAAE,GAAG,EAAE,GAAG,EAAE,uCAAuC,CAAC;QACpF,CAAC,CAAC,eAAe,EAAE,oBAAoB,EAAE,GAAG,EAAE,QAAQ,EAAE,yBAAyB,CAAC;KACnF,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,wBAAwB,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,aAAa,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC,CAC1G;IACD,IAAI,CACF,EAAE,EACF,mBAAmB,EACnB;QACE,CAAC,CAAC,cAAc,EAAE,qBAAqB,EAAE,GAAG,EAAE,WAAW,EAAE,gCAAgC,CAAC;QAC5F,WAAW,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,+BAA+B,CAAC;QACvE,CAAC,CAAC,KAAK,EAAE,gBAAgB,EAAE,GAAG,EAAE,GAAG,EAAE,yCAAyC,CAAC;KAChF,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,wBAAwB,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAC1F;IACD,IAAI,CACF,EAAE,EACF,iBAAiB,EACjB;QACE,CAAC,CAAC,YAAY,EAAE,sBAAsB,EAAE,GAAG,EAAE,MAAM,EAAE,iBAAiB,CAAC;QACvE,WAAW,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,wDAAwD,CAAC;QAChG,CAAC,CAAC,mBAAmB,EAAE,wBAAwB,EAAE,IAAI,EAAE,QAAQ,EAAE,kBAAkB,CAAC;KACrF,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,iBAAiB,EAAE,CAAC,CAAC,iBAAiB,EAAE,CAAC,CAC3G;IACD,IAAI,CACF,EAAE,EACF,wBAAwB,EACxB;QACE,CAAC,CAAC,IAAI,EAAE,gCAAgC,EAAE,IAAI,EAAE,EAAE,EAAE,+BAA+B,CAAC;QACpF,CAAC,CAAC,IAAI,EAAE,gCAAgC,EAAE,IAAI,EAAE,EAAE,EAAE,+BAA+B,CAAC;KACrF,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,6BAA6B,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAC7D;IACD,IAAI,CACF,EAAE,EACF,gBAAgB,EAChB;QACE,CAAC,CAAC,WAAW,EAAE,qBAAqB,EAAE,GAAG,EAAE,KAAK,EAAE,kCAAkC,CAAC;QACrF,WAAW,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,+BAA+B,CAAC;KACxE,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CACrE;IACD,IAAI,CACF,EAAE,EACF,mBAAmB,EACnB,CAAC,CAAC,CAAC,KAAK,EAAE,uBAAuB,EAAE,GAAG,EAAE,GAAG,EAAE,qDAAqD,CAAC,CAAC,EACpG,CAAC,CAAC,EAAE,EAAE,CAAC,wBAAwB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAChD;IACD,IAAI,CACF,EAAE,EACF,0BAA0B,EAC1B;QACE,CAAC,CAAC,MAAM,EAAE,cAAc,EAAE,GAAG,EAAE,IAAI,EAAE,cAAc,CAAC;QACpD,CAAC,CAAC,UAAU,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE,4CAA4C,CAAC;KAC5F,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,yBAAyB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CACzE;IACD,IAAI,CACF,EAAE,EACF,aAAa,EACb;QACE,CAAC,CAAC,UAAU,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE,0BAA0B,CAAC;QACxE,WAAW,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,sBAAsB,CAAC;QAC9D,CAAC,CAAC,QAAQ,EAAE,mBAAmB,EAAE,KAAK,EAAE,IAAI,EAAE,+BAA+B,CAAC;KAC/E,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAClF;IACD,IAAI,CACF,EAAE,EACF,kBAAkB,EAClB;QACE,CAAC,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,GAAG,EAAE,2BAA2B,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;QACtF,CAAC,CAAC,WAAW,EAAE,eAAe,EAAE,IAAI,EAAE,IAAI,EAAE,qBAAqB,CAAC;QAClE,CAAC,CAAC,SAAS,EAAE,mBAAmB,EAAE,GAAG,EAAE,MAAM,EAAE,8BAA8B,CAAC;QAC9E,CAAC,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,GAAG,EAAE,sBAAsB,CAAC;KAC1D,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CACvG;IACD,IAAI,CACF,EAAE,EACF,gBAAgB,EAChB;QACE,CAAC,CAAC,MAAM,EAAE,iBAAiB,EAAE,GAAG,EAAE,IAAI,EAAE,cAAc,CAAC;QACvD,CAAC,CAAC,MAAM,EAAE,uBAAuB,EAAE,GAAG,EAAE,EAAE,EAAE,2BAA2B,CAAC;QACxE,CAAC,CAAC,KAAK,EAAE,eAAe,EAAE,GAAG,EAAE,GAAG,EAAE,iCAAiC,CAAC;KACvE,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CACzE;IACD,IAAI,CACF,EAAE,EACF,iBAAiB,EACjB;QACE,CAAC,CAAC,WAAW,EAAE,kBAAkB,EAAE,GAAG,EAAE,KAAK,EAAE,oBAAoB,CAAC;QACpE,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,mCAAmC,CAAC;QACrE,CAAC,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,EAAE,EAAE,EAAE,gCAAgC,CAAC;KACnE,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAC9E;IACD,IAAI,CACF,EAAE,EACF,aAAa,EACb;QACE,CAAC,CAAC,KAAK,EAAE,cAAc,EAAE,GAAG,EAAE,EAAE,EAAE,gCAAgC,CAAC;QACnE,CAAC,CAAC,cAAc,EAAE,gBAAgB,EAAE,GAAG,EAAE,WAAW,EAAE,qBAAqB,CAAC;QAC5E,CAAC,CAAC,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,EAAE,qBAAqB,CAAC;QACxD,CAAC,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,EAAE,GAAG,EAAE,qBAAqB,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;KACnF,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CACxG;IACD,IAAI,CACF,EAAE,EACF,gBAAgB,EAChB;QACE,CAAC,CAAC,MAAM,EAAE,eAAe,EAAE,GAAG,EAAE,IAAI,EAAE,oBAAoB,CAAC;QAC3D,CAAC,CAAC,SAAS,EAAE,eAAe,EAAE,GAAG,EAAE,GAAG,EAAE,gDAAgD,CAAC;QACzF,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,2CAA2C,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;KACnG,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAC/E;IACD,IAAI,CACF,EAAE,EACF,gBAAgB,EAChB;QACE,CAAC,CAAC,OAAO,EAAE,oBAAoB,EAAE,KAAK,EAAE,EAAE,EAAE,+BAA+B,CAAC;QAC5E,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,6BAA6B,CAAC;QAC7D,WAAW,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,+BAA+B,CAAC;KACxE,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CACjF;IACD,IAAI,CACF,EAAE,EACF,qBAAqB,EACrB;QACE,WAAW,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,sBAAsB,CAAC;QAC9D,CAAC,CAAC,gBAAgB,EAAE,eAAe,EAAE,OAAO,EAAE,EAAE,EAAE,oDAAoD,CAAC;KACxG,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,0BAA0B,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,CAAC,CACpF;IACD,IAAI,CACF,EAAE,EACF,kBAAkB,EAClB;QACE,CAAC,CAAC,SAAS,EAAE,oBAAoB,EAAE,GAAG,EAAE,GAAG,EAAE,2BAA2B,CAAC;QACzE,CAAC,CAAC,KAAK,EAAE,eAAe,EAAE,GAAG,EAAE,EAAE,EAAE,6BAA6B,CAAC;KAClE,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAClE;IACD,IAAI,CACF,EAAE,EACF,YAAY,EACZ,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,EAAE,uDAAuD,CAAC,CAAC,EACvF,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CACzC;IACD,IAAI,CACF,EAAE,EACF,kBAAkB,EAClB,CAAC,CAAC,CAAC,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,EAAE,wEAAwE,CAAC,CAAC,EAChH,CAAC,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAC/C;IACD,IAAI,CACF,EAAE,EACF,iBAAiB,EACjB;QACE,WAAW,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,sBAAsB,CAAC;QAC9D,CAAC,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,GAAG,EAAE,sCAAsC,CAAC;KAC1E,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAC1D;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,IAAI,QAAQ,KAAK,EAAE,EAAE,CAAC;QACpB,OAAO,CACL,mDAAmD;YACnD,wEAAwE;YACxE,mEAAmE,CACpE,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,7 @@
  * 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; BE-55–68
+ * specification (Parts I-VI; BE-51–54 catalogued in Part-II §V-B; BE-55–87
  * catalogued in Part-II §V-C). Each entry
  * preserves the spec's stated status, known issues, references, and
  * dependencies on other bridge equations.
@@ -13,11 +13,11 @@
  * Source-of-truth files: docs/specification/Part-{I-VI}.md
  *
  * Honest-claude: fields not explicitly stated in the spec are null (not guessed).
- * - dimensional_signature is populated for all 58 entries. 56 of them (all
+ * - dimensional_signature is populated for all 77 entries. 75 of them (all
  *   except BE-51 and BE-52) are registered in `EXPECTED_DIMENSION_BY_BRIDGE`
  *   (`src/dimensional/bridge-check.ts`); 42 (IDs 11-50, 53, 54) also have AST
  *   encodings under `src/bridges/equations/`. BE-51/52 are closed-form evaluator
- *   bridges, and BE-55-68 have evaluator modules in `src/bridges/`; none of
+ *   bridges, and BE-55-87 have evaluator modules in `src/bridges/`; none of
  *   them has an AST encoding. Populated values are exactly what
  *   `format()` produces for the inferred Dimension shape; never free-form prose.
  * - known_issues are extracted ONLY from explicit issue-markers in the spec
@@ -288,5 +288,33 @@ export { evaluateClapeyron, type ClapeyronInputs, type ClapeyronResult, } from '
 export { evaluateGravitationalRedshift, type GravitationalRedshiftInputs, type GravitationalRedshiftResult, } from './be72-gravitational-redshift.js';
 /** Kelvin relation `Π = S T`. Onsager reciprocity is not an input. */
 export { evaluateKelvinPeltier, type KelvinPeltierInputs, type KelvinPeltierResult, } from './be73-kelvin-peltier.js';
+/** Magnetic pressure `p_B = B²/(2 μ0)`. The 2 is the inductor integral. */
+export { evaluateMagneticPressure, type MagneticPressureInputs, type MagneticPressureResult, } from './be74-magnetic-pressure.js';
+/** London penetration depth `λ_L = √(m/(μ0 n e²))`. `e` is the elementary charge. */
+export { evaluateLondonPenetration, type LondonPenetrationInputs, type LondonPenetrationResult, } from './be75-london-penetration.js';
+/** Plasma beta `β = n k_B T / p_B`, with `p_B` the BE-74 magnetic pressure. */
+export { evaluatePlasmaBeta, type PlasmaBetaInputs, type PlasmaBetaResult, } from './be76-plasma-beta.js';
+/** Hagen–Poiseuille flux `Q = π R⁴ ΔP / (8 μ L)`. Not a square duct. */
+export { evaluateHagenPoiseuille, type HagenPoiseuilleInputs, type HagenPoiseuilleResult, } from './be77-hagen-poiseuille.js';
+/** Pinned–pinned Euler load `P_cr = π² E I / L²`. */
+export { evaluateEulerBuckling, type EulerBucklingInputs, type EulerBucklingResult, } from './be78-euler-buckling.js';
+/** Parallel-plate pull-in voltage. The fold is `g = 2 g0/3`. */
+export { evaluatePullIn, type PullInInputs, type PullInResult, } from './be79-pull-in.js';
+/** Mott–Gurney current `J = (9/8) ε μ V² / d³`. Not Child–Langmuir. */
+export { evaluateMottGurney, type MottGurneyInputs, type MottGurneyResult, } from './be80-mott-gurney.js';
+/** Child–Langmuir current. `e` is the elementary charge. */
+export { evaluateChildLangmuir, type ChildLangmuirInputs, type ChildLangmuirResult, } from './be81-child-langmuir.js';
+/** Shockley diode at ideality 1, `I = I_s (exp(e V/(k_B T)) − 1)`. */
+export { evaluateShockleyDiode, type ShockleyDiodeInputs, type ShockleyDiodeResult, } from './be82-shockley-diode.js';
+/** Thomson coefficient `μ_T = T dS/dT`. Builds on the Kelvin relation. */
+export { evaluateThomsonCoefficient, type ThomsonCoefficientInputs, type ThomsonCoefficientResult, } from './be83-thomson.js';
+/** Collinear four-point sheet resistance `(π / ln 2) (V/I)`. */
+export { evaluateFourPointSheet, type FourPointSheetInputs, type FourPointSheetResult, } from './be84-four-point.js';
+/** One-sided shot noise `S_I = 2 e I`. */
+export { evaluateShotNoise, type ShotNoiseInputs, type ShotNoiseResult, } from './be85-shot-noise.js';
+/** Reynolds analogy `St = C_f / 2` at Pr = 1. */
+export { evaluateReynoldsAnalogy, type ReynoldsAnalogyInputs, type ReynoldsAnalogyResult, } from './be86-reynolds-analogy.js';
+/** Capacitor mean square voltage `k_B T / C`. */
+export { evaluateCapacitorNoise, type CapacitorNoiseInputs, type CapacitorNoiseResult, } from './be87-capacitor-noise.js';
 export default BRIDGE_EQUATIONS;
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"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,EA6yEjD,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;AAE9B,yEAAyE;AACzE,OAAO,EACL,yBAAyB,EACzB,KAAK,uBAAuB,EAC5B,KAAK,uBAAuB,GAC7B,MAAM,8BAA8B,CAAC;AACtC,sFAAsF;AACtF,OAAO,EACL,mBAAmB,EACnB,uBAAuB,EACvB,WAAW,EACX,KAAK,YAAY,EACjB,KAAK,YAAY,GAClB,MAAM,wBAAwB,CAAC;AAChC,qFAAqF;AACrF,OAAO,EACL,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,YAAY,EACjB,KAAK,YAAY,GAClB,MAAM,4BAA4B,CAAC;AACpC,mEAAmE;AACnE,OAAO,EACL,wBAAwB,EACxB,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,GAC5B,MAAM,6BAA6B,CAAC;AACrC,2CAA2C;AAC3C,OAAO,EACL,wBAAwB,EACxB,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,GAC5B,MAAM,6BAA6B,CAAC;AACrC,0CAA0C;AAC1C,OAAO,EACL,iBAAiB,EACjB,KAAK,eAAe,EACpB,KAAK,eAAe,GACrB,MAAM,qBAAqB,CAAC;AAC7B,mEAAmE;AACnE,OAAO,EACL,6BAA6B,EAC7B,KAAK,2BAA2B,EAChC,KAAK,2BAA2B,GACjC,MAAM,kCAAkC,CAAC;AAC1C,sEAAsE;AACtE,OAAO,EACL,qBAAqB,EACrB,KAAK,mBAAmB,EACxB,KAAK,mBAAmB,GACzB,MAAM,0BAA0B,CAAC;eAEnB,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,EAqkFjD,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;AAE9B,yEAAyE;AACzE,OAAO,EACL,yBAAyB,EACzB,KAAK,uBAAuB,EAC5B,KAAK,uBAAuB,GAC7B,MAAM,8BAA8B,CAAC;AACtC,sFAAsF;AACtF,OAAO,EACL,mBAAmB,EACnB,uBAAuB,EACvB,WAAW,EACX,KAAK,YAAY,EACjB,KAAK,YAAY,GAClB,MAAM,wBAAwB,CAAC;AAChC,qFAAqF;AACrF,OAAO,EACL,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,YAAY,EACjB,KAAK,YAAY,GAClB,MAAM,4BAA4B,CAAC;AACpC,mEAAmE;AACnE,OAAO,EACL,wBAAwB,EACxB,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,GAC5B,MAAM,6BAA6B,CAAC;AACrC,2CAA2C;AAC3C,OAAO,EACL,wBAAwB,EACxB,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,GAC5B,MAAM,6BAA6B,CAAC;AACrC,0CAA0C;AAC1C,OAAO,EACL,iBAAiB,EACjB,KAAK,eAAe,EACpB,KAAK,eAAe,GACrB,MAAM,qBAAqB,CAAC;AAC7B,mEAAmE;AACnE,OAAO,EACL,6BAA6B,EAC7B,KAAK,2BAA2B,EAChC,KAAK,2BAA2B,GACjC,MAAM,kCAAkC,CAAC;AAC1C,sEAAsE;AACtE,OAAO,EACL,qBAAqB,EACrB,KAAK,mBAAmB,EACxB,KAAK,mBAAmB,GACzB,MAAM,0BAA0B,CAAC;AAClC,2EAA2E;AAC3E,OAAO,EACL,wBAAwB,EACxB,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,GAC5B,MAAM,6BAA6B,CAAC;AACrC,qFAAqF;AACrF,OAAO,EACL,yBAAyB,EACzB,KAAK,uBAAuB,EAC5B,KAAK,uBAAuB,GAC7B,MAAM,8BAA8B,CAAC;AACtC,+EAA+E;AAC/E,OAAO,EACL,kBAAkB,EAClB,KAAK,gBAAgB,EACrB,KAAK,gBAAgB,GACtB,MAAM,uBAAuB,CAAC;AAC/B,wEAAwE;AACxE,OAAO,EACL,uBAAuB,EACvB,KAAK,qBAAqB,EAC1B,KAAK,qBAAqB,GAC3B,MAAM,4BAA4B,CAAC;AACpC,qDAAqD;AACrD,OAAO,EACL,qBAAqB,EACrB,KAAK,mBAAmB,EACxB,KAAK,mBAAmB,GACzB,MAAM,0BAA0B,CAAC;AAClC,gEAAgE;AAChE,OAAO,EACL,cAAc,EACd,KAAK,YAAY,EACjB,KAAK,YAAY,GAClB,MAAM,mBAAmB,CAAC;AAC3B,uEAAuE;AACvE,OAAO,EACL,kBAAkB,EAClB,KAAK,gBAAgB,EACrB,KAAK,gBAAgB,GACtB,MAAM,uBAAuB,CAAC;AAC/B,4DAA4D;AAC5D,OAAO,EACL,qBAAqB,EACrB,KAAK,mBAAmB,EACxB,KAAK,mBAAmB,GACzB,MAAM,0BAA0B,CAAC;AAClC,sEAAsE;AACtE,OAAO,EACL,qBAAqB,EACrB,KAAK,mBAAmB,EACxB,KAAK,mBAAmB,GACzB,MAAM,0BAA0B,CAAC;AAClC,0EAA0E;AAC1E,OAAO,EACL,0BAA0B,EAC1B,KAAK,wBAAwB,EAC7B,KAAK,wBAAwB,GAC9B,MAAM,mBAAmB,CAAC;AAC3B,gEAAgE;AAChE,OAAO,EACL,sBAAsB,EACtB,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,GAC1B,MAAM,sBAAsB,CAAC;AAC9B,0CAA0C;AAC1C,OAAO,EACL,iBAAiB,EACjB,KAAK,eAAe,EACpB,KAAK,eAAe,GACrB,MAAM,sBAAsB,CAAC;AAC9B,iDAAiD;AACjD,OAAO,EACL,uBAAuB,EACvB,KAAK,qBAAqB,EAC1B,KAAK,qBAAqB,GAC3B,MAAM,4BAA4B,CAAC;AACpC,iDAAiD;AACjD,OAAO,EACL,sBAAsB,EACtB,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,GAC1B,MAAM,2BAA2B,CAAC;eAEpB,gBAAgB"}

package/dist/bridges/index.js

@@ -2,7 +2,7 @@
  * 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; BE-55–68
+ * specification (Parts I-VI; BE-51–54 catalogued in Part-II §V-B; BE-55–87
  * catalogued in Part-II §V-C). Each entry
  * preserves the spec's stated status, known issues, references, and
  * dependencies on other bridge equations.
@@ -13,11 +13,11 @@
  * Source-of-truth files: docs/specification/Part-{I-VI}.md
  *
  * Honest-claude: fields not explicitly stated in the spec are null (not guessed).
- * - dimensional_signature is populated for all 58 entries. 56 of them (all
+ * - dimensional_signature is populated for all 77 entries. 75 of them (all
  *   except BE-51 and BE-52) are registered in `EXPECTED_DIMENSION_BY_BRIDGE`
  *   (`src/dimensional/bridge-check.ts`); 42 (IDs 11-50, 53, 54) also have AST
  *   encodings under `src/bridges/equations/`. BE-51/52 are closed-form evaluator
- *   bridges, and BE-55-68 have evaluator modules in `src/bridges/`; none of
+ *   bridges, and BE-55-87 have evaluator modules in `src/bridges/`; none of
  *   them has an AST encoding. Populated values are exactly what
  *   `format()` produces for the inferred Dimension shape; never free-form prose.
  * - known_issues are extracted ONLY from explicit issue-markers in the spec
@@ -2616,6 +2616,286 @@ export const BRIDGE_EQUATIONS = [
         dimensional_signature: `[L^2 M T^-3 I^-1]`,
         tractability_class: 'closed-form',
         notes: `Closed-form evaluator evaluateKelvinPeltier({S_V_per_K, T_K}) → {Pi_V} in src/bridges/be73-kelvin-peltier.ts. Onsager reciprocity is not a numeric input. The overlay formalRef is PhysJS.KelvinRelation.peltier_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not the first Thomson relation. No confrontation.`,
+    },
+    {
+        id: 74,
+        name: `Magnetic pressure (solenoid)`,
+        category: `D`,
+        category_name: `Field Unification Bridges`,
+        bridges: [`electromagnetic`, `continuum`],
+        status: 'established',
+        context: `The magnetic pressure of a long solenoid is p_B = B²/(2 μ0). The 2 is the inductor integral U = (L/2) I²: at fixed current the battery supplies twice the rise in stored energy, and the difference is the mechanical work. Homogeneity in B and μ0 gives p = C B²/μ0 with C unfixed. C = 1 is the battery work per volume, not this pressure. Not a kinetic pressure, and not a Lagrangian derivation of the Maxwell stress tensor.`,
+        formula_latex: `p_B = \\frac{B^2}{2\\mu_0}`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-74) — established textbook relation, PhysJS.MagneticPressure.pressure_eq`,
+        known_issues: [],
+        references: [
+            `Ampere's law, the flux linkage of a long solenoid, and the quasistatic work balance are the hypotheses of PhysJS.MagneticPressure.pressure_eq.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[L^-1 M T^-2]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateMagneticPressure({B_T}) → {p_Pa} in src/bridges/be74-magnetic-pressure.ts. The factor 2 is in the evaluator. Units fix p ∝ B²/μ0 and do not fix the 2. The overlay formalRef is PhysJS.MagneticPressure.pressure_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: 75,
+        name: `London penetration depth`,
+        category: `F`,
+        category_name: `Condensed Matter - High Energy Bridges`,
+        bridges: [`quantum`, `classical`],
+        status: 'established',
+        context: `The London depth is λ_L = √(m/(μ0 n e²)), with e the elementary charge. On B(x) = B0 exp(−x/λ), Ampere's law and the London equation give that root. The dimension matrix of {m, μ0, n, e} also admits μ0 e²/m, so units do not choose. Those lengths disagree when n (μ0 e²/m)³ ≠ 1. Replacing e by 2e fails. Not the classical skin depth.`,
+        formula_latex: `\\lambda_L = \\sqrt{\\frac{m}{\\mu_0 n e^2}}`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-75) — established textbook relation, PhysJS.LondonPenetration.depth_eq`,
+        known_issues: [],
+        references: [
+            `The London equation and Ampere's law are the hypotheses of PhysJS.LondonPenetration.depth_eq. e is the elementary charge.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[length]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateLondonPenetration({m_kg, n_per_m3}) → {lambda_m} in src/bridges/be75-london-penetration.ts. e is E_SI, not an input and not Euler's number. The overlay formalRef is PhysJS.LondonPenetration.depth_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not the classical skin depth. No confrontation.`,
+    },
+    {
+        id: 76,
+        name: `Plasma beta`,
+        category: `D`,
+        category_name: `Field Unification Bridges`,
+        bridges: [`fluid`, `plasma`],
+        status: 'established',
+        context: `Plasma beta is β = p_gas / p_B, where p_B is the magnetic pressure of BE-74, so β = p_gas / (B²/(2 μ0)) = 2 μ0 p_gas / B². The ideal-gas closure p_gas = n k_B T gives β = 2 μ0 n k_B T / B². B ≠ 0. Using B²/μ0 in place of the magnetic pressure is half of this beta. Not a unique monomial of {n, T, B, μ0}, and not a plasma-β inequality.`,
+        formula_latex: `\\beta = \\frac{2 \\mu_0 n k_B T}{B^2}`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-76) — established textbook relation, PhysJS.PlasmaBeta.beta_eq`,
+        known_issues: [],
+        references: [
+            `PhysJS.PlasmaBeta.beta_eq calls PhysJS.MagneticPressure.pressure_eq. The ideal-gas closure p = n k_B T is a hypothesis.`,
+        ],
+        dependencies: [74],
+        dimensional_signature: `[1]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluatePlasmaBeta({n_per_m3, T_K, p_B_Pa}) → {beta} in src/bridges/be76-plasma-beta.ts. p_B_Pa is B²/(2 μ0). The overlay formalRef is PhysJS.PlasmaBeta.beta_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge composes with be-74 on magnetic-pressure. The edge confidence stays established. Not a plasma-β inequality. No confrontation.`,
+    },
+    {
+        id: 77,
+        name: `Hagen–Poiseuille flux`,
+        category: `D`,
+        category_name: `Field Unification Bridges`,
+        bridges: [`fluid`, `continuum`],
+        status: 'established',
+        context: `Steady axisymmetric Newtonian flow in a straight circular pipe, with d/dr (r du/dr) = (G/μ) r, centerline slope 0, and no-slip u(R) = 0, integrates to Q = π R⁴ ΔP / (8 μ L) once G = −ΔP/L. Darcy's definitions of that same profile give f_D Re = 64. The Fanning normalization of the wall shear is 16. A square duct is a different eigenvalue. The axial balance, no-slip, and the Darcy definitions are hypotheses.`,
+        formula_latex: `Q = \\frac{\\pi R^4 \\Delta P}{8 \\mu L}`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-77) — established textbook relation, PhysJS.HagenPoiseuille.flow_eq`,
+        known_issues: [],
+        references: [
+            `The axial balance, the centerline condition, and no-slip are the hypotheses of PhysJS.HagenPoiseuille.flow_eq.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[L^3 T^-1]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateHagenPoiseuille({R_m, deltaP_Pa, mu_Pa_s, L_m}) → {Q_m3_per_s} in src/bridges/be77-hagen-poiseuille.ts. The 8 is the integral of the no-slip parabola. The overlay formalRef is PhysJS.HagenPoiseuille.flow_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not a square duct and not the Fanning factor 16. No confrontation.`,
+    },
+    {
+        id: 78,
+        name: `Euler buckling load (pinned–pinned)`,
+        category: `D`,
+        category_name: `Field Unification Bridges`,
+        bridges: [`continuum`, `mechanical`],
+        status: 'established',
+        context: `The Euler–Bernoulli balance y'' = −ω² y with ω² = P/(E I) and pinned ends y(0) = y(L) = 0 has the eigenfunction sin(π x/L) at P = π² E I/L². Every nontrivial solution has ω L = n π for a nonzero integer n, so the load is at least that value. The clamped-free column is π² E I/(4 L²). That factor is not the pinned load. The beam equation is a hypothesis.`,
+        formula_latex: `P_{\\mathrm{cr}} = \\frac{\\pi^2 E I}{L^2}`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-78) — established textbook relation, PhysJS.EulerBuckling.critical_load`,
+        known_issues: [],
+        references: [
+            `The Euler–Bernoulli balance and the pinned ends are the hypotheses of PhysJS.EulerBuckling.critical_load.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[force]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateEulerBuckling({E_Pa, I_m4, L_m}) → {P_N} in src/bridges/be78-euler-buckling.ts. The overlay formalRef is PhysJS.EulerBuckling.critical_load, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not the cantilever load. No confrontation.`,
+    },
+    {
+        id: 79,
+        name: `Parallel-plate pull-in voltage`,
+        category: `D`,
+        category_name: `Field Unification Bridges`,
+        bridges: [`electromagnetic`, `continuum`],
+        status: 'established',
+        context: `C = ε0 A/g has dC/dg = −ε0 A/g². Equilibrium of a linear spring against the coenergy force is k(g0−g) = ε0 A V²/(2 g²). The fold of (g0−g) g² is g = 2 g0/3, and the voltage there is V_pi = sqrt(8 k g0³/(27 ε0 A)). g = g0/2 is not the fold. Not a fringing field. The parallel-plate law and the quasi-static balance are hypotheses.`,
+        formula_latex: `V_{\\mathrm{pi}} = \\sqrt{\\frac{8 k g_0^3}{27 \\varepsilon_0 A}}`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-79) — established textbook relation, PhysJS.PullIn.pull_in_eq`,
+        known_issues: [],
+        references: [
+            `The parallel-plate capacitance and the linear spring are the hypotheses of PhysJS.PullIn.pull_in_eq.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[L^2 M T^-3 I^-1]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluatePullIn({k_N_per_m, g0_m, A_m2}) → {V_pi_V} in src/bridges/be79-pull-in.ts. ε0 is EPS0_SI. The overlay formalRef is PhysJS.PullIn.pull_in_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not a fringing field. No confrontation.`,
+    },
+    {
+        id: 80,
+        name: `Mott–Gurney current`,
+        category: `F`,
+        category_name: `Condensed Matter - High Energy Bridges`,
+        bridges: [`electromagnetic`, `condensed`],
+        status: 'established',
+        context: `Drift J = q n μ E and Poisson dE/dx = q n/ε give E dE/dx = J/(ε μ). With E(0) = 0 the integral is E²/2 = J x/(ε μ), and the nonnegative root from 0 to d is J = (9/8) ε μ V²/d³. A factor other than 9/8 is not this current. Not Child–Langmuir. Drift, Poisson, and the injecting contact are hypotheses.`,
+        formula_latex: `J = \\frac{9}{8} \\varepsilon \\mu \\frac{V^2}{d^3}`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-80) — established textbook relation, PhysJS.MottGurney.current_eq`,
+        known_issues: [],
+        references: [
+            `Drift, Poisson, and the injecting contact E(0) = 0 are the hypotheses of PhysJS.MottGurney.current_eq.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[L^-2 I]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateMottGurney({eps, mu_m2_per_Vs, V_volts, d_m}) → {J_A_per_m2} in src/bridges/be80-mott-gurney.ts. eps is the solid permittivity in F/m, not necessarily ε0. The overlay formalRef is PhysJS.MottGurney.current_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not Child–Langmuir. No confrontation.`,
+    },
+    {
+        id: 81,
+        name: `Child–Langmuir current`,
+        category: `D`,
+        category_name: `Field Unification Bridges`,
+        bridges: [`electromagnetic`, `vacuum`],
+        status: 'established',
+        context: `Collisionless energy (1/2) m v² = e φ, J = ρ v, and Poisson φ'' = ρ/ε0 give a current independent of x only for φ ∝ x^{4/3}. The profile φ = V (x/d)^{4/3} has φ(0) = 0, φ(d) = V, and cathode field 0, and for x > 0 its current is J = (4 ε0/9) sqrt(2 e/m) V^{3/2}/d². e is the elementary charge. The Mott–Gurney exponent does not cancel. Poisson is not claimed at x = 0. Not a drift-only solid.`,
+        formula_latex: `J = \\frac{4 \\varepsilon_0}{9} \\sqrt{\\frac{2 e}{m}} \\frac{V^{3/2}}{d^2}`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-81) — established textbook relation, PhysJS.ChildLangmuir.current_eq`,
+        known_issues: [],
+        references: [
+            `Collisionless energy, J = ρ v, and Poisson away from the cathode are the hypotheses of PhysJS.ChildLangmuir.current_eq. e is the elementary charge.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[L^-2 I]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateChildLangmuir({m_kg, V_volts, d_m}) → {J_A_per_m2} in src/bridges/be81-child-langmuir.ts. e is E_SI, not an input and not Euler's number. ε0 is EPS0_SI. The overlay formalRef is PhysJS.ChildLangmuir.current_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not Mott–Gurney. No confrontation.`,
+    },
+    {
+        id: 82,
+        name: `Shockley diode equation`,
+        category: `F`,
+        category_name: `Condensed Matter - High Energy Bridges`,
+        bridges: [`electromagnetic`, `condensed`],
+        status: 'established',
+        context: `Quasi-equilibrium multiplies the equilibrium flux by exp(e V/(η k_B T)). Ideality 1 sets η = 1. Detailed balance sets the reverse flux equal to the forward flux at V = 0, and low injection keeps that reverse flux under bias. The net current is I = I_s (exp(e V/(k_B T)) − 1). Zero bias carries zero current. Ideality 2 is not this current when e V ≠ 0. e is the elementary charge. Not a diffusion-length ODE.`,
+        formula_latex: `I = I_s \\left(\\exp\\left(\\frac{e V}{k_B T}\\right) - 1\\right)`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-82) — established textbook relation, PhysJS.ShockleyDiode.shockley_eq`,
+        known_issues: [],
+        references: [
+            `Quasi-equilibrium, detailed balance at zero bias, and low injection are the hypotheses of PhysJS.ShockleyDiode.shockley_eq. e is the elementary charge.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[I]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateShockleyDiode({I_s_A, V_volts, T_K}) → {I_A} in src/bridges/be82-shockley-diode.ts. e is E_SI. Euler's number is written exp. The overlay formalRef is PhysJS.ShockleyDiode.shockley_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Ideality is 1. No confrontation.`,
+    },
+    {
+        id: 83,
+        name: `Thomson coefficient`,
+        category: `F`,
+        category_name: `Condensed Matter - High Energy Bridges`,
+        bridges: [`thermal`, `electrical`],
+        status: 'established',
+        context: `The Kelvin relation Π(t) = S(t) t, read along temperature, and the Thomson split μ = dΠ/dT − S give μ_T = T dS/dT by the product rule. dΠ/dT is not μ_T when S T ≠ 0. This is the first Thomson relation. It is not a second copy of Π = S T. The functional Kelvin relation and the Thomson split are hypotheses.`,
+        formula_latex: `\\mu_T = T \\frac{\\mathrm{d}S}{\\mathrm{d}T}`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-83) — established textbook relation, PhysJS.Thomson.thomson_eq`,
+        known_issues: [],
+        references: [
+            `PhysJS.Thomson.thomson_eq reads PhysJS.KelvinRelation.peltier_eq along temperature. The Thomson split μ = dΠ/dT − S is a hypothesis.`,
+        ],
+        dependencies: [73],
+        dimensional_signature: `[L^2 M T^-3 I^-1 Theta^-1]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateThomsonCoefficient({T_K, dS_dT_V_per_K2}) → {mu_V_per_K} in src/bridges/be83-thomson.ts. dS/dT is an input, not a sampled difference of S. The overlay formalRef is PhysJS.Thomson.thomson_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge does not compose with be-73: Π is not an input. The dependency is the Kelvin relation the theorem assumes. The edge confidence stays established. Not Π = S T. No confrontation.`,
+    },
+    {
+        id: 84,
+        name: `Four-point sheet resistance`,
+        category: `F`,
+        category_name: `Condensed Matter - High Energy Bridges`,
+        bridges: [`electromagnetic`, `condensed`],
+        status: 'established',
+        context: `On an infinite sheet the radial field of a point current is (I R_s)/(2 π r), and the potential drop is the integral of 1/r. Probes at 0, s, 2s, and 3s, with current in at 0 and out at 3s, each contribute (I R_s/(2 π)) ln 2 on the inner pair. Superposition gives R_s = (π/ln 2)(V/I). A sink at 4s gives 2π/ln 3 instead. Not PhysJS.Crossing.antisymmetry. The Laplace field and linear superposition are hypotheses.`,
+        formula_latex: `R_s = \\frac{\\pi}{\\ln 2}\\frac{V}{I}`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-84) — established textbook relation, PhysJS.FourPoint.sheet_eq`,
+        known_issues: [],
+        references: [
+            `The radial field (I R_s)/(2 π r) and linear superposition are the hypotheses of PhysJS.FourPoint.sheet_eq.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[L^2 M T^-3 I^-2]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateFourPointSheet({V_volts, I_A}) → {R_s_ohm} in src/bridges/be84-four-point.ts. The spacing s cancels. The overlay formalRef is PhysJS.FourPoint.sheet_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not the conformal crossing be-35. No confrontation.`,
+    },
+    {
+        id: 85,
+        name: `Shot noise (one-sided)`,
+        category: `H`,
+        category_name: `Non-Equilibrium Statistical Mechanics`,
+        bridges: [`quantum`, `classical`],
+        status: 'established',
+        context: `In a window of length T the count N has mean (I/e) T, and the Poisson premise is Var(N) = mean(N). Charge e scales the variance by e² and the windowed current divides by T, so Var(I) = e I/T. The one-sided bandwidth of that window is Δf = 1/(2 T), and S_I = 2 e I. The two-sided bandwidth Δf = 1/T gives e I. e is the elementary charge. Not a Fourier theorem and not Johnson–Nyquist. The Poisson variance and the one-sided convention are hypotheses.`,
+        formula_latex: `S_I = 2 e I`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-85) — established textbook relation, PhysJS.ShotNoise.shot_eq`,
+        known_issues: [],
+        references: [
+            `The Poisson variance Var(N) = mean(N) and the one-sided window Δf = 1/(2 T) are the hypotheses of PhysJS.ShotNoise.shot_eq. e is the elementary charge.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[T I^2]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateShotNoise({I_A}) → {S_I_A2_per_Hz} in src/bridges/be85-shot-noise.ts. e is E_SI. The formula is linear in I. The overlay formalRef is PhysJS.ShotNoise.shot_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not Johnson–Nyquist and not the two-sided spectrum e I. No confrontation.`,
+    },
+    {
+        id: 86,
+        name: `Reynolds analogy (Prandtl number 1)`,
+        category: `D`,
+        category_name: `Field Unification Bridges`,
+        bridges: [`fluid`, `thermal`],
+        status: 'established',
+        context: `Wall fluxes τ = μ du/dy and q = k dT/dy, with C_f = τ/(ρ U²/2), h = q/ΔT, St = h/(ρ U c_p), and Pr = μ c_p/k, satisfy St Pr = C_f/2 when the normalized wall gradients agree. That common slope is the equal-diffusivity hypothesis. At Pr = 1, St = C_f/2. Pr ≠ 1 with nonzero skin friction is not this equality. Not a Nusselt correlation.`,
+        formula_latex: `\\mathrm{St} = \\frac{C_f}{2}`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-86) — established textbook relation, PhysJS.ReynoldsAnalogy.reynolds_eq`,
+        known_issues: [],
+        references: [
+            `Matched normalized wall gradients and Pr = 1 are the hypotheses of PhysJS.ReynoldsAnalogy.reynolds_eq. The 1/2 is the skin-friction normalization.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[1]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateReynoldsAnalogy({C_f}) → {St} in src/bridges/be86-reynolds-analogy.ts. Pr and the wall slopes are not inputs. The overlay formalRef is PhysJS.ReynoldsAnalogy.reynolds_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not a Nusselt correlation. No confrontation.`,
+    },
+    {
+        id: 87,
+        name: `Capacitor voltage variance`,
+        category: `H`,
+        category_name: `Non-Equilibrium Statistical Mechanics`,
+        bridges: [`thermal`, `electrical`],
+        status: 'established',
+        context: `dU/dV = C V and U(0) = 0 integrate to U = (C/2) V². The normalized Boltzmann weight of that energy is the Gaussian of mean 0 and variance k_B T/C, because the partition function is the Gaussian integral. The mean square on that law is ⟨v²⟩ = k_B T/C, and (C/2) of it is (1/2) k_B T. (3/2) k_B T/C is not this variance. Dropping the energy half replaces it by k_B T/(2 C). Not three kinetic degrees of freedom.`,
+        formula_latex: `\\langle v^2 \\rangle = \\frac{k_B T}{C}`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-87) — established textbook relation, PhysJS.CapacitorNoise.noise_eq`,
+        known_issues: [],
+        references: [
+            `U = (C/2) V² and the Boltzmann weight of that one quadratic term are the hypotheses of PhysJS.CapacitorNoise.noise_eq.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[L^4 M^2 T^-6 I^-2]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateCapacitorNoise({T_K, C_F}) → {v2_V2} in src/bridges/be87-capacitor-noise.ts. The two halves cancel. The overlay formalRef is PhysJS.CapacitorNoise.noise_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not (3/2) k_B T/C. No confrontation.`,
     }
 ];
 // ---------------------------------------------------------------------------
@@ -2653,5 +2933,33 @@ export { evaluateClapeyron, } from './be71-clapeyron.js';
 export { evaluateGravitationalRedshift, } from './be72-gravitational-redshift.js';
 /** Kelvin relation `Π = S T`. Onsager reciprocity is not an input. */
 export { evaluateKelvinPeltier, } from './be73-kelvin-peltier.js';
+/** Magnetic pressure `p_B = B²/(2 μ0)`. The 2 is the inductor integral. */
+export { evaluateMagneticPressure, } from './be74-magnetic-pressure.js';
+/** London penetration depth `λ_L = √(m/(μ0 n e²))`. `e` is the elementary charge. */
+export { evaluateLondonPenetration, } from './be75-london-penetration.js';
+/** Plasma beta `β = n k_B T / p_B`, with `p_B` the BE-74 magnetic pressure. */
+export { evaluatePlasmaBeta, } from './be76-plasma-beta.js';
+/** Hagen–Poiseuille flux `Q = π R⁴ ΔP / (8 μ L)`. Not a square duct. */
+export { evaluateHagenPoiseuille, } from './be77-hagen-poiseuille.js';
+/** Pinned–pinned Euler load `P_cr = π² E I / L²`. */
+export { evaluateEulerBuckling, } from './be78-euler-buckling.js';
+/** Parallel-plate pull-in voltage. The fold is `g = 2 g0/3`. */
+export { evaluatePullIn, } from './be79-pull-in.js';
+/** Mott–Gurney current `J = (9/8) ε μ V² / d³`. Not Child–Langmuir. */
+export { evaluateMottGurney, } from './be80-mott-gurney.js';
+/** Child–Langmuir current. `e` is the elementary charge. */
+export { evaluateChildLangmuir, } from './be81-child-langmuir.js';
+/** Shockley diode at ideality 1, `I = I_s (exp(e V/(k_B T)) − 1)`. */
+export { evaluateShockleyDiode, } from './be82-shockley-diode.js';
+/** Thomson coefficient `μ_T = T dS/dT`. Builds on the Kelvin relation. */
+export { evaluateThomsonCoefficient, } from './be83-thomson.js';
+/** Collinear four-point sheet resistance `(π / ln 2) (V/I)`. */
+export { evaluateFourPointSheet, } from './be84-four-point.js';
+/** One-sided shot noise `S_I = 2 e I`. */
+export { evaluateShotNoise, } from './be85-shot-noise.js';
+/** Reynolds analogy `St = C_f / 2` at Pr = 1. */
+export { evaluateReynoldsAnalogy, } from './be86-reynolds-analogy.js';
+/** Capacitor mean square voltage `k_B T / C`. */
+export { evaluateCapacitorNoise, } from './be87-capacitor-noise.js';
 export default BRIDGE_EQUATIONS;
 //# sourceMappingURL=index.js.map