universal-physics-tensor 0.5.0 → 0.5.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (59) hide show
  1. package/dist/bridges/equations/be-37-shapiro-delay.d.ts.map +1 -1
  2. package/dist/bridges/equations/be-37-shapiro-delay.js +7 -9
  3. package/dist/bridges/equations/be-37-shapiro-delay.js.map +1 -1
  4. package/dist/bridges/gravitational-lensing.d.ts +13 -2
  5. package/dist/bridges/gravitational-lensing.d.ts.map +1 -1
  6. package/dist/bridges/gravitational-lensing.js +17 -6
  7. package/dist/bridges/gravitational-lensing.js.map +1 -1
  8. package/dist/bridges/perihelion-precession.d.ts +18 -3
  9. package/dist/bridges/perihelion-precession.d.ts.map +1 -1
  10. package/dist/bridges/perihelion-precession.js +22 -8
  11. package/dist/bridges/perihelion-precession.js.map +1 -1
  12. package/dist/core/constants.d.ts +50 -0
  13. package/dist/core/constants.d.ts.map +1 -0
  14. package/dist/core/constants.js +50 -0
  15. package/dist/core/constants.js.map +1 -0
  16. package/dist/dimensional/connection-validators.d.ts +1 -1
  17. package/dist/dimensional/connection-validators.js +1 -1
  18. package/dist/dimensional/curvature.d.ts +36 -11
  19. package/dist/dimensional/curvature.d.ts.map +1 -1
  20. package/dist/dimensional/curvature.js +19 -11
  21. package/dist/dimensional/curvature.js.map +1 -1
  22. package/dist/index.d.ts +1 -0
  23. package/dist/index.d.ts.map +1 -1
  24. package/dist/index.js +4 -0
  25. package/dist/index.js.map +1 -1
  26. package/dist/numerical/be37-covariant-eikonal.d.ts +18 -2
  27. package/dist/numerical/be37-covariant-eikonal.d.ts.map +1 -1
  28. package/dist/numerical/be37-covariant-eikonal.js +22 -5
  29. package/dist/numerical/be37-covariant-eikonal.js.map +1 -1
  30. package/dist/numerical/curvature-lowering-helpers.d.ts +27 -0
  31. package/dist/numerical/curvature-lowering-helpers.d.ts.map +1 -1
  32. package/dist/numerical/curvature-lowering-helpers.js +94 -60
  33. package/dist/numerical/curvature-lowering-helpers.js.map +1 -1
  34. package/dist/numerical/engine-registry.js +4 -4
  35. package/dist/numerical/engine-registry.js.map +1 -1
  36. package/dist/numerical/gl4-integrator.d.ts +53 -7
  37. package/dist/numerical/gl4-integrator.d.ts.map +1 -1
  38. package/dist/numerical/gl4-integrator.js +39 -8
  39. package/dist/numerical/gl4-integrator.js.map +1 -1
  40. package/dist/numerical/lowering.d.ts.map +1 -1
  41. package/dist/numerical/lowering.js +27 -20
  42. package/dist/numerical/lowering.js.map +1 -1
  43. package/dist/numerical/mathts-engine.js +8 -8
  44. package/dist/numerical/mathts-engine.js.map +1 -1
  45. package/dist/numerical/metric-inverse.d.ts.map +1 -1
  46. package/dist/numerical/metric-inverse.js +28 -0
  47. package/dist/numerical/metric-inverse.js.map +1 -1
  48. package/dist/numerical/null-ray-integrator.d.ts.map +1 -1
  49. package/dist/numerical/null-ray-integrator.js +6 -3
  50. package/dist/numerical/null-ray-integrator.js.map +1 -1
  51. package/dist/numerical/pderiv.d.ts +27 -3
  52. package/dist/numerical/pderiv.d.ts.map +1 -1
  53. package/dist/numerical/pderiv.js +44 -12
  54. package/dist/numerical/pderiv.js.map +1 -1
  55. package/dist/numerical/perihelion-finder.d.ts +27 -0
  56. package/dist/numerical/perihelion-finder.d.ts.map +1 -1
  57. package/dist/numerical/perihelion-finder.js +27 -0
  58. package/dist/numerical/perihelion-finder.js.map +1 -1
  59. package/package.json +1 -1
@@ -1 +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"}
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;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"}
@@ -148,6 +148,7 @@ import { tsym, contract } from '../../dimensional/tensor.js';
148
148
  import { metric, pderiv } from '../../dimensional/metric.js';
149
149
  import { evaluateNumerical } from '../../numerical/index.js';
150
150
  import { integrateRK4 } from '../../numerical/null-ray-integrator.js';
151
+ import { C_SI, G_SI } from '../../core/constants.js';
151
152
  const sym = (name, dim) => ({ kind: 'symbol', name, dim });
152
153
  // --- Symbolic AST ---
153
154
  /** Symbol: Newton's gravitational constant G. Dim `[L³ M⁻¹ T⁻²]`. */
@@ -252,9 +253,7 @@ export function evaluateShapiroDelay(input) {
252
253
  if (R_near_m > R_far_m) {
253
254
  throw new RangeError(`evaluateShapiroDelay: R_near_m (${R_near_m}) must be ≤ R_far_m (${R_far_m}); ratio inside ln must be ≥ 1`);
254
255
  }
255
- const G_SI = 6.67430e-11; // m³/(kg·s²) (CODATA 2018)
256
- const c_SI = 299792458; // m/s (exact SI definition since 1983)
257
- return ((2 * G_SI * M_kg) / Math.pow(c_SI, 3)) * Math.log(R_far_m / R_near_m);
256
+ return ((2 * G_SI * M_kg) / Math.pow(C_SI, 3)) * Math.log(R_far_m / R_near_m);
258
257
  }
259
258
  // --- Self-validation ---
260
259
  /**
@@ -398,20 +397,19 @@ function buildSchwarzschildEikonalInputs(r, G_SI, c_SI, M_kg) {
398
397
  * evaluateShapiroDelay().
399
398
  */
