universal-physics-tensor 11.0.0 → 12.0.0

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"}

package/dist/cases/engine.js

@@ -0,0 +1,179 @@
+/**
+ * Evaluate applied-case outputs and checks from catalog `expr`, `relation`, and
+ * `method` fields.
+ *
+ * @module cases/engine
+ */
+import { catalogRelations } from '../bridges/catalog-load.js';
+import { evaluateCatalogRelation } from '../bridges/relation-eval.js';
+import { evaluateFormula } from '../bridges/expr-parse.js';
+import { convertValue } from '../dimensional/units.js';
+import { check, requirePositive } from './types.js';
+let registeredCaseMethods = {};
+/** Wire catalog `method` names to implementations (called from `methods.ts` at load). @internal */
+export function registerCaseMethods(map) {
+    registeredCaseMethods = map;
+}
+const DELEGATED_RUN_METHODS = new Set(['runCaseResistorNoise', 'runCaseLumpedCooling', 'runCaseBrownianSphere']);
+const ENGINE_CASE_IDS = new Set(['case-skin-depth', 'case-kepler-rv', 'case-damped-resonator']);
+/** True when the record drives outputs through the catalog engine rather than a legacy runner. @internal */
+export function usesCatalogEngine(record) {
+    if (ENGINE_CASE_IDS.has(record.id))
+        return true;
+    const wired = (o) => o.expr !== undefined || o.relation !== undefined || o.method !== undefined;
+    if (!record.outputs.every(wired))
+        return false;
+    if (record.outputs.every((o) => o.method !== undefined && DELEGATED_RUN_METHODS.has(o.method)))
+        return false;
+    return record.outputs.some((o) => o.expr !== undefined ||
+        o.relation !== undefined ||
+        (o.method !== undefined && !DELEGATED_RUN_METHODS.has(o.method)));
+}
+function mergeBindings(inputs, outputs, extra = {}) {
+    const merged = { ...inputs, ...extra };
+    for (const [key, value] of Object.entries(outputs)) {
+        if (value !== null && Number.isFinite(value))
+            merged[key] = value;
+    }
+    return merged;
+}
+function evalOutputExpr(expr, inputs, outputs, extra = {}) {
+    return evaluateFormula(expr, mergeBindings(inputs, outputs, extra));
+}
+function evalRelationOutput(relationId, inputMap, scope) {
+    const rel = catalogRelations().find((row) => row.id === relationId);
+    if (rel === undefined)
+        throw new Error(`applied case: relation '${relationId}' is not in the catalog`);
+    const relInputs = {};
+    for (const [target, expr] of Object.entries(inputMap)) {
+        relInputs[target] = evaluateFormula(expr, scope);
+    }
+    return evaluateCatalogRelation(rel, relInputs);
+}
+function evalOutput(row, inputs, outputs, extra = {}) {
+    const bindings = mergeBindings(inputs, outputs, extra);
+    if (row.expr !== undefined)
+        return evalOutputExpr(row.expr, inputs, outputs, extra);
+    if (row.relation !== undefined)
+        return evalRelationOutput(row.relation.relation, row.relation.inputs, bindings);
+    if (row.method !== undefined) {
+        const fn = registeredCaseMethods[row.method];
+        if (fn === undefined)
+            throw new Error(`applied case: unknown method '${row.method}'`);
+        return fn(inputs, outputs);
+    }
+    throw new Error(`applied case: output '${row.key}' has no expr, relation, or method`);
+}
+function evalCheck(row, inputs, outputs, extra = {}) {
+    const value = evalOutputExpr(row.expr, inputs, outputs, extra);
+    return check(row.id, row.premise, row.quantity, value, row.op, row.bound, row.threshold);
+}
+const SKIN_UNCHECKED = [
+    'ρ, μ_r and ε_r are the values at the conductor\'s temperature and at f; τ = l/v assumes one carrier species with one speed',
+    'the conductor is planar on the scale of δ (a wire of radius a needs a ≫ δ, not checked here)',
+];
+const KEPLER_UNCHECKED = [
+    'no third body: an outer companion adds its own reflex signal and perturbs P and ω',
+    'the companion\'s radius is also small beside r_p (only the star\'s is checked)',
+];
+const DAMPED_UNDERDAMPED_OUTPUTS = new Set([
+    'f_d_Hz',
+    'x_m',
+    'envelope_m',
+    'linewidth_windowed_Hz',
+    'windowed_excess',
+]);
+const DAMPED_DEFERRED_OUTPUTS = new Set(['x_th_rms_m', 'envelope_rms_m']);
+function validateKeplerInputs(id, inputs) {
+    requirePositive(id, inputs, ['M_star_kg', 'm_p_kg', 'P_s', 'sin_i', 'R_star_m', 'T_obs_s']);
+    const e = inputs.eccentricity;
+    if (!Number.isFinite(e) || e < 0 || e >= 1)
+        throw new Error(`${id}: eccentricity must be in [0, 1) (got ${e})`);
+    if (inputs.sin_i > 1)
+        throw new Error(`${id}: sin_i must be in (0, 1] (got ${inputs.sin_i})`);
+    return { julian_year_s: convertValue('1 yr', 's').value };
+}
+function validateDampedInputs(id, inputs) {
+    requirePositive(id, inputs, ['f0_Hz', 'Q', 't_obs_s']);
+    const { x0_m: x0, t_s: t } = inputs;
+    if (!Number.isFinite(x0))
+        throw new Error(`${id}: x0_m must be finite (got ${x0})`);
+    if (!Number.isFinite(t) || t < 0)
+        throw new Error(`${id}: t_s must be a finite number ≥ 0 (got ${t})`);
+    if ((inputs.T_K === undefined) !== (inputs.k_N_per_m === undefined)) {
+        throw new Error(`${id}: give T_K and k_N_per_m together, or neither`);
+    }
+    return { underdamped: inputs.Q > 0.5 };
+}
+function runDampedEngine(record, inputs) {
+    const { underdamped } = validateDampedInputs(record.id, inputs);
+    const outputs = {};
+    for (const row of record.outputs) {
+        if (DAMPED_DEFERRED_OUTPUTS.has(row.key))
+            continue;
+        if (!underdamped && DAMPED_UNDERDAMPED_OUTPUTS.has(row.key)) {
+            outputs[row.key] = null;
+            continue;
+        }
+        outputs[row.key] = evalOutput(row, inputs, outputs);
+    }
+    let xTh = null;
+    if (inputs.T_K !== undefined) {
+        requirePositive(record.id, inputs, ['T_K', 'k_N_per_m']);
+        xTh = evalOutputExpr('sqrt(k_B*T_K/k_N_per_m)', inputs, outputs);
+        outputs.x_th_rms_m = xTh;
+        const envelope = outputs.envelope_m;
+        outputs.envelope_rms_m =
+            envelope === null || xTh === null ? null : evalOutputExpr('sqrt(envelope_m^2 + 2*x_th_rms_m^2)', inputs, outputs);
+    }
+    else {
+        outputs.x_th_rms_m = null;
+        outputs.envelope_rms_m = null;
+    }
+    const checks = record.checks
+        .filter((row) => {
+        if (row.id !== 'above-thermal')
+            return true;
+        return xTh !== null && outputs.envelope_m !== null;
+    })
+        .map((row) => evalCheck(row, inputs, outputs));
+    const unchecked = underdamped
+        ? ['the damping is viscous (velocity-proportional) and the same over the whole ring-down']
+        : ['for Q ≤ 1/2 the displacement is x0 (r₂e^{r₁t} − r₁e^{r₂t})/(r₂ − r₁) with real r₁, r₂; this case does not evaluate it'];
+    if (inputs.T_K !== undefined) {
+        unchecked.push('the thermal motion is in equilibrium with the damping bath at T and uncorrelated with the release; the read-out adds no noise of its own');
+    }
+    return { outputs, checks, unchecked };
+}
+/** Run one catalog record whose outputs are wired as expressions or methods. @internal */
+export function runAppliedCaseEngine(record, inputs) {
+    if (record.id === 'case-damped-resonator')
+        return runDampedEngine(record, inputs);
+    let extra = {};
+    if (record.id === 'case-skin-depth') {
+        requirePositive(record.id, inputs, [
+            'rho_ohm_m',
+            'f_Hz',
+            'mu_r',
+            'eps_r',
+            'l_mfp_m',
+            'v_carrier_m_per_s',
+            'thickness_m',
+        ]);
+    }
+    else if (record.id === 'case-kepler-rv') {
+        extra = validateKeplerInputs(record.id, inputs);
+    }
+    const outputs = {};
+    for (const row of record.outputs) {
+        outputs[row.key] = evalOutput(row, inputs, outputs, extra);
+    }
+    const checks = record.checks.map((row) => evalCheck(row, inputs, outputs, extra));
+    const unchecked = record.id === 'case-skin-depth'
+        ? [...SKIN_UNCHECKED]
+        : record.id === 'case-kepler-rv'
+            ? [...KEPLER_UNCHECKED]
+            : [];
+    return { outputs, checks, unchecked };
+}
+//# sourceMappingURL=engine.js.map

