universal-physics-tensor 8.0.0 → 9.0.0

package/data/bridge-catalog.json

@@ -1,7 +1,7 @@
 {
   "$schema": "./bridge-catalog.schema.json",
   "schemaVersion": 3,
-  "packageVersion": "8.0.0",
+  "packageVersion": "9.0.0",
   "count": 160,
   "entries": [
     {
@@ -6237,7 +6237,7 @@
         "thermal-de-broglie-wavelength"
       ],
       "aliases": {},
-      "holds": "finite(relaxation-rate) &&\n      relaxation-rate >= 0 &&\n      finite(superposition-extent) &&\n      superposition-extent > 0 &&\n      finite(thermal-de-broglie-wavelength) &&\n      thermal-de-broglie-wavelength > 0",
+      "holds": "isFinite(relaxation-rate) and\n      relaxation-rate >= 0 and\n      isFinite(superposition-extent) and\n      superposition-extent > 0 and\n      isFinite(thermal-de-broglie-wavelength) and\n      thermal-de-broglie-wavelength > 0",
       "domain": "γ_relax ≥ 0, Δx > 0, λ_T > 0",
       "confidence": "established",
       "citation": "Caldeira & Leggett 1983 Physica A 121:587; Zurek 1991 Phys. Today 44(10):36",
@@ -6266,7 +6266,7 @@
         "temperature"
       ],
       "aliases": {},
-      "holds": "finite(mass) &&\n      mass > 0 &&\n      finite(temperature) &&\n      temperature > 0",
+      "holds": "isFinite(mass) and\n      mass > 0 and\n      isFinite(temperature) and\n      temperature > 0",
       "domain": "m > 0 and T > 0 (massive particle, finite temperature)",
       "confidence": "speculative",
       "citation": "Pathria 2011 Statistical Mechanics §7.1; de Broglie 1924",
@@ -6293,7 +6293,7 @@
           "temperature_K"
         ]
       },
-      "holds": "finite(temperature) && temperature >= 0",
+      "holds": "isFinite(temperature) and temperature >= 0",
       "domain": "T ≥ 0 and finite (thermodynamic temperature)",
       "confidence": "speculative",
       "citation": "Landauer 1961 IBM JRD 5:183",
@@ -6327,7 +6327,7 @@
           "R_near_m"
         ]
       },
-      "holds": "finite(mass) &&\n      mass > 0 &&\n      finite(near-radius) &&\n      near-radius > 0 &&\n      finite(far-radius) &&\n      far-radius >= near-radius",
+      "holds": "isFinite(mass) and\n      mass > 0 and\n      isFinite(near-radius) and\n      near-radius > 0 and\n      isFinite(far-radius) and\n      far-radius >= near-radius",
       "domain": "M > 0 and 0 < R_near ≤ R_far (weak-field ray geometry)",
       "confidence": "established",
       "citation": "Shapiro 1964 PRL 13:789",
@@ -6391,7 +6391,7 @@
           "M_kg"
         ]
       },
-      "holds": "finite(mass) && mass > 0",
+      "holds": "isFinite(mass) and mass > 0",
       "domain": "M > 0 and finite (positive black-hole mass)",
       "confidence": "highly-speculative",
       "citation": "Hawking 1975 CMP 43:199",
@@ -6413,7 +6413,7 @@
         "schwarzschild-radius"
       ],
       "aliases": {},
-      "holds": "finite(schwarzschild-radius) && schwarzschild-radius > 0",
+      "holds": "isFinite(schwarzschild-radius) and schwarzschild-radius > 0",
       "domain": "r_s > 0 and finite",
       "confidence": "highly-speculative",
       "citation": "Hawking 1975 CMP 43:199 (r_s parameterization)",
@@ -6443,7 +6443,7 @@
           "b_m"
         ]
       },
-      "holds": "finite(mass) &&\n      mass > 0 &&\n      finite(impact-parameter) &&\n      impact-parameter > 0 &&\n      impact-parameter >= (10 * 2 * G * mass) / (c * c)",
+      "holds": "isFinite(mass) and\n      mass > 0 and\n      isFinite(impact-parameter) and\n      impact-parameter > 0 and\n      impact-parameter >= (10 * 2 * G * mass) / (c * c)",
       "domain": "M > 0, b > 0, and weak field b ≥ 10·r_s",
       "confidence": "established",
       "citation": "Dyson, Eddington & Davidson 1920 Phil. Trans. R. Soc. A 220:291",
@@ -6488,8 +6488,7 @@
           "impact-parameter": 1
         },
         "value": 2.9704641076474662e-27
-      },
-      "notice": "weak-field-impact"
+      }
     },
     {
       "id": "be-52",
@@ -6509,13 +6508,10 @@
         ],
         "semi-major-axis": [
           "a_m"
-        ],
-        "eccentricity": [
-          "e"
         ]
       },
-      "holds": "finite(mass) &&\n      mass > 0 &&\n      finite(semi-major-axis) &&\n      semi-major-axis > 0 &&\n      finite(eccentricity) &&\n      eccentricity >= 0 &&\n      eccentricity < 1",
-      "domain": "M > 0, a > 0, 0 ≤ e < 1 (bound elliptical orbit)",
+      "holds": "isFinite(mass) and\n      mass > 0 and\n      isFinite(semi-major-axis) and\n      semi-major-axis > 0 and\n      isFinite(eccentricity) and\n      eccentricity >= 0 and\n      eccentricity < 1 and\n      semi-major-axis * (1 - eccentricity) >= (10 * 2 * G * mass) / (c * c)",
+      "domain": "M > 0, a > 0, 0 ≤ e < 1 (bound elliptical orbit); weak field a(1−e) ≥ 10·r_s",
       "confidence": "established",
       "citation": "Einstein 1915 Preuss. Akad. Wiss. 831",
       "relation": {
@@ -6566,8 +6562,7 @@
           "eccentricity": 0.5
         },
         "value": 1.866397643667488e-26
-      },
-      "notice": "weak-field-periapsis"
+      }
     },
     {
       "id": "law-schwarzschild-radius",
@@ -6580,7 +6575,7 @@
         "mass"
       ],
       "aliases": {},
-      "holds": "finite(mass) && mass > 0",
+      "holds": "isFinite(mass) and mass > 0",
       "domain": "M > 0 and finite",
       "confidence": "established",
       "citation": "Schwarzschild 1916; Carroll 2004 Spacetime and Geometry §5.4",
@@ -6602,7 +6597,7 @@
         "minimal-surface-area"
       ],
       "aliases": {},
-      "holds": "finite(minimal-surface-area) &&\n      minimal-surface-area >= 0",
+      "holds": "isFinite(minimal-surface-area) and\n      minimal-surface-area >= 0",
       "domain": "A ≥ 0 and finite (minimal-surface area)",
       "confidence": "speculative",
       "citation": "Ryu & Takayanagi 2006 PRL 96:181602",
@@ -6626,7 +6621,7 @@
         "rescaled-cosmological-constant"
       ],
       "aliases": {},
-      "holds": "finite(mass-density) &&\n      mass-density >= 0 &&\n      finite(critical-density) &&\n      critical-density > 0 &&\n      finite(rescaled-cosmological-constant)",
+      "holds": "isFinite(mass-density) and\n      mass-density >= 0 and\n      isFinite(critical-density) and\n      critical-density > 0 and\n      isFinite(rescaled-cosmological-constant)",
       "domain": "ρ ≥ 0, ρ_crit > 0, Λ finite (all SI)",
       "confidence": "speculative",
       "citation": "Ashtekar, Pawlowski & Singh 2006 PRD 74:084003",
@@ -6672,7 +6667,7 @@
         "mass"
       ],
       "aliases": {},
-      "holds": "finite(mass) && mass > 0",
+      "holds": "isFinite(mass) and mass > 0",
       "domain": "m > 0 and finite (object mass)",
       "confidence": "speculative",
       "citation": "Ghirardi, Rimini & Weber 1986 PRD 34:470",
@@ -6700,7 +6695,7 @@
         "flavor-number"
       ],
       "aliases": {},
-      "holds": "finite(gauge-coupling) &&\n      finite(color-number) &&\n      color-number > 0 &&\n      finite(flavor-number) &&\n      flavor-number >= 0",
+      "holds": "isFinite(gauge-coupling) and\n      isFinite(color-number) and\n      color-number > 0 and\n      isFinite(flavor-number) and\n      flavor-number >= 0",
       "domain": "g finite, N_c > 0, N_f ≥ 0",
       "confidence": "established",
       "citation": "Gross & Wilczek 1973 PRL 30:1343; Politzer 1973 PRL 30:1346",
@@ -6726,7 +6721,7 @@
         "rescaled-cosmological-constant"
       ],
       "aliases": {},
-      "holds": "finite(mass-density) &&\n      mass-density >= 0 &&\n      finite(brane-tension) &&\n      brane-tension > 0 &&\n      finite(rescaled-cosmological-constant)",
+      "holds": "isFinite(mass-density) and\n      mass-density >= 0 and\n      isFinite(brane-tension) and\n      brane-tension > 0 and\n      isFinite(rescaled-cosmological-constant)",
       "domain": "ρ ≥ 0, σ > 0, Λ finite (all SI)",
       "confidence": "speculative",
       "citation": "Randall & Sundrum 1999 PRL 83:4690; Binétruy et al. 2000 PLB 477:285",
@@ -6762,7 +6757,7 @@
           "lambda0"
         ]
       },
-      "holds": "finite(relaxation-rate) &&\n      relaxation-rate >= 0 &&\n      finite(system-environment-coupling) &&\n      finite(reference-coupling) &&\n      reference-coupling > 0",
+      "holds": "isFinite(relaxation-rate) and\n      relaxation-rate >= 0 and\n      isFinite(system-environment-coupling) and\n      isFinite(reference-coupling) and\n      reference-coupling > 0",
       "domain": "γ_0 ≥ 0, λ finite, λ_0 > 0",
       "confidence": "established",
       "citation": "Caldeira & Leggett 1983 Physica A 121:587; Lindblad 1976 CMP 48:119",
@@ -6791,7 +6786,7 @@
         "stress-energy-trace"
       ],
       "aliases": {},
-      "holds": "finite(cosmological-constant-curvature) &&\n      finite(stress-energy-trace)",
+      "holds": "isFinite(cosmological-constant-curvature) and\n      isFinite(stress-energy-trace)",
       "domain": "Λ and T finite (all SI)",
       "confidence": "speculative",
       "citation": "Jacobson 1995 PRL 75:1260; MTW Gravitation §17.4",
@@ -6815,7 +6810,7 @@
         "time"
       ],
       "aliases": {},
-      "holds": "finite(model-a-mobility) &&\n      model-a-mobility > 0 &&\n      finite(time) &&\n      time > 0",
+      "holds": "isFinite(model-a-mobility) and\n      model-a-mobility > 0 and\n      isFinite(time) and\n      time > 0",
       "domain": "Γ > 0 and t > 0 (all SI)",
       "confidence": "speculative",
       "citation": "Kawasaki & Gunton 1976 PRA 13:2294; Hohenberg & Halperin 1977 RMP 49:435",
@@ -6839,7 +6834,7 @@
         "torsion-contraction-scalar"
       ],
       "aliases": {},
-      "holds": "finite(einstein-coupling-prefactor-squared) &&\n      finite(torsion-contraction-scalar) &&\n      torsion-contraction-scalar >= 0",
+      "holds": "isFinite(einstein-coupling-prefactor-squared) and\n      isFinite(torsion-contraction-scalar) and\n      torsion-contraction-scalar >= 0",
       "domain": "prefactor finite, torsion contraction ≥ 0 (sum of squares)",
       "confidence": "speculative",
       "citation": "Hehl et al. 1976 RMP 48:393; Cartan 1922 C. R. Acad. Sci. 174:593",
@@ -6863,7 +6858,7 @@
         "vacuum-expectation-value"
       ],
       "aliases": {},
-      "holds": "finite(yukawa-coupling) && finite(vacuum-expectation-value)",
+      "holds": "isFinite(yukawa-coupling) and isFinite(vacuum-expectation-value)",
       "domain": "g_dark and v_dark finite",
       "confidence": "speculative",
       "citation": "Peskin & Schroeder 1995 QFT §20.1",
@@ -6886,7 +6881,7 @@
         "cosmological-constant-curvature"
       ],
       "aliases": {},
-      "holds": "finite(cosmological-constant-curvature) &&\n      cosmological-constant-curvature >= 0",
+      "holds": "isFinite(cosmological-constant-curvature) and\n      cosmological-constant-curvature >= 0",
       "domain": "Λ ≥ 0 and finite (m⁻²)",
       "confidence": "speculative",
       "citation": "Carroll 2001 Living Rev. Relativity 4:1; Planck 2020 A&A 641:A6",
@@ -6910,7 +6905,7 @@
         "topological-entanglement-entropy"
       ],
       "aliases": {},
-      "holds": "finite(area-law-coefficient) &&\n      finite(boundary-length) &&\n      boundary-length >= 0 &&\n      finite(topological-entanglement-entropy)",
+      "holds": "isFinite(area-law-coefficient) and\n      isFinite(boundary-length) and\n      boundary-length >= 0 and\n      isFinite(topological-entanglement-entropy)",
       "domain": "α finite, L ≥ 0, γ finite",
       "confidence": "speculative",
       "citation": "Kitaev & Preskill 2006 PRL 96:110404; Levin & Wen 2006 PRL 96:110405",
@@ -6938,7 +6933,7 @@
         "syk-coefficient"
       ],
       "aliases": {},
-      "holds": "finite(residual-resistivity) &&\n      residual-resistivity >= 0 &&\n      finite(effective-mass) &&\n      effective-mass > 0 &&\n      finite(carrier-density) &&\n      carrier-density > 0 &&\n      finite(temperature) &&\n      temperature >= 0 &&\n      finite(syk-coefficient)",
+      "holds": "isFinite(residual-resistivity) and\n      residual-resistivity >= 0 and\n      isFinite(effective-mass) and\n      effective-mass > 0 and\n      isFinite(carrier-density) and\n      carrier-density > 0 and\n      isFinite(temperature) and\n      temperature >= 0 and\n      isFinite(syk-coefficient)",
       "domain": "ρ_0 ≥ 0, m* > 0, n_e > 0, T ≥ 0, α_SYK finite",
       "confidence": "speculative",
       "citation": "Sachdev & Ye 1993 PRL 70:3339; Hartnoll 2015 Nature Phys. 11:54",
@@ -6965,7 +6960,7 @@
         "foerster-radius"
       ],
       "aliases": {},
-      "holds": "finite(donor-acceptor-distance) &&\n      donor-acceptor-distance > 0 &&\n      finite(foerster-radius) &&\n      foerster-radius > 0",
+      "holds": "isFinite(donor-acceptor-distance) and\n      donor-acceptor-distance > 0 and\n      isFinite(foerster-radius) and\n      foerster-radius > 0",
       "domain": "R > 0 and R_0 > 0",
       "confidence": "speculative",
       "citation": "Förster 1948 Ann. Phys. 437:55; Lakowicz 2006 Princ. Fluoresc. Spectrosc. Ch.13",
@@ -6989,7 +6984,7 @@
         "marginal-probability"
       ],
       "aliases": {},
-      "holds": "!(!finite((conditional-probability)) || (conditional-probability) < 0 || (conditional-probability) > 1) && !(!finite((marginal-probability)) || (marginal-probability) < 0 || (marginal-probability) > 1) && !((conditional-probability) > 0 && (marginal-probability) === 0)",
+      "holds": "not (not isFinite((conditional-probability)) or (conditional-probability) < 0 or (conditional-probability) > 1) and not (not isFinite((marginal-probability)) or (marginal-probability) < 0 or (marginal-probability) > 1) and not ((conditional-probability) > 0 and (marginal-probability) == 0)",
       "domain": "p_cond, p_marg ∈ [0,1]; not (p_cond>0 and p_marg=0) (KL singularity)",
       "confidence": "speculative",
       "citation": "Tononi 2008 Biol. Bull. 215:216; Oizumi, Albantakis & Tononi 2014 PLoS Comput. Biol. 10:e1003588",
@@ -7016,7 +7011,7 @@
         "biological-rate-correction"
       ],
       "aliases": {},
-      "holds": "finite(attempt-frequency) &&\n      attempt-frequency >= 0 &&\n      finite(tunneling-mass) &&\n      tunneling-mass > 0 &&\n      finite(barrier-height) &&\n      barrier-height >= 0 &&\n      finite(barrier-width) &&\n      barrier-width > 0 &&\n      finite(biological-rate-correction)",
+      "holds": "isFinite(attempt-frequency) and\n      attempt-frequency >= 0 and\n      isFinite(tunneling-mass) and\n      tunneling-mass > 0 and\n      isFinite(barrier-height) and\n      barrier-height >= 0 and\n      isFinite(barrier-width) and\n      barrier-width > 0 and\n      isFinite(biological-rate-correction)",
       "domain": "ν₀ ≥ 0, m > 0, V−E ≥ 0, barrier-width > 0, f finite",
       "confidence": "speculative",
       "citation": "Löwdin 1963 Adv. Quantum Chem. 2:213; Gamow 1928",
@@ -7043,7 +7038,7 @@
         "active-noise-energy"
       ],
       "aliases": {},
