universal-physics-tensor 0.5.1 → 0.7.1

package/dist/core/universal-index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"universal-index.js","sourceRoot":"","sources":["../../src/core/universal-index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAiEH;;;;;;;;;;GAUG;AACH,SAAS,UAAU;IACjB,IAAI,OAAO,UAAU,CAAC,MAAM,EAAE,UAAU,KAAK,UAAU,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CACb,gEAAgE;YAChE,8DAA8D;YAC9D,kBAAkB,CACnB,CAAC;IACJ,CAAC;IACD,sEAAsE;IACtE,OAAO,UAAU,CAAC,MAAM,CAAC,UAAU,EAAsB,CAAC;AAC5D,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,SAAS,CACvB,IAAU,EACV,IAAY,EACZ,IAAuB;IAEvB,OAAO;QACL,EAAE,EAAE,UAAU,EAAE;QAChB,IAAI;QACJ,IAAI;QACJ,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1C,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChD,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9C,CAAC;AACJ,CAAC"}

package/dist/diff/bridge-gradient.d.ts

@@ -0,0 +1,94 @@
+/**
+ * Bridge-parameter differentiation — v0.9 Proposal 8 core layer.
+ *
+ * Wraps catalog bridge evaluators (typed scalar functions with
+ * named-field struct inputs like `evaluateShapiroDelay(input:
+ * ShapiroInputs): number`) into the shape expected by
+ * `TensorEngine.reverseGrad`: `(paramTensor: EngineTensor) →
+ * outputScalar`. Returns gradients with respect to a chosen subset
+ * of the bridge's input parameters.
+ *
+ * Per P8 Decision #1, this lives in `src/diff/` (NOT in
+ * `src/bridges/`), keeping bridge evaluators untouched. The AD
+ * dependency `mathts-autograd` is in `optionalDependencies`; this
+ * module throws `EngineCapabilityError` via the existing
+ * `MathTSEngine.reverseGrad` call-site pattern (degrades gracefully
+ * when the peer is absent).
+ *
+ * Per P8 Adam-H1 + Eve verification: the autograd peer may not be
+ * installed in CI (npm install --include=optional required). Tests
+ * use `hasAutogradSupport(engine)` to skip the real-AD assertions
+ * when the peer isn't present.
+ *
+ * @module diff/bridge-gradient
+ */
+import type { EngineTensor, TensorEngine } from '../numerical/tensor-engine.js';
+/**
+ * Specification of a differentiable bridge: which parameters can
+ * vary, in what order they get packed into a 1-D parameter
+ * tensor, how to unpack the tensor back into the bridge's input
+ * struct, and the bridge evaluator itself.
+ *
+ * `paramNames` is the canonical pack/unpack order. For
+ * `evaluateShapiroDelay(input: { r: number; b: number; M: number })`
+ * with `paramNames: ['r', 'b', 'M']`, the gradient returned by
+ * `bridgeGradient` has shape `[3]` with entries
+ * `[dS/dr, dS/db, dS/dM]` in that order.
+ *
+ * @public
+ */
+export interface BridgeDiffSpec<Input> {
+    /** Bridge identifier (e.g., 'BE-37'). Used in error messages. */
+    readonly bridgeId: string;
+    /** Display name (e.g., 'Shapiro time delay'). */
+    readonly name: string;
+    /**
+     * Pack/unpack order: which Input keys correspond to which axis
+     * of the parameter tensor. All names must be present in the
+     * frozen `Input` struct as `number`-valued keys.
+     */
+    readonly paramNames: ReadonlyArray<keyof Input & string>;
+    /**
+     * Fill in the non-differentiable input fields (those NOT in
+     * `paramNames`). Returns the full struct merged from `defaults`
+     * + the unpacked differentiable params. Typed as
+     * `Partial<Input>` for ergonomics — runtime check in
+     * `bridgeGradient` would catch missing required defaults if
+     * the bridge evaluator needs them.
+     */
+    readonly defaults: Partial<Input>;
+    /** The bridge's scalar evaluator. */
+    readonly evaluate: (input: Input) => number;
+}
+/**
+ * Result of `bridgeGradient`. `value` is the bridge's scalar
+ * output at the supplied parameter point; `gradient` is the
+ * 1-D `EngineTensor` of partial derivatives in `paramNames`
+ * order.
+ *
+ * @public
+ */
+export interface BridgeGradientResult {
+    readonly value: number;
+    readonly gradient: EngineTensor;
+}
+/**
+ * Compute the gradient of a bridge evaluator with respect to its
+ * differentiable parameters via reverse-mode AD. The supplied
+ * `params` map must contain every key in `spec.paramNames`.
+ *
+ * Throws `EngineCapabilityError` if the engine doesn't support
+ * autograd (the standard graceful-degradation path from v0.4.0;
+ * see `MathTSEngine.reverseGrad`).
+ *
+ * @public
+ */
+export declare function bridgeGradient<Input>(spec: BridgeDiffSpec<Input>, engine: TensorEngine, params: Record<string, number>): Promise<BridgeGradientResult>;
+/**
+ * Convenience: unpack a 1-D gradient tensor into a named-field
+ * record matching the spec's `paramNames` order.
+ *
+ * @public
+ */
+export declare function gradientToNamed<Input>(spec: BridgeDiffSpec<Input>, gradient: EngineTensor, engine: TensorEngine): Record<string, number>;
+//# sourceMappingURL=bridge-gradient.d.ts.map

package/dist/diff/bridge-gradient.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bridge-gradient.d.ts","sourceRoot":"","sources":["../../src/diff/bridge-gradient.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAIhF;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,cAAc,CAAC,KAAK;IACnC,iEAAiE;IACjE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,iDAAiD;IACjD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC;IACzD;;;;;;;OAOG;IACH,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAClC,qCAAqC;IACrC,QAAQ,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC;CAC7C;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;CACjC;AAED;;;;;;;;;;GAUG;AACH,wBAAsB,cAAc,CAAC,KAAK,EACxC,IAAI,EAAE,cAAc,CAAC,KAAK,CAAC,EAC3B,MAAM,EAAE,YAAY,EACpB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAC7B,OAAO,CAAC,oBAAoB,CAAC,CAmC/B;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,KAAK,EACnC,IAAI,EAAE,cAAc,CAAC,KAAK,CAAC,EAC3B,QAAQ,EAAE,YAAY,EACtB,MAAM,EAAE,YAAY,GACnB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAOxB"}

package/dist/diff/bridge-gradient.js