package/dist/cases/engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/cases/engine.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,OAAO,EAAE,KAAK,EAAE,eAAe,EAAmC,MAAM,YAAY,CAAC;AASrF,IAAI,qBAAqB,GAAkB,EAAE,CAAC;AAE9C,mGAAmG;AACnG,MAAM,UAAU,mBAAmB,CAAC,GAAkB;IACpD,qBAAqB,GAAG,GAAG,CAAC;AAC9B,CAAC;AAED,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC,CAAC,sBAAsB,EAAE,sBAAsB,EAAE,uBAAuB,CAAC,CAAC,CAAC;AAEjH,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,uBAAuB,CAAC,CAAC,CAAC;AAEhG,4GAA4G;AAC5G,MAAM,UAAU,iBAAiB,CAAC,MAAyB;IACzD,IAAI,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IAChD,MAAM,KAAK,GAAG,CAAC,CAA0B,EAAE,EAAE,CAC3C,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC;IAC7E,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/C,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,MAAO,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9G,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CACxB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,SAAS;QACpB,CAAC,CAAC,QAAQ,KAAK,SAAS;QACxB,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CACnE,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,MAAwC,EACxC,OAAgD,EAChD,KAAK,GAAqC,EAAE;IAE5C,MAAM,MAAM,GAA2B,EAAE,GAAG,MAAM,EAAE,GAAG,KAAK,EAAE,CAAC;IAC/D,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACnD,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IACpE,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CACrB,IAAY,EACZ,MAAwC,EACxC,OAAgD,EAChD,KAAK,GAAqC,EAAE;IAE5C,OAAO,eAAe,CAAC,IAAI,EAAE,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,kBAAkB,CACzB,UAAkB,EAClB,QAA0C,EAC1C,KAA6B;IAE7B,MAAM,GAAG,GAAG,gBAAgB,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC;IACpE,IAAI,GAAG,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,UAAU,yBAAyB,CAAC,CAAC;IACvG,MAAM,SAAS,GAA2B,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtD,SAAS,CAAC,MAAM,CAAC,GAAG,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,uBAAuB,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,UAAU,CACjB,GAA4B,EAC5B,MAAwC,EACxC,OAAgD,EAChD,KAAK,GAAqC,EAAE;IAE5C,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IACvD,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IACpF,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAChH,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAiC,CAAC;QAC7E,IAAI,EAAE,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;QACtF,OAAO,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,yBAAyB,GAAG,CAAC,GAAG,oCAAoC,CAAC,CAAC;AACxF,CAAC;AAED,SAAS,SAAS,CAChB,GAA2B,EAC3B,MAAwC,EACxC,OAAgD,EAChD,KAAK,GAAqC,EAAE;IAE5C,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IAC/D,OAAO,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;AAC3F,CAAC;AAED,MAAM,cAAc,GAAG;IACrB,4HAA4H;IAC5H,8FAA8F;CACtF,CAAC;AAEX,MAAM,gBAAgB,GAAG;IACvB,mFAAmF;IACnF,gFAAgF;CACxE,CAAC;AAEX,MAAM,0BAA0B,GAAG,IAAI,GAAG,CAAC;IACzC,QAAQ;IACR,KAAK;IACL,YAAY;IACZ,uBAAuB;IACvB,iBAAiB;CAClB,CAAC,CAAC;AAEH,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,gBAAgB,CAAC,CAAC,CAAC;AAE1E,SAAS,oBAAoB,CAAC,EAAU,EAAE,MAAwC;IAChF,eAAe,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,WAAW,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;IAC5F,MAAM,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC;IAC9B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,EAAE,yCAAyC,CAAC,GAAG,CAAC,CAAC;IAChH,IAAI,MAAM,CAAC,KAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,EAAE,kCAAkC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC;IAC/F,OAAO,EAAE,aAAa,EAAE,YAAY,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;AAC5D,CAAC;AAED,SAAS,oBAAoB,CAAC,EAAU,EAAE,MAAwC;IAChF,eAAe,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;IACvD,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC;IACpC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,EAAE,8BAA8B,EAAE,GAAG,CAAC,CAAC;IACpF,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAE,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,EAAE,0CAA0C,CAAC,GAAG,CAAC,CAAC;IACxG,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,EAAE,CAAC;QACpE,MAAM,IAAI,KAAK,CAAC,GAAG,EAAE,+CAA+C,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,MAAM,CAAC,CAAE,GAAG,GAAG,EAAE,CAAC;AAC1C,CAAC;AAED,SAAS,eAAe,CAAC,MAAyB,EAAE,MAAwC;IAC1F,MAAM,EAAE,WAAW,EAAE,GAAG,oBAAoB,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAChE,MAAM,OAAO,GAAkC,EAAE,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,uBAAuB,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QACnD,IAAI,CAAC,WAAW,IAAI,0BAA0B,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5D,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;YACxB,SAAS;QACX,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,GAAG,GAAkB,IAAI,CAAC;IAC9B,IAAI,MAAM,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QAC7B,eAAe,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC;QACzD,GAAG,GAAG,cAAc,CAAC,yBAAyB,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QACjE,OAAO,CAAC,UAAU,GAAG,GAAG,CAAC;QACzB,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC;QACpC,OAAO,CAAC,cAAc;YACpB,QAAQ,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,qCAAqC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACtH,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;QAC1B,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC;IAChC,CAAC;IACD,MAAM,MAAM,GAAgB,MAAM,CAAC,MAAM;SACtC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;QACd,IAAI,GAAG,CAAC,EAAE,KAAK,eAAe;YAAE,OAAO,IAAI,CAAC;QAC5C,OAAO,GAAG,KAAK,IAAI,IAAI,OAAO,CAAC,UAAU,KAAK,IAAI,CAAC;IACrD,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACjD,MAAM,SAAS,GAAG,WAAW;QAC3B,CAAC,CAAC,CAAC,sFAAsF,CAAC;QAC1F,CAAC,CAAC,CAAC,uHAAuH,CAAC,CAAC;IAC9H,IAAI,MAAM,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QAC7B,SAAS,CAAC,IAAI,CACZ,0IAA0I,CAC3I,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;AACxC,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,oBAAoB,CAAC,MAAyB,EAAE,MAAwC;IACtG,IAAI,MAAM,CAAC,EAAE,KAAK,uBAAuB;QAAE,OAAO,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAElF,IAAI,KAAK,GAA2B,EAAE,CAAC;IACvC,IAAI,MAAM,CAAC,EAAE,KAAK,iBAAiB,EAAE,CAAC;QACpC,eAAe,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE;YACjC,WAAW;YACX,MAAM;YACN,MAAM;YACN,OAAO;YACP,SAAS;YACT,mBAAmB;YACnB,aAAa;SACd,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,MAAM,CAAC,EAAE,KAAK,gBAAgB,EAAE,CAAC;QAC1C,KAAK,GAAG,oBAAoB,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAClD,CAAC;IAED,MAAM,OAAO,GAAkC,EAAE,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IAC7D,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;IAClF,MAAM,SAAS,GACb,MAAM,CAAC,EAAE,KAAK,iBAAiB;QAC7B,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC;QACrB,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,gBAAgB;YAC9B,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC;YACvB,CAAC,CAAC,EAAE,CAAC;IACX,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;AACxC,CAAC","sourcesContent":["/**\n * Evaluate applied-case outputs and checks from catalog `expr`, `relation`, and\n * `method` fields.\n *\n * @module cases/engine\n */\nimport { catalogRelations } from '../bridges/catalog-load.js';\nimport { evaluateCatalogRelation } from '../bridges/relation-eval.js';\nimport { evaluateFormula } from '../bridges/expr-parse.js';\nimport { convertValue } from '../dimensional/units.js';\nimport type { AppliedCaseCheckRecord, AppliedCaseOutputRecord, AppliedCaseRecord } from './catalog.js';\nimport { check, requirePositive, type CaseCheck, type CaseResult } from './types.js';\n\n/** Resolve a catalog output field through a named numeric method. */\nexport type CaseOutputMethod = (\n  inputs: Readonly<Record<string, number>>,\n  outputs: Readonly<Record<string, number | null>>,\n) => number | null;\n\ntype CaseMethodMap = Record<string, CaseOutputMethod | ((...args: never[]) => unknown)>;\nlet registeredCaseMethods: CaseMethodMap = {};\n\n/** Wire catalog `method` names to implementations (called from `methods.ts` at load). @internal */\nexport function registerCaseMethods(map: CaseMethodMap): void {\n  registeredCaseMethods = map;\n}\n\nconst DELEGATED_RUN_METHODS = new Set(['runCaseResistorNoise', 'runCaseLumpedCooling', 'runCaseBrownianSphere']);\n\nconst ENGINE_CASE_IDS = new Set(['case-skin-depth', 'case-kepler-rv', 'case-damped-resonator']);\n\n/** True when the record drives outputs through the catalog engine rather than a legacy runner. @internal */\nexport function usesCatalogEngine(record: AppliedCaseRecord): boolean {\n  if (ENGINE_CASE_IDS.has(record.id)) return true;\n  const wired = (o: AppliedCaseOutputRecord) =>\n    o.expr !== undefined || o.relation !== undefined || o.method !== undefined;\n  if (!record.outputs.every(wired)) return false;\n  if (record.outputs.every((o) => o.method !== undefined && DELEGATED_RUN_METHODS.has(o.method!))) return false;\n  return record.outputs.some(\n    (o) =>\n      o.expr !== undefined ||\n      o.relation !== undefined ||\n      (o.method !== undefined && !DELEGATED_RUN_METHODS.has(o.method)),\n  );\n}\n\nfunction mergeBindings(\n  inputs: Readonly<Record<string, number>>,\n  outputs: Readonly<Record<string, number | null>>,\n  extra: Readonly<Record<string, number>> = {},\n): Record<string, number> {\n  const merged: Record<string, number> = { ...inputs, ...extra };\n  for (const [key, value] of Object.entries(outputs)) {\n    if (value !== null && Number.isFinite(value)) merged[key] = value;\n  }\n  return merged;\n}\n\nfunction evalOutputExpr(\n  expr: string,\n  inputs: Readonly<Record<string, number>>,\n  outputs: Readonly<Record<string, number | null>>,\n  extra: Readonly<Record<string, number>> = {},\n): number {\n  return evaluateFormula(expr, mergeBindings(inputs, outputs, extra));\n}\n\nfunction evalRelationOutput(\n  relationId: string,\n  inputMap: Readonly<Record<string, string>>,\n  scope: Record<string, number>,\n): number {\n  const rel = catalogRelations().find((row) => row.id === relationId);\n  if (rel === undefined) throw new Error(`applied case: relation '${relationId}' is not in the catalog`);\n  const relInputs: Record<string, number> = {};\n  for (const [target, expr] of Object.entries(inputMap)) {\n    relInputs[target] = evaluateFormula(expr, scope);\n  }\n  return evaluateCatalogRelation(rel, relInputs);\n}\n\nfunction evalOutput(\n  row: AppliedCaseOutputRecord,\n  inputs: Readonly<Record<string, number>>,\n  outputs: Readonly<Record<string, number | null>>,\n  extra: Readonly<Record<string, number>> = {},\n): number | null {\n  const bindings = mergeBindings(inputs, outputs, extra);\n  if (row.expr !== undefined) return evalOutputExpr(row.expr, inputs, outputs, extra);\n  if (row.relation !== undefined) return evalRelationOutput(row.relation.relation, row.relation.inputs, bindings);\n  if (row.method !== undefined) {\n    const fn = registeredCaseMethods[row.method] as CaseOutputMethod | undefined;\n    if (fn === undefined) throw new Error(`applied case: unknown method '${row.method}'`);\n    return fn(inputs, outputs);\n  }\n  throw new Error(`applied case: output '${row.key}' has no expr, relation, or method`);\n}\n\nfunction evalCheck(\n  row: AppliedCaseCheckRecord,\n  inputs: Readonly<Record<string, number>>,\n  outputs: Readonly<Record<string, number | null>>,\n  extra: Readonly<Record<string, number>> = {},\n) {\n  const value = evalOutputExpr(row.expr, inputs, outputs, extra);\n  return check(row.id, row.premise, row.quantity, value, row.op, row.bound, row.threshold);\n}\n\nconst SKIN_UNCHECKED = [\n  'ρ, μ_r and ε_r are the values at the conductor\\'s temperature and at f; τ = l/v assumes one carrier species with one speed',\n  'the conductor is planar on the scale of δ (a wire of radius a needs a ≫ δ, not checked here)',\n] as const;\n\nconst KEPLER_UNCHECKED = [\n  'no third body: an outer companion adds its own reflex signal and perturbs P and ω',\n  'the companion\\'s radius is also small beside r_p (only the star\\'s is checked)',\n] as const;\n\nconst DAMPED_UNDERDAMPED_OUTPUTS = new Set([\n  'f_d_Hz',\n  'x_m',\n  'envelope_m',\n  'linewidth_windowed_Hz',\n  'windowed_excess',\n]);\n\nconst DAMPED_DEFERRED_OUTPUTS = new Set(['x_th_rms_m', 'envelope_rms_m']);\n\nfunction validateKeplerInputs(id: string, inputs: Readonly<Record<string, number>>): Record<string, number> {\n  requirePositive(id, inputs, ['M_star_kg', 'm_p_kg', 'P_s', 'sin_i', 'R_star_m', 'T_obs_s']);\n  const e = inputs.eccentricity;\n  if (!Number.isFinite(e) || e < 0 || e >= 1) throw new Error(`${id}: eccentricity must be in [0, 1) (got ${e})`);\n  if (inputs.sin_i! > 1) throw new Error(`${id}: sin_i must be in (0, 1] (got ${inputs.sin_i})`);\n  return { julian_year_s: convertValue('1 yr', 's').value };\n}\n\nfunction validateDampedInputs(id: string, inputs: Readonly<Record<string, number>>): { underdamped: boolean } {\n  requirePositive(id, inputs, ['f0_Hz', 'Q', 't_obs_s']);\n  const { x0_m: x0, t_s: t } = inputs;\n  if (!Number.isFinite(x0)) throw new Error(`${id}: x0_m must be finite (got ${x0})`);\n  if (!Number.isFinite(t) || t! < 0) throw new Error(`${id}: t_s must be a finite number ≥ 0 (got ${t})`);\n  if ((inputs.T_K === undefined) !== (inputs.k_N_per_m === undefined)) {\n    throw new Error(`${id}: give T_K and k_N_per_m together, or neither`);\n  }\n  return { underdamped: inputs.Q! > 0.5 };\n}\n\nfunction runDampedEngine(record: AppliedCaseRecord, inputs: Readonly<Record<string, number>>): CaseResult {\n  const { underdamped } = validateDampedInputs(record.id, inputs);\n  const outputs: Record<string, number | null> = {};\n  for (const row of record.outputs) {\n    if (DAMPED_DEFERRED_OUTPUTS.has(row.key)) continue;\n    if (!underdamped && DAMPED_UNDERDAMPED_OUTPUTS.has(row.key)) {\n      outputs[row.key] = null;\n      continue;\n    }\n    outputs[row.key] = evalOutput(row, inputs, outputs);\n  }\n  let xTh: number | null = null;\n  if (inputs.T_K !== undefined) {\n    requirePositive(record.id, inputs, ['T_K', 'k_N_per_m']);\n    xTh = evalOutputExpr('sqrt(k_B*T_K/k_N_per_m)', inputs, outputs);\n    outputs.x_th_rms_m = xTh;\n    const envelope = outputs.envelope_m;\n    outputs.envelope_rms_m =\n      envelope === null || xTh === null ? null : evalOutputExpr('sqrt(envelope_m^2 + 2*x_th_rms_m^2)', inputs, outputs);\n  } else {\n    outputs.x_th_rms_m = null;\n    outputs.envelope_rms_m = null;\n  }\n  const checks: CaseCheck[] = record.checks\n    .filter((row) => {\n      if (row.id !== 'above-thermal') return true;\n      return xTh !== null && outputs.envelope_m !== null;\n    })\n    .map((row) => evalCheck(row, inputs, outputs));\n  const unchecked = underdamped\n    ? ['the damping is viscous (velocity-proportional) and the same over the whole ring-down']\n    : ['for Q ≤ 1/2 the displacement is x0 (r₂e^{r₁t} − r₁e^{r₂t})/(r₂ − r₁) with real r₁, r₂; this case does not evaluate it'];\n  if (inputs.T_K !== undefined) {\n    unchecked.push(\n      'the thermal motion is in equilibrium with the damping bath at T and uncorrelated with the release; the read-out adds no noise of its own',\n    );\n  }\n  return { outputs, checks, unchecked };\n}\n\n/** Run one catalog record whose outputs are wired as expressions or methods. @internal */\nexport function runAppliedCaseEngine(record: AppliedCaseRecord, inputs: Readonly<Record<string, number>>): CaseResult {\n  if (record.id === 'case-damped-resonator') return runDampedEngine(record, inputs);\n\n  let extra: Record<string, number> = {};\n  if (record.id === 'case-skin-depth') {\n    requirePositive(record.id, inputs, [\n      'rho_ohm_m',\n      'f_Hz',\n      'mu_r',\n      'eps_r',\n      'l_mfp_m',\n      'v_carrier_m_per_s',\n      'thickness_m',\n    ]);\n  } else if (record.id === 'case-kepler-rv') {\n    extra = validateKeplerInputs(record.id, inputs);\n  }\n\n  const outputs: Record<string, number | null> = {};\n  for (const row of record.outputs) {\n    outputs[row.key] = evalOutput(row, inputs, outputs, extra);\n  }\n  const checks = record.checks.map((row) => evalCheck(row, inputs, outputs, extra));\n  const unchecked =\n    record.id === 'case-skin-depth'\n      ? [...SKIN_UNCHECKED]\n      : record.id === 'case-kepler-rv'\n        ? [...KEPLER_UNCHECKED]\n        : [];\n  return { outputs, checks, unchecked };\n}\n"]}

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/cases/index.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,EAA8B,KAAK,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAE9F,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAE9G,gCAAgC;AAChC,eAAO,MAAM,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAE1D,CAAC;AAoBF,oHAAoH;AACpH,eAAO,MAAM,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAuE,CAAC;AAEtI;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,UAAU,CAO/F"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/cases/index.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,EAA8B,KAAK,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAE9F,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAK9G,gCAAgC;AAChC,eAAO,MAAM,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAwB,CAAC;AAoBpF,oHAAoH;AACpH,eAAO,MAAM,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAuE,CAAC;AAEtI;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,UAAU,CAO/F"}