-      "holds": "finite(temperature) &&\n      temperature > 0 &&\n      finite(active-noise-energy)",
+      "holds": "isFinite(temperature) and\n      temperature > 0 and\n      isFinite(active-noise-energy)",
       "domain": "T > 0 and Σ_active finite",
       "confidence": "speculative",
       "citation": "Cugliandolo & Kurchan 1993 J. Phys. A 26:L401",
@@ -7066,7 +7061,7 @@
         "modular-hamiltonian-variation"
       ],
       "aliases": {},
-      "holds": "finite(modular-hamiltonian-variation)",
+      "holds": "isFinite(modular-hamiltonian-variation)",
       "domain": "δ⟨H_R⟩ finite (nats)",
       "confidence": "speculative",
       "citation": "Faulkner, Lewkowycz & Maldacena 2013 JHEP 11:074; Blanco et al. 2013 JHEP 08:060",
@@ -7092,7 +7087,7 @@
         "planck-length"
       ],
       "aliases": {},
-      "holds": "finite(causal-set-count-0) &&\n      finite(causal-set-count-1) &&\n      finite(causal-set-count-2) &&\n      finite(causal-set-count-3) &&\n      finite(planck-length) &&\n      planck-length > 0",
+      "holds": "isFinite(causal-set-count-0) and\n      isFinite(causal-set-count-1) and\n      isFinite(causal-set-count-2) and\n      isFinite(causal-set-count-3) and\n      isFinite(planck-length) and\n      planck-length > 0",
       "domain": "N_0..N_3 finite, ℓ_P > 0",
       "confidence": "speculative",
       "citation": "Benincasa & Dowker 2010 PRL 104:181301",
@@ -7122,7 +7117,7 @@
         "dynamic-exponent-z"
       ],
       "aliases": {},
-      "holds": "finite(reference-correlation-length) &&\n      reference-correlation-length > 0 &&\n      finite(temperature) &&\n      temperature > 0 &&\n      finite(reference-temperature) &&\n      reference-temperature > 0 &&\n      finite(static-exponent-nu) &&\n      finite(dynamic-exponent-z) &&\n      dynamic-exponent-z !== 0",
+      "holds": "isFinite(reference-correlation-length) and\n      reference-correlation-length > 0 and\n      isFinite(temperature) and\n      temperature > 0 and\n      isFinite(reference-temperature) and\n      reference-temperature > 0 and\n      isFinite(static-exponent-nu) and\n      isFinite(dynamic-exponent-z) and\n      dynamic-exponent-z != 0",
       "domain": "ξ_0 > 0, T > 0, T_0 > 0, ν finite, z ≠ 0",
       "confidence": "speculative",
       "citation": "Hertz 1976 PRB 14:1165; Millis 1993 PRB 48:7183; Sachdev 2011 QPT 2nd ed. Ch.11",
@@ -7154,7 +7149,7 @@
         "reheating-temperature"
       ],
       "aliases": {},
-      "holds": "finite(quench-timescale) &&\n      quench-timescale > 0 &&\n      finite(microscopic-relaxation-time) &&\n      microscopic-relaxation-time > 0 &&\n      finite(spatial-dimension) &&\n      finite(static-exponent-nu) &&\n      finite(dynamic-exponent-z) &&\n      finite(defect-rest-mass) &&\n      defect-rest-mass >= 0 &&\n      finite(reheating-temperature) &&\n      reheating-temperature > 0 &&\n      1 + dynamic-exponent-z * static-exponent-nu !== 0",
+      "holds": "isFinite(quench-timescale) and\n      quench-timescale > 0 and\n      isFinite(microscopic-relaxation-time) and\n      microscopic-relaxation-time > 0 and\n      isFinite(spatial-dimension) and\n      isFinite(static-exponent-nu) and\n      isFinite(dynamic-exponent-z) and\n      isFinite(defect-rest-mass) and\n      defect-rest-mass >= 0 and\n      isFinite(reheating-temperature) and\n      reheating-temperature > 0 and\n      1 + dynamic-exponent-z * static-exponent-nu != 0",
       "domain": "τ_Q>0, τ_0>0, d/ν/z finite, m_defect≥0, T_reh>0, 1+zν≠0",
       "confidence": "established",
       "citation": "Kibble 1976 J. Phys. A 9:1387; Zurek 1985 Nature 317:505",
@@ -7182,7 +7177,7 @@
         "gravitational-wave-speed"
       ],
       "aliases": {},
-      "holds": "finite(gravitational-wave-speed) &&\n      gravitational-wave-speed > 0",
+      "holds": "isFinite(gravitational-wave-speed) and\n      gravitational-wave-speed > 0",
       "domain": "c_GW > 0 and finite",
       "confidence": "speculative",
       "citation": "Abbott et al. 2017 ApJ Lett. 848:L13; Boran et al. 2018 PRD 97:041501",
@@ -7206,7 +7201,7 @@
         "mond-acceleration-scale"
       ],
       "aliases": {},
-      "holds": "finite(newtonian-force) &&\n      newtonian-force > 0 &&\n      finite(mass) &&\n      mass > 0 &&\n      finite(mond-acceleration-scale) &&\n      mond-acceleration-scale > 0",
+      "holds": "isFinite(newtonian-force) and\n      newtonian-force > 0 and\n      isFinite(mass) and\n      mass > 0 and\n      isFinite(mond-acceleration-scale) and\n      mond-acceleration-scale > 0",
       "domain": "F_N > 0, m > 0, a_0 > 0",
       "confidence": "speculative",
       "citation": "Milgrom 1983 ApJ 270:365; Famaey & McGaugh 2012 Living Rev. Relativity 15:10",
@@ -7234,7 +7229,7 @@
         "truncation-coefficient-c"
       ],
       "aliases": {},
-      "holds": "finite(newton-coupling-dimensionless) &&\n      finite(cosmological-constant-dimensionless) &&\n      finite(truncation-coefficient-a) &&\n      finite(truncation-coefficient-b) &&\n      finite(truncation-coefficient-c)",
+      "holds": "isFinite(newton-coupling-dimensionless) and\n      isFinite(cosmological-constant-dimensionless) and\n      isFinite(truncation-coefficient-a) and\n      isFinite(truncation-coefficient-b) and\n      isFinite(truncation-coefficient-c)",
       "domain": "g, λ, A, B, C all finite",
       "confidence": "speculative",
       "citation": "Reuter 1998 PRD 57:971; Reuter & Weyer 2009 Gen. Rel. Grav. 41:983",
@@ -7264,7 +7259,7 @@
         "planck-mass"
       ],
       "aliases": {},
-      "holds": "finite(reference-mass) &&\n      reference-mass >= 0 &&\n      finite(swampland-coefficient) &&\n      finite(scalar-field-value) &&\n      finite(scalar-field-reference) &&\n      finite(planck-mass) &&\n      planck-mass > 0",
+      "holds": "isFinite(reference-mass) and\n      reference-mass >= 0 and\n      isFinite(swampland-coefficient) and\n      isFinite(scalar-field-value) and\n      isFinite(scalar-field-reference) and\n      isFinite(planck-mass) and\n      planck-mass > 0",
       "domain": "m₀ ≥ 0, α/φ/φ₀ finite, M_P > 0",
       "confidence": "speculative",
       "citation": "Ooguri & Vafa 2007 Nucl. Phys. B 766:21; Vafa 2005 (hep-th/0509212)",
@@ -7290,7 +7285,7 @@
         "wormhole-cross-section-area"
       ],
       "aliases": {},
-      "holds": "finite(wormhole-cross-section-area) &&\n      wormhole-cross-section-area >= 0",
+      "holds": "isFinite(wormhole-cross-section-area) and\n      wormhole-cross-section-area >= 0",
       "domain": "A_wh ≥ 0 and finite",
       "confidence": "speculative",
       "citation": "Maldacena & Susskind 2013 Fortschr. Phys. 61:781; Bekenstein 1973 PRD 7:2333",
@@ -7315,7 +7310,7 @@
         "tcc-correction-coefficient"
       ],
       "aliases": {},
-      "holds": "finite(planck-mass-energy) &&\n      planck-mass-energy > 0 &&\n      finite(inflation-hubble-energy) &&\n      inflation-hubble-energy > 0 &&\n      finite(tensor-to-scalar-ratio) &&\n      tensor-to-scalar-ratio > 0 &&\n      finite(tcc-correction-coefficient)",
+      "holds": "isFinite(planck-mass-energy) and\n      planck-mass-energy > 0 and\n      isFinite(inflation-hubble-energy) and\n      inflation-hubble-energy > 0 and\n      isFinite(tensor-to-scalar-ratio) and\n      tensor-to-scalar-ratio > 0 and\n      isFinite(tcc-correction-coefficient)",
       "domain": "M_P > 0, H_inf > 0, r > 0, γ finite",
       "confidence": "speculative",
       "citation": "Bedroya & Vafa 2019 (arXiv:1909.11063)",
@@ -7342,7 +7337,7 @@
         "landscape-parameter"
       ],
       "aliases": {},
-      "holds": "finite(measure-normalization) &&\n      finite(anthropic-model-parameter) &&\n      finite(landscape-parameter) &&\n      landscape-parameter > 0",
+      "holds": "isFinite(measure-normalization) and\n      isFinite(anthropic-model-parameter) and\n      isFinite(landscape-parameter) and\n      landscape-parameter > 0",
       "domain": "A, α finite, Λ > 0",
       "confidence": "highly-speculative",
       "citation": "Vilenkin 1995 PRL 74:846; Weinberg 1987 PRL 59:2607",
@@ -7373,7 +7368,7 @@
         "transfer-efficiency"
       ],
       "aliases": {},
-      "holds": "finite(hubble-rate) &&\n      finite(nucleon-yield-density) &&\n      finite(sm-reaction-rate-coefficient) &&\n      finite(proton-density) &&\n      finite(neutron-density) &&\n      finite(dark-reaction-rate-coefficient) &&\n      finite(dark-species-density) &&\n      finite(transfer-efficiency)",
+      "holds": "isFinite(hubble-rate) and\n      isFinite(nucleon-yield-density) and\n      isFinite(sm-reaction-rate-coefficient) and\n      isFinite(proton-density) and\n      isFinite(neutron-density) and\n      isFinite(dark-reaction-rate-coefficient) and\n      isFinite(dark-species-density) and\n      isFinite(transfer-efficiency)",
       "domain": "all eight Boltzmann inputs finite",
       "confidence": "speculative",
       "citation": "Kolb & Turner 1990 §5.2; Pitrou et al. 2018 Phys. Rep. 754:1",
@@ -7405,7 +7400,7 @@
         "darwinism-decay-exponent"
       ],
       "aliases": {},
-      "holds": "finite(total-mutual-information) &&\n      finite(darwinism-magnitude) &&\n      finite(fragment-count) &&\n      fragment-count > 0 &&\n      finite(darwinism-decay-exponent)",
+      "holds": "isFinite(total-mutual-information) and\n      isFinite(darwinism-magnitude) and\n      isFinite(fragment-count) and\n      fragment-count > 0 and\n      isFinite(darwinism-decay-exponent)",
       "domain": "I(S:E), α, β finite; k > 0",
       "confidence": "speculative",
       "citation": "Zurek 2009 Nat. Phys. 5:181; Blume-Kohout & Zurek 2006 PRA 73:062310",
@@ -7431,7 +7426,7 @@
         "advanced-field-amplitude"
       ],
       "aliases": {},
-      "holds": "finite(retarded-field-amplitude) && finite(advanced-field-amplitude)",
+      "holds": "isFinite(retarded-field-amplitude) and isFinite(advanced-field-amplitude)",
       "domain": "A_ret and A_adv finite",
       "confidence": "highly-speculative",
       "citation": "Wheeler & Feynman 1945 RMP 17:157; Cramer 1986 RMP 58:647",
@@ -7457,7 +7452,7 @@
         "composite-higgs-beta"
       ],
       "aliases": {},
-      "holds": "finite(higgs-decay-constant) &&\n      higgs-decay-constant > 0 &&\n      finite(higgs-field) &&\n      finite(composite-higgs-alpha) &&\n      finite(composite-higgs-beta)",
+      "holds": "isFinite(higgs-decay-constant) and\n      higgs-decay-constant > 0 and\n      isFinite(higgs-field) and\n      isFinite(composite-higgs-alpha) and\n      isFinite(composite-higgs-beta)",
       "domain": "f > 0; h, α, β finite (natural units)",
       "confidence": "established",
       "citation": "Kaplan & Georgi 1984 PLB 136:183; Giudice, Grojean, Pomarol & Rattazzi 2007 JHEP 0706:045",
@@ -7486,7 +7481,7 @@
           "C"
         ]
       },
-      "holds": "integer(chern-number) && chern-number !== 0",
+      "holds": "isInteger(chern-number) and chern-number != 0",
       "domain": "C is a nonzero integer",
       "confidence": "established",
       "citation": "von Klitzing 1980 PRL 45:494; Thouless, Kohmoto, Nightingale & den Nijs 1982 PRL 49:405",
@@ -7516,7 +7511,7 @@
           "V_volts"
         ]
       },
-      "holds": "finite(voltage)",
+      "holds": "isFinite(voltage)",
       "domain": "V finite",
       "confidence": "established",
       "citation": "Josephson 1962 Phys. Lett. 1:251",
@@ -7546,7 +7541,7 @@
           "nu"
         ]
       },
-      "holds": "finite(filling-fraction) && filling-fraction > 0",
+      "holds": "isFinite(filling-fraction) and filling-fraction > 0",
       "domain": "ν finite and > 0",
       "confidence": "established",
       "citation": "Tsui, Störmer & Gossard 1982 PRL 48:1559; Laughlin 1983 PRL 50:1395",
@@ -7573,7 +7568,7 @@
           "mu_e"
         ]
       },
-      "holds": "finite(mean-molecular-weight-per-electron) &&\n      mean-molecular-weight-per-electron > 0 &&\n      finite(lane-emden-omega-3)",
+      "holds": "isFinite(mean-molecular-weight-per-electron) and\n      mean-molecular-weight-per-electron > 0 and\n      isFinite(lane-emden-omega-3)",
       "domain": "μ_e > 0 and ω₃⁰ finite",
       "confidence": "established",
       "citation": "Chandrasekhar 1931 ApJ 74:81",
@@ -7610,8 +7605,8 @@
           "theta"
         ]
       },
-      "holds": "finite(poynting-flux) &&\n      poynting-flux >= 0 &&\n      finite(reflectance) &&\n      reflectance >= 0 &&\n      reflectance <= 1 &&\n      finite(incidence-angle)",
-      "domain": "I ≥ 0, R on [0, 1], θ finite; transmission 0",
+      "holds": "isFinite(poynting-flux) and\n      poynting-flux >= 0 and\n      isFinite(reflectance) and\n      reflectance >= 0 and\n      reflectance <= 1 and\n      isFinite(incidence-angle) and incidence-angle >= 0 and incidence-angle < pi / 2",
+      "domain": "I ≥ 0, R on [0, 1], θ finite; transmission 0; incidence-angle >= 0 and incidence-angle < pi / 2",
       "confidence": "established",
       "citation": "OpenStax University Physics Volume 2, https://openstax.org/books/university-physics-volume-2/pages/16-4-momentum-and-radiation-pressure (absorber I/c, reflector 2I/c). The (1+R) cos²θ factor is this catalog's assembly.",
       "reference": {
@@ -7642,7 +7637,7 @@
           "rho_kg_per_m3"
         ]
       },
-      "holds": "finite(magnetic-flux-density) &&\n      magnetic-flux-density >= 0 &&\n      finite(plasma-mass-density) &&\n      plasma-mass-density > 0",
+      "holds": "isFinite(magnetic-flux-density) and\n      magnetic-flux-density >= 0 and\n      isFinite(plasma-mass-density) and\n      plasma-mass-density > 0",
       "domain": "B ≥ 0 and ρ > 0, both finite; ρ is a mass density",
       "confidence": "established",
       "citation": "Alfvén 1942 Nature 150:405. SI form B/√(μ0 ρ); ρ is the total mass density.",
@@ -7673,7 +7668,7 @@
           "g_00"
         ]
       },
-      "holds": "finite(proper-temperature) &&\n      proper-temperature > 0 &&\n      finite(metric-g00) &&\n      metric-g00 < 0",
+      "holds": "isFinite(proper-temperature) and\n      proper-temperature > 0 and\n      isFinite(metric-g00) and\n      metric-g00 < 0",
       "domain": "T > 0 and g_00 < 0, both finite",
       "confidence": "established",
       "citation": "Tolman & Ehrenfest 1930 Phys. Rev. 36:1791 (T0 √g_44). Catalog form T √(−g_00).",
@@ -7709,7 +7704,7 @@
           "rho_kg_per_m3"
         ]
       },
-      "holds": "finite(sound-speed) &&\n      sound-speed >= 0 &&\n      finite(magnetic-flux-density) &&\n      finite(plasma-mass-density) &&\n      plasma-mass-density > 0",
+      "holds": "isFinite(sound-speed) and\n      sound-speed >= 0 and\n      isFinite(magnetic-flux-density) and\n      isFinite(plasma-mass-density) and\n      plasma-mass-density > 0",
       "domain": "c_s ≥ 0, B finite, ρ > 0",
       "confidence": "established",
       "citation": "PhysJS.FastMagnetosonic.speed_eq. Perpendicular compressional phase speed. c_s = 0 is the Alfvén number of a different polarization.",