400
399
  export async function evaluateBE37EikonalNumerical() {
401
- // Numeric constants MUST match evaluateShapiroDelay's module-local
402
- // G_SI / c_SI exactly so the closed-form cross-check is apples-to-apples.
403
- const G_SI = 6.67430e-11; // m³/(kg·s²) CODATA 2018
404
- const c_SI = 299792458; // m/s — exact SI definition
400
+ // v0.5.1 PC-1: canonical constants from src/core/constants.ts both
401
+ // evaluateShapiroDelay above and this evaluator now read the SAME source
402
+ // of truth, eliminating the prior local-literal duplication.
405
403
  const scenario = {
406
404
  M_kg: 1.989e30, // solar mass
407
405
  R_far_m: 1.5e11, // ~1 AU
408
406
  R_near_m: 1.0e9, // inner radius (R_near_m ≤ R_far_m, required)
409
407
  };
410
408
  const { M_kg, R_far_m, R_near_m } = scenario;
411
- const k = (2 * G_SI * M_kg) / (c_SI * c_SI * c_SI); // 2GM/c³ [seconds]
409
+ const k = (2 * G_SI * M_kg) / (C_SI * C_SI * C_SI); // 2GM/c³ [seconds]
412
410
  // --- Part (a): lower BE37_EIKONAL_LHS with concrete Schwarzschild g^μν ---
413
411
  const rMid = 0.5 * (R_near_m + R_far_m);
414
- const inputs = buildSchwarzschildEikonalInputs(rMid, G_SI, c_SI, M_kg);
412
+ const inputs = buildSchwarzschildEikonalInputs(rMid, G_SI, C_SI, M_kg);
415
413
  const eikonal = await evaluateNumerical(BE37_EIKONAL_LHS, inputs);
416
414
  const eikonalResidual = eikonal.value;
417
415
  // --- Part (b): RK4-integrate the Shapiro delay along the radial null ray.
@@ -1 +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"}
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;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"}
@@ -42,8 +42,19 @@ export interface GravitationalLensingResult {
42
42
  * Evaluate the Eddington 1919 gravitational lensing deflection angle
43
43
  * for a point mass M at impact parameter b.
44
44
  *
45
- * @param inputs - `{ M_kg, b_m }` lensing mass and impact parameter.
46
- * @returns `{ alpha_rad, alpha_arcsec, M_kg, b_m }`.
45
+ * Closed-form formula: = 4 G M / (b c²)`.
46
+ *
47
+ * @param inputs - `{ M_kg, b_m }`:
48
+ * - `M_kg` — lensing (point) mass in **kilograms** (SI). Must be finite;
49
+ * no positivity check (a negative mass yields a negative deflection by
50
+ * the linear formula, which the caller may exploit for symmetry tests).
51
+ * - `b_m` — impact parameter (closest approach distance) in **metres**
52
+ * (SI). Must be strictly positive.
53
+ * @returns `{ alpha_rad, alpha_arcsec, M_kg, b_m }`:
54
+ * - `alpha_rad` — deflection angle in **radians** (dimensionless SI).
55
+ * - `alpha_arcsec` — deflection angle in **arc-seconds**
56
+ * (1 rad = 180/π × 3600 ≈ 206264.806 arcsec).
57
+ * - `M_kg`, `b_m` — input echoes (same units as above).
47
58
  * @throws {RangeError} if `b_m ≤ 0`.
48
59
  *
49
60
  * @public
@@ -1 +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"}
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;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,0BAA0B,GACjC,0BAA0B,CAU5B"}
@@ -22,16 +22,27 @@
22
22
  *
23
23
  * @module bridges/gravitational-lensing
24
24
  */
25
- // Numerical SI constants — not the dimensional Dimension objects from
26
- // src/dimensional/constants.ts, which carry only SI dimension signatures.
27
- const G_SI = 6.6743e-11; // kg⁻¹ s⁻² (CODATA 2018)
28
- const c_SI = 2.998e8; // m s⁻¹ (CODATA 2018)
25
+ // Numerical SI constants — canonical CODATA 2018 / exact-SI values from
26
+ // src/core/constants.ts (v0.5.1 PC-1 canonicalization). NOT the dimensional
27
+ // Dimension objects from src/dimensional/constants.ts.
28
+ import { C_SI as c_SI, G_SI } from '../core/constants.js';
29
29
  /**
30
30
  * Evaluate the Eddington 1919 gravitational lensing deflection angle
31
31
  * for a point mass M at impact parameter b.
32
32
  *
33
- * @param inputs - `{ M_kg, b_m }` lensing mass and impact parameter.
34
- * @returns `{ alpha_rad, alpha_arcsec, M_kg, b_m }`.
33
+ * Closed-form formula: = 4 G M / (b c²)`.
34
+ *
35
+ * @param inputs - `{ M_kg, b_m }`:
36
+ * - `M_kg` — lensing (point) mass in **kilograms** (SI). Must be finite;
37
+ * no positivity check (a negative mass yields a negative deflection by
38
+ * the linear formula, which the caller may exploit for symmetry tests).
39
+ * - `b_m` — impact parameter (closest approach distance) in **metres**
40
+ * (SI). Must be strictly positive.
41
+ * @returns `{ alpha_rad, alpha_arcsec, M_kg, b_m }`:
42
+ * - `alpha_rad` — deflection angle in **radians** (dimensionless SI).
43
+ * - `alpha_arcsec` — deflection angle in **arc-seconds**
44
+ * (1 rad = 180/π × 3600 ≈ 206264.806 arcsec).
45
+ * - `M_kg`, `b_m` — input echoes (same units as above).
35
46
  * @throws {RangeError} if `b_m ≤ 0`.
36
47
  *
37
48
  * @public
@@ -1 +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"}
1
+ {"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"}
@@ -51,9 +51,24 @@ export interface PerihelionPrecessionResult {
51
51
  * Evaluate the Einstein 1915 GR perihelion precession for a bound elliptical
52
52
  * orbit around a central mass M.
53
53
  *
54
- * @param inputs - `{ M_kg, a_m, e, T_yr }` mass, semi-major axis,
55
- * eccentricity, and orbital period.
56
- * @returns `{ dphi_rad_per_orbit, dphi_arcsec_per_orbit, dphi_arcsec_per_century, M_kg, a_m, e }`.
54
+ * Closed-form formula: `Δφ = G M / (a (1 e²) c²)`.
55
+ *
56
+ * @param inputs - `{ M_kg, a_m, e, T_yr }`:
57
+ * - `M_kg` — central gravitating mass in **kilograms** (SI). E.g. solar
58
+ * mass 1.989 × 10³⁰ kg.
59
+ * - `a_m` — orbital semi-major axis in **metres** (SI). Must be strictly
60
+ * positive.
61
+ * - `e` — orbital eccentricity (dimensionless). Must satisfy 0 ≤ e < 1
62
+ * (bound elliptical orbits only; e = 0 gives a circle, e → 1 a
63
+ * parabolic escape limit).
64
+ * - `T_yr` — orbital period in **Julian years** (1 yr = 365.25 d).
65
+ * Used only for the per-century conversion. Must be strictly positive.
66
+ * @returns `{ dphi_rad_per_orbit, dphi_arcsec_per_orbit, dphi_arcsec_per_century, M_kg, a_m, e }`:
67
+ * - `dphi_rad_per_orbit` — GR perihelion advance per orbit in **radians**.
68
+ * - `dphi_arcsec_per_orbit` — same, in **arc-seconds**.
69
+ * - `dphi_arcsec_per_century` — secular advance in **arc-seconds per
70
+ * Julian century** (×100/T_yr).
71
+ * - `M_kg`, `a_m`, `e` — input echoes (same units as above).
57
72
  * @throws {RangeError} if `a_m ≤ 0`, `T_yr ≤ 0`, or `e` is outside [0, 1).
58
73
  *
59
74
  * @public
@@ -1 +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"}
1
+ {"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"}
@@ -23,18 +23,32 @@
23
23
  *
24
24
  * @module bridges/perihelion-precession
25
25
  */
26
- // Numerical SI constants — matching the pattern established in gravitational-lensing.ts.
27
- // Not the dimensional Dimension objects from src/dimensional/constants.ts,
28
- // which carry only SI dimension signatures.
29
- const G_SI = 6.6743e-11; // kg⁻¹ s⁻² (CODATA 2018)
30
- const c_SI = 2.998e8; // m s⁻¹ (CODATA 2018)
26
+ // Numerical SI constants — canonical CODATA 2018 / exact-SI values from
27
+ // src/core/constants.ts (v0.5.1 PC-1 canonicalization). NOT the dimensional
28
+ // Dimension objects from src/dimensional/constants.ts.
29
+ import { C_SI as c_SI, G_SI } from '../core/constants.js';
31
30
  /**
32
31
  * Evaluate the Einstein 1915 GR perihelion precession for a bound elliptical
33
32
  * orbit around a central mass M.
34
33
  *
35
- * @param inputs - `{ M_kg, a_m, e, T_yr }` mass, semi-major axis,
36
- * eccentricity, and orbital period.
37
- * @returns `{ dphi_rad_per_orbit, dphi_arcsec_per_orbit, dphi_arcsec_per_century, M_kg, a_m, e }`.
34
+ * Closed-form formula: `Δφ = G M / (a (1 e²) c²)`.
35
+ *
36
+ * @param inputs - `{ M_kg, a_m, e, T_yr }`:
37
+ * - `M_kg` — central gravitating mass in **kilograms** (SI). E.g. solar
38
+ * mass 1.989 × 10³⁰ kg.
39
+ * - `a_m` — orbital semi-major axis in **metres** (SI). Must be strictly
40
+ * positive.
41
+ * - `e` — orbital eccentricity (dimensionless). Must satisfy 0 ≤ e < 1
42
+ * (bound elliptical orbits only; e = 0 gives a circle, e → 1 a
43
+ * parabolic escape limit).
44
+ * - `T_yr` — orbital period in **Julian years** (1 yr = 365.25 d).
45
+ * Used only for the per-century conversion. Must be strictly positive.
46
+ * @returns `{ dphi_rad_per_orbit, dphi_arcsec_per_orbit, dphi_arcsec_per_century, M_kg, a_m, e }`:
47
+ * - `dphi_rad_per_orbit` — GR perihelion advance per orbit in **radians**.
48
+ * - `dphi_arcsec_per_orbit` — same, in **arc-seconds**.
49
+ * - `dphi_arcsec_per_century` — secular advance in **arc-seconds per
50
+ * Julian century** (×100/T_yr).
51
+ * - `M_kg`, `a_m`, `e` — input echoes (same units as above).
38
52
  * @throws {RangeError} if `a_m ≤ 0`, `T_yr ≤ 0`, or `e` is outside [0, 1).
39
53
  *
40
54
  * @public
@@ -1 +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"}
1
+ {"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"}
@@ -0,0 +1,50 @@
1
+ /**
2
+ * Canonical CODATA 2018 + SI-defined physical constants for UPT (v0.5.1).
3
+ *
4
+ * Single source of truth for fundamental physical constants used across the
5
+ * numerical, dimensional, and bridge layers. Replaces the truncated local
6
+ * literals (`c_SI = 2.998e8`, etc.) that drifted across `src/numerical/`,
7
+ * `src/bridges/`, and `tests/fixtures/` — see audit `PC-1` in
8
+ * `docs/architecture/v0.5.1-audit.md`.
9
+ *
10
+ * Values use:
11
+ * • Exact-SI definitions (`C_SI`, `H_SI`, `K_B_SI`, `E_SI`) where the
12
+ * 2019 SI redefinition fixed their values exactly.
13
+ * • CODATA 2018 best estimates for measured constants (`G_SI`, `HBAR_SI`,
14
+ * `ALPHA`, Planck units).
15
+ * • Planck 2018 best estimate for `H0_SI`.
16
+ *
17
+ * The `PhysicalConstants` namespace in `src/core/types.ts` is retained for
18
+ * backwards-compat; new code should prefer these flat exports.
19
+ *
20
+ * @module core/constants
21
+ * @public
22
+ */
23
+ /** Speed of light in vacuum (m/s). Exact SI definition since 1983. */
24
+ export declare const C_SI = 299792458;
25
+ /** Newtonian gravitational constant (m³ kg⁻¹ s⁻²). CODATA 2018. */
26
+ export declare const G_SI = 6.6743e-11;
27
+ /** Planck constant (J·s). Exact SI definition since 2019. */
28
+ export declare const H_SI = 6.62607015e-34;
29
+ /** Reduced Planck constant h/(2π) (J·s). CODATA 2018. */
30
+ export declare const HBAR_SI = 1.054571817e-34;
31
+ /** Boltzmann constant (J/K). Exact SI definition since 2019. */
32
+ export declare const K_B_SI = 1.380649e-23;
33
+ /** Elementary charge (C). Exact SI definition since 2019. */
34
+ export declare const E_SI = 1.602176634e-19;
35
+ /** Fine-structure constant α (dimensionless). CODATA 2018. */
36
+ export declare const ALPHA = 0.0072973525693;
37
+ /** Planck mass √(ℏc/G) (kg). CODATA 2018. */
38
+ export declare const M_P_SI = 2.176434e-8;
39
+ /** Planck length √(ℏG/c³) (m). CODATA 2018. */
40
+ export declare const L_P_SI = 1.616255e-35;
41
+ /** Planck time √(ℏG/c⁵) (s). CODATA 2018. */
42
+ export declare const T_P_SI = 5.391247e-44;
43
+ /**
44
+ * Hubble parameter H₀ (s⁻¹).
45
+ *
46
+ * Planck 2018 TT,TE,EE+lowE+lensing best estimate: 67.4 km/s/Mpc, converted
47
+ * to SI using 1 Mpc = 3.0857×10²² m.
48
+ */
49
+ export declare const H0_SI: number;
50
+ //# sourceMappingURL=constants.d.ts.map
@@ -0,0 +1 @@
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"}
@@ -0,0 +1,50 @@
1
+ /**
2
+ * Canonical CODATA 2018 + SI-defined physical constants for UPT (v0.5.1).
3
+ *
4
+ * Single source of truth for fundamental physical constants used across the
5
+ * numerical, dimensional, and bridge layers. Replaces the truncated local
6
+ * literals (`c_SI = 2.998e8`, etc.) that drifted across `src/numerical/`,
7
+ * `src/bridges/`, and `tests/fixtures/` — see audit `PC-1` in
8
+ * `docs/architecture/v0.5.1-audit.md`.
9
+ *
10
+ * Values use:
11
+ * • Exact-SI definitions (`C_SI`, `H_SI`, `K_B_SI`, `E_SI`) where the
12
+ * 2019 SI redefinition fixed their values exactly.
13
+ * • CODATA 2018 best estimates for measured constants (`G_SI`, `HBAR_SI`,
14
+ * `ALPHA`, Planck units).
15
+ * • Planck 2018 best estimate for `H0_SI`.
16
+ *
17
+ * The `PhysicalConstants` namespace in `src/core/types.ts` is retained for
18
+ * backwards-compat; new code should prefer these flat exports.
19
+ *
20
+ * @module core/constants
21
+ * @public
22
+ */
23
+ /** Speed of light in vacuum (m/s). Exact SI definition since 1983. */
24
+ export const C_SI = 299792458;
25
+ /** Newtonian gravitational constant (m³ kg⁻¹ s⁻²). CODATA 2018. */
26
+ export const G_SI = 6.67430e-11;
27
+ /** Planck constant (J·s). Exact SI definition since 2019. */
28
+ export const H_SI = 6.62607015e-34;
29
+ /** Reduced Planck constant h/(2π) (J·s). CODATA 2018. */
30
+ export const HBAR_SI = 1.054571817e-34;
31
+ /** Boltzmann constant (J/K). Exact SI definition since 2019. */
32
+ export const K_B_SI = 1.380649e-23;
33
+ /** Elementary charge (C). Exact SI definition since 2019. */
34
+ export const E_SI = 1.602176634e-19;
35
+ /** Fine-structure constant α (dimensionless). CODATA 2018. */
36
+ export const ALPHA = 7.2973525693e-3;
37
+ /** Planck mass √(ℏc/G) (kg). CODATA 2018. */
38
+ export const M_P_SI = 2.176434e-8;
39
+ /** Planck length √(ℏG/c³) (m). CODATA 2018. */
40
+ export const L_P_SI = 1.616255e-35;
41
+ /** Planck time √(ℏG/c⁵) (s). CODATA 2018. */
42
+ export const T_P_SI = 5.391247e-44;
43
+ /**
44
+ * Hubble parameter H₀ (s⁻¹).
45
+ *
46
+ * Planck 2018 TT,TE,EE+lowE+lensing best estimate: 67.4 km/s/Mpc, converted
47
+ * to SI using 1 Mpc = 3.0857×10²² m.
48
+ */
49
+ export const H0_SI = 67.4e3 / 3.0857e22;
50
+ //# sourceMappingURL=constants.js.map
@@ -0,0 +1 @@
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"}
@@ -6,7 +6,7 @@
6
6
  * validator.ts merges into its InferContext accumulator.
7
7
  *
8
8
  * Per v0.4.0-Design.md §4 + §7 (docs/specification/Part-IX-Connection-Layer.md
9
- * not yet written as of v0.4.6).
9
+ * pending).
10
10
  *
11
11
  * @module dimensional/connection-validators
12
12
  */
@@ -6,7 +6,7 @@
6
6
  * validator.ts merges into its InferContext accumulator.
7
7
  *
8
8
  * Per v0.4.0-Design.md §4 + §7 (docs/specification/Part-IX-Connection-Layer.md
9
- * not yet written as of v0.4.6).
9
+ * pending).
10
10
  *
11
11
  * @module dimensional/connection-validators
12
12
  */
@@ -20,14 +20,33 @@ import type { Dimension } from './types.js';
20
20
  import type { ExprNode } from './validator.js';
21
21
  import type { RiemannTensorNode } from './connection-validators.js';
22
22
  import type { MetricTensorNode } from './metric-validators.js';
23
+ import type { TensorEngine } from '../numerical/tensor-engine.js';
24
+ import type { NumericalInputs, NestedArray } from '../numerical/types.js';
23
25
  /**
24
26
  * v0.5.0 Task 7: Ricci tensor AST node R_μν.
25
27
  *
26
28
  * Internally wraps a RiemannTensorNode and represents the contraction
27
- * R_μν = R^λ_{λμν}. The wrapped Riemann's `upperIndex.label` and
28
- * `lowerIndices[0].label` are the dummy contraction indices (the λ slot);
29
- * the output free indices are `mu` and `nu` (cloned from
30
- * `R.lowerIndices[1]` and `R.lowerIndices[2]` respectively).
29
+ *
30
+ * R_μν = R^λ_{μλν} (Carroll Eq. 3.91)
31
+ *
32
+ * Index-map on the wrapped Riemann (R^ρ_σμν per RiemannTensorNode):
33
+ *
34
+ * R^ρ σ μ ν
35
+ * │ │ │ │
36
+ * │ │ └── lowerIndices[1] = the dummy contraction slot (λ)
37
+ * │ │ contracts against upperIndex.label (ρ ↔ λ)
38
+ * │ └── lowerIndices[0] = free output index #1 (μ_out, lower)
39
+ * └── upperIndex (ρ) — contracts against lowerIndices[1]
40
+ * lowerIndices[2] = free output index #2 (ν_out, lower)
41
+ *
42
+ * After contraction: R_μν free indices = {μ_out: lower, ν_out: lower}, dim {L: -2}.
43
+ *
44
+ * NOTE (post-S1 correction, commit `76628c4`): prior to v0.5.0 Task 7 this
45
+ * docstring incorrectly said `lowerIndices[0]` was the dummy slot. Carroll
46
+ * Eq. 3.91 contracts on the SECOND lower (the μ slot in R^ρ_σμν), giving
47
+ * R_σν after the contraction. The implementation in `validateRicciTensor`
48
+ * below (lines ~87-101) is the authoritative reference. See memory entry
49
+ * `feedback_v0_5_0_ricci_contraction_bug.md` for the bug history.
31
50
  *
32
51
  * The node is its own validation arm in validator.ts and its own lowering
33
52
  * arm in numerical/lowering.ts — same pattern as RiemannTensorNode (no
@@ -182,11 +201,13 @@ export declare function validateEinsteinTensor(node: EinsteinTensorNode, validat
182
201
  /**
183
202
  * Build the Einstein tensor G_μν = R_μν − ½ R g_μν as a composite ExprNode.
184
203
  *
185
- * **Convention.** Inherits Carroll Eq. 3.91 from `ricci(R)` — the inner
186
- * Ricci is computed by contracting upper-ρ of the wrapped Riemann against
187
- * `lowerIndices[1]` (the middle/μ slot in R^ρ_σμν). The scalar trace is
188
- * `R = g^μν R_μν` and the subtraction term is `½ R · g_μν`. The result
189
- * `G_μν` shares free indices {μ_out, ν_out} with `ricci(R)`.
204
+ * **Convention.** The Einstein tensor adds the scalar-trace subtraction
205
+ * term R g_μν` to Ricci it does NOT introduce a new contraction
206
+ * convention. The inner Ricci `R_μν` inherits Carroll Eq. 3.91 from
207
+ * `ricci(R)` (contraction on `lowerIndices[1]`, the middle/μ slot in
208
+ * R^ρ_σμν; see RicciTensorNode JSDoc for the index-map diagram). The
209
+ * scalar trace is `R = g^μν R_μν`. The result `G_μν` shares free indices
210
+ * {μ_out, ν_out} with `ricci(R)`.
190
211
  *
191
212
  * **Algebra (sanity check).**
192
213
  * - de Sitter (n=4): `R_μν = Λ g_μν`, `R = 4Λ` ⇒
@@ -292,8 +313,12 @@ export declare function validateBianchiResidual(node: BianchiResidualNode, valid
292
313
  * Mirrors the runtime contract — `bianchiResidual()` returns closures that
293
314
  * call `evaluateNumerical`, but the function itself is pure-symbolic until
294
315
  * the closures are invoked.
316
+ *
317
+ * v0.5.1 TS-1: `engine`/`inputs`/return are now strictly typed via
318
+ * `import type` (no runtime import into curvature.ts), so the public API
319
+ * surface no longer leaks `any` through the bianchi return shape.
295
320
  */
296
- type LazyEvaluator = (engine: any, inputs: any) => Promise<any>;
321
+ type LazyEvaluator = (engine: TensorEngine, inputs: NumericalInputs) => Promise<NestedArray>;
297
322
  /**
298
323
  * Build the second-Bianchi-identity residual `B_{λμνρσ}` as a composite
299
324
  * object with both an AST representation and evaluator closures.
@@ -330,7 +355,7 @@ type LazyEvaluator = (engine: any, inputs: any) => Promise<any>;
330
355
  export declare function bianchiResidual(R: RiemannTensorNode): {
331
356
  residual: ExprNode;
332
357
  evaluate: LazyEvaluator;
333
- evaluateMax: (engine: any, inputs: any) => Promise<number>;
358
+ evaluateMax: (engine: TensorEngine, inputs: NumericalInputs) => Promise<number>;
334
359
  };
335
360
  export {};
336
361
  //# sourceMappingURL=curvature.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"curvature.d.ts","sourceRoot":"","sources":["../../src/dimensional/curvature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AACpE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAO/D;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,+DAA+D;IAC/D,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;CACrC;AAED;;;GAGG;AACH,MAAM,WAAW,2BAA2B;IAC1C,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;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,eAAe,EACrB,oBAAoB,EAAE,CAAC,KAAK,EAAE,iBAAiB,KAAK;IAClD,GAAG,EAAE,SAAS,CAAC;IACf,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC5D,GACA,2BAA2B,CA2B7B;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,wBAAgB,KAAK,CAAC,CAAC,EAAE,iBAAiB,GAAG,QAAQ,CAEpD;AAMD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,wEAAwE;IACxE,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC,sEAAsE;IACtE,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,qEAAqE;IACrE,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;CACrC;AAED;;;GAGG;AACH,MAAM,WAAW,8BAA8B;IAC7C,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;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,kBAAkB,EACxB,oBAAoB,EAAE,CAAC,KAAK,EAAE,iBAAiB,KAAK;IAClD,GAAG,EAAE,SAAS,CAAC;IACf,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC5D,GACA,8BAA8B,CAWhC;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,QAAQ,CACtB,CAAC,EAAE,iBAAiB,EACpB,CAAC,EAAE,gBAAgB,EACnB,QAAQ,EAAE,gBAAgB,GACzB,QAAQ,CAEV;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,sEAAsE;IACtE,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;CACrC;AAED;;;GAGG;AACH,MAAM,WAAW,+BAA+B;IAC9C,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;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,mBAAmB,EACzB,oBAAoB,EAAE,CAAC,KAAK,EAAE,iBAAiB,KAAK;IAClD,GAAG,EAAE,SAAS,CAAC;IACf,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC5D,GACA,+BAA+B,CAyCjC;AAMD;;;;;;GAMG;AACH,KAAK,aAAa,GAAG,CAEnB,MAAM,EAAE,GAAG,EAEX,MAAM,EAAE,GAAG,KAER,OAAO,CAAC,GAAG,CAAC,CAAC;AAElB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,iBAAiB,GAAG;IACrD,QAAQ,EAAE,QAAQ,CAAC;IACnB,QAAQ,EAAE,aAAa,CAAC;IACxB,WAAW,EAAE,CAEX,MAAM,EAAE,GAAG,EAEX,MAAM,EAAE,GAAG,KACR,OAAO,CAAC,MAAM,CAAC,CAAC;CACtB,CAkCA"}
1
+ {"version":3,"file":"curvature.d.ts","sourceRoot":"","sources":["../../src/dimensional/curvature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AACpE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAO/D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAM1E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,+DAA+D;IAC/D,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;CACrC;AAED;;;GAGG;AACH,MAAM,WAAW,2BAA2B;IAC1C,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;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,eAAe,EACrB,oBAAoB,EAAE,CAAC,KAAK,EAAE,iBAAiB,KAAK;IAClD,GAAG,EAAE,SAAS,CAAC;IACf,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC5D,GACA,2BAA2B,CA2B7B;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,wBAAgB,KAAK,CAAC,CAAC,EAAE,iBAAiB,GAAG,QAAQ,CAEpD;AAMD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,wEAAwE;IACxE,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC,sEAAsE;IACtE,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,qEAAqE;IACrE,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;CACrC;AAED;;;GAGG;AACH,MAAM,WAAW,8BAA8B;IAC7C,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;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,kBAAkB,EACxB,oBAAoB,EAAE,CAAC,KAAK,EAAE,iBAAiB,KAAK;IAClD,GAAG,EAAE,SAAS,CAAC;IACf,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC5D,GACA,8BAA8B,CAWhC;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAgB,QAAQ,CACtB,CAAC,EAAE,iBAAiB,EACpB,CAAC,EAAE,gBAAgB,EACnB,QAAQ,EAAE,gBAAgB,GACzB,QAAQ,CAEV;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,sEAAsE;IACtE,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;CACrC;AAED;;;GAGG;AACH,MAAM,WAAW,+BAA+B;IAC9C,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;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,mBAAmB,EACzB,oBAAoB,EAAE,CAAC,KAAK,EAAE,iBAAiB,KAAK;IAClD,GAAG,EAAE,SAAS,CAAC;IACf,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC5D,GACA,+BAA+B,CAyCjC;AAMD;;;;;;;;;;GAUG;AACH,KAAK,aAAa,GAAG,CACnB,MAAM,EAAE,YAAY,EACpB,MAAM,EAAE,eAAe,KACpB,OAAO,CAAC,WAAW,CAAC,CAAC;AAE1B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,iBAAiB,GAAG;IACrD,QAAQ,EAAE,QAAQ,CAAC;IACnB,QAAQ,EAAE,aAAa,CAAC;IACxB,WAAW,EAAE,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,eAAe,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;CACjF,CA4CA"}
@@ -139,11 +139,13 @@ export function validateEinsteinTensor(node, validateRiemannChild) {
139
139
  /**
140
140
  * Build the Einstein tensor G_μν = R_μν − ½ R g_μν as a composite ExprNode.
141
141
  *
142
- * **Convention.** Inherits Carroll Eq. 3.91 from `ricci(R)` — the inner
143
- * Ricci is computed by contracting upper-ρ of the wrapped Riemann against
144
- * `lowerIndices[1]` (the middle/μ slot in R^ρ_σμν). The scalar trace is
145
- * `R = g^μν R_μν` and the subtraction term is `½ R · g_μν`. The result
146
- * `G_μν` shares free indices {μ_out, ν_out} with `ricci(R)`.
142
+ * **Convention.** The Einstein tensor adds the scalar-trace subtraction
143
+ * term R g_μν` to Ricci it does NOT introduce a new contraction
144
+ * convention. The inner Ricci `R_μν` inherits Carroll Eq. 3.91 from
145
+ * `ricci(R)` (contraction on `lowerIndices[1]`, the middle/μ slot in
146
+ * R^ρ_σμν; see RicciTensorNode JSDoc for the index-map diagram). The
147
+ * scalar trace is `R = g^μν R_μν`. The result `G_μν` shares free indices
148
+ * {μ_out, ν_out} with `ricci(R)`.
147
149
  *
148
150
  * **Algebra (sanity check).**
149
151
  * - de Sitter (n=4): `R_μν = Λ g_μν`, `R = 4Λ` ⇒
@@ -258,18 +260,21 @@ export function validateBianchiResidual(node, validateRiemannChild) {
258
260
  export function bianchiResidual(R) {
259
261
  const residual = { kind: 'bianchi-residual', riemann: R };
260
262
  const evaluate = async (engine, inputs) => {
261
- // Dynamic import to keep the dimensional module's load-time graph clean.
263
+ // Dynamic import to keep the dimensional module's load-time graph clean
264
+ // (a static import here would create a dimensional→numerical→dimensional
265
+ // runtime cycle: numerical/index.ts imports validator.ts). The TS-1
266
+ // type-tightening above uses `import type` only, so this dynamic import
267
+ // does not weaken the static type story.
262
268
  const mod = await import('../numerical/index.js');
263
269
  const result = await mod.evaluateNumerical(residual, inputs, { engine });
264
270
  return result.value;
265
271
  };
266
- const evaluateMax = async (
267
- // eslint-disable-next-line @typescript-eslint/no-explicit-any
268
- engine,
269
- // eslint-disable-next-line @typescript-eslint/no-explicit-any
270
- inputs) => {
272
+ const evaluateMax = async (engine, inputs) => {
271
273
  const value = await evaluate(engine, inputs);
272
274
  // Walk the 5-deep nested array (or any depth) and return max |x|.
275
+ // v0.5.1 TS-3: signature accepts `NestedArray` (the public type from
276
+ // evaluate()) plus a typed-array escape hatch; unexpected shapes throw
277
+ // rather than being silently ignored.
273
278
  let max = 0;
274
279
  const walk = (v) => {
275
280
  if (typeof v === 'number') {
@@ -281,7 +286,10 @@ export function bianchiResidual(R) {
281
286
  if (Array.isArray(v)) {
282
287
  for (const c of v)
283
288
  walk(c);
289
+ return;
284
290
  }
291
+ throw new Error(`bianchiResidual.evaluateMax: unexpected value shape — expected `
292
+ + `number | NestedArray, got ${typeof v}`);
285
293
  };
286
294
  walk(value);
287
295
  return max;
@@ -1 +1 @@
1
- {"version":3,"file":"curvature.js","sourceRoot":"","sources":["../../src/dimensional/curvature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAOH,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AAoCvD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAqB,EACrB,oBAGC;IAED,yEAAyE;IACzE,iEAAiE;IACjE,0EAA0E;IAC1E,wEAAwE;IACxE,yEAAyE;IACzE,iCAAiC;IACjC,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEnD,qEAAqE;IACrE,gEAAgE;IAChE,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;IAExB,oEAAoE;IACpE,mEAAmE;IACnE,yDAAyD;IACzD,MAAM,QAAQ,GAAmB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAmB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9D,IAAI,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,EAAE,CAAC;QACtC,MAAM,IAAI,wBAAwB,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;IAC1E,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACxD,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAExD,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC9B,CAAC;AAED,gFAAgF;AAChF,oCAAoC;AACpC,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,UAAU,KAAK,CAAC,CAAoB;IACxC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;AAC9C,CAAC;AA2CD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,sBAAsB,CACpC,IAAwB,EACxB,oBAGC;IAED,yEAAyE;IACzE,wEAAwE;IACxE,MAAM,SAAS,GAAoB,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;IACnF,MAAM,CAAC,GAAG,mBAAmB,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC;IAE/D,oEAAoE;IACpE,yEAAyE;IACzE,yEAAyE;IACzE,wEAAwE;IACxE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;AACpD,CAAC;AAED,gFAAgF;AAChF,uCAAuC;AACvC,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,UAAU,QAAQ,CACtB,CAAoB,EACpB,CAAmB,EACnB,QAA0B;IAE1B,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;AACtE,CAAC;AA2DD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,uBAAuB,CACrC,IAAyB,EACzB,oBAGC;IAED,uEAAuE;IACvE,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEnC,yEAAyE;IACzE,0EAA0E;IAC1E,4DAA4D;IAC5D,gEAAgE;IAChE,uEAAuE;IACvE,mDAAmD;IACnD,wEAAwE;IACxE,iDAAiD;IACjD,EAAE;IACF,0EAA0E;IAC1E,gDAAgD;IAChD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAS;QACpC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK;QAC7B,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;QAClC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;QAClC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;KACnC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,wBAAwB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED,sEAAsE;IACtE,6CAA6C;IAC7C,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,6BAA6B;IAC7B,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAClD,WAAW,CAAC,GAAG,CAAC,aAAa,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACvD,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5E,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5E,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAE5E,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC9B,CAAC;AAqBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,UAAU,eAAe,CAAC,CAAoB;IAUlD,MAAM,QAAQ,GAAwB,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAE/E,MAAM,QAAQ,GAAkB,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE;QACvD,yEAAyE;QACzE,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,uBAAuB,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,iBAAiB,CAAC,QAAoB,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QACrF,OAAO,MAAM,CAAC,KAAK,CAAC;IACtB,CAAC,CAAC;IAEF,MAAM,WAAW,GAAG,KAAK;IACvB,8DAA8D;IAC9D,MAAW;IACX,8DAA8D;IAC9D,MAAW,EACM,EAAE;QACnB,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC7C,kEAAkE;QAClE,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,MAAM,IAAI,GAAG,CAAC,CAAU,EAAQ,EAAE;YAChC,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;gBAC1B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACtB,IAAI,CAAC,GAAG,GAAG;oBAAE,GAAG,GAAG,CAAC,CAAC;gBACrB,OAAO;YACT,CAAC;YACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrB,KAAK,MAAM,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC,CAAC;QACF,IAAI,CAAC,KAAK,CAAC,CAAC;QACZ,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IAEF,OAAO,EAAE,QAAQ,EAAE,QAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AACnE,CAAC"}
1
+ {"version":3,"file":"curvature.js","sourceRoot":"","sources":["../../src/dimensional/curvature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAOH,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AA4DvD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAqB,EACrB,oBAGC;IAED,yEAAyE;IACzE,iEAAiE;IACjE,0EAA0E;IAC1E,wEAAwE;IACxE,yEAAyE;IACzE,iCAAiC;IACjC,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEnD,qEAAqE;IACrE,gEAAgE;IAChE,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;IAExB,oEAAoE;IACpE,mEAAmE;IACnE,yDAAyD;IACzD,MAAM,QAAQ,GAAmB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAmB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9D,IAAI,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,EAAE,CAAC;QACtC,MAAM,IAAI,wBAAwB,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;IAC1E,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACxD,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAExD,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC9B,CAAC;AAED,gFAAgF;AAChF,oCAAoC;AACpC,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,UAAU,KAAK,CAAC,CAAoB;IACxC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;AAC9C,CAAC;AA2CD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,sBAAsB,CACpC,IAAwB,EACxB,oBAGC;IAED,yEAAyE;IACzE,wEAAwE;IACxE,MAAM,SAAS,GAAoB,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;IACnF,MAAM,CAAC,GAAG,mBAAmB,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC;IAE/D,oEAAoE;IACpE,yEAAyE;IACzE,yEAAyE;IACzE,wEAAwE;IACxE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;AACpD,CAAC;AAED,gFAAgF;AAChF,uCAAuC;AACvC,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,UAAU,QAAQ,CACtB,CAAoB,EACpB,CAAmB,EACnB,QAA0B;IAE1B,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;AACtE,CAAC;AA2DD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,uBAAuB,CACrC,IAAyB,EACzB,oBAGC;IAED,uEAAuE;IACvE,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEnC,yEAAyE;IACzE,0EAA0E;IAC1E,4DAA4D;IAC5D,gEAAgE;IAChE,uEAAuE;IACvE,mDAAmD;IACnD,wEAAwE;IACxE,iDAAiD;IACjD,EAAE;IACF,0EAA0E;IAC1E,gDAAgD;IAChD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAS;QACpC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK;QAC7B,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;QAClC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;QAClC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;KACnC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,wBAAwB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED,sEAAsE;IACtE,6CAA6C;IAC7C,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,6BAA6B;IAC7B,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAClD,WAAW,CAAC,GAAG,CAAC,aAAa,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACvD,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5E,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5E,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAE5E,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC9B,CAAC;AAsBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,UAAU,eAAe,CAAC,CAAoB;IAKlD,MAAM,QAAQ,GAAwB,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAE/E,MAAM,QAAQ,GAAkB,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE;QACvD,wEAAwE;QACxE,yEAAyE;QACzE,oEAAoE;QACpE,wEAAwE;QACxE,yCAAyC;QACzC,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,uBAAuB,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,iBAAiB,CAAC,QAAoB,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QACrF,OAAO,MAAM,CAAC,KAAK,CAAC;IACtB,CAAC,CAAC;IAEF,MAAM,WAAW,GAAG,KAAK,EACvB,MAAoB,EACpB,MAAuB,EACN,EAAE;QACnB,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC7C,kEAAkE;QAClE,qEAAqE;QACrE,uEAAuE;QACvE,sCAAsC;QACtC,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,MAAM,IAAI,GAAG,CAAC,CAAkC,EAAQ,EAAE;YACxD,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;gBAC1B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACtB,IAAI,CAAC,GAAG,GAAG;oBAAE,GAAG,GAAG,CAAC,CAAC;gBACrB,OAAO;YACT,CAAC;YACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrB,KAAK,MAAM,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC3B,OAAO;YACT,CAAC;YACD,MAAM,IAAI,KAAK,CACb,iEAAiE;kBAC/D,6BAA6B,OAAO,CAAC,EAAE,CAC1C,CAAC;QACJ,CAAC,CAAC;QACF,IAAI,CAAC,KAAK,CAAC,CAAC;QACZ,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IAEF,OAAO,EAAE,QAAQ,EAAE,QAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AACnE,CAAC"}
package/dist/index.d.ts CHANGED
@@ -6,6 +6,7 @@
6
6
  * @packageDocumentation
7
7
  */
8
8
  export { UniversalTensor } from './core/tensor.js';
9
+ export { C_SI, G_SI, H_SI, HBAR_SI, K_B_SI, E_SI, ALPHA, M_P_SI, L_P_SI, T_P_SI, H0_SI, } from './core/constants.js';
9
10
  export type { TensorConfig, TensorIndices, PhysicalLaw, BridgeEquation, EmergentPhenomenon, PhysicalScale, Force, Symmetry, InformationMeasure, } from './core/types.js';
10
11
  export { PhysicalConstants } from './core/types.js';
11
12
  export { BRIDGE_EQUATIONS } from './bridges/index.js';
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,YAAY,EACV,YAAY,EACZ,aAAa,EACb,WAAW,EACX,cAAc,EACd,kBAAkB,EAClB,aAAa,EACb,KAAK,EACL,QAAQ,EACR,kBAAkB,GACnB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAOpD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,YAAY,EACV,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,UAAU,GACX,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,4BAA4B,EAC5B,KAAK,0BAA0B,EAC/B,KAAK,0BAA0B,EAC/B,4BAA4B,EAC5B,KAAK,0BAA0B,EAC/B,KAAK,0BAA0B,GAChC,MAAM,oBAAoB,CAAC;AAM5B,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAG1D,YAAY,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAK1E,OAAO,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAC;AACnD,YAAY,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAOlE,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACtD,YAAY,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAKrE,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC7D,YAAY,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAGtE,OAAO,EACL,iBAAiB,EACjB,KAAK,wBAAwB,EAC7B,KAAK,wBAAwB,GAC9B,MAAM,oCAAoC,CAAC;AAM5C,YAAY,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EACL,aAAa,EACb,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,KAAK,EACL,MAAM,EACN,KAAK,EACL,MAAM,EACN,WAAW,EACX,OAAO,EACP,MAAM,GACP,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,QAAQ,EACR,MAAM,EACN,KAAK,EACL,GAAG,EACH,QAAQ,EACR,MAAM,EACN,MAAM,EACN,sBAAsB,GACvB,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,QAAQ,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AACxF,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AACnG,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AAQxE,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,qBAAqB,EACrB,sBAAsB,EACtB,eAAe,EACf,eAAe,EACf,qBAAqB,EAErB,0BAA0B,EAC1B,qBAAqB,EACrB,kBAAkB,EAClB,qCAAqC,EAErC,oBAAoB,EAEpB,cAAc,GACf,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,eAAe,EACf,kBAAkB,EAClB,eAAe,EACf,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,WAAW,EACX,SAAS,EAET,iBAAiB,EACjB,iBAAiB,EAEjB,QAAQ,EACR,WAAW,EACX,UAAU,EAEV,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,sBAAsB,CAAC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAInD,OAAO,EACL,IAAI,EACJ,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,MAAM,EACN,IAAI,EACJ,KAAK,EACL,MAAM,EACN,MAAM,EACN,MAAM,EACN,KAAK,GACN,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EACV,YAAY,EACZ,aAAa,EACb,WAAW,EACX,cAAc,EACd,kBAAkB,EAClB,aAAa,EACb,KAAK,EACL,QAAQ,EACR,kBAAkB,GACnB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAOpD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,YAAY,EACV,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,UAAU,GACX,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,4BAA4B,EAC5B,KAAK,0BAA0B,EAC/B,KAAK,0BAA0B,EAC/B,4BAA4B,EAC5B,KAAK,0BAA0B,EAC/B,KAAK,0BAA0B,GAChC,MAAM,oBAAoB,CAAC;AAM5B,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAG1D,YAAY,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAK1E,OAAO,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAC;AACnD,YAAY,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAOlE,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACtD,YAAY,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAKrE,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC7D,YAAY,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAGtE,OAAO,EACL,iBAAiB,EACjB,KAAK,wBAAwB,EAC7B,KAAK,wBAAwB,GAC9B,MAAM,oCAAoC,CAAC;AAM5C,YAAY,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EACL,aAAa,EACb,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,KAAK,EACL,MAAM,EACN,KAAK,EACL,MAAM,EACN,WAAW,EACX,OAAO,EACP,MAAM,GACP,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,QAAQ,EACR,MAAM,EACN,KAAK,EACL,GAAG,EACH,QAAQ,EACR,MAAM,EACN,MAAM,EACN,sBAAsB,GACvB,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,QAAQ,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AACxF,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AACnG,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AAQxE,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,qBAAqB,EACrB,sBAAsB,EACtB,eAAe,EACf,eAAe,EACf,qBAAqB,EAErB,0BAA0B,EAC1B,qBAAqB,EACrB,kBAAkB,EAClB,qCAAqC,EAErC,oBAAoB,EAEpB,cAAc,GACf,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,eAAe,EACf,kBAAkB,EAClB,eAAe,EACf,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,WAAW,EACX,SAAS,EAET,iBAAiB,EACjB,iBAAiB,EAEjB,QAAQ,EACR,WAAW,EACX,UAAU,EAEV,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,sBAAsB,CAAC"}
package/dist/index.js CHANGED
@@ -6,6 +6,10 @@
6
6
  * @packageDocumentation
7
7
  */
8
8
  export { UniversalTensor } from './core/tensor.js';
9
+ // v0.5.1 — canonical flat CODATA 2018 / SI-defined constants (PC-1).
10
+ // Single source of truth across numerical, dimensional, and bridge layers.
11
+ // See src/core/constants.ts and docs/planning/v0.5.1-Implementation-Plan.md.
12
+ export { C_SI, G_SI, H_SI, HBAR_SI, K_B_SI, E_SI, ALPHA, M_P_SI, L_P_SI, T_P_SI, H0_SI, } from './core/constants.js';
9
13
  export { PhysicalConstants } from './core/types.js';
10
14
  // Machine-readable bridge equation index — the 40+ catalogued equations.
11
15
  // `BridgeEquationEntry` is intentionally a different shape from the runtime