package/dist/cases/index.js

@@ -3,15 +3,13 @@
  *
  * @module cases
  */
-import { BROWNIAN_SPHERE_CASE } from './brownian-sphere.js';
-import { DAMPED_RESONATOR_CASE } from './damped-resonator.js';
-import { KEPLER_RV_CASE } from './kepler-rv.js';
-import { LUMPED_COOLING_CASE } from './lumped-cooling.js';
-import { RESISTOR_NOISE_CASE } from './resistor-noise.js';
-import { SKIN_DEPTH_CASE } from './skin-depth.js';
+import { appliedCaseCatalog } from './catalog.js';
+import { APPLIED_CASE_RUNNERS } from './methods.js';
 import { checkInputs, inputContract } from '../bridges/input-contract.js';
+/** Validate the catalog once at load. @internal */
+appliedCaseCatalog();
 /** Case id → case. @internal */
-export const APPLIED_CASES = new Map([RESISTOR_NOISE_CASE, BROWNIAN_SPHERE_CASE, DAMPED_RESONATOR_CASE, SKIN_DEPTH_CASE, LUMPED_COOLING_CASE, KEPLER_RV_CASE].map((c) => [c.id, c]));
+export const APPLIED_CASES = APPLIED_CASE_RUNNERS;
 /**
  * The declared inputs of a case: one listed slot per parameter, spelled by its
  * key and converted from its alternates, required unless the parameter is optional.

package/dist/cases/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/cases/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAElD,OAAO,EAAE,WAAW,EAAE,aAAa,EAAsB,MAAM,8BAA8B,CAAC;AAI9F,gCAAgC;AAChC,MAAM,CAAC,MAAM,aAAa,GAAqC,IAAI,GAAG,CACpE,CAAC,mBAAmB,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,eAAe,EAAE,mBAAmB,EAAE,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAC/I,CAAC;AAEF;;;GAGG;AACH,SAAS,YAAY,CAAC,CAAc;IAClC,OAAO,aAAa,CAClB,CAAC,CAAC,EAAE,EACJ,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvB,GAAG,EAAE,CAAC,CAAC,GAAG;QACV,SAAS,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QAClB,UAAU,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;QACnF,QAAQ,EAAE,CAAC,CAAC,QAAQ,KAAK,IAAI;QAC7B,MAAM,EAAE,OAAgB;QACxB,MAAM,EAAE,IAAI;KACb,CAAC,CAAC,CACJ,CAAC;AACJ,CAAC;AAED,oHAAoH;AACpH,MAAM,CAAC,MAAM,cAAc,GAAuC,IAAI,GAAG,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEtI;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAAC,EAAU,EAAE,MAAwC;IACjF,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACxC,IAAI,CAAC,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CAAC,4BAA4B,EAAE,aAAa,CAAC,GAAG,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACtG,CAAC;IACD,OAAO,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;AAC9C,CAAC","sourcesContent":["/**\n * The applied-case registry behind `upt evaluate case-<id>`.\n *\n * @module cases\n */\nimport { BROWNIAN_SPHERE_CASE } from './brownian-sphere.js';\nimport { DAMPED_RESONATOR_CASE } from './damped-resonator.js';\nimport { KEPLER_RV_CASE } from './kepler-rv.js';\nimport { LUMPED_COOLING_CASE } from './lumped-cooling.js';\nimport { RESISTOR_NOISE_CASE } from './resistor-noise.js';\nimport { SKIN_DEPTH_CASE } from './skin-depth.js';\nimport type { AppliedCase, CaseResult } from './types.js';\nimport { checkInputs, inputContract, type InputContract } from '../bridges/input-contract.js';\n\nexport type { AppliedCase, CaseCheck, CaseComparison, CaseExample, CaseOutput, CaseResult } from './types.js';\n\n/** Case id → case. @internal */\nexport const APPLIED_CASES: ReadonlyMap<string, AppliedCase> = new Map(\n  [RESISTOR_NOISE_CASE, BROWNIAN_SPHERE_CASE, DAMPED_RESONATOR_CASE, SKIN_DEPTH_CASE, LUMPED_COOLING_CASE, KEPLER_RV_CASE].map((c) => [c.id, c]),\n);\n\n/**\n * The declared inputs of a case: one listed slot per parameter, spelled by its\n * key and converted from its alternates, required unless the parameter is optional.\n */\nfunction caseContract(c: AppliedCase): InputContract {\n  return inputContract(\n    c.id,\n    c.parameters.map((p) => ({\n      key: p.key,\n      spellings: [p.key],\n      alternates: (p.alternates ?? []).map((alt) => ({ key: alt.key, toKey: alt.toKey })),\n      optional: p.optional === true,\n      readBy: 'value' as const,\n      listed: true,\n    })),\n  );\n}\n\n/** Case id → its input contract, built once at load (a contract that spells one key twice fails here). @internal */\nexport const CASE_CONTRACTS: ReadonlyMap<string, InputContract> = new Map([...APPLIED_CASES].map(([id, c]) => [id, caseContract(c)]));\n\n/**\n * Run a case with a numeric input record. The inputs go through the same\n * {@link checkInputs} contract as a catalog evaluator before the case's model runs.\n * @throws Error on an unknown id.\n * @throws UnknownInputError, InputTypeError, NonFiniteInputError, DuplicateInputError or\n *   MissingInputError on an input the contract refuses.\n * @throws Error from the case's model on an input outside its domain.\n * @internal\n */\nexport function runAppliedCase(id: string, inputs: Readonly<Record<string, number>>): CaseResult {\n  const c = APPLIED_CASES.get(id);\n  const contract = CASE_CONTRACTS.get(id);\n  if (c === undefined || contract === undefined) {\n    throw new Error(`runAppliedCase: no case '${id}' (cases: ${[...APPLIED_CASES.keys()].join(', ')})`);\n  }\n  return c.run(checkInputs(contract, inputs));\n}\n"]}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/cases/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAEpD,OAAO,EAAE,WAAW,EAAE,aAAa,EAAsB,MAAM,8BAA8B,CAAC;AAI9F,mDAAmD;AACnD,kBAAkB,EAAE,CAAC;AAErB,gCAAgC;AAChC,MAAM,CAAC,MAAM,aAAa,GAAqC,oBAAoB,CAAC;AAEpF;;;GAGG;AACH,SAAS,YAAY,CAAC,CAAc;IAClC,OAAO,aAAa,CAClB,CAAC,CAAC,EAAE,EACJ,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvB,GAAG,EAAE,CAAC,CAAC,GAAG;QACV,SAAS,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QAClB,UAAU,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;QACnF,QAAQ,EAAE,CAAC,CAAC,QAAQ,KAAK,IAAI;QAC7B,MAAM,EAAE,OAAgB;QACxB,MAAM,EAAE,IAAI;KACb,CAAC,CAAC,CACJ,CAAC;AACJ,CAAC;AAED,oHAAoH;AACpH,MAAM,CAAC,MAAM,cAAc,GAAuC,IAAI,GAAG,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEtI;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAAC,EAAU,EAAE,MAAwC;IACjF,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACxC,IAAI,CAAC,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CAAC,4BAA4B,EAAE,aAAa,CAAC,GAAG,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACtG,CAAC;IACD,OAAO,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;AAC9C,CAAC","sourcesContent":["/**\n * The applied-case registry behind `upt evaluate case-<id>`.\n *\n * @module cases\n */\nimport { appliedCaseCatalog } from './catalog.js';\nimport { APPLIED_CASE_RUNNERS } from './methods.js';\nimport type { AppliedCase, CaseResult } from './types.js';\nimport { checkInputs, inputContract, type InputContract } from '../bridges/input-contract.js';\n\nexport type { AppliedCase, CaseCheck, CaseComparison, CaseExample, CaseOutput, CaseResult } from './types.js';\n\n/** Validate the catalog once at load. @internal */\nappliedCaseCatalog();\n\n/** Case id → case. @internal */\nexport const APPLIED_CASES: ReadonlyMap<string, AppliedCase> = APPLIED_CASE_RUNNERS;\n\n/**\n * The declared inputs of a case: one listed slot per parameter, spelled by its\n * key and converted from its alternates, required unless the parameter is optional.\n */\nfunction caseContract(c: AppliedCase): InputContract {\n  return inputContract(\n    c.id,\n    c.parameters.map((p) => ({\n      key: p.key,\n      spellings: [p.key],\n      alternates: (p.alternates ?? []).map((alt) => ({ key: alt.key, toKey: alt.toKey })),\n      optional: p.optional === true,\n      readBy: 'value' as const,\n      listed: true,\n    })),\n  );\n}\n\n/** Case id → its input contract, built once at load (a contract that spells one key twice fails here). @internal */\nexport const CASE_CONTRACTS: ReadonlyMap<string, InputContract> = new Map([...APPLIED_CASES].map(([id, c]) => [id, caseContract(c)]));\n\n/**\n * Run a case with a numeric input record. The inputs go through the same\n * {@link checkInputs} contract as a catalog evaluator before the case's model runs.\n * @throws Error on an unknown id.\n * @throws UnknownInputError, InputTypeError, NonFiniteInputError, DuplicateInputError or\n *   MissingInputError on an input the contract refuses.\n * @throws Error from the case's model on an input outside its domain.\n * @internal\n */\nexport function runAppliedCase(id: string, inputs: Readonly<Record<string, number>>): CaseResult {\n  const c = APPLIED_CASES.get(id);\n  const contract = CASE_CONTRACTS.get(id);\n  if (c === undefined || contract === undefined) {\n    throw new Error(`runAppliedCase: no case '${id}' (cases: ${[...APPLIED_CASES.keys()].join(', ')})`);\n  }\n  return c.run(checkInputs(contract, inputs));\n}\n"]}