@@ -7745,7 +7740,7 @@
           "q_C"
         ]
       },
-      "holds": "finite(electrical-mobility) &&\n      finite(einstein-temperature) &&\n      einstein-temperature !== 0 &&\n      finite(carrier-charge) &&\n      carrier-charge !== 0",
+      "holds": "isFinite(electrical-mobility) and\n      isFinite(einstein-temperature) and\n      einstein-temperature != 0 and\n      isFinite(carrier-charge) and\n      carrier-charge != 0",
       "domain": "μ finite, T ≠ 0, and q ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.EinsteinRelation.diffusion_eq. Drift cancels diffusion on a Boltzmann profile.",
@@ -7781,7 +7776,7 @@
           "delta_v_m3_per_kg"
         ]
       },
-      "holds": "finite(specific-latent-heat) &&\n      finite(clapeyron-temperature) &&\n      clapeyron-temperature !== 0 &&\n      finite(specific-volume-change) &&\n      specific-volume-change !== 0",
+      "holds": "isFinite(specific-latent-heat) and\n      isFinite(clapeyron-temperature) and\n      clapeyron-temperature != 0 and\n      isFinite(specific-volume-change) and\n      specific-volume-change != 0",
       "domain": "L finite, T ≠ 0, Δv ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.Clapeyron.slope_eq. L = T (s2−s1) is already substituted. The entropy slope is not a second edge.",
@@ -7813,7 +7808,7 @@
           "g2"
         ]
       },
-      "holds": "finite(redshift-metric-g00-1) &&\n      redshift-metric-g00-1 < 0 &&\n      finite(redshift-metric-g00-2) &&\n      redshift-metric-g00-2 < 0",
+      "holds": "isFinite(redshift-metric-g00-1) and\n      redshift-metric-g00-1 < 0 and\n      isFinite(redshift-metric-g00-2) and\n      redshift-metric-g00-2 < 0",
       "domain": "both static g_00 components are finite and negative",
       "confidence": "established",
       "citation": "PhysJS.GravitationalRedshift.frequency_ratio. Not PhysJS.TolmanEhrenfest.hydrostatic_constant. tolman_same_ratio is nested and is not this edge.",
@@ -7844,7 +7839,7 @@
           "T_K"
         ]
       },
-      "holds": "finite(seebeck-coefficient) && finite(peltier-temperature) && peltier-temperature !== 0",
+      "holds": "isFinite(seebeck-coefficient) and isFinite(peltier-temperature) and peltier-temperature != 0",
       "domain": "S finite and T ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.KelvinRelation.peltier_eq. L12 = L21 is ThermoelectricOnsager.onsager, a structure field, not an axiom and not an input.",
@@ -7872,7 +7867,7 @@
           "B"
         ]
       },
-      "holds": "finite(magnetic-flux-density)",
+      "holds": "isFinite(magnetic-flux-density)",
       "domain": "B finite; the factor 2 is the stored-energy half, not C = 1",
       "confidence": "established",
       "citation": "PhysJS.MagneticPressure.pressure_eq. U = (L/2) I². C = 1 is the battery work per volume, not this pressure.",
@@ -7904,7 +7899,7 @@
           "n"
         ]
       },
-      "holds": "finite(effective-mass) && effective-mass > 0 && finite(carrier-density) && carrier-density > 0",
+      "holds": "isFinite(effective-mass) and effective-mass > 0 and isFinite(carrier-density) and carrier-density > 0",
       "domain": "m > 0 and n > 0; e is the elementary charge",
       "confidence": "established",
       "citation": "PhysJS.LondonPenetration.depth_eq. Units also admit μ0 e²/m. Not the classical skin depth.",
@@ -7942,7 +7937,7 @@
           "p_B"
         ]
       },
-      "holds": "finite(carrier-density) &&\n      finite(temperature) &&\n      finite(magnetic-pressure) &&\n      magnetic-pressure !== 0",
+      "holds": "isFinite(carrier-density) and\n      isFinite(temperature) and\n      isFinite(magnetic-pressure) and\n      magnetic-pressure != 0",
       "domain": "n and T finite, p_B ≠ 0; p_B is B²/(2 μ0)",
       "confidence": "established",
       "citation": "PhysJS.PlasmaBeta.beta_eq. p_B is PhysJS.MagneticPressure.pressure_eq. Using B²/μ0 is half of this beta. Not a plasma-β inequality.",
@@ -7985,7 +7980,7 @@
           "L"
         ]
       },
-      "holds": "finite(pipe-radius) &&\n      pipe-radius > 0 &&\n      finite(pipe-pressure-drop) &&\n      finite(dynamic-viscosity) &&\n      dynamic-viscosity !== 0 &&\n      finite(pipe-length) &&\n      pipe-length !== 0",
+      "holds": "isFinite(pipe-radius) and\n      pipe-radius > 0 and\n      isFinite(pipe-pressure-drop) and\n      isFinite(dynamic-viscosity) and\n      dynamic-viscosity != 0 and\n      isFinite(pipe-length) and\n      pipe-length != 0",
       "domain": "R > 0, ΔP finite, μ ≠ 0, L ≠ 0; circular pipe, not a square duct",
       "confidence": "established",
       "citation": "PhysJS.HagenPoiseuille.flow_eq. f_D Re = 64 follows from Darcy definitions. The Fanning factor is 16. Not a square duct.",
@@ -8024,7 +8019,7 @@
           "L"
         ]
       },
-      "holds": "finite(youngs-modulus) &&\n      youngs-modulus > 0 &&\n      finite(area-moment) &&\n      area-moment > 0 &&\n      finite(column-length) &&\n      column-length > 0",
+      "holds": "isFinite(youngs-modulus) and\n      youngs-modulus > 0 and\n      isFinite(area-moment) and\n      area-moment > 0 and\n      isFinite(column-length) and\n      column-length > 0",
       "domain": "E > 0, I > 0, L > 0; pinned ends y(0) = y(L) = 0",
       "confidence": "established",
       "citation": "PhysJS.EulerBuckling.critical_load. The beam equation is a hypothesis. The clamped-free load is π² E I / (4 L²), not this load.",
@@ -8063,7 +8058,7 @@
           "A"
         ]
       },
-      "holds": "finite(pull-in-stiffness) &&\n      pull-in-stiffness > 0 &&\n      finite(pull-in-gap) &&\n      pull-in-gap > 0 &&\n      finite(pull-in-area) &&\n      pull-in-area > 0",
+      "holds": "isFinite(pull-in-stiffness) and\n      pull-in-stiffness > 0 and\n      isFinite(pull-in-gap) and\n      pull-in-gap > 0 and\n      isFinite(pull-in-area) and\n      pull-in-area > 0",
       "domain": "k > 0, g0 > 0, A > 0; the fold is g = 2 g0/3, not g0/2",
       "confidence": "established",
       "citation": "PhysJS.PullIn.pull_in_eq. C = ε0 A/g and the linear spring are hypotheses. g = g0/2 is not the fold.",
@@ -8106,7 +8101,7 @@
           "d"
         ]
       },
-      "holds": "finite(mott-permittivity) &&\n      mott-permittivity > 0 &&\n      finite(mott-mobility) &&\n      mott-mobility > 0 &&\n      finite(mott-voltage) &&\n      finite(mott-thickness) &&\n      mott-thickness > 0",
+      "holds": "isFinite(mott-permittivity) and\n      mott-permittivity > 0 and\n      isFinite(mott-mobility) and\n      mott-mobility > 0 and\n      isFinite(mott-voltage) and\n      isFinite(mott-thickness) and\n      mott-thickness > 0",
       "domain": "ε > 0, μ > 0, V finite, d > 0; E(0) = 0",
       "confidence": "established",
       "citation": "PhysJS.MottGurney.current_eq. Drift, Poisson, and the injecting contact are hypotheses. Not Child–Langmuir.",
@@ -8146,7 +8141,7 @@
           "d"
         ]
       },
-      "holds": "finite(child-carrier-mass) &&\n      child-carrier-mass > 0 &&\n      finite(child-voltage) &&\n      child-voltage > 0 &&\n      finite(child-gap) &&\n      child-gap > 0",
+      "holds": "isFinite(child-carrier-mass) and\n      child-carrier-mass > 0 and\n      isFinite(child-voltage) and\n      child-voltage > 0 and\n      isFinite(child-gap) and\n      child-gap > 0",
       "domain": "m > 0, V > 0, d > 0; cathode field 0; Poisson not at x = 0",
       "confidence": "established",
       "citation": "PhysJS.ChildLangmuir.current_eq. e is the elementary charge. Not a drift-only solid.",
@@ -8185,7 +8180,7 @@
           "T"
         ]
       },
-      "holds": "finite(shockley-saturation) &&\n      finite(shockley-voltage) &&\n      finite(shockley-temperature) &&\n      shockley-temperature !== 0",
+      "holds": "isFinite(shockley-saturation) and\n      isFinite(shockley-voltage) and\n      isFinite(shockley-temperature) and\n      shockley-temperature != 0",
       "domain": "I_s and V finite, T ≠ 0; ideality 1",
       "confidence": "established",
       "citation": "PhysJS.ShockleyDiode.shockley_eq. Quasi-equilibrium, detailed balance at V = 0, and low injection are hypotheses. Ideality 2 is not this current.",
@@ -8219,7 +8214,7 @@
           "dS_dT"
         ]
       },
-      "holds": "finite(thomson-temperature) && finite(seebeck-slope)",
+      "holds": "isFinite(thomson-temperature) and isFinite(seebeck-slope)",
       "domain": "T and dS/dT finite; Kelvin along temperature and the Thomson split are hypotheses",
       "confidence": "established",
       "citation": "PhysJS.Thomson.thomson_eq. Π(t) = S(t) t is PhysJS.KelvinRelation.peltier_eq read along temperature. Not a second copy of Π = S T.",
@@ -8252,7 +8247,7 @@
           "I"
         ]
       },
-      "holds": "finite(four-point-voltage) && finite(four-point-current) && four-point-current !== 0",
+      "holds": "isFinite(four-point-voltage) and isFinite(four-point-current) and four-point-current != 0",
       "domain": "V finite, I ≠ 0; probes at 0, s, 2s, 3s; radial field (I R_s)/(2 π r)",
       "confidence": "established",
       "citation": "PhysJS.FourPoint.sheet_eq. The Laplace field and linear superposition are hypotheses. A sink at 4s is 2π/ln 3. Not PhysJS.Crossing.antisymmetry.",
@@ -8280,7 +8275,7 @@
           "I"
         ]
       },
-      "holds": "finite(shot-current)",
+      "holds": "isFinite(shot-current)",
       "domain": "I finite; Poisson Var(N) = mean(N); one-sided Δf = 1/(2 T)",
       "confidence": "established",
       "citation": "PhysJS.ShotNoise.shot_eq. e is the elementary charge. The two-sided bandwidth gives e I. Not Johnson–Nyquist.",
@@ -8306,7 +8301,7 @@
           "C_f"
         ]
       },
-      "holds": "finite(skin-friction)",
+      "holds": "isFinite(skin-friction)",
       "domain": "C_f finite; normalized wall gradients agree and Pr = 1",
       "confidence": "established",
       "citation": "PhysJS.ReynoldsAnalogy.reynolds_eq. St Pr = C_f/2 when the slopes match. Pr = 1 is the hypothesis that drops Pr. Not a Nusselt correlation.",
@@ -8338,7 +8333,7 @@
           "C"
         ]
       },
-      "holds": "finite(capacitor-temperature) && finite(capacitance) && capacitance > 0",
+      "holds": "isFinite(capacitor-temperature) and isFinite(capacitance) and capacitance > 0",
       "domain": "T finite, C > 0; U = (C/2) V²",
       "confidence": "established",
       "citation": "PhysJS.CapacitorNoise.noise_eq. (3/2) k_B T/C is not this variance. Dropping the energy half gives k_B T/(2 C).",
@@ -8369,7 +8364,7 @@
           "m_kg"
         ]
       },
-      "holds": "finite(fermi-sea-density) && fermi-sea-density > 0 && finite(fermi-sea-mass) && fermi-sea-mass > 0",
+      "holds": "isFinite(fermi-sea-density) and fermi-sea-density > 0 and isFinite(fermi-sea-mass) and fermi-sea-mass > 0",
       "domain": "n > 0, m* > 0; two spins, T = 0, isotropic parabola",
       "confidence": "established",
       "citation": "PhysJS.FermiSea.fermi_sea. One spin is k_F³ = 6 π² n. Not a lattice band. The band, the two-spin count, and T = 0 are hypotheses.",
@@ -8400,7 +8395,7 @@
           "n_per_m3"
         ]
       },
-      "holds": "finite(debye-sound-speed) && debye-sound-speed > 0 && finite(debye-atom-density) && debye-atom-density > 0",
+      "holds": "isFinite(debye-sound-speed) and debye-sound-speed > 0 and isFinite(debye-atom-density) and debye-atom-density > 0",
       "domain": "v_s > 0, n > 0; three acoustic branches, one speed",
       "confidence": "established",
       "citation": "PhysJS.DebyeCutoff.debye_cutoff. Equating the three-branch sum to n gives k_D³ = 2 π² n. The branch count and the common speed are hypotheses.",
@@ -8435,17 +8430,17 @@
           "thetaD_K"
         ]
       },
-      "holds": "finite(debye-atom-count) && debye-atom-count > 0 &&\n      finite(debye-temperature) && debye-temperature > 0 &&\n      finite(debye-theta) && debye-theta > 0",
-      "domain": "N > 0, T > 0, θ_D > 0; I = π⁴/15 is assumed",
+      "holds": "isFinite(debye-atom-count) and debye-atom-count > 0 and\n      isFinite(debye-temperature) and debye-temperature > 0 and\n      isFinite(debye-theta) and debye-theta > 0 and 10 * debye-temperature <= debye-theta",
+      "domain": "N > 0, T > 0, θ_D > 0; I = π⁴/15 is assumed; 10 * debye-temperature <= debye-theta",
       "confidence": "established",
       "citation": "PhysJS.DebyeHeat.debye_heat. I = π⁴/15 is a hypothesis, not an evaluation of the Bose integral. The energy prefactor 3 π⁴/5 is not the heat capacity.",
       "reference": {
         "inputs": {
           "debye-atom-count": 2,
-          "debye-temperature": 300,
-          "debye-theta": 1
+          "debye-temperature": 1,
+          "debye-theta": 10
         },
-        "value": 1.7429614230859777e-13
+        "value": 6.4554126780962135e-24
       }
     },
     {
@@ -8471,7 +8466,7 @@
           "thetaE_K"
         ]
       },
-      "holds": "finite(einstein-atom-count) && einstein-atom-count > 0 &&\n      finite(einstein-solid-temperature) && einstein-solid-temperature > 0 &&\n      finite(einstein-theta) && einstein-theta > 0",
+      "holds": "isFinite(einstein-atom-count) and einstein-atom-count > 0 and\n      isFinite(einstein-solid-temperature) and einstein-solid-temperature > 0 and\n      isFinite(einstein-theta) and einstein-theta > 0",
       "domain": "N > 0, T > 0, θ_E > 0; three Einstein oscillators",
       "confidence": "established",
       "citation": "PhysJS.EinsteinSolid.einstein_heat. The high-temperature limit is 3 N k_B. One oscillator tends to N k_B. The zero-point is constant.",
@@ -8507,8 +8502,8 @@
           "E_F_J"
         ]
       },
-      "holds": "finite(sommerfeld-density) && sommerfeld-density > 0 &&\n      finite(sommerfeld-temperature) && sommerfeld-temperature > 0 &&\n      finite(sommerfeld-fermi-energy) && sommerfeld-fermi-energy > 0",
-      "domain": "n > 0, T > 0, E_F > 0; δU is a hypothesis; √E density",
+      "holds": "isFinite(sommerfeld-density) and sommerfeld-density > 0 and\n      isFinite(sommerfeld-temperature) and sommerfeld-temperature > 0 and\n      isFinite(sommerfeld-fermi-energy) and sommerfeld-fermi-energy > 0 and 10 * k_B * sommerfeld-temperature <= sommerfeld-fermi-energy",
+      "domain": "n > 0, T > 0, E_F > 0; δU is a hypothesis; √E density; 10 * k_B * sommerfeld-temperature <= sommerfeld-fermi-energy",
       "confidence": "established",
       "citation": "PhysJS.SommerfeldHeat.electronic_heat. A flat density leaves π²/3. Not the Wiedemann–Franz law and not a second proof of be-61.",
       "reference": {
@@ -8555,8 +8550,8 @@
           "theta_K"
         ]
       },