@@ -0,0 +1,83 @@
+/**
+ * Bridge-parameter differentiation — v0.9 Proposal 8 core layer.
+ *
+ * Wraps catalog bridge evaluators (typed scalar functions with
+ * named-field struct inputs like `evaluateShapiroDelay(input:
+ * ShapiroInputs): number`) into the shape expected by
+ * `TensorEngine.reverseGrad`: `(paramTensor: EngineTensor) →
+ * outputScalar`. Returns gradients with respect to a chosen subset
+ * of the bridge's input parameters.
+ *
+ * Per P8 Decision #1, this lives in `src/diff/` (NOT in
+ * `src/bridges/`), keeping bridge evaluators untouched. The AD
+ * dependency `mathts-autograd` is in `optionalDependencies`; this
+ * module throws `EngineCapabilityError` via the existing
+ * `MathTSEngine.reverseGrad` call-site pattern (degrades gracefully
+ * when the peer is absent).
+ *
+ * Per P8 Adam-H1 + Eve verification: the autograd peer may not be
+ * installed in CI (npm install --include=optional required). Tests
+ * use `hasAutogradSupport(engine)` to skip the real-AD assertions
+ * when the peer isn't present.
+ *
+ * @module diff/bridge-gradient
+ */
+import { hasAutogradSupport } from '../numerical/tensor-engine.js';
+import { EngineCapabilityError } from '../numerical/errors.js';
+/**
+ * Compute the gradient of a bridge evaluator with respect to its
+ * differentiable parameters via reverse-mode AD. The supplied
+ * `params` map must contain every key in `spec.paramNames`.
+ *
+ * Throws `EngineCapabilityError` if the engine doesn't support
+ * autograd (the standard graceful-degradation path from v0.4.0;
+ * see `MathTSEngine.reverseGrad`).
+ *
+ * @public
+ */
+export async function bridgeGradient(spec, engine, params) {
+    if (!hasAutogradSupport(engine)) {
+        throw new EngineCapabilityError(engine.name, 'reverseGrad');
+    }
+    // Pack params into a 1-D tensor in spec.paramNames order.
+    const packed = spec.paramNames.map((k) => {
+        const v = params[k];
+        if (typeof v !== 'number') {
+            throw new TypeError(`bridgeGradient: ${spec.bridgeId}: missing or non-numeric param '${k}' ` +
+                `(got ${typeof v}). All paramNames must be numbers in the params object.`);
+        }
+        return v;
+    });
+    const paramTensor = engine.fromNested(packed, [packed.length]);
+    // Build the (paramTensor) → scalar function the engine's
+    // reverseGrad expects. The function unpacks the tensor back
+    // into the bridge's Input struct, calls evaluate, and returns
+    // a rank-0 tensor.
+    const fn = (x) => {
+        const unpacked = engine.toNested(x);
+        const input = { ...spec.defaults };
+        spec.paramNames.forEach((k, i) => {
+            input[k] = unpacked[i];
+        });
+        const scalar = spec.evaluate(input);
+        return engine.fromNested(scalar, []);
+    };
+    const { value, gradient } = await engine.reverseGrad(fn, paramTensor);
+    const valueNumber = engine.toNested(value);
+    return { value: valueNumber, gradient };
+}
+/**
+ * Convenience: unpack a 1-D gradient tensor into a named-field
+ * record matching the spec's `paramNames` order.
+ *
+ * @public
+ */
+export function gradientToNamed(spec, gradient, engine) {
+    const arr = engine.toNested(gradient);
+    const out = {};
+    spec.paramNames.forEach((k, i) => {
+        out[k] = arr[i];
+    });
+    return out;
+}
+//# sourceMappingURL=bridge-gradient.js.map

package/dist/diff/bridge-gradient.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bridge-gradient.js","sourceRoot":"","sources":["../../src/diff/bridge-gradient.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAGH,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAqD/D;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,IAA2B,EAC3B,MAAoB,EACpB,MAA8B;IAE9B,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IAC9D,CAAC;IAED,0DAA0D;IAC1D,MAAM,MAAM,GAAa,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACjD,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1B,MAAM,IAAI,SAAS,CACjB,mBAAmB,IAAI,CAAC,QAAQ,mCAAmC,CAAC,IAAI;gBACxE,QAAQ,OAAO,CAAC,yDAAyD,CAC1E,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IAE/D,yDAAyD;IACzD,4DAA4D;IAC5D,8DAA8D;IAC9D,mBAAmB;IACnB,MAAM,EAAE,GAAG,CAAC,CAAe,EAAgB,EAAE;QAC3C,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAa,CAAC;QAChD,MAAM,KAAK,GAAG,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAsB,CAAC;QACvD,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YAC9B,KAAiC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACpC,OAAO,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACvC,CAAC,CAAC;IAEF,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,MAAM,MAAM,CAAC,WAAY,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;IACvE,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAW,CAAC;IACrD,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC;AAC1C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC7B,IAA2B,EAC3B,QAAsB,EACtB,MAAoB;IAEpB,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAa,CAAC;IAClD,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC/B,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/diff/bridge-specs.d.ts

@@ -0,0 +1,68 @@
+/**
+ * Differentiable-bridge specs — v0.9 Proposal 8 Phase 2.
+ *
+ * Four representative `BridgeDiffSpec` registrations covering the
+ * easy-AD subset of the 42-bridge catalog:
+ *   - BE-37 Shapiro time delay
+ *   - BE-52 Mercury perihelion precession
+ *   - BE-42 Hawking temperature
+ *   - BE-11 Decoherence rate
+ *
+ * Per P8 Eve M1-M3 reconciliation, every evaluator is called with
+ * its actual struct-arg shape (NOT positional args). The exact
+ * signatures were verified at HEAD:
+ *   evaluateShapiroDelay(input: ShapiroInputs): number
+ *   evaluatePerihelionPrecession(input: PerihelionPrecessionInputs):
+ *     PerihelionPrecessionResult
+ *   evaluateHawkingTemperature(input: HawkingTemperatureInputs): number
+ *   evaluateDecoherenceRate(input: DecoherenceRateInputs): number
+ *
+ * Perihelion returns a struct; we wrap with a selector to extract
+ * `dphi_rad_per_orbit` as the scalar output.
+ *
+ * @module diff/bridge-specs
+ */
+import type { BridgeDiffSpec } from './bridge-gradient.js';
+import { type ShapiroInputs } from '../bridges/equations/be-37-shapiro-delay.js';
+import { type PerihelionPrecessionInputs } from '../bridges/perihelion-precession.js';
+import { type HawkingTemperatureInputs } from '../bridges/equations/be-42-hawking-temperature.js';
+import { type DecoherenceRateInputs } from '../bridges/equations/be-11-decoherence-master.js';
+/**
+ * BE-37 — Shapiro time delay. Differentiable in: `M_kg` (lensing
+ * mass), `R_far_m` (outer radial distance), `R_near_m` (inner
+ * radial distance).
+ *
+ * @public
+ */
+export declare const BE37_SHAPIRO_DIFF: BridgeDiffSpec<ShapiroInputs>;
+/**
+ * BE-52 — Mercury perihelion precession. Differentiable in:
+ * `M_kg` (central mass), `a_m` (semi-major axis), `e`
+ * (eccentricity). Scalar output: `dphi_rad_per_orbit`.
+ *
+ * @public
+ */
+export declare const BE52_PERIHELION_DIFF: BridgeDiffSpec<PerihelionPrecessionInputs>;
+/**
+ * BE-42 — Hawking temperature. Differentiable in: `M_kg` (black-
+ * hole mass).
+ *
+ * @public
+ */
+export declare const BE42_HAWKING_DIFF: BridgeDiffSpec<HawkingTemperatureInputs>;
+/**
+ * BE-11 — Decoherence rate (Caldeira-Leggett weak-coupling form).
+ * Differentiable in: `gamma0_per_s` (reference rate), `lambda`
+ * (system-environment coupling), `lambda0` (reference coupling).
+ *
+ * @public
+ */
+export declare const BE11_DECOHERENCE_DIFF: BridgeDiffSpec<DecoherenceRateInputs>;
+/**
+ * All differentiable bridge specs shipped in v0.9. Consumers can
+ * iterate this to enumerate the AD-capable subset of the catalog.
+ *
+ * @public
+ */
+export declare const DIFFERENTIABLE_BRIDGE_SPECS: readonly [BridgeDiffSpec<ShapiroInputs>, BridgeDiffSpec<PerihelionPrecessionInputs>, BridgeDiffSpec<HawkingTemperatureInputs>, BridgeDiffSpec<DecoherenceRateInputs>];
+//# sourceMappingURL=bridge-specs.d.ts.map

