universal-physics-tensor 0.4.6 → 0.5.1

package/dist/bridges/equations/be-37-shapiro-delay.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-37-shapiro-delay.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-37-shapiro-delay.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8IG;AAEH,OAAO,KAAK,EACV,QAAQ,EACR,yBAAyB,EAG1B,MAAM,gCAAgC,CAAC;AAoBxC,qEAAqE;AACrE,eAAO,MAAM,MAAM,EAAE,QAAsB,CAAC;AAE5C,qDAAqD;AACrD,eAAO,MAAM,MAAM,EAAE,QAAyB,CAAC;AAE/C,8DAA8D;AAC9D,eAAO,MAAM,MAAM,EAAE,QAAsB,CAAC;AAE5C,8CAA8C;AAC9C,eAAO,MAAM,QAAQ,EAAE,QAAkC,CAAC;AAK1D;;;;GAIG;AACH,eAAO,MAAM,YAAY,EAAE,QAG1B,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,cAAc,EAAE,QAY5B,CAAC;AAEF,2DAA2D;AAC3D,eAAO,MAAM,UAAU,EAAE,QAA+B,CAAC;AAEzD,4DAA4D;AAC5D,eAAO,MAAM,WAAW,EAAE,QAAgC,CAAC;AAE3D;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAGhC,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,eAAe,EAAE,QAA2C,CAAC;AAE1E;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAGpC,CAAC;AAEF,6CAA6C;AAC7C,eAAO,MAAM,sBAAsB,EAAE,QAA+B,CAAC;AAIrE,MAAM,WAAW,aAAa;IAC5B,6DAA6D;IAC7D,IAAI,EAAE,MAAM,CAAC;IACb,gEAAgE;IAChE,OAAO,EAAE,MAAM,CAAC;IAChB,+EAA+E;IAC/E,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,CAyBjE;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE;AAiED;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAAoD,CAAC;AAEpF;;;GAGG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAInC,CAAC;AAEF;;;GAGG;AACH,wBAAgB,6BAA6B,IAAI,yBAAyB,CASzE;AA2CD;;;;;;;;;;;GAWG;AACH,wBAAsB,4BAA4B,IAAI,OAAO,CAAC;IAC5D,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE,aAAa,CAAC;CACzB,CAAC,CAqCD"}
+{"version":3,"file":"be-37-shapiro-delay.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-37-shapiro-delay.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8IG;AAEH,OAAO,KAAK,EACV,QAAQ,EACR,yBAAyB,EAG1B,MAAM,gCAAgC,CAAC;AAqBxC,qEAAqE;AACrE,eAAO,MAAM,MAAM,EAAE,QAAsB,CAAC;AAE5C,qDAAqD;AACrD,eAAO,MAAM,MAAM,EAAE,QAAyB,CAAC;AAE/C,8DAA8D;AAC9D,eAAO,MAAM,MAAM,EAAE,QAAsB,CAAC;AAE5C,8CAA8C;AAC9C,eAAO,MAAM,QAAQ,EAAE,QAAkC,CAAC;AAK1D;;;;GAIG;AACH,eAAO,MAAM,YAAY,EAAE,QAG1B,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,cAAc,EAAE,QAY5B,CAAC;AAEF,2DAA2D;AAC3D,eAAO,MAAM,UAAU,EAAE,QAA+B,CAAC;AAEzD,4DAA4D;AAC5D,eAAO,MAAM,WAAW,EAAE,QAAgC,CAAC;AAE3D;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAGhC,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,eAAe,EAAE,QAA2C,CAAC;AAE1E;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAGpC,CAAC;AAEF,6CAA6C;AAC7C,eAAO,MAAM,sBAAsB,EAAE,QAA+B,CAAC;AAIrE,MAAM,WAAW,aAAa;IAC5B,6DAA6D;IAC7D,IAAI,EAAE,MAAM,CAAC;IACb,gEAAgE;IAChE,OAAO,EAAE,MAAM,CAAC;IAChB,+EAA+E;IAC/E,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,CAuBjE;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE;AAiED;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAAoD,CAAC;AAEpF;;;GAGG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAInC,CAAC;AAEF;;;GAGG;AACH,wBAAgB,6BAA6B,IAAI,yBAAyB,CASzE;AA2CD;;;;;;;;;;;GAWG;AACH,wBAAsB,4BAA4B,IAAI,OAAO,CAAC;IAC5D,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE,aAAa,CAAC;CACzB,CAAC,CAmCD"}

package/dist/bridges/equations/be-37-shapiro-delay.js

@@ -148,6 +148,7 @@ import { tsym, contract } from '../../dimensional/tensor.js';
 import { metric, pderiv } from '../../dimensional/metric.js';
 import { evaluateNumerical } from '../../numerical/index.js';
 import { integrateRK4 } from '../../numerical/null-ray-integrator.js';
+import { C_SI, G_SI } from '../../core/constants.js';
 const sym = (name, dim) => ({ kind: 'symbol', name, dim });
 // --- Symbolic AST ---
 /** Symbol: Newton's gravitational constant G. Dim `[L³ M⁻¹ T⁻²]`. */