-      "holds": "finite(curie-density) && curie-density > 0 &&\n      finite(curie-g-factor) &&\n      finite(curie-spin) && curie-spin >= 0 &&\n      finite(curie-magneton) && curie-magneton > 0 &&\n      finite(curie-temperature) && finite(weiss-temperature) &&\n      curie-temperature !== weiss-temperature",
-      "domain": "n > 0, μ_B > 0, spin ≥ 0, T ≠ θ; second moment and mean field are hypotheses",
+      "holds": "isFinite(curie-density) and curie-density > 0 and\n      isFinite(curie-g-factor) and\n      isFinite(curie-spin) and curie-spin >= 0 and\n      isFinite(curie-magneton) and curie-magneton > 0 and\n      isFinite(curie-temperature) and isFinite(weiss-temperature) and\n      curie-temperature != weiss-temperature and curie-temperature > weiss-temperature",
+      "domain": "n > 0, μ_B > 0, spin ≥ 0, T ≠ θ; second moment and mean field are hypotheses; curie-temperature > weiss-temperature",
       "confidence": "established",
       "citation": "PhysJS.CurieWeiss.curie_weiss. θ = 0 is C/T. Not an su(2) derivation. The second moment and the mean-field shift are hypotheses.",
       "reference": {
@@ -8565,10 +8560,10 @@
           "curie-g-factor": 2,
           "curie-spin": 2,
           "curie-magneton": 1,
-          "curie-temperature": 100,
-          "weiss-temperature": 200
+          "curie-temperature": 200,
+          "weiss-temperature": 100
         },
-        "value": -7281428152238865
+        "value": 7281428152238865
       }
     },
     {
@@ -8594,7 +8589,7 @@
           "muB_J_per_T"
         ]
       },
-      "holds": "finite(pauli-density) && pauli-density > 0 &&\n      finite(pauli-fermi-energy) && pauli-fermi-energy > 0 &&\n      finite(pauli-magneton) && pauli-magneton > 0",
+      "holds": "isFinite(pauli-density) and pauli-density > 0 and\n      isFinite(pauli-fermi-energy) and pauli-fermi-energy > 0 and\n      isFinite(pauli-magneton) and pauli-magneton > 0",
       "domain": "n > 0, E_F > 0, μ_B > 0; Zeeman imbalance is a hypothesis",
       "confidence": "established",
       "citation": "PhysJS.PauliParamagnetism.pauli. A flat density leaves the factor 1. Not Landau diamagnetism.",
@@ -8622,7 +8617,7 @@
           "kappa"
         ]
       },
-      "holds": "finite(gl-kappa) && gl-kappa > 0",
+      "holds": "isFinite(gl-kappa) and gl-kappa > 0",
       "domain": "κ > 0; the factor multiplies this trial, not every minimizer",
       "confidence": "established",
       "citation": "PhysJS.GinzburgLandau.type_boundary. Negative when κ > 1/√2. The positive side is this trial, not every minimizer.",
@@ -8648,7 +8643,7 @@
           "xi_m"
         ]
       },
-      "holds": "finite(upper-critical-length) && upper-critical-length > 0",
+      "holds": "isFinite(upper-critical-length) and upper-critical-length > 0",
       "domain": "ξ > 0; charge q = 2e; the Landau level is a hypothesis",
       "confidence": "established",
       "citation": "PhysJS.UpperCritical.critical_field. Charge e instead of 2e is a different field. Not the spectrum of the covariant Laplacian.",
@@ -8674,7 +8669,7 @@
           "Delta_J"
         ]
       },
-      "holds": "finite(ambegaokar-gap) && ambegaokar-gap > 0",
+      "holds": "isFinite(ambegaokar-gap) and ambegaokar-gap > 0",
       "domain": "Δ > 0; T = 0 and identical gaps are hypotheses",
       "confidence": "established",
       "citation": "PhysJS.AmbegaokarBaratoff.ambegaokar_baratoff. A coefficient other than π/2 fails. Not the finite-temperature tanh factor.",
@@ -8700,7 +8695,7 @@
           "zeta"
         ]
       },
-      "holds": "finite(bcs-quartic) && bcs-quartic !== 0",
+      "holds": "isFinite(bcs-quartic) and bcs-quartic != 0",
       "domain": "ζ finite and nonzero; ζ is the quartic coefficient",
       "confidence": "established",
       "citation": "PhysJS.BcsJump.heat_jump. ζ is the quartic coefficient, not a series evaluation. One spin in C_n misses the ratio.",
@@ -8738,7 +8733,7 @@
           "T_K"
         ]
       },
-      "holds": "finite(conduction-dos) && conduction-dos > 0 &&\n      finite(valence-dos) && valence-dos > 0 &&\n      finite(mass-action-gap) &&\n      finite(mass-action-temperature) && mass-action-temperature > 0",
+      "holds": "isFinite(conduction-dos) and conduction-dos > 0 and\n      isFinite(valence-dos) and valence-dos > 0 and\n      isFinite(mass-action-gap) and\n      isFinite(mass-action-temperature) and mass-action-temperature > 0",
       "domain": "N_c > 0, N_v > 0, T > 0; Boltzmann tails are hypotheses",
       "confidence": "established",
       "citation": "PhysJS.MassAction.mass_action. Dropping the 2 in the exponent is a different density. Not a Fermi–Dirac integral.",
@@ -8771,8 +8766,8 @@
           "eps_inf"
         ]
       },
-      "holds": "finite(lst-static) && finite(lst-infinity) && lst-infinity !== 0",
-      "domain": "ε(∞) ≠ 0; no damping is a hypothesis",
+      "holds": "isFinite(lst-static) and isFinite(lst-infinity) and lst-infinity != 0 and lst-static >= lst-infinity",
+      "domain": "ε(∞) ≠ 0; no damping is a hypothesis; lst-static >= lst-infinity",
       "confidence": "established",
       "citation": "PhysJS.LyddaneSachsTeller.lst. The unsquared frequency ratio fails when ω_LO ≠ ω_TO. No damping is a hypothesis.",
       "reference": {
@@ -8798,7 +8793,7 @@
           "J_J"
         ]
       },
-      "holds": "finite(bkt-stiffness) && bkt-stiffness > 0",
+      "holds": "isFinite(bkt-stiffness) and bkt-stiffness > 0",
       "domain": "J > 0; area entropy of core positions is the hypothesis",
       "confidence": "established",
       "citation": "PhysJS.BktJump.bkt_jump. Circumference entropy unbinds at π J. Not the renormalization-group flow.",
@@ -8824,7 +8819,7 @@
           "sum_Tn"
         ]
       },
-      "holds": "finite(landauer-transmission)",
+      "holds": "isFinite(landauer-transmission)",
       "domain": "Σ T_n finite; spin = 2 and Δμ = e V are hypotheses",
       "confidence": "established",
       "citation": "PhysJS.LandauerConductance.conductance_eq. One spin is e²/h. Not the Hall conductance and not Landauer erasure.",
@@ -8854,7 +8849,7 @@
           "m_i_kg"
         ]
       },
-      "holds": "finite(bohm-ion-mass) && bohm-ion-mass > 0",
+      "holds": "isFinite(bohm-ion-mass) and bohm-ion-mass > 0",
       "domain": "m_i > 0",
       "confidence": "established",
       "citation": "PhysJS.BohmSheath.cold_bohm_threshold. The sound-speed root is the non-negative one. γ_i = 5/3 is not the warm closure.",
@@ -8889,7 +8884,7 @@
           "lambda_De_m"
         ]
       },
-      "holds": "finite(ion-acoustic-wavenumber) && ion-acoustic-wavenumber !== 0",
+      "holds": "isFinite(ion-acoustic-wavenumber) and ion-acoustic-wavenumber != 0",
       "domain": "k ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.IonAcoustic.dispersion_eq. Warm ions and a kinetic dispersion are not this row.",
@@ -8925,7 +8920,7 @@
           "m_kg"
         ]
       },
-      "holds": "finite(upper-hybrid-mass) && upper-hybrid-mass > 0",
+      "holds": "isFinite(upper-hybrid-mass) and upper-hybrid-mass > 0",
       "domain": "m > 0",
       "confidence": "established",
       "citation": "PhysJS.UpperHybrid.upper_hybrid_eq. e is the elementary charge. Not a cyclotron monomial.",
@@ -8957,7 +8952,7 @@
           "omega_p_rad_s"
         ]
       },
-      "holds": "finite(cutoff-cyclotron) && cutoff-cyclotron >= 0",
+      "holds": "isFinite(cutoff-cyclotron) and cutoff-cyclotron >= 0",
       "domain": "ω_c ≥ 0; the Stix index is a hypothesis",
       "confidence": "established",
       "citation": "PhysJS.ColdPlasmaCutoff.cutoff_R. The cold Stix index n_R² = 1 − ω_p²/(ω(ω − ω_c)) is a hypothesis. The Stix dielectric is not re-derived.",
@@ -8992,7 +8987,7 @@
           "omega_ce_rad_s"
         ]
       },
-      "holds": "lower-hybrid-ion-plasma !== 0 && lower-hybrid-ion-cyclotron !== 0 && lower-hybrid-electron-cyclotron !== 0",
+      "holds": "lower-hybrid-ion-plasma != 0 and lower-hybrid-ion-cyclotron != 0 and lower-hybrid-electron-cyclotron != 0",
       "domain": "frequencies finite and nonzero",
       "confidence": "established",
       "citation": "PhysJS.LowerHybrid.lower_hybrid_eq. Dropping the leading 1 leaves ω² = ω_ci ω_ce.",
@@ -9028,7 +9023,7 @@
           "theta_rad"
         ]
       },
-      "holds": "finite(oblique-sound) && finite(oblique-alfven)",
+      "holds": "isFinite(oblique-sound) and isFinite(oblique-alfven)",
       "domain": "c_s² and v_A² ≥ 0",
       "confidence": "established",
       "citation": "PhysJS.ObliqueMagnetosonic.phase_speed_eq. The be-69 quartic with k_∥ = k cos θ is a hypothesis.",
@@ -9060,7 +9055,7 @@
           "T_K"
         ]
       },
-      "holds": "bennett-line-density >= 0 && bennett-temperature >= 0",
+      "holds": "bennett-line-density >= 0 and bennett-temperature >= 0",
       "domain": "N ≥ 0 and T ≥ 0",
       "confidence": "established",
       "citation": "PhysJS.BennettPinch.equal_temperature_current. N_e = N_i = N and T_e = T_i = T. The factor 8 is the single-population current.",
@@ -9091,8 +9086,8 @@
           "Bm_T"
         ]
       },
-      "holds": "loss-cone-mirror !== 0",
-      "domain": "Bm ≠ 0",
+      "holds": "loss-cone-mirror != 0 and loss-cone-throat <= loss-cone-mirror",
+      "domain": "Bm ≠ 0; loss-cone-throat <= loss-cone-mirror",
       "confidence": "established",
       "citation": "PhysJS.LossCone.loss_cone_eq. Pitch-angle scattering is not this statement.",
       "reference": {
@@ -9134,7 +9129,7 @@
           "B_T"
         ]
       },
-      "holds": "gradb-charge !== 0 && gradb-field !== 0",
+      "holds": "gradb-charge != 0 and gradb-field != 0",
       "domain": "q ≠ 0 and B ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.GradBDrift.drift_magnitude. q is the signed charge. High-β curvature is a different vector.",
@@ -9172,7 +9167,7 @@
           "B_T"
         ]
       },
-      "holds": "exb-field !== 0",
+      "holds": "exb-field != 0",
       "domain": "B ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.ExBDrift.drift_eq. v_x = E_y/B and v_y = −E_x/B. Not a finite-Larmor-radius drift.",
@@ -9208,7 +9203,7 @@
           "v_t_m_per_s"
         ]
       },
-      "holds": "landau-wavenumber !== 0 && landau-thermal !== 0",
+      "holds": "landau-wavenumber != 0 and landau-thermal != 0",
       "domain": "k ≠ 0 and v_t ≠ 0; the residue is a hypothesis",
       "confidence": "established",
       "citation": "PhysJS.LandauDamping.damping_eq. The residue formula γ = (π ω³/(2 n k²)) (∂f/∂v)|_{ω/k} is a hypothesis, not a contour integral.",
@@ -9240,7 +9235,7 @@
           "lambda_D_m"
         ]
       },
-      "holds": "finite(debye-sphere-density) && finite(debye-sphere-length)",
+      "holds": "isFinite(debye-sphere-density) and isFinite(debye-sphere-length)",
       "domain": "n and λ_D finite",
       "confidence": "established",
       "citation": "PhysJS.DebyeSphere.coulomb_argument. The angular integral and ln Λ are not evaluated.",
@@ -9271,7 +9266,7 @@
           "lambda_2_m"
         ]
       },
-      "holds": "multi-debye-1 !== 0 && multi-debye-2 !== 0",
+      "holds": "multi-debye-1 != 0 and multi-debye-2 != 0",
       "domain": "both lengths nonzero",
       "confidence": "established",
       "citation": "PhysJS.MultiDebye.debye_two. Dropping a responding species leaves a different length.",
@@ -9310,18 +9305,18 @@
           "m_kg"
         ]
       },
-      "holds": "lorentz-temperature > 0 && lorentz-mass > 0",
+      "holds": "lorentz-temperature > 0 and lorentz-mass > 0",
       "domain": "T > 0 and m > 0; the transport integrals are hypotheses",
       "confidence": "established",
       "citation": "PhysJS.LorentzResistivity.resistivity_eq. σ_tr = 4π b0² ln Λ and the conductivity moment are hypotheses. The typed reference closure is nested.",
       "reference": {
         "inputs": {
-          "lorentz-charge-state": -1.602176634e-19,
+          "lorentz-charge-state": 1,
           "lorentz-coulomb-log": 2,
           "lorentz-temperature": 300,
           "lorentz-mass": 1
         },
-        "value": -2.453505313378033e-06
+        "value": 15313575677686.691
       }
     },
     {
@@ -9343,7 +9338,7 @@
           "L_m"
         ]
       },
-      "holds": "finite(slab-conductivity) && finite(slab-width)",
+      "holds": "isFinite(slab-conductivity) and isFinite(slab-width)",
       "domain": "σ and L finite",
       "confidence": "established",
       "citation": "PhysJS.ResistiveSlab.decay_time. A denominator 4π is not π². Not the Reynolds analogy.",
@@ -9374,7 +9369,7 @@
           "M_kg"
         ]
       },
-      "holds": "parker-sound !== 0",
+      "holds": "parker-sound != 0",
       "domain": "c_s ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.ParkerCritical.critical_radius. The critical point also has v² = c_s².",
@@ -9413,7 +9408,7 @@
           "v_r_m_per_s"
         ]
       },
-      "holds": "spiral-radial-speed !== 0",
+      "holds": "spiral-radial-speed != 0",
       "domain": "v_r ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.ParkerSpiral.spiral_ratio. Dropping the sign is a different spiral.",
@@ -9450,7 +9445,7 @@
           "v_m_per_s"
         ]
       },
-      "holds": "standoff-density !== 0 && standoff-speed !== 0",
+      "holds": "standoff-density != 0 and standoff-speed != 0",
       "domain": "ρ ≠ 0 and v ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.ChapmanFerraro.standoff_eq. A doubled dipole is a hypothesis. Specular 2 ρ v² replaces the numerator 2 by 1.",
@@ -9486,7 +9481,7 @@
           "E_J"
         ]
       },
-      "holds": "lawson-reactivity !== 0 && lawson-energy !== 0",
+      "holds": "lawson-reactivity != 0 and lawson-energy != 0",
       "domain": "⟨σv⟩ ≠ 0 and E ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.LawsonBreakeven.breakeven_eq. The 12 is 4 × 3. The Maxwellian average is not computed.",
@@ -9518,16 +9513,16 @@
           "m_i_kg"
         ]
       },
-      "holds": "probe-electron-mass > 0 && probe-ion-mass > 0",
-      "domain": "masses positive",
+      "holds": "probe-electron-mass > 0 and probe-ion-mass > 0 and probe-ion-mass > probe-electron-mass",
+      "domain": "masses positive; probe-ion-mass > probe-electron-mass",
       "confidence": "established",
       "citation": "PhysJS.LangmuirProbe.floating_potential. The ion flux is the nested bohmFlux object. Not Child–Langmuir.",
       "reference": {
         "inputs": {
           "probe-electron-mass": 1,
-          "probe-ion-mass": 1
+          "probe-ion-mass": 1836
         },
-        "value": 0.41893853320467267
+        "value": -3.338733752385545
       }
     },
     {
@@ -9545,7 +9540,7 @@
           "alpha"
         ]
       },
-      "holds": "finite(cross-field-alpha)",
+      "holds": "isFinite(cross-field-alpha)",
       "domain": "α finite",
       "confidence": "established",
       "citation": "PhysJS.CrossFieldDiffusion.diffusion_ratio. Einstein relation on μ and on μ/(1+α²) is be-70 and is not re-proved. Bohm 1/16 equals this ratio only when α² = 15.",
@@ -9575,7 +9570,7 @@
           "beta_perp"
         ]
       },
-      "holds": "finite(firehose-beta-parallel) && finite(firehose-beta-perp)",
+      "holds": "isFinite(firehose-beta-parallel) and isFinite(firehose-beta-perp)",
       "domain": "betas finite",
       "confidence": "established",
       "citation": "PhysJS.Firehose.firehose_threshold. The CGL root is a hypothesis. With β = 2 μ0 p/B² the threshold is β_∥ − β_⊥ > 2.",
@@ -9610,7 +9605,7 @@
           "T_parallel_K"
         ]
       },