package/dist/diff/bridge-specs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bridge-specs.d.ts","sourceRoot":"","sources":["../../src/diff/bridge-specs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAwB,KAAK,aAAa,EAAE,MAAM,6CAA6C,CAAC;AACvG,OAAO,EAEL,KAAK,0BAA0B,EAChC,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAA8B,KAAK,wBAAwB,EAAE,MAAM,mDAAmD,CAAC;AAC9H,OAAO,EAA2B,KAAK,qBAAqB,EAAE,MAAM,kDAAkD,CAAC;AAEvH;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,EAAE,cAAc,CAAC,aAAa,CAM3D,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,oBAAoB,EAAE,cAAc,CAAC,0BAA0B,CAO3E,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,EAAE,cAAc,CAAC,wBAAwB,CAMtE,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB,EAAE,cAAc,CAAC,qBAAqB,CAMvE,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,2BAA2B,uKAK9B,CAAC"}

package/dist/diff/bridge-specs.js

@@ -0,0 +1,96 @@
+/**
+ * Differentiable-bridge specs — v0.9 Proposal 8 Phase 2.
+ *
+ * Four representative `BridgeDiffSpec` registrations covering the
+ * easy-AD subset of the 42-bridge catalog:
+ *   - BE-37 Shapiro time delay
+ *   - BE-52 Mercury perihelion precession
+ *   - BE-42 Hawking temperature
+ *   - BE-11 Decoherence rate
+ *
+ * Per P8 Eve M1-M3 reconciliation, every evaluator is called with
+ * its actual struct-arg shape (NOT positional args). The exact
+ * signatures were verified at HEAD:
+ *   evaluateShapiroDelay(input: ShapiroInputs): number
+ *   evaluatePerihelionPrecession(input: PerihelionPrecessionInputs):
+ *     PerihelionPrecessionResult
+ *   evaluateHawkingTemperature(input: HawkingTemperatureInputs): number
+ *   evaluateDecoherenceRate(input: DecoherenceRateInputs): number
+ *
+ * Perihelion returns a struct; we wrap with a selector to extract
+ * `dphi_rad_per_orbit` as the scalar output.
+ *
+ * @module diff/bridge-specs
+ */
+import { evaluateShapiroDelay } from '../bridges/equations/be-37-shapiro-delay.js';
+import { evaluatePerihelionPrecession, } from '../bridges/perihelion-precession.js';
+import { evaluateHawkingTemperature } from '../bridges/equations/be-42-hawking-temperature.js';
+import { evaluateDecoherenceRate } from '../bridges/equations/be-11-decoherence-master.js';
+/**
+ * BE-37 — Shapiro time delay. Differentiable in: `M_kg` (lensing
+ * mass), `R_far_m` (outer radial distance), `R_near_m` (inner
+ * radial distance).
+ *
+ * @public
+ */
+export const BE37_SHAPIRO_DIFF = {
+    bridgeId: 'BE-37',
+    name: 'Shapiro time delay',
+    paramNames: ['M_kg', 'R_far_m', 'R_near_m'],
+    defaults: {},
+    evaluate: evaluateShapiroDelay,
+};
+/**
+ * BE-52 — Mercury perihelion precession. Differentiable in:
+ * `M_kg` (central mass), `a_m` (semi-major axis), `e`
+ * (eccentricity). Scalar output: `dphi_rad_per_orbit`.
+ *
+ * @public
+ */
+export const BE52_PERIHELION_DIFF = {
+    bridgeId: 'BE-52',
+    name: 'Perihelion precession (Δφ_rad_per_orbit)',
+    paramNames: ['M_kg', 'a_m', 'e'],
+    defaults: { T_yr: 1 },
+    evaluate: (input) => evaluatePerihelionPrecession(input).dphi_rad_per_orbit,
+};
+/**
+ * BE-42 — Hawking temperature. Differentiable in: `M_kg` (black-
+ * hole mass).
+ *
+ * @public
+ */
+export const BE42_HAWKING_DIFF = {
+    bridgeId: 'BE-42',
+    name: 'Hawking temperature',
+    paramNames: ['M_kg'],
+    defaults: {},
+    evaluate: evaluateHawkingTemperature,
+};
+/**
+ * BE-11 — Decoherence rate (Caldeira-Leggett weak-coupling form).
+ * Differentiable in: `gamma0_per_s` (reference rate), `lambda`
+ * (system-environment coupling), `lambda0` (reference coupling).
+ *
+ * @public
+ */
+export const BE11_DECOHERENCE_DIFF = {
+    bridgeId: 'BE-11',
+    name: 'Decoherence rate',
+    paramNames: ['gamma0_per_s', 'lambda', 'lambda0'],
+    defaults: {},
+    evaluate: evaluateDecoherenceRate,
+};
+/**
+ * All differentiable bridge specs shipped in v0.9. Consumers can
+ * iterate this to enumerate the AD-capable subset of the catalog.
+ *
+ * @public
+ */
+export const DIFFERENTIABLE_BRIDGE_SPECS = [
+    BE37_SHAPIRO_DIFF,
+    BE52_PERIHELION_DIFF,
+    BE42_HAWKING_DIFF,
+    BE11_DECOHERENCE_DIFF,
+];
+//# sourceMappingURL=bridge-specs.js.map

