universal-physics-tensor 0.5.1 → 0.7.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.
- package/README.md +66 -105
- package/dist/bridges/catalog-adapter.d.ts +116 -0
- package/dist/bridges/catalog-adapter.d.ts.map +1 -0
- package/dist/bridges/catalog-adapter.js +302 -0
- package/dist/bridges/catalog-adapter.js.map +1 -0
- package/dist/bridges/equations/_be-helpers.d.ts +145 -0
- package/dist/bridges/equations/_be-helpers.d.ts.map +1 -0
- package/dist/bridges/equations/_be-helpers.js +179 -0
- package/dist/bridges/equations/_be-helpers.js.map +1 -0
- package/dist/bridges/equations/be-11-decoherence-master.d.ts +1 -2
- package/dist/bridges/equations/be-11-decoherence-master.d.ts.map +1 -1
- package/dist/bridges/equations/be-11-decoherence-master.js +9 -20
- package/dist/bridges/equations/be-11-decoherence-master.js.map +1 -1
- package/dist/bridges/equations/be-12-coherence-length.d.ts +7 -1
- package/dist/bridges/equations/be-12-coherence-length.d.ts.map +1 -1
- package/dist/bridges/equations/be-12-coherence-length.js +8 -16
- package/dist/bridges/equations/be-12-coherence-length.js.map +1 -1
- package/dist/bridges/equations/be-13-einstein-trace.d.ts +51 -3
- package/dist/bridges/equations/be-13-einstein-trace.d.ts.map +1 -1
- package/dist/bridges/equations/be-13-einstein-trace.js +74 -17
- package/dist/bridges/equations/be-13-einstein-trace.js.map +1 -1
- package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts +10 -4
- package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts.map +1 -1
- package/dist/bridges/equations/be-14-ryu-takayanagi.js +6 -17
- package/dist/bridges/equations/be-14-ryu-takayanagi.js.map +1 -1
- package/dist/bridges/equations/be-15-emergence.d.ts +7 -1
- package/dist/bridges/equations/be-15-emergence.d.ts.map +1 -1
- package/dist/bridges/equations/be-15-emergence.js +12 -22
- package/dist/bridges/equations/be-15-emergence.js.map +1 -1
- package/dist/bridges/equations/be-16-landauer.d.ts +7 -1
- package/dist/bridges/equations/be-16-landauer.d.ts.map +1 -1
- package/dist/bridges/equations/be-16-landauer.js +5 -13
- package/dist/bridges/equations/be-16-landauer.js.map +1 -1
- package/dist/bridges/equations/be-17-einstein-cartan.d.ts +26 -13
- package/dist/bridges/equations/be-17-einstein-cartan.d.ts.map +1 -1
- package/dist/bridges/equations/be-17-einstein-cartan.js +28 -31
- package/dist/bridges/equations/be-17-einstein-cartan.js.map +1 -1
- package/dist/bridges/equations/be-18-higgs-mass.d.ts +7 -1
- package/dist/bridges/equations/be-18-higgs-mass.d.ts.map +1 -1
- package/dist/bridges/equations/be-18-higgs-mass.js +5 -16
- package/dist/bridges/equations/be-18-higgs-mass.js.map +1 -1
- package/dist/bridges/equations/be-19-quantum-bounce.d.ts +38 -3
- package/dist/bridges/equations/be-19-quantum-bounce.d.ts.map +1 -1
- package/dist/bridges/equations/be-19-quantum-bounce.js +69 -20
- package/dist/bridges/equations/be-19-quantum-bounce.js.map +1 -1
- package/dist/bridges/equations/be-20-vacuum-energy.d.ts +20 -1
- package/dist/bridges/equations/be-20-vacuum-energy.d.ts.map +1 -1
- package/dist/bridges/equations/be-20-vacuum-energy.js +36 -15
- package/dist/bridges/equations/be-20-vacuum-energy.js.map +1 -1
- package/dist/bridges/equations/be-21-kss-bound.d.ts +2 -0
- package/dist/bridges/equations/be-21-kss-bound.d.ts.map +1 -1
- package/dist/bridges/equations/be-21-kss-bound.js +4 -10
- package/dist/bridges/equations/be-21-kss-bound.js.map +1 -1
- package/dist/bridges/equations/be-22-topological-entanglement.d.ts +6 -9
- package/dist/bridges/equations/be-22-topological-entanglement.d.ts.map +1 -1
- package/dist/bridges/equations/be-22-topological-entanglement.js +9 -21
- package/dist/bridges/equations/be-22-topological-entanglement.js.map +1 -1
- package/dist/bridges/equations/be-23-syk-planckian.d.ts +7 -1
- package/dist/bridges/equations/be-23-syk-planckian.d.ts.map +1 -1
- package/dist/bridges/equations/be-23-syk-planckian.js +11 -25
- package/dist/bridges/equations/be-23-syk-planckian.js.map +1 -1
- package/dist/bridges/equations/be-24-foerster-fret.d.ts +7 -1
- package/dist/bridges/equations/be-24-foerster-fret.d.ts.map +1 -1
- package/dist/bridges/equations/be-24-foerster-fret.js +8 -16
- package/dist/bridges/equations/be-24-foerster-fret.js.map +1 -1
- package/dist/bridges/equations/be-25-iit-phi.d.ts +7 -1
- package/dist/bridges/equations/be-25-iit-phi.d.ts.map +1 -1
- package/dist/bridges/equations/be-25-iit-phi.js +12 -16
- package/dist/bridges/equations/be-25-iit-phi.js.map +1 -1
- package/dist/bridges/equations/be-25-orch-or.d.ts +6 -3
- package/dist/bridges/equations/be-25-orch-or.d.ts.map +1 -1
- package/dist/bridges/equations/be-25-orch-or.js +8 -17
- package/dist/bridges/equations/be-25-orch-or.js.map +1 -1
- package/dist/bridges/equations/be-26-dna-tunneling.d.ts +6 -3
- package/dist/bridges/equations/be-26-dna-tunneling.d.ts.map +1 -1
- package/dist/bridges/equations/be-26-dna-tunneling.js +11 -26
- package/dist/bridges/equations/be-26-dna-tunneling.js.map +1 -1
- package/dist/bridges/equations/be-27-effective-temperature.d.ts +7 -1
- package/dist/bridges/equations/be-27-effective-temperature.d.ts.map +1 -1
- package/dist/bridges/equations/be-27-effective-temperature.js +8 -16
- package/dist/bridges/equations/be-27-effective-temperature.js.map +1 -1
- package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts +7 -1
- package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts.map +1 -1
- package/dist/bridges/equations/be-28-onsager-entropy-production.js +9 -13
- package/dist/bridges/equations/be-28-onsager-entropy-production.js.map +1 -1
- package/dist/bridges/equations/be-29-jarzynski.d.ts +7 -1
- package/dist/bridges/equations/be-29-jarzynski.d.ts.map +1 -1
- package/dist/bridges/equations/be-29-jarzynski.js +8 -13
- package/dist/bridges/equations/be-29-jarzynski.js.map +1 -1
- package/dist/bridges/equations/be-30-flm-first-law.d.ts +11 -2
- package/dist/bridges/equations/be-30-flm-first-law.d.ts.map +1 -1
- package/dist/bridges/equations/be-30-flm-first-law.js +10 -21
- package/dist/bridges/equations/be-30-flm-first-law.js.map +1 -1
- package/dist/bridges/equations/be-31-causal-set-bd.d.ts +7 -1
- package/dist/bridges/equations/be-31-causal-set-bd.d.ts.map +1 -1
- package/dist/bridges/equations/be-31-causal-set-bd.js +11 -25
- package/dist/bridges/equations/be-31-causal-set-bd.js.map +1 -1
- package/dist/bridges/equations/be-32-quantum-reference-frame.d.ts +6 -9
- package/dist/bridges/equations/be-32-quantum-reference-frame.d.ts.map +1 -1
- package/dist/bridges/equations/be-32-quantum-reference-frame.js +8 -18
- package/dist/bridges/equations/be-32-quantum-reference-frame.js.map +1 -1
- package/dist/bridges/equations/be-33-hertz-millis.d.ts +53 -28
- package/dist/bridges/equations/be-33-hertz-millis.d.ts.map +1 -1
- package/dist/bridges/equations/be-33-hertz-millis.js +55 -51
- package/dist/bridges/equations/be-33-hertz-millis.js.map +1 -1
- package/dist/bridges/equations/be-34-kibble-zurek.d.ts +6 -3
- package/dist/bridges/equations/be-34-kibble-zurek.d.ts.map +1 -1
- package/dist/bridges/equations/be-34-kibble-zurek.js +15 -26
- package/dist/bridges/equations/be-34-kibble-zurek.js.map +1 -1
- package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts +6 -9
- package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts.map +1 -1
- package/dist/bridges/equations/be-35-conformal-bootstrap.js +9 -21
- package/dist/bridges/equations/be-35-conformal-bootstrap.js.map +1 -1
- package/dist/bridges/equations/be-36-gw-speed-bound.d.ts +7 -1
- package/dist/bridges/equations/be-36-gw-speed-bound.d.ts.map +1 -1
- package/dist/bridges/equations/be-36-gw-speed-bound.js +5 -13
- package/dist/bridges/equations/be-36-gw-speed-bound.js.map +1 -1
- package/dist/bridges/equations/be-37-shapiro-delay.d.ts +4 -2
- package/dist/bridges/equations/be-37-shapiro-delay.d.ts.map +1 -1
- package/dist/bridges/equations/be-37-shapiro-delay.js +15 -28
- package/dist/bridges/equations/be-37-shapiro-delay.js.map +1 -1
- package/dist/bridges/equations/be-38-mond.d.ts +7 -1
- package/dist/bridges/equations/be-38-mond.d.ts.map +1 -1
- package/dist/bridges/equations/be-38-mond.js +9 -19
- package/dist/bridges/equations/be-38-mond.js.map +1 -1
- package/dist/bridges/equations/be-39-asymptotic-safety.d.ts +66 -2
- package/dist/bridges/equations/be-39-asymptotic-safety.d.ts.map +1 -1
- package/dist/bridges/equations/be-39-asymptotic-safety.js +128 -20
- package/dist/bridges/equations/be-39-asymptotic-safety.js.map +1 -1
- package/dist/bridges/equations/be-40-composite-higgs.d.ts +7 -1
- package/dist/bridges/equations/be-40-composite-higgs.d.ts.map +1 -1
- package/dist/bridges/equations/be-40-composite-higgs.js +10 -22
- package/dist/bridges/equations/be-40-composite-higgs.js.map +1 -1
- package/dist/bridges/equations/be-41-swampland.d.ts +6 -3
- package/dist/bridges/equations/be-41-swampland.d.ts.map +1 -1
- package/dist/bridges/equations/be-41-swampland.js +11 -23
- package/dist/bridges/equations/be-41-swampland.js.map +1 -1
- package/dist/bridges/equations/be-42-hawking-temperature.d.ts +2 -0
- package/dist/bridges/equations/be-42-hawking-temperature.d.ts.map +1 -1
- package/dist/bridges/equations/be-42-hawking-temperature.js +5 -13
- package/dist/bridges/equations/be-42-hawking-temperature.js.map +1 -1
- package/dist/bridges/equations/be-43-er-epr.d.ts +7 -1
- package/dist/bridges/equations/be-43-er-epr.d.ts.map +1 -1
- package/dist/bridges/equations/be-43-er-epr.js +5 -13
- package/dist/bridges/equations/be-43-er-epr.js.map +1 -1
- package/dist/bridges/equations/be-44-soft-hair.d.ts +7 -1
- package/dist/bridges/equations/be-44-soft-hair.d.ts.map +1 -1
- package/dist/bridges/equations/be-44-soft-hair.js +5 -13
- package/dist/bridges/equations/be-44-soft-hair.js.map +1 -1
- package/dist/bridges/equations/be-45-tcc.d.ts +7 -1
- package/dist/bridges/equations/be-45-tcc.d.ts.map +1 -1
- package/dist/bridges/equations/be-45-tcc.js +10 -22
- package/dist/bridges/equations/be-45-tcc.js.map +1 -1
- package/dist/bridges/equations/be-46-multiverse-measure.d.ts +7 -1
- package/dist/bridges/equations/be-46-multiverse-measure.d.ts.map +1 -1
- package/dist/bridges/equations/be-46-multiverse-measure.js +9 -19
- package/dist/bridges/equations/be-46-multiverse-measure.js.map +1 -1
- package/dist/bridges/equations/be-47-bbn-dark-sector.d.ts +7 -1
- package/dist/bridges/equations/be-47-bbn-dark-sector.d.ts.map +1 -1
- package/dist/bridges/equations/be-47-bbn-dark-sector.js +14 -16
- package/dist/bridges/equations/be-47-bbn-dark-sector.js.map +1 -1
- package/dist/bridges/equations/be-48-grw-localization.d.ts +7 -1
- package/dist/bridges/equations/be-48-grw-localization.d.ts.map +1 -1
- package/dist/bridges/equations/be-48-grw-localization.js +15 -20
- package/dist/bridges/equations/be-48-grw-localization.js.map +1 -1
- package/dist/bridges/equations/be-49-quantum-darwinism.d.ts +7 -1
- package/dist/bridges/equations/be-49-quantum-darwinism.d.ts.map +1 -1
- package/dist/bridges/equations/be-49-quantum-darwinism.js +10 -22
- package/dist/bridges/equations/be-49-quantum-darwinism.js.map +1 -1
- package/dist/bridges/equations/be-50-wheeler-feynman.d.ts +42 -12
- package/dist/bridges/equations/be-50-wheeler-feynman.d.ts.map +1 -1
- package/dist/bridges/equations/be-50-wheeler-feynman.js +84 -20
- package/dist/bridges/equations/be-50-wheeler-feynman.js.map +1 -1
- package/dist/bridges/equations/be-53-yang-mills-beta.d.ts +158 -0
- package/dist/bridges/equations/be-53-yang-mills-beta.d.ts.map +1 -0
- package/dist/bridges/equations/be-53-yang-mills-beta.js +175 -0
- package/dist/bridges/equations/be-53-yang-mills-beta.js.map +1 -0
- package/dist/bridges/equations/be-54-randall-sundrum-brane.d.ts +117 -0
- package/dist/bridges/equations/be-54-randall-sundrum-brane.d.ts.map +1 -0
- package/dist/bridges/equations/be-54-randall-sundrum-brane.js +213 -0
- package/dist/bridges/equations/be-54-randall-sundrum-brane.js.map +1 -0
- package/dist/bridges/index.d.ts +40 -1
- package/dist/bridges/index.d.ts.map +1 -1
- package/dist/bridges/index.js +130 -48
- package/dist/bridges/index.js.map +1 -1
- package/dist/bridges/perihelion-precession-labeled.d.ts +46 -0
- package/dist/bridges/perihelion-precession-labeled.d.ts.map +1 -0
- package/dist/bridges/perihelion-precession-labeled.js +54 -0
- package/dist/bridges/perihelion-precession-labeled.js.map +1 -0
- package/dist/core/axes-registry.d.ts +67 -0
- package/dist/core/axes-registry.d.ts.map +1 -0
- package/dist/core/axes-registry.js +75 -0
- package/dist/core/axes-registry.js.map +1 -0
- package/dist/core/cell.d.ts +176 -0
- package/dist/core/cell.d.ts.map +1 -0
- package/dist/core/cell.js +166 -0
- package/dist/core/cell.js.map +1 -0
- package/dist/core/flux-rules.d.ts +176 -0
- package/dist/core/flux-rules.d.ts.map +1 -0
- package/dist/core/flux-rules.js +329 -0
- package/dist/core/flux-rules.js.map +1 -0
- package/dist/core/labeled-tensor.d.ts +143 -0
- package/dist/core/labeled-tensor.d.ts.map +1 -0
- package/dist/core/labeled-tensor.js +275 -0
- package/dist/core/labeled-tensor.js.map +1 -0
- package/dist/core/regime-registry.d.ts +169 -0
- package/dist/core/regime-registry.d.ts.map +1 -0
- package/dist/core/regime-registry.js +174 -0
- package/dist/core/regime-registry.js.map +1 -0
- package/dist/core/regime-rule-install.d.ts +26 -0
- package/dist/core/regime-rule-install.d.ts.map +1 -0
- package/dist/core/regime-rule-install.js +90 -0
- package/dist/core/regime-rule-install.js.map +1 -0
- package/dist/core/regimes-builtins.d.ts +22 -0
- package/dist/core/regimes-builtins.d.ts.map +1 -0
- package/dist/core/regimes-builtins.js +96 -0
- package/dist/core/regimes-builtins.js.map +1 -0
- package/dist/core/tensor.d.ts +112 -0
- package/dist/core/tensor.d.ts.map +1 -1
- package/dist/core/tensor.js +366 -0
- package/dist/core/tensor.js.map +1 -1
- package/dist/core/types.d.ts +7 -2
- package/dist/core/types.d.ts.map +1 -1
- package/dist/core/types.js.map +1 -1
- package/dist/core/universal-index.d.ts +97 -0
- package/dist/core/universal-index.d.ts.map +1 -0
- package/dist/core/universal-index.js +70 -0
- package/dist/core/universal-index.js.map +1 -0
- package/dist/diff/bridge-gradient.d.ts +94 -0
- package/dist/diff/bridge-gradient.d.ts.map +1 -0
- package/dist/diff/bridge-gradient.js +83 -0
- package/dist/diff/bridge-gradient.js.map +1 -0
- package/dist/diff/bridge-specs.d.ts +68 -0
- package/dist/diff/bridge-specs.d.ts.map +1 -0
- package/dist/diff/bridge-specs.js +96 -0
- package/dist/diff/bridge-specs.js.map +1 -0
- package/dist/dimensional/bridge-check.d.ts.map +1 -1
- package/dist/dimensional/bridge-check.js +8 -0
- package/dist/dimensional/bridge-check.js.map +1 -1
- package/dist/dimensional/connection-validators.d.ts +12 -5
- package/dist/dimensional/connection-validators.d.ts.map +1 -1
- package/dist/dimensional/connection-validators.js.map +1 -1
- package/dist/dimensional/curvature-composite.d.ts +90 -0
- package/dist/dimensional/curvature-composite.d.ts.map +1 -0
- package/dist/dimensional/curvature-composite.js +57 -0
- package/dist/dimensional/curvature-composite.js.map +1 -0
- package/dist/dimensional/curvature-invariants.d.ts +90 -0
- package/dist/dimensional/curvature-invariants.d.ts.map +1 -0
- package/dist/dimensional/curvature-invariants.js +64 -0
- package/dist/dimensional/curvature-invariants.js.map +1 -0
- package/dist/dimensional/curvature.d.ts +46 -30
- package/dist/dimensional/curvature.d.ts.map +1 -1
- package/dist/dimensional/curvature.js.map +1 -1
- package/dist/dimensional/einstein-equation.d.ts +126 -0
- package/dist/dimensional/einstein-equation.d.ts.map +1 -0
- package/dist/dimensional/einstein-equation.js +122 -0
- package/dist/dimensional/einstein-equation.js.map +1 -0
- package/dist/dimensional/field-equation-helpers.d.ts +82 -0
- package/dist/dimensional/field-equation-helpers.d.ts.map +1 -0
- package/dist/dimensional/field-equation-helpers.js +123 -0
- package/dist/dimensional/field-equation-helpers.js.map +1 -0
- package/dist/dimensional/friedmann-equation.d.ts +148 -0
- package/dist/dimensional/friedmann-equation.d.ts.map +1 -0
- package/dist/dimensional/friedmann-equation.js +150 -0
- package/dist/dimensional/friedmann-equation.js.map +1 -0
- package/dist/dimensional/gauge-field.d.ts +182 -0
- package/dist/dimensional/gauge-field.d.ts.map +1 -0
- package/dist/dimensional/gauge-field.js +134 -0
- package/dist/dimensional/gauge-field.js.map +1 -0
- package/dist/dimensional/killing-validators.d.ts +94 -0
- package/dist/dimensional/killing-validators.d.ts.map +1 -0
- package/dist/dimensional/killing-validators.js +66 -0
- package/dist/dimensional/killing-validators.js.map +1 -0
- package/dist/dimensional/klein-gordon-equation.d.ts +113 -0
- package/dist/dimensional/klein-gordon-equation.d.ts.map +1 -0
- package/dist/dimensional/klein-gordon-equation.js +98 -0
- package/dist/dimensional/klein-gordon-equation.js.map +1 -0
- package/dist/dimensional/rg-flow.d.ts +156 -0
- package/dist/dimensional/rg-flow.d.ts.map +1 -0
- package/dist/dimensional/rg-flow.js +150 -0
- package/dist/dimensional/rg-flow.js.map +1 -0
- package/dist/dimensional/stress-energy-validators.d.ts +74 -0
- package/dist/dimensional/stress-energy-validators.d.ts.map +1 -0
- package/dist/dimensional/stress-energy-validators.js +47 -0
- package/dist/dimensional/stress-energy-validators.js.map +1 -0
- package/dist/dimensional/tensor-trace.d.ts +128 -0
- package/dist/dimensional/tensor-trace.d.ts.map +1 -0
- package/dist/dimensional/tensor-trace.js +95 -0
- package/dist/dimensional/tensor-trace.js.map +1 -0
- package/dist/dimensional/tensor.d.ts +6 -8
- package/dist/dimensional/tensor.d.ts.map +1 -1
- package/dist/dimensional/tensor.js +3 -1
- package/dist/dimensional/tensor.js.map +1 -1
- package/dist/dimensional/validator-registry.d.ts +90 -0
- package/dist/dimensional/validator-registry.d.ts.map +1 -0
- package/dist/dimensional/validator-registry.js +131 -0
- package/dist/dimensional/validator-registry.js.map +1 -0
- package/dist/dimensional/validator.d.ts +12 -2
- package/dist/dimensional/validator.d.ts.map +1 -1
- package/dist/dimensional/validator.js +60 -75
- package/dist/dimensional/validator.js.map +1 -1
- package/dist/dimensional/weyl-validators.d.ts +84 -0
- package/dist/dimensional/weyl-validators.d.ts.map +1 -0
- package/dist/dimensional/weyl-validators.js +84 -0
- package/dist/dimensional/weyl-validators.js.map +1 -0
- package/dist/index.d.ts +37 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +41 -0
- package/dist/index.js.map +1 -1
- package/dist/numerical/be37-covariant-eikonal.d.ts +19 -0
- package/dist/numerical/be37-covariant-eikonal.d.ts.map +1 -1
- package/dist/numerical/be37-covariant-eikonal.js +29 -9
- package/dist/numerical/be37-covariant-eikonal.js.map +1 -1
- package/dist/numerical/christoffel-flat.d.ts +49 -0
- package/dist/numerical/christoffel-flat.d.ts.map +1 -0
- package/dist/numerical/christoffel-flat.js +86 -0
- package/dist/numerical/christoffel-flat.js.map +1 -0
- package/dist/numerical/curvature-lowering-helpers.d.ts +49 -57
- package/dist/numerical/curvature-lowering-helpers.d.ts.map +1 -1
- package/dist/numerical/curvature-lowering-helpers.js +109 -4
- package/dist/numerical/curvature-lowering-helpers.js.map +1 -1
- package/dist/numerical/derivative-lowering.d.ts +67 -0
- package/dist/numerical/derivative-lowering.d.ts.map +1 -0
- package/dist/numerical/derivative-lowering.js +243 -0
- package/dist/numerical/derivative-lowering.js.map +1 -0
- package/dist/numerical/einstein-equation.d.ts +106 -0
- package/dist/numerical/einstein-equation.d.ts.map +1 -0
- package/dist/numerical/einstein-equation.js +172 -0
- package/dist/numerical/einstein-equation.js.map +1 -0
- package/dist/numerical/geodesic-integrator.d.ts +7 -4
- package/dist/numerical/geodesic-integrator.d.ts.map +1 -1
- package/dist/numerical/geodesic-integrator.js +5 -1
- package/dist/numerical/geodesic-integrator.js.map +1 -1
- package/dist/numerical/gl4-integrator.d.ts +4 -2
- package/dist/numerical/gl4-integrator.d.ts.map +1 -1
- package/dist/numerical/gl4-integrator.js +24 -8
- package/dist/numerical/gl4-integrator.js.map +1 -1
- package/dist/numerical/killing.d.ts +157 -0
- package/dist/numerical/killing.d.ts.map +1 -0
- package/dist/numerical/killing.js +242 -0
- package/dist/numerical/killing.js.map +1 -0
- package/dist/numerical/kretschmann.d.ts +62 -0
- package/dist/numerical/kretschmann.d.ts.map +1 -0
- package/dist/numerical/kretschmann.js +88 -0
- package/dist/numerical/kretschmann.js.map +1 -0
- package/dist/numerical/lowering-utils.d.ts +47 -0
- package/dist/numerical/lowering-utils.d.ts.map +1 -0
- package/dist/numerical/lowering-utils.js +64 -0
- package/dist/numerical/lowering-utils.js.map +1 -0
- package/dist/numerical/lowering.d.ts +1 -29
- package/dist/numerical/lowering.d.ts.map +1 -1
- package/dist/numerical/lowering.js +219 -415
- package/dist/numerical/lowering.js.map +1 -1
- package/dist/numerical/null-ic.d.ts +40 -0
- package/dist/numerical/null-ic.d.ts.map +1 -0
- package/dist/numerical/null-ic.js +50 -0
- package/dist/numerical/null-ic.js.map +1 -0
- package/dist/numerical/null-ray-integrator.d.ts +3 -2
- package/dist/numerical/null-ray-integrator.d.ts.map +1 -1
- package/dist/numerical/painleve-gullstrand-metric.d.ts +74 -0
- package/dist/numerical/painleve-gullstrand-metric.d.ts.map +1 -0
- package/dist/numerical/painleve-gullstrand-metric.js +121 -0
- package/dist/numerical/painleve-gullstrand-metric.js.map +1 -0
- package/dist/numerical/pderiv.d.ts +17 -9
- package/dist/numerical/pderiv.d.ts.map +1 -1
- package/dist/numerical/pderiv.js +6 -3
- package/dist/numerical/pderiv.js.map +1 -1
- package/dist/numerical/perihelion-finder.d.ts +30 -0
- package/dist/numerical/perihelion-finder.d.ts.map +1 -1
- package/dist/numerical/perihelion-finder.js +30 -0
- package/dist/numerical/perihelion-finder.js.map +1 -1
- package/dist/numerical/tensor-engine.d.ts +2 -2
- package/dist/numerical/tensor-engine.d.ts.map +1 -1
- package/dist/numerical/weyl-lowering.d.ts +60 -0
- package/dist/numerical/weyl-lowering.d.ts.map +1 -0
- package/dist/numerical/weyl-lowering.js +111 -0
- package/dist/numerical/weyl-lowering.js.map +1 -0
- package/package.json +9 -7
|
@@ -63,10 +63,9 @@
|
|
|
63
63
|
* @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 35)
|
|
64
64
|
* @module bridges/equations/be-35-conformal-bootstrap
|
|
65
65
|
*/
|
|
66
|
-
import { validate, validateEquation } from '../../dimensional/validator.js';
|
|
67
66
|
import { DIMENSIONLESS, } from '../../dimensional/types.js';
|
|
67
|
+
import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
|
|
68
68
|
// --- Symbolic AST ---
|
|
69
|
-
const sym = (name, dim) => ({ kind: 'symbol', name, dim });
|
|
70
69
|
/**
|
|
71
70
|
* Lemma AST: forward-channel block `C² · g_block(u, v)`.
|
|
72
71
|
*
|
|
@@ -125,7 +124,7 @@ export const BE35_CROSSING_RESIDUAL_RHS = {
|
|
|
125
124
|
],
|
|
126
125
|
};
|
|
127
126
|
/** LHS: R_cross is dimensionless. */
|
|
128
|
-
|
|
127
|
+
const BE35_CROSSING_RESIDUAL_LHS = sym('R_cross', DIMENSIONLESS);
|
|
129
128
|
/**
|
|
130
129
|
* Evaluate the crossing-symmetry residual
|
|
131
130
|
*
|
|
@@ -137,16 +136,12 @@ export const BE35_CROSSING_RESIDUAL_LHS = sym('R_cross', DIMENSIONLESS);
|
|
|
137
136
|
* pair (g_uv, g_vu) is not from the same block under a u ↔ v swap.
|
|
138
137
|
*/
|
|
139
138
|
export function evaluateCrossingResidual(input) {
|
|
139
|
+
validateFiniteInputs(input, [
|
|
140
|
+
{ name: 'ope_coefficient' },
|
|
141
|
+
{ name: 'g_block_uv' },
|
|
142
|
+
{ name: 'g_block_vu' },
|
|
143
|
+
], 'evaluateCrossingResidual');
|
|
140
144
|
const { ope_coefficient, g_block_uv, g_block_vu } = input;
|
|
141
|
-
if (!Number.isFinite(ope_coefficient)) {
|
|
142
|
-
throw new RangeError(`evaluateCrossingResidual: ope_coefficient must be finite, got ${ope_coefficient}`);
|
|
143
|
-
}
|
|
144
|
-
if (!Number.isFinite(g_block_uv)) {
|
|
145
|
-
throw new RangeError(`evaluateCrossingResidual: g_block_uv must be finite, got ${g_block_uv}`);
|
|
146
|
-
}
|
|
147
|
-
if (!Number.isFinite(g_block_vu)) {
|
|
148
|
-
throw new RangeError(`evaluateCrossingResidual: g_block_vu must be finite, got ${g_block_vu}`);
|
|
149
|
-
}
|
|
150
145
|
return ope_coefficient * ope_coefficient * (g_block_uv - g_block_vu);
|
|
151
146
|
}
|
|
152
147
|
// --- Self-validation ---
|
|
@@ -154,14 +149,7 @@ export function evaluateCrossingResidual(input) {
|
|
|
154
149
|
* Run the AST through the dimensional analyzer; LHS and RHS should
|
|
155
150
|
* both be DIMENSIONLESS.
|
|
156
151
|
*/
|
|
157
|
-
|
|
158
|
-
|
|
159
|
-
const lhs = validate(BE35_CROSSING_RESIDUAL_LHS);
|
|
160
|
-
const rhs = validate(BE35_CROSSING_RESIDUAL_RHS);
|
|
161
|
-
return {
|
|
162
|
-
ok: eq.ok,
|
|
163
|
-
lhsDim: lhs.inferredDimension,
|
|
164
|
-
rhsDim: rhs.inferredDimension,
|
|
165
|
-
};
|
|
152
|
+
function validateBE35Dimensions() {
|
|
153
|
+
return validateBEDimensions(BE35_CROSSING_RESIDUAL_LHS, BE35_CROSSING_RESIDUAL_RHS, 'BE35');
|
|
166
154
|
}
|
|
167
155
|
//# sourceMappingURL=be-35-conformal-bootstrap.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"be-35-conformal-bootstrap.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-35-conformal-bootstrap.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgEG;AAGH,OAAO,
|
|
1
|
+
{"version":3,"file":"be-35-conformal-bootstrap.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-35-conformal-bootstrap.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgEG;AAGH,OAAO,EACL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,uBAAuB;AAEvB;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,8DAA8D;gBAC9D,4DAA4D;gBAC5D,oCAAoC;gBACpC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB;SACF;QACD,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC;KACjC;CACF,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB;SACF;QACD,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC;KACjC;CACF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAa;IAClD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,kBAAkB;QAClB,kBAAkB;KACnB;CACF,CAAC;AAEF,qCAAqC;AACrC,MAAM,0BAA0B,GAAa,GAAG,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;AAgB3E;;;;;;;;;GASG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAA6B;IACpE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,iBAAiB,EAAE;QAC3B,EAAE,IAAI,EAAE,YAAY,EAAE;QACtB,EAAE,IAAI,EAAE,YAAY,EAAE;KACvB,EACD,0BAA0B,CAC3B,CAAC;IACF,MAAM,EAAE,eAAe,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IAC1D,OAAO,eAAe,GAAG,eAAe,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC,CAAC;AACvE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,SAAS,sBAAsB;IAC7B,OAAO,oBAAoB,CACzB,0BAA0B,EAC1B,0BAA0B,EAC1B,MAAM,CACP,CAAC;AACJ,CAAC"}
|
|
@@ -49,10 +49,14 @@ import type { ExprNode, DimensionValidationReport } from '../../dimensional/vali
|
|
|
49
49
|
*/
|
|
50
50
|
export declare const BE36_GW_SPEED_RATIO_RHS: ExprNode;
|
|
51
51
|
/** LHS: signed dimensionless graviton-photon speed-difference ratio. */
|
|
52
|
+
/** @internal */
|
|
52
53
|
export declare const BE36_GW_SPEED_RATIO_LHS: ExprNode;
|
|
53
54
|
/** Canonical GW170817 upper bound on |Δv|/c. */
|
|
54
55
|
export declare const GW170817_SPEED_BOUND = 1e-15;
|
|
55
|
-
|
|
56
|
+
/**
|
|
57
|
+
* @internal — typed-arg shape for the file-local `evaluateGWSpeedRatio` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
|
|
58
|
+
*/
|
|
59
|
+
interface GWSpeedRatioInputs {
|
|
56
60
|
/** Gravitational-wave speed c_GW (m/s). Must be > 0 and finite. */
|
|
57
61
|
c_GW_m_per_s: number;
|
|
58
62
|
}
|
|
@@ -73,5 +77,7 @@ export declare function satisfiesGW170817Bound(input: GWSpeedRatioInputs): boole
|
|
|
73
77
|
* Run the AST through the dimensional analyzer; both sides should be
|
|
74
78
|
* DIMENSIONLESS.
|
|
75
79
|
*/
|
|
80
|
+
/** @internal */
|
|
76
81
|
export declare function validateBE36Dimensions(): DimensionValidationReport;
|
|
82
|
+
export {};
|
|
77
83
|
//# sourceMappingURL=be-36-gw-speed-bound.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"be-36-gw-speed-bound.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-36-gw-speed-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;
|
|
1
|
+
{"version":3,"file":"be-36-gw-speed-bound.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-36-gw-speed-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAQ1F;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB,EAAE,QAYrC,CAAC;AAEF,wEAAwE;AACxE,gBAAgB;AAChB,eAAO,MAAM,uBAAuB,EAAE,QAA+C,CAAC;AAEtF,gDAAgD;AAChD,eAAO,MAAM,oBAAoB,QAAQ,CAAC;AAI1C;;GAEG;AACH,UAAU,kBAAkB;IAC1B,mEAAmE;IACnE,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,kBAAkB,GAAG,MAAM,CAStE;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAEzE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}
|
|
@@ -39,10 +39,9 @@
|
|
|
39
39
|
* @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 36)
|
|
40
40
|
* @module bridges/equations/be-36-gw-speed-bound
|
|
41
41
|
*/
|
|
42
|
-
import { validate, validateEquation } from '../../dimensional/validator.js';
|
|
43
42
|
import { DIMENSIONLESS, VELOCITY, } from '../../dimensional/types.js';
|
|
44
43
|
import { PhysicalConstants } from '../../core/types.js';
|
|
45
|
-
|
|
44
|
+
import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
|
|
46
45
|
/**
|
|
47
46
|
* RHS of the GW170817 dimensionless ratio:
|
|
48
47
|
* ratio = (c_GW − c) / c
|
|
@@ -64,6 +63,7 @@ export const BE36_GW_SPEED_RATIO_RHS = {
|
|
|
64
63
|
],
|
|
65
64
|
};
|
|
66
65
|
/** LHS: signed dimensionless graviton-photon speed-difference ratio. */
|
|
66
|
+
/** @internal */
|
|
67
67
|
export const BE36_GW_SPEED_RATIO_LHS = sym('delta_v_over_c', DIMENSIONLESS);
|
|
68
68
|
/** Canonical GW170817 upper bound on |Δv|/c. */
|
|
69
69
|
export const GW170817_SPEED_BOUND = 1e-15;
|
|
@@ -73,10 +73,8 @@ export const GW170817_SPEED_BOUND = 1e-15;
|
|
|
73
73
|
* @returns Signed ratio. For GR, c_GW = c exactly and ratio = 0.
|
|
74
74
|
*/
|
|
75
75
|
export function evaluateGWSpeedRatio(input) {
|
|
76
|
+
validateFiniteInputs(input, [{ name: 'c_GW_m_per_s', min: 0, excludeMin: true }], 'evaluateGWSpeedRatio');
|
|
76
77
|
const { c_GW_m_per_s } = input;
|
|
77
|
-
if (!Number.isFinite(c_GW_m_per_s) || c_GW_m_per_s <= 0) {
|
|
78
|
-
throw new RangeError(`evaluateGWSpeedRatio: c_GW_m_per_s must be a finite positive number, got ${c_GW_m_per_s}`);
|
|
79
|
-
}
|
|
80
78
|
const { c } = PhysicalConstants;
|
|
81
79
|
return (c_GW_m_per_s - c) / c;
|
|
82
80
|
}
|
|
@@ -94,14 +92,8 @@ export function satisfiesGW170817Bound(input) {
|
|
|
94
92
|
* Run the AST through the dimensional analyzer; both sides should be
|
|
95
93
|
* DIMENSIONLESS.
|
|
96
94
|
*/
|
|
95
|
+
/** @internal */
|
|
97
96
|
export function validateBE36Dimensions() {
|
|
98
|
-
|
|
99
|
-
const lhs = validate(BE36_GW_SPEED_RATIO_LHS);
|
|
100
|
-
const rhs = validate(BE36_GW_SPEED_RATIO_RHS);
|
|
101
|
-
return {
|
|
102
|
-
ok: eq.ok,
|
|
103
|
-
lhsDim: lhs.inferredDimension,
|
|
104
|
-
rhsDim: rhs.inferredDimension,
|
|
105
|
-
};
|
|
97
|
+
return validateBEDimensions(BE36_GW_SPEED_RATIO_LHS, BE36_GW_SPEED_RATIO_RHS, 'BE36');
|
|
106
98
|
}
|
|
107
99
|
//# sourceMappingURL=be-36-gw-speed-bound.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"be-36-gw-speed-bound.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-36-gw-speed-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AAGH,OAAO,
|
|
1
|
+
{"version":3,"file":"be-36-gw-speed-bound.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-36-gw-speed-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AAGH,OAAO,EACL,aAAa,EACb,QAAQ,GACT,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;gBACrB,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC;aACnB;SACF;QACD,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC;KACnB;CACF,CAAC;AAEF,wEAAwE;AACxE,gBAAgB;AAChB,MAAM,CAAC,MAAM,uBAAuB,GAAa,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC,CAAC;AAEtF,gDAAgD;AAChD,MAAM,CAAC,MAAM,oBAAoB,GAAG,KAAK,CAAC;AAY1C;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAyB;IAC5D,oBAAoB,CAClB,KAAK,EACL,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EACpD,sBAAsB,CACvB,CAAC;IACF,MAAM,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IAC/B,MAAM,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IAChC,OAAO,CAAC,YAAY,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;AAChC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAyB;IAC9D,OAAO,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,IAAI,oBAAoB,CAAC;AACvE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,uBAAuB,EAAE,uBAAuB,EAAE,MAAM,CAAC,CAAC;AACxF,CAAC"}
|
|
@@ -148,8 +148,6 @@ export declare const BE37_G: ExprNode;
|
|
|
148
148
|
export declare const BE37_M: ExprNode;
|
|
149
149
|
/** Symbol: speed of light c. Dim `[velocity]` = `[L T⁻¹]`. */
|
|
150
150
|
export declare const BE37_C: ExprNode;
|
|
151
|
-
/** Symbol: dimensionless integer factor 2. */
|
|
152
|
-
export declare const BE37_TWO: ExprNode;
|
|
153
151
|
/**
|
|
154
152
|
* Lemma AST: `c³` (dim `[L³ T⁻³]`).
|
|
155
153
|
*
|
|
@@ -194,6 +192,7 @@ export declare const BE37_LOG_FACTOR: ExprNode;
|
|
|
194
192
|
*/
|
|
195
193
|
export declare const BE37_SHAPIRO_DELAY_RHS: ExprNode;
|
|
196
194
|
/** LHS: Δt is a time delay. Dim `[time]`. */
|
|
195
|
+
/** @internal */
|
|
197
196
|
export declare const BE37_SHAPIRO_DELAY_LHS: ExprNode;
|
|
198
197
|
export interface ShapiroInputs {
|
|
199
198
|
/** Gravitating-body mass M in kg. Must be finite and > 0. */
|
|
@@ -220,6 +219,7 @@ export declare function evaluateShapiroDelay(input: ShapiroInputs): number;
|
|
|
220
219
|
* Run the AST through the dimensional analyzer; LHS and RHS should
|
|
221
220
|
* both be `[time]` = `[T]`.
|
|
222
221
|
*/
|
|
222
|
+
/** @internal */
|
|
223
223
|
export declare function validateBE37Dimensions(): DimensionValidationReport;
|
|
224
224
|
/**
|
|
225
225
|
* Eikonal LHS: g^μν (∂_μ S)(∂_ν S).
|
|
@@ -228,6 +228,7 @@ export declare function validateBE37Dimensions(): DimensionValidationReport;
|
|
|
228
228
|
* ν pairs (upper from g_inverse, lower from dnu_S). Result is a scalar
|
|
229
229
|
* with dim DIMENSIONLESS · DIMENSIONLESS · DIMENSIONLESS = DIMENSIONLESS.
|
|
230
230
|
*/
|
|
231
|
+
/** @internal */
|
|
231
232
|
export declare const BE37_EIKONAL_LHS: ExprNode;
|
|
232
233
|
/**
|
|
233
234
|
* Eikonal RHS: the literal dimensionless 'zero' symbol (null-geodesic
|
|
@@ -238,6 +239,7 @@ export declare const BE37_EIKONAL_RHS_ZERO: ExprNode;
|
|
|
238
239
|
* Per-bridge dimensional self-check for the v0.3.0 eikonal structural
|
|
239
240
|
* form. Both sides should be DIMENSIONLESS.
|
|
240
241
|
*/
|
|
242
|
+
/** @internal */
|
|
241
243
|
export declare function validateBE37EikonalDimensions(): DimensionValidationReport;
|
|
242
244
|
/**
|
|
243
245
|
* BE-37 end-to-end numerical evaluator (v0.3.5-Design.md §8).
|
|
@@ -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;
|
|
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;AAmBxC,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;AAQ5C;;;;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,gBAAgB;AAChB,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,CAmBjE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE;AAiED;;;;;;GAMG;AACH,gBAAgB;AAChB,eAAO,MAAM,gBAAgB,EAAE,QAAoD,CAAC;AAEpF;;;GAGG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAInC,CAAC;AAEF;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,6BAA6B,IAAI,yBAAyB,CAEzE;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"}
|
|
@@ -141,7 +141,6 @@
|
|
|
141
141
|
* @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 37)
|
|
142
142
|
* @module bridges/equations/be-37-shapiro-delay
|
|
143
143
|
*/
|
|
144
|
-
import { validate, validateEquation } from '../../dimensional/validator.js';
|
|
145
144
|
import { DIMENSIONLESS, TIME, MASS, LENGTH, } from '../../dimensional/types.js';
|
|
146
145
|
import { G, c } from '../../dimensional/constants.js';
|
|
147
146
|
import { tsym, contract } from '../../dimensional/tensor.js';
|
|
@@ -149,7 +148,7 @@ import { metric, pderiv } from '../../dimensional/metric.js';
|
|
|
149
148
|
import { evaluateNumerical } from '../../numerical/index.js';
|
|
150
149
|
import { integrateRK4 } from '../../numerical/null-ray-integrator.js';
|
|
151
150
|
import { C_SI, G_SI } from '../../core/constants.js';
|
|
152
|
-
|
|
151
|
+
import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
|
|
153
152
|
// --- Symbolic AST ---
|
|
154
153
|
/** Symbol: Newton's gravitational constant G. Dim `[L³ M⁻¹ T⁻²]`. */
|
|
155
154
|
export const BE37_G = sym('G', G);
|
|
@@ -158,7 +157,7 @@ export const BE37_M = sym('M', MASS);
|
|
|
158
157
|
/** Symbol: speed of light c. Dim `[velocity]` = `[L T⁻¹]`. */
|
|
159
158
|
export const BE37_C = sym('c', c);
|
|
160
159
|
/** Symbol: dimensionless integer factor 2. */
|
|
161
|
-
|
|
160
|
+
const BE37_TWO = sym('2', DIMENSIONLESS);
|
|
162
161
|
/** Symbol: dimensionless integer-3 exponent for c³. */
|
|
163
162
|
const THREE_EXP = sym('3', DIMENSIONLESS);
|
|
164
163
|
/**
|
|
@@ -226,6 +225,7 @@ export const BE37_SHAPIRO_DELAY_RHS = {
|
|
|
226
225
|
args: [BE37_PREFACTOR, BE37_LOG_FACTOR],
|
|
227
226
|
};
|
|
228
227
|
/** LHS: Δt is a time delay. Dim `[time]`. */
|
|
228
|
+
/** @internal */
|
|
229
229
|
export const BE37_SHAPIRO_DELAY_LHS = sym('Delta_t', TIME);
|
|
230
230
|
/**
|
|
231
231
|
* Evaluate the Shapiro gravitational time-delay:
|
|
@@ -240,16 +240,14 @@ export const BE37_SHAPIRO_DELAY_LHS = sym('Delta_t', TIME);
|
|
|
240
240
|
* comparable to this one-way encoding.
|
|
241
241
|
*/
|
|
242
242
|
export function evaluateShapiroDelay(input) {
|
|
243
|
+
// Per-field finiteness + positivity via helper. The cross-field
|
|
244
|
+
// R_near ≤ R_far constraint (bespoke domain prose) stays inline.
|
|
245
|
+
validateFiniteInputs(input, [
|
|
246
|
+
{ name: 'M_kg', min: 0, excludeMin: true },
|
|
247
|
+
{ name: 'R_far_m', min: 0, excludeMin: true },
|
|
248
|
+
{ name: 'R_near_m', min: 0, excludeMin: true },
|
|
249
|
+
], 'evaluateShapiroDelay');
|
|
243
250
|
const { M_kg, R_far_m, R_near_m } = input;
|
|
244
|
-
if (!Number.isFinite(M_kg) || M_kg <= 0) {
|
|
245
|
-
throw new RangeError(`evaluateShapiroDelay: M_kg must be a finite positive number, got ${M_kg}`);
|
|
246
|
-
}
|
|
247
|
-
if (!Number.isFinite(R_far_m) || R_far_m <= 0) {
|
|
248
|
-
throw new RangeError(`evaluateShapiroDelay: R_far_m must be a finite positive number, got ${R_far_m}`);
|
|
249
|
-
}
|
|
250
|
-
if (!Number.isFinite(R_near_m) || R_near_m <= 0) {
|
|
251
|
-
throw new RangeError(`evaluateShapiroDelay: R_near_m must be a finite positive number, got ${R_near_m}`);
|
|
252
|
-
}
|
|
253
251
|
if (R_near_m > R_far_m) {
|
|
254
252
|
throw new RangeError(`evaluateShapiroDelay: R_near_m (${R_near_m}) must be ≤ R_far_m (${R_far_m}); ratio inside ln must be ≥ 1`);
|
|
255
253
|
}
|
|
@@ -260,15 +258,9 @@ export function evaluateShapiroDelay(input) {
|
|
|
260
258
|
* Run the AST through the dimensional analyzer; LHS and RHS should
|
|
261
259
|
* both be `[time]` = `[T]`.
|
|
262
260
|
*/
|
|
261
|
+
/** @internal */
|
|
263
262
|
export function validateBE37Dimensions() {
|
|
264
|
-
|
|
265
|
-
const lhs = validate(BE37_SHAPIRO_DELAY_LHS);
|
|
266
|
-
const rhs = validate(BE37_SHAPIRO_DELAY_RHS);
|
|
267
|
-
return {
|
|
268
|
-
ok: eq.ok,
|
|
269
|
-
lhsDim: lhs.inferredDimension,
|
|
270
|
-
rhsDim: rhs.inferredDimension,
|
|
271
|
-
};
|
|
263
|
+
return validateBEDimensions(BE37_SHAPIRO_DELAY_LHS, BE37_SHAPIRO_DELAY_RHS, 'BE37');
|
|
272
264
|
}
|
|
273
265
|
// ---------------------------------------------------------------------------
|
|
274
266
|
// v0.3.0 structural form (eikonal null-geodesic): g^μν (∂_μ S)(∂_ν S) = 0
|
|
@@ -322,6 +314,7 @@ const dnu_S = pderiv(S_eikonal, x_coord, { label: 'ν', variance: 'lower' });
|
|
|
322
314
|
* ν pairs (upper from g_inverse, lower from dnu_S). Result is a scalar
|
|
323
315
|
* with dim DIMENSIONLESS · DIMENSIONLESS · DIMENSIONLESS = DIMENSIONLESS.
|
|
324
316
|
*/
|
|
317
|
+
/** @internal */
|
|
325
318
|
export const BE37_EIKONAL_LHS = contract(g_inverse_eikonal, dmu_S, dnu_S);
|
|
326
319
|
/**
|
|
327
320
|
* Eikonal RHS: the literal dimensionless 'zero' symbol (null-geodesic
|
|
@@ -336,15 +329,9 @@ export const BE37_EIKONAL_RHS_ZERO = {
|
|
|
336
329
|
* Per-bridge dimensional self-check for the v0.3.0 eikonal structural
|
|
337
330
|
* form. Both sides should be DIMENSIONLESS.
|
|
338
331
|
*/
|
|
332
|
+
/** @internal */
|
|
339
333
|
export function validateBE37EikonalDimensions() {
|
|
340
|
-
|
|
341
|
-
const rhs = validate(BE37_EIKONAL_RHS_ZERO);
|
|
342
|
-
const eq = validateEquation(BE37_EIKONAL_LHS, BE37_EIKONAL_RHS_ZERO);
|
|
343
|
-
return {
|
|
344
|
-
ok: eq.ok,
|
|
345
|
-
lhsDim: lhs.inferredDimension,
|
|
346
|
-
rhsDim: rhs.inferredDimension,
|
|
347
|
-
};
|
|
334
|
+
return validateBEDimensions(BE37_EIKONAL_LHS, BE37_EIKONAL_RHS_ZERO, 'BE37_eikonal');
|
|
348
335
|
}
|
|
349
336
|
/**
|
|
350
337
|
* Build NumericalInputs for lowering BE37_EIKONAL_LHS = contract(g_inverse,
|
|
@@ -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,
|
|
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,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;AACrD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,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,QAAQ,GAAa,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;AAEnD,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,gBAAgB;AAChB,MAAM,CAAC,MAAM,sBAAsB,GAAa,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;AAarE;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAoB;IACvD,gEAAgE;IAChE,iEAAiE;IACjE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC1C,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC7C,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KAC/C,EACD,sBAAsB,CACvB,CAAC;IACF,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IAC1C,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,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,CAAC,CAAC;AACtF,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,gBAAgB;AAChB,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,gBAAgB;AAChB,MAAM,UAAU,6BAA6B;IAC3C,OAAO,oBAAoB,CAAC,gBAAgB,EAAE,qBAAqB,EAAE,cAAc,CAAC,CAAC;AACvF,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"}
|
|
@@ -55,8 +55,12 @@ export declare const BE38_MOND_NU_ARG: ExprNode;
|
|
|
55
55
|
*/
|
|
56
56
|
export declare const BE38_MOND_FORCE_RHS: ExprNode;
|
|
57
57
|
/** LHS: F has dimension [force]. */
|
|
58
|
+
/** @internal */
|
|
58
59
|
export declare const BE38_MOND_FORCE_LHS: ExprNode;
|
|
59
|
-
|
|
60
|
+
/**
|
|
61
|
+
* @internal — typed-arg shape for the file-local `evaluateMONDForce` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
|
|
62
|
+
*/
|
|
63
|
+
interface MONDForceInputs {
|
|
60
64
|
/** Newtonian force F_N (N). Must be > 0 and finite. */
|
|
61
65
|
F_N_newton: number;
|
|
62
66
|
/** Test-particle mass m (kg). Must be > 0 and finite. */
|
|
@@ -82,5 +86,7 @@ export declare function evaluateMONDForce(input: MONDForceInputs): number;
|
|
|
82
86
|
* Run the AST through the dimensional analyzer; both sides should be
|
|
83
87
|
* [force].
|
|
84
88
|
*/
|
|
89
|
+
/** @internal */
|
|
85
90
|
export declare function validateBE38Dimensions(): DimensionValidationReport;
|
|
91
|
+
export {};
|
|
86
92
|
//# sourceMappingURL=be-38-mond.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"be-38-mond.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-38-mond.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;
|
|
1
|
+
{"version":3,"file":"be-38-mond.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-38-mond.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAS1F;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAY9B,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,mBAAmB,EAAE,QAMjC,CAAC;AAEF,oCAAoC;AACpC,gBAAgB;AAChB,eAAO,MAAM,mBAAmB,EAAE,QAA0B,CAAC;AAI7D;;GAEG;AACH,UAAU,eAAe;IACvB,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;IACnB,yDAAyD;IACzD,IAAI,EAAE,MAAM,CAAC;IACb,gFAAgF;IAChF,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,CAchE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}
|
|
@@ -36,9 +36,8 @@
|
|
|
36
36
|
* @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 38)
|
|
37
37
|
* @module bridges/equations/be-38-mond
|
|
38
38
|
*/
|
|
39
|
-
import { validate, validateEquation } from '../../dimensional/validator.js';
|
|
40
39
|
import { DIMENSIONLESS, ACCELERATION, FORCE, MASS, } from '../../dimensional/types.js';
|
|
41
|
-
|
|
40
|
+
import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
|
|
42
41
|
/**
|
|
43
42
|
* Lemma AST: the dimensionless ν-argument
|
|
44
43
|
* z = F_N / (m · a_0)
|
|
@@ -75,6 +74,7 @@ export const BE38_MOND_FORCE_RHS = {
|
|
|
75
74
|
],
|
|
76
75
|
};
|
|
77
76
|
/** LHS: F has dimension [force]. */
|
|
77
|
+
/** @internal */
|
|
78
78
|
export const BE38_MOND_FORCE_LHS = sym('F', FORCE);
|
|
79
79
|
/**
|
|
80
80
|
* Compute the MOND-modified force using the canonical Milgrom (1983)
|
|
@@ -90,16 +90,12 @@ export const BE38_MOND_FORCE_LHS = sym('F', FORCE);
|
|
|
90
90
|
* @returns Force in newtons.
|
|
91
91
|
*/
|
|
92
92
|
export function evaluateMONDForce(input) {
|
|
93
|
+
validateFiniteInputs(input, [
|
|
94
|
+
{ name: 'F_N_newton', min: 0, excludeMin: true },
|
|
95
|
+
{ name: 'm_kg', min: 0, excludeMin: true },
|
|
96
|
+
{ name: 'a_0_m_per_s2', min: 0, excludeMin: true },
|
|
97
|
+
], 'evaluateMONDForce');
|
|
93
98
|
const { F_N_newton, m_kg, a_0_m_per_s2 } = input;
|
|
94
|
-
if (!Number.isFinite(F_N_newton) || F_N_newton <= 0) {
|
|
95
|
-
throw new RangeError(`evaluateMONDForce: F_N_newton must be a finite positive number, got ${F_N_newton}`);
|
|
96
|
-
}
|
|
97
|
-
if (!Number.isFinite(m_kg) || m_kg <= 0) {
|
|
98
|
-
throw new RangeError(`evaluateMONDForce: m_kg must be a finite positive number, got ${m_kg}`);
|
|
99
|
-
}
|
|
100
|
-
if (!Number.isFinite(a_0_m_per_s2) || a_0_m_per_s2 <= 0) {
|
|
101
|
-
throw new RangeError(`evaluateMONDForce: a_0_m_per_s2 must be a finite positive number, got ${a_0_m_per_s2}`);
|
|
102
|
-
}
|
|
103
99
|
const z = F_N_newton / (m_kg * a_0_m_per_s2);
|
|
104
100
|
const nu = Math.sqrt((1 + Math.sqrt(1 + 4 / (z * z))) / 2);
|
|
105
101
|
return F_N_newton * nu;
|
|
@@ -109,14 +105,8 @@ export function evaluateMONDForce(input) {
|
|
|
109
105
|
* Run the AST through the dimensional analyzer; both sides should be
|
|
110
106
|
* [force].
|
|
111
107
|
*/
|
|
108
|
+
/** @internal */
|
|
112
109
|
export function validateBE38Dimensions() {
|
|
113
|
-
|
|
114
|
-
const lhs = validate(BE38_MOND_FORCE_LHS);
|
|
115
|
-
const rhs = validate(BE38_MOND_FORCE_RHS);
|
|
116
|
-
return {
|
|
117
|
-
ok: eq.ok,
|
|
118
|
-
lhsDim: lhs.inferredDimension,
|
|
119
|
-
rhsDim: rhs.inferredDimension,
|
|
120
|
-
};
|
|
110
|
+
return validateBEDimensions(BE38_MOND_FORCE_LHS, BE38_MOND_FORCE_RHS, 'BE38');
|
|
121
111
|
}
|
|
122
112
|
//# sourceMappingURL=be-38-mond.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"be-38-mond.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-38-mond.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAGH,OAAO,
|
|
1
|
+
{"version":3,"file":"be-38-mond.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-38-mond.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAGH,OAAO,EACL,aAAa,EACb,YAAY,EACZ,KAAK,EACL,IAAI,GACL,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC;QACjB;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;gBACd,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC;aACzB;SACF;KACF;CACF,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC;QACjB,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC;KAC5B;CACF,CAAC;AAEF,oCAAoC;AACpC,gBAAgB;AAChB,MAAM,CAAC,MAAM,mBAAmB,GAAa,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;AAgB7D;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAsB;IACtD,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAChD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC1C,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KACnD,EACD,mBAAmB,CACpB,CAAC;IACF,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IACjD,MAAM,CAAC,GAAG,UAAU,GAAG,CAAC,IAAI,GAAG,YAAY,CAAC,CAAC;IAC7C,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3D,OAAO,UAAU,GAAG,EAAE,CAAC;AACzB,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,CAAC,CAAC;AAChF,CAAC"}
|
|
@@ -15,6 +15,13 @@
|
|
|
15
15
|
*
|
|
16
16
|
* Status: speculative.
|
|
17
17
|
*
|
|
18
|
+
* **v0.7 BE-X re-encoding** — the preferred structural form is now
|
|
19
|
+
* `BE39_BETA_G_STRUCTURAL` / `BE39_BETA_LAMBDA_STRUCTURAL` (added below),
|
|
20
|
+
* which wraps the polynomial ExprNode in a `BetaFunctionNode` carrying the
|
|
21
|
+
* (g, λ) coupling vector + target + optional NGFP fixed-point pin. The
|
|
22
|
+
* legacy `BE39_BETA_G_RHS` / `BE39_BETA_G_LHS` exports remain unchanged
|
|
23
|
+
* for catalog round-trip and existing-test compatibility.
|
|
24
|
+
*
|
|
18
25
|
* Honest-claude scope notes:
|
|
19
26
|
* - The β-functions are dimensionless functions of dimensionless
|
|
20
27
|
* couplings (g, λ). Both LHS and RHS infer to DIMENSIONLESS;
|
|
@@ -38,9 +45,11 @@
|
|
|
38
45
|
*
|
|
39
46
|
* @see docs/specification/Part-II.md ("Bridge Equation 39: Asymptotic Safety in Quantum Gravity")
|
|
40
47
|
* @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 39)
|
|
48
|
+
* @see src/dimensional/rg-flow.ts (BetaFunctionNode + RGCouplingNode)
|
|
41
49
|
* @module bridges/equations/be-39-asymptotic-safety
|
|
42
50
|
*/
|
|
43
51
|
import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
|
|
52
|
+
import type { BetaFunctionNode, RGCouplingNode } from '../../dimensional/rg-flow.js';
|
|
44
53
|
/**
|
|
45
54
|
* RHS of the canonical β_g equation:
|
|
46
55
|
* β_g = 2g + A·g² + B·g³ − C·g²·λ
|
|
@@ -53,8 +62,58 @@ import type { ExprNode, DimensionValidationReport } from '../../dimensional/vali
|
|
|
53
62
|
*/
|
|
54
63
|
export declare const BE39_BETA_G_RHS: ExprNode;
|
|
55
64
|
/** LHS: β_g is dimensionless. */
|
|
65
|
+
/** @internal */
|
|
56
66
|
export declare const BE39_BETA_G_LHS: ExprNode;
|
|
57
|
-
|
|
67
|
+
/**
|
|
68
|
+
* RHS of the canonical β_λ equation:
|
|
69
|
+
* β_λ = −2λ + D·λ² − E·g·λ − F·g²
|
|
70
|
+
*
|
|
71
|
+
* All symbols are dimensionless. Mirrors the β_g encoding pattern —
|
|
72
|
+
* unary minus on a leading term is absorbed into a dimensionless symbol
|
|
73
|
+
* stub (`-2`) for the binary-op grammar.
|
|
74
|
+
*
|
|
75
|
+
* Added in v0.7 BE-X re-encoding to support the `BetaFunctionNode`
|
|
76
|
+
* structural form below.
|
|
77
|
+
*/
|
|
78
|
+
export declare const BE39_BETA_LAMBDA_RHS: ExprNode;
|
|
79
|
+
/** LHS: β_λ is dimensionless. */
|
|
80
|
+
/** @internal */
|
|
81
|
+
export declare const BE39_BETA_LAMBDA_LHS: ExprNode;
|
|
82
|
+
/**
|
|
83
|
+
* Shared coupling vector for BE-39. The asymptotic-safety EH-truncation
|
|
84
|
+
* RG flow runs on the two-coupling space (g, λ); both β-functions live
|
|
85
|
+
* on this same flow direction, so the same `RGCouplingNode` instances
|
|
86
|
+
* are reused below.
|
|
87
|
+
*
|
|
88
|
+
* @public
|
|
89
|
+
*/
|
|
90
|
+
export declare const BE39_COUPLING_G: RGCouplingNode;
|
|
91
|
+
/** @public */
|
|
92
|
+
export declare const BE39_COUPLING_LAMBDA: RGCouplingNode;
|
|
93
|
+
/**
|
|
94
|
+
* Structural β_g — the preferred v0.7+ encoding. Wraps `BE39_BETA_G_RHS`
|
|
95
|
+
* in a `BetaFunctionNode` carrying the full (g, λ) coupling vector and
|
|
96
|
+
* a Gaussian fixed-point pin at (0, 0). The non-Gaussian fixed point is
|
|
97
|
+
* scheme-dependent and not pinned here; downstream consumers may
|
|
98
|
+
* construct their own scheme-specific `BetaFunctionNode` with a numerical
|
|
99
|
+
* NGFP value via Reuter-Weyer 2009 or Codello-Percacci-Rahmede 2009.
|
|
100
|
+
*
|
|
101
|
+
* @public
|
|
102
|
+
*/
|
|
103
|
+
export declare const BE39_BETA_G_STRUCTURAL: BetaFunctionNode;
|
|
104
|
+
/**
|
|
105
|
+
* Structural β_λ — the preferred v0.7+ encoding. Wraps `BE39_BETA_LAMBDA_RHS`
|
|
106
|
+
* in a `BetaFunctionNode`. Same (g, λ) coupling vector as β_g (the RG flow
|
|
107
|
+
* is shared between the two β-functions); target is `λ`. Gaussian fixed
|
|
108
|
+
* point pinned at (0, 0) for symmetry with β_g.
|
|
109
|
+
*
|
|
110
|
+
* @public
|
|
111
|
+
*/
|
|
112
|
+
export declare const BE39_BETA_LAMBDA_STRUCTURAL: BetaFunctionNode;
|
|
113
|
+
/**
|
|
114
|
+
* @internal — typed-arg shape for the file-local `evaluateBetaG` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
|
|
115
|
+
*/
|
|
116
|
+
interface BetaGInputs {
|
|
58
117
|
/** Dimensionless Newton coupling g = G(k)·k². Must be finite. */
|
|
59
118
|
g: number;
|
|
60
119
|
/** Dimensionless cosmological constant λ = Λ(k)/k². Must be finite. */
|
|
@@ -74,7 +133,10 @@ export interface BetaGInputs {
|
|
|
74
133
|
* @returns Dimensionless β_g value.
|
|
75
134
|
*/
|
|
76
135
|
export declare function evaluateBetaG(input: BetaGInputs): number;
|
|
77
|
-
|
|
136
|
+
/**
|
|
137
|
+
* @internal — typed-arg shape for the file-local `evaluateBetaLambda` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
|
|
138
|
+
*/
|
|
139
|
+
interface BetaLambdaInputs {
|
|
78
140
|
/** Dimensionless Newton coupling g. Must be finite. */
|
|
79
141
|
g: number;
|
|
80
142
|
/** Dimensionless cosmological constant λ. Must be finite. */
|
|
@@ -102,5 +164,7 @@ export declare function evaluateBetaLambda(input: BetaLambdaInputs): number;
|
|
|
102
164
|
* Run the AST through the dimensional analyzer; both sides should be
|
|
103
165
|
* DIMENSIONLESS.
|
|
104
166
|
*/
|
|
167
|
+
/** @internal */
|
|
105
168
|
export declare function validateBE39Dimensions(): DimensionValidationReport;
|
|
169
|
+
export {};
|
|
106
170
|
//# sourceMappingURL=be-39-asymptotic-safety.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"be-39-asymptotic-safety.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-39-asymptotic-safety.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"be-39-asymptotic-safety.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-39-asymptotic-safety.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE1F,OAAO,KAAK,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAIrF;;;;;;;;;GASG;AACH,eAAO,MAAM,eAAe,EAAE,QA6C7B,CAAC;AAEF,iCAAiC;AACjC,gBAAgB;AAChB,eAAO,MAAM,eAAe,EAAE,QAAuC,CAAC;AAEtE;;;;;;;;;;GAUG;AACH,eAAO,MAAM,oBAAoB,EAAE,QAwClC,CAAC;AAEF,iCAAiC;AACjC,gBAAgB;AAChB,eAAO,MAAM,oBAAoB,EAAE,QAA4C,CAAC;AAMhF;;;;;;;GAOG;AACH,eAAO,MAAM,eAAe,EAAE,cAAgC,CAAC;AAE/D,cAAc;AACd,eAAO,MAAM,oBAAoB,EAAE,cAAqC,CAAC;AAEzE;;;;;;;;;GASG;AACH,eAAO,MAAM,sBAAsB,EAAE,gBAMpC,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,EAAE,gBAMzC,CAAC;AAIF;;GAEG;AACH,UAAU,WAAW;IACnB,iEAAiE;IACjE,CAAC,EAAE,MAAM,CAAC;IACV,uEAAuE;IACvE,MAAM,EAAE,MAAM,CAAC;IACf,iEAAiE;IACjE,CAAC,EAAE,MAAM,CAAC;IACV,iEAAiE;IACjE,CAAC,EAAE,MAAM,CAAC;IACV,4EAA4E;IAC5E,CAAC,EAAE,MAAM,CAAC;CACX;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,CAcxD;AAID;;GAEG;AACH,UAAU,gBAAgB;IACxB,uDAAuD;IACvD,CAAC,EAAE,MAAM,CAAC;IACV,6DAA6D;IAC7D,MAAM,EAAE,MAAM,CAAC;IACf,iEAAiE;IACjE,CAAC,EAAE,MAAM,CAAC;IACV,4EAA4E;IAC5E,CAAC,EAAE,MAAM,CAAC;IACV,kFAAkF;IAClF,CAAC,EAAE,MAAM,CAAC;CACX;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAclE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}
|