-      "holds": "mirror-t-parallel !== 0",
+      "holds": "mirror-t-parallel != 0",
       "domain": "T_∥ ≠ 0; the kinetic integral is a hypothesis",
       "confidence": "established",
       "citation": "PhysJS.MirrorInstability.mirror_threshold. The threshold β_⊥ (T_⊥/T_∥ − 1) > 1 is a hypothesis. The kinetic integral is not evaluated.",
@@ -9654,7 +9649,7 @@
           "g_m"
         ]
       },
-      "holds": "finite(comb-airgap) && comb-airgap !== 0",
+      "holds": "isFinite(comb-airgap) and comb-airgap != 0",
       "domain": "g ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.CombDrive.force_eq. Both sidewalls and the coenergy 1/2 cancel. One sidewall leaves the 1/2. Not be-79.",
@@ -9692,7 +9687,7 @@
           "Cox_F"
         ]
       },
-      "holds": "finite(swing-kelvin) &&\n      swing-kelvin !== 0 &&\n      finite(swing-oxide) &&\n      swing-oxide !== 0 &&\n      swing-oxide + swing-depletion !== 0",
+      "holds": "isFinite(swing-kelvin) and\n      swing-kelvin != 0 and\n      isFinite(swing-oxide) and\n      swing-oxide != 0 and\n      swing-oxide + swing-depletion != 0",
       "domain": "T ≠ 0, C_ox ≠ 0, and C_ox + C_d ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.SubthresholdSwing.swing_eq. e is the elementary charge. Dropping C_d is not the swing when C_d ≠ 0. Not be-82.",
@@ -9720,15 +9715,15 @@
           "D"
         ]
       },
-      "holds": "finite(boost-duty) && boost-duty !== 1",
-      "domain": "D ≠ 1",
+      "holds": "isFinite(boost-duty) and boost-duty != 1 and boost-duty >= 0 and boost-duty < 1",
+      "domain": "D ≠ 1; boost-duty >= 0 and boost-duty < 1",
       "confidence": "established",
       "citation": "PhysJS.BoostConverter.boost_ratio. Volt-second balance. No real duty equals both this ratio and the buck ratio D.",
       "reference": {
         "inputs": {
-          "boost-duty": 2
+          "boost-duty": 0.5
         },
-        "value": -1
+        "value": 2
       }
     },
     {
@@ -9758,7 +9753,7 @@
           "L_fin_m"
         ]
       },
-      "holds": "finite(fin-conductivity) &&\n      fin-conductivity > 0 &&\n      finite(fin-web) &&\n      fin-web > 0 &&\n      finite(fin-convection) &&\n      fin-convection > 0 &&\n      finite(fin-span) &&\n      fin-span !== 0",
+      "holds": "isFinite(fin-conductivity) and\n      fin-conductivity > 0 and\n      isFinite(fin-web) and\n      fin-web > 0 and\n      isFinite(fin-convection) and\n      fin-convection > 0 and\n      isFinite(fin-span) and\n      fin-span != 0",
       "domain": "k > 0, t > 0, h > 0, and L ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.FinEfficiency.efficiency_eq. One face is not that m. tanh is not 1, so this is not an infinite fin.",
@@ -9795,8 +9790,8 @@
           "Z_per_K"
         ]
       },
-      "holds": "!(!finite(teg-source) || teg-source === 0) && !(!finite(teg-sink) || !finite(teg-figure)) && !((1 + teg-figure * ((teg-source + teg-sink) / 2)) < 0) && sqrt((1 + teg-figure * ((teg-source + teg-sink) / 2))) + teg-sink / teg-source !== 0",
-      "domain": "T_h ≠ 0, 1 + Z T_m ≥ 0, and the denominator ≠ 0",
+      "holds": "not (not isFinite(teg-source) or teg-source == 0) and not (not isFinite(teg-sink) or not isFinite(teg-figure)) and not ((1 + teg-figure * ((teg-source + teg-sink) / 2)) < 0) and sqrt((1 + teg-figure * ((teg-source + teg-sink) / 2))) + teg-sink / teg-source != 0 and teg-sink <= teg-source",
+      "domain": "T_h ≠ 0, 1 + Z T_m ≥ 0, and the denominator ≠ 0; teg-sink <= teg-source",
       "confidence": "established",
       "citation": "PhysJS.ThermoelectricGenerator.efficiency_eq. Matched load m = 1 is not stationary when Z T_m ≠ 0. The Carnot factor alone is not this efficiency.",
       "reference": {
@@ -9843,7 +9838,7 @@
           "wall_m"
         ]
       },
-      "holds": "!(!(joukowsky-rho > 0 && joukowsky-bulk > 0 && joukowsky-wallmod > 0 && joukowsky-thk > 0)) && 1 + ((joukowsky-bulk / joukowsky-wallmod) * (joukowsky-bore / joukowsky-thk)) > 0",
+      "holds": "not (not (joukowsky-rho > 0 and joukowsky-bulk > 0 and joukowsky-wallmod > 0 and joukowsky-thk > 0)) and 1 + ((joukowsky-bulk / joukowsky-wallmod) * (joukowsky-bore / joukowsky-thk)) > 0",
       "domain": "ρ > 0, K > 0, E > 0, e_wall > 0, and 1 + (K/E)(D/e_wall) > 0",
       "confidence": "established",
       "citation": "PhysJS.Joukowsky.joukowsky_eq. ρ (Δv)² is not ρ c Δv when c ≠ Δv. Dropping the wall term is the rigid-pipe speed.",
@@ -9882,7 +9877,7 @@
           "b_m"
         ]
       },
-      "holds": "coax-inner > 0 && coax-outer > 0 && coax-inner !== coax-outer && coax-liner !== 0",
+      "holds": "coax-inner > 0 and coax-outer > 0 and coax-inner != coax-outer and coax-liner != 0",
       "domain": "a > 0, b > 0, a ≠ b, and ε ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.CoaxialCapacitance.capacitance_per_length. Dropping 2 π is not this capacitance. Not a parallel-plate ε A/d.",
@@ -9918,7 +9913,7 @@
           "m_kg"
         ]
       },
-      "holds": "damping-inertia > 0 && damping-spring > 0",
+      "holds": "damping-inertia > 0 and damping-spring > 0",
       "domain": "m > 0 and k > 0",
       "confidence": "established",
       "citation": "PhysJS.DampingRatio.damping_ratio. For c ≥ 0 the discriminant vanishes iff ζ = 1. Dropping the 2 is not this ratio.",
@@ -9958,7 +9953,7 @@
           "D_J_m2"
         ]
       },
-      "holds": "finite(blochlaw-dstiff) && blochlaw-dstiff > 0 && finite(blochlaw-warmth) && blochlaw-warmth >= 0",
+      "holds": "isFinite(blochlaw-dstiff) and blochlaw-dstiff > 0 and isFinite(blochlaw-warmth) and blochlaw-warmth >= 0",
       "domain": "D > 0 and T ≥ 0",
       "confidence": "established",
       "citation": "PhysJS.BlochLaw.bloch_law. ζ(3/2) is not evaluated. g μ_B at g = 2 is not one Bohr magneton.",
@@ -9991,7 +9986,7 @@
           "E_J"
         ]
       },
-      "holds": "finite(dos3d-bandmass) && dos3d-bandmass > 0 && finite(dos3d-abscissa) && dos3d-abscissa >= 0",
+      "holds": "isFinite(dos3d-bandmass) and dos3d-bandmass > 0 and isFinite(dos3d-abscissa) and dos3d-abscissa >= 0",
       "domain": "m > 0 and E ≥ 0",
       "confidence": "established",
       "citation": "PhysJS.DensityOfStates3D.dos_3d. One spin replaces 1/(2 π²) by 1/(4 π²). Not be-88.",
@@ -10018,7 +10013,7 @@
           "m_kg"
         ]
       },
-      "holds": "finite(dos2d-bandmass) && dos2d-bandmass !== 0",
+      "holds": "isFinite(dos2d-bandmass) and dos2d-bandmass != 0",
       "domain": "m ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.DensityOfStates2D.dos_2d. A valley factor other than 1 is not this density.",
@@ -10048,7 +10043,7 @@
           "EF_J"
         ]
       },
-      "holds": "finite(tfscreen-n3) && finite(tfscreen-chemical) && tfscreen-chemical > 0",
+      "holds": "isFinite(tfscreen-n3) and isFinite(tfscreen-chemical) and tfscreen-chemical > 0",
       "domain": "E_F > 0",
       "confidence": "established",
       "citation": "PhysJS.ThomasFermi.thomas_fermi. A flat density leaves the factor 1. Not the Debye length.",
@@ -10087,7 +10082,7 @@
           "ni_per_m3"
         ]
       },
-      "holds": "finite(builtin-warmth) &&\n      finite(builtin-acceptor) &&\n      builtin-acceptor > 0 &&\n      finite(builtin-donor) &&\n      builtin-donor > 0 &&\n      finite(builtin-ni) &&\n      builtin-ni > 0",
+      "holds": "isFinite(builtin-warmth) and\n      isFinite(builtin-acceptor) and\n      builtin-acceptor > 0 and\n      isFinite(builtin-donor) and\n      builtin-donor > 0 and\n      isFinite(builtin-ni) and\n      builtin-ni > 0",
       "domain": "N_A > 0, N_D > 0, and n_i > 0",
       "confidence": "established",
       "citation": "PhysJS.BuiltinVoltage.builtin_voltage. Not the ideal diode of be-82.",
@@ -10124,7 +10119,7 @@
           "me_kg"
         ]
       },
-      "holds": "finite(fermioffset-warmth) &&\n      fermioffset-warmth !== 0 &&\n      finite(fermioffset-holemass) &&\n      fermioffset-holemass > 0 &&\n      finite(fermioffset-elecmass) &&\n      fermioffset-elecmass > 0",
+      "holds": "isFinite(fermioffset-warmth) and\n      fermioffset-warmth != 0 and\n      isFinite(fermioffset-holemass) and\n      fermioffset-holemass > 0 and\n      isFinite(fermioffset-elecmass) and\n      fermioffset-elecmass > 0",
       "domain": "T ≠ 0, m_h* > 0, and m_e* > 0",
       "confidence": "established",
       "citation": "PhysJS.SemiconductorFermi.fermi_level. The 3/4 is half of 3/2. The edge value is the intrinsic offset.",
@@ -10152,7 +10147,7 @@
           "A_per_m2"
         ]
       },
-      "holds": "finite(onsagerk-karea)",
+      "holds": "isFinite(onsagerk-karea)",
       "domain": "A is finite",
       "confidence": "established",
       "citation": "PhysJS.OnsagerFrequency.onsager_frequency. γ cancels. Δ(1/B) = 1/F.",
@@ -10178,7 +10173,7 @@
           "Ic_A"
         ]
       },
-      "holds": "finite(josephsonl-ic) && josephsonl-ic !== 0",
+      "holds": "isFinite(josephsonl-ic) and josephsonl-ic != 0",
       "domain": "I_c ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.JosephsonInductance.inductance_eq. cos φ = 1 at φ = 0. Not be-59.",
@@ -10208,7 +10203,7 @@
           "xi_m"
         ]
       },
-      "holds": "finite(lowercrit-xi) &&\n      lowercrit-xi > 0 &&\n      finite(lowercrit-pen) &&\n      lowercrit-pen > lowercrit-xi",
+      "holds": "isFinite(lowercrit-xi) and\n      lowercrit-xi > 0 and\n      isFinite(lowercrit-pen) and\n      lowercrit-pen > lowercrit-xi",
       "domain": "0 < ξ < λ",
       "confidence": "established",
       "citation": "PhysJS.LowerCritical.lower_critical. Not be-96.",
@@ -10247,7 +10242,7 @@
           "omega_rad_s"
         ]
       },
-      "holds": "finite(acdrude-n3) &&\n      finite(acdrude-bandmass) &&\n      acdrude-bandmass !== 0 &&\n      finite(acdrude-scatter) &&\n      acdrude-scatter > 0 &&\n      finite(acdrude-radian)",
+      "holds": "isFinite(acdrude-n3) and\n      isFinite(acdrude-bandmass) and\n      acdrude-bandmass != 0 and\n      isFinite(acdrude-scatter) and\n      acdrude-scatter > 0 and\n      isFinite(acdrude-radian)",
       "domain": "τ > 0 and m ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.AcDrude.ac_drude. Dropping the DC 1 is not this conductivity. Not be-123.",
@@ -10280,7 +10275,7 @@
           "tau2_s"
         ]
       },
-      "holds": "finite(matthsum-scatter1) &&\n      matthsum-scatter1 !== 0 &&\n      finite(matthsum-scatter2) &&\n      matthsum-scatter2 !== 0 &&\n      1 / matthsum-scatter1 + 1 / matthsum-scatter2 !== 0",
+      "holds": "isFinite(matthsum-scatter1) and\n      matthsum-scatter1 != 0 and\n      isFinite(matthsum-scatter2) and\n      matthsum-scatter2 != 0 and\n      1 / matthsum-scatter1 + 1 / matthsum-scatter2 != 0",
       "domain": "τ₁ ≠ 0, τ₂ ≠ 0, and 1/τ₁ + 1/τ₂ ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.Matthiessen.matthiessen. The edge value is τ. ρ = ρ₁ + ρ₂ is the same rate sum.",
@@ -10311,7 +10306,7 @@
           "x"
         ]
       },
-      "holds": "finite(stonerchi-pauli) && finite(stonerchi-ig) && abs(stonerchi-ig) < 1",
+      "holds": "isFinite(stonerchi-pauli) and isFinite(stonerchi-ig) and abs(stonerchi-ig) < 1",
       "domain": "|x| < 1",
       "confidence": "established",
       "citation": "PhysJS.Stoner.stoner. χ_P is be-94 and is not re-proved. The pole is the same formula.",
@@ -10342,7 +10337,7 @@
           "Tc_K"
         ]
       },
-      "holds": "finite(gortercas-tc) &&\n      gortercas-tc > 0 &&\n      finite(gortercas-warmth) &&\n      gortercas-warmth >= 0 &&\n      gortercas-warmth < gortercas-tc",
+      "holds": "isFinite(gortercas-tc) and\n      gortercas-tc > 0 and\n      isFinite(gortercas-warmth) and\n      gortercas-warmth >= 0 and\n      gortercas-warmth < gortercas-tc",
       "domain": "T_c > 0 and 0 ≤ T < T_c",
       "confidence": "established",
       "citation": "PhysJS.GorterCasimir.gorter_casimir. The exponent 4 is a hypothesis. λ(T) is on the result and is not this edge. Not be-75.",
@@ -10377,7 +10372,7 @@
           "T_K"
         ]
       },
-      "holds": "finite(arrhwarmth) && arrhwarmth !== 0",
+      "holds": "isFinite(arrhwarmth) and arrhwarmth != 0",
       "domain": "T ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.Arrhenius.arrhenius_eq. The prefactor is temperature-independent. Not the Eyring identification of A.",
@@ -10409,7 +10404,7 @@
           "T_K"
         ]
       },
-      "holds": "finite(eyringwarmth) && eyringwarmth !== 0",
+      "holds": "isFinite(eyringwarmth) and eyringwarmth != 0",
       "domain": "T ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.Eyring.eyring_eq. Transmission coefficient 1. The molar substitutions differ by exp(−1).",
@@ -10440,7 +10435,7 @@
           "T_K"
         ]
       },
-      "holds": "finite(vanthoffwarmth) && vanthoffwarmth !== 0",
+      "holds": "isFinite(vanthoffwarmth) and vanthoffwarmth != 0",
       "domain": "T ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.VanTHoff.vant_hoff. Not a plot and not a second proof of be-150.",
@@ -10471,7 +10466,7 @@
           "T_K"
         ]
       },
-      "holds": "finite(gibbsisok) && gibbsisok > 0 && finite(gibbsisowarmth) && gibbsisowarmth !== 0",
+      "holds": "isFinite(gibbsisok) and gibbsisok > 0 and isFinite(gibbsisowarmth) and gibbsisowarmth != 0",
       "domain": "K > 0 and T ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.GibbsIsotherm.gibbs_eq. Not an activity model.",
@@ -10510,7 +10505,7 @@
           "T_K"
         ]
       },
-      "holds": "finite(nernstgn) && nernstgn !== 0 && finite(nernstgq) && nernstgq > 0",
+      "holds": "isFinite(nernstgn) and nernstgn != 0 and isFinite(nernstgq) and nernstgq > 0",
       "domain": "n ≠ 0 and Q > 0",
       "confidence": "established",
       "citation": "PhysJS.NernstGibbs.nernst_eq. e is the elementary charge.",
@@ -10547,7 +10542,7 @@
           "T2_K"
         ]
       },
-      "holds": "finite(clapintwarm1) && clapintwarm1 > 0 && finite(clapintwarm2) && clapintwarm2 > 0",
+      "holds": "isFinite(clapintwarm1) and clapintwarm1 > 0 and isFinite(clapintwarm2) and clapintwarm2 > 0",
       "domain": "T1 > 0 and T2 > 0",
       "confidence": "established",
       "citation": "PhysJS.ClausiusClapeyron.integrated_eq. A separate liquid volume is not this row.",
@@ -10579,8 +10574,8 @@
           "Psat_Pa"
         ]
       },