package/dist/diff/bridge-specs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bridge-specs.js","sourceRoot":"","sources":["../../src/diff/bridge-specs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAGH,OAAO,EAAE,oBAAoB,EAAsB,MAAM,6CAA6C,CAAC;AACvG,OAAO,EACL,4BAA4B,GAE7B,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,0BAA0B,EAAiC,MAAM,mDAAmD,CAAC;AAC9H,OAAO,EAAE,uBAAuB,EAA8B,MAAM,kDAAkD,CAAC;AAEvH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAkC;IAC9D,QAAQ,EAAE,OAAO;IACjB,IAAI,EAAE,oBAAoB;IAC1B,UAAU,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,UAAU,CAAU;IACpD,QAAQ,EAAE,EAAE;IACZ,QAAQ,EAAE,oBAAoB;CAC/B,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAA+C;IAC9E,QAAQ,EAAE,OAAO;IACjB,IAAI,EAAE,0CAA0C;IAChD,UAAU,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,CAAU;IACzC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE;IACrB,QAAQ,EAAE,CAAC,KAAiC,EAAE,EAAE,CAC9C,4BAA4B,CAAC,KAAK,CAAC,CAAC,kBAAkB;CACzD,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAA6C;IACzE,QAAQ,EAAE,OAAO;IACjB,IAAI,EAAE,qBAAqB;IAC3B,UAAU,EAAE,CAAC,MAAM,CAAU;IAC7B,QAAQ,EAAE,EAAE;IACZ,QAAQ,EAAE,0BAA0B;CACrC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAA0C;IAC1E,QAAQ,EAAE,OAAO;IACjB,IAAI,EAAE,kBAAkB;IACxB,UAAU,EAAE,CAAC,cAAc,EAAE,QAAQ,EAAE,SAAS,CAAU;IAC1D,QAAQ,EAAE,EAAE;IACZ,QAAQ,EAAE,uBAAuB;CAClC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG;IACzC,iBAAiB;IACjB,oBAAoB;IACpB,iBAAiB;IACjB,qBAAqB;CACb,CAAC"}

