universal-physics-tensor 10.0.0 → 12.0.0

package/dist/cases/catalog-checks.js

@@ -0,0 +1,241 @@
+/** Check records keyed by applied-case id. */
+export const CHECKS_BY_CASE_ID = {
+    'case-skin-depth': [
+        {
+            id: 'good-conductor',
+            premise: 'good conductor: conduction current ≫ displacement current',
+            quantity: 'ωε/σ',
+            expr: '2*pi*f_Hz*eps_r*epsilon_0*rho_ohm_m',
+            op: '<=',
+            bound: 0.01,
+            threshold: 'chosen threshold for ≪ 1: the parent penetration depth then differs from δ by ≈ ωε/(2σ) ≤ 0.5%',
+        },
+        {
+            id: 'local',
+            premise: "local conductivity: the carriers' mean free path well inside the skin depth, l ≪ δ",
+            quantity: 'l/δ',
+            expr: 'l_mfp_m/delta_m',
+            op: '<=',
+            bound: 0.1,
+            threshold: 'chosen threshold for ≪ 1; beyond it the current at a point depends on the field over a path l and the anomalous skin effect sets in (Pippard 1947; Reuter & Sondheimer 1948)',
+        },
+        {
+            id: 'dc-conductivity',
+            premise: 'DC conductivity: the drive is slow beside the carrier relaxation, ωτ ≪ 1',
+            quantity: 'ω l/v',
+            expr: '2*pi*f_Hz*l_mfp_m/v_carrier_m_per_s',
+            op: '<=',
+            bound: 0.1,
+            threshold: 'chosen threshold for ≪ 1: the Drude σ(ω) = σ0/(1 − iωτ) is then within 0.5% of σ0 in modulus',
+        },
+        {
+            id: 'thick',
+            premise: 'the conductor is a half-space for the field: d ≫ δ',
+            quantity: 'd/δ',
+            expr: 'thickness_m/delta_m',
+            op: '>=',
+            bound: 5,
+            threshold: 'chosen threshold: the half-space field at the back face is then ≤ e^{−5} ≈ 0.7% of the surface field',
+        },
+    ],
+    'case-kepler-rv': [
+        {
+            id: 'test-mass',
+            premise: 'the companion is light beside the star, m_p ≪ M_*',
+            quantity: 'm_p/M_*',
+            expr: 'm_p_kg/M_star_kg',
+            op: '<=',
+            bound: 0.01,
+            threshold: 'chosen threshold: the test-mass K then exceeds the two-body K by (1 + q)^{2/3} − 1 ≤ 0.67%',
+        },
+        {
+            id: 'point-mass',
+            premise: 'point masses: the star is small beside the closest approach, R_* ≪ r_p',
+            quantity: 'R_*/(a(1 − e))',
+            expr: 'R_star_m/r_peri_m',
+            op: '<=',
+            bound: 0.1,
+            threshold: 'chosen threshold: tidal and rotational quadrupole terms scale as (R_*/r)² times a Love number or J2 (each < 1), kept ≤ 1%',
+        },
+        {
+            id: 'weak-field',
+            premise: 'Newtonian gravity: G(M_* + m_p)/(c²a) ≪ 1',
+            quantity: 'G(M_* + m_p)/(c² a)',
+            expr: 'weak_field',
+            op: '<=',
+            bound: 1e-4,
+            threshold: 'chosen threshold: the 1PN corrections to the P–a relation and to the orbital velocity are of this relative order',
+        },
+        {
+            id: 'apsidal',
+            premise: 'a fixed ellipse over the record: the GR apsidal advance does not reshape the RV curve',
+            quantity: 'e Δω T_obs/P',
+            expr: 'apsidal_misfit',
+            op: '<=',
+            bound: 0.01,
+            threshold: 'chosen threshold: beyond the mean longitude (absorbed by the fitted phase), v_r depends on ω only at O(e), so the misfit is of order e Δω K; its coefficient (order one) is not encoded',
+        },
+    ],
+    'case-damped-resonator': [
+        {
+            id: 'underdamped',
+            premise: 'underdamped: the solution rings (Q > 1/2)',
+            quantity: 'Q',
+            expr: 'Q',
+            op: '>',
+            bound: 0.5,
+            threshold: 'exact: at Q ≤ 1/2 the solution is a sum of real exponentials, with no ring-down, f_d or envelope',
+        },
+        {
+            id: 'single-lorentzian',
+            premise: 'high Q: the line near f0 is one Lorentzian',
+            quantity: 'Q',
+            expr: 'Q',
+            op: '>=',
+            bound: 10,
+            threshold: 'chosen threshold for Q ≫ 1: the windowed spectrum drops the negative-frequency pole',
+        },
+        {
+            id: 'resolved',
+            premise: 'the record resolves the line: 1/t_obs ≪ f0/Q',
+            quantity: '(1/t_obs)/(f0/Q)',
+            expr: 'resolution_Hz/linewidth_Hz',
+            op: '<=',
+            bound: 0.1,
+            threshold: 'chosen threshold for ≪ 1; see windowed_excess for the broadening it allows',
+        },
+        {
+            id: 'in-record',
+            premise: 'the read-out time lies inside the record',
+            quantity: 't/t_obs',
+            expr: 't_s/t_obs_s',
+            op: '<=',
+            bound: 1,
+            threshold: 'exact: an envelope read after the record ends was not measured',
+        },
+        {
+            id: 'above-thermal',
+            premise: 'the ring-down stands above the thermal motion at t',
+            quantity: '√(k_BT/k)/A(t)',
+            expr: 'x_th_rms_m/envelope_m',
+            op: '<=',
+            bound: 0.1,
+            threshold: 'chosen threshold: the RMS envelope √(A² + 2k_BT/k) then exceeds A by ≤ 1%',
+        },
+    ],
+    'case-resistor-noise': [
+        {
+            id: 'classical',
+            premise: 'flat, classical spectrum: hf ≪ k_BT across the band',
+            quantity: 'h f_hi/(k_B T)',
+            expr: 'h*f_hi_Hz/(k_B*T_K)',
+            op: '<=',
+            bound: 0.01,
+            threshold: 'chosen threshold for ≪ 1: the Planck factor at f_hi is then within x/2 ≤ 0.5% of 1',
+        },
+        {
+            id: 'flat-band',
+            premise: 'the input RC pole lies above the band',
+            quantity: '2π f_hi R_eff C_in',
+            expr: '2*pi*f_hi_Hz*R_eff_ohm*C_in_F',
+            op: '<=',
+            bound: 0.1,
+            threshold: 'chosen threshold for ≪ 1: the RC low-pass then passes ≥ 99% of the density at f_hi',
+        },
+        {
+            id: 'amplifier',
+            premise: "the resistor's noise is resolved above the amplifier's in t_avg",
+            quantity: '1/(φ √(B t_avg))',
+            expr: '1/(resistor_fraction*sqrt(B_Hz*t_avg_s))',
+            op: '<=',
+            bound: 0.01,
+            threshold: "chosen threshold: after subtracting the amplifier's power (known exactly, e.g. from a long shorted-input run) the resistor's power scatters by ≤ 1%",
+        },
+    ],
+    'case-lumped-cooling': [
+        {
+            id: 'lumped',
+            premise: 'one temperature for the sphere: internal conduction fast beside surface loss, Bi ≪ 1',
+            quantity: 'h (a/3)/k',
+            expr: 'Bi',
+            op: '<=',
+            bound: 0.1,
+            threshold: 'the conventional criterion Bi ≤ 0.1 with L_c = V/A (Incropera §5.2); parent_deviation shows the error it leaves at t',
+        },
+        {
+            id: 'linear-loss',
+            premise: 'the loss is linear in T − T∞: radiation small beside convection',
+            quantity: 'εσ_SB(T_max + T∞)(T_max² + T∞²)/h',
+            expr: 'h_rad_max_W_per_m2_K/h_W_per_m2_K',
+            op: '<=',
+            bound: 0.1,
+            threshold: 'chosen threshold: the neglected radiative conductance is ≤ 10% of h at the hottest point of the run (Incropera eq. 1.9 linearization)',
+        },
+    ],
+    'case-brownian-sphere': [
+        {
+            id: 'creeping-flow',
+            premise: 'creeping flow around the sphere, Re ≪ 1',
+            quantity: 'ρ_f a max(√(k_BT/m), |v_s|)/η',
+            expr: 'Re',
+            op: '<=',
+            bound: 0.1,
+            threshold: 'the threshold ab-stokes-einstein states: a chosen machine form of Re ≪ 1',
+        },
+        {
+            id: 'overdamped',
+            premise: 'overdamped times t ≫ τ_p',
+            quantity: '(m + m_f/2)/(γ t)',
+            expr: 'tau_p_s/t_s',
+            op: '<=',
+            bound: 0.01,
+            threshold: "ab-stokes-einstein's m/(γt) ≤ 0.01, with the added mass m_f/2 included (stricter)",
+        },
+        {
+            id: 'memory',
+            premise: 'past the hydrodynamic memory, t ≫ τ_f = ρ_f a²/η',
+            quantity: '|MSD_H/MSD_OU − 1|',
+            expr: 'abs(memory_correction)',
+            op: '<=',
+            bound: 0.01,
+            threshold: 'chosen threshold: the Basset memory changes the MSD by ≤ 1% at t (computed, not estimated; ≈ 2√(τ_f/(πt)) at t ≫ τ_f)',
+        },
+        {
+            id: 'faxen-range',
+            premise: 'the Faxén series in a/h holds for D_∥',
+            quantity: '(a/h)⁵/16 ÷ (D_∥/D)',
+            expr: 'pow(a_m/h_m,5)/16/(D_parallel_m2_per_s/D_m2_per_s)',
+            op: '<=',
+            bound: 0.01,
+            threshold: 'chosen threshold: the last retained term is ≤ 1% of the series — a size estimate of the truncation, not a bound; D_⊥ (Brenner) is exact at any h > a',
+        },
+        {
+            id: 'wall',
+            premise: 'the wall correction to the tracked MSD is negligible',
+            quantity: '|MSD/MSD_w − 1|',
+            expr: 'abs(wall_deviation)',
+            op: '<=',
+            bound: 0.01,
+            threshold: 'chosen threshold: the unbounded-fluid D is then within 1% for the tracked axes; otherwise read MSD_wall_m2',
+        },
+        {
+            id: 'wall-static',
+            premise: 'the height barely changes over t',
+            quantity: '(√(2 D_⊥ t) + |v_s| t/λ)/(h − a)',
+            expr: '(sqrt(2*D_perp_m2_per_s*t_s)+abs(v_sed_m_per_s)*t_s/(D_m2_per_s/D_perp_m2_per_s))/(h_m-a_m)',
+            op: '<=',
+            bound: 0.1,
+            threshold: 'chosen threshold: diffusion plus wall-slowed sedimentation normal to the wall move the sphere by ≤ 10% of the gap, so D_∥, D_⊥ taken at h hold over t',
+        },
+        {
+            id: 'drift',
+            premise: 'sedimentation drift negligible along gravity over t',
+            quantity: '(v_s t)²/(2 D t)',
+            expr: 'pow(v_sed_m_per_s*t_s,2)/(2*D_m2_per_s*t_s)',
+            op: '<=',
+            bound: 0.01,
+            threshold: 'chosen threshold: the vertical MSD then carries ≤ 1% from the deterministic drift',
+        },
+    ],
+};
+//# sourceMappingURL=catalog-checks.js.map