-      "holds": "finite(raoultsat) && raoultsat > 0",
-      "domain": "P* > 0",
+      "holds": "isFinite(raoultsat) and raoultsat > 0 and raoultmole >= 0 and raoultmole <= 1",
+      "domain": "P* > 0; raoultmole >= 0 and raoultmole <= 1",
       "confidence": "established",
       "citation": "PhysJS.Raoult.raoult_eq. Not a second proof of the Gibbs isotherm.",
       "reference": {
@@ -10614,7 +10609,7 @@
           "k_W_per_m_K"
         ]
       },
-      "holds": "finite(prandtlk) && prandtlk !== 0",
+      "holds": "isFinite(prandtlk) and prandtlk != 0",
       "domain": "k ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.Prandtl.prandtl_eq. Not a heat-transfer correlation.",
@@ -10654,7 +10649,7 @@
           "mu_Pa_s"
         ]
       },
-      "holds": "finite(reynummu) && reynummu !== 0",
+      "holds": "isFinite(reynummu) and reynummu != 0",
       "domain": "μ ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.ReynoldsNumber.reynolds_eq. Not a friction correlation.",
@@ -10691,7 +10686,7 @@
           "k_W_per_m_K"
         ]
       },
-      "holds": "finite(biotk) && biotk !== 0",
+      "holds": "isFinite(biotk) and biotk != 0",
       "domain": "k ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.Biot.biot_eq. Not a lumped-capacitance criterion.",
@@ -10727,7 +10722,7 @@
           "k_W_per_m_K"
         ]
       },
-      "holds": "finite(nusseltk) && nusseltk !== 0",
+      "holds": "isFinite(nusseltk) and nusseltk != 0",
       "domain": "k ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.Nusselt.nusselt_eq. Not a correlation for Nu.",
@@ -10763,7 +10758,7 @@
           "D_m2_per_s"
         ]
       },
-      "holds": "finite(schmidtrho) && schmidtrho !== 0 && finite(schmidtdiff) && schmidtdiff !== 0",
+      "holds": "isFinite(schmidtrho) and schmidtrho != 0 and isFinite(schmidtdiff) and schmidtdiff != 0",
       "domain": "ρ ≠ 0 and D ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.Schmidt.schmidt_eq. Lewis number is not this row.",
@@ -10799,7 +10794,7 @@
           "D_m2_per_s"
         ]
       },
-      "holds": "finite(sherwooddiff) && sherwooddiff !== 0",
+      "holds": "isFinite(sherwooddiff) and sherwooddiff != 0",
       "domain": "D ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.Sherwood.sherwood_eq. Not a correlation for Sh.",
@@ -10839,7 +10834,7 @@
           "L_m"
         ]
       },
-      "holds": "finite(fourierslabk) && fourierslabk !== 0 && finite(fourierslablen) && fourierslablen !== 0",
+      "holds": "isFinite(fourierslabk) and fourierslabk != 0 and isFinite(fourierslablen) and fourierslablen != 0",
       "domain": "k ≠ 0 and L ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.FourierConduction.fourier_eq. The sign is part of the statement.",
@@ -10892,7 +10887,7 @@
           "theta_difference_K"
         ]
       },
-      "holds": "finite(newtonrho) && finite(newtoncp) && finite(newtonvol) && newtonrho*newtoncp*newtonvol !== 0 && finite(newtonfilm) && finite(newtonarea) && newtonfilm*newtonarea !== 0",
+      "holds": "isFinite(newtonrho) and isFinite(newtoncp) and isFinite(newtonvol) and newtonrho*newtoncp*newtonvol != 0 and isFinite(newtonfilm) and isFinite(newtonarea) and newtonfilm*newtonarea != 0",
       "domain": "ρ c V ≠ 0 and h A ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.NewtonCooling.newton_eq. Radiation in T^4 is not this row.",
@@ -10928,8 +10923,8 @@
           "gamma"
         ]
       },
-      "holds": "finite(ottoratio) && ottoratio > 0 && finite(ottogamma) && ottogamma > 1",
-      "domain": "r > 0 and γ > 1",
+      "holds": "isFinite(ottoratio) and ottoratio > 0 and isFinite(ottogamma) and ottogamma > 1 and ottoratio > 1",
+      "domain": "r > 0 and γ > 1; ottoratio > 1",
       "confidence": "established",
       "citation": "PhysJS.Otto.otto_eq. The exponent γ−1 is not 1−γ.",
       "reference": {
@@ -10967,7 +10962,7 @@
           "cp_J_per_kg_K"
         ]
       },
-      "holds": "finite(jtcp) && jtcp !== 0",
+      "holds": "isFinite(jtcp) and jtcp != 0",
       "domain": "c_p ≠ 0",
       "confidence": "established",
       "citation": "PhysJS.JouleThomson.joule_thomson_eq. The ideal-gas bracket vanishes.",
@@ -11000,7 +10995,7 @@
           "T_K"
         ]
       },
-      "holds": "finite(planckfreq) && planckfreq > 0 && finite(planckwarmth) && planckwarmth > 0",
+      "holds": "isFinite(planckfreq) and planckfreq > 0 and isFinite(planckwarmth) and planckwarmth > 0",
       "domain": "ν > 0 and T > 0",
       "confidence": "established",
       "citation": "PhysJS.PlanckSpectrum.planck_eq. Two polarizations. One polarization is not this density.",
@@ -11045,15 +11040,15 @@
           "wien_x"
         ]
       },
-      "holds": "finite(wienroot) && wienroot > 4 && wienroot < 5",
-      "domain": "4 < x < 5",
+      "holds": "isFinite(wienroot) and wienroot > 4 and wienroot < 5 and abs((5 - wienroot) - 5 * exp(-wienroot)) < 0.00001",
+      "domain": "4 < x < 5; abs((5 - wienroot) - 5 * exp(-wienroot)) < 0.00001",
       "confidence": "established",
       "citation": "PhysJS.WienDisplacement.wien_eq. The decimal root is not evaluated.",
       "reference": {
         "inputs": {
-          "wienroot": 4.5
+          "wienroot": 4.965114231744276
         },
-        "value": 0.003197281950008741
+        "value": 0.0028977719551851727
       }
     },
     {
@@ -11079,8 +11074,8 @@
           "n_per_m3"
         ]
       },
-      "holds": "finite(sackurquantum) && sackurquantum > 0 && finite(sackurdensity) && sackurdensity > 0",
-      "domain": "n_Q > 0 and n > 0",
+      "holds": "isFinite(sackurquantum) and sackurquantum > 0 and isFinite(sackurdensity) and sackurdensity > 0 and 10 * sackurdensity <= sackurquantum",
+      "domain": "n_Q > 0 and n > 0; 10 * sackurdensity <= sackurquantum",
       "confidence": "established",
       "citation": "PhysJS.SackurTetrode.sackur_tetrode. Stirling is ln N! = N ln N − N.",
       "reference": {
@@ -11115,7 +11110,7 @@
           "I_J"
         ]
       },
-      "holds": "finite(sahamass) && sahamass > 0 && finite(sahawarmth) && sahawarmth > 0",
+      "holds": "isFinite(sahamass) and sahamass > 0 and isFinite(sahawarmth) and sahawarmth > 0",
       "domain": "m > 0 and T > 0",
       "confidence": "established",
       "citation": "PhysJS.Saha.saha_eq. The electron weight 2 is not in this statement.",
@@ -11151,7 +11146,7 @@
           "phi_J"
         ]
       },
-      "holds": "finite(richardswarmth) && richardswarmth > 0",
+      "holds": "isFinite(richardswarmth) and richardswarmth > 0",
       "domain": "T > 0",
       "confidence": "established",
       "citation": "PhysJS.RichardsonDushman.richardson_eq. Reflection coefficient 1. e is the elementary charge.",
@@ -11183,7 +11178,7 @@
           "onsager_B_T"
         ]
       },
-      "holds": "finite(onsagerb0) && onsagerb0 === 0 && finite(onsagerl12)",
+      "holds": "isFinite(onsagerb0) and onsagerb0 == 0 and isFinite(onsagerl12)",
       "domain": "B = 0",
       "confidence": "established",
       "citation": "PhysJS.OnsagerReciprocity.onsager_eq. L12(B) = L21(−B) is not this row.",
@@ -11210,11 +11205,10 @@
           "d_m"
         ]
       },
-      "holds": "finite(plate-separation) && plate-separation > 0",
+      "holds": "isFinite(plate-separation) and plate-separation > 0",
       "domain": "plate separation > 0",
       "confidence": "established",
       "citation": "Casimir 1948 Proc. Kon. Ned. Akad. Wet. 51:793",
-      "notice": "hbar-truncation",
       "reference": {
         "inputs": {
           "plate-separation": 1e-06
@@ -11237,7 +11231,7 @@
           "a_m_s2"
         ]
       },
-      "holds": "finite(unruh-acceleration) && unruh-acceleration >= 0",
+      "holds": "isFinite(unruh-acceleration) and unruh-acceleration >= 0",
       "domain": "proper acceleration ≥ 0",
       "confidence": "established",
       "citation": "Unruh 1976 Phys. Rev. D 14:870",
@@ -11267,7 +11261,7 @@
           "R_ohm"
         ]
       },
-      "holds": "finite(johnson-temperature) && johnson-temperature >= 0 && finite(resistance) && resistance >= 0",
+      "holds": "isFinite(johnson-temperature) and johnson-temperature >= 0 and isFinite(resistance) and resistance >= 0",
       "domain": "temperature ≥ 0 and resistance ≥ 0",
       "confidence": "established",
       "citation": "Nyquist 1928 Phys. Rev. 32:110",
@@ -11298,7 +11292,7 @@
           "T_K"
         ]
       },
-      "holds": "finite(electrical-conductivity) && electrical-conductivity >= 0 && finite(wiedemann-temperature) && wiedemann-temperature >= 0",
+      "holds": "isFinite(electrical-conductivity) and electrical-conductivity >= 0 and isFinite(wiedemann-temperature) and wiedemann-temperature >= 0",
       "domain": "conductivity ≥ 0 and temperature ≥ 0",
       "confidence": "established",
       "citation": "Franz and Wiedemann 1853",
@@ -11325,7 +11319,7 @@
           "T_c_K"
         ]
       },
-      "holds": "finite(critical-temperature) && critical-temperature >= 0",
+      "holds": "isFinite(critical-temperature) and critical-temperature >= 0",
       "domain": "critical temperature ≥ 0",
       "confidence": "established",
       "citation": "Bardeen, Cooper, and Schrieffer 1957 Phys. Rev. 108:1175",
@@ -11351,7 +11345,7 @@
           "M_kg"
         ]
       },
-      "holds": "finite(accretor-mass) && accretor-mass > 0",
+      "holds": "isFinite(accretor-mass) and accretor-mass > 0",
       "domain": "accretor mass > 0",
       "confidence": "established",
       "citation": "Eddington 1926 The Internal Constitution of the Stars",
@@ -11385,11 +11379,13 @@
           "mu"
         ]
       },
-      "holds": "finite(jeans-temperature) && jeans-temperature > 0 && finite(jeans-density) && jeans-density > 0 && finite(mean-molecular-weight) && mean-molecular-weight > 0",
+      "holds": "isFinite(jeans-temperature) and jeans-temperature > 0 and isFinite(jeans-density) and jeans-density > 0 and isFinite(mean-molecular-weight) and mean-molecular-weight > 0",
       "domain": "temperature, density, and mean molecular weight are positive",
       "confidence": "established",
       "citation": "Jeans 1902 Phil. Trans. R. Soc. A 199:1",
-      "notice": "jeans-formula",
+      "notice": {
+        "text": "formula: M_J = (5 k_B T / (G μ m_u))^{3/2} · (3/(4π ρ))^{1/2}. The leading 5 is convention-dependent; the number above is this formula, not a checked universal prefactor."
+      },
       "reference": {
         "inputs": {
           "jeans-temperature": 20,
@@ -11476,7 +11472,7 @@
           ]
         },
         {
-          "key": "e",
+          "key": "eccentricity",
           "quantity": "eccentricity",
           "symbol": "e",
           "unit": "",
@@ -11487,7 +11483,20 @@
           "quantity": "orbital period",
           "symbol": "T",
           "unit": "yr",
-          "meaning": "in Julian years (365.25 d); used only for the per-century conversion"
+          "meaning": "orbital period in Julian years, > 0; only for the per-century output",
+          "sign": "positive",
+          "optional": true
+        }
+      ],
+      "outputs": [
+        {
+          "name": "precession_arcsec_per_century",
+          "unit": "arcsec/century",
+          "meaning": "Δφ per orbit times orbits per century, in arcseconds",
+          "expression": "value*100/T_yr*180*3600/pi",
+          "requires": [
+            "T_yr"
+          ]
         }
       ]
     },
@@ -11901,7 +11910,8 @@
           "quantity": "number density",
           "symbol": "n",
           "unit": "m^-3",
-          "meaning": "ideal-gas number density"
+          "meaning": "ideal-gas number density",
+          "sign": "nonnegative"
         },
         {
           "key": "T_K",
@@ -11916,7 +11926,8 @@
           "quantity": "magnetic pressure",
           "symbol": "p_B",
           "unit": "Pa",
-          "meaning": "B²/(2 μ0), not B²/μ0; nonzero"
+          "meaning": "B²/(2 μ0), not B²/μ0; nonzero",
+          "sign": "positive"
         }
       ]
     },
@@ -11944,14 +11955,16 @@
           "quantity": "dynamic viscosity",
           "symbol": "μ",
           "unit": "Pa*s",
-          "meaning": "Newtonian viscosity, nonzero"
+          "meaning": "Newtonian viscosity, nonzero",
+          "sign": "positive"
         },
         {
           "key": "L_m",
           "quantity": "pipe length",
           "symbol": "L",
           "unit": "m",
-          "meaning": "pipe length, nonzero"
+          "meaning": "pipe length, nonzero",
+          "sign": "positive"
         }
       ]
     },
@@ -12081,7 +12094,8 @@
           "quantity": "saturation current",
           "symbol": "I_s",
           "unit": "A",
-          "meaning": "saturation current in amperes"
+          "meaning": "saturation current in amperes",
+          "sign": "positive"
         },
         {
           "key": "V_volts",
@@ -12150,7 +12164,8 @@
           "quantity": "current",
           "symbol": "I",
           "unit": "A",
-          "meaning": "current in the Poisson mean, amperes; one-sided 2 e I"
+          "meaning": "current in the Poisson mean, amperes; one-sided 2 e I",
+          "sign": "nonnegative"
         }
       ]
     },
@@ -12163,7 +12178,8 @@
           "quantity": "skin friction",
           "symbol": "C_f",
           "unit": "",
-          "meaning": "already normalized by ρ U²/2; Pr = 1 and matched slopes are hypotheses"
+          "meaning": "already normalized by ρ U²/2; Pr = 1 and matched slopes are hypotheses",
+          "sign": "nonnegative"
         }
       ]
     },
@@ -12206,6 +12222,20 @@
           "unit": "kg",
           "meaning": "isotropic band mass"
         }
+      ],
+      "outputs": [
+        {
+          "name": "E_F_J",
+          "unit": "J",
+          "meaning": "Fermi energy ħ²k_F²/(2 m*)",
+          "expression": "hbar^2*value^2/(2*m_kg)"
+        },
+        {
+          "name": "v_F_m_per_s",
+          "unit": "m/s",
+          "meaning": "Fermi velocity ħ k_F/m*",
+          "expression": "hbar*value/m_kg"
+        }
       ]
     },
     {
@@ -12360,7 +12390,8 @@
           "symbol": "θ",
           "unit": "K",
           "meaning": "mean-field shift; zero is the Curie law",
-          "temperature": "absolute"
+          "temperature": "absolute",
+          "sign": "any"
         }
       ]
     },
@@ -12439,7 +12470,8 @@
           "quantity": "quartic coefficient",
           "symbol": "ζ",
           "unit": "",
-          "meaning": "GL quartic coefficient, not a series"
+          "meaning": "GL quartic coefficient, not a series",
+          "sign": "positive"
         }
       ]
     },
@@ -12466,7 +12498,8 @@
           "quantity": "gap",
           "symbol": "E_g",
           "unit": "J",
-          "meaning": "E_c − E_v"
+          "meaning": "E_c − E_v",
+          "sign": "positive"
         },
         {
           "key": "T_K",
@@ -12494,7 +12527,8 @@
           "quantity": "high-frequency dielectric constant",
           "symbol": "ε(∞)",
           "unit": "",
-          "meaning": "nonzero"
+          "meaning": "nonzero",
+          "sign": "positive"
         }
       ]
     },
@@ -12520,7 +12554,8 @@
           "quantity": "transmission sum",
           "symbol": "Σ T_n",
           "unit": "",
-          "meaning": "two spins; not the Hall conductance"
+          "meaning": "two spins; not the Hall conductance",
+          "sign": "nonnegative"
         }
       ]
     },
@@ -12541,7 +12576,8 @@
           "quantity": "ion mass",
           "symbol": "m_i",
           "unit": "kg",
-          "meaning": "ion mass"
+          "meaning": "ion mass",
+          "sign": "positive"
         }
       ]
     },
@@ -12561,14 +12597,16 @@
           "quantity": "sound speed",
           "symbol": "c_s",
           "unit": "m/s",