package/dist/cases/methods.d.ts

@@ -0,0 +1,215 @@
+import { type AppliedCase, type CaseResult, type LumpedRadiating } from './types.js';
+/** Lumped body with radiative cooling parameters (re-export). */
+export type { LumpedRadiating } from './types.js';
+/** ωε/σ ceiling: the displacement current then moves the penetration depth by ≈ ωε/(2σ) ≤ 0.5%. @internal */
+export declare const MAX_DISPLACEMENT_RATIO = 0.01;
+/** l/δ ceiling for a local (classical) conductivity. @internal */
+export declare const MAX_MFP_RATIO = 0.1;
+/** ωτ ceiling: the Drude σ(ω) = σ0/(1 − iωτ) is then within 0.5% of σ0 in modulus. @internal */
+export declare const MAX_OMEGA_TAU = 0.1;
+/** d/δ floor: the field reaching the back face is then ≤ e^{−5} ≈ 0.7% of the surface field. @internal */
+export declare const MIN_THICKNESS_RATIO = 5;
+/**
+ * δ_Maxwell/δ for the plane wave k² = ω²με + iωμσ, as a function of r = ωε/σ:
+ * 1/Im k = δ √(√(1 + r²) + r), written without the cancellation of |z| − Re z.
+ * @internal
+ */
+export declare function maxwellDepthFactor(r: number): number;
+/** Parent penetration depth δ_M from classical δ and r = ωε/σ. @internal */
+export declare function skinDeltaMaxwellM(_inputs: Readonly<Record<string, number>>, outputs: Readonly<Record<string, number | null>>): number;
+/**
+ * Evaluate the skin-depth applied case at the given SI inputs.
+ * @internal
+ */
+export declare function runCaseSkinDepth(i: Readonly<Record<string, number>>): CaseResult;
+/** The Julian year, the year BE-52 takes (s): the unit table's `julian_year` row (`yr`). @internal */
+export declare const JULIAN_YEAR_S: number;
+/** m_p/M_* ceiling: the test-mass K then exceeds the two-body K by (1 + q)^{2/3} − 1 ≤ 0.67%. @internal */
+export declare const MAX_MASS_RATIO = 0.01;
+/** Ceiling on the stellar radius over the periastron separation, for point masses. @internal */
+export declare const MAX_RADIUS_RATIO = 0.1;
+/** G(M_* + m_p)/(c² a) ceiling for Newtonian gravity. @internal */
+export declare const MAX_WEAK_FIELD = 0.0001;
+/** e·Δω accumulated over the record (rad) ceiling for a fixed ellipse. @internal */
+export declare const MAX_APSIDAL_MISFIT = 0.01;
+/**
+ * Evaluate the Kepler radial-velocity applied case at the given SI inputs.
+ * @internal
+ */
+export declare function runCaseKeplerRv(i: Readonly<Record<string, number>>): CaseResult;
+/** Q floor for the single-Lorentzian (near-resonance) form of the spectrum. @internal */
+export declare const MIN_Q_LORENTZIAN = 10;
+/** (1/t_obs)/linewidth ceiling: the record resolves the line. @internal */
+export declare const MAX_RESOLUTION_RATIO = 0.1;
+/**
+ * √(k_BT/k)/A ceiling. Thermal motion of one mode is x = X cos ω_d t + Y sin ω_d t
+ * with ⟨X²⟩ = ⟨Y²⟩ = k_BT/k (equipartition), so the envelope of the ring-down
+ * plus it is Rician with ⟨A_obs²⟩ = A² + 2k_BT/k (Rice 1944); at the ceiling
+ * √(1 + 2·0.01) − 1 ≈ 0.0100.
+ * @internal
+ */
+export declare const MAX_THERMAL_RATIO = 0.1;
+/**
+ * FWHM in Hz of |∫₀ᵀ e^{−(α + iΔω)t} dt|², the near-resonance power spectrum of
+ * a ring-down x0 e^{−αt} cos(ω_d t) recorded for T. The negative-frequency
+ * pole is dropped, which is the Q ≫ 1 approximation. The peak is at Δω = 0:
+ * the integrand is positive, so |X(Δω)| ≤ X(0).
+ * @internal
+ */
+export declare function windowedLinewidthHz(alpha: number, T: number): number;
+/** Catalog engine: FWHM of the truncated ring-down spectrum (null when overdamped). @internal */
+export declare function windowedLinewidthCatalogHz(inputs: Readonly<Record<string, number>>, outputs: Readonly<Record<string, number | null>>): number | null;
+/**
+ * Evaluate the damped-resonator applied case at the given SI inputs.
+ * @internal
+ */
+export declare function runCaseDampedResonator(i: Readonly<Record<string, number>>): CaseResult;
+/** h f_hi/(k_B T) ceiling: the Planck factor x/(eˣ−1) is then within x/2 ≤ 0.5% of 1. @internal */
+export declare const CLASSICAL_MAX_X = 0.01;
+/** 2π f_hi R_eff C_in ceiling: the input RC pole then passes 1/(1+w²) ≥ 99% at f_hi. @internal */
+export declare const FLAT_BAND_MAX_WRC = 0.1;
+/**
+ * Ceiling on σ(S_R)/S_R = 1/(φ√(B t_avg)): the resistor's noise power, left after
+ * subtracting an exactly known amplifier power, scatters by ≤ 1%. The total
+ * power scatters by 1/√(B t_avg) (Dicke 1946); φ is the resistor's share of it.
+ * @internal
+ */
+export declare const AMPLIFIER_MAX_REL_SIGMA = 0.01;
+/**
+ * Evaluate the resistor thermal-noise applied case at the given SI inputs.
+ * @internal
+ */
+export declare function runCaseResistorNoise(i: Readonly<Record<string, number>>): CaseResult;
+/** The Stefan–Boltzmann constant (W m⁻² K⁻⁴) is `core/constants`'s; re-exported so the record's module-export table keeps its row. @internal */
+export { SIGMA_SB_SI } from '../core/constants.js';
+/** Bi = h L_c/k ceiling, L_c = V/A (Incropera §5.2, eq. 5.10). @internal */
+export declare const MAX_BIOT = 0.1;
+/** h_rad,max/h ceiling for a loss linear in T − T∞. @internal */
+export declare const MAX_RADIATION_RATIO = 0.1;
+/**
+ * T(t) of ρcV dT/dt = −A[h(T − T∞) + εσ_SB(T⁴ − T∞⁴)] for a sphere (V/A =
+ * a/3), by classical RK4 (`integrateRK4`, MathTS `solveODESystem` with `dt`,
+ * one call per step) with each step 1/100 of the local relaxation time
+ * ρca/(3(h + 4εσ_SB T³)). Stops early once |T − T∞| is below 1e-15 |T0 − T∞|.
+ * @internal
+ */
+export declare function lumpedRadiatingTemperature(p: LumpedRadiating): number;
+/**
+ * The first n roots of 1 − ζ cot ζ = Bi (Bi = h a/k, radius-based): the n-th
+ * lies in ((n−1)π, nπ), where the left side runs from −∞ (0 for n = 1) to +∞.
+ * Each is MathTS `findRoot` (Brent) on that interval, pulled in from the
+ * poles by a few ulps of kπ, since the solver evaluates both ends: at 0 the
+ * function is 0/0, and at an exact multiple of π `Math.tan` has no sign to
+ * trust. The tolerance is the bracket's own floating-point resolution.
+ * @internal
+ */
+export declare function sphereEigenvalues(biRadius: number, n: number): number[];
+/**
+ * θ/θ0 = (T − T∞)/(T0 − T∞) from the series solution of the sphere with a
+ * convective surface, at Fourier number Fo = αt/a², for the volume mean, the
+ * centre and the surface. Terms are summed until e^{−ζ²Fo} < 1e-18.
+ * @throws Error when Fo is so small that the series would need over 1e5 terms.
+ * @internal
+ */
+export declare function sphereSeries(biRadius: number, fo: number): {
+    mean: number;
+    centre: number;
+    surface: number;
+};
+/**
+ * Evaluate the lumped thermal cooling applied case at the given SI inputs.
+ * @internal
+ */
+export declare function runCaseLumpedCooling(i: Readonly<Record<string, number>>): CaseResult;
+/** Standard gravity (CGPM 1901), for the sedimentation speed: the unit table's `standard_gravity` row, read as newtons per kilogram-force. @internal */
+export declare const G_STANDARD: number;
+/** The thresholds `ab-stokes-einstein` states: Re ≤ 0.1 and τ_p/t ≤ 0.01. @internal */
+export declare const MAX_RE = 0.1;
+/** τ_p/t ceiling beside the Stokes–Einstein regime. @internal */
+export declare const MAX_TAU_P_RATIO = 0.01;
+/** Ceiling on the memory term's own share of the MSD, |MSD_H/MSD_OU − 1|. @internal */
+export declare const MAX_MEMORY_CORRECTION = 0.01;
+/** (v_s t)²/(2Dt) ceiling along gravity when the vertical axis is tracked. @internal */
+export declare const MAX_DRIFT_RATIO = 0.01;
+/** Ceiling on |MSD/MSD_wall − 1|: the wall's correction to the tracked MSD is negligible. @internal */
+export declare const MAX_WALL_CORRECTION = 0.01;
+/** Ceiling on the last retained Faxén term (a/h)⁵/16 over the series' value. @internal */
+export declare const MAX_FAXEN_LAST_TERM = 0.01;
+/** Ceiling on √(2 D_⊥ t)/(h − a): the height, and so D_∥ and D_⊥, barely change over t. @internal */
+export declare const MAX_WALL_EXCURSION = 0.1;
+/** t − τ(1 − e^{−t/τ}) in units of τ, i.e. x − (1 − e^{−x}), without its cancellation at small x. @internal */
+export declare function ballisticDeficit(x: number): number;
+/**
+ * MSD/(2Dt) per axis for a sphere with fluid inertia: added mass and the Basset
+ * memory force, in an unbounded incompressible fluid, velocities in equilibrium.
+ *
+ * The velocity autocorrelation has the Laplace transform
+ * Ĉ(s) = k_BT/(M s + γ(1 + √(s τ_f))), M = m + m_f/2, from the frequency-dependent
+ * Stokes drag γ(1 + √(sτ_f)) + s m_f/2 (Stokes 1851; the Basset 1888 term is its
+ * √s part; Hinch 1975, J. Fluid Mech. 72, 499; Clercx & Schram 1992, Phys. Rev.
+ * A 46, 1942). Its poles in √s both have negative real part, so Ĉ has none on the
+ * principal sheet and C(t) is the branch-cut integral
+ * C(t) = (k_BT/πγ) ∫₀^∞ e^{−ut} √(τ_f u)/((1 − τ_p u)² + τ_f u) du, τ_p = M/γ.
+ * Then ⟨Δx²⟩ = 2∫₀ᵗ (t − s) C(s) ds, and with v = ut,
+ * MSD/(2Dt) = (1/π) ∫₀^∞ √(βv) (v − 1 + e^{−v}) / (v² ((1 − αv)² + βv)) dv, α = τ_p/t, β = τ_f/t,
+ * integrated here over ln v by MathTS `quad` (adaptive Gauss–Kronrod), split at v = 1, 1/β and around
+ * the near-resonance at v = 1/α (width √(β/α) in ln v; β/α ≤ 9 for any densities).
+ *
+ * Limits: → 1 − 2√(τ_f/(πt)) + (τ_f − τ_p)/t for t ≫ τ_p, τ_f (expanding Ĉ in √s),
+ * whose second derivative is the VACF tail k_BT/(12 ρ_f (πνt)^{3/2}); → t/(2τ_p)
+ * for t ≪ τ_p, i.e. ⟨Δx²⟩ → (k_BT/M) t². Requires β > 0: without memory the
+ * poles reach the principal sheet and this integral no longer holds them.
+ * @internal
+ */
+export declare function hydrodynamicMsdRatio(alpha: number, beta: number): number;
+/**
+ * D_∥/D₀ for a sphere translating parallel to a plane wall, centre at h:
+ * 1 − (9/16)ξ + (1/8)ξ³ − (45/256)ξ⁴ − (1/16)ξ⁵, ξ = a/h (Faxén 1923, method of
+ * reflections, as quoted in Happel & Brenner 1965, Low Reynolds Number
+ * Hydrodynamics, ch. 7). A series in a/h, truncated:
+ * its error is not bounded here, and near contact it misses the logarithmic
+ * lubrication divergence of the drag.
+ * @internal
+ */
+export declare function faxenParallel(aOverH: number): number;
+/**
+ * λ = F/(6πηaU) for a sphere approaching a plane wall head-on, centre at h > a,
+ * exact in Stokes flow (Brenner 1961, Chem. Eng. Sci. 16, 242, bispherical coordinates):
+ * λ = (4/3) sinh α Σₙ n(n+1)/((2n−1)(2n+3)) · [(2 sinh(2n+1)α + (2n+1) sinh 2α) /
+ * (4 sinh²(n+½)α − (2n+1)² sinh²α) − 1], cosh α = h/a. D_⊥ = D₀/λ.
+ *
+ * The bracket is rewritten over 4 sinh²(n+½)α so that no sinh overflows; its
+ * terms fall as e^{−(2n+1)α}, so near contact (α → 0) the sum needs ~40/α terms,
+ * and the low-n denominators lose ~α⁻² of relative precision to cancellation.
+ * Limits: λ → 1 + (9/8)(a/h) far away (Lorentz 1907); λ → a/δ + (1/5) ln(a/δ) +
+ * 0.971 as the gap δ = h − a → 0 (Cox & Brenner 1967, Chem. Eng. Sci. 22, 1753).
+ * @throws Error if h/a ≤ 1.
+ * @internal
+ */
+export declare function brennerPerpendicular(hOverA: number): number;
+/** Regime tag string for the brownian-sphere case at the current inputs and outputs. */
+export declare function brownianSphereRegimeAt(inputs: Readonly<Record<string, number>>, outputs: Readonly<Record<string, number | null>>): string;
+/**
+ * Evaluate the brownian-sphere applied case at the given SI inputs.
+ * @internal
+ */
+export declare function runCaseBrownianSphere(i: Readonly<Record<string, number>>): CaseResult;
+/** Case id → case assembled from the catalog and a runner. @internal */
+export declare const APPLIED_CASE_RUNNERS: ReadonlyMap<string, AppliedCase>;
+/** Names exported numeric methods for catalog validation. @internal */
+export declare const CASE_METHOD_NAMES: ReadonlySet<string>;
+/** Named numeric methods invoked from catalog output `method` fields. */
+export declare const CASE_METHODS: Record<string, (...args: never[]) => unknown>;
+/** Assembled skin-depth applied case (catalog + runner). */
+export declare const SKIN_DEPTH_CASE: AppliedCase;
+/** Assembled Kepler RV applied case (catalog + runner). */
+export declare const KEPLER_RV_CASE: AppliedCase;
+/** Assembled damped-resonator applied case (catalog + runner). */
+export declare const DAMPED_RESONATOR_CASE: AppliedCase;
+/** Assembled resistor-noise applied case (catalog + runner). */
+export declare const RESISTOR_NOISE_CASE: AppliedCase;
+/** Assembled lumped-cooling applied case (catalog + runner). */
+export declare const LUMPED_COOLING_CASE: AppliedCase;
+/** Assembled brownian-sphere applied case (catalog + runner). */
+export declare const BROWNIAN_SPHERE_CASE: AppliedCase;
+//# sourceMappingURL=methods.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"methods.d.ts","sourceRoot":"","sources":["../../src/cases/methods.ts"],"names":[],"mappings":"AAcA,OAAO,EAAoD,KAAK,WAAW,EAAE,KAAK,UAAU,EAAE,KAAK,eAAe,EAAE,MAAM,YAAY,CAAC;AAEvI,iEAAiE;AACjE,YAAY,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAKlD,6GAA6G;AAC7G,eAAO,MAAM,sBAAsB,OAAO,CAAC;AAE3C,kEAAkE;AAClE,eAAO,MAAM,aAAa,MAAM,CAAC;AAEjC,gGAAgG;AAChG,eAAO,MAAM,aAAa,MAAM,CAAC;AAEjC,0GAA0G;AAC1G,eAAO,MAAM,mBAAmB,IAAI,CAAC;AAErC;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAEpD;AAED,4EAA4E;AAC5E,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EACzC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,GAC/C,MAAM,CAOR;AACD;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,UAAU,CAsChF;AAKD,sGAAsG;AACtG,eAAO,MAAM,aAAa,QAAkC,CAAC;AAE7D,2GAA2G;AAC3G,eAAO,MAAM,cAAc,OAAO,CAAC;AAEnC,gGAAgG;AAChG,eAAO,MAAM,gBAAgB,MAAM,CAAC;AAEpC,mEAAmE;AACnE,eAAO,MAAM,cAAc,SAAO,CAAC;AAEnC,oFAAoF;AACpF,eAAO,MAAM,kBAAkB,OAAO,CAAC;AACvC;;;GAGG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,UAAU,CA+C/E;AAKD,yFAAyF;AACzF,eAAO,MAAM,gBAAgB,KAAK,CAAC;AAEnC,2EAA2E;AAC3E,eAAO,MAAM,oBAAoB,MAAM,CAAC;AAExC;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,MAAM,CAAC;AAErC;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAkBpE;AAED,iGAAiG;AACjG,wBAAgB,0BAA0B,CACxC,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,GAC/C,MAAM,GAAG,IAAI,CAKf;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,UAAU,CA0DtF;AAKD,mGAAmG;AACnG,eAAO,MAAM,eAAe,OAAO,CAAC;AAEpC,kGAAkG;AAClG,eAAO,MAAM,iBAAiB,MAAM,CAAC;AAErC;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,OAAO,CAAC;AAS5C;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,UAAU,CAoEpF;AAKD,gJAAgJ;AAChJ,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAEnD,4EAA4E;AAC5E,eAAO,MAAM,QAAQ,MAAM,CAAC;AAE5B,iEAAiE;AACjE,eAAO,MAAM,mBAAmB,MAAM,CAAC;AAGvC;;;;;;GAMG;AACH,wBAAgB,0BAA0B,CAAC,CAAC,EAAE,eAAe,GAAG,MAAM,CAgBrE;AAED;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAUvE;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAiB5G;AACD;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,UAAU,CAmDpF;AAKD,wJAAwJ;AACxJ,eAAO,MAAM,UAAU,QAA0C,CAAC;AAElE,uFAAuF;AACvF,eAAO,MAAM,MAAM,MAAM,CAAC;AAC1B,iEAAiE;AACjE,eAAO,MAAM,eAAe,OAAO,CAAC;AAEpC,uFAAuF;AACvF,eAAO,MAAM,qBAAqB,OAAO,CAAC;AAE1C,wFAAwF;AACxF,eAAO,MAAM,eAAe,OAAO,CAAC;AAEpC,uGAAuG;AACvG,eAAO,MAAM,mBAAmB,OAAO,CAAC;AAExC,0FAA0F;AAC1F,eAAO,MAAM,mBAAmB,OAAO,CAAC;AAExC,qGAAqG;AACrG,eAAO,MAAM,kBAAkB,MAAM,CAAC;AAEtC,+GAA+G;AAC/G,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAElD;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAcxE;AAED;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAGpD;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAkB3D;AACD,wFAAwF;AACxF,wBAAgB,sBAAsB,CACpC,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,GAC/C,MAAM,CAOR;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,UAAU,CAuFrF;AAqBD,wEAAwE;AACxE,eAAO,MAAM,oBAAoB,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAEjE,CAAC;AAEF,uEAAuE;AACvE,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAmBhD,CAAC;AAEH,yEAAyE;AACzE,eAAO,MAAM,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,OAAO,CAmBtE,CAAC;AAIF,4DAA4D;AAC5D,eAAO,MAAM,eAAe,aAA+C,CAAC;AAC5E,2DAA2D;AAC3D,eAAO,MAAM,cAAc,aAA8C,CAAC;AAC1E,kEAAkE;AAClE,eAAO,MAAM,qBAAqB,aAAqD,CAAC;AACxF,gEAAgE;AAChE,eAAO,MAAM,mBAAmB,aAAmD,CAAC;AACpF,gEAAgE;AAChE,eAAO,MAAM,mBAAmB,aAAmD,CAAC;AACpF,iEAAiE;AACjE,eAAO,MAAM,oBAAoB,aAAoD,CAAC"}