package/dist/cases/catalog-checks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-checks.js","sourceRoot":"","sources":["../../src/cases/catalog-checks.ts"],"names":[],"mappings":"AAQA,8CAA8C;AAC9C,MAAM,CAAC,MAAM,iBAAiB,GAAgE;IAC5F,iBAAiB,EAAE;QACjB;YACE,EAAE,EAAE,gBAAgB;YACpB,OAAO,EAAE,2DAA2D;YACpE,QAAQ,EAAE,MAAM;YAChB,IAAI,EAAE,qCAAqC;YAC3C,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,IAAI;YACX,SAAS,EACP,gGAAgG;SACnG;QACD;YACE,EAAE,EAAE,OAAO;YACX,OAAO,EAAE,oFAAoF;YAC7F,QAAQ,EAAE,KAAK;YACf,IAAI,EAAE,iBAAiB;YACvB,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,GAAG;YACV,SAAS,EACP,8KAA8K;SACjL;QACD;YACE,EAAE,EAAE,iBAAiB;YACrB,OAAO,EAAE,0EAA0E;YACnF,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,qCAAqC;YAC3C,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,GAAG;YACV,SAAS,EAAE,8FAA8F;SAC1G;QACD;YACE,EAAE,EAAE,OAAO;YACX,OAAO,EAAE,oDAAoD;YAC7D,QAAQ,EAAE,KAAK;YACf,IAAI,EAAE,qBAAqB;YAC3B,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,CAAC;YACR,SAAS,EAAE,sGAAsG;SAClH;KACF;IACD,gBAAgB,EAAE;QAChB;YACE,EAAE,EAAE,WAAW;YACf,OAAO,EAAE,mDAAmD;YAC5D,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,kBAAkB;YACxB,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,IAAI;YACX,SAAS,EAAE,4FAA4F;SACxG;QACD;YACE,EAAE,EAAE,YAAY;YAChB,OAAO,EAAE,wEAAwE;YACjF,QAAQ,EAAE,gBAAgB;YAC1B,IAAI,EAAE,mBAAmB;YACzB,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,GAAG;YACV,SAAS,EACP,2HAA2H;SAC9H;QACD;YACE,EAAE,EAAE,YAAY;YAChB,OAAO,EAAE,2CAA2C;YACpD,QAAQ,EAAE,qBAAqB;YAC/B,IAAI,EAAE,YAAY;YAClB,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,IAAI;YACX,SAAS,EAAE,kHAAkH;SAC9H;QACD;YACE,EAAE,EAAE,SAAS;YACb,OAAO,EAAE,uFAAuF;YAChG,QAAQ,EAAE,cAAc;YACxB,IAAI,EAAE,gBAAgB;YACtB,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,IAAI;YACX,SAAS,EACP,yLAAyL;SAC5L;KACF;IACD,uBAAuB,EAAE;QACvB;YACE,EAAE,EAAE,aAAa;YACjB,OAAO,EAAE,2CAA2C;YACpD,QAAQ,EAAE,GAAG;YACb,IAAI,EAAE,GAAG;YACT,EAAE,EAAE,GAAG;YACP,KAAK,EAAE,GAAG;YACV,SAAS,EAAE,kGAAkG;SAC9G;QACD;YACE,EAAE,EAAE,mBAAmB;YACvB,OAAO,EAAE,4CAA4C;YACrD,QAAQ,EAAE,GAAG;YACb,IAAI,EAAE,GAAG;YACT,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,EAAE;YACT,SAAS,EAAE,qFAAqF;SACjG;QACD;YACE,EAAE,EAAE,UAAU;YACd,OAAO,EAAE,8CAA8C;YACvD,QAAQ,EAAE,kBAAkB;YAC5B,IAAI,EAAE,4BAA4B;YAClC,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,GAAG;YACV,SAAS,EAAE,4EAA4E;SACxF;QACD;YACE,EAAE,EAAE,WAAW;YACf,OAAO,EAAE,0CAA0C;YACnD,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,CAAC;YACR,SAAS,EAAE,gEAAgE;SAC5E;QACD;YACE,EAAE,EAAE,eAAe;YACnB,OAAO,EAAE,oDAAoD;YAC7D,QAAQ,EAAE,gBAAgB;YAC1B,IAAI,EAAE,uBAAuB;YAC7B,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,GAAG;YACV,SAAS,EAAE,2EAA2E;SACvF;KACF;IACD,qBAAqB,EAAE;QACrB;YACE,EAAE,EAAE,WAAW;YACf,OAAO,EAAE,qDAAqD;YAC9D,QAAQ,EAAE,gBAAgB;YAC1B,IAAI,EAAE,qBAAqB;YAC3B,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,IAAI;YACX,SAAS,EAAE,oFAAoF;SAChG;QACD;YACE,EAAE,EAAE,WAAW;YACf,OAAO,EAAE,uCAAuC;YAChD,QAAQ,EAAE,oBAAoB;YAC9B,IAAI,EAAE,+BAA+B;YACrC,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,GAAG;YACV,SAAS,EAAE,oFAAoF;SAChG;QACD;YACE,EAAE,EAAE,WAAW;YACf,OAAO,EAAE,iEAAiE;YAC1E,QAAQ,EAAE,kBAAkB;YAC5B,IAAI,EAAE,0CAA0C;YAChD,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,IAAI;YACX,SAAS,EACP,qJAAqJ;SACxJ;KACF;IACD,qBAAqB,EAAE;QACrB;YACE,EAAE,EAAE,QAAQ;YACZ,OAAO,EAAE,sFAAsF;YAC/F,QAAQ,EAAE,WAAW;YACrB,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,GAAG;YACV,SAAS,EACP,sHAAsH;SACzH;QACD;YACE,EAAE,EAAE,aAAa;YACjB,OAAO,EAAE,iEAAiE;YAC1E,QAAQ,EAAE,mCAAmC;YAC7C,IAAI,EAAE,mCAAmC;YACzC,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,GAAG;YACV,SAAS,EACP,uIAAuI;SAC1I;KACF;IACD,sBAAsB,EAAE;QACtB;YACE,EAAE,EAAE,eAAe;YACnB,OAAO,EAAE,yCAAyC;YAClD,QAAQ,EAAE,+BAA+B;YACzC,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,GAAG;YACV,SAAS,EAAE,0EAA0E;SACtF;QACD;YACE,EAAE,EAAE,YAAY;YAChB,OAAO,EAAE,0BAA0B;YACnC,QAAQ,EAAE,mBAAmB;YAC7B,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,IAAI;YACX,SAAS,EAAE,mFAAmF;SAC/F;QACD;YACE,EAAE,EAAE,QAAQ;YACZ,OAAO,EAAE,kDAAkD;YAC3D,QAAQ,EAAE,oBAAoB;YAC9B,IAAI,EAAE,wBAAwB;YAC9B,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,IAAI;YACX,SAAS,EACP,uHAAuH;SAC1H;QACD;YACE,EAAE,EAAE,aAAa;YACjB,OAAO,EAAE,uCAAuC;YAChD,QAAQ,EAAE,qBAAqB;YAC/B,IAAI,EAAE,oDAAoD;YAC1D,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,IAAI;YACX,SAAS,EACP,sJAAsJ;SACzJ;QACD;YACE,EAAE,EAAE,MAAM;YACV,OAAO,EAAE,sDAAsD;YAC/D,QAAQ,EAAE,iBAAiB;YAC3B,IAAI,EAAE,qBAAqB;YAC3B,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,IAAI;YACX,SAAS,EACP,4GAA4G;SAC/G;QACD;YACE,EAAE,EAAE,aAAa;YACjB,OAAO,EAAE,kCAAkC;YAC3C,QAAQ,EAAE,kCAAkC;YAC5C,IAAI,EAAE,6FAA6F;YACnG,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,GAAG;YACV,SAAS,EACP,uJAAuJ;SAC1J;QACD;YACE,EAAE,EAAE,OAAO;YACX,OAAO,EAAE,qDAAqD;YAC9D,QAAQ,EAAE,kBAAkB;YAC5B,IAAI,EAAE,6CAA6C;YACnD,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,IAAI;YACX,SAAS,EAAE,mFAAmF;SAC/F;KACF;CACF,CAAC","sourcesContent":["/**\n * Check records (expr + bound) for the applied-case catalog. Declarative prose lives\n * in `data/applied-cases.json`; thresholds stay here beside the expr the engine reads.\n *\n * @module cases/catalog-checks\n */\nimport type { AppliedCaseCheckRecord } from './catalog.js';\n\n/** Check records keyed by applied-case id. */\nexport const CHECKS_BY_CASE_ID: Readonly<Record<string, readonly AppliedCaseCheckRecord[]>> = {\n  'case-skin-depth': [\n    {\n      id: 'good-conductor',\n      premise: 'good conductor: conduction current ≫ displacement current',\n      quantity: 'ωε/σ',\n      expr: '2*pi*f_Hz*eps_r*epsilon_0*rho_ohm_m',\n      op: '<=',\n      bound: 0.01,\n      threshold:\n        'chosen threshold for ≪ 1: the parent penetration depth then differs from δ by ≈ ωε/(2σ) ≤ 0.5%',\n    },\n    {\n      id: 'local',\n      premise: \"local conductivity: the carriers' mean free path well inside the skin depth, l ≪ δ\",\n      quantity: 'l/δ',\n      expr: 'l_mfp_m/delta_m',\n      op: '<=',\n      bound: 0.1,\n      threshold:\n        'chosen threshold for ≪ 1; beyond it the current at a point depends on the field over a path l and the anomalous skin effect sets in (Pippard 1947; Reuter & Sondheimer 1948)',\n    },\n    {\n      id: 'dc-conductivity',\n      premise: 'DC conductivity: the drive is slow beside the carrier relaxation, ωτ ≪ 1',\n      quantity: 'ω l/v',\n      expr: '2*pi*f_Hz*l_mfp_m/v_carrier_m_per_s',\n      op: '<=',\n      bound: 0.1,\n      threshold: 'chosen threshold for ≪ 1: the Drude σ(ω) = σ0/(1 − iωτ) is then within 0.5% of σ0 in modulus',\n    },\n    {\n      id: 'thick',\n      premise: 'the conductor is a half-space for the field: d ≫ δ',\n      quantity: 'd/δ',\n      expr: 'thickness_m/delta_m',\n      op: '>=',\n      bound: 5,\n      threshold: 'chosen threshold: the half-space field at the back face is then ≤ e^{−5} ≈ 0.7% of the surface field',\n    },\n  ],\n  'case-kepler-rv': [\n    {\n      id: 'test-mass',\n      premise: 'the companion is light beside the star, m_p ≪ M_*',\n      quantity: 'm_p/M_*',\n      expr: 'm_p_kg/M_star_kg',\n      op: '<=',\n      bound: 0.01,\n      threshold: 'chosen threshold: the test-mass K then exceeds the two-body K by (1 + q)^{2/3} − 1 ≤ 0.67%',\n    },\n    {\n      id: 'point-mass',\n      premise: 'point masses: the star is small beside the closest approach, R_* ≪ r_p',\n      quantity: 'R_*/(a(1 − e))',\n      expr: 'R_star_m/r_peri_m',\n      op: '<=',\n      bound: 0.1,\n      threshold:\n        'chosen threshold: tidal and rotational quadrupole terms scale as (R_*/r)² times a Love number or J2 (each < 1), kept ≤ 1%',\n    },\n    {\n      id: 'weak-field',\n      premise: 'Newtonian gravity: G(M_* + m_p)/(c²a) ≪ 1',\n      quantity: 'G(M_* + m_p)/(c² a)',\n      expr: 'weak_field',\n      op: '<=',\n      bound: 1e-4,\n      threshold: 'chosen threshold: the 1PN corrections to the P–a relation and to the orbital velocity are of this relative order',\n    },\n    {\n      id: 'apsidal',\n      premise: 'a fixed ellipse over the record: the GR apsidal advance does not reshape the RV curve',\n      quantity: 'e Δω T_obs/P',\n      expr: 'apsidal_misfit',\n      op: '<=',\n      bound: 0.01,\n      threshold:\n        'chosen threshold: beyond the mean longitude (absorbed by the fitted phase), v_r depends on ω only at O(e), so the misfit is of order e Δω K; its coefficient (order one) is not encoded',\n    },\n  ],\n  'case-damped-resonator': [\n    {\n      id: 'underdamped',\n      premise: 'underdamped: the solution rings (Q > 1/2)',\n      quantity: 'Q',\n      expr: 'Q',\n      op: '>',\n      bound: 0.5,\n      threshold: 'exact: at Q ≤ 1/2 the solution is a sum of real exponentials, with no ring-down, f_d or envelope',\n    },\n    {\n      id: 'single-lorentzian',\n      premise: 'high Q: the line near f0 is one Lorentzian',\n      quantity: 'Q',\n      expr: 'Q',\n      op: '>=',\n      bound: 10,\n      threshold: 'chosen threshold for Q ≫ 1: the windowed spectrum drops the negative-frequency pole',\n    },\n    {\n      id: 'resolved',\n      premise: 'the record resolves the line: 1/t_obs ≪ f0/Q',\n      quantity: '(1/t_obs)/(f0/Q)',\n      expr: 'resolution_Hz/linewidth_Hz',\n      op: '<=',\n      bound: 0.1,\n      threshold: 'chosen threshold for ≪ 1; see windowed_excess for the broadening it allows',\n    },\n    {\n      id: 'in-record',\n      premise: 'the read-out time lies inside the record',\n      quantity: 't/t_obs',\n      expr: 't_s/t_obs_s',\n      op: '<=',\n      bound: 1,\n      threshold: 'exact: an envelope read after the record ends was not measured',\n    },\n    {\n      id: 'above-thermal',\n      premise: 'the ring-down stands above the thermal motion at t',\n      quantity: '√(k_BT/k)/A(t)',\n      expr: 'x_th_rms_m/envelope_m',\n      op: '<=',\n      bound: 0.1,\n      threshold: 'chosen threshold: the RMS envelope √(A² + 2k_BT/k) then exceeds A by ≤ 1%',\n    },\n  ],\n  'case-resistor-noise': [\n    {\n      id: 'classical',\n      premise: 'flat, classical spectrum: hf ≪ k_BT across the band',\n      quantity: 'h f_hi/(k_B T)',\n      expr: 'h*f_hi_Hz/(k_B*T_K)',\n      op: '<=',\n      bound: 0.01,\n      threshold: 'chosen threshold for ≪ 1: the Planck factor at f_hi is then within x/2 ≤ 0.5% of 1',\n    },\n    {\n      id: 'flat-band',\n      premise: 'the input RC pole lies above the band',\n      quantity: '2π f_hi R_eff C_in',\n      expr: '2*pi*f_hi_Hz*R_eff_ohm*C_in_F',\n      op: '<=',\n      bound: 0.1,\n      threshold: 'chosen threshold for ≪ 1: the RC low-pass then passes ≥ 99% of the density at f_hi',\n    },\n    {\n      id: 'amplifier',\n      premise: \"the resistor's noise is resolved above the amplifier's in t_avg\",\n      quantity: '1/(φ √(B t_avg))',\n      expr: '1/(resistor_fraction*sqrt(B_Hz*t_avg_s))',\n      op: '<=',\n      bound: 0.01,\n      threshold:\n        \"chosen threshold: after subtracting the amplifier's power (known exactly, e.g. from a long shorted-input run) the resistor's power scatters by ≤ 1%\",\n    },\n  ],\n  'case-lumped-cooling': [\n    {\n      id: 'lumped',\n      premise: 'one temperature for the sphere: internal conduction fast beside surface loss, Bi ≪ 1',\n      quantity: 'h (a/3)/k',\n      expr: 'Bi',\n      op: '<=',\n      bound: 0.1,\n      threshold:\n        'the conventional criterion Bi ≤ 0.1 with L_c = V/A (Incropera §5.2); parent_deviation shows the error it leaves at t',\n    },\n    {\n      id: 'linear-loss',\n      premise: 'the loss is linear in T − T∞: radiation small beside convection',\n      quantity: 'εσ_SB(T_max + T∞)(T_max² + T∞²)/h',\n      expr: 'h_rad_max_W_per_m2_K/h_W_per_m2_K',\n      op: '<=',\n      bound: 0.1,\n      threshold:\n        'chosen threshold: the neglected radiative conductance is ≤ 10% of h at the hottest point of the run (Incropera eq. 1.9 linearization)',\n    },\n  ],\n  'case-brownian-sphere': [\n    {\n      id: 'creeping-flow',\n      premise: 'creeping flow around the sphere, Re ≪ 1',\n      quantity: 'ρ_f a max(√(k_BT/m), |v_s|)/η',\n      expr: 'Re',\n      op: '<=',\n      bound: 0.1,\n      threshold: 'the threshold ab-stokes-einstein states: a chosen machine form of Re ≪ 1',\n    },\n    {\n      id: 'overdamped',\n      premise: 'overdamped times t ≫ τ_p',\n      quantity: '(m + m_f/2)/(γ t)',\n      expr: 'tau_p_s/t_s',\n      op: '<=',\n      bound: 0.01,\n      threshold: \"ab-stokes-einstein's m/(γt) ≤ 0.01, with the added mass m_f/2 included (stricter)\",\n    },\n    {\n      id: 'memory',\n      premise: 'past the hydrodynamic memory, t ≫ τ_f = ρ_f a²/η',\n      quantity: '|MSD_H/MSD_OU − 1|',\n      expr: 'abs(memory_correction)',\n      op: '<=',\n      bound: 0.01,\n      threshold:\n        'chosen threshold: the Basset memory changes the MSD by ≤ 1% at t (computed, not estimated; ≈ 2√(τ_f/(πt)) at t ≫ τ_f)',\n    },\n    {\n      id: 'faxen-range',\n      premise: 'the Faxén series in a/h holds for D_∥',\n      quantity: '(a/h)⁵/16 ÷ (D_∥/D)',\n      expr: 'pow(a_m/h_m,5)/16/(D_parallel_m2_per_s/D_m2_per_s)',\n      op: '<=',\n      bound: 0.01,\n      threshold:\n        'chosen threshold: the last retained term is ≤ 1% of the series — a size estimate of the truncation, not a bound; D_⊥ (Brenner) is exact at any h > a',\n    },\n    {\n      id: 'wall',\n      premise: 'the wall correction to the tracked MSD is negligible',\n      quantity: '|MSD/MSD_w − 1|',\n      expr: 'abs(wall_deviation)',\n      op: '<=',\n      bound: 0.01,\n      threshold:\n        'chosen threshold: the unbounded-fluid D is then within 1% for the tracked axes; otherwise read MSD_wall_m2',\n    },\n    {\n      id: 'wall-static',\n      premise: 'the height barely changes over t',\n      quantity: '(√(2 D_⊥ t) + |v_s| t/λ)/(h − a)',\n      expr: '(sqrt(2*D_perp_m2_per_s*t_s)+abs(v_sed_m_per_s)*t_s/(D_m2_per_s/D_perp_m2_per_s))/(h_m-a_m)',\n      op: '<=',\n      bound: 0.1,\n      threshold:\n        'chosen threshold: diffusion plus wall-slowed sedimentation normal to the wall move the sphere by ≤ 10% of the gap, so D_∥, D_⊥ taken at h hold over t',\n    },\n    {\n      id: 'drift',\n      premise: 'sedimentation drift negligible along gravity over t',\n      quantity: '(v_s t)²/(2 D t)',\n      expr: 'pow(v_sed_m_per_s*t_s,2)/(2*D_m2_per_s*t_s)',\n      op: '<=',\n      bound: 0.01,\n      threshold: 'chosen threshold: the vertical MSD then carries ≤ 1% from the deterministic drift',\n    },\n  ],\n};\n"]}

package/dist/cases/catalog.d.ts

@@ -0,0 +1,83 @@
+import type { JsonSchema } from '../core/json-schema.js';
+import type { EvaluatorParameter } from '../bridges/evaluators.js';
+import type { AppliedCase, CaseComparison, CaseExample } from './types.js';
+/** One catalog check, evaluated through the formula grammar. @internal */
+export interface AppliedCaseCheckRecord {
+    readonly id: string;
+    readonly premise: string;
+    readonly quantity: string;
+    readonly expr: string;
+    readonly op: '<=' | '>=' | '>';
+    readonly bound: number;
+    readonly threshold: string;
+}
+/** One catalog output before runtime wiring. @internal */
+export interface AppliedCaseOutputRecord {
+    readonly key: string;
+    readonly symbol: string;
+    readonly unit: string;
+    readonly meaning: string;
+    readonly expr?: string;
+    readonly method?: string;
+    readonly relation?: {
+        readonly relation: string;
+        readonly inputs: Readonly<Record<string, string>>;
+    };
+}
+/** One applied-case record in the catalog file. @internal */
+export interface AppliedCaseRecord {
+    readonly id: string;
+    readonly title: string;
+    readonly parameters: readonly EvaluatorParameter[];
+    readonly governing: AppliedCase['governing'];
+    readonly observable: string;
+    readonly outputs: readonly AppliedCaseOutputRecord[];
+    readonly checks: readonly AppliedCaseCheckRecord[];
+    readonly conditions: readonly string[];
+    readonly comparison?: CaseComparison;
+    readonly notIncluded: readonly string[];
+    readonly measurement: readonly string[];
+    readonly links: readonly {
+        readonly id: string;
+        readonly role: string;
+    }[];
+    readonly examples: {
+        readonly valid: CaseExample;
+        readonly failures: readonly CaseExample[];
+    };
+    readonly regimeAt?: string;
+}
+/** The on-disk catalog shape. @internal */
+export interface AppliedCaseFile {
+    readonly schemaVersion: 1;
+    readonly cases: readonly AppliedCaseRecord[];
+}
+/**
+ * Per-case module names B8 deleted. The published package has no `src/`, so
+ * this list is the loader's record; {@link isForbiddenCaseModule} and the
+ * directory test fail if one of these, or a new `case-*.ts`, comes back.
+ */
+export declare const FORBIDDEN_PER_CASE_MODULES: readonly ['skin-depth.ts', 'kepler-rv.ts', 'damped-resonator.ts', 'resistor-noise.ts', 'lumped-cooling.ts', 'brownian-sphere.ts'];
+/** True for a deleted per-case file or a new `case-*.ts` under `src/cases/`. */
+export declare function isForbiddenCaseModule(name: string): boolean;
+/**
+ * Parse and validate catalog text. Schema problems and semantic problems throw
+ * with every message listed.
+ * @internal
+ */
+export declare function readAppliedCaseFile(text: string, schema?: JsonSchema): AppliedCaseFile;
+/** Semantic rules a schema cannot state. @internal */
+export declare function catalogSemanticProblems(file: AppliedCaseFile, methodNames?: ReadonlySet<string>): string[];
+/** `data/applied-cases.json`, checked once per process. @internal */
+export declare function appliedCaseCatalog(): AppliedCaseFile;
+/** One record by id; throws when the id is absent. @internal */
+export declare function appliedCaseRecord(id: string): AppliedCaseRecord;
+/** Declarative fields of an {@link AppliedCase} as a catalog record (no `run`). @internal */
+export declare function projectAppliedCaseRecord(c: AppliedCase, checks: readonly AppliedCaseCheckRecord[]): AppliedCaseRecord;
+/** Attach a runtime implementation to a catalog record. @internal */
+export declare function assembleAppliedCase(record: AppliedCaseRecord, impl: Pick<AppliedCase, 'run'> & {
+    regimeAt?: AppliedCase['regimeAt'];
+}): AppliedCase;
+/** Every catalog id in file order. @internal */
+export declare function appliedCaseIds(): readonly string[];
+//# sourceMappingURL=catalog.d.ts.map

package/dist/cases/catalog.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog.d.ts","sourceRoot":"","sources":["../../src/cases/catalog.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE3E,0EAA0E;AAC1E,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,IAAI,GAAG,IAAI,GAAG,GAAG,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,0DAA0D;AAC1D,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;KAAE,CAAC;CACtG;AAED,6DAA6D;AAC7D,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACnD,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC;IAC7C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACrD,QAAQ,CAAC,MAAM,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACnD,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,SAAS;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC1E,QAAQ,CAAC,QAAQ,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAA;KAAE,CAAC;IAC9F,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,2CAA2C;AAC3C,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,SAAS,iBAAiB,EAAE,CAAC;CAC9C;AAID;;;;GAIG;AACH,eAAO,MAAM,0BAA0B,YACrC,eAAe,EACf,cAAc,EACd,qBAAqB,EACrB,mBAAmB,EACnB,mBAAmB,EACnB,oBAAoB,CACZ,CAAC;AAEX,gFAAgF;AAChF,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAG3D;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,GAAE,UAA6C,GAAG,eAAe,CAMxH;AAED,sDAAsD;AACtD,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,eAAe,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,CA4B1G;AAED,qEAAqE;AACrE,wBAAgB,kBAAkB,IAAI,eAAe,CAEpD;AAED,gEAAgE;AAChE,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,MAAM,GAAG,iBAAiB,CAI/D;AAED,6FAA6F;AAC7F,wBAAgB,wBAAwB,CACtC,CAAC,EAAE,WAAW,EACd,MAAM,EAAE,SAAS,sBAAsB,EAAE,GACxC,iBAAiB,CAOnB;AAED,qEAAqE;AACrE,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,iBAAiB,EACzB,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,GAAG;IAAE,QAAQ,CAAC,EAAE,WAAW,CAAC,UAAU,CAAC,CAAA;CAAE,GACtE,WAAW,CAiBb;AAED,gDAAgD;AAChD,wBAAgB,cAAc,IAAI,SAAS,MAAM,EAAE,CAElD"}

package/dist/cases/catalog.js

@@ -0,0 +1,118 @@
+/**
+ * The applied-case catalog: `data/applied-cases.json`, validated at load.
+ *
+ * @module cases/catalog
+ */
+import { checkedDataFile, dataSchema, parseDataFile } from '../core/data-file.js';
+import { catalogRelations } from '../bridges/catalog-load.js';
+const OPS = new Set(['<=', '>=', '>']);
+/**
+ * Per-case module names B8 deleted. The published package has no `src/`, so
+ * this list is the loader's record; {@link isForbiddenCaseModule} and the
+ * directory test fail if one of these, or a new `case-*.ts`, comes back.
+ */
+export const FORBIDDEN_PER_CASE_MODULES = [
+    'skin-depth.ts',
+    'kepler-rv.ts',
+    'damped-resonator.ts',
+    'resistor-noise.ts',
+    'lumped-cooling.ts',
+    'brownian-sphere.ts',
+];
+/** True for a deleted per-case file or a new `case-*.ts` under `src/cases/`. */
+export function isForbiddenCaseModule(name) {
+    return FORBIDDEN_PER_CASE_MODULES.includes(name)
+        || /^case-.+\.ts$/.test(name);
+}
+/**
+ * Parse and validate catalog text. Schema problems and semantic problems throw
+ * with every message listed.
+ * @internal
+ */
+export function readAppliedCaseFile(text, schema = dataSchema('applied-cases.json')) {
+    const parsed = parseDataFile('applied-cases.json', text, schema);
+    catalogSemanticProblems(parsed).forEach((msg) => {
+        throw new Error(msg);
+    });
+    return parsed;
+}
+/** Semantic rules a schema cannot state. @internal */
+export function catalogSemanticProblems(file, methodNames) {
+    const problems = [];
+    const seen = new Set();
+    for (const row of file.cases) {
+        if (row.id.length === 0)
+            problems.push('applied-cases: a case is missing id');
+        if (seen.has(row.id))
+            problems.push(`applied-cases: duplicate id '${row.id}'`);
+        seen.add(row.id);
+        for (const check of row.checks) {
+            if (!OPS.has(check.op))
+                problems.push(`${row.id}: check '${check.id}' has unknown op '${check.op}'`);
+            if (check.expr.trim().length === 0)
+                problems.push(`${row.id}: check '${check.id}' has no expr`);
+        }
+        if (methodNames !== undefined) {
+            for (const output of row.outputs) {
+                const kinds = [output.expr !== undefined, output.relation !== undefined, output.method !== undefined].filter(Boolean).length;
+                if (kinds !== 1) {
+                    problems.push(`${row.id}: output '${output.key}' must have exactly one of expr, relation, method`);
+                }
+                else if (output.method !== undefined && !methodNames.has(output.method)) {
+                    problems.push(`${row.id}: output '${output.key}' names unknown method '${output.method}'`);
+                }
+                else if (output.relation !== undefined) {
+                    const rel = catalogRelations().find((r) => r.id === output.relation.relation);
+                    if (rel === undefined) {
+                        problems.push(`${row.id}: output '${output.key}' names unknown relation '${output.relation.relation}'`);
+                    }
+                }
+            }
+        }
+    }
+    return problems;
+}
+/** `data/applied-cases.json`, checked once per process. @internal */
+export function appliedCaseCatalog() {
+    return checkedDataFile('applied-cases.json');
+}
+/** One record by id; throws when the id is absent. @internal */
+export function appliedCaseRecord(id) {
+    const row = appliedCaseCatalog().cases.find((c) => c.id === id);
+    if (row === undefined)
+        throw new Error(`applied-cases.json: no case '${id}'`);
+    return row;
+}
+/** Declarative fields of an {@link AppliedCase} as a catalog record (no `run`). @internal */
+export function projectAppliedCaseRecord(c, checks) {
+    const { run: _run, regimeAt: _regime, ...rest } = c;
+    return {
+        ...rest,
+        outputs: rest.outputs.map((o) => ({ key: o.key, symbol: o.symbol, unit: o.unit, meaning: o.meaning })),
+        checks: [...checks],
+    };
+}
+/** Attach a runtime implementation to a catalog record. @internal */
+export function assembleAppliedCase(record, impl) {
+    return {
+        id: record.id,
+        title: record.title,
+        parameters: record.parameters,
+        governing: record.governing,
+        observable: record.observable,
+        outputs: record.outputs.map((o) => ({ key: o.key, symbol: o.symbol, unit: o.unit, meaning: o.meaning })),
+        conditions: record.conditions,
+        comparison: record.comparison,
+        notIncluded: record.notIncluded,
+        measurement: record.measurement,
+        links: record.links,
+        examples: record.examples,
+        regimeAt: impl.regimeAt,
+        run: impl.run,
+    };
+}
+/** Every catalog id in file order. @internal */
+export function appliedCaseIds() {
+    return appliedCaseCatalog().cases.map((c) => c.id);
+}
+//# sourceMappingURL=catalog.js.map

package/dist/cases/catalog.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog.js","sourceRoot":"","sources":["../../src/cases/catalog.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAClF,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAmD9D,MAAM,GAAG,GAAG,IAAI,GAAG,CAA+B,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;AAErE;;;;GAIG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG;IACxC,eAAe;IACf,cAAc;IACd,qBAAqB;IACrB,mBAAmB;IACnB,mBAAmB;IACnB,oBAAoB;CACZ,CAAC;AAEX,gFAAgF;AAChF,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,OAAQ,0BAAgD,CAAC,QAAQ,CAAC,IAAI,CAAC;WAClE,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAClC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAY,EAAE,MAAM,GAAe,UAAU,CAAC,oBAAoB,CAAC;IACrG,MAAM,MAAM,GAAG,aAAa,CAAC,oBAAoB,EAAE,IAAI,EAAE,MAAM,CAAoB,CAAC;IACpF,uBAAuB,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;QAC9C,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC;IACvB,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,uBAAuB,CAAC,IAAqB,EAAE,WAAiC;IAC9F,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;QAC9E,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,gCAAgC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QAC/E,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjB,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAC/B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,YAAY,KAAK,CAAC,EAAE,qBAAqB,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;YACrG,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,YAAY,KAAK,CAAC,EAAE,eAAe,CAAC,CAAC;QAClG,CAAC;QACD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;gBACjC,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;gBAC7H,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;oBAChB,QAAQ,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,aAAa,MAAM,CAAC,GAAG,mDAAmD,CAAC,CAAC;gBACrG,CAAC;qBAAM,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC1E,QAAQ,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,aAAa,MAAM,CAAC,GAAG,2BAA2B,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;gBAC7F,CAAC;qBAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;oBACzC,MAAM,GAAG,GAAG,gBAAgB,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,QAAS,CAAC,QAAQ,CAAC,CAAC;oBAC/E,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;wBACtB,QAAQ,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,aAAa,MAAM,CAAC,GAAG,6BAA6B,MAAM,CAAC,QAAQ,CAAC,QAAQ,GAAG,CAAC,CAAC;oBAC1G,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,kBAAkB;IAChC,OAAO,eAAe,CAAC,oBAAoB,CAAoB,CAAC;AAClE,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,iBAAiB,CAAC,EAAU;IAC1C,MAAM,GAAG,GAAG,kBAAkB,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAChE,IAAI,GAAG,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,EAAE,GAAG,CAAC,CAAC;IAC9E,OAAO,GAAG,CAAC;AACb,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,wBAAwB,CACtC,CAAc,EACd,MAAyC;IAEzC,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;IACpD,OAAO;QACL,GAAG,IAAI;QACP,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACtG,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC;KACpB,CAAC;AACJ,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,mBAAmB,CACjC,MAAyB,EACzB,IAAuE;IAEvE,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACxG,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,GAAG,EAAE,IAAI,CAAC,GAAG;KACd,CAAC;AACJ,CAAC;AAED,gDAAgD;AAChD,MAAM,UAAU,cAAc;IAC5B,OAAO,kBAAkB,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACrD,CAAC","sourcesContent":["/**\n * The applied-case catalog: `data/applied-cases.json`, validated at load.\n *\n * @module cases/catalog\n */\nimport { checkedDataFile, dataSchema, parseDataFile } from '../core/data-file.js';\nimport { catalogRelations } from '../bridges/catalog-load.js';\nimport type { JsonSchema } from '../core/json-schema.js';\nimport type { EvaluatorParameter } from '../bridges/evaluators.js';\nimport type { AppliedCase, CaseComparison, CaseExample } from './types.js';\n\n/** One catalog check, evaluated through the formula grammar. @internal */\nexport interface AppliedCaseCheckRecord {\n  readonly id: string;\n  readonly premise: string;\n  readonly quantity: string;\n  readonly expr: string;\n  readonly op: '<=' | '>=' | '>';\n  readonly bound: number;\n  readonly threshold: string;\n}\n\n/** One catalog output before runtime wiring. @internal */\nexport interface AppliedCaseOutputRecord {\n  readonly key: string;\n  readonly symbol: string;\n  readonly unit: string;\n  readonly meaning: string;\n  readonly expr?: string;\n  readonly method?: string;\n  readonly relation?: { readonly relation: string; readonly inputs: Readonly<Record<string, string>> };\n}\n\n/** One applied-case record in the catalog file. @internal */\nexport interface AppliedCaseRecord {\n  readonly id: string;\n  readonly title: string;\n  readonly parameters: readonly EvaluatorParameter[];\n  readonly governing: AppliedCase['governing'];\n  readonly observable: string;\n  readonly outputs: readonly AppliedCaseOutputRecord[];\n  readonly checks: readonly AppliedCaseCheckRecord[];\n  readonly conditions: readonly string[];\n  readonly comparison?: CaseComparison;\n  readonly notIncluded: readonly string[];\n  readonly measurement: readonly string[];\n  readonly links: readonly { readonly id: string; readonly role: string }[];\n  readonly examples: { readonly valid: CaseExample; readonly failures: readonly CaseExample[] };\n  readonly regimeAt?: string;\n}\n\n/** The on-disk catalog shape. @internal */\nexport interface AppliedCaseFile {\n  readonly schemaVersion: 1;\n  readonly cases: readonly AppliedCaseRecord[];\n}\n\nconst OPS = new Set<AppliedCaseCheckRecord['op']>(['<=', '>=', '>']);\n\n/**\n * Per-case module names B8 deleted. The published package has no `src/`, so\n * this list is the loader's record; {@link isForbiddenCaseModule} and the\n * directory test fail if one of these, or a new `case-*.ts`, comes back.\n */\nexport const FORBIDDEN_PER_CASE_MODULES = [\n  'skin-depth.ts',\n  'kepler-rv.ts',\n  'damped-resonator.ts',\n  'resistor-noise.ts',\n  'lumped-cooling.ts',\n  'brownian-sphere.ts',\n] as const;\n\n/** True for a deleted per-case file or a new `case-*.ts` under `src/cases/`. */\nexport function isForbiddenCaseModule(name: string): boolean {\n  return (FORBIDDEN_PER_CASE_MODULES as readonly string[]).includes(name)\n    || /^case-.+\\.ts$/.test(name);\n}\n\n/**\n * Parse and validate catalog text. Schema problems and semantic problems throw\n * with every message listed.\n * @internal\n */\nexport function readAppliedCaseFile(text: string, schema: JsonSchema = dataSchema('applied-cases.json')): AppliedCaseFile {\n  const parsed = parseDataFile('applied-cases.json', text, schema) as AppliedCaseFile;\n  catalogSemanticProblems(parsed).forEach((msg) => {\n    throw new Error(msg);\n  });\n  return parsed;\n}\n\n/** Semantic rules a schema cannot state. @internal */\nexport function catalogSemanticProblems(file: AppliedCaseFile, methodNames?: ReadonlySet<string>): string[] {\n  const problems: string[] = [];\n  const seen = new Set<string>();\n  for (const row of file.cases) {\n    if (row.id.length === 0) problems.push('applied-cases: a case is missing id');\n    if (seen.has(row.id)) problems.push(`applied-cases: duplicate id '${row.id}'`);\n    seen.add(row.id);\n    for (const check of row.checks) {\n      if (!OPS.has(check.op)) problems.push(`${row.id}: check '${check.id}' has unknown op '${check.op}'`);\n      if (check.expr.trim().length === 0) problems.push(`${row.id}: check '${check.id}' has no expr`);\n    }\n    if (methodNames !== undefined) {\n      for (const output of row.outputs) {\n        const kinds = [output.expr !== undefined, output.relation !== undefined, output.method !== undefined].filter(Boolean).length;\n        if (kinds !== 1) {\n          problems.push(`${row.id}: output '${output.key}' must have exactly one of expr, relation, method`);\n        } else if (output.method !== undefined && !methodNames.has(output.method)) {\n          problems.push(`${row.id}: output '${output.key}' names unknown method '${output.method}'`);\n        } else if (output.relation !== undefined) {\n          const rel = catalogRelations().find((r) => r.id === output.relation!.relation);\n          if (rel === undefined) {\n            problems.push(`${row.id}: output '${output.key}' names unknown relation '${output.relation.relation}'`);\n          }\n        }\n      }\n    }\n  }\n  return problems;\n}\n\n/** `data/applied-cases.json`, checked once per process. @internal */\nexport function appliedCaseCatalog(): AppliedCaseFile {\n  return checkedDataFile('applied-cases.json') as AppliedCaseFile;\n}\n\n/** One record by id; throws when the id is absent. @internal */\nexport function appliedCaseRecord(id: string): AppliedCaseRecord {\n  const row = appliedCaseCatalog().cases.find((c) => c.id === id);\n  if (row === undefined) throw new Error(`applied-cases.json: no case '${id}'`);\n  return row;\n}\n\n/** Declarative fields of an {@link AppliedCase} as a catalog record (no `run`). @internal */\nexport function projectAppliedCaseRecord(\n  c: AppliedCase,\n  checks: readonly AppliedCaseCheckRecord[],\n): AppliedCaseRecord {\n  const { run: _run, regimeAt: _regime, ...rest } = c;\n  return {\n    ...rest,\n    outputs: rest.outputs.map((o) => ({ key: o.key, symbol: o.symbol, unit: o.unit, meaning: o.meaning })),\n    checks: [...checks],\n  };\n}\n\n/** Attach a runtime implementation to a catalog record. @internal */\nexport function assembleAppliedCase(\n  record: AppliedCaseRecord,\n  impl: Pick<AppliedCase, 'run'> & { regimeAt?: AppliedCase['regimeAt'] },\n): AppliedCase {\n  return {\n    id: record.id,\n    title: record.title,\n    parameters: record.parameters,\n    governing: record.governing,\n    observable: record.observable,\n    outputs: record.outputs.map((o) => ({ key: o.key, symbol: o.symbol, unit: o.unit, meaning: o.meaning })),\n    conditions: record.conditions,\n    comparison: record.comparison,\n    notIncluded: record.notIncluded,\n    measurement: record.measurement,\n    links: record.links,\n    examples: record.examples,\n    regimeAt: impl.regimeAt,\n    run: impl.run,\n  };\n}\n\n/** Every catalog id in file order. @internal */\nexport function appliedCaseIds(): readonly string[] {\n  return appliedCaseCatalog().cases.map((c) => c.id);\n}\n"]}

package/dist/cases/engine.d.ts

@@ -0,0 +1,13 @@
+import type { AppliedCaseRecord } from './catalog.js';
+import { type CaseResult } from './types.js';
+/** Resolve a catalog output field through a named numeric method. */
+export type CaseOutputMethod = (inputs: Readonly<Record<string, number>>, outputs: Readonly<Record<string, number | null>>) => number | null;
+type CaseMethodMap = Record<string, CaseOutputMethod | ((...args: never[]) => unknown)>;
+/** Wire catalog `method` names to implementations (called from `methods.ts` at load). @internal */
+export declare function registerCaseMethods(map: CaseMethodMap): void;
+/** True when the record drives outputs through the catalog engine rather than a legacy runner. @internal */
+export declare function usesCatalogEngine(record: AppliedCaseRecord): boolean;
+/** Run one catalog record whose outputs are wired as expressions or methods. @internal */
+export declare function runAppliedCaseEngine(record: AppliedCaseRecord, inputs: Readonly<Record<string, number>>): CaseResult;
+export {};
+//# sourceMappingURL=engine.d.ts.map

package/dist/cases/engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/cases/engine.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAmD,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACvG,OAAO,EAA0C,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AAErF,qEAAqE;AACrE,MAAM,MAAM,gBAAgB,GAAG,CAC7B,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EACxC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,KAC7C,MAAM,GAAG,IAAI,CAAC;AAEnB,KAAK,aAAa,GAAG,MAAM,CAAC,MAAM,EAAE,gBAAgB,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC;AAGxF,mGAAmG;AACnG,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,aAAa,GAAG,IAAI,CAE5D;AAMD,4GAA4G;AAC5G,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,iBAAiB,GAAG,OAAO,CAYpE;AA+ID,0FAA0F;AAC1F,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,iBAAiB,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,UAAU,CA8BpH"}