-          "meaning": "c_s² = k_B T_e / m_i"
+          "meaning": "c_s² = k_B T_e / m_i",
+          "sign": "nonnegative"
         },
         {
           "key": "lambda_De_m",
           "quantity": "Debye length",
           "symbol": "λ_De",
           "unit": "m",
-          "meaning": "one-species electron Debye length"
+          "meaning": "one-species electron Debye length",
+          "sign": "positive"
         }
       ]
     },
@@ -12581,7 +12619,8 @@
           "quantity": "density",
           "symbol": "n",
           "unit": "m^-3",
-          "meaning": "electron density"
+          "meaning": "electron density",
+          "sign": "nonnegative"
         },
         {
           "key": "B_T",
@@ -12595,7 +12634,8 @@
           "quantity": "mass",
           "symbol": "m",
           "unit": "kg",
-          "meaning": "electron mass"
+          "meaning": "electron mass",
+          "sign": "positive"
         }
       ]
     },
@@ -12608,14 +12648,17 @@
           "quantity": "cyclotron frequency",
           "symbol": "ω_c",
           "unit": "rad/s",
-          "meaning": "ω_c ≥ 0; the Stix index is a hypothesis"
+          "meaning": "ω_c ≥ 0; the Stix index is a hypothesis",
+          "angular": true
         },
         {
           "key": "omega_p_rad_s",
           "quantity": "plasma frequency",
           "symbol": "ω_p",
           "unit": "rad/s",
-          "meaning": "plasma frequency"
+          "meaning": "plasma frequency",
+          "sign": "nonnegative",
+          "angular": true
         }
       ]
     },
@@ -12628,21 +12671,25 @@
           "quantity": "ion plasma frequency",
           "symbol": "ω_pi",
           "unit": "rad/s",
-          "meaning": "ion plasma frequency"
+          "meaning": "ion plasma frequency",
+          "sign": "nonnegative",
+          "angular": true
         },
         {
           "key": "omega_ci_rad_s",
           "quantity": "ion cyclotron frequency",
           "symbol": "ω_ci",
           "unit": "rad/s",
-          "meaning": "ion cyclotron frequency"
+          "meaning": "ion cyclotron frequency",
+          "angular": true
         },
         {
           "key": "omega_ce_rad_s",
           "quantity": "electron cyclotron frequency",
           "symbol": "ω_ce",
           "unit": "rad/s",
-          "meaning": "electron cyclotron frequency"
+          "meaning": "electron cyclotron frequency",
+          "angular": true
         }
       ]
     },
@@ -12655,14 +12702,16 @@
           "quantity": "sound speed",
           "symbol": "c_s",
           "unit": "m/s",
-          "meaning": "sound speed"
+          "meaning": "sound speed",
+          "sign": "nonnegative"
         },
         {
           "key": "v_A_m_per_s",
           "quantity": "Alfvén speed",
           "symbol": "v_A",
           "unit": "m/s",
-          "meaning": "Alfvén speed"
+          "meaning": "Alfvén speed",
+          "sign": "nonnegative"
         },
         {
           "key": "theta_rad",
@@ -12703,14 +12752,16 @@
           "quantity": "throat field",
           "symbol": "B0",
           "unit": "T",
-          "meaning": "field at the throat"
+          "meaning": "field at the throat",
+          "sign": "nonnegative"
         },
         {
           "key": "Bm_T",
           "quantity": "mirror field",
           "symbol": "Bm",
           "unit": "T",
-          "meaning": "field at the mirror"
+          "meaning": "field at the mirror",
+          "sign": "positive"
         }
       ]
     },
@@ -12723,21 +12774,24 @@
           "quantity": "mass",
           "symbol": "m",
           "unit": "kg",
-          "meaning": "particle mass"
+          "meaning": "particle mass",
+          "sign": "positive"
         },
         {
           "key": "v_perp_m_per_s",
           "quantity": "perpendicular speed",
           "symbol": "v_⊥",
           "unit": "m/s",
-          "meaning": "speed perpendicular to B"
+          "meaning": "speed perpendicular to B",
+          "sign": "nonnegative"
         },
         {
           "key": "gradB_T_per_m",
           "quantity": "field gradient",
           "symbol": "|∇B|",
           "unit": "T/m",
-          "meaning": "magnitude of the gradient"
+          "meaning": "magnitude of the gradient",
+          "sign": "nonnegative"
         },
         {
           "key": "q_C",
@@ -12791,7 +12845,8 @@
           "quantity": "wave frequency",
           "symbol": "ω",
           "unit": "rad/s",
-          "meaning": "real frequency; the residue formula is a hypothesis"
+          "meaning": "real frequency; the residue formula is a hypothesis",
+          "angular": true
         },
         {
           "key": "k_per_m",
@@ -12805,7 +12860,8 @@
           "quantity": "thermal speed",
           "symbol": "v_t",
           "unit": "m/s",
-          "meaning": "thermal speed in the Maxwellian"
+          "meaning": "thermal speed in the Maxwellian",
+          "sign": "positive"
         }
       ]
     },
@@ -12818,14 +12874,16 @@
           "quantity": "density",
           "symbol": "n",
           "unit": "m^-3",
-          "meaning": "number density"
+          "meaning": "number density",
+          "sign": "positive"
         },
         {
           "key": "lambda_D_m",
           "quantity": "Debye length",
           "symbol": "λ_D",
           "unit": "m",
-          "meaning": "one-species Debye length, an input"
+          "meaning": "one-species Debye length, an input",
+          "sign": "positive"
         }
       ]
     },
@@ -12838,14 +12896,16 @@
           "quantity": "first Debye length",
           "symbol": "λ_1",
           "unit": "m",
-          "meaning": "species 1"
+          "meaning": "species 1",
+          "sign": "positive"
         },
         {
           "key": "lambda_2_m",
           "quantity": "second Debye length",
           "symbol": "λ_2",
           "unit": "m",
-          "meaning": "species 2"
+          "meaning": "species 2",
+          "sign": "positive"
         }
       ]
     },
@@ -12858,14 +12918,16 @@
           "quantity": "ion charge state",
           "symbol": "Z",
           "unit": "",
-          "meaning": "ion charge state"
+          "meaning": "ion charge state",
+          "sign": "positive"
         },
         {
           "key": "ln_Lambda",
           "quantity": "Coulomb logarithm",
           "symbol": "ln Λ",
           "unit": "",
-          "meaning": "Coulomb logarithm, a hypothesis inside the transport cross section"
+          "meaning": "Coulomb logarithm, a hypothesis inside the transport cross section",
+          "sign": "positive"
         },
         {
           "key": "T_K",
@@ -12880,7 +12942,8 @@
           "quantity": "mass",
           "symbol": "m",
           "unit": "kg",
-          "meaning": "mass in ν(v_T); the electron mass in the Lorentz collision"
+          "meaning": "mass in ν(v_T); the electron mass in the Lorentz collision",
+          "sign": "positive"
         }
       ]
     },
@@ -12893,14 +12956,16 @@
           "quantity": "conductivity",
           "symbol": "σ",
           "unit": "S/m",
-          "meaning": "conductivity"
+          "meaning": "conductivity",
+          "sign": "positive"
         },
         {
           "key": "L_m",
           "quantity": "slab width",
           "symbol": "L",
           "unit": "m",
-          "meaning": "slab width"
+          "meaning": "slab width",
+          "sign": "positive"
         }
       ]
     },
@@ -12913,14 +12978,16 @@
           "quantity": "sound speed",
           "symbol": "c_s",
           "unit": "m/s",
-          "meaning": "isothermal sound speed"
+          "meaning": "isothermal sound speed",
+          "sign": "positive"
         },
         {
           "key": "M_kg",
           "quantity": "stellar mass",
           "symbol": "M",
           "unit": "kg",
-          "meaning": "central mass"
+          "meaning": "central mass",
+          "sign": "positive"
         }
       ]
     },
@@ -12933,7 +13000,8 @@
           "quantity": "rotation rate",
           "symbol": "Ω",
           "unit": "rad/s",
-          "meaning": "stellar rotation"
+          "meaning": "stellar rotation",
+          "angular": true
         },
         {
           "key": "r_m",
@@ -13002,14 +13070,16 @@
           "quantity": "reactivity",
           "symbol": "⟨σv⟩",
           "unit": "m^3/s",
-          "meaning": "Maxwellian average, not computed here"
+          "meaning": "Maxwellian average, not computed here",
+          "sign": "nonnegative"
         },
         {
           "key": "E_J",
           "quantity": "fusion energy",
           "symbol": "E",
           "unit": "J",
-          "meaning": "energy released per reaction"
+          "meaning": "energy released per reaction",
+          "sign": "positive"
         }
       ]
     },
@@ -13022,14 +13092,16 @@
           "quantity": "electron mass",
           "symbol": "m_e",
           "unit": "kg",
-          "meaning": "electron mass"
+          "meaning": "electron mass",
+          "sign": "positive"
         },
         {
           "key": "m_i_kg",
           "quantity": "ion mass",
           "symbol": "m_i",
           "unit": "kg",
-          "meaning": "ion mass"
+          "meaning": "ion mass",
+          "sign": "positive"
         }
       ]
     },
@@ -13042,7 +13114,8 @@
           "quantity": "Hall parameter",
           "symbol": "α",
           "unit": "",
-          "meaning": "α = μ B"
+          "meaning": "α = μ B",
+          "sign": "nonnegative"
         }
       ]
     },
@@ -13055,14 +13128,16 @@
           "quantity": "parallel beta",
           "symbol": "β_∥",
           "unit": "",
-          "meaning": "β = 2 μ0 p / B²"
+          "meaning": "β = 2 μ0 p / B²",
+          "sign": "nonnegative"
         },
         {
           "key": "beta_perp",
           "quantity": "perpendicular beta",
           "symbol": "β_⊥",
           "unit": "",
-          "meaning": "the be-76 definition"
+          "meaning": "the be-76 definition",
+          "sign": "nonnegative"
         }
       ]
     },
@@ -13075,7 +13150,8 @@
           "quantity": "perpendicular beta",
           "symbol": "β_⊥",
           "unit": "",
-          "meaning": "β = 2 μ0 p / B²; the kinetic integral is a hypothesis"
+          "meaning": "β = 2 μ0 p / B²; the kinetic integral is a hypothesis",
+          "sign": "nonnegative"
         },
         {
           "key": "T_perp_K",
@@ -13111,14 +13187,16 @@
           "quantity": "permittivity",
           "symbol": "ε",
           "unit": "F/m",
-          "meaning": "permittivity of the gap"
+          "meaning": "permittivity of the gap",
+          "sign": "positive"
         },
         {
           "key": "h_m",
           "quantity": "thickness",
           "symbol": "h",
           "unit": "m",
-          "meaning": "finger thickness"
+          "meaning": "finger thickness",
+          "sign": "positive"
         },
         {
           "key": "V_volts",
@@ -13133,7 +13211,8 @@
           "symbol": "g",
           "unit": "m",
           "meaning": "gap, ≠ 0",
-          "geometry": "separation"
+          "geometry": "separation",
+          "sign": "positive"
         }
       ]
     },
@@ -13154,14 +13233,16 @@
           "quantity": "depletion capacitance",
           "symbol": "C_d",
           "unit": "F",
-          "meaning": "depletion capacitance"
+          "meaning": "depletion capacitance",
+          "sign": "positive"
         },
         {
           "key": "Cox_F",
           "quantity": "oxide capacitance",
           "symbol": "C_ox",
           "unit": "F",
-          "meaning": "oxide capacitance, ≠ 0"
+          "meaning": "oxide capacitance, ≠ 0",
+          "sign": "positive"
         }
       ]
     },
@@ -13208,7 +13289,8 @@
           "quantity": "length",
           "symbol": "L",
           "unit": "m",
-          "meaning": "fin length, ≠ 0"
+          "meaning": "fin length, ≠ 0",
+          "sign": "positive"
         }
       ]
     },
@@ -13237,7 +13319,8 @@
           "quantity": "figure of merit",
           "symbol": "Z",
           "unit": "K^-1",
-          "meaning": "Z = S²/(R K)"
+          "meaning": "Z = S²/(R K)",
+          "sign": "nonnegative"
         }
       ]
     },
@@ -13279,7 +13362,8 @@
           "symbol": "D",
           "unit": "m",
           "meaning": "internal diameter",
-          "geometry": "diameter"
+          "geometry": "diameter",
+          "sign": "positive"
         },
         {
           "key": "wall_m",
@@ -13299,7 +13383,8 @@
           "quantity": "permittivity",
           "symbol": "ε",
           "unit": "F/m",
-          "meaning": "insulator permittivity, ≠ 0"
+          "meaning": "insulator permittivity, ≠ 0",
+          "sign": "positive"
         },
         {
           "key": "a_m",
@@ -13328,7 +13413,8 @@
           "quantity": "damping coefficient",
           "symbol": "c",
           "unit": "kg/s",
-          "meaning": "viscous coefficient"
+          "meaning": "viscous coefficient",
+          "sign": "nonnegative"
         },
         {
           "key": "k_N_per_m",
@@ -13410,7 +13496,8 @@
           "quantity": "band mass",
           "symbol": "m",
           "unit": "kg",
-          "meaning": "band mass, ≠ 0"
+          "meaning": "band mass, ≠ 0",
+          "sign": "positive"
         }
       ]
     },
@@ -13423,7 +13510,8 @@
           "quantity": "carrier density",
           "symbol": "n",
           "unit": "m^-3",
-          "meaning": "carrier density"
+          "meaning": "carrier density",
+          "sign": "positive"
         },
         {
           "key": "EF_J",
@@ -13509,6 +13597,14 @@
           "unit": "m^-3",
           "meaning": "donor density, > 0"
         }
+      ],
+      "outputs": [
+        {
+          "name": "Ec_minus_EF_J",
+          "unit": "J",
+          "meaning": "conduction edge above the Fermi level, k_B T ln(N_c/N_D)",
+          "expression": "k_B*T_K*ln(Nc_per_m3/ND_per_m3)"
+        }
       ]
     },
     {
@@ -13520,7 +13616,8 @@
           "quantity": "orbit area",
           "symbol": "A",
           "unit": "m^-2",
-          "meaning": "extremal Fermi-surface area"
+          "meaning": "extremal Fermi-surface area",
+          "sign": "nonnegative"
         }
       ]
     },
@@ -13533,7 +13630,8 @@
           "quantity": "critical current",
           "symbol": "I_c",
           "unit": "A",
-          "meaning": "critical current, ≠ 0"
+          "meaning": "critical current, ≠ 0",
+          "sign": "positive"
         }
       ]
     },
@@ -13566,14 +13664,16 @@
           "quantity": "carrier density",
           "symbol": "n",
           "unit": "m^-3",
-          "meaning": "carrier density"
+          "meaning": "carrier density",
+          "sign": "positive"
         },
         {
           "key": "m_kg",
           "quantity": "band mass",
           "symbol": "m",
           "unit": "kg",
-          "meaning": "band mass, ≠ 0"
+          "meaning": "band mass, ≠ 0",
+          "sign": "positive"
         },
         {
           "key": "tau_s",
@@ -13587,7 +13687,8 @@
           "quantity": "angular drive",
           "symbol": "ω",
           "unit": "rad/s",
-          "meaning": "angular frequency"
+          "meaning": "angular frequency",
+          "angular": true
         }
       ]
     },
@@ -13600,14 +13701,16 @@
           "quantity": "first lifetime",
           "symbol": "τ₁",
           "unit": "s",
-          "meaning": "first lifetime, ≠ 0"
+          "meaning": "first lifetime, ≠ 0",
+          "sign": "positive"
         },
         {
           "key": "tau2_s",
           "quantity": "second lifetime",
           "symbol": "τ₂",
           "unit": "s",
-          "meaning": "second lifetime, ≠ 0"
+          "meaning": "second lifetime, ≠ 0",
+          "sign": "positive"
         },
         {
           "key": "C_ohm_m_s",
@@ -13616,6 +13719,14 @@
           "unit": "ohm*m*s",
           "meaning": "ρ_i = C/τ_i"
         }
+      ],
+      "outputs": [
+        {
+          "name": "rho_ohm_m",
+          "unit": "ohm*m",
+          "meaning": "resistivity ρ = C/τ₁ + C/τ₂",
+          "expression": "C_ohm_m_s/tau1_s + C_ohm_m_s/tau2_s"
+        }
       ]
     },
     {
@@ -13665,6 +13776,14 @@
           "unit": "m",
           "meaning": "London depth at T = 0, > 0"
         }
+      ],
+      "outputs": [
+        {
+          "name": "lambda_m",
+          "unit": "m",
+          "meaning": "London depth λ(T) = λ(0)/√(n_s/n)",
+          "expression": "lambda0_m/sqrt(value)"
+        }
       ]
     },
     {
@@ -13676,21 +13795,23 @@
           "quantity": "arrhprefac",
           "symbol": "A_Hz",
           "unit": "Hz",
-          "meaning": "arrhprefac"
+          "meaning": "pre-exponential frequency factor, > 0",
+          "sign": "positive"
         },
         {
           "key": "Ea_J_per_mol",
           "quantity": "arrhbarrier",
           "symbol": "Ea_J_per_mol",
-          "unit": "",
-          "meaning": "arrhbarrier"
+          "unit": "J/mol",
+          "meaning": "molar activation energy",
+          "sign": "any"
         },
         {
           "key": "T_K",
           "quantity": "arrhwarmth",
           "symbol": "T_K",
           "unit": "K",
-          "meaning": "arrhwarmth",
+          "meaning": "absolute temperature, ≥ 0",
           "temperature": "absolute"
         }
       ]
