universal-physics-tensor 0.45.2 → 0.47.0
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 +85 -66
- package/bin/upt.mjs +22 -22
- package/dist/atlas/applicability.d.ts +108 -0
- package/dist/atlas/applicability.d.ts.map +1 -0
- package/dist/atlas/applicability.js +301 -0
- package/dist/atlas/applicability.js.map +1 -0
- package/dist/atlas/association.d.ts +92 -0
- package/dist/atlas/association.d.ts.map +1 -0
- package/dist/atlas/association.js +112 -0
- package/dist/atlas/association.js.map +1 -0
- package/dist/atlas/benchmark/backend-shapes.d.ts +47 -0
- package/dist/atlas/benchmark/backend-shapes.d.ts.map +1 -0
- package/dist/atlas/benchmark/backend-shapes.js +58 -0
- package/dist/atlas/benchmark/backend-shapes.js.map +1 -0
- package/dist/atlas/benchmark/baselines.d.ts +64 -0
- package/dist/atlas/benchmark/baselines.d.ts.map +1 -0
- package/dist/atlas/benchmark/baselines.js +112 -0
- package/dist/atlas/benchmark/baselines.js.map +1 -0
- package/dist/atlas/benchmark/leakage.d.ts +56 -0
- package/dist/atlas/benchmark/leakage.d.ts.map +1 -0
- package/dist/atlas/benchmark/leakage.js +100 -0
- package/dist/atlas/benchmark/leakage.js.map +1 -0
- package/dist/atlas/benchmark/loader.d.ts +56 -0
- package/dist/atlas/benchmark/loader.d.ts.map +1 -0
- package/dist/atlas/benchmark/loader.js +104 -0
- package/dist/atlas/benchmark/loader.js.map +1 -0
- package/dist/atlas/benchmark/run-atlas.d.ts +72 -0
- package/dist/atlas/benchmark/run-atlas.d.ts.map +1 -0
- package/dist/atlas/benchmark/run-atlas.js +210 -0
- package/dist/atlas/benchmark/run-atlas.js.map +1 -0
- package/dist/atlas/benchmark/stats.d.ts +90 -0
- package/dist/atlas/benchmark/stats.d.ts.map +1 -0
- package/dist/atlas/benchmark/stats.js +159 -0
- package/dist/atlas/benchmark/stats.js.map +1 -0
- package/dist/atlas/benchmark/study.d.ts +120 -0
- package/dist/atlas/benchmark/study.d.ts.map +1 -0
- package/dist/atlas/benchmark/study.js +192 -0
- package/dist/atlas/benchmark/study.js.map +1 -0
- package/dist/atlas/benchmark/types.d.ts +79 -0
- package/dist/atlas/benchmark/types.d.ts.map +1 -0
- package/dist/atlas/benchmark/types.js +46 -0
- package/dist/atlas/benchmark/types.js.map +1 -0
- package/dist/atlas/composition-table.d.ts +55 -0
- package/dist/atlas/composition-table.d.ts.map +1 -0
- package/dist/atlas/composition-table.js +133 -0
- package/dist/atlas/composition-table.js.map +1 -0
- package/dist/atlas/conventions.d.ts +63 -0
- package/dist/atlas/conventions.d.ts.map +1 -0
- package/dist/atlas/conventions.js +93 -0
- package/dist/atlas/conventions.js.map +1 -0
- package/dist/atlas/coverage.d.ts +93 -0
- package/dist/atlas/coverage.d.ts.map +1 -0
- package/dist/atlas/coverage.js +69 -0
- package/dist/atlas/coverage.js.map +1 -0
- package/dist/atlas/derivation.d.ts +137 -0
- package/dist/atlas/derivation.d.ts.map +1 -0
- package/dist/atlas/derivation.js +190 -0
- package/dist/atlas/derivation.js.map +1 -0
- package/dist/atlas/derive-evidence.d.ts +218 -0
- package/dist/atlas/derive-evidence.d.ts.map +1 -0
- package/dist/atlas/derive-evidence.js +225 -0
- package/dist/atlas/derive-evidence.js.map +1 -0
- package/dist/atlas/diffusion/bridges-closure.d.ts +63 -0
- package/dist/atlas/diffusion/bridges-closure.d.ts.map +1 -0
- package/dist/atlas/diffusion/bridges-closure.js +350 -0
- package/dist/atlas/diffusion/bridges-closure.js.map +1 -0
- package/dist/atlas/diffusion/bridges.d.ts +36 -0
- package/dist/atlas/diffusion/bridges.d.ts.map +1 -0
- package/dist/atlas/diffusion/bridges.js +226 -0
- package/dist/atlas/diffusion/bridges.js.map +1 -0
- package/dist/atlas/diffusion/dimensions.d.ts +21 -0
- package/dist/atlas/diffusion/dimensions.d.ts.map +1 -0
- package/dist/atlas/diffusion/dimensions.js +21 -0
- package/dist/atlas/diffusion/dimensions.js.map +1 -0
- package/dist/atlas/diffusion/index.d.ts +16 -0
- package/dist/atlas/diffusion/index.d.ts.map +1 -0
- package/dist/atlas/diffusion/index.js +23 -0
- package/dist/atlas/diffusion/index.js.map +1 -0
- package/dist/atlas/diffusion/models.d.ts +24 -0
- package/dist/atlas/diffusion/models.d.ts.map +1 -0
- package/dist/atlas/diffusion/models.js +139 -0
- package/dist/atlas/diffusion/models.js.map +1 -0
- package/dist/atlas/diffusion/numerics.d.ts +181 -0
- package/dist/atlas/diffusion/numerics.d.ts.map +1 -0
- package/dist/atlas/diffusion/numerics.js +251 -0
- package/dist/atlas/diffusion/numerics.js.map +1 -0
- package/dist/atlas/error-algebra.d.ts +52 -0
- package/dist/atlas/error-algebra.d.ts.map +1 -0
- package/dist/atlas/error-algebra.js +55 -0
- package/dist/atlas/error-algebra.js.map +1 -0
- package/dist/atlas/export.d.ts +48 -0
- package/dist/atlas/export.d.ts.map +1 -0
- package/dist/atlas/export.js +106 -0
- package/dist/atlas/export.js.map +1 -0
- package/dist/atlas/families.d.ts +14 -0
- package/dist/atlas/families.d.ts.map +1 -0
- package/dist/atlas/families.js +20 -0
- package/dist/atlas/families.js.map +1 -0
- package/dist/atlas/index.d.ts +90 -0
- package/dist/atlas/index.d.ts.map +1 -0
- package/dist/atlas/index.js +69 -0
- package/dist/atlas/index.js.map +1 -0
- package/dist/atlas/link-prediction.d.ts +71 -0
- package/dist/atlas/link-prediction.d.ts.map +1 -0
- package/dist/atlas/link-prediction.js +128 -0
- package/dist/atlas/link-prediction.js.map +1 -0
- package/dist/atlas/model.d.ts +70 -0
- package/dist/atlas/model.d.ts.map +1 -0
- package/dist/atlas/model.js +26 -0
- package/dist/atlas/model.js.map +1 -0
- package/dist/atlas/oscillators/bridges-coarse.d.ts +71 -0
- package/dist/atlas/oscillators/bridges-coarse.d.ts.map +1 -0
- package/dist/atlas/oscillators/bridges-coarse.js +146 -0
- package/dist/atlas/oscillators/bridges-coarse.js.map +1 -0
- package/dist/atlas/oscillators/bridges-exact.d.ts +70 -0
- package/dist/atlas/oscillators/bridges-exact.d.ts.map +1 -0
- package/dist/atlas/oscillators/bridges-exact.js +230 -0
- package/dist/atlas/oscillators/bridges-exact.js.map +1 -0
- package/dist/atlas/oscillators/bridges-limits.d.ts +118 -0
- package/dist/atlas/oscillators/bridges-limits.d.ts.map +1 -0
- package/dist/atlas/oscillators/bridges-limits.js +345 -0
- package/dist/atlas/oscillators/bridges-limits.js.map +1 -0
- package/dist/atlas/oscillators/dimensions.d.ts +34 -0
- package/dist/atlas/oscillators/dimensions.d.ts.map +1 -0
- package/dist/atlas/oscillators/dimensions.js +34 -0
- package/dist/atlas/oscillators/dimensions.js.map +1 -0
- package/dist/atlas/oscillators/index.d.ts +38 -0
- package/dist/atlas/oscillators/index.d.ts.map +1 -0
- package/dist/atlas/oscillators/index.js +37 -0
- package/dist/atlas/oscillators/index.js.map +1 -0
- package/dist/atlas/oscillators/models.d.ts +25 -0
- package/dist/atlas/oscillators/models.d.ts.map +1 -0
- package/dist/atlas/oscillators/models.js +160 -0
- package/dist/atlas/oscillators/models.js.map +1 -0
- package/dist/atlas/oscillators/rejections.d.ts +21 -0
- package/dist/atlas/oscillators/rejections.d.ts.map +1 -0
- package/dist/atlas/oscillators/rejections.js +54 -0
- package/dist/atlas/oscillators/rejections.js.map +1 -0
- package/dist/atlas/path-bound.d.ts +143 -0
- package/dist/atlas/path-bound.d.ts.map +1 -0
- package/dist/atlas/path-bound.js +268 -0
- package/dist/atlas/path-bound.js.map +1 -0
- package/dist/atlas/poster/associations.d.ts +66 -0
- package/dist/atlas/poster/associations.d.ts.map +1 -0
- package/dist/atlas/poster/associations.js +90 -0
- package/dist/atlas/poster/associations.js.map +1 -0
- package/dist/atlas/poster/derivations.d.ts +156 -0
- package/dist/atlas/poster/derivations.d.ts.map +1 -0
- package/dist/atlas/poster/derivations.js +430 -0
- package/dist/atlas/poster/derivations.js.map +1 -0
- package/dist/atlas/poster/statements.d.ts +198 -0
- package/dist/atlas/poster/statements.d.ts.map +1 -0
- package/dist/atlas/poster/statements.js +365 -0
- package/dist/atlas/poster/statements.js.map +1 -0
- package/dist/atlas/public.d.ts +26 -0
- package/dist/atlas/public.d.ts.map +1 -0
- package/dist/atlas/public.js +21 -0
- package/dist/atlas/public.js.map +1 -0
- package/dist/atlas/regime.d.ts +171 -0
- package/dist/atlas/regime.d.ts.map +1 -0
- package/dist/atlas/regime.js +309 -0
- package/dist/atlas/regime.js.map +1 -0
- package/dist/atlas/serialize.d.ts +50 -0
- package/dist/atlas/serialize.d.ts.map +1 -0
- package/dist/atlas/serialize.js +180 -0
- package/dist/atlas/serialize.js.map +1 -0
- package/dist/atlas/statement.d.ts +165 -0
- package/dist/atlas/statement.d.ts.map +1 -0
- package/dist/atlas/statement.js +176 -0
- package/dist/atlas/statement.js.map +1 -0
- package/dist/atlas/types.d.ts +325 -0
- package/dist/atlas/types.d.ts.map +1 -0
- package/dist/atlas/types.js +61 -0
- package/dist/atlas/types.js.map +1 -0
- package/dist/atlas/waves/bridges-closure.d.ts +39 -0
- package/dist/atlas/waves/bridges-closure.d.ts.map +1 -0
- package/dist/atlas/waves/bridges-closure.js +226 -0
- package/dist/atlas/waves/bridges-closure.js.map +1 -0
- package/dist/atlas/waves/bridges.d.ts +49 -0
- package/dist/atlas/waves/bridges.d.ts.map +1 -0
- package/dist/atlas/waves/bridges.js +266 -0
- package/dist/atlas/waves/bridges.js.map +1 -0
- package/dist/atlas/waves/index.d.ts +16 -0
- package/dist/atlas/waves/index.d.ts.map +1 -0
- package/dist/atlas/waves/index.js +23 -0
- package/dist/atlas/waves/index.js.map +1 -0
- package/dist/atlas/waves/models.d.ts +29 -0
- package/dist/atlas/waves/models.d.ts.map +1 -0
- package/dist/atlas/waves/models.js +127 -0
- package/dist/atlas/waves/models.js.map +1 -0
- package/dist/atlas/waves/numerics.d.ts +149 -0
- package/dist/atlas/waves/numerics.d.ts.map +1 -0
- package/dist/atlas/waves/numerics.js +218 -0
- package/dist/atlas/waves/numerics.js.map +1 -0
- package/dist/atlas/witness-artifact.d.ts +65 -0
- package/dist/atlas/witness-artifact.d.ts.map +1 -0
- package/dist/atlas/witness-artifact.js +78 -0
- package/dist/atlas/witness-artifact.js.map +1 -0
- package/dist/atlas/witness-numeric.d.ts +81 -0
- package/dist/atlas/witness-numeric.d.ts.map +1 -0
- package/dist/atlas/witness-numeric.js +105 -0
- package/dist/atlas/witness-numeric.js.map +1 -0
- package/dist/atlas/witness-result.d.ts +77 -0
- package/dist/atlas/witness-result.d.ts.map +1 -0
- package/dist/atlas/witness-result.js +39 -0
- package/dist/atlas/witness-result.js.map +1 -0
- package/dist/atlas/witness-specs.d.ts +110 -0
- package/dist/atlas/witness-specs.d.ts.map +1 -0
- package/dist/atlas/witness-specs.js +372 -0
- package/dist/atlas/witness-specs.js.map +1 -0
- package/dist/atlas/witness-symbolic.d.ts +79 -0
- package/dist/atlas/witness-symbolic.d.ts.map +1 -0
- package/dist/atlas/witness-symbolic.js +140 -0
- package/dist/atlas/witness-symbolic.js.map +1 -0
- package/dist/atlas/witnesses/quantum-support.d.ts +50 -0
- package/dist/atlas/witnesses/quantum-support.d.ts.map +1 -0
- package/dist/atlas/witnesses/quantum-support.js +48 -0
- package/dist/atlas/witnesses/quantum-support.js.map +1 -0
- package/dist/bridges/be11-decoherence-confrontation.js.map +1 -1
- package/dist/bridges/be21-kss-confrontation.js.map +1 -1
- package/dist/bridges/be23-planckian-confrontation.js.map +1 -1
- package/dist/bridges/be35-bootstrap-confrontation.js.map +1 -1
- package/dist/bridges/be36-gw170817-confrontation.js.map +1 -1
- package/dist/bridges/be37-cassini-confrontation.js.map +1 -1
- package/dist/bridges/be48-collapse-confrontation.js.map +1 -1
- package/dist/bridges/be51-lensing-confrontation.d.ts.map +1 -1
- package/dist/bridges/be51-lensing-confrontation.js +5 -3
- package/dist/bridges/be51-lensing-confrontation.js.map +1 -1
- package/dist/bridges/be52-mercury-confrontation.d.ts.map +1 -1
- package/dist/bridges/be52-mercury-confrontation.js +4 -1
- package/dist/bridges/be52-mercury-confrontation.js.map +1 -1
- package/dist/bridges/be55-quantum-hall-confrontation.js.map +1 -1
- package/dist/bridges/be56-casimir-confrontation.js.map +1 -1
- package/dist/bridges/be58-johnson-nyquist-confrontation.js.map +1 -1
- package/dist/bridges/be59-ac-josephson-confrontation.js.map +1 -1
- package/dist/bridges/be60-fractional-qh-confrontation.js.map +1 -1
- package/dist/bridges/be61-wiedemann-franz-confrontation.js.map +1 -1
- package/dist/bridges/be62-bcs-gap-confrontation.js.map +1 -1
- package/dist/bridges/be63-chandrasekhar-mass-confrontation.js.map +1 -1
- package/dist/bridges/be64-eddington-luminosity-confrontation.js.map +1 -1
- package/dist/bridges/be65-jeans-mass-confrontation.js.map +1 -1
- package/dist/bridges/bridge-equations.d.ts +2 -2
- package/dist/bridges/bridge-equations.d.ts.map +1 -1
- package/dist/bridges/bridge-equations.js +2 -2
- package/dist/bridges/bridge-equations.js.map +1 -1
- package/dist/bridges/catalog-adapter.d.ts.map +1 -1
- package/dist/bridges/catalog-adapter.js.map +1 -1
- package/dist/bridges/confrontations.d.ts.map +1 -1
- package/dist/bridges/confrontations.js +7 -0
- package/dist/bridges/confrontations.js.map +1 -1
- package/dist/bridges/equations/_be-helpers.d.ts +2 -2
- package/dist/bridges/equations/_be-helpers.js +2 -2
- package/dist/bridges/equations/be-20-vacuum-energy.js.map +1 -1
- package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts +59 -72
- package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts.map +1 -1
- package/dist/bridges/equations/be-35-conformal-bootstrap.js +66 -98
- package/dist/bridges/equations/be-35-conformal-bootstrap.js.map +1 -1
- package/dist/bridges/equations/be-48-grw-localization.d.ts +9 -8
- package/dist/bridges/equations/be-48-grw-localization.d.ts.map +1 -1
- package/dist/bridges/equations/be-48-grw-localization.js +9 -8
- package/dist/bridges/equations/be-48-grw-localization.js.map +1 -1
- package/dist/bridges/gravitational-lensing.d.ts +10 -0
- package/dist/bridges/gravitational-lensing.d.ts.map +1 -1
- package/dist/bridges/gravitational-lensing.js.map +1 -1
- package/dist/bridges/index.d.ts +125 -7
- package/dist/bridges/index.d.ts.map +1 -1
- package/dist/bridges/index.js +483 -20
- package/dist/bridges/index.js.map +1 -1
- package/dist/bridges/observations/types.d.ts +14 -0
- package/dist/bridges/observations/types.d.ts.map +1 -1
- package/dist/bridges/observations/types.js.map +1 -1
- package/dist/bridges/perihelion-precession.d.ts +10 -0
- package/dist/bridges/perihelion-precession.d.ts.map +1 -1
- package/dist/bridges/perihelion-precession.js.map +1 -1
- package/dist/bridges/rhs-registry.js +2 -2
- package/dist/canonical/canonical-equation.d.ts +15 -0
- package/dist/canonical/canonical-equation.d.ts.map +1 -1
- package/dist/canonical/entries/_l1-build.d.ts +1 -1
- package/dist/canonical/entries/_l1-build.d.ts.map +1 -1
- package/dist/canonical/entries/atomic.d.ts.map +1 -1
- package/dist/canonical/entries/atomic.js +23 -0
- package/dist/canonical/entries/atomic.js.map +1 -1
- package/dist/canonical/entries/nonmonomial.d.ts.map +1 -1
- package/dist/canonical/entries/nonmonomial.js +93 -0
- package/dist/canonical/entries/nonmonomial.js.map +1 -1
- package/dist/canonical/normal-form.js.map +1 -1
- package/dist/canonical/residual.d.ts +28 -0
- package/dist/canonical/residual.d.ts.map +1 -0
- package/dist/canonical/residual.js +31 -0
- package/dist/canonical/residual.js.map +1 -0
- package/dist/cli/command.d.ts +8 -0
- package/dist/cli/command.d.ts.map +1 -1
- package/dist/cli/command.js +10 -0
- package/dist/cli/command.js.map +1 -1
- package/dist/cli/commands/atlas.d.ts +3 -0
- package/dist/cli/commands/atlas.d.ts.map +1 -0
- package/dist/cli/commands/atlas.js +158 -0
- package/dist/cli/commands/atlas.js.map +1 -0
- package/dist/cli/commands/audit.js +3 -3
- package/dist/cli/commands/candidates.js +3 -3
- package/dist/cli/commands/canonical.js +3 -3
- package/dist/cli/commands/confront.d.ts.map +1 -1
- package/dist/cli/commands/confront.js +8 -1
- package/dist/cli/commands/confront.js.map +1 -1
- package/dist/cli/commands/connectors.js +7 -7
- package/dist/cli/commands/coverage.js +3 -3
- package/dist/cli/commands/derive.d.ts.map +1 -1
- package/dist/cli/commands/derive.js +40 -9
- package/dist/cli/commands/derive.js.map +1 -1
- package/dist/cli/commands/discover.d.ts.map +1 -1
- package/dist/cli/commands/discover.js +46 -27
- package/dist/cli/commands/discover.js.map +1 -1
- package/dist/cli/commands/evaluate.d.ts.map +1 -1
- package/dist/cli/commands/evaluate.js +2 -1
- package/dist/cli/commands/evaluate.js.map +1 -1
- package/dist/cli/commands/explain.d.ts.map +1 -1
- package/dist/cli/commands/explain.js +19 -6
- package/dist/cli/commands/explain.js.map +1 -1
- package/dist/cli/commands/index.d.ts +3 -0
- package/dist/cli/commands/index.d.ts.map +1 -1
- package/dist/cli/commands/index.js +3 -0
- package/dist/cli/commands/index.js.map +1 -1
- package/dist/cli/commands/map.d.ts.map +1 -1
- package/dist/cli/commands/map.js +187 -36
- package/dist/cli/commands/map.js.map +1 -1
- package/dist/cli/commands/path.d.ts +3 -0
- package/dist/cli/commands/path.d.ts.map +1 -0
- package/dist/cli/commands/path.js +228 -0
- package/dist/cli/commands/path.js.map +1 -0
- package/dist/cli/commands/predict.js +4 -4
- package/dist/cli/commands/priority.js +2 -2
- package/dist/cli/commands/probe.d.ts.map +1 -1
- package/dist/cli/commands/probe.js +59 -2
- package/dist/cli/commands/probe.js.map +1 -1
- package/dist/cli/commands/recover.d.ts.map +1 -1
- package/dist/cli/commands/recover.js +25 -6
- package/dist/cli/commands/recover.js.map +1 -1
- package/dist/cli/commands/regime.d.ts +41 -0
- package/dist/cli/commands/regime.d.ts.map +1 -0
- package/dist/cli/commands/regime.js +243 -0
- package/dist/cli/commands/regime.js.map +1 -0
- package/dist/cli/commands/symbolic.js +5 -5
- package/dist/cli/errors.d.ts +13 -1
- package/dist/cli/errors.d.ts.map +1 -1
- package/dist/cli/errors.js +13 -1
- package/dist/cli/errors.js.map +1 -1
- package/dist/cli/graphs.d.ts.map +1 -1
- package/dist/cli/graphs.js +5 -1
- package/dist/cli/graphs.js.map +1 -1
- package/dist/cli/main.d.ts.map +1 -1
- package/dist/cli/main.js +29 -2
- package/dist/cli/main.js.map +1 -1
- package/dist/cli/output.d.ts +6 -1
- package/dist/cli/output.d.ts.map +1 -1
- package/dist/cli/output.js.map +1 -1
- package/dist/cli/version.js.map +1 -1
- package/dist/cli-api.d.ts +21 -1
- package/dist/cli-api.d.ts.map +1 -1
- package/dist/cli-api.js +23 -1
- package/dist/cli-api.js.map +1 -1
- package/dist/composition/axis-audit.js.map +1 -1
- package/dist/composition/bridge-prediction.d.ts.map +1 -1
- package/dist/composition/bridge-prediction.js +0 -0
- package/dist/composition/bridge-prediction.js.map +1 -1
- package/dist/composition/canonical-compare.d.ts +65 -0
- package/dist/composition/canonical-compare.d.ts.map +1 -0
- package/dist/composition/canonical-compare.js +237 -0
- package/dist/composition/canonical-compare.js.map +1 -0
- package/dist/composition/canonical-graph.d.ts +2 -2
- package/dist/composition/canonical-graph.js +2 -2
- package/dist/composition/canonical-graph.js.map +1 -1
- package/dist/composition/canonical-prefactors.d.ts +32 -0
- package/dist/composition/canonical-prefactors.d.ts.map +1 -0
- package/dist/composition/canonical-prefactors.js +80 -0
- package/dist/composition/canonical-prefactors.js.map +1 -0
- package/dist/composition/compose-symbolic.d.ts.map +1 -1
- package/dist/composition/compose-symbolic.js.map +1 -1
- package/dist/composition/compose.d.ts.map +1 -1
- package/dist/composition/compose.js +80 -1
- package/dist/composition/compose.js.map +1 -1
- package/dist/composition/consequence.js.map +1 -1
- package/dist/composition/discovery.d.ts +20 -3
- package/dist/composition/discovery.d.ts.map +1 -1
- package/dist/composition/discovery.js +30 -4
- package/dist/composition/discovery.js.map +1 -1
- package/dist/composition/edge.d.ts +64 -0
- package/dist/composition/edge.d.ts.map +1 -1
- package/dist/composition/edge.js +29 -0
- package/dist/composition/edge.js.map +1 -1
- package/dist/composition/edges/calibration.d.ts.map +1 -1
- package/dist/composition/edges/calibration.js +46 -0
- package/dist/composition/edges/calibration.js.map +1 -1
- package/dist/composition/edges/catalog-quantum.d.ts.map +1 -1
- package/dist/composition/edges/catalog-quantum.js +9 -0
- package/dist/composition/edges/catalog-quantum.js.map +1 -1
- package/dist/composition/edges/catalog-tranche.d.ts.map +1 -1
- package/dist/composition/edges/catalog-tranche.js +18 -0
- package/dist/composition/edges/catalog-tranche.js.map +1 -1
- package/dist/composition/enumerate.js.map +1 -1
- package/dist/composition/explain.d.ts +9 -1
- package/dist/composition/explain.d.ts.map +1 -1
- package/dist/composition/explain.js +34 -8
- package/dist/composition/explain.js.map +1 -1
- package/dist/composition/expr-eval.d.ts.map +1 -1
- package/dist/composition/expr-eval.js.map +1 -1
- package/dist/composition/expr-simplify.d.ts +13 -0
- package/dist/composition/expr-simplify.d.ts.map +1 -1
- package/dist/composition/expr-simplify.js +25 -0
- package/dist/composition/expr-simplify.js.map +1 -1
- package/dist/composition/expr-subst.js.map +1 -1
- package/dist/composition/graph-viz-svg.d.ts.map +1 -1
- package/dist/composition/graph-viz.d.ts +118 -1
- package/dist/composition/graph-viz.d.ts.map +1 -1
- package/dist/composition/graph-viz.js +189 -6
- package/dist/composition/graph-viz.js.map +1 -1
- package/dist/composition/grounding.d.ts.map +1 -1
- package/dist/composition/grounding.js +6 -1
- package/dist/composition/grounding.js.map +1 -1
- package/dist/composition/identifiability.js.map +1 -1
- package/dist/composition/index.d.ts +4 -2
- package/dist/composition/index.d.ts.map +1 -1
- package/dist/composition/index.js +2 -1
- package/dist/composition/index.js.map +1 -1
- package/dist/composition/poster-source.d.ts +153 -0
- package/dist/composition/poster-source.d.ts.map +1 -0
- package/dist/composition/poster-source.js +183 -0
- package/dist/composition/poster-source.js.map +1 -0
- package/dist/composition/probe/backend-protocol.d.ts +34 -1
- package/dist/composition/probe/backend-protocol.d.ts.map +1 -1
- package/dist/composition/probe/backend-protocol.js +9 -2
- package/dist/composition/probe/backend-protocol.js.map +1 -1
- package/dist/composition/probe/candidate-store.d.ts.map +1 -1
- package/dist/composition/probe/corpus.d.ts +12 -0
- package/dist/composition/probe/corpus.d.ts.map +1 -1
- package/dist/composition/probe/corpus.js +100 -0
- package/dist/composition/probe/corpus.js.map +1 -1
- package/dist/composition/probe/generator.d.ts +14 -0
- package/dist/composition/probe/generator.d.ts.map +1 -1
- package/dist/composition/probe/generator.js +24 -2
- package/dist/composition/probe/generator.js.map +1 -1
- package/dist/composition/probe/limits.js.map +1 -1
- package/dist/composition/probe/pipeline.d.ts +5 -0
- package/dist/composition/probe/pipeline.d.ts.map +1 -1
- package/dist/composition/probe/pipeline.js +20 -3
- package/dist/composition/probe/pipeline.js.map +1 -1
- package/dist/composition/probe/problem.js.map +1 -1
- package/dist/composition/probe/report.d.ts.map +1 -1
- package/dist/composition/probe/report.js +2 -0
- package/dist/composition/probe/report.js.map +1 -1
- package/dist/composition/probe/residual.d.ts.map +1 -1
- package/dist/composition/probe/residual.js.map +1 -1
- package/dist/composition/probe/search-budget.js.map +1 -1
- package/dist/composition/proposed-bridges.d.ts +2 -2
- package/dist/composition/proposed-bridges.d.ts.map +1 -1
- package/dist/composition/proposed-bridges.js +1 -1
- package/dist/composition/proposed-bridges.js.map +1 -1
- package/dist/composition/retrodiction.js.map +1 -1
- package/dist/composition/uncertainty.d.ts +52 -2
- package/dist/composition/uncertainty.d.ts.map +1 -1
- package/dist/composition/uncertainty.js +38 -2
- package/dist/composition/uncertainty.js.map +1 -1
- package/dist/composition/user-equation.d.ts.map +1 -1
- package/dist/core/constants.d.ts +13 -0
- package/dist/core/constants.d.ts.map +1 -1
- package/dist/core/constants.js +13 -0
- package/dist/core/constants.js.map +1 -1
- package/dist/core/flux-rules.d.ts.map +1 -1
- package/dist/core/flux-rules.js.map +1 -1
- package/dist/core/labeled-tensor.d.ts.map +1 -1
- package/dist/core/regime-registry.d.ts.map +1 -1
- package/dist/core/regime-rule-install.js.map +1 -1
- package/dist/core/tensor.d.ts.map +1 -1
- package/dist/core/tensor.js.map +1 -1
- package/dist/core/types.d.ts.map +1 -1
- package/dist/diff/bridge-ast-gradient.js.map +1 -1
- package/dist/diff/bridge-gradient.d.ts +1 -1
- package/dist/diff/bridge-gradient.js +1 -1
- package/dist/dimensional/ast-types.d.ts +31 -1
- package/dist/dimensional/ast-types.d.ts.map +1 -1
- package/dist/dimensional/bridge-check.d.ts +1 -1
- package/dist/dimensional/bridge-check.js +1 -1
- package/dist/dimensional/buckingham.d.ts.map +1 -1
- package/dist/dimensional/connection.d.ts +2 -0
- package/dist/dimensional/connection.d.ts.map +1 -1
- package/dist/dimensional/connection.js +2 -0
- package/dist/dimensional/connection.js.map +1 -1
- package/dist/dimensional/curvature-composite.d.ts +5 -3
- package/dist/dimensional/curvature-composite.d.ts.map +1 -1
- package/dist/dimensional/curvature-composite.js +1 -0
- package/dist/dimensional/curvature-composite.js.map +1 -1
- package/dist/dimensional/curvature-invariants.d.ts +2 -0
- package/dist/dimensional/curvature-invariants.d.ts.map +1 -1
- package/dist/dimensional/curvature-invariants.js +2 -0
- package/dist/dimensional/curvature-invariants.js.map +1 -1
- package/dist/dimensional/dimension-spec.d.ts.map +1 -1
- package/dist/dimensional/einstein-equation.d.ts +3 -3
- package/dist/dimensional/einstein-equation.js +3 -3
- package/dist/dimensional/errors.d.ts.map +1 -1
- package/dist/dimensional/metric.d.ts +5 -2
- package/dist/dimensional/metric.d.ts.map +1 -1
- package/dist/dimensional/metric.js +5 -2
- package/dist/dimensional/metric.js.map +1 -1
- package/dist/dimensional/tensor-trace.js.map +1 -1
- package/dist/dimensional/validator-registry.js.map +1 -1
- package/dist/dimensional/validator.d.ts +3 -2
- package/dist/dimensional/validator.d.ts.map +1 -1
- package/dist/dimensional/validator.js +23 -4
- package/dist/dimensional/validator.js.map +1 -1
- package/dist/index.d.ts +4 -3
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +4 -1
- package/dist/index.js.map +1 -1
- package/dist/numerical/curvature-lowering-helpers.d.ts.map +1 -1
- package/dist/numerical/curvature-lowering-helpers.js +104 -0
- package/dist/numerical/curvature-lowering-helpers.js.map +1 -1
- package/dist/numerical/errors.d.ts.map +1 -1
- package/dist/numerical/errors.js.map +1 -1
- package/dist/numerical/float64-engine.d.ts.map +1 -1
- package/dist/numerical/float64-engine.js +51 -24
- package/dist/numerical/float64-engine.js.map +1 -1
- package/dist/numerical/formula-dimension.d.ts.map +1 -1
- package/dist/numerical/formula-dimension.js.map +1 -1
- package/dist/numerical/formula.d.ts.map +1 -1
- package/dist/numerical/formula.js.map +1 -1
- package/dist/numerical/geometrized.d.ts.map +1 -1
- package/dist/numerical/gl4-integrator.d.ts +3 -3
- package/dist/numerical/gl4-integrator.js +3 -3
- package/dist/numerical/killing.d.ts +47 -5
- package/dist/numerical/killing.d.ts.map +1 -1
- package/dist/numerical/killing.js +41 -3
- package/dist/numerical/killing.js.map +1 -1
- package/dist/numerical/klein-gordon.d.ts +2 -2
- package/dist/numerical/klein-gordon.js +2 -2
- package/dist/numerical/lowering.d.ts +2 -2
- package/dist/numerical/lowering.d.ts.map +1 -1
- package/dist/numerical/lowering.js +5 -3
- package/dist/numerical/lowering.js.map +1 -1
- package/dist/numerical/mathts-engine.d.ts.map +1 -1
- package/dist/numerical/mathts-engine.js.map +1 -1
- package/dist/numerical/metric-inverse.js.map +1 -1
- package/dist/numerical/perihelion-finder.d.ts +15 -13
- package/dist/numerical/perihelion-finder.d.ts.map +1 -1
- package/dist/numerical/perihelion-finder.js +15 -13
- package/dist/numerical/perihelion-finder.js.map +1 -1
- package/dist/numerical/weyl-lowering.d.ts.map +1 -1
- package/dist/numerical/weyl-lowering.js +90 -40
- package/dist/numerical/weyl-lowering.js.map +1 -1
- package/package.json +163 -104
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
/**
|
|
2
|
-
* Bridge Equation 35 — Conformal Bootstrap (crossing
|
|
2
|
+
* Bridge Equation 35 — Conformal Bootstrap (the crossing equation).
|
|
3
3
|
*
|
|
4
4
|
* Original 4-pt-function form (operator-valued; no scalar reduction
|
|
5
5
|
* without committing to specific operator dimensions):
|
|
@@ -7,20 +7,27 @@
|
|
|
7
7
|
* ⟨O₁(x₁) O₂(x₂) O₃(x₃) O₄(x₄)⟩
|
|
8
8
|
* = Σ_{Δ, ℓ} C₁₂^O · C₃₄^O · g_{Δ, ℓ}(u, v)
|
|
9
9
|
*
|
|
10
|
-
* Encoded
|
|
11
|
-
*
|
|
12
|
-
*
|
|
13
|
-
* residual
|
|
10
|
+
* Encoded relation: the crossing equation for four IDENTICAL scalars φ of
|
|
11
|
+
* dimension Δ_φ (Rattazzi, Rychkov, Tonni & Vichi 2008, eq. 4.3, which writes
|
|
12
|
+
* Δ_φ as d):
|
|
14
13
|
*
|
|
15
|
-
* R_cross =
|
|
14
|
+
* R_cross = v^Δφ · g(u, v) − u^Δφ · g(v, u) (= 0 in a consistent CFT)
|
|
16
15
|
*
|
|
17
|
-
*
|
|
18
|
-
*
|
|
19
|
-
*
|
|
16
|
+
* where g is the FULL reduced four-point function,
|
|
17
|
+
* g(u, v) = 1 + Σ_O λ_O² g_O(u, v): the identity plus the sum over the
|
|
18
|
+
* exchanged operators (Rattazzi et al. 2008, eq. 4.4). Crossing holds for that sum, not for a single block,
|
|
19
|
+
* and it holds only with the prefactors. `R_cross` and every symbol are
|
|
20
|
+
* dimensionless: u and v are cross-ratios and g is a ratio of correlators.
|
|
20
21
|
*
|
|
21
|
-
*
|
|
22
|
-
*
|
|
23
|
-
*
|
|
22
|
+
* Test instrument: the generalized free field, g = 1 + u^Δ + (u/v)^Δ,
|
|
23
|
+
* satisfies the equation exactly at every (u, v), and dropping one term breaks
|
|
24
|
+
* it (tests/bridges/be-35-encoding.test.ts). At u = v the equation is zero
|
|
25
|
+
* for ANY g, so the crossing-symmetric point u = v = 1/4 tests nothing.
|
|
26
|
+
*
|
|
27
|
+
* The earlier encoding, `R = C² · [g_block(u, v) − g_block(v, u)]`, had no
|
|
28
|
+
* prefactors and was written for one block; neither is crossing symmetric
|
|
29
|
+
* (census finding F1). It was deprecated in 0.46.0 and removed in 0.47.0, with its
|
|
30
|
+
* evaluator `evaluateCrossingResidual` and `BridgeEquations.crossingResidual`.
|
|
24
31
|
*
|
|
25
32
|
* References:
|
|
26
33
|
* - Rattazzi-Rychkov-Tonni-Vichi 2008 JHEP 0812:031
|
|
@@ -33,31 +40,20 @@
|
|
|
33
40
|
* - Kos-Poland-Simmons-Duffin 2014 JHEP 1406:091: "Bootstrapping the
|
|
34
41
|
* O(N) vector models".
|
|
35
42
|
*
|
|
36
|
-
*
|
|
37
|
-
*
|
|
38
|
-
*
|
|
39
|
-
*
|
|
40
|
-
*
|
|
41
|
-
* -
|
|
42
|
-
*
|
|
43
|
-
*
|
|
44
|
-
*
|
|
45
|
-
*
|
|
46
|
-
* -
|
|
47
|
-
*
|
|
48
|
-
*
|
|
49
|
-
* (
|
|
50
|
-
* numerical value of C without altering R_cross = 0.
|
|
51
|
-
* - Conformal-block special functions g_{Δ,ℓ}(u, v) are encoded as
|
|
52
|
-
* dimensionless symbol stubs (`g_block_uv`, `g_block_vu`) — NOT as
|
|
53
|
-
* their analytic-function expressions. Closed forms exist in 2D and
|
|
54
|
-
* 4D (Dolan-Osborn) but live outside the AST grammar (which has no
|
|
55
|
-
* hypergeometric-function node).
|
|
56
|
-
* - The identity is symbolic. Numerically evaluating with arbitrary
|
|
57
|
-
* g_uv ≠ g_vu yields a nonzero residual: that does NOT signal a
|
|
58
|
-
* bootstrap violation — it signals that the caller passed a pair
|
|
59
|
-
* that is not a legitimate (u, v) ↔ (v, u) crossing pair from the
|
|
60
|
-
* same conformal block. The residual is a *test instrument*.
|
|
43
|
+
* Scope notes:
|
|
44
|
+
* - g(u, v) and g(v, u) are dimensionless symbol stubs (`g_uv`, `g_vu`),
|
|
45
|
+
* not analytic forms: the conformal blocks inside g have closed forms only
|
|
46
|
+
* in 2D and 4D (Dolan-Osborn), and the AST grammar has no
|
|
47
|
+
* hypergeometric-function node.
|
|
48
|
+
* - The equation is a CONSTRAINT on the spectrum and the OPE coefficients.
|
|
49
|
+
* The bootstrap programme's numerical content (positivity bounds on an
|
|
50
|
+
* infinite tower) is not encoded here.
|
|
51
|
+
* - Only the identical-scalar case is encoded. Mixed correlators carry
|
|
52
|
+
* different prefactors.
|
|
53
|
+
* - Only the x1 ↔ x3 equation (eq. 4.3) is encoded. The x1 ↔ x2 constraint,
|
|
54
|
+
* g(u, v) = g(u/v, 1/v) (eq. 4.2), is "automatically satisfied for
|
|
55
|
+
* arbitrary coefficients λ²_O" because every operator in φ × φ has even
|
|
56
|
+
* spin (Rattazzi et al. 2008, §4). The generalized free field satisfies both.
|
|
61
57
|
*
|
|
62
58
|
* @see docs/specification/Part-II.md ("Bridge Equation 35: Conformal Bootstrap")
|
|
63
59
|
* @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 35)
|
|
@@ -65,50 +61,41 @@
|
|
|
65
61
|
*/
|
|
66
62
|
import type { ExprNode } from '../../dimensional/validator.js';
|
|
67
63
|
/**
|
|
68
|
-
*
|
|
69
|
-
*
|
|
70
|
-
* Both factors are dimensionless: C is the OPE coefficient under
|
|
71
|
-
* unit-normalized operators; g_block(u, v) is the conformal block
|
|
72
|
-
* (dimensionless function of dimensionless cross-ratios u, v).
|
|
73
|
-
*/
|
|
74
|
-
export declare const BE35_FORWARD_BLOCK: ExprNode;
|
|
75
|
-
/**
|
|
76
|
-
* Lemma AST: crossed-channel block `C² · g_block(v, u)`. Same shape as
|
|
77
|
-
* BE35_FORWARD_BLOCK with cross-ratios swapped — exposed for direct
|
|
78
|
-
* dimensional verification and for differencing in the residual.
|
|
79
|
-
*/
|
|
80
|
-
export declare const BE35_CROSSED_BLOCK: ExprNode;
|
|
81
|
-
/**
|
|
82
|
-
* RHS of the crossing-symmetry residual:
|
|
64
|
+
* RHS of the crossing equation for four identical scalars of dimension Δ_φ:
|
|
83
65
|
*
|
|
84
|
-
* R_cross =
|
|
66
|
+
* R_cross = v^Δφ · g(u, v) − u^Δφ · g(v, u)
|
|
85
67
|
*
|
|
86
|
-
*
|
|
87
|
-
* dimensionless
|
|
88
|
-
* dimensional analyzer.
|
|
68
|
+
* The exponent Δ_φ is a symbol, which the grammar allows only on a
|
|
69
|
+
* dimensionless base; u and v are dimensionless cross-ratios.
|
|
89
70
|
*/
|
|
90
|
-
export declare const
|
|
71
|
+
export declare const BE35_CROSSING_EQUATION_RHS: ExprNode;
|
|
91
72
|
/**
|
|
92
|
-
*
|
|
73
|
+
* Inputs of {@link evaluateCrossingEquation}: the cross-ratios, Δφ and the full four-point function at both points.
|
|
74
|
+
*
|
|
75
|
+
* @internal — file-local typed-arg shape, not in the public surface (the v0.7 BE module exports audit, `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4).
|
|
93
76
|
*/
|
|
94
|
-
interface
|
|
95
|
-
/**
|
|
96
|
-
|
|
97
|
-
/**
|
|
98
|
-
|
|
99
|
-
/**
|
|
100
|
-
|
|
77
|
+
interface CrossingEquationInputs {
|
|
78
|
+
/** Cross-ratio u > 0. */
|
|
79
|
+
u: number;
|
|
80
|
+
/** Cross-ratio v > 0. */
|
|
81
|
+
v: number;
|
|
82
|
+
/** The dimension Δ_φ of the four identical scalars. Must be finite. */
|
|
83
|
+
delta_phi: number;
|
|
84
|
+
/** The full reduced four-point function g at (u, v). Must be finite. */
|
|
85
|
+
g_uv: number;
|
|
86
|
+
/** The full reduced four-point function g at the crossed point (v, u). Must be finite. */
|
|
87
|
+
g_vu: number;
|
|
101
88
|
}
|
|
102
89
|
/**
|
|
103
|
-
* Evaluate the crossing
|
|
90
|
+
* Evaluate the crossing equation `R_cross = v^Δφ · g(u, v) − u^Δφ · g(v, u)`.
|
|
104
91
|
*
|
|
105
|
-
*
|
|
92
|
+
* Zero for a consistent CFT when `g` is the FULL reduced four-point function
|
|
93
|
+
* (identity plus all exchanged operators). Nonzero output means the pair
|
|
94
|
+
* `(g_uv, g_vu)` does not come from a crossing-symmetric four-point function,
|
|
95
|
+
* for example because a term of the sum is missing.
|
|
106
96
|
*
|
|
107
|
-
*
|
|
108
|
-
* g_uv = g_vu and the residual is exactly zero. Nonzero output for
|
|
109
|
-
* arbitrary inputs does not signal a CFT violation; it signals that the
|
|
110
|
-
* pair (g_uv, g_vu) is not from the same block under a u ↔ v swap.
|
|
97
|
+
* @throws RangeError if u or v is not positive, or any input is not finite.
|
|
111
98
|
*/
|
|
112
|
-
export declare function
|
|
99
|
+
export declare function evaluateCrossingEquation(input: CrossingEquationInputs): number;
|
|
113
100
|
export {};
|
|
114
101
|
//# sourceMappingURL=be-35-conformal-bootstrap.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"be-35-conformal-bootstrap.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-35-conformal-bootstrap.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"be-35-conformal-bootstrap.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-35-conformal-bootstrap.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4DG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAA6B,MAAM,gCAAgC,CAAC;AAQ1F;;;;;;;GAOG;AACH,eAAO,MAAM,0BAA0B,EAAE,QAkBxC,CAAC;AAOF;;;;GAIG;AACH,UAAU,sBAAsB;IAC9B,yBAAyB;IACzB,CAAC,EAAE,MAAM,CAAC;IACV,yBAAyB;IACzB,CAAC,EAAE,MAAM,CAAC;IACV,uEAAuE;IACvE,SAAS,EAAE,MAAM,CAAC;IAClB,wEAAwE;IACxE,IAAI,EAAE,MAAM,CAAC;IACb,0FAA0F;IAC1F,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;;;;GASG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,sBAAsB,GAAG,MAAM,CAc9E"}
|
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
/**
|
|
2
|
-
* Bridge Equation 35 — Conformal Bootstrap (crossing
|
|
2
|
+
* Bridge Equation 35 — Conformal Bootstrap (the crossing equation).
|
|
3
3
|
*
|
|
4
4
|
* Original 4-pt-function form (operator-valued; no scalar reduction
|
|
5
5
|
* without committing to specific operator dimensions):
|
|
@@ -7,20 +7,27 @@
|
|
|
7
7
|
* ⟨O₁(x₁) O₂(x₂) O₃(x₃) O₄(x₄)⟩
|
|
8
8
|
* = Σ_{Δ, ℓ} C₁₂^O · C₃₄^O · g_{Δ, ℓ}(u, v)
|
|
9
9
|
*
|
|
10
|
-
* Encoded
|
|
11
|
-
*
|
|
12
|
-
*
|
|
13
|
-
* residual
|
|
10
|
+
* Encoded relation: the crossing equation for four IDENTICAL scalars φ of
|
|
11
|
+
* dimension Δ_φ (Rattazzi, Rychkov, Tonni & Vichi 2008, eq. 4.3, which writes
|
|
12
|
+
* Δ_φ as d):
|
|
14
13
|
*
|
|
15
|
-
* R_cross =
|
|
14
|
+
* R_cross = v^Δφ · g(u, v) − u^Δφ · g(v, u) (= 0 in a consistent CFT)
|
|
16
15
|
*
|
|
17
|
-
*
|
|
18
|
-
*
|
|
19
|
-
*
|
|
16
|
+
* where g is the FULL reduced four-point function,
|
|
17
|
+
* g(u, v) = 1 + Σ_O λ_O² g_O(u, v): the identity plus the sum over the
|
|
18
|
+
* exchanged operators (Rattazzi et al. 2008, eq. 4.4). Crossing holds for that sum, not for a single block,
|
|
19
|
+
* and it holds only with the prefactors. `R_cross` and every symbol are
|
|
20
|
+
* dimensionless: u and v are cross-ratios and g is a ratio of correlators.
|
|
20
21
|
*
|
|
21
|
-
*
|
|
22
|
-
*
|
|
23
|
-
*
|
|
22
|
+
* Test instrument: the generalized free field, g = 1 + u^Δ + (u/v)^Δ,
|
|
23
|
+
* satisfies the equation exactly at every (u, v), and dropping one term breaks
|
|
24
|
+
* it (tests/bridges/be-35-encoding.test.ts). At u = v the equation is zero
|
|
25
|
+
* for ANY g, so the crossing-symmetric point u = v = 1/4 tests nothing.
|
|
26
|
+
*
|
|
27
|
+
* The earlier encoding, `R = C² · [g_block(u, v) − g_block(v, u)]`, had no
|
|
28
|
+
* prefactors and was written for one block; neither is crossing symmetric
|
|
29
|
+
* (census finding F1). It was deprecated in 0.46.0 and removed in 0.47.0, with its
|
|
30
|
+
* evaluator `evaluateCrossingResidual` and `BridgeEquations.crossingResidual`.
|
|
24
31
|
*
|
|
25
32
|
* References:
|
|
26
33
|
* - Rattazzi-Rychkov-Tonni-Vichi 2008 JHEP 0812:031
|
|
@@ -33,31 +40,20 @@
|
|
|
33
40
|
* - Kos-Poland-Simmons-Duffin 2014 JHEP 1406:091: "Bootstrapping the
|
|
34
41
|
* O(N) vector models".
|
|
35
42
|
*
|
|
36
|
-
*
|
|
37
|
-
*
|
|
38
|
-
*
|
|
39
|
-
*
|
|
40
|
-
*
|
|
41
|
-
* -
|
|
42
|
-
*
|
|
43
|
-
*
|
|
44
|
-
*
|
|
45
|
-
*
|
|
46
|
-
* -
|
|
47
|
-
*
|
|
48
|
-
*
|
|
49
|
-
* (
|
|
50
|
-
* numerical value of C without altering R_cross = 0.
|
|
51
|
-
* - Conformal-block special functions g_{Δ,ℓ}(u, v) are encoded as
|
|
52
|
-
* dimensionless symbol stubs (`g_block_uv`, `g_block_vu`) — NOT as
|
|
53
|
-
* their analytic-function expressions. Closed forms exist in 2D and
|
|
54
|
-
* 4D (Dolan-Osborn) but live outside the AST grammar (which has no
|
|
55
|
-
* hypergeometric-function node).
|
|
56
|
-
* - The identity is symbolic. Numerically evaluating with arbitrary
|
|
57
|
-
* g_uv ≠ g_vu yields a nonzero residual: that does NOT signal a
|
|
58
|
-
* bootstrap violation — it signals that the caller passed a pair
|
|
59
|
-
* that is not a legitimate (u, v) ↔ (v, u) crossing pair from the
|
|
60
|
-
* same conformal block. The residual is a *test instrument*.
|
|
43
|
+
* Scope notes:
|
|
44
|
+
* - g(u, v) and g(v, u) are dimensionless symbol stubs (`g_uv`, `g_vu`),
|
|
45
|
+
* not analytic forms: the conformal blocks inside g have closed forms only
|
|
46
|
+
* in 2D and 4D (Dolan-Osborn), and the AST grammar has no
|
|
47
|
+
* hypergeometric-function node.
|
|
48
|
+
* - The equation is a CONSTRAINT on the spectrum and the OPE coefficients.
|
|
49
|
+
* The bootstrap programme's numerical content (positivity bounds on an
|
|
50
|
+
* infinite tower) is not encoded here.
|
|
51
|
+
* - Only the identical-scalar case is encoded. Mixed correlators carry
|
|
52
|
+
* different prefactors.
|
|
53
|
+
* - Only the x1 ↔ x3 equation (eq. 4.3) is encoded. The x1 ↔ x2 constraint,
|
|
54
|
+
* g(u, v) = g(u/v, 1/v) (eq. 4.2), is "automatically satisfied for
|
|
55
|
+
* arbitrary coefficients λ²_O" because every operator in φ × φ has even
|
|
56
|
+
* spin (Rattazzi et al. 2008, §4). The generalized free field satisfies both.
|
|
61
57
|
*
|
|
62
58
|
* @see docs/specification/Part-II.md ("Bridge Equation 35: Conformal Bootstrap")
|
|
63
59
|
* @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 35)
|
|
@@ -65,91 +61,63 @@
|
|
|
65
61
|
*/
|
|
66
62
|
import { DIMENSIONLESS, } from '../../dimensional/types.js';
|
|
67
63
|
import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
|
|
68
|
-
// --- Symbolic AST ---
|
|
64
|
+
// --- Symbolic AST: the crossing equation ---
|
|
69
65
|
/**
|
|
70
|
-
*
|
|
66
|
+
* RHS of the crossing equation for four identical scalars of dimension Δ_φ:
|
|
67
|
+
*
|
|
68
|
+
* R_cross = v^Δφ · g(u, v) − u^Δφ · g(v, u)
|
|
71
69
|
*
|
|
72
|
-
*
|
|
73
|
-
*
|
|
74
|
-
* (dimensionless function of dimensionless cross-ratios u, v).
|
|
70
|
+
* The exponent Δ_φ is a symbol, which the grammar allows only on a
|
|
71
|
+
* dimensionless base; u and v are dimensionless cross-ratios.
|
|
75
72
|
*/
|
|
76
|
-
export const
|
|
77
|
-
kind: 'op', op: '
|
|
73
|
+
export const BE35_CROSSING_EQUATION_RHS = {
|
|
74
|
+
kind: 'op', op: '-',
|
|
78
75
|
args: [
|
|
79
76
|
{
|
|
80
|
-
kind: 'op', op: '
|
|
77
|
+
kind: 'op', op: '*',
|
|
81
78
|
args: [
|
|
82
|
-
sym('
|
|
83
|
-
|
|
84
|
-
// `name` via Number(), so the literal text must be a finite
|
|
85
|
-
// number ('2'), not a word ('two').
|
|
86
|
-
sym('2', DIMENSIONLESS),
|
|
79
|
+
{ kind: 'op', op: '^', args: [sym('v', DIMENSIONLESS), sym('Delta_phi', DIMENSIONLESS)] },
|
|
80
|
+
sym('g_uv', DIMENSIONLESS),
|
|
87
81
|
],
|
|
88
82
|
},
|
|
89
|
-
sym('g_block_uv', DIMENSIONLESS),
|
|
90
|
-
],
|
|
91
|
-
};
|
|
92
|
-
/**
|
|
93
|
-
* Lemma AST: crossed-channel block `C² · g_block(v, u)`. Same shape as
|
|
94
|
-
* BE35_FORWARD_BLOCK with cross-ratios swapped — exposed for direct
|
|
95
|
-
* dimensional verification and for differencing in the residual.
|
|
96
|
-
*/
|
|
97
|
-
export const BE35_CROSSED_BLOCK = {
|
|
98
|
-
kind: 'op', op: '*',
|
|
99
|
-
args: [
|
|
100
83
|
{
|
|
101
|
-
kind: 'op', op: '
|
|
84
|
+
kind: 'op', op: '*',
|
|
102
85
|
args: [
|
|
103
|
-
sym('
|
|
104
|
-
sym('
|
|
86
|
+
{ kind: 'op', op: '^', args: [sym('u', DIMENSIONLESS), sym('Delta_phi', DIMENSIONLESS)] },
|
|
87
|
+
sym('g_vu', DIMENSIONLESS),
|
|
105
88
|
],
|
|
106
89
|
},
|
|
107
|
-
sym('g_block_vu', DIMENSIONLESS),
|
|
108
|
-
],
|
|
109
|
-
};
|
|
110
|
-
/**
|
|
111
|
-
* RHS of the crossing-symmetry residual:
|
|
112
|
-
*
|
|
113
|
-
* R_cross = C² · g_block(u, v) − C² · g_block(v, u)
|
|
114
|
-
*
|
|
115
|
-
* encoded as the difference of the two lemma blocks. Both summands are
|
|
116
|
-
* dimensionless, so the result infers DIMENSIONLESS through the
|
|
117
|
-
* dimensional analyzer.
|
|
118
|
-
*/
|
|
119
|
-
export const BE35_CROSSING_RESIDUAL_RHS = {
|
|
120
|
-
kind: 'op', op: '-',
|
|
121
|
-
args: [
|
|
122
|
-
BE35_FORWARD_BLOCK,
|
|
123
|
-
BE35_CROSSED_BLOCK,
|
|
124
90
|
],
|
|
125
91
|
};
|
|
126
92
|
/** LHS: R_cross is dimensionless. */
|
|
127
|
-
const
|
|
93
|
+
const BE35_CROSSING_LHS = sym('R_cross', DIMENSIONLESS);
|
|
128
94
|
/**
|
|
129
|
-
* Evaluate the crossing
|
|
95
|
+
* Evaluate the crossing equation `R_cross = v^Δφ · g(u, v) − u^Δφ · g(v, u)`.
|
|
130
96
|
*
|
|
131
|
-
*
|
|
97
|
+
* Zero for a consistent CFT when `g` is the FULL reduced four-point function
|
|
98
|
+
* (identity plus all exchanged operators). Nonzero output means the pair
|
|
99
|
+
* `(g_uv, g_vu)` does not come from a crossing-symmetric four-point function,
|
|
100
|
+
* for example because a term of the sum is missing.
|
|
132
101
|
*
|
|
133
|
-
*
|
|
134
|
-
* g_uv = g_vu and the residual is exactly zero. Nonzero output for
|
|
135
|
-
* arbitrary inputs does not signal a CFT violation; it signals that the
|
|
136
|
-
* pair (g_uv, g_vu) is not from the same block under a u ↔ v swap.
|
|
102
|
+
* @throws RangeError if u or v is not positive, or any input is not finite.
|
|
137
103
|
*/
|
|
138
|
-
export function
|
|
104
|
+
export function evaluateCrossingEquation(input) {
|
|
139
105
|
validateFiniteInputs(input, [
|
|
140
|
-
{ name: '
|
|
141
|
-
{ name: '
|
|
142
|
-
{ name: '
|
|
143
|
-
|
|
144
|
-
|
|
145
|
-
|
|
106
|
+
{ name: 'u', min: 0, excludeMin: true },
|
|
107
|
+
{ name: 'v', min: 0, excludeMin: true },
|
|
108
|
+
{ name: 'delta_phi' },
|
|
109
|
+
{ name: 'g_uv' },
|
|
110
|
+
{ name: 'g_vu' },
|
|
111
|
+
], 'evaluateCrossingEquation');
|
|
112
|
+
const { u, v, delta_phi, g_uv, g_vu } = input;
|
|
113
|
+
return v ** delta_phi * g_uv - u ** delta_phi * g_vu;
|
|
146
114
|
}
|
|
147
115
|
// --- Self-validation ---
|
|
148
116
|
/**
|
|
149
|
-
* Run the AST through the dimensional analyzer; LHS and RHS
|
|
150
|
-
* both be DIMENSIONLESS.
|
|
117
|
+
* Run the crossing-equation AST through the dimensional analyzer; LHS and RHS
|
|
118
|
+
* should both be DIMENSIONLESS.
|
|
151
119
|
*/
|
|
152
120
|
function validateBE35Dimensions() {
|
|
153
|
-
return validateBEDimensions(
|
|
121
|
+
return validateBEDimensions(BE35_CROSSING_LHS, BE35_CROSSING_EQUATION_RHS, 'BE35');
|
|
154
122
|
}
|
|
155
123
|
//# 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
|
|
1
|
+
{"version":3,"file":"be-35-conformal-bootstrap.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-35-conformal-bootstrap.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4DG;AAGH,OAAO,EACL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,8CAA8C;AAE9C;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAa;IAClD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC,EAAE;gBACzF,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC;aAC3B;SACF;QACD;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC,EAAE;gBACzF,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC;aAC3B;SACF;KACF;CACF,CAAC;AAEF,qCAAqC;AACrC,MAAM,iBAAiB,GAAa,GAAG,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;AAsBlE;;;;;;;;;GASG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAA6B;IACpE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QACvC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QACvC,EAAE,IAAI,EAAE,WAAW,EAAE;QACrB,EAAE,IAAI,EAAE,MAAM,EAAE;QAChB,EAAE,IAAI,EAAE,MAAM,EAAE;KACjB,EACD,0BAA0B,CAC3B,CAAC;IACF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IAC9C,OAAO,CAAC,IAAI,SAAS,GAAG,IAAI,GAAG,CAAC,IAAI,SAAS,GAAG,IAAI,CAAC;AACvD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,SAAS,sBAAsB;IAC7B,OAAO,oBAAoB,CACzB,iBAAiB,EACjB,0BAA0B,EAC1B,MAAM,CACP,CAAC;AACJ,CAAC"}
|
|
@@ -1,7 +1,8 @@
|
|
|
1
1
|
/**
|
|
2
|
-
* Bridge Equation 48 — GRW mass-amplified localization rate
|
|
3
|
-
*
|
|
4
|
-
*
|
|
2
|
+
* Bridge Equation 48 — GRW mass-amplified localization rate (post Wave Y
|
|
3
|
+
* reformulation). The linear law is the GRW (QMSL) centre-of-mass
|
|
4
|
+
* amplification λ_macro = N λ_micro (Bassi & Ghirardi 2003 §6.4); in CSL the
|
|
5
|
+
* macroscopic rate is γ D_0 n_out instead (§8.3).
|
|
5
6
|
*
|
|
6
7
|
* λ_GRW(m) = λ_0 · (m / m_0)
|
|
7
8
|
*
|
|
@@ -14,11 +15,11 @@
|
|
|
14
15
|
* - Ghirardi, Rimini & Weber 1986 *Phys. Rev. D* 34:470 (canonical
|
|
15
16
|
* GRW objective-collapse master equation; original 1986 form).
|
|
16
17
|
* - Pearle 1989 *Phys. Rev. A* 39:2277 (Continuous Spontaneous
|
|
17
|
-
* Localization
|
|
18
|
-
* - Ghirardi, Pearle & Rimini 1990 *Phys. Rev. A* 42:78 (CSL
|
|
19
|
-
*
|
|
20
|
-
*
|
|
21
|
-
*
|
|
18
|
+
* Localization; not seen).
|
|
19
|
+
* - Ghirardi, Pearle & Rimini 1990 *Phys. Rev. A* 42:78 (the CSL
|
|
20
|
+
* paper; metadata only).
|
|
21
|
+
* - Bassi & Ghirardi 2003 *Phys. Rep.* 379:257 (review; §6.4 gives the
|
|
22
|
+
* GRW/QMSL centre-of-mass amplification, §8.3 the CSL rate).
|
|
22
23
|
*
|
|
23
24
|
* Status: speculative.
|
|
24
25
|
*
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"be-48-grw-localization.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-48-grw-localization.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"be-48-grw-localization.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-48-grw-localization.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAO1F;;;;;;GAMG;AACH,eAAO,MAAM,yBAAyB,EAAE,QAYvC,CAAC;AAEF,uDAAuD;AACvD,gBAAgB;AAChB,eAAO,MAAM,yBAAyB,EAAE,QAAuC,CAAC;AAIhF;;GAEG;AACH,UAAU,qBAAqB;IAC7B,kDAAkD;IAClD,IAAI,EAAE,MAAM,CAAC;IACb;;;OAGG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;OAIG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAKD;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,qBAAqB,GAAG,MAAM,CAiB5E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}
|
|
@@ -1,7 +1,8 @@
|
|
|
1
1
|
/**
|
|
2
|
-
* Bridge Equation 48 — GRW mass-amplified localization rate
|
|
3
|
-
*
|
|
4
|
-
*
|
|
2
|
+
* Bridge Equation 48 — GRW mass-amplified localization rate (post Wave Y
|
|
3
|
+
* reformulation). The linear law is the GRW (QMSL) centre-of-mass
|
|
4
|
+
* amplification λ_macro = N λ_micro (Bassi & Ghirardi 2003 §6.4); in CSL the
|
|
5
|
+
* macroscopic rate is γ D_0 n_out instead (§8.3).
|
|
5
6
|
*
|
|
6
7
|
* λ_GRW(m) = λ_0 · (m / m_0)
|
|
7
8
|
*
|
|
@@ -14,11 +15,11 @@
|
|
|
14
15
|
* - Ghirardi, Rimini & Weber 1986 *Phys. Rev. D* 34:470 (canonical
|
|
15
16
|
* GRW objective-collapse master equation; original 1986 form).
|
|
16
17
|
* - Pearle 1989 *Phys. Rev. A* 39:2277 (Continuous Spontaneous
|
|
17
|
-
* Localization
|
|
18
|
-
* - Ghirardi, Pearle & Rimini 1990 *Phys. Rev. A* 42:78 (CSL
|
|
19
|
-
*
|
|
20
|
-
*
|
|
21
|
-
*
|
|
18
|
+
* Localization; not seen).
|
|
19
|
+
* - Ghirardi, Pearle & Rimini 1990 *Phys. Rev. A* 42:78 (the CSL
|
|
20
|
+
* paper; metadata only).
|
|
21
|
+
* - Bassi & Ghirardi 2003 *Phys. Rep.* 379:257 (review; §6.4 gives the
|
|
22
|
+
* GRW/QMSL centre-of-mass amplification, §8.3 the CSL rate).
|
|
22
23
|
*
|
|
23
24
|
* Status: speculative.
|
|
24
25
|
*
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"be-48-grw-localization.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-48-grw-localization.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"be-48-grw-localization.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-48-grw-localization.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAGH,OAAO,EACL,SAAS,EACT,IAAI,GACL,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAa;IACjD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC;QAC1B;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;gBACd,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;aACjB;SACF;KACF;CACF,CAAC;AAEF,uDAAuD;AACvD,gBAAgB;AAChB,MAAM,CAAC,MAAM,yBAAyB,GAAa,GAAG,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;AAuBhF,MAAM,cAAc,GAAG,QAAQ,CAAC,CAAC,sBAAsB;AACvD,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,uCAAuC;AAEvE;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAA4B;IAClE,MAAM,QAAQ,GAAG;QACf,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,cAAc;QACtC,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,gBAAgB;KACzD,CAAC;IACF,oBAAoB,CAClB,QAAQ,EACR;QACE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC1C,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC5C,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,CAAC,EAAE;KACnC,EACD,yBAAyB,CAC1B,CAAC;IACF,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,GAAG,QAAQ,CAAC;IAClD,OAAO,cAAc,GAAG,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC;AAC1C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CACzB,yBAAyB,EACzB,yBAAyB,EACzB,MAAM,CACP,CAAC;AACJ,CAAC"}
|
|
@@ -22,12 +22,22 @@
|
|
|
22
22
|
*
|
|
23
23
|
* @module bridges/gravitational-lensing
|
|
24
24
|
*/
|
|
25
|
+
/**
|
|
26
|
+
* Inputs to `evaluateGravitationalLensing` (BE-51).
|
|
27
|
+
*
|
|
28
|
+
* @public
|
|
29
|
+
*/
|
|
25
30
|
export interface GravitationalLensingInputs {
|
|
26
31
|
/** Lensing mass in kilograms. */
|
|
27
32
|
readonly M_kg: number;
|
|
28
33
|
/** Impact parameter in metres. Must be strictly positive. */
|
|
29
34
|
readonly b_m: number;
|
|
30
35
|
}
|
|
36
|
+
/**
|
|
37
|
+
* Result of `evaluateGravitationalLensing` (BE-51).
|
|
38
|
+
*
|
|
39
|
+
* @public
|
|
40
|
+
*/
|
|
31
41
|
export interface GravitationalLensingResult {
|
|
32
42
|
/** Deflection angle in radians: α = 4GM/(bc²). */
|
|
33
43
|
readonly alpha_rad: number;
|
|
@@ -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;;;;;;;;;;;;;;;;;;;;GAoBG;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;;;;GAIG;AACH,MAAM,WAAW,0BAA0B;IACzC,iCAAiC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8DAA8D;IAC9D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,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"}
|
|
@@ -1 +1 @@
|
|
|
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;
|
|
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;AA8B1D;;;;;;;;;;;;;;;;;;;;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"}
|