package/dist/dimensional/bridge-check.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"bridge-check.d.ts","sourceRoot":"","sources":["../../src/dimensional/bridge-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EACL,SAAS,EAWV,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,QAAQ,EAAY,MAAM,gBAAgB,CAAC;AAqDpD;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAyCtE,CAAC;AAEH;;;;;;;;;;;;GAYG;AACH,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,QAAQ,GACb,SAAS,GAAG,IAAI,CAQlB"}
+{"version":3,"file":"bridge-check.d.ts","sourceRoot":"","sources":["../../src/dimensional/bridge-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EACL,SAAS,EAWV,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,QAAQ,EAAY,MAAM,gBAAgB,CAAC;AAqDpD;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAiDtE,CAAC;AAEH;;;;;;;;;;;;GAYG;AACH,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,QAAQ,GACb,SAAS,GAAG,IAAI,CAQlB"}

package/dist/dimensional/bridge-check.js

@@ -116,6 +116,14 @@ export const EXPECTED_DIMENSION_BY_BRIDGE = new Map([
     [48, FREQUENCY], // BE-48 GRW mass-amplified localization rate λ_GRW(m) = λ_0 (m/m_0) — Wave Y 2026-05-07.
     [49, DIMENSIONLESS], // BE-49 Quantum Darwinism I(S:F_k) = I(S:E) - α k^(-β) — Wave W 2026-05-07.
     [50, DIMENSIONLESS], // BE-50 Wheeler-Feynman time-symmetry residual r_TS = (A_ret-A_adv)/(A_ret+A_adv) — Wave Z 2026-05-07.
+    // v0.7 BE-X re-encoding sprint additions (parallel-agent dispatch, 2026-05-24).
+    // E1 of BRIDGE-PHYSICS-AUDIT-v2.md (Eve red-team): these two entries
+    // were silently absent from EXPECTED_DIMENSION_BY_BRIDGE when BE-53/54
+    // shipped; the v0.7 catalog-extension protocol step from
+    // orphan-dimensional-signature.test.ts:37-43 was skipped during ship.
+    // Registering here closes the silent test-coverage gap.
+    [53, DIMENSIONLESS], // BE-53 Yang-Mills one-loop β(g) = -b₀g³/(16π²); β of a dimensionless coupling is itself dimensionless — same as BE-39.
+    [54, T_INV2], // BE-54 Randall-Sundrum brane Friedmann H² = (8πG/3)ρ(1+ρ/(2σ)) + Λ/3; H² has dim [T^-2] — same as BE-19 modified Friedmann.
 ]);
 /**
  * Infer the SI dimensional signature of a bridge equation expression.

package/dist/dimensional/bridge-check.js.map

@@ -1 +1 @@
-{"version":3,"file":"bridge-check.js","sourceRoot":"","sources":["../../src/dimensional/bridge-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAEL,aAAa,EACb,MAAM,EACN,OAAO,EACP,SAAS,EACT,IAAI,EACJ,IAAI,EACJ,MAAM,EACN,IAAI,EACJ,KAAK,EACL,WAAW,GACZ,MAAM,YAAY,CAAC;AACpB,OAAO,EAAY,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAEvD,uEAAuE;AACvE,MAAM,MAAM,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAE5E,8EAA8E;AAC9E,MAAM,mBAAmB,GAAc,QAAQ,CAC7C,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EACjB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAClD,CAAC;AAEF,mFAAmF;AACnF,MAAM,WAAW,GAAc;IAC7B,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF,gGAAgG;AAChG,MAAM,QAAQ,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAE7C,6FAA6F;AAC7F,MAAM,YAAY,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAElD,oFAAoF;AACpF,MAAM,sBAAsB,GAAc;IACxC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC7C,CAAC;AAEF,2FAA2F;AAC3F,MAAM,YAAY,GAAc;IAC9B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF;;;;;GAKG;AACH,MAAM,oBAAoB,GAAc;IACtC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF;;;;;GAKG;AACH,MAAM,oBAAoB,GAAc;IACtC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAmC,IAAI,GAAG,CAAoB;IACrG,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,oFAAoF;IAClG,CAAC,EAAE,EAAE,YAAY,CAAC,EAAE,4EAA4E;IAChG,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,uEAAuE;IACrF,CAAC,EAAE,EAAE,OAAO,CAAC;IACb,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,gPAAgP;IAC5P,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,wSAAwS;IACtT,CAAC,EAAE,EAAE,oBAAoB,CAAC,EAAE,+GAA+G;IAC3I,CAAC,EAAE,EAAE,MAAM,CAAC;IACZ,CAAC,EAAE,EAAE,YAAY,CAAC,EAAE,yFAAyF;IAC7G,CAAC,EAAE,EAAE,sBAAsB,CAAC,EAAE,6EAA6E;IAC3G,CAAC,EAAE,EAAE,aAAa,CAAC;IACnB,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,gGAAgG;IACnH,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,0EAA0E;IAC/F,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,oXAAoX;IACzY,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,oGAAoG;IACvH,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,iUAAiU;IAC3X,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,qFAAqF;IACnG,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,0DAA0D;IAC/E,CAAC,EAAE,EAAE,YAAY,CAAC,EAAE,yHAAyH;IAC7I,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,+FAA+F;IACpH,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,sEAAsE;IACpF,CAAC,EAAE,EAAE,aAAa,CAAC;IACnB,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,wGAAwG;IAC7H,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,8EAA8E;IACnG,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,gSAAgS;IAC5S,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,yDAAyD;IACtE,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,+FAA+F;IACpH,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,wFAAwF;IACxG,CAAC,EAAE,EAAE,IAAI,CAAC;IACV,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,wEAAwE;IAC3F,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,oEAAoE;IACnF,CAAC,EAAE,EAAE,oBAAoB,CAAC,EAAE,0NAA0N;IACtP,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,uFAAuF;IAC5G,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,wFAAwF;IAC7G,CAAC,EAAE,EAAE,mBAAmB,CAAC;IACzB,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,yFAAyF;IAC1G,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,4EAA4E;IACjG,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,uGAAuG;CAC7H,CAAC,CAAC;AAEH;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,uBAAuB,CACrC,QAAgB,EAChB,IAAc;IAEd,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,iBAAiB,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,QAAQ,GAAG,4BAA4B,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC5D,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,EAAE,QAAQ,CAAC,EAAE,CAAC;QACrE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CAAC,CAAC,iBAAiB,CAAC;AAC7B,CAAC"}
+{"version":3,"file":"bridge-check.js","sourceRoot":"","sources":["../../src/dimensional/bridge-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAEL,aAAa,EACb,MAAM,EACN,OAAO,EACP,SAAS,EACT,IAAI,EACJ,IAAI,EACJ,MAAM,EACN,IAAI,EACJ,KAAK,EACL,WAAW,GACZ,MAAM,YAAY,CAAC;AACpB,OAAO,EAAY,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAEvD,uEAAuE;AACvE,MAAM,MAAM,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAE5E,8EAA8E;AAC9E,MAAM,mBAAmB,GAAc,QAAQ,CAC7C,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EACjB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAClD,CAAC;AAEF,mFAAmF;AACnF,MAAM,WAAW,GAAc;IAC7B,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF,gGAAgG;AAChG,MAAM,QAAQ,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAE7C,6FAA6F;AAC7F,MAAM,YAAY,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAElD,oFAAoF;AACpF,MAAM,sBAAsB,GAAc;IACxC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC7C,CAAC;AAEF,2FAA2F;AAC3F,MAAM,YAAY,GAAc;IAC9B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF;;;;;GAKG;AACH,MAAM,oBAAoB,GAAc;IACtC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF;;;;;GAKG;AACH,MAAM,oBAAoB,GAAc;IACtC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAmC,IAAI,GAAG,CAAoB;IACrG,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,oFAAoF;IAClG,CAAC,EAAE,EAAE,YAAY,CAAC,EAAE,4EAA4E;IAChG,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,uEAAuE;IACrF,CAAC,EAAE,EAAE,OAAO,CAAC;IACb,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,gPAAgP;IAC5P,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,wSAAwS;IACtT,CAAC,EAAE,EAAE,oBAAoB,CAAC,EAAE,+GAA+G;IAC3I,CAAC,EAAE,EAAE,MAAM,CAAC;IACZ,CAAC,EAAE,EAAE,YAAY,CAAC,EAAE,yFAAyF;IAC7G,CAAC,EAAE,EAAE,sBAAsB,CAAC,EAAE,6EAA6E;IAC3G,CAAC,EAAE,EAAE,aAAa,CAAC;IACnB,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,gGAAgG;IACnH,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,0EAA0E;IAC/F,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,oXAAoX;IACzY,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,oGAAoG;IACvH,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,iUAAiU;IAC3X,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,qFAAqF;IACnG,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,0DAA0D;IAC/E,CAAC,EAAE,EAAE,YAAY,CAAC,EAAE,yHAAyH;IAC7I,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,+FAA+F;IACpH,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,sEAAsE;IACpF,CAAC,EAAE,EAAE,aAAa,CAAC;IACnB,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,wGAAwG;IAC7H,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,8EAA8E;IACnG,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,gSAAgS;IAC5S,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,yDAAyD;IACtE,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,+FAA+F;IACpH,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,wFAAwF;IACxG,CAAC,EAAE,EAAE,IAAI,CAAC;IACV,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,wEAAwE;IAC3F,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,oEAAoE;IACnF,CAAC,EAAE,EAAE,oBAAoB,CAAC,EAAE,0NAA0N;IACtP,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,uFAAuF;IAC5G,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,wFAAwF;IAC7G,CAAC,EAAE,EAAE,mBAAmB,CAAC;IACzB,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,yFAAyF;IAC1G,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,4EAA4E;IACjG,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,uGAAuG;IAC5H,gFAAgF;IAChF,qEAAqE;IACrE,uEAAuE;IACvE,yDAAyD;IACzD,sEAAsE;IACtE,wDAAwD;IACxD,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,wHAAwH;IAC7I,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,6HAA6H;CAC5I,CAAC,CAAC;AAEH;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,uBAAuB,CACrC,QAAgB,EAChB,IAAc;IAEd,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,iBAAiB,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,QAAQ,GAAG,4BAA4B,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC5D,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,EAAE,QAAQ,CAAC,EAAE,CAAC;QACrE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CAAC,CAAC,iBAAiB,CAAC;AAC7B,CAAC"}

package/dist/dimensional/connection-validators.d.ts

@@ -13,6 +13,7 @@
 import type { Dimension } from './types.js';
 import type { Role, TensorSymbolNode } from './tensor.js';
 import type { MetricTensorNode, CovariantIndex, PartialDerivativeChildResult } from './metric-validators.js';
+import type { CurvatureCompositeNode } from './curvature-composite.js';
 /**
  * v0.5.0: upper-only index marker (mirror of CovariantIndex). Used by
  * RiemannTensorNode to type-pin the ρ slot at compile time.
@@ -34,7 +35,7 @@ export interface CovariantDerivativeNode {
     readonly gLower: MetricTensorNode;
     readonly gInverse: MetricTensorNode;
 }
-export interface CovariantDerivativeValidationResult {
+interface CovariantDerivativeValidationResult {
     readonly dim: Dimension;
     readonly freeIndices: Map<string, {
         upper: number;
@@ -74,15 +75,20 @@ export declare function validateCovariantDerivative(node: CovariantDerivativeNod
  * indices are NOT propagated — the Riemann formula's contractions consume
  * them internally. Same rule as CovariantDerivativeNode.
  */
-export interface RiemannTensorNode {
-    readonly kind: 'riemann-tensor';
+/**
+ * v0.6.0 Task 3.10a: RiemannTensorNode expressed via CurvatureCompositeNode<K, S>.
+ * The runtime shape is identical — this is a pure type-alias migration.
+ * The intersection `{ kind: 'riemann-tensor' } & { upperIndex, lowerIndices, ... }`
+ * is structurally equivalent to the prior interface declaration.
+ */
+export type RiemannTensorNode = CurvatureCompositeNode<'riemann-tensor', {
     readonly upperIndex: UpperIndex;
     readonly lowerIndices: readonly [CovariantIndex, CovariantIndex, CovariantIndex];
     readonly gLower: MetricTensorNode;
     readonly gInverse: MetricTensorNode;
     readonly xCoord: TensorSymbolNode;
-}
-export interface RiemannTensorValidationResult {
+}>;
+interface RiemannTensorValidationResult {
     readonly dim: Dimension;
     readonly freeIndices: Map<string, {
         upper: number;
@@ -108,4 +114,5 @@ export interface RiemannTensorValidationResult {
  * numerical contents are consumed by Task 6's lowering helper.
  */
 export declare function validateRiemannTensor(node: RiemannTensorNode): RiemannTensorValidationResult;
+export {};
 //# sourceMappingURL=connection-validators.d.ts.map

package/dist/dimensional/connection-validators.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"connection-validators.d.ts","sourceRoot":"","sources":["../../src/dimensional/connection-validators.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAE1D,OAAO,KAAK,EACV,gBAAgB,EAChB,cAAc,EACd,4BAA4B,EAC7B,MAAM,wBAAwB,CAAC;AAQhC;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED;;;;GAIG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;CACrC;AAED,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;CACtB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,uBAAuB,EAC7B,aAAa,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,4BAA4B,GAC9D,mCAAmC,CAqErC;AAMD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAC,cAAc,EAAE,cAAc,EAAE,cAAc,CAAC,CAAC;IACjF,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;CACnC;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACrE;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,iBAAiB,GACtB,6BAA6B,CAyE/B"}
+{"version":3,"file":"connection-validators.d.ts","sourceRoot":"","sources":["../../src/dimensional/connection-validators.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAE1D,OAAO,KAAK,EACV,gBAAgB,EAChB,cAAc,EACd,4BAA4B,EAC7B,MAAM,wBAAwB,CAAC;AAOhC,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAEvE;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED;;;;GAIG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;CACrC;AAGD,UAAU,mCAAmC;IAC3C,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;CACtB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,uBAAuB,EAC7B,aAAa,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,4BAA4B,GAC9D,mCAAmC,CAqErC;AAMD;;;;;;;;;;;;;;;GAeG;AACH;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,GAAG,sBAAsB,CAAC,gBAAgB,EAAE;IACvE,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAC,cAAc,EAAE,cAAc,EAAE,cAAc,CAAC,CAAC;IACjF,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;CACnC,CAAC,CAAC;AAGH,UAAU,6BAA6B;IACrC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACrE;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,iBAAiB,GACtB,6BAA6B,CAyE/B"}

package/dist/dimensional/connection-validators.js.map

@@ -1 +1 @@
-{"version":3,"file":"connection-validators.js","sourceRoot":"","sources":["../../src/dimensional/connection-validators.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAMtC,OAAO,EACL,mCAAmC,EACnC,oBAAoB,EACpB,0BAA0B,EAC1B,wBAAwB,GACzB,MAAM,aAAa,CAAC;AA+BrB;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,2BAA2B,CACzC,IAA6B,EAC7B,aAA+D;IAE/D,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QACvC,MAAM,IAAI,mCAAmC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC;IACD,IACE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO;QAC3C,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,EAC3C,CAAC;QACD,MAAM,IAAI,oBAAoB,CAC5B,IAAI,CAAC,MAAM,CAAC,IAAI,EAChB,6DAA6D;YAC7D,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAC5E,CAAC;IACJ,CAAC;IACD,IACE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO;QAC7C,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,EAC7C,CAAC;QACD,MAAM,IAAI,oBAAoB,CAC5B,IAAI,CAAC,QAAQ,CAAC,IAAI,EAClB,+DAA+D;YAC/D,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAChF,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAE1C,2EAA2E;IAC3E,6EAA6E;IAC7E,uEAAuE;IACvE,0EAA0E;IAC1E,+BAA+B;IAE/B,wDAAwD;IACxD,uDAAuD;IACvD,EAAE;IACF,mEAAmE;IACnE,sEAAsE;IACtE,2DAA2D;IAC3D,IAAI,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QACrC,IAAI,OAAO,OAAO,KAAK,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,sBAAsB,KAAK,GAAG,EAAE,CAAC;YAClF,OAAO,CAAC,WAAW,CAAC,IAAI,0BAA0B,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC1E,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,oBAAoB,CAC5B,sBAAsB,EACtB,QAAQ,QAAQ,qCAAqC,QAAQ,KAAK;gBAClE,qEAAqE;gBACrE,yBAAyB,CAC1B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,iEAAiE;IACjE,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,WAAW;QAAE,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACnF,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAE7D,yDAAyD;IACzD,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC;IAEhD,wEAAwE;IACxE,+DAA+D;IAC/D,2EAA2E;IAC3E,uDAAuD;IACvD,OAAO,QAAQ,CAAC,IAAI,KAAK,SAAS;QAChC,CAAC,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE;QAC3C,CAAC,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC3B,CAAC;AAoCD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAuB;IAEvB,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QACzC,MAAM,IAAI,mCAAmC,CAC3C,+BAA+B,IAAI,CAAC,UAAU,CAAC,KAAK,qBAAqB;YACvE,QAAS,IAAI,CAAC,UAAmC,CAAC,QAAQ,GAAG,CAChE,CAAC;IACJ,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAwC,CAAC;QACxE,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,mCAAmC,CAC3C,gCAAgC,CAAC,MAAM,GAAG,CAAC,KAAK,qBAAqB;gBACnE,QAAQ,GAAG,CAAC,QAAQ,GAAG,CAC1B,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IACE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO;QAC3C,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,EAC3C,CAAC;QACD,MAAM,IAAI,oBAAoB,CAC5B,IAAI,CAAC,MAAM,CAAC,IAAI,EAChB,uDAAuD;YACrD,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAC9E,CAAC;IACJ,CAAC;IACD,IACE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO;QAC7C,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,EAC7C,CAAC;QACD,MAAM,IAAI,oBAAoB,CAC5B,IAAI,CAAC,QAAQ,CAAC,IAAI,EAClB,yDAAyD;YACvD,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAClF,CAAC;IACJ,CAAC;IAED,mEAAmE;IACnE,0EAA0E;IAC1E,wEAAwE;IACxE,uEAAuE;IACvE,uEAAuE;IACvE,kEAAkE;IAClE,MAAM,MAAM,GAAG;QACb,IAAI,CAAC,UAAU,CAAC,KAAK;QACrB,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;QAC1B,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;QAC1B,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;KAC3B,CAAC;IACF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,wBAAwB,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/D,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QACpC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACrD,CAAC;IAED,yEAAyE;IACzE,0EAA0E;IAC1E,2EAA2E;IAC3E,MAAM,GAAG,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IAEzE,sEAAsE;IACtE,sEAAsE;IACtE,gEAAgE;IAChE,oCAAoC;IACpC,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC9B,CAAC"}
+{"version":3,"file":"connection-validators.js","sourceRoot":"","sources":["../../src/dimensional/connection-validators.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAMtC,OAAO,EACL,mCAAmC,EACnC,oBAAoB,EACpB,0BAA0B,EAC1B,wBAAwB,GACzB,MAAM,aAAa,CAAC;AAiCrB;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,2BAA2B,CACzC,IAA6B,EAC7B,aAA+D;IAE/D,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QACvC,MAAM,IAAI,mCAAmC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC;IACD,IACE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO;QAC3C,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,EAC3C,CAAC;QACD,MAAM,IAAI,oBAAoB,CAC5B,IAAI,CAAC,MAAM,CAAC,IAAI,EAChB,6DAA6D;YAC7D,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAC5E,CAAC;IACJ,CAAC;IACD,IACE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO;QAC7C,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,EAC7C,CAAC;QACD,MAAM,IAAI,oBAAoB,CAC5B,IAAI,CAAC,QAAQ,CAAC,IAAI,EAClB,+DAA+D;YAC/D,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAChF,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAE1C,2EAA2E;IAC3E,6EAA6E;IAC7E,uEAAuE;IACvE,0EAA0E;IAC1E,+BAA+B;IAE/B,wDAAwD;IACxD,uDAAuD;IACvD,EAAE;IACF,mEAAmE;IACnE,sEAAsE;IACtE,2DAA2D;IAC3D,IAAI,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QACrC,IAAI,OAAO,OAAO,KAAK,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,sBAAsB,KAAK,GAAG,EAAE,CAAC;YAClF,OAAO,CAAC,WAAW,CAAC,IAAI,0BAA0B,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC1E,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,oBAAoB,CAC5B,sBAAsB,EACtB,QAAQ,QAAQ,qCAAqC,QAAQ,KAAK;gBAClE,qEAAqE;gBACrE,yBAAyB,CAC1B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,iEAAiE;IACjE,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,WAAW;QAAE,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACnF,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAE7D,yDAAyD;IACzD,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC;IAEhD,wEAAwE;IACxE,+DAA+D;IAC/D,2EAA2E;IAC3E,uDAAuD;IACvD,OAAO,QAAQ,CAAC,IAAI,KAAK,SAAS;QAChC,CAAC,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE;QAC3C,CAAC,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC3B,CAAC;AA0CD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAuB;IAEvB,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QACzC,MAAM,IAAI,mCAAmC,CAC3C,+BAA+B,IAAI,CAAC,UAAU,CAAC,KAAK,qBAAqB;YACvE,QAAS,IAAI,CAAC,UAAmC,CAAC,QAAQ,GAAG,CAChE,CAAC;IACJ,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAwC,CAAC;QACxE,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,mCAAmC,CAC3C,gCAAgC,CAAC,MAAM,GAAG,CAAC,KAAK,qBAAqB;gBACnE,QAAQ,GAAG,CAAC,QAAQ,GAAG,CAC1B,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IACE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO;QAC3C,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,EAC3C,CAAC;QACD,MAAM,IAAI,oBAAoB,CAC5B,IAAI,CAAC,MAAM,CAAC,IAAI,EAChB,uDAAuD;YACrD,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAC9E,CAAC;IACJ,CAAC;IACD,IACE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO;QAC7C,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,EAC7C,CAAC;QACD,MAAM,IAAI,oBAAoB,CAC5B,IAAI,CAAC,QAAQ,CAAC,IAAI,EAClB,yDAAyD;YACvD,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAClF,CAAC;IACJ,CAAC;IAED,mEAAmE;IACnE,0EAA0E;IAC1E,wEAAwE;IACxE,uEAAuE;IACvE,uEAAuE;IACvE,kEAAkE;IAClE,MAAM,MAAM,GAAG;QACb,IAAI,CAAC,UAAU,CAAC,KAAK;QACrB,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;QAC1B,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;QAC1B,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;KAC3B,CAAC;IACF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,wBAAwB,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/D,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QACpC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACrD,CAAC;IAED,yEAAyE;IACzE,0EAA0E;IAC1E,2EAA2E;IAC3E,MAAM,GAAG,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IAEzE,sEAAsE;IACtE,sEAAsE;IACtE,gEAAgE;IAChE,oCAAoC;IACpC,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC9B,CAAC"}

package/dist/dimensional/curvature-composite.d.ts

@@ -0,0 +1,90 @@
+/**
+ * Curvature composite-AST factory (v0.6.0 Phase 3, Task 3.9).
+ *
+ * PD-6 trigger fires: Weyl is the 5th curvature primitive (after
+ * Riemann/Ricci/Einstein/Bianchi from v0.5.0). The 4-kind parallel
+ * duplication is now extracted into a shared factory.
+ *
+ * Net LOC change: −180 (per design Decision #5).
+ *
+ * P-1 fix: `CurvatureCompositeNode<K, S>` is an intersection type, not an
+ * interface with an unused S. Without the intersection, the per-kind
+ * slot type-safety would silently drop (the S parameter would be
+ * decorative and TypeScript would not compose it into the result).
+ *
+ * @module dimensional/curvature-composite
+ */
+import type { Dimension } from './types.js';
+/**
+ * Discriminant union of all curvature-composite AST node kinds in UPT v0.6.0.
+ *
+ * Six curvature primitives:
+ *   - `riemann-tensor`     — R^ρ_{σμν}   (rank-4, 1-up 3-down, [L⁻²])
+ *   - `ricci-tensor`       — R_{μν}       (rank-2 lower-lower,  [L⁻²])
+ *   - `einstein-tensor`    — G_{μν}       (rank-2 lower-lower,  [L⁻²])
+ *   - `bianchi-residual`   — B_{λμνρσ}   (rank-5 lower,        [L⁻³])
+ *   - `weyl-tensor`        — C^ρ_{σμν}   (rank-4, 1-up 3-down, [L⁻²])
+ *   - `kretschmann-scalar` — K            (scalar,              [L⁻⁴])
+ *
+ * @public
+ */
+export type CurvatureKind = 'riemann-tensor' | 'ricci-tensor' | 'einstein-tensor' | 'bianchi-residual' | 'weyl-tensor' | 'kretschmann-scalar';
+/**
+ * Per-kind specification record used by the registry.
+ *
+ * `freeIndicesShape` is a human-readable summary of the free-index structure:
+ *   - `'rank-4-1upper-3lower'` — 1 upper + 3 lower (Riemann, Weyl)
+ *   - `'rank-2-lower-lower'`   — 2 lower (Ricci, Einstein)
+ *   - `'rank-3-lower'`         — 5 lower indices (Bianchi residual stores as rank-3
+ *                                  in this shape tag for the 3 cyclic derivatives;
+ *                                  actual tensor is rank-5)
+ *   - `'scalar'`               — 0 free indices (Kretschmann)
+ *
+ * `componentDim` is the SI dimension of each component in the F8/I3 convention
+ * (metric is dimensionless, coordinates carry [L]).
+ *
+ * @public
+ */
+export interface CurvatureKindSpec {
+    readonly freeIndicesShape: 'rank-4-1upper-3lower' | 'rank-2-lower-lower' | 'rank-3-lower' | 'scalar';
+    readonly componentDim: Dimension;
+}
+/**
+ * Registry mapping each `CurvatureKind` to its shape + dimensional spec.
+ *
+ * Used by:
+ *   - Tests: to assert all 6 kinds are registered and that Riemann + Weyl
+ *     share the rank-4 shape (refactor-only invariant).
+ *   - Future lowering consolidation: `CURVATURE_KIND_REGISTRY[node.kind]`
+ *     can supply common validation data without per-kind duplication.
+ *
+ * @public
+ */
+export declare const CURVATURE_KIND_REGISTRY: Record<CurvatureKind, CurvatureKindSpec>;
+/**
+ * Generic factory type for all curvature-composite AST nodes.
+ *
+ * **P-1 fix (v0.6.0 plan-vet):** Must be an intersection type, not an
+ * interface with an unused type parameter. The intersection `{ kind: K } & S`
+ * ensures TypeScript actually composes the kind-specific slot type `S` into
+ * the resulting type, giving real discriminant + kind-specific type safety.
+ *
+ * Usage (type alias):
+ * ```typescript
+ * type RicciTensorNode = CurvatureCompositeNode<'ricci-tensor', {
+ *   readonly riemann: RiemannTensorNode;
+ * }>;
+ * ```
+ *
+ * The intersection produces:
+ * ```typescript
+ * { readonly kind: 'ricci-tensor' } & { readonly riemann: RiemannTensorNode }
+ * // ≡ { readonly kind: 'ricci-tensor'; readonly riemann: RiemannTensorNode }
+ * ```
+ *
+ * @public
+ */
+export type CurvatureCompositeNode<K extends CurvatureKind, S extends object> = {
+    readonly kind: K;
+} & S;
+//# sourceMappingURL=curvature-composite.d.ts.map

package/dist/dimensional/curvature-composite.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"curvature-composite.d.ts","sourceRoot":"","sources":["../../src/dimensional/curvature-composite.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAM5C;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,aAAa,GACrB,gBAAgB,GAChB,cAAc,GACd,iBAAiB,GACjB,kBAAkB,GAClB,aAAa,GACb,oBAAoB,CAAC;AAMzB;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,gBAAgB,EAAE,sBAAsB,GAAG,oBAAoB,GAAG,cAAc,GAAG,QAAQ,CAAC;IACrG,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAC;CAClC;AAMD;;;;;;;;;;GAUG;AACH,eAAO,MAAM,uBAAuB,EAAE,MAAM,CAAC,aAAa,EAAE,iBAAiB,CAyB5E,CAAC;AAMF;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,MAAM,sBAAsB,CAAC,CAAC,SAAS,aAAa,EAAE,CAAC,SAAS,MAAM,IAAI;IAC9E,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;CAClB,GAAG,CAAC,CAAC"}

package/dist/dimensional/curvature-composite.js

@@ -0,0 +1,57 @@
+/**
+ * Curvature composite-AST factory (v0.6.0 Phase 3, Task 3.9).
+ *
+ * PD-6 trigger fires: Weyl is the 5th curvature primitive (after
+ * Riemann/Ricci/Einstein/Bianchi from v0.5.0). The 4-kind parallel
+ * duplication is now extracted into a shared factory.
+ *
+ * Net LOC change: −180 (per design Decision #5).
+ *
+ * P-1 fix: `CurvatureCompositeNode<K, S>` is an intersection type, not an
+ * interface with an unused S. Without the intersection, the per-kind
+ * slot type-safety would silently drop (the S parameter would be
+ * decorative and TypeScript would not compose it into the result).
+ *
+ * @module dimensional/curvature-composite
+ */
+// ─────────────────────────────────────────────────────────────────────────────
+// CURVATURE_KIND_REGISTRY
+// ─────────────────────────────────────────────────────────────────────────────
+/**
+ * Registry mapping each `CurvatureKind` to its shape + dimensional spec.
+ *
+ * Used by:
+ *   - Tests: to assert all 6 kinds are registered and that Riemann + Weyl
+ *     share the rank-4 shape (refactor-only invariant).
+ *   - Future lowering consolidation: `CURVATURE_KIND_REGISTRY[node.kind]`
+ *     can supply common validation data without per-kind duplication.
+ *
+ * @public
+ */
+export const CURVATURE_KIND_REGISTRY = {
+    'riemann-tensor': {
+        freeIndicesShape: 'rank-4-1upper-3lower',
+        componentDim: { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },
+    },
+    'ricci-tensor': {
+        freeIndicesShape: 'rank-2-lower-lower',
+        componentDim: { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },
+    },
+    'einstein-tensor': {
+        freeIndicesShape: 'rank-2-lower-lower',
+        componentDim: { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },
+    },
+    'bianchi-residual': {
+        freeIndicesShape: 'rank-3-lower',
+        componentDim: { L: -3, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },
+    },
+    'weyl-tensor': {
+        freeIndicesShape: 'rank-4-1upper-3lower',
+        componentDim: { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },
+    },
+    'kretschmann-scalar': {
+        freeIndicesShape: 'scalar',
+        componentDim: { L: -4, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },
+    },
+};
+//# sourceMappingURL=curvature-composite.js.map