@@ -13704,14 +13825,15 @@
           "quantity": "eyringbarrier",
           "symbol": "dG_J",
           "unit": "J",
-          "meaning": "eyringbarrier"
+          "meaning": "free energy of activation per molecule",
+          "sign": "any"
         },
         {
           "key": "T_K",
           "quantity": "eyringwarmth",
           "symbol": "T_K",
           "unit": "K",
-          "meaning": "eyringwarmth",
+          "meaning": "absolute temperature, ≥ 0",
           "temperature": "absolute"
         }
       ]
@@ -13724,15 +13846,16 @@
           "key": "dH_J_per_mol",
           "quantity": "vanthoffenthalpy",
           "symbol": "dH_J_per_mol",
-          "unit": "",
-          "meaning": "vanthoffenthalpy"
+          "unit": "J/mol",
+          "meaning": "molar reaction enthalpy (ΔH)",
+          "sign": "any"
         },
         {
           "key": "T_K",
           "quantity": "vanthoffwarmth",
           "symbol": "T_K",
           "unit": "K",
-          "meaning": "vanthoffwarmth",
+          "meaning": "absolute temperature, ≥ 0",
           "temperature": "absolute"
         }
       ]
@@ -13746,14 +13869,14 @@
           "quantity": "gibbsisok",
           "symbol": "K",
           "unit": "",
-          "meaning": "gibbsisok"
+          "meaning": "equilibrium constant, > 0"
         },
         {
           "key": "T_K",
           "quantity": "gibbsisowarmth",
           "symbol": "T_K",
           "unit": "K",
-          "meaning": "gibbsisowarmth",
+          "meaning": "absolute temperature, ≥ 0",
           "temperature": "absolute"
         }
       ]
@@ -13767,28 +13890,28 @@
           "quantity": "nernstge0",
           "symbol": "E0_volts",
           "unit": "V",
-          "meaning": "nernstge0"
+          "meaning": "standard electrode potential"
         },
         {
           "key": "n",
           "quantity": "nernstgn",
           "symbol": "n",
           "unit": "",
-          "meaning": "nernstgn"
+          "meaning": "electrons transferred"
         },
         {
           "key": "Q",
           "quantity": "nernstgq",
           "symbol": "Q",
           "unit": "",
-          "meaning": "nernstgq"
+          "meaning": "reaction quotient, > 0"
         },
         {
           "key": "T_K",
           "quantity": "nernstgwarmth",
           "symbol": "T_K",
           "unit": "K",
-          "meaning": "nernstgwarmth",
+          "meaning": "absolute temperature, ≥ 0",
           "temperature": "absolute"
         }
       ]
@@ -13801,15 +13924,16 @@
           "key": "dH_J_per_mol",
           "quantity": "clapintlatent",
           "symbol": "dH_J_per_mol",
-          "unit": "",
-          "meaning": "clapintlatent"
+          "unit": "J/mol",
+          "meaning": "molar reaction enthalpy (ΔH)",
+          "sign": "any"
         },
         {
           "key": "T1_K",
           "quantity": "clapintwarm1",
           "symbol": "T1_K",
           "unit": "K",
-          "meaning": "clapintwarm1",
+          "meaning": "first temperature, > 0",
           "temperature": "absolute"
         },
         {
@@ -13817,7 +13941,7 @@
           "quantity": "clapintwarm2",
           "symbol": "T2_K",
           "unit": "K",
-          "meaning": "clapintwarm2",
+          "meaning": "second temperature, > 0",
           "temperature": "absolute"
         }
       ]
@@ -13831,14 +13955,14 @@
           "quantity": "raoultmole",
           "symbol": "x",
           "unit": "",
-          "meaning": "raoultmole"
+          "meaning": "mole fraction of the solvent, 0 ≤ x ≤ 1"
         },
         {
           "key": "Psat_Pa",
           "quantity": "raoultsat",
           "symbol": "Psat_Pa",
           "unit": "Pa",
-          "meaning": "raoultsat"
+          "meaning": "pure-component saturation pressure, > 0"
         }
       ]
     },
@@ -13851,21 +13975,24 @@
           "quantity": "prandtlmu",
           "symbol": "mu_Pa_s",
           "unit": "Pa*s",
-          "meaning": "prandtlmu"
+          "meaning": "dynamic viscosity, > 0",
+          "sign": "positive"
         },
         {
           "key": "cp_J_per_kg_K",
           "quantity": "prandtlcp",
           "symbol": "cp_J_per_kg_K",
           "unit": "J/(kg*K)",
-          "meaning": "prandtlcp"
+          "meaning": "specific heat capacity at constant pressure, > 0",
+          "sign": "positive"
         },
         {
           "key": "k_W_per_m_K",
           "quantity": "prandtlk",
           "symbol": "k_W_per_m_K",
           "unit": "W/(m*K)",
-          "meaning": "prandtlk"
+          "meaning": "thermal conductivity, > 0",
+          "sign": "positive"
         }
       ]
     },
@@ -13878,28 +14005,31 @@
           "quantity": "reynumrho",
           "symbol": "rho_kg_per_m3",
           "unit": "kg/m^3",
-          "meaning": "reynumrho"
+          "meaning": "mass density, > 0",
+          "sign": "positive"
         },
         {
           "key": "v_m_per_s",
           "quantity": "reynumvel",
           "symbol": "v_m_per_s",
           "unit": "m/s",
-          "meaning": "reynumvel"
+          "meaning": "flow speed"
         },
         {
           "key": "L_m",
           "quantity": "reynumlen",
           "symbol": "L_m",
           "unit": "m",
-          "meaning": "reynumlen"
+          "meaning": "characteristic length, > 0",
+          "sign": "positive"
         },
         {
           "key": "mu_Pa_s",
           "quantity": "reynummu",
           "symbol": "mu_Pa_s",
           "unit": "Pa*s",
-          "meaning": "reynummu"
+          "meaning": "dynamic viscosity, > 0",
+          "sign": "positive"
         }
       ]
     },
@@ -13912,21 +14042,24 @@
           "quantity": "biotfilm",
           "symbol": "h_W_per_m2_K",
           "unit": "W/(m^2*K)",
-          "meaning": "biotfilm"
+          "meaning": "convective film coefficient, > 0",
+          "sign": "positive"
         },
         {
           "key": "Lc_m",
           "quantity": "biotlength",
           "symbol": "Lc_m",
           "unit": "m",
-          "meaning": "biotlength"
+          "meaning": "characteristic length, > 0",
+          "sign": "positive"
         },
         {
           "key": "k_W_per_m_K",
           "quantity": "biotk",
           "symbol": "k_W_per_m_K",
           "unit": "W/(m*K)",
-          "meaning": "biotk"
+          "meaning": "thermal conductivity, > 0",
+          "sign": "positive"
         }
       ]
     },
@@ -13939,21 +14072,24 @@
           "quantity": "nusseltfilm",
           "symbol": "h_W_per_m2_K",
           "unit": "W/(m^2*K)",
-          "meaning": "nusseltfilm"
+          "meaning": "convective film coefficient, > 0",
+          "sign": "positive"
         },
         {
           "key": "L_m",
           "quantity": "nusseltlen",
           "symbol": "L_m",
           "unit": "m",
-          "meaning": "nusseltlen"
+          "meaning": "characteristic length, > 0",
+          "sign": "positive"
         },
         {
           "key": "k_W_per_m_K",
           "quantity": "nusseltk",
           "symbol": "k_W_per_m_K",
           "unit": "W/(m*K)",
-          "meaning": "nusseltk"
+          "meaning": "thermal conductivity, > 0",
+          "sign": "positive"
         }
       ]
     },
@@ -13966,21 +14102,24 @@
           "quantity": "schmidtmu",
           "symbol": "mu_Pa_s",
           "unit": "Pa*s",
-          "meaning": "schmidtmu"
+          "meaning": "dynamic viscosity, > 0",
+          "sign": "positive"
         },
         {
           "key": "rho_kg_per_m3",
           "quantity": "schmidtrho",
           "symbol": "rho_kg_per_m3",
           "unit": "kg/m^3",
-          "meaning": "schmidtrho"
+          "meaning": "mass density, > 0",
+          "sign": "positive"
         },
         {
           "key": "D_m2_per_s",
           "quantity": "schmidtdiff",
           "symbol": "D_m2_per_s",
           "unit": "m^2/s",
-          "meaning": "schmidtdiff"
+          "meaning": "diffusivity, > 0",
+          "sign": "positive"
         }
       ]
     },
@@ -13993,21 +14132,24 @@
           "quantity": "sherwoodkm",
           "symbol": "km_m_per_s",
           "unit": "m/s",
-          "meaning": "sherwoodkm"
+          "meaning": "mass-transfer coefficient, > 0",
+          "sign": "positive"
         },
         {
           "key": "L_m",
           "quantity": "sherwoodlen",
           "symbol": "L_m",
           "unit": "m",
-          "meaning": "sherwoodlen"
+          "meaning": "characteristic length, > 0",
+          "sign": "positive"
         },
         {
           "key": "D_m2_per_s",
           "quantity": "sherwooddiff",
           "symbol": "D_m2_per_s",
           "unit": "m^2/s",
-          "meaning": "sherwooddiff"
+          "meaning": "diffusivity, > 0",
+          "sign": "positive"
         }
       ]
     },
@@ -14020,14 +14162,15 @@
           "quantity": "fourierslabk",
           "symbol": "k_W_per_m_K",
           "unit": "W/(m*K)",
-          "meaning": "fourierslabk"
+          "meaning": "thermal conductivity, > 0",
+          "sign": "positive"
         },
         {
           "key": "T_L_K",
           "quantity": "fourierslabend",
           "symbol": "T_L_K",
           "unit": "K",
-          "meaning": "fourierslabend",
+          "meaning": "temperature at x = L",
           "temperature": "absolute"
         },
         {
@@ -14035,7 +14178,7 @@
           "quantity": "fourierslabstart",
           "symbol": "T_0_K",
           "unit": "K",
-          "meaning": "fourierslabstart",
+          "meaning": "temperature at x = 0",
           "temperature": "absolute"
         },
         {
@@ -14043,7 +14186,8 @@
           "quantity": "fourierslablen",
           "symbol": "L_m",
           "unit": "m",
-          "meaning": "fourierslablen"
+          "meaning": "characteristic length, > 0",
+          "sign": "positive"
         }
       ]
     },
@@ -14056,49 +14200,55 @@
           "quantity": "newtonrho",
           "symbol": "rho_kg_per_m3",
           "unit": "kg/m^3",
-          "meaning": "newtonrho"
+          "meaning": "mass density, > 0",
+          "sign": "positive"
         },
         {
           "key": "c_J_per_kg_K",
           "quantity": "newtoncp",
           "symbol": "c_J_per_kg_K",
           "unit": "J/(kg*K)",
-          "meaning": "newtoncp"
+          "meaning": "specific heat capacity, > 0",
+          "sign": "positive"
         },
         {
           "key": "V_m3",
           "quantity": "newtonvol",
           "symbol": "V_m3",
-          "unit": "",
-          "meaning": "newtonvol"
+          "unit": "m^3",
+          "meaning": "body volume, > 0",
+          "sign": "positive"
         },
         {
           "key": "h_W_per_m2_K",
           "quantity": "newtonfilm",
           "symbol": "h_W_per_m2_K",
           "unit": "W/(m^2*K)",
-          "meaning": "newtonfilm"
+          "meaning": "convective film coefficient, > 0",
+          "sign": "positive"
         },
         {
           "key": "A_m2",
           "quantity": "newtonarea",
           "symbol": "A_m2",
           "unit": "m^2",
-          "meaning": "newtonarea"
+          "meaning": "surface area, > 0",
+          "sign": "positive"
         },
         {
           "key": "t_s",
           "quantity": "newtontime",
           "symbol": "t_s",
           "unit": "s",
-          "meaning": "newtontime"
+          "meaning": "elapsed time, ≥ 0",
+          "sign": "nonnegative"
         },
         {
           "key": "theta_difference_K",
           "quantity": "newtontheta0",
           "symbol": "theta_difference_K",
           "unit": "K",
-          "meaning": "newtontheta0"
+          "meaning": "initial temperature excess over the surroundings"
         }
       ]
     },
@@ -14111,14 +14261,14 @@
           "quantity": "ottoratio",
           "symbol": "r",
           "unit": "",
-          "meaning": "ottoratio"
+          "meaning": "compression ratio, > 1"
         },
         {
           "key": "gamma",
           "quantity": "ottogamma",
           "symbol": "gamma",
           "unit": "",
-          "meaning": "ottogamma"
+          "meaning": "heat-capacity ratio, > 1"
         }
       ]
     },
@@ -14131,7 +14281,7 @@
           "quantity": "jtcwarmth",
           "symbol": "T_K",
           "unit": "K",
-          "meaning": "jtcwarmth",
+          "meaning": "absolute temperature, ≥ 0",
           "temperature": "absolute"
         },
         {
@@ -14139,21 +14289,22 @@
           "quantity": "jtcdvdt",
           "symbol": "dv_dT_m3_per_kg_K",
           "unit": "m^3/(kg*K)",
-          "meaning": "jtcdvdt"
+          "meaning": "∂v/∂T at constant pressure"
         },
         {
           "key": "v_m3_per_kg",
           "quantity": "jtcvolume",
           "symbol": "v_m3_per_kg",
           "unit": "m^3/kg",
-          "meaning": "jtcvolume"
+          "meaning": "specific volume"
         },
         {
           "key": "cp_J_per_kg_K",
           "quantity": "jtcp",
           "symbol": "cp_J_per_kg_K",
           "unit": "J/(kg*K)",
-          "meaning": "jtcp"
+          "meaning": "specific heat capacity at constant pressure, > 0",
+          "sign": "positive"
         }
       ]
     },
@@ -14166,14 +14317,14 @@
           "quantity": "planckfreq",
           "symbol": "nu_Hz",
           "unit": "Hz",
-          "meaning": "planckfreq"
+          "meaning": "frequency, > 0"
         },
         {
           "key": "T_K",
           "quantity": "planckwarmth",
           "symbol": "T_K",
           "unit": "K",
-          "meaning": "planckwarmth",
+          "meaning": "absolute temperature, ≥ 0",
           "temperature": "absolute"
         }
       ]
@@ -14192,7 +14343,7 @@
           "quantity": "wienroot",
           "symbol": "wien_x",
           "unit": "",
-          "meaning": "wienroot"
+          "meaning": "the positive root of (5 − x) = 5 exp(−x), in (4, 5)"
         }
       ]
     },
@@ -14205,21 +14356,22 @@
           "quantity": "sackurcount",
           "symbol": "N",
           "unit": "",
-          "meaning": "sackurcount"
+          "meaning": "number of particles",
+          "sign": "nonnegative"
         },
         {
           "key": "nQ_per_m3",
           "quantity": "sackurquantum",
           "symbol": "nQ_per_m3",
           "unit": "m^-3",
-          "meaning": "sackurquantum"
+          "meaning": "quantum concentration, > 0"
         },
         {
           "key": "n_per_m3",
           "quantity": "sackurdensity",
           "symbol": "n_per_m3",
           "unit": "m^-3",
-          "meaning": "sackurdensity"
+          "meaning": "number density, > 0"
         }
       ]
     },
@@ -14232,14 +14384,14 @@
           "quantity": "sahamass",
           "symbol": "m_kg",
           "unit": "kg",
-          "meaning": "sahamass"
+          "meaning": "particle mass, > 0"
         },
         {
           "key": "T_K",
           "quantity": "sahawarmth",
           "symbol": "T_K",
           "unit": "K",
-          "meaning": "sahawarmth",
+          "meaning": "absolute temperature, ≥ 0",
           "temperature": "absolute"
         },
         {
@@ -14247,7 +14399,7 @@
           "quantity": "sahaion",
           "symbol": "I_J",
           "unit": "J",
-          "meaning": "sahaion"
+          "meaning": "ionization energy"
         }
       ]
     },
@@ -14260,14 +14412,14 @@
           "quantity": "richardsmass",
           "symbol": "m_kg",
           "unit": "kg",
-          "meaning": "richardsmass"
+          "meaning": "particle mass, > 0"
         },
         {
           "key": "T_K",
           "quantity": "richardswarmth",
           "symbol": "T_K",
           "unit": "K",
-          "meaning": "richardswarmth",
+          "meaning": "absolute temperature, ≥ 0",
           "temperature": "absolute"
         },
         {
@@ -14275,7 +14427,7 @@
           "quantity": "richardsphi",
           "symbol": "phi_J",
           "unit": "J",
-          "meaning": "richardsphi"
+          "meaning": "work function"
         }
       ]
     },
@@ -14288,14 +14440,14 @@
           "quantity": "onsagerl12",
           "symbol": "L12",
           "unit": "",
-          "meaning": "onsagerl12"
+          "meaning": "Onsager cross coefficient L12"
         },
         {
           "key": "onsager_B_T",
           "quantity": "onsagerb0",
           "symbol": "onsager_B_T",
           "unit": "T",
-          "meaning": "onsagerb0"
+          "meaning": "magnetic field, must be 0"
         }
       ]
     }