@@ -252,9 +253,7 @@ export function evaluateShapiroDelay(input) {
     if (R_near_m > R_far_m) {
         throw new RangeError(`evaluateShapiroDelay: R_near_m (${R_near_m}) must be ≤ R_far_m (${R_far_m}); ratio inside ln must be ≥ 1`);
     }
-    const G_SI = 6.67430e-11; // m³/(kg·s²) (CODATA 2018)
-    const c_SI = 299792458; // m/s (exact SI definition since 1983)
-    return ((2 * G_SI * M_kg) / Math.pow(c_SI, 3)) * Math.log(R_far_m / R_near_m);
+    return ((2 * G_SI * M_kg) / Math.pow(C_SI, 3)) * Math.log(R_far_m / R_near_m);
 }
 // --- Self-validation ---
 /**
@@ -398,20 +397,19 @@ function buildSchwarzschildEikonalInputs(r, G_SI, c_SI, M_kg) {
  * evaluateShapiroDelay().
  */
 export async function evaluateBE37EikonalNumerical() {
-    // Numeric constants — MUST match evaluateShapiroDelay's module-local
-    // G_SI / c_SI exactly so the closed-form cross-check is apples-to-apples.
-    const G_SI = 6.67430e-11; // m³/(kg·s²) — CODATA 2018
-    const c_SI = 299792458; // m/s — exact SI definition
+    // v0.5.1 PC-1: canonical constants from src/core/constants.ts — both
+    // evaluateShapiroDelay above and this evaluator now read the SAME source
+    // of truth, eliminating the prior local-literal duplication.
     const scenario = {
         M_kg: 1.989e30, // solar mass
         R_far_m: 1.5e11, // ~1 AU
         R_near_m: 1.0e9, // inner radius (R_near_m ≤ R_far_m, required)
     };
     const { M_kg, R_far_m, R_near_m } = scenario;
-    const k = (2 * G_SI * M_kg) / (c_SI * c_SI * c_SI); // 2GM/c³  [seconds]
+    const k = (2 * G_SI * M_kg) / (C_SI * C_SI * C_SI); // 2GM/c³  [seconds]
     // --- Part (a): lower BE37_EIKONAL_LHS with concrete Schwarzschild g^μν ---
     const rMid = 0.5 * (R_near_m + R_far_m);
-    const inputs = buildSchwarzschildEikonalInputs(rMid, G_SI, c_SI, M_kg);
+    const inputs = buildSchwarzschildEikonalInputs(rMid, G_SI, C_SI, M_kg);
     const eikonal = await evaluateNumerical(BE37_EIKONAL_LHS, inputs);
     const eikonalResidual = eikonal.value;
     // --- Part (b): RK4-integrate the Shapiro delay along the radial null ray.

package/dist/bridges/equations/be-37-shapiro-delay.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-37-shapiro-delay.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-37-shapiro-delay.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8IG;AAQH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,IAAI,EACJ,IAAI,EACJ,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,gCAAgC,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AAEtE,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF,uBAAuB;AAEvB,qEAAqE;AACrE,MAAM,CAAC,MAAM,MAAM,GAAa,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;AAE5C,qDAAqD;AACrD,MAAM,CAAC,MAAM,MAAM,GAAa,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAE/C,8DAA8D;AAC9D,MAAM,CAAC,MAAM,MAAM,GAAa,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;AAE5C,8CAA8C;AAC9C,MAAM,CAAC,MAAM,QAAQ,GAAa,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;AAE1D,uDAAuD;AACvD,MAAM,SAAS,GAAa,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;AAEpD;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;CAC1B,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE,CAAC,QAAQ,EAAE;oBACf,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;iBACvB,CAAC;SACH;QACD,YAAY;KACb;CACF,CAAC;AAEF,2DAA2D;AAC3D,MAAM,CAAC,MAAM,UAAU,GAAa,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAEzD,4DAA4D;AAC5D,MAAM,CAAC,MAAM,WAAW,GAAa,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AAE3D;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC;CAChC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAa,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;AAE1E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,cAAc,EAAE,eAAe,CAAC;CACxC,CAAC;AAEF,6CAA6C;AAC7C,MAAM,CAAC,MAAM,sBAAsB,GAAa,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;AAarE;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAoB;IACvD,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IAC1C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,UAAU,CAClB,oEAAoE,IAAI,EAAE,CAC3E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,UAAU,CAClB,uEAAuE,OAAO,EAAE,CACjF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,UAAU,CAClB,wEAAwE,QAAQ,EAAE,CACnF,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,GAAG,OAAO,EAAE,CAAC;QACvB,MAAM,IAAI,UAAU,CAClB,mCAAmC,QAAQ,wBAAwB,OAAO,gCAAgC,CAC3G,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,2BAA2B;IACrD,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,uCAAuC;IAC/D,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,QAAQ,CAAC,CAAC;AAChF,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,sBAAsB,EAAE,sBAAsB,CAAC,CAAC;IAC5E,MAAM,GAAG,GAAG,QAAQ,CAAC,sBAAsB,CAAC,CAAC;IAC7C,MAAM,GAAG,GAAG,QAAQ,CAAC,sBAAsB,CAAC,CAAC;IAC7C,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,2EAA2E;AAC3E,8EAA8E;AAC9E,EAAE;AACF,2EAA2E;AAC3E,4EAA4E;AAC5E,2EAA2E;AAC3E,uEAAuE;AACvE,yEAAyE;AACzE,4CAA4C;AAC5C,EAAE;AACF,qEAAqE;AACrE,uEAAuE;AACvE,0EAA0E;AAC1E,yEAAyE;AACzE,wEAAwE;AACxE,yEAAyE;AACzE,0EAA0E;AAC1E,qEAAqE;AACrE,wEAAwE;AACxE,yEAAyE;AACzE,qEAAqE;AACrE,+DAA+D;AAC/D,EAAE;AACF,qEAAqE;AACrE,oEAAoE;AAEpE;4BAC4B;AAC5B,MAAM,iBAAiB,GAAc,MAAM,CAAC;AAE5C;oDACoD;AACpD,MAAM,oBAAoB,GAAc,aAAa,CAAC;AAEtD,uEAAuE;AACvE,MAAM,OAAO,GAAqB,IAAI,CACpC,GAAG,EACH,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EACnC,MAAM,EACN,YAAY,CACb,CAAC;AAEF,gDAAgD;AAChD,MAAM,iBAAiB,GAAqB,MAAM,CAChD,WAAW,EACX;IACE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;IACjC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;CAClC,EACD,oBAAoB,EACpB,SAAS,CACV,CAAC;AAEF,6DAA6D;AAC7D,MAAM,SAAS,GAAqB,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,iBAAiB,CAAC,CAAC;AAErE,8EAA8E;AAC9E,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;AAE5E,4DAA4D;AAC5D,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;AAE5E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAa,QAAQ,CAAC,iBAAiB,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AAEpF;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,MAAM;IACZ,GAAG,EAAE,aAAa;CACnB,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,6BAA6B;IAC3C,MAAM,GAAG,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IACvC,MAAM,GAAG,GAAG,QAAQ,CAAC,qBAAqB,CAAC,CAAC;IAC5C,MAAM,EAAE,GAAG,gBAAgB,CAAC,gBAAgB,EAAE,qBAAqB,CAAC,CAAC;IACrE,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAS,+BAA+B,CACtC,CAAS,EAAE,IAAY,EAAE,IAAY,EAAE,IAAY;IAEnD,MAAM,GAAG,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,0BAA0B;IACzE,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;IAC/B,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;IACxB,MAAM,QAAQ,GAAG;QACf,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACd,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;QACd,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACZ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;KACb,CAAC;IACF,wDAAwD;IACxD,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7C,OAAO;QACL,OAAO,EAAE,IAAI,GAAG,CAAqB,CAAC,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC/D,WAAW,EAAE,IAAI,GAAG,CAAmB,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QACpE,SAAS,EAAE,CAAC;KACb,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B;IAMhD,qEAAqE;IACrE,0EAA0E;IAC1E,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,2BAA2B;IACrD,MAAM,IAAI,GAAG,SAAS,CAAC,CAAG,4BAA4B;IAEtD,MAAM,QAAQ,GAAkB;QAC9B,IAAI,EAAE,QAAQ,EAAK,aAAa;QAChC,OAAO,EAAE,MAAM,EAAI,QAAQ;QAC3B,QAAQ,EAAE,KAAK,EAAI,8CAA8C;KAClE,CAAC;IACF,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,QAAQ,CAAC;IAC7C,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,oBAAoB;IAExE,4EAA4E;IAC5E,MAAM,IAAI,GAAG,GAAG,GAAG,CAAC,QAAQ,GAAG,OAAO,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,+BAA+B,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;IAClE,MAAM,eAAe,GAAG,OAAO,CAAC,KAAe,CAAC;IAEhD,2EAA2E;IAC3E,iDAAiD;IACjD,gFAAgF;IAChF,MAAM,EAAE,GAAG,OAAO,GAAG,QAAQ,CAAC;IAC9B,MAAM,UAAU,GAAG,YAAY,CAC7B,CAAC,MAAM,EAAE,EAAE;QACT,MAAM,CAAC,GAAG,QAAQ,GAAG,MAAM,GAAG,EAAE,CAAC;QACjC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,CAAC,EACD,CAAC,CAAC,CAAC,EACH,CAAC,EAAE,CAAC,EACJ,IAAI,CACL,CAAC;IACF,MAAM,eAAe,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IACtC,MAAM,eAAe,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IAEvD,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC;AACzE,CAAC"}
+{"version":3,"file":"be-37-shapiro-delay.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-37-shapiro-delay.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8IG;AAQH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,IAAI,EACJ,IAAI,EACJ,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,gCAAgC,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAC;AAErD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF,uBAAuB;AAEvB,qEAAqE;AACrE,MAAM,CAAC,MAAM,MAAM,GAAa,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;AAE5C,qDAAqD;AACrD,MAAM,CAAC,MAAM,MAAM,GAAa,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAE/C,8DAA8D;AAC9D,MAAM,CAAC,MAAM,MAAM,GAAa,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;AAE5C,8CAA8C;AAC9C,MAAM,CAAC,MAAM,QAAQ,GAAa,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;AAE1D,uDAAuD;AACvD,MAAM,SAAS,GAAa,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;AAEpD;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;CAC1B,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE,CAAC,QAAQ,EAAE;oBACf,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;iBACvB,CAAC;SACH;QACD,YAAY;KACb;CACF,CAAC;AAEF,2DAA2D;AAC3D,MAAM,CAAC,MAAM,UAAU,GAAa,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAEzD,4DAA4D;AAC5D,MAAM,CAAC,MAAM,WAAW,GAAa,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AAE3D;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC;CAChC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAa,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;AAE1E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,cAAc,EAAE,eAAe,CAAC;CACxC,CAAC;AAEF,6CAA6C;AAC7C,MAAM,CAAC,MAAM,sBAAsB,GAAa,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;AAarE;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAoB;IACvD,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IAC1C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,UAAU,CAClB,oEAAoE,IAAI,EAAE,CAC3E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,UAAU,CAClB,uEAAuE,OAAO,EAAE,CACjF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,UAAU,CAClB,wEAAwE,QAAQ,EAAE,CACnF,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,GAAG,OAAO,EAAE,CAAC;QACvB,MAAM,IAAI,UAAU,CAClB,mCAAmC,QAAQ,wBAAwB,OAAO,gCAAgC,CAC3G,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,QAAQ,CAAC,CAAC;AAChF,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,sBAAsB,EAAE,sBAAsB,CAAC,CAAC;IAC5E,MAAM,GAAG,GAAG,QAAQ,CAAC,sBAAsB,CAAC,CAAC;IAC7C,MAAM,GAAG,GAAG,QAAQ,CAAC,sBAAsB,CAAC,CAAC;IAC7C,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,2EAA2E;AAC3E,8EAA8E;AAC9E,EAAE;AACF,2EAA2E;AAC3E,4EAA4E;AAC5E,2EAA2E;AAC3E,uEAAuE;AACvE,yEAAyE;AACzE,4CAA4C;AAC5C,EAAE;AACF,qEAAqE;AACrE,uEAAuE;AACvE,0EAA0E;AAC1E,yEAAyE;AACzE,wEAAwE;AACxE,yEAAyE;AACzE,0EAA0E;AAC1E,qEAAqE;AACrE,wEAAwE;AACxE,yEAAyE;AACzE,qEAAqE;AACrE,+DAA+D;AAC/D,EAAE;AACF,qEAAqE;AACrE,oEAAoE;AAEpE;4BAC4B;AAC5B,MAAM,iBAAiB,GAAc,MAAM,CAAC;AAE5C;oDACoD;AACpD,MAAM,oBAAoB,GAAc,aAAa,CAAC;AAEtD,uEAAuE;AACvE,MAAM,OAAO,GAAqB,IAAI,CACpC,GAAG,EACH,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EACnC,MAAM,EACN,YAAY,CACb,CAAC;AAEF,gDAAgD;AAChD,MAAM,iBAAiB,GAAqB,MAAM,CAChD,WAAW,EACX;IACE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;IACjC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;CAClC,EACD,oBAAoB,EACpB,SAAS,CACV,CAAC;AAEF,6DAA6D;AAC7D,MAAM,SAAS,GAAqB,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,iBAAiB,CAAC,CAAC;AAErE,8EAA8E;AAC9E,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;AAE5E,4DAA4D;AAC5D,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;AAE5E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAa,QAAQ,CAAC,iBAAiB,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AAEpF;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,MAAM;IACZ,GAAG,EAAE,aAAa;CACnB,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,6BAA6B;IAC3C,MAAM,GAAG,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IACvC,MAAM,GAAG,GAAG,QAAQ,CAAC,qBAAqB,CAAC,CAAC;IAC5C,MAAM,EAAE,GAAG,gBAAgB,CAAC,gBAAgB,EAAE,qBAAqB,CAAC,CAAC;IACrE,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAS,+BAA+B,CACtC,CAAS,EAAE,IAAY,EAAE,IAAY,EAAE,IAAY;IAEnD,MAAM,GAAG,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,0BAA0B;IACzE,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;IAC/B,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;IACxB,MAAM,QAAQ,GAAG;QACf,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACd,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;QACd,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACZ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;KACb,CAAC;IACF,wDAAwD;IACxD,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7C,OAAO;QACL,OAAO,EAAE,IAAI,GAAG,CAAqB,CAAC,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC/D,WAAW,EAAE,IAAI,GAAG,CAAmB,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QACpE,SAAS,EAAE,CAAC;KACb,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B;IAMhD,qEAAqE;IACrE,yEAAyE;IACzE,6DAA6D;IAC7D,MAAM,QAAQ,GAAkB;QAC9B,IAAI,EAAE,QAAQ,EAAK,aAAa;QAChC,OAAO,EAAE,MAAM,EAAI,QAAQ;QAC3B,QAAQ,EAAE,KAAK,EAAI,8CAA8C;KAClE,CAAC;IACF,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,QAAQ,CAAC;IAC7C,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,oBAAoB;IAExE,4EAA4E;IAC5E,MAAM,IAAI,GAAG,GAAG,GAAG,CAAC,QAAQ,GAAG,OAAO,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,+BAA+B,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;IAClE,MAAM,eAAe,GAAG,OAAO,CAAC,KAAe,CAAC;IAEhD,2EAA2E;IAC3E,iDAAiD;IACjD,gFAAgF;IAChF,MAAM,EAAE,GAAG,OAAO,GAAG,QAAQ,CAAC;IAC9B,MAAM,UAAU,GAAG,YAAY,CAC7B,CAAC,MAAM,EAAE,EAAE;QACT,MAAM,CAAC,GAAG,QAAQ,GAAG,MAAM,GAAG,EAAE,CAAC;QACjC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,CAAC,EACD,CAAC,CAAC,CAAC,EACH,CAAC,EAAE,CAAC,EACJ,IAAI,CACL,CAAC;IACF,MAAM,eAAe,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IACtC,MAAM,eAAe,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IAEvD,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC;AACzE,CAAC"}

package/dist/bridges/gravitational-lensing.d.ts

@@ -42,8 +42,19 @@ export interface GravitationalLensingResult {
  * Evaluate the Eddington 1919 gravitational lensing deflection angle
  * for a point mass M at impact parameter b.
  *
- * @param inputs - `{ M_kg, b_m }` — lensing mass and impact parameter.
- * @returns `{ alpha_rad, alpha_arcsec, M_kg, b_m }`.
+ * Closed-form formula: `α = 4 G M / (b c²)`.
+ *
+ * @param inputs - `{ M_kg, b_m }`:
+ *   - `M_kg` — lensing (point) mass in **kilograms** (SI). Must be finite;
+ *     no positivity check (a negative mass yields a negative deflection by
+ *     the linear formula, which the caller may exploit for symmetry tests).
+ *   - `b_m` — impact parameter (closest approach distance) in **metres**
+ *     (SI). Must be strictly positive.
+ * @returns `{ alpha_rad, alpha_arcsec, M_kg, b_m }`:
+ *   - `alpha_rad` — deflection angle in **radians** (dimensionless SI).
+ *   - `alpha_arcsec` — deflection angle in **arc-seconds**
+ *     (1 rad = 180/π × 3600 ≈ 206264.806 arcsec).
+ *   - `M_kg`, `b_m` — input echoes (same units as above).
  * @throws {RangeError} if `b_m ≤ 0`.
  *
  * @public

package/dist/bridges/gravitational-lensing.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"gravitational-lensing.d.ts","sourceRoot":"","sources":["../../src/bridges/gravitational-lensing.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAOH,MAAM,WAAW,0BAA0B;IACzC,iCAAiC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8DAA8D;IAC9D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,0BAA0B;IACzC,kDAAkD;IAClD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,8DAA8D;IAC9D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,2CAA2C;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8CAA8C;IAC9C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;;;;GASG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,0BAA0B,GACjC,0BAA0B,CAU5B"}
+{"version":3,"file":"gravitational-lensing.d.ts","sourceRoot":"","sources":["../../src/bridges/gravitational-lensing.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAOH,MAAM,WAAW,0BAA0B;IACzC,iCAAiC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8DAA8D;IAC9D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,0BAA0B;IACzC,kDAAkD;IAClD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,8DAA8D;IAC9D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,2CAA2C;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8CAA8C;IAC9C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,0BAA0B,GACjC,0BAA0B,CAU5B"}

package/dist/bridges/gravitational-lensing.js

@@ -22,16 +22,27 @@
  *
  * @module bridges/gravitational-lensing
  */
-// Numerical SI constants — not the dimensional Dimension objects from
-// src/dimensional/constants.ts, which carry only SI dimension signatures.
-const G_SI = 6.6743e-11; // m³ kg⁻¹ s⁻²  (CODATA 2018)
-const c_SI = 2.998e8; // m s⁻¹          (CODATA 2018)
+// Numerical SI constants — canonical CODATA 2018 / exact-SI values from
+// src/core/constants.ts (v0.5.1 PC-1 canonicalization). NOT the dimensional
+// Dimension objects from src/dimensional/constants.ts.
+import { C_SI as c_SI, G_SI } from '../core/constants.js';
 /**
  * Evaluate the Eddington 1919 gravitational lensing deflection angle
  * for a point mass M at impact parameter b.
  *
- * @param inputs - `{ M_kg, b_m }` — lensing mass and impact parameter.
- * @returns `{ alpha_rad, alpha_arcsec, M_kg, b_m }`.
+ * Closed-form formula: `α = 4 G M / (b c²)`.
+ *
+ * @param inputs - `{ M_kg, b_m }`:
+ *   - `M_kg` — lensing (point) mass in **kilograms** (SI). Must be finite;
+ *     no positivity check (a negative mass yields a negative deflection by
+ *     the linear formula, which the caller may exploit for symmetry tests).
+ *   - `b_m` — impact parameter (closest approach distance) in **metres**
+ *     (SI). Must be strictly positive.
+ * @returns `{ alpha_rad, alpha_arcsec, M_kg, b_m }`:
+ *   - `alpha_rad` — deflection angle in **radians** (dimensionless SI).
+ *   - `alpha_arcsec` — deflection angle in **arc-seconds**
+ *     (1 rad = 180/π × 3600 ≈ 206264.806 arcsec).
+ *   - `M_kg`, `b_m` — input echoes (same units as above).
  * @throws {RangeError} if `b_m ≤ 0`.
  *
  * @public

package/dist/bridges/gravitational-lensing.js.map

@@ -1 +1 @@
-{"version":3,"file":"gravitational-lensing.js","sourceRoot":"","sources":["../../src/bridges/gravitational-lensing.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,sEAAsE;AACtE,0EAA0E;AAC1E,MAAM,IAAI,GAAG,UAAU,CAAC,CAAE,6BAA6B;AACvD,MAAM,IAAI,GAAG,OAAO,CAAC,CAAK,+BAA+B;AAoBzD;;;;;;;;;GASG;AACH,MAAM,UAAU,4BAA4B,CAC1C,MAAkC;IAElC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC;IAC7B,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;QACf,MAAM,IAAI,UAAU,CAClB,2DAA2D,GAAG,GAAG,CAClE,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;IAC1D,MAAM,YAAY,GAAG,SAAS,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC;IACxD,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAChD,CAAC"}
+{"version":3,"file":"gravitational-lensing.js","sourceRoot":"","sources":["../../src/bridges/gravitational-lensing.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,wEAAwE;AACxE,4EAA4E;AAC5E,uDAAuD;AACvD,OAAO,EAAE,IAAI,IAAI,IAAI,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAoB1D;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,4BAA4B,CAC1C,MAAkC;IAElC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC;IAC7B,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;QACf,MAAM,IAAI,UAAU,CAClB,2DAA2D,GAAG,GAAG,CAClE,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;IAC1D,MAAM,YAAY,GAAG,SAAS,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC;IACxD,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAChD,CAAC"}

package/dist/bridges/perihelion-precession.d.ts

@@ -51,9 +51,24 @@ export interface PerihelionPrecessionResult {
  * Evaluate the Einstein 1915 GR perihelion precession for a bound elliptical
  * orbit around a central mass M.
  *
- * @param inputs - `{ M_kg, a_m, e, T_yr }` — mass, semi-major axis,
- *   eccentricity, and orbital period.
- * @returns `{ dphi_rad_per_orbit, dphi_arcsec_per_orbit, dphi_arcsec_per_century, M_kg, a_m, e }`.
+ * Closed-form formula: `Δφ = 6π G M / (a (1 − e²) c²)`.
+ *
+ * @param inputs - `{ M_kg, a_m, e, T_yr }`:
+ *   - `M_kg` — central gravitating mass in **kilograms** (SI). E.g. solar
+ *     mass 1.989 × 10³⁰ kg.
+ *   - `a_m` — orbital semi-major axis in **metres** (SI). Must be strictly
+ *     positive.
+ *   - `e` — orbital eccentricity (dimensionless). Must satisfy 0 ≤ e < 1
+ *     (bound elliptical orbits only; e = 0 gives a circle, e → 1 a
+ *     parabolic escape limit).
+ *   - `T_yr` — orbital period in **Julian years** (1 yr = 365.25 d).
+ *     Used only for the per-century conversion. Must be strictly positive.
+ * @returns `{ dphi_rad_per_orbit, dphi_arcsec_per_orbit, dphi_arcsec_per_century, M_kg, a_m, e }`:
+ *   - `dphi_rad_per_orbit` — GR perihelion advance per orbit in **radians**.
+ *   - `dphi_arcsec_per_orbit` — same, in **arc-seconds**.
+ *   - `dphi_arcsec_per_century` — secular advance in **arc-seconds per
+ *     Julian century** (×100/T_yr).
+ *   - `M_kg`, `a_m`, `e` — input echoes (same units as above).
  * @throws {RangeError} if `a_m ≤ 0`, `T_yr ≤ 0`, or `e` is outside [0, 1).
  *
  * @public

package/dist/bridges/perihelion-precession.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"perihelion-precession.d.ts","sourceRoot":"","sources":["../../src/bridges/perihelion-precession.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAQH,MAAM,WAAW,0BAA0B;IACzC,+DAA+D;IAC/D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,oEAAoE;IACpE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,6EAA6E;IAC7E,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,oGAAoG;IACpG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,0BAA0B;IACzC,yEAAyE;IACzE,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,sDAAsD;IACtD,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,wDAAwD;IACxD,QAAQ,CAAC,uBAAuB,EAAE,MAAM,CAAC;IACzC,2CAA2C;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6CAA6C;IAC7C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,sCAAsC;IACtC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,0BAA0B,GACjC,0BAA0B,CAqC5B"}
+{"version":3,"file":"perihelion-precession.d.ts","sourceRoot":"","sources":["../../src/bridges/perihelion-precession.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAOH,MAAM,WAAW,0BAA0B;IACzC,+DAA+D;IAC/D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,oEAAoE;IACpE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,6EAA6E;IAC7E,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,oGAAoG;IACpG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,0BAA0B;IACzC,yEAAyE;IACzE,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,sDAAsD;IACtD,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,wDAAwD;IACxD,QAAQ,CAAC,uBAAuB,EAAE,MAAM,CAAC;IACzC,2CAA2C;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6CAA6C;IAC7C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,sCAAsC;IACtC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,0BAA0B,GACjC,0BAA0B,CAqC5B"}

package/dist/bridges/perihelion-precession.js

@@ -23,18 +23,32 @@
  *
  * @module bridges/perihelion-precession
  */
-// Numerical SI constants — matching the pattern established in gravitational-lensing.ts.
-// Not the dimensional Dimension objects from src/dimensional/constants.ts,
-// which carry only SI dimension signatures.
-const G_SI = 6.6743e-11; // m³ kg⁻¹ s⁻²  (CODATA 2018)
-const c_SI = 2.998e8; // m s⁻¹          (CODATA 2018)
+// Numerical SI constants — canonical CODATA 2018 / exact-SI values from
+// src/core/constants.ts (v0.5.1 PC-1 canonicalization). NOT the dimensional
+// Dimension objects from src/dimensional/constants.ts.
+import { C_SI as c_SI, G_SI } from '../core/constants.js';
 /**
  * Evaluate the Einstein 1915 GR perihelion precession for a bound elliptical
  * orbit around a central mass M.
  *
- * @param inputs - `{ M_kg, a_m, e, T_yr }` — mass, semi-major axis,
- *   eccentricity, and orbital period.
- * @returns `{ dphi_rad_per_orbit, dphi_arcsec_per_orbit, dphi_arcsec_per_century, M_kg, a_m, e }`.
+ * Closed-form formula: `Δφ = 6π G M / (a (1 − e²) c²)`.
+ *
+ * @param inputs - `{ M_kg, a_m, e, T_yr }`:
+ *   - `M_kg` — central gravitating mass in **kilograms** (SI). E.g. solar
+ *     mass 1.989 × 10³⁰ kg.
+ *   - `a_m` — orbital semi-major axis in **metres** (SI). Must be strictly
+ *     positive.
+ *   - `e` — orbital eccentricity (dimensionless). Must satisfy 0 ≤ e < 1
+ *     (bound elliptical orbits only; e = 0 gives a circle, e → 1 a
+ *     parabolic escape limit).
+ *   - `T_yr` — orbital period in **Julian years** (1 yr = 365.25 d).
+ *     Used only for the per-century conversion. Must be strictly positive.
+ * @returns `{ dphi_rad_per_orbit, dphi_arcsec_per_orbit, dphi_arcsec_per_century, M_kg, a_m, e }`:
+ *   - `dphi_rad_per_orbit` — GR perihelion advance per orbit in **radians**.
+ *   - `dphi_arcsec_per_orbit` — same, in **arc-seconds**.
+ *   - `dphi_arcsec_per_century` — secular advance in **arc-seconds per
+ *     Julian century** (×100/T_yr).
+ *   - `M_kg`, `a_m`, `e` — input echoes (same units as above).
  * @throws {RangeError} if `a_m ≤ 0`, `T_yr ≤ 0`, or `e` is outside [0, 1).
  *
  * @public

package/dist/bridges/perihelion-precession.js.map

@@ -1 +1 @@
-{"version":3,"file":"perihelion-precession.js","sourceRoot":"","sources":["../../src/bridges/perihelion-precession.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,yFAAyF;AACzF,2EAA2E;AAC3E,4CAA4C;AAC5C,MAAM,IAAI,GAAG,UAAU,CAAC,CAAE,6BAA6B;AACvD,MAAM,IAAI,GAAG,OAAO,CAAC,CAAK,+BAA+B;AA4BzD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,4BAA4B,CAC1C,MAAkC;IAElC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC;IAEtC,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;QACf,MAAM,IAAI,UAAU,CAClB,2DAA2D,GAAG,GAAG,CAClE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC;QAChB,MAAM,IAAI,UAAU,CAClB,4DAA4D,IAAI,GAAG,CACpE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,UAAU,CAClB,yFAAyF,CAAC,GAAG,CAC9F,CAAC;IACJ,CAAC;IAED,8BAA8B;IAC9B,MAAM,kBAAkB,GACtB,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;IAElE,MAAM,WAAW,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAW,gBAAgB;IACtE,MAAM,qBAAqB,GAAG,kBAAkB,GAAG,WAAW,CAAC;IAE/D,MAAM,kBAAkB,GAAG,GAAG,GAAG,IAAI,CAAC;IACtC,MAAM,uBAAuB,GAAG,qBAAqB,GAAG,kBAAkB,CAAC;IAE3E,OAAO;QACL,kBAAkB;QAClB,qBAAqB;QACrB,uBAAuB;QACvB,IAAI;QACJ,GAAG;QACH,CAAC;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"perihelion-precession.js","sourceRoot":"","sources":["../../src/bridges/perihelion-precession.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,wEAAwE;AACxE,4EAA4E;AAC5E,uDAAuD;AACvD,OAAO,EAAE,IAAI,IAAI,IAAI,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AA4B1D;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,UAAU,4BAA4B,CAC1C,MAAkC;IAElC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC;IAEtC,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;QACf,MAAM,IAAI,UAAU,CAClB,2DAA2D,GAAG,GAAG,CAClE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC;QAChB,MAAM,IAAI,UAAU,CAClB,4DAA4D,IAAI,GAAG,CACpE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,UAAU,CAClB,yFAAyF,CAAC,GAAG,CAC9F,CAAC;IACJ,CAAC;IAED,8BAA8B;IAC9B,MAAM,kBAAkB,GACtB,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;IAElE,MAAM,WAAW,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAW,gBAAgB;IACtE,MAAM,qBAAqB,GAAG,kBAAkB,GAAG,WAAW,CAAC;IAE/D,MAAM,kBAAkB,GAAG,GAAG,GAAG,IAAI,CAAC;IACtC,MAAM,uBAAuB,GAAG,qBAAqB,GAAG,kBAAkB,CAAC;IAE3E,OAAO;QACL,kBAAkB;QAClB,qBAAqB;QACrB,uBAAuB;QACvB,IAAI;QACJ,GAAG;QACH,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/core/constants.d.ts

@@ -0,0 +1,50 @@
+/**
+ * Canonical CODATA 2018 + SI-defined physical constants for UPT (v0.5.1).
+ *
+ * Single source of truth for fundamental physical constants used across the
+ * numerical, dimensional, and bridge layers. Replaces the truncated local
+ * literals (`c_SI = 2.998e8`, etc.) that drifted across `src/numerical/`,
+ * `src/bridges/`, and `tests/fixtures/` — see audit `PC-1` in
+ * `docs/architecture/v0.5.1-audit.md`.
+ *
+ * Values use:
+ *   • Exact-SI definitions (`C_SI`, `H_SI`, `K_B_SI`, `E_SI`) where the
+ *     2019 SI redefinition fixed their values exactly.
+ *   • CODATA 2018 best estimates for measured constants (`G_SI`, `HBAR_SI`,
+ *     `ALPHA`, Planck units).
+ *   • Planck 2018 best estimate for `H0_SI`.
+ *
+ * The `PhysicalConstants` namespace in `src/core/types.ts` is retained for
+ * backwards-compat; new code should prefer these flat exports.
+ *
+ * @module core/constants
+ * @public
+ */
+/** Speed of light in vacuum (m/s). Exact SI definition since 1983. */
+export declare const C_SI = 299792458;
+/** Newtonian gravitational constant (m³ kg⁻¹ s⁻²). CODATA 2018. */
+export declare const G_SI = 6.6743e-11;
+/** Planck constant (J·s). Exact SI definition since 2019. */
+export declare const H_SI = 6.62607015e-34;
+/** Reduced Planck constant h/(2π) (J·s). CODATA 2018. */
+export declare const HBAR_SI = 1.054571817e-34;
+/** Boltzmann constant (J/K). Exact SI definition since 2019. */
+export declare const K_B_SI = 1.380649e-23;
+/** Elementary charge (C). Exact SI definition since 2019. */
+export declare const E_SI = 1.602176634e-19;
+/** Fine-structure constant α (dimensionless). CODATA 2018. */
+export declare const ALPHA = 0.0072973525693;
+/** Planck mass √(ℏc/G) (kg). CODATA 2018. */
+export declare const M_P_SI = 2.176434e-8;
+/** Planck length √(ℏG/c³) (m). CODATA 2018. */
+export declare const L_P_SI = 1.616255e-35;
+/** Planck time √(ℏG/c⁵) (s). CODATA 2018. */
+export declare const T_P_SI = 5.391247e-44;
+/**
+ * Hubble parameter H₀ (s⁻¹).
+ *
+ * Planck 2018 TT,TE,EE+lowE+lensing best estimate: 67.4 km/s/Mpc, converted
+ * to SI using 1 Mpc = 3.0857×10²² m.
+ */
+export declare const H0_SI: number;
+//# sourceMappingURL=constants.d.ts.map

package/dist/core/constants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../../src/core/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,sEAAsE;AACtE,eAAO,MAAM,IAAI,YAAY,CAAC;AAE9B,mEAAmE;AACnE,eAAO,MAAM,IAAI,aAAc,CAAC;AAEhC,6DAA6D;AAC7D,eAAO,MAAM,IAAI,iBAAiB,CAAC;AAEnC,yDAAyD;AACzD,eAAO,MAAM,OAAO,kBAAkB,CAAC;AAEvC,gEAAgE;AAChE,eAAO,MAAM,MAAM,eAAe,CAAC;AAEnC,6DAA6D;AAC7D,eAAO,MAAM,IAAI,kBAAkB,CAAC;AAEpC,8DAA8D;AAC9D,eAAO,MAAM,KAAK,kBAAkB,CAAC;AAErC,6CAA6C;AAC7C,eAAO,MAAM,MAAM,cAAc,CAAC;AAElC,+CAA+C;AAC/C,eAAO,MAAM,MAAM,eAAe,CAAC;AAEnC,6CAA6C;AAC7C,eAAO,MAAM,MAAM,eAAe,CAAC;AAEnC;;;;;GAKG;AACH,eAAO,MAAM,KAAK,QAAqB,CAAC"}

package/dist/core/constants.js

@@ -0,0 +1,50 @@
+/**
+ * Canonical CODATA 2018 + SI-defined physical constants for UPT (v0.5.1).
+ *
+ * Single source of truth for fundamental physical constants used across the
+ * numerical, dimensional, and bridge layers. Replaces the truncated local
+ * literals (`c_SI = 2.998e8`, etc.) that drifted across `src/numerical/`,
+ * `src/bridges/`, and `tests/fixtures/` — see audit `PC-1` in
+ * `docs/architecture/v0.5.1-audit.md`.
+ *
+ * Values use:
+ *   • Exact-SI definitions (`C_SI`, `H_SI`, `K_B_SI`, `E_SI`) where the
+ *     2019 SI redefinition fixed their values exactly.
+ *   • CODATA 2018 best estimates for measured constants (`G_SI`, `HBAR_SI`,
+ *     `ALPHA`, Planck units).
+ *   • Planck 2018 best estimate for `H0_SI`.
+ *
+ * The `PhysicalConstants` namespace in `src/core/types.ts` is retained for
+ * backwards-compat; new code should prefer these flat exports.
+ *
+ * @module core/constants
+ * @public
+ */
+/** Speed of light in vacuum (m/s). Exact SI definition since 1983. */
+export const C_SI = 299792458;
+/** Newtonian gravitational constant (m³ kg⁻¹ s⁻²). CODATA 2018. */
+export const G_SI = 6.67430e-11;
+/** Planck constant (J·s). Exact SI definition since 2019. */
+export const H_SI = 6.62607015e-34;
+/** Reduced Planck constant h/(2π) (J·s). CODATA 2018. */
+export const HBAR_SI = 1.054571817e-34;
+/** Boltzmann constant (J/K). Exact SI definition since 2019. */
+export const K_B_SI = 1.380649e-23;
+/** Elementary charge (C). Exact SI definition since 2019. */
+export const E_SI = 1.602176634e-19;
+/** Fine-structure constant α (dimensionless). CODATA 2018. */
+export const ALPHA = 7.2973525693e-3;
+/** Planck mass √(ℏc/G) (kg). CODATA 2018. */
+export const M_P_SI = 2.176434e-8;
+/** Planck length √(ℏG/c³) (m). CODATA 2018. */
+export const L_P_SI = 1.616255e-35;
+/** Planck time √(ℏG/c⁵) (s). CODATA 2018. */
+export const T_P_SI = 5.391247e-44;
+/**
+ * Hubble parameter H₀ (s⁻¹).
+ *
+ * Planck 2018 TT,TE,EE+lowE+lensing best estimate: 67.4 km/s/Mpc, converted
+ * to SI using 1 Mpc = 3.0857×10²² m.
+ */
+export const H0_SI = 67.4e3 / 3.0857e22;
+//# sourceMappingURL=constants.js.map

package/dist/core/constants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constants.js","sourceRoot":"","sources":["../../src/core/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,sEAAsE;AACtE,MAAM,CAAC,MAAM,IAAI,GAAG,SAAS,CAAC;AAE9B,mEAAmE;AACnE,MAAM,CAAC,MAAM,IAAI,GAAG,WAAW,CAAC;AAEhC,6DAA6D;AAC7D,MAAM,CAAC,MAAM,IAAI,GAAG,cAAc,CAAC;AAEnC,yDAAyD;AACzD,MAAM,CAAC,MAAM,OAAO,GAAG,eAAe,CAAC;AAEvC,gEAAgE;AAChE,MAAM,CAAC,MAAM,MAAM,GAAG,YAAY,CAAC;AAEnC,6DAA6D;AAC7D,MAAM,CAAC,MAAM,IAAI,GAAG,eAAe,CAAC;AAEpC,8DAA8D;AAC9D,MAAM,CAAC,MAAM,KAAK,GAAG,eAAe,CAAC;AAErC,6CAA6C;AAC7C,MAAM,CAAC,MAAM,MAAM,GAAG,WAAW,CAAC;AAElC,+CAA+C;AAC/C,MAAM,CAAC,MAAM,MAAM,GAAG,YAAY,CAAC;AAEnC,6CAA6C;AAC7C,MAAM,CAAC,MAAM,MAAM,GAAG,YAAY,CAAC;AAEnC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,GAAG,SAAS,CAAC"}

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

@@ -6,13 +6,21 @@
  * validator.ts merges into its InferContext accumulator.
  *
  * Per v0.4.0-Design.md §4 + §7 (docs/specification/Part-IX-Connection-Layer.md
- * not yet written as of v0.4.6).
+ * — pending).
  *
  * @module dimensional/connection-validators
  */
 import type { Dimension } from './types.js';
-import type { Role } from './tensor.js';
+import type { Role, TensorSymbolNode } from './tensor.js';
 import type { MetricTensorNode, CovariantIndex, PartialDerivativeChildResult } from './metric-validators.js';
+/**
+ * v0.5.0: upper-only index marker (mirror of CovariantIndex). Used by
+ * RiemannTensorNode to type-pin the ρ slot at compile time.
+ */
+export interface UpperIndex {
+    readonly label: string;
+    readonly variance: 'upper';
+}
 /**
  * ExprNode-like — uses `unknown` for `of`/`wrt` because connection-validators.ts
  * MUST NOT import from validator.ts (module cycle). The validator's case arm
@@ -50,4 +58,54 @@ export interface CovariantDerivativeValidationResult {
  * (same structural rule as tensor-partial-derivative).
  */
 export declare function validateCovariantDerivative(node: CovariantDerivativeNode, validateChild: (child: unknown) => PartialDerivativeChildResult): CovariantDerivativeValidationResult;
+/**
+ * v0.5.0 (Task 1c-i): Riemann curvature tensor AST node R^ρ_{σμν}.
+ *
+ * Index convention per Carroll Ch. 3 §3.4 (Adam+Eve F4/S3):
+ *   R^ρ_σμν = ∂_μ Γ^ρ_σν − ∂_ν Γ^ρ_σμ + Γ^ρ_λμ Γ^λ_σν − Γ^ρ_λν Γ^λ_σμ
+ * (σ in SECOND lower slot of each Γ.)
+ *
+ * Dimension F8/I3: Riemann is 1/L² (inverse length squared), NOT
+ * dimensionless. Carroll Ch. 3 §3.4: R^ρ_σμν has units of (∂Γ) where
+ * Γ ~ 1/L and ∂ ~ 1/L → R ~ 1/L².
+ *
+ * H1 (v0.4.0 pattern): gLower, gInverse, xCoord sub-nodes are present for
+ * downstream consumers (numerical lowering at Task 6), but their free
+ * indices are NOT propagated — the Riemann formula's contractions consume
+ * them internally. Same rule as CovariantDerivativeNode.
+ */
+export interface RiemannTensorNode {
+    readonly kind: 'riemann-tensor';
+    readonly upperIndex: UpperIndex;
+    readonly lowerIndices: readonly [CovariantIndex, CovariantIndex, CovariantIndex];
+    readonly gLower: MetricTensorNode;
+    readonly gInverse: MetricTensorNode;
+    readonly xCoord: TensorSymbolNode;
+}
+export interface RiemannTensorValidationResult {
+    readonly dim: Dimension;
+    readonly freeIndices: Map<string, {
+        upper: number;
+        lower: number;
+    }>;
+}
+/**
+ * Validate a riemann-tensor node.
+ *
+ * Throws:
+ *   - PartialDerivativeIndexVarianceError if upperIndex.variance !== 'upper'
+ *     or any lowerIndices[i].variance !== 'lower'
+ *   - MetricSignatureError if gLower / gInverse signature is wrong (reuses
+ *     CovariantDerivativeNode's structural checks)
+ *   - IndexLabelCollisionError if the 4 free-index labels {ρ, σ, μ, ν} are
+ *     not pairwise distinct (M9: disjointness only on the riemann node's
+ *     own free labels; raise/lower aliasing in surrounding algebra remains
+ *     legal — we do NOT compare against gLower/gInverse/xCoord labels).
+ *
+ * H1 (v0.4.0 pattern): gLower/gInverse/xCoord are NOT validated via the
+ * validateChild callback, so their free indices do not propagate. They are
+ * signature-checked here for early structural error reporting; their
+ * numerical contents are consumed by Task 6's lowering helper.
+ */
+export declare function validateRiemannTensor(node: RiemannTensorNode): RiemannTensorValidationResult;
 //# 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,MAAM,aAAa,CAAC;AAExC,OAAO,KAAK,EACV,gBAAgB,EAChB,cAAc,EACd,4BAA4B,EAC7B,MAAM,wBAAwB,CAAC;AAOhC;;;;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"}
+{"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"}

package/dist/dimensional/connection-validators.js

@@ -6,12 +6,12 @@
  * validator.ts merges into its InferContext accumulator.
  *
  * Per v0.4.0-Design.md §4 + §7 (docs/specification/Part-IX-Connection-Layer.md
- * not yet written as of v0.4.6).
+ * — pending).
  *
  * @module dimensional/connection-validators
  */
 import { divide } from './algebra.js';
-import { PartialDerivativeIndexVarianceError, MetricSignatureError, DuplicateCoordinateWarning, } from './errors.js';
+import { PartialDerivativeIndexVarianceError, MetricSignatureError, DuplicateCoordinateWarning, IndexLabelCollisionError, } from './errors.js';
 /**
  * Validate a covariant-derivative node. Pure-function module-cycle-free
  * pattern (matches validatePartialDerivative). Recursion via the
@@ -80,4 +80,78 @@ export function validateCovariantDerivative(node, validateChild) {
         ? { dim, freeIndices, role: ofResult.role }
         : { dim, freeIndices };
 }
+/**
+ * Validate a riemann-tensor node.
+ *
+ * Throws:
+ *   - PartialDerivativeIndexVarianceError if upperIndex.variance !== 'upper'
+ *     or any lowerIndices[i].variance !== 'lower'
+ *   - MetricSignatureError if gLower / gInverse signature is wrong (reuses
+ *     CovariantDerivativeNode's structural checks)
+ *   - IndexLabelCollisionError if the 4 free-index labels {ρ, σ, μ, ν} are
+ *     not pairwise distinct (M9: disjointness only on the riemann node's
+ *     own free labels; raise/lower aliasing in surrounding algebra remains
+ *     legal — we do NOT compare against gLower/gInverse/xCoord labels).
+ *
+ * H1 (v0.4.0 pattern): gLower/gInverse/xCoord are NOT validated via the
+ * validateChild callback, so their free indices do not propagate. They are
+ * signature-checked here for early structural error reporting; their
+ * numerical contents are consumed by Task 6's lowering helper.
+ */
+export function validateRiemannTensor(node) {
+    if (node.upperIndex.variance !== 'upper') {
+        throw new PartialDerivativeIndexVarianceError(`riemann-tensor: upperIndex '${node.upperIndex.label}' must be 'upper', ` +
+            `got '${node.upperIndex.variance}'`);
+    }
+    for (let i = 0; i < 3; i++) {
+        const idx = node.lowerIndices[i];
+        if (idx.variance !== 'lower') {
+            throw new PartialDerivativeIndexVarianceError(`riemann-tensor: lowerIndices[${i}] '${idx.label}' must be 'lower', ` +
+                `got '${idx.variance}'`);
+        }
+    }
+    if (node.gLower.indices[0].variance !== 'lower' ||
+        node.gLower.indices[1].variance !== 'lower') {
+        throw new MetricSignatureError(node.gLower.name, `riemann-tensor requires gLower to be both-lower (got ` +
+            `[${node.gLower.indices[0].variance}, ${node.gLower.indices[1].variance}])`);
+    }
+    if (node.gInverse.indices[0].variance !== 'upper' ||
+        node.gInverse.indices[1].variance !== 'upper') {
+        throw new MetricSignatureError(node.gInverse.name, `riemann-tensor requires gInverse to be both-upper (got ` +
+            `[${node.gInverse.indices[0].variance}, ${node.gInverse.indices[1].variance}])`);
+    }
+    // M9: disjointness on the riemann-tensor's own 4 free labels only.
+    // Repeated labels across {ρ, σ, μ, ν} would imply an implicit contraction
+    // (e.g. R^μ_μνλ = R_νλ), which is the Ricci-tensor node's job — not the
+    // bare Riemann node's. We deliberately do NOT compare against gLower /
+    // gInverse / xCoord labels: those are H1-suppressed dummies, and legal
+    // post-raise/lower algebra may reuse those labels (see plan §M9).
+    const labels = [
+        node.upperIndex.label,
+        node.lowerIndices[0].label,
+        node.lowerIndices[1].label,
+        node.lowerIndices[2].label,
+    ];
+    const seen = new Set();
+    for (const label of labels) {
+        if (seen.has(label)) {
+            throw new IndexLabelCollisionError(label, 2, ['riemann-tensor']);
+        }
+        seen.add(label);
+    }
+    const freeIndices = new Map();
+    freeIndices.set(node.upperIndex.label, { upper: 1, lower: 0 });
+    for (const idx of node.lowerIndices) {
+        freeIndices.set(idx.label, { upper: 0, lower: 1 });
+    }
+    // F8/I3: Riemann carries inverse-length-squared. Hard-coded — same shape
+    // as the dim is structurally fixed for every Riemann tensor regardless of
+    // metric dim. (The metric is treated as dimensionless per our convention.)
+    const dim = { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };
+    // Role intentionally omitted — Riemann is a derived curvature object,
+    // not a primary field; downstream tensor-product / equation consumers
+    // don't need a role tag here. Mirrors CovariantDerivativeNode's
+    // role-on-passthrough-only pattern.
+    return { dim, freeIndices };
+}
 //# sourceMappingURL=connection-validators.js.map

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,GAC3B,MAAM,aAAa,CAAC;AAsBrB;;;;;;;;;;;;;;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"}
+{"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"}