universal-physics-tensor 7.0.0 → 9.0.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 +11 -9
- package/data/atlas/atlas.json +3044 -0
- package/data/atlas/atlas.jsonld +1819 -0
- package/data/atlas/diffusion.json +1084 -0
- package/data/atlas/oscillators.json +1041 -0
- package/data/atlas/qudt-resolution.json +60 -0
- package/data/atlas/waves.json +916 -0
- package/data/atlas/witness-results.json +249 -0
- package/data/bridge-catalog.json +15425 -0
- package/data/bridge-catalog.schema.json +642 -0
- package/data/confrontation-sources.md +137 -0
- package/data/quantities.json +9755 -0
- package/data/quantities.schema.json +52 -0
- package/data/schemas/atlas-record.v0.json +236 -0
- package/data/schemas/discovery-run.v0.json +203 -0
- package/data/units.json +1149 -0
- package/data/units.schema.json +124 -0
- package/dist/atlas/association.d.ts +1 -1
- package/dist/atlas/benchmark/hybrid-retrieval.d.ts.map +1 -1
- package/dist/atlas/benchmark/hybrid-retrieval.js +2 -5
- package/dist/atlas/benchmark/hybrid-retrieval.js.map +1 -1
- package/dist/atlas/catalog-formal-ref.d.ts +6 -12
- package/dist/atlas/catalog-formal-ref.d.ts.map +1 -1
- package/dist/atlas/catalog-formal-ref.js +15 -25
- package/dist/atlas/catalog-formal-ref.js.map +1 -1
- package/dist/atlas/physjs-entries.generated.d.ts +1769 -196
- package/dist/atlas/physjs-entries.generated.d.ts.map +1 -1
- package/dist/atlas/physjs-entries.generated.js +2046 -321
- package/dist/atlas/physjs-entries.generated.js.map +1 -1
- package/dist/atlas/physjs-ref.d.ts +89 -89
- package/dist/atlas/physjs-ref.d.ts.map +1 -1
- package/dist/atlas/physjs-ref.js +128 -269
- package/dist/atlas/physjs-ref.js.map +1 -1
- package/dist/atlas/proof-target.d.ts +16 -8
- package/dist/atlas/proof-target.d.ts.map +1 -1
- package/dist/atlas/proof-target.js +34 -31
- package/dist/atlas/proof-target.js.map +1 -1
- package/dist/bridges/caller-table.d.ts +56 -0
- package/dist/bridges/caller-table.d.ts.map +1 -0
- package/dist/bridges/{be53-yang-mills-confrontation.js → caller-table.js} +13 -15
- package/dist/bridges/caller-table.js.map +1 -0
- package/dist/bridges/catalog-adapter.d.ts.map +1 -1
- package/dist/bridges/catalog-adapter.js +5 -5
- package/dist/bridges/catalog-adapter.js.map +1 -1
- package/dist/bridges/catalog-load.d.ts +41 -0
- package/dist/bridges/catalog-load.d.ts.map +1 -0
- package/dist/bridges/catalog-load.js +145 -0
- package/dist/bridges/catalog-load.js.map +1 -0
- package/dist/bridges/catalog-types.d.ts +164 -0
- package/dist/bridges/catalog-types.d.ts.map +1 -0
- package/dist/bridges/catalog-types.js +8 -0
- package/dist/bridges/catalog-types.js.map +1 -0
- package/dist/bridges/coefficient-statement.d.ts +27 -0
- package/dist/bridges/coefficient-statement.d.ts.map +1 -0
- package/dist/bridges/coefficient-statement.js +33 -0
- package/dist/bridges/coefficient-statement.js.map +1 -0
- package/dist/bridges/confrontations.d.ts +8 -25
- package/dist/bridges/confrontations.d.ts.map +1 -1
- package/dist/bridges/confrontations.js +26 -714
- package/dist/bridges/confrontations.js.map +1 -1
- package/dist/bridges/evaluation-errors.d.ts +76 -0
- package/dist/bridges/evaluation-errors.d.ts.map +1 -0
- package/dist/bridges/evaluation-errors.js +118 -0
- package/dist/bridges/evaluation-errors.js.map +1 -0
- package/dist/bridges/evaluator-inputs.d.ts +5 -3
- package/dist/bridges/evaluator-inputs.d.ts.map +1 -1
- package/dist/bridges/evaluator-inputs.js +24 -14
- package/dist/bridges/evaluator-inputs.js.map +1 -1
- package/dist/bridges/evaluators.d.ts +40 -28
- package/dist/bridges/evaluators.d.ts.map +1 -1
- package/dist/bridges/evaluators.js +183 -413
- package/dist/bridges/evaluators.js.map +1 -1
- package/dist/bridges/expr-parse.d.ts +27 -0
- package/dist/bridges/expr-parse.d.ts.map +1 -0
- package/dist/bridges/expr-parse.js +162 -0
- package/dist/bridges/expr-parse.js.map +1 -0
- package/dist/bridges/holds.d.ts +26 -0
- package/dist/bridges/holds.d.ts.map +1 -0
- package/dist/bridges/holds.js +145 -0
- package/dist/bridges/holds.js.map +1 -0
- package/dist/bridges/index.d.ts +18 -354
- package/dist/bridges/index.d.ts.map +1 -1
- package/dist/bridges/index.js +17 -3312
- package/dist/bridges/index.js.map +1 -1
- package/dist/bridges/input-contract.d.ts +65 -0
- package/dist/bridges/input-contract.d.ts.map +1 -0
- package/dist/bridges/input-contract.js +97 -0
- package/dist/bridges/input-contract.js.map +1 -0
- package/dist/bridges/notices.d.ts +11 -0
- package/dist/bridges/notices.d.ts.map +1 -0
- package/dist/bridges/notices.js +22 -0
- package/dist/bridges/notices.js.map +1 -0
- package/dist/bridges/relation-eval.d.ts +23 -0
- package/dist/bridges/relation-eval.d.ts.map +1 -0
- package/dist/bridges/relation-eval.js +136 -0
- package/dist/bridges/relation-eval.js.map +1 -0
- package/dist/bridges/rhs-registry.d.ts +7 -21
- package/dist/bridges/rhs-registry.d.ts.map +1 -1
- package/dist/bridges/rhs-registry.js +13 -123
- package/dist/bridges/rhs-registry.js.map +1 -1
- package/dist/bridges/sensitivity.d.ts +11 -3
- package/dist/bridges/sensitivity.d.ts.map +1 -1
- package/dist/bridges/sensitivity.js +20 -36
- package/dist/bridges/sensitivity.js.map +1 -1
- package/dist/bridges/types.d.ts +52 -0
- package/dist/bridges/types.d.ts.map +1 -0
- package/dist/bridges/types.js +10 -0
- package/dist/bridges/types.js.map +1 -0
- package/dist/canonical/canonical-equation.d.ts +31 -0
- package/dist/canonical/canonical-equation.d.ts.map +1 -1
- package/dist/canonical/entries/atomic.d.ts.map +1 -1
- package/dist/canonical/entries/atomic.js +12 -2
- package/dist/canonical/entries/atomic.js.map +1 -1
- package/dist/canonical/entries/condensed-matter.d.ts.map +1 -1
- package/dist/canonical/entries/condensed-matter.js +4 -1
- package/dist/canonical/entries/condensed-matter.js.map +1 -1
- package/dist/canonical/entries/dimensional-classics.d.ts.map +1 -1
- package/dist/canonical/entries/dimensional-classics.js +48 -0
- package/dist/canonical/entries/dimensional-classics.js.map +1 -1
- package/dist/canonical/entries/electromagnetism.d.ts.map +1 -1
- package/dist/canonical/entries/electromagnetism.js +31 -1
- package/dist/canonical/entries/electromagnetism.js.map +1 -1
- package/dist/canonical/entries/fluids-waves.d.ts.map +1 -1
- package/dist/canonical/entries/fluids-waves.js +35 -1
- package/dist/canonical/entries/fluids-waves.js.map +1 -1
- package/dist/canonical/entries/mechanics.d.ts.map +1 -1
- package/dist/canonical/entries/mechanics.js +25 -1
- package/dist/canonical/entries/mechanics.js.map +1 -1
- package/dist/canonical/entries/nonmonomial.d.ts.map +1 -1
- package/dist/canonical/entries/nonmonomial.js +16 -5
- package/dist/canonical/entries/nonmonomial.js.map +1 -1
- package/dist/canonical/entries/relativity.d.ts.map +1 -1
- package/dist/canonical/entries/relativity.js +7 -1
- package/dist/canonical/entries/relativity.js.map +1 -1
- package/dist/canonical/entries/statistical-mechanics.d.ts.map +1 -1
- package/dist/canonical/entries/statistical-mechanics.js +20 -1
- package/dist/canonical/entries/statistical-mechanics.js.map +1 -1
- package/dist/canonical/entries/thermo-nuclear-cosmo.d.ts.map +1 -1
- package/dist/canonical/entries/thermo-nuclear-cosmo.js +17 -2
- package/dist/canonical/entries/thermo-nuclear-cosmo.js.map +1 -1
- package/dist/canonical/normal-form.d.ts.map +1 -1
- package/dist/canonical/normal-form.js +9 -4
- package/dist/canonical/normal-form.js.map +1 -1
- package/dist/cases/index.d.ts +9 -2
- package/dist/cases/index.d.ts.map +1 -1
- package/dist/cases/index.js +26 -7
- package/dist/cases/index.js.map +1 -1
- package/dist/cases/kepler-rv.d.ts.map +1 -1
- package/dist/cases/kepler-rv.js +13 -9
- package/dist/cases/kepler-rv.js.map +1 -1
- package/dist/cases/resistor-noise.d.ts.map +1 -1
- package/dist/cases/resistor-noise.js +10 -5
- package/dist/cases/resistor-noise.js.map +1 -1
- package/dist/cli/commands/_discovery-opts.d.ts +2 -1
- package/dist/cli/commands/_discovery-opts.d.ts.map +1 -1
- package/dist/cli/commands/_discovery-opts.js +7 -12
- package/dist/cli/commands/_discovery-opts.js.map +1 -1
- package/dist/cli/commands/atlas.d.ts.map +1 -1
- package/dist/cli/commands/atlas.js +6 -9
- package/dist/cli/commands/atlas.js.map +1 -1
- package/dist/cli/commands/audit.d.ts.map +1 -1
- package/dist/cli/commands/audit.js +1 -2
- package/dist/cli/commands/audit.js.map +1 -1
- package/dist/cli/commands/chain.js +2 -2
- package/dist/cli/commands/chain.js.map +1 -1
- package/dist/cli/commands/confront.d.ts.map +1 -1
- package/dist/cli/commands/confront.js +17 -17
- package/dist/cli/commands/confront.js.map +1 -1
- package/dist/cli/commands/connectors.d.ts.map +1 -1
- package/dist/cli/commands/connectors.js +8 -9
- package/dist/cli/commands/connectors.js.map +1 -1
- package/dist/cli/commands/derive.js +9 -10
- 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 +3 -4
- package/dist/cli/commands/discover.js.map +1 -1
- package/dist/cli/commands/eval.d.ts.map +1 -1
- package/dist/cli/commands/eval.js +18 -16
- package/dist/cli/commands/eval.js.map +1 -1
- package/dist/cli/commands/evaluate.d.ts +1 -35
- package/dist/cli/commands/evaluate.d.ts.map +1 -1
- package/dist/cli/commands/evaluate.js +67 -193
- 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 +44 -37
- package/dist/cli/commands/explain.js.map +1 -1
- package/dist/cli/commands/ground.js +1 -1
- package/dist/cli/commands/ground.js.map +1 -1
- package/dist/cli/commands/map.js +3 -4
- package/dist/cli/commands/map.js.map +1 -1
- package/dist/cli/commands/metric.d.ts.map +1 -1
- package/dist/cli/commands/metric.js +3 -0
- package/dist/cli/commands/metric.js.map +1 -1
- package/dist/cli/commands/regime.js +1 -1
- package/dist/cli/commands/regime.js.map +1 -1
- package/dist/cli/commands/symbolic.d.ts.map +1 -1
- package/dist/cli/commands/symbolic.js +10 -6
- package/dist/cli/commands/symbolic.js.map +1 -1
- package/dist/cli/commands/testplan.js +3 -3
- package/dist/cli/commands/testplan.js.map +1 -1
- package/dist/cli/conventions.d.ts +6 -7
- package/dist/cli/conventions.d.ts.map +1 -1
- package/dist/cli/conventions.js +19 -28
- package/dist/cli/conventions.js.map +1 -1
- package/dist/cli/euler-guard.d.ts +13 -2
- package/dist/cli/euler-guard.d.ts.map +1 -1
- package/dist/cli/euler-guard.js +17 -3
- package/dist/cli/euler-guard.js.map +1 -1
- package/dist/cli/eval-numbers.d.ts +4 -9
- package/dist/cli/eval-numbers.d.ts.map +1 -1
- package/dist/cli/eval-numbers.js +11 -41
- package/dist/cli/eval-numbers.js.map +1 -1
- package/dist/cli/published-url.d.ts +2 -0
- package/dist/cli/published-url.d.ts.map +1 -1
- package/dist/cli/published-url.js +5 -0
- package/dist/cli/published-url.js.map +1 -1
- package/dist/cli/record-tables.d.ts +2 -1
- package/dist/cli/record-tables.d.ts.map +1 -1
- package/dist/cli/record-tables.js +8 -3
- package/dist/cli/record-tables.js.map +1 -1
- package/dist/cli-api.d.ts +50 -12
- package/dist/cli-api.d.ts.map +1 -1
- package/dist/cli-api.js +43 -11
- package/dist/cli-api.js.map +1 -1
- package/dist/composition/adjudication.d.ts +8 -30
- package/dist/composition/adjudication.d.ts.map +1 -1
- package/dist/composition/adjudication.js +15 -67
- package/dist/composition/adjudication.js.map +1 -1
- package/dist/composition/aliases.d.ts +1 -1
- package/dist/composition/aliases.d.ts.map +1 -1
- package/dist/composition/aliases.js +10 -20
- package/dist/composition/aliases.js.map +1 -1
- package/dist/composition/bridge-analysis.d.ts +4 -0
- package/dist/composition/bridge-analysis.d.ts.map +1 -1
- package/dist/composition/bridge-analysis.js +13 -14
- package/dist/composition/bridge-analysis.js.map +1 -1
- package/dist/composition/canonical-graph.d.ts +12 -12
- package/dist/composition/canonical-graph.d.ts.map +1 -1
- package/dist/composition/canonical-graph.js +96 -25
- package/dist/composition/canonical-graph.js.map +1 -1
- package/dist/composition/canonical-prefactors.d.ts +10 -29
- package/dist/composition/canonical-prefactors.d.ts.map +1 -1
- package/dist/composition/canonical-prefactors.js +15 -202
- package/dist/composition/canonical-prefactors.js.map +1 -1
- package/dist/composition/catalog-graph.d.ts +11 -4
- package/dist/composition/catalog-graph.d.ts.map +1 -1
- package/dist/composition/catalog-graph.js +78 -47
- package/dist/composition/catalog-graph.js.map +1 -1
- package/dist/composition/compose.js +2 -1
- package/dist/composition/compose.js.map +1 -1
- package/dist/composition/discovery.d.ts +50 -0
- package/dist/composition/discovery.d.ts.map +1 -1
- package/dist/composition/discovery.js +28 -24
- package/dist/composition/discovery.js.map +1 -1
- package/dist/composition/edge.d.ts +0 -14
- package/dist/composition/edge.d.ts.map +1 -1
- package/dist/composition/edge.js +1 -17
- package/dist/composition/edge.js.map +1 -1
- package/dist/composition/evaluate-relation.d.ts +31 -5
- package/dist/composition/evaluate-relation.d.ts.map +1 -1
- package/dist/composition/evaluate-relation.js +111 -60
- package/dist/composition/evaluate-relation.js.map +1 -1
- package/dist/composition/explain.d.ts +5 -0
- package/dist/composition/explain.d.ts.map +1 -1
- package/dist/composition/explain.js +9 -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 +8 -1
- package/dist/composition/expr-eval.js.map +1 -1
- package/dist/composition/frontier-account.d.ts.map +1 -1
- package/dist/composition/frontier-account.js +1 -1
- package/dist/composition/frontier-account.js.map +1 -1
- package/dist/composition/index.d.ts +6 -15
- package/dist/composition/index.d.ts.map +1 -1
- package/dist/composition/index.js +6 -15
- package/dist/composition/index.js.map +1 -1
- package/dist/composition/proposed-bridges.d.ts.map +1 -1
- package/dist/composition/proposed-bridges.js +3 -2
- package/dist/composition/proposed-bridges.js.map +1 -1
- package/dist/composition/quantities.d.ts +11 -27
- package/dist/composition/quantities.d.ts.map +1 -1
- package/dist/composition/quantities.js +29 -29
- package/dist/composition/quantities.js.map +1 -1
- package/dist/composition/retrodiction.d.ts +8 -0
- package/dist/composition/retrodiction.d.ts.map +1 -1
- package/dist/composition/retrodiction.js +5 -0
- package/dist/composition/retrodiction.js.map +1 -1
- package/dist/composition/user-equation.d.ts +13 -16
- package/dist/composition/user-equation.d.ts.map +1 -1
- package/dist/composition/user-equation.js +26 -53
- package/dist/composition/user-equation.js.map +1 -1
- package/dist/core/constants.d.ts +41 -4
- package/dist/core/constants.d.ts.map +1 -1
- package/dist/core/constants.js +54 -5
- package/dist/core/constants.js.map +1 -1
- package/dist/core/data-file.d.ts +27 -0
- package/dist/core/data-file.d.ts.map +1 -0
- package/dist/core/data-file.js +48 -0
- package/dist/core/data-file.js.map +1 -0
- package/dist/core/json-schema.d.ts +27 -0
- package/dist/core/json-schema.d.ts.map +1 -0
- package/dist/core/json-schema.js +153 -0
- package/dist/core/json-schema.js.map +1 -0
- package/dist/core/types.d.ts +3 -2
- package/dist/core/types.d.ts.map +1 -1
- package/dist/core/types.js +16 -14
- package/dist/core/types.js.map +1 -1
- package/dist/diff/bridge-ast-gradient.d.ts.map +1 -1
- package/dist/diff/bridge-ast-gradient.js +6 -16
- package/dist/diff/bridge-ast-gradient.js.map +1 -1
- package/dist/diff/bridge-gradient.d.ts +1 -1
- package/dist/diff/bridge-gradient.d.ts.map +1 -1
- package/dist/diff/bridge-specs.d.ts +33 -62
- package/dist/diff/bridge-specs.d.ts.map +1 -1
- package/dist/diff/bridge-specs.js +56 -77
- package/dist/diff/bridge-specs.js.map +1 -1
- package/dist/dimensional/bridge-check.d.ts +9 -26
- package/dist/dimensional/bridge-check.d.ts.map +1 -1
- package/dist/dimensional/bridge-check.js +20 -227
- package/dist/dimensional/bridge-check.js.map +1 -1
- package/dist/dimensional/constant-rows.d.ts +54 -0
- package/dist/dimensional/constant-rows.d.ts.map +1 -0
- package/dist/dimensional/constant-rows.js +111 -0
- package/dist/dimensional/constant-rows.js.map +1 -0
- package/dist/dimensional/constants.d.ts +4 -13
- package/dist/dimensional/constants.d.ts.map +1 -1
- package/dist/dimensional/constants.js +11 -19
- package/dist/dimensional/constants.js.map +1 -1
- package/dist/dimensional/dimension-spec.d.ts +12 -3
- package/dist/dimensional/dimension-spec.d.ts.map +1 -1
- package/dist/dimensional/dimension-spec.js +114 -150
- package/dist/dimensional/dimension-spec.js.map +1 -1
- package/dist/dimensional/exact-scale.d.ts +79 -0
- package/dist/dimensional/exact-scale.d.ts.map +1 -0
- package/dist/dimensional/exact-scale.js +222 -0
- package/dist/dimensional/exact-scale.js.map +1 -0
- package/dist/dimensional/formula-names.d.ts +30 -13
- package/dist/dimensional/formula-names.d.ts.map +1 -1
- package/dist/dimensional/formula-names.js +56 -48
- package/dist/dimensional/formula-names.js.map +1 -1
- package/dist/dimensional/hyphen-names.d.ts +13 -0
- package/dist/dimensional/hyphen-names.d.ts.map +1 -0
- package/dist/dimensional/hyphen-names.js +27 -0
- package/dist/dimensional/hyphen-names.js.map +1 -0
- package/dist/dimensional/quantity-registry.d.ts +42 -0
- package/dist/dimensional/quantity-registry.d.ts.map +1 -0
- package/dist/dimensional/quantity-registry.js +78 -0
- package/dist/dimensional/quantity-registry.js.map +1 -0
- package/dist/dimensional/symbolic-constants.d.ts +63 -19
- package/dist/dimensional/symbolic-constants.d.ts.map +1 -1
- package/dist/dimensional/symbolic-constants.js +109 -92
- package/dist/dimensional/symbolic-constants.js.map +1 -1
- package/dist/dimensional/unit-data.d.ts +70 -0
- package/dist/dimensional/unit-data.d.ts.map +1 -0
- package/dist/dimensional/unit-data.js +135 -0
- package/dist/dimensional/unit-data.js.map +1 -0
- package/dist/dimensional/units.d.ts +88 -23
- package/dist/dimensional/units.d.ts.map +1 -1
- package/dist/dimensional/units.js +365 -230
- package/dist/dimensional/units.js.map +1 -1
- package/dist/index.d.ts +29 -69
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +16 -50
- package/dist/index.js.map +1 -1
- package/dist/numerical/binding-value.d.ts +21 -1
- package/dist/numerical/binding-value.d.ts.map +1 -1
- package/dist/numerical/binding-value.js +177 -121
- package/dist/numerical/binding-value.js.map +1 -1
- package/dist/numerical/{be37-covariant-eikonal.d.ts → covariant-eikonal.d.ts} +13 -13
- package/dist/numerical/covariant-eikonal.d.ts.map +1 -0
- package/dist/numerical/{be37-covariant-eikonal.js → covariant-eikonal.js} +18 -18
- package/dist/numerical/covariant-eikonal.js.map +1 -0
- package/dist/numerical/derivative-lowering.d.ts +2 -1
- package/dist/numerical/derivative-lowering.d.ts.map +1 -1
- package/dist/numerical/derivative-lowering.js +2 -1
- package/dist/numerical/derivative-lowering.js.map +1 -1
- package/dist/numerical/evaluator-uncertainty.d.ts +34 -0
- package/dist/numerical/evaluator-uncertainty.d.ts.map +1 -0
- package/dist/numerical/evaluator-uncertainty.js +117 -0
- package/dist/numerical/evaluator-uncertainty.js.map +1 -0
- package/dist/numerical/formula-contract.d.ts +4 -0
- package/dist/numerical/formula-contract.d.ts.map +1 -1
- package/dist/numerical/formula-contract.js +7 -0
- package/dist/numerical/formula-contract.js.map +1 -1
- package/dist/numerical/formula-dimension.d.ts +9 -0
- package/dist/numerical/formula-dimension.d.ts.map +1 -1
- package/dist/numerical/formula-dimension.js +64 -10
- package/dist/numerical/formula-dimension.js.map +1 -1
- package/dist/numerical/formula-mathts.d.ts.map +1 -1
- package/dist/numerical/formula-mathts.js +6 -2
- package/dist/numerical/formula-mathts.js.map +1 -1
- package/dist/numerical/gl4-integrator.d.ts +6 -3
- package/dist/numerical/gl4-integrator.d.ts.map +1 -1
- package/dist/numerical/gl4-integrator.js +9 -6
- package/dist/numerical/gl4-integrator.js.map +1 -1
- package/dist/numerical/index.d.ts +4 -3
- package/dist/numerical/index.d.ts.map +1 -1
- package/dist/numerical/index.js +2 -2
- package/dist/numerical/index.js.map +1 -1
- package/dist/numerical/null-ic.d.ts +6 -5
- package/dist/numerical/null-ic.d.ts.map +1 -1
- package/dist/numerical/null-ic.js +6 -5
- package/dist/numerical/null-ic.js.map +1 -1
- package/dist/numerical/null-ray-integrator.js +1 -1
- package/dist/numerical/perihelion-finder.d.ts +5 -4
- package/dist/numerical/perihelion-finder.d.ts.map +1 -1
- package/dist/numerical/perihelion-finder.js +5 -4
- package/dist/numerical/perihelion-finder.js.map +1 -1
- package/dist/numerical/spacetime-metrics.d.ts +4 -0
- package/dist/numerical/spacetime-metrics.d.ts.map +1 -1
- package/dist/numerical/spacetime-metrics.js +34 -4
- package/dist/numerical/spacetime-metrics.js.map +1 -1
- package/dist/relations/types.d.ts +8 -1
- package/dist/relations/types.d.ts.map +1 -1
- package/dist/relations/types.js +10 -0
- package/dist/relations/types.js.map +1 -1
- package/package.json +2 -1
- package/dist/bridges/be100-lyddane-sachs-teller.d.ts +0 -41
- package/dist/bridges/be100-lyddane-sachs-teller.d.ts.map +0 -1
- package/dist/bridges/be100-lyddane-sachs-teller.js +0 -30
- package/dist/bridges/be100-lyddane-sachs-teller.js.map +0 -1
- package/dist/bridges/be101-bkt-jump.d.ts +0 -24
- package/dist/bridges/be101-bkt-jump.d.ts.map +0 -1
- package/dist/bridges/be101-bkt-jump.js +0 -29
- package/dist/bridges/be101-bkt-jump.js.map +0 -1
- package/dist/bridges/be102-landauer-conductance.d.ts +0 -24
- package/dist/bridges/be102-landauer-conductance.d.ts.map +0 -1
- package/dist/bridges/be102-landauer-conductance.js +0 -28
- package/dist/bridges/be102-landauer-conductance.js.map +0 -1
- package/dist/bridges/be11-decoherence-confrontation.d.ts +0 -63
- package/dist/bridges/be11-decoherence-confrontation.d.ts.map +0 -1
- package/dist/bridges/be11-decoherence-confrontation.js +0 -39
- package/dist/bridges/be11-decoherence-confrontation.js.map +0 -1
- package/dist/bridges/be21-kss-confrontation.d.ts +0 -52
- package/dist/bridges/be21-kss-confrontation.d.ts.map +0 -1
- package/dist/bridges/be21-kss-confrontation.js +0 -38
- package/dist/bridges/be21-kss-confrontation.js.map +0 -1
- package/dist/bridges/be23-planckian-confrontation.d.ts +0 -162
- package/dist/bridges/be23-planckian-confrontation.d.ts.map +0 -1
- package/dist/bridges/be23-planckian-confrontation.js +0 -196
- package/dist/bridges/be23-planckian-confrontation.js.map +0 -1
- package/dist/bridges/be35-bootstrap-confrontation.d.ts +0 -59
- package/dist/bridges/be35-bootstrap-confrontation.d.ts.map +0 -1
- package/dist/bridges/be35-bootstrap-confrontation.js +0 -39
- package/dist/bridges/be35-bootstrap-confrontation.js.map +0 -1
- package/dist/bridges/be36-gw170817-confrontation.d.ts +0 -111
- package/dist/bridges/be36-gw170817-confrontation.d.ts.map +0 -1
- package/dist/bridges/be36-gw170817-confrontation.js +0 -100
- package/dist/bridges/be36-gw170817-confrontation.js.map +0 -1
- package/dist/bridges/be37-cassini-confrontation.d.ts +0 -43
- package/dist/bridges/be37-cassini-confrontation.d.ts.map +0 -1
- package/dist/bridges/be37-cassini-confrontation.js +0 -34
- package/dist/bridges/be37-cassini-confrontation.js.map +0 -1
- package/dist/bridges/be48-collapse-confrontation.d.ts +0 -52
- package/dist/bridges/be48-collapse-confrontation.d.ts.map +0 -1
- package/dist/bridges/be48-collapse-confrontation.js +0 -37
- package/dist/bridges/be48-collapse-confrontation.js.map +0 -1
- package/dist/bridges/be51-lensing-confrontation.d.ts +0 -53
- package/dist/bridges/be51-lensing-confrontation.d.ts.map +0 -1
- package/dist/bridges/be51-lensing-confrontation.js +0 -52
- package/dist/bridges/be51-lensing-confrontation.js.map +0 -1
- package/dist/bridges/be52-mercury-confrontation.d.ts +0 -72
- package/dist/bridges/be52-mercury-confrontation.d.ts.map +0 -1
- package/dist/bridges/be52-mercury-confrontation.js +0 -70
- package/dist/bridges/be52-mercury-confrontation.js.map +0 -1
- package/dist/bridges/be53-yang-mills-confrontation.d.ts +0 -81
- package/dist/bridges/be53-yang-mills-confrontation.d.ts.map +0 -1
- package/dist/bridges/be53-yang-mills-confrontation.js.map +0 -1
- package/dist/bridges/be55-quantum-hall-confrontation.d.ts +0 -51
- package/dist/bridges/be55-quantum-hall-confrontation.d.ts.map +0 -1
- package/dist/bridges/be55-quantum-hall-confrontation.js +0 -32
- package/dist/bridges/be55-quantum-hall-confrontation.js.map +0 -1
- package/dist/bridges/be55-quantum-hall.d.ts +0 -24
- package/dist/bridges/be55-quantum-hall.d.ts.map +0 -1
- package/dist/bridges/be55-quantum-hall.js +0 -46
- package/dist/bridges/be55-quantum-hall.js.map +0 -1
- package/dist/bridges/be56-casimir-confrontation.d.ts +0 -52
- package/dist/bridges/be56-casimir-confrontation.d.ts.map +0 -1
- package/dist/bridges/be56-casimir-confrontation.js +0 -31
- package/dist/bridges/be56-casimir-confrontation.js.map +0 -1
- package/dist/bridges/be56-casimir.d.ts +0 -18
- package/dist/bridges/be56-casimir.d.ts.map +0 -1
- package/dist/bridges/be56-casimir.js +0 -36
- package/dist/bridges/be56-casimir.js.map +0 -1
- package/dist/bridges/be57-unruh.d.ts +0 -18
- package/dist/bridges/be57-unruh.d.ts.map +0 -1
- package/dist/bridges/be57-unruh.js +0 -38
- package/dist/bridges/be57-unruh.js.map +0 -1
- package/dist/bridges/be58-johnson-nyquist-confrontation.d.ts +0 -57
- package/dist/bridges/be58-johnson-nyquist-confrontation.d.ts.map +0 -1
- package/dist/bridges/be58-johnson-nyquist-confrontation.js +0 -38
- package/dist/bridges/be58-johnson-nyquist-confrontation.js.map +0 -1
- package/dist/bridges/be58-johnson-nyquist.d.ts +0 -22
- package/dist/bridges/be58-johnson-nyquist.d.ts.map +0 -1
- package/dist/bridges/be58-johnson-nyquist.js +0 -36
- package/dist/bridges/be58-johnson-nyquist.js.map +0 -1
- package/dist/bridges/be59-ac-josephson-confrontation.d.ts +0 -46
- package/dist/bridges/be59-ac-josephson-confrontation.d.ts.map +0 -1
- package/dist/bridges/be59-ac-josephson-confrontation.js +0 -32
- package/dist/bridges/be59-ac-josephson-confrontation.js.map +0 -1
- package/dist/bridges/be59-ac-josephson.d.ts +0 -22
- package/dist/bridges/be59-ac-josephson.d.ts.map +0 -1
- package/dist/bridges/be59-ac-josephson.js +0 -35
- package/dist/bridges/be59-ac-josephson.js.map +0 -1
- package/dist/bridges/be60-fractional-qh-confrontation.d.ts +0 -45
- package/dist/bridges/be60-fractional-qh-confrontation.d.ts.map +0 -1
- package/dist/bridges/be60-fractional-qh-confrontation.js +0 -31
- package/dist/bridges/be60-fractional-qh-confrontation.js.map +0 -1
- package/dist/bridges/be60-fractional-qh.d.ts +0 -20
- package/dist/bridges/be60-fractional-qh.d.ts.map +0 -1
- package/dist/bridges/be60-fractional-qh.js +0 -33
- package/dist/bridges/be60-fractional-qh.js.map +0 -1
- package/dist/bridges/be61-wiedemann-franz-confrontation.d.ts +0 -35
- package/dist/bridges/be61-wiedemann-franz-confrontation.d.ts.map +0 -1
- package/dist/bridges/be61-wiedemann-franz-confrontation.js +0 -49
- package/dist/bridges/be61-wiedemann-franz-confrontation.js.map +0 -1
- package/dist/bridges/be61-wiedemann-franz.d.ts +0 -25
- package/dist/bridges/be61-wiedemann-franz.d.ts.map +0 -1
- package/dist/bridges/be61-wiedemann-franz.js +0 -41
- package/dist/bridges/be61-wiedemann-franz.js.map +0 -1
- package/dist/bridges/be62-bcs-gap-confrontation.d.ts +0 -35
- package/dist/bridges/be62-bcs-gap-confrontation.d.ts.map +0 -1
- package/dist/bridges/be62-bcs-gap-confrontation.js +0 -46
- package/dist/bridges/be62-bcs-gap-confrontation.js.map +0 -1
- package/dist/bridges/be62-bcs-gap.d.ts +0 -22
- package/dist/bridges/be62-bcs-gap.d.ts.map +0 -1
- package/dist/bridges/be62-bcs-gap.js +0 -38
- package/dist/bridges/be62-bcs-gap.js.map +0 -1
- package/dist/bridges/be63-chandrasekhar-mass-confrontation.d.ts +0 -32
- package/dist/bridges/be63-chandrasekhar-mass-confrontation.d.ts.map +0 -1
- package/dist/bridges/be63-chandrasekhar-mass-confrontation.js +0 -46
- package/dist/bridges/be63-chandrasekhar-mass-confrontation.js.map +0 -1
- package/dist/bridges/be63-chandrasekhar-mass.d.ts +0 -22
- package/dist/bridges/be63-chandrasekhar-mass.d.ts.map +0 -1
- package/dist/bridges/be63-chandrasekhar-mass.js +0 -34
- package/dist/bridges/be63-chandrasekhar-mass.js.map +0 -1
- package/dist/bridges/be64-eddington-luminosity-confrontation.d.ts +0 -48
- package/dist/bridges/be64-eddington-luminosity-confrontation.d.ts.map +0 -1
- package/dist/bridges/be64-eddington-luminosity-confrontation.js +0 -31
- package/dist/bridges/be64-eddington-luminosity-confrontation.js.map +0 -1
- package/dist/bridges/be64-eddington-luminosity.d.ts +0 -22
- package/dist/bridges/be64-eddington-luminosity.d.ts.map +0 -1
- package/dist/bridges/be64-eddington-luminosity.js +0 -35
- package/dist/bridges/be64-eddington-luminosity.js.map +0 -1
- package/dist/bridges/be65-jeans-mass-confrontation.d.ts +0 -36
- package/dist/bridges/be65-jeans-mass-confrontation.d.ts.map +0 -1
- package/dist/bridges/be65-jeans-mass-confrontation.js +0 -58
- package/dist/bridges/be65-jeans-mass-confrontation.js.map +0 -1
- package/dist/bridges/be65-jeans-mass.d.ts +0 -24
- package/dist/bridges/be65-jeans-mass.d.ts.map +0 -1
- package/dist/bridges/be65-jeans-mass.js +0 -38
- package/dist/bridges/be65-jeans-mass.js.map +0 -1
- package/dist/bridges/be66-radiation-pressure.d.ts +0 -30
- package/dist/bridges/be66-radiation-pressure.d.ts.map +0 -1
- package/dist/bridges/be66-radiation-pressure.js +0 -37
- package/dist/bridges/be66-radiation-pressure.js.map +0 -1
- package/dist/bridges/be67-alfven-speed.d.ts +0 -41
- package/dist/bridges/be67-alfven-speed.d.ts.map +0 -1
- package/dist/bridges/be67-alfven-speed.js +0 -50
- package/dist/bridges/be67-alfven-speed.js.map +0 -1
- package/dist/bridges/be68-tolman-ehrenfest.d.ts +0 -49
- package/dist/bridges/be68-tolman-ehrenfest.d.ts.map +0 -1
- package/dist/bridges/be68-tolman-ehrenfest.js +0 -46
- package/dist/bridges/be68-tolman-ehrenfest.js.map +0 -1
- package/dist/bridges/be69-fast-magnetosonic.d.ts +0 -30
- package/dist/bridges/be69-fast-magnetosonic.d.ts.map +0 -1
- package/dist/bridges/be69-fast-magnetosonic.js +0 -33
- package/dist/bridges/be69-fast-magnetosonic.js.map +0 -1
- package/dist/bridges/be70-einstein-relation.d.ts +0 -30
- package/dist/bridges/be70-einstein-relation.d.ts.map +0 -1
- package/dist/bridges/be70-einstein-relation.js +0 -41
- package/dist/bridges/be70-einstein-relation.js.map +0 -1
- package/dist/bridges/be71-clapeyron.d.ts +0 -43
- package/dist/bridges/be71-clapeyron.d.ts.map +0 -1
- package/dist/bridges/be71-clapeyron.js +0 -32
- package/dist/bridges/be71-clapeyron.js.map +0 -1
- package/dist/bridges/be72-gravitational-redshift.d.ts +0 -43
- package/dist/bridges/be72-gravitational-redshift.d.ts.map +0 -1
- package/dist/bridges/be72-gravitational-redshift.js +0 -32
- package/dist/bridges/be72-gravitational-redshift.js.map +0 -1
- package/dist/bridges/be73-kelvin-peltier.d.ts +0 -42
- package/dist/bridges/be73-kelvin-peltier.d.ts.map +0 -1
- package/dist/bridges/be73-kelvin-peltier.js +0 -31
- package/dist/bridges/be73-kelvin-peltier.js.map +0 -1
- package/dist/bridges/be74-magnetic-pressure.d.ts +0 -27
- package/dist/bridges/be74-magnetic-pressure.d.ts.map +0 -1
- package/dist/bridges/be74-magnetic-pressure.js +0 -29
- package/dist/bridges/be74-magnetic-pressure.js.map +0 -1
- package/dist/bridges/be75-london-penetration.d.ts +0 -27
- package/dist/bridges/be75-london-penetration.d.ts.map +0 -1
- package/dist/bridges/be75-london-penetration.js +0 -31
- package/dist/bridges/be75-london-penetration.js.map +0 -1
- package/dist/bridges/be76-plasma-beta.d.ts +0 -32
- package/dist/bridges/be76-plasma-beta.d.ts.map +0 -1
- package/dist/bridges/be76-plasma-beta.js +0 -34
- package/dist/bridges/be76-plasma-beta.js.map +0 -1
- package/dist/bridges/be77-hagen-poiseuille.d.ts +0 -50
- package/dist/bridges/be77-hagen-poiseuille.d.ts.map +0 -1
- package/dist/bridges/be77-hagen-poiseuille.js +0 -39
- package/dist/bridges/be77-hagen-poiseuille.js.map +0 -1
- package/dist/bridges/be78-euler-buckling.d.ts +0 -44
- package/dist/bridges/be78-euler-buckling.d.ts.map +0 -1
- package/dist/bridges/be78-euler-buckling.js +0 -33
- package/dist/bridges/be78-euler-buckling.js.map +0 -1
- package/dist/bridges/be79-pull-in.d.ts +0 -33
- package/dist/bridges/be79-pull-in.d.ts.map +0 -1
- package/dist/bridges/be79-pull-in.js +0 -35
- package/dist/bridges/be79-pull-in.js.map +0 -1
- package/dist/bridges/be80-mott-gurney.d.ts +0 -52
- package/dist/bridges/be80-mott-gurney.d.ts.map +0 -1
- package/dist/bridges/be80-mott-gurney.js +0 -38
- package/dist/bridges/be80-mott-gurney.js.map +0 -1
- package/dist/bridges/be81-child-langmuir.d.ts +0 -33
- package/dist/bridges/be81-child-langmuir.d.ts.map +0 -1
- package/dist/bridges/be81-child-langmuir.js +0 -38
- package/dist/bridges/be81-child-langmuir.js.map +0 -1
- package/dist/bridges/be82-shockley-diode.d.ts +0 -32
- package/dist/bridges/be82-shockley-diode.d.ts.map +0 -1
- package/dist/bridges/be82-shockley-diode.js +0 -37
- package/dist/bridges/be82-shockley-diode.js.map +0 -1
- package/dist/bridges/be83-thomson.d.ts +0 -46
- package/dist/bridges/be83-thomson.d.ts.map +0 -1
- package/dist/bridges/be83-thomson.js +0 -32
- package/dist/bridges/be83-thomson.js.map +0 -1
- package/dist/bridges/be84-four-point.d.ts +0 -45
- package/dist/bridges/be84-four-point.d.ts.map +0 -1
- package/dist/bridges/be84-four-point.js +0 -34
- package/dist/bridges/be84-four-point.js.map +0 -1
- package/dist/bridges/be85-shot-noise.d.ts +0 -30
- package/dist/bridges/be85-shot-noise.d.ts.map +0 -1
- package/dist/bridges/be85-shot-noise.js +0 -32
- package/dist/bridges/be85-shot-noise.js.map +0 -1
- package/dist/bridges/be86-reynolds-analogy.d.ts +0 -45
- package/dist/bridges/be86-reynolds-analogy.d.ts.map +0 -1
- package/dist/bridges/be86-reynolds-analogy.js +0 -30
- package/dist/bridges/be86-reynolds-analogy.js.map +0 -1
- package/dist/bridges/be87-capacitor-noise.d.ts +0 -27
- package/dist/bridges/be87-capacitor-noise.d.ts.map +0 -1
- package/dist/bridges/be87-capacitor-noise.js +0 -32
- package/dist/bridges/be87-capacitor-noise.js.map +0 -1
- package/dist/bridges/be88-fermi-sea.d.ts +0 -31
- package/dist/bridges/be88-fermi-sea.d.ts.map +0 -1
- package/dist/bridges/be88-fermi-sea.js +0 -35
- package/dist/bridges/be88-fermi-sea.js.map +0 -1
- package/dist/bridges/be89-debye-cutoff.d.ts +0 -39
- package/dist/bridges/be89-debye-cutoff.d.ts.map +0 -1
- package/dist/bridges/be89-debye-cutoff.js +0 -28
- package/dist/bridges/be89-debye-cutoff.js.map +0 -1
- package/dist/bridges/be90-debye-heat.d.ts +0 -30
- package/dist/bridges/be90-debye-heat.d.ts.map +0 -1
- package/dist/bridges/be90-debye-heat.js +0 -35
- package/dist/bridges/be90-debye-heat.js.map +0 -1
- package/dist/bridges/be91-einstein-solid.d.ts +0 -30
- package/dist/bridges/be91-einstein-solid.d.ts.map +0 -1
- package/dist/bridges/be91-einstein-solid.js +0 -37
- package/dist/bridges/be91-einstein-solid.js.map +0 -1
- package/dist/bridges/be92-sommerfeld-heat.d.ts +0 -30
- package/dist/bridges/be92-sommerfeld-heat.d.ts.map +0 -1
- package/dist/bridges/be92-sommerfeld-heat.js +0 -34
- package/dist/bridges/be92-sommerfeld-heat.js.map +0 -1
- package/dist/bridges/be93-curie-weiss.d.ts +0 -41
- package/dist/bridges/be93-curie-weiss.d.ts.map +0 -1
- package/dist/bridges/be93-curie-weiss.js +0 -45
- package/dist/bridges/be93-curie-weiss.js.map +0 -1
- package/dist/bridges/be94-pauli-paramagnetism.d.ts +0 -30
- package/dist/bridges/be94-pauli-paramagnetism.d.ts.map +0 -1
- package/dist/bridges/be94-pauli-paramagnetism.js +0 -33
- package/dist/bridges/be94-pauli-paramagnetism.js.map +0 -1
- package/dist/bridges/be95-ginzburg-landau.d.ts +0 -46
- package/dist/bridges/be95-ginzburg-landau.d.ts.map +0 -1
- package/dist/bridges/be95-ginzburg-landau.js +0 -32
- package/dist/bridges/be95-ginzburg-landau.js.map +0 -1
- package/dist/bridges/be96-upper-critical.d.ts +0 -24
- package/dist/bridges/be96-upper-critical.d.ts.map +0 -1
- package/dist/bridges/be96-upper-critical.js +0 -27
- package/dist/bridges/be96-upper-critical.js.map +0 -1
- package/dist/bridges/be97-ambegaokar-baratoff.d.ts +0 -24
- package/dist/bridges/be97-ambegaokar-baratoff.d.ts.map +0 -1
- package/dist/bridges/be97-ambegaokar-baratoff.js +0 -30
- package/dist/bridges/be97-ambegaokar-baratoff.js.map +0 -1
- package/dist/bridges/be98-bcs-jump.d.ts +0 -40
- package/dist/bridges/be98-bcs-jump.d.ts.map +0 -1
- package/dist/bridges/be98-bcs-jump.js +0 -29
- package/dist/bridges/be98-bcs-jump.js.map +0 -1
- package/dist/bridges/be99-mass-action.d.ts +0 -33
- package/dist/bridges/be99-mass-action.d.ts.map +0 -1
- package/dist/bridges/be99-mass-action.js +0 -37
- package/dist/bridges/be99-mass-action.js.map +0 -1
- package/dist/bridges/bridge-equations.d.ts +0 -225
- package/dist/bridges/bridge-equations.d.ts.map +0 -1
- package/dist/bridges/bridge-equations.js +0 -226
- package/dist/bridges/bridge-equations.js.map +0 -1
- package/dist/bridges/condensed-r8-catalog.d.ts +0 -28
- package/dist/bridges/condensed-r8-catalog.d.ts.map +0 -1
- package/dist/bridges/condensed-r8-catalog.js +0 -272
- package/dist/bridges/condensed-r8-catalog.js.map +0 -1
- package/dist/bridges/condensed-r8.d.ts +0 -260
- package/dist/bridges/condensed-r8.d.ts.map +0 -1
- package/dist/bridges/condensed-r8.js +0 -329
- package/dist/bridges/condensed-r8.js.map +0 -1
- package/dist/bridges/engineering-r7-catalog.d.ts +0 -28
- package/dist/bridges/engineering-r7-catalog.d.ts.map +0 -1
- package/dist/bridges/engineering-r7-catalog.js +0 -172
- package/dist/bridges/engineering-r7-catalog.js.map +0 -1
- package/dist/bridges/engineering-r7.d.ts +0 -152
- package/dist/bridges/engineering-r7.d.ts.map +0 -1
- package/dist/bridges/engineering-r7.js +0 -208
- package/dist/bridges/engineering-r7.js.map +0 -1
- package/dist/bridges/equations/_be-helpers.d.ts +0 -80
- package/dist/bridges/equations/_be-helpers.d.ts.map +0 -1
- package/dist/bridges/equations/_be-helpers.js +0 -103
- package/dist/bridges/equations/_be-helpers.js.map +0 -1
- package/dist/bridges/equations/be-11-decoherence-master.d.ts +0 -82
- package/dist/bridges/equations/be-11-decoherence-master.d.ts.map +0 -1
- package/dist/bridges/equations/be-11-decoherence-master.js +0 -105
- package/dist/bridges/equations/be-11-decoherence-master.js.map +0 -1
- package/dist/bridges/equations/be-12-coherence-length.d.ts +0 -86
- package/dist/bridges/equations/be-12-coherence-length.d.ts.map +0 -1
- package/dist/bridges/equations/be-12-coherence-length.js +0 -120
- package/dist/bridges/equations/be-12-coherence-length.js.map +0 -1
- package/dist/bridges/equations/be-13-einstein-trace.d.ts +0 -136
- package/dist/bridges/equations/be-13-einstein-trace.d.ts.map +0 -1
- package/dist/bridges/equations/be-13-einstein-trace.js +0 -199
- package/dist/bridges/equations/be-13-einstein-trace.js.map +0 -1
- package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts +0 -73
- package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts.map +0 -1
- package/dist/bridges/equations/be-14-ryu-takayanagi.js +0 -101
- package/dist/bridges/equations/be-14-ryu-takayanagi.js.map +0 -1
- package/dist/bridges/equations/be-15-emergence.d.ts +0 -184
- package/dist/bridges/equations/be-15-emergence.d.ts.map +0 -1
- package/dist/bridges/equations/be-15-emergence.js +0 -208
- package/dist/bridges/equations/be-15-emergence.js.map +0 -1
- package/dist/bridges/equations/be-16-landauer.d.ts +0 -186
- package/dist/bridges/equations/be-16-landauer.d.ts.map +0 -1
- package/dist/bridges/equations/be-16-landauer.js +0 -198
- package/dist/bridges/equations/be-16-landauer.js.map +0 -1
- package/dist/bridges/equations/be-17-einstein-cartan.d.ts +0 -258
- package/dist/bridges/equations/be-17-einstein-cartan.d.ts.map +0 -1
- package/dist/bridges/equations/be-17-einstein-cartan.js +0 -301
- package/dist/bridges/equations/be-17-einstein-cartan.js.map +0 -1
- package/dist/bridges/equations/be-18-higgs-mass.d.ts +0 -71
- package/dist/bridges/equations/be-18-higgs-mass.d.ts.map +0 -1
- package/dist/bridges/equations/be-18-higgs-mass.js +0 -75
- package/dist/bridges/equations/be-18-higgs-mass.js.map +0 -1
- package/dist/bridges/equations/be-19-quantum-bounce.d.ts +0 -107
- package/dist/bridges/equations/be-19-quantum-bounce.d.ts.map +0 -1
- package/dist/bridges/equations/be-19-quantum-bounce.js +0 -196
- package/dist/bridges/equations/be-19-quantum-bounce.js.map +0 -1
- package/dist/bridges/equations/be-20-vacuum-energy.d.ts +0 -93
- package/dist/bridges/equations/be-20-vacuum-energy.d.ts.map +0 -1
- package/dist/bridges/equations/be-20-vacuum-energy.js +0 -142
- package/dist/bridges/equations/be-20-vacuum-energy.js.map +0 -1
- package/dist/bridges/equations/be-21-kss-bound.d.ts +0 -74
- package/dist/bridges/equations/be-21-kss-bound.d.ts.map +0 -1
- package/dist/bridges/equations/be-21-kss-bound.js +0 -97
- package/dist/bridges/equations/be-21-kss-bound.js.map +0 -1
- package/dist/bridges/equations/be-22-topological-entanglement.d.ts +0 -87
- package/dist/bridges/equations/be-22-topological-entanglement.d.ts.map +0 -1
- package/dist/bridges/equations/be-22-topological-entanglement.js +0 -111
- package/dist/bridges/equations/be-22-topological-entanglement.js.map +0 -1
- package/dist/bridges/equations/be-23-syk-planckian.d.ts +0 -95
- package/dist/bridges/equations/be-23-syk-planckian.d.ts.map +0 -1
- package/dist/bridges/equations/be-23-syk-planckian.js +0 -141
- package/dist/bridges/equations/be-23-syk-planckian.js.map +0 -1
- package/dist/bridges/equations/be-24-foerster-fret.d.ts +0 -87
- package/dist/bridges/equations/be-24-foerster-fret.d.ts.map +0 -1
- package/dist/bridges/equations/be-24-foerster-fret.js +0 -113
- package/dist/bridges/equations/be-24-foerster-fret.js.map +0 -1
- package/dist/bridges/equations/be-25-iit-phi.d.ts +0 -222
- package/dist/bridges/equations/be-25-iit-phi.d.ts.map +0 -1
- package/dist/bridges/equations/be-25-iit-phi.js +0 -255
- package/dist/bridges/equations/be-25-iit-phi.js.map +0 -1
- package/dist/bridges/equations/be-25-orch-or.d.ts +0 -93
- package/dist/bridges/equations/be-25-orch-or.d.ts.map +0 -1
- package/dist/bridges/equations/be-25-orch-or.js +0 -124
- package/dist/bridges/equations/be-25-orch-or.js.map +0 -1
- package/dist/bridges/equations/be-26-dna-tunneling.d.ts +0 -88
- package/dist/bridges/equations/be-26-dna-tunneling.d.ts.map +0 -1
- package/dist/bridges/equations/be-26-dna-tunneling.js +0 -142
- package/dist/bridges/equations/be-26-dna-tunneling.js.map +0 -1
- package/dist/bridges/equations/be-27-effective-temperature.d.ts +0 -87
- package/dist/bridges/equations/be-27-effective-temperature.d.ts.map +0 -1
- package/dist/bridges/equations/be-27-effective-temperature.js +0 -112
- package/dist/bridges/equations/be-27-effective-temperature.js.map +0 -1
- package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts +0 -181
- package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts.map +0 -1
- package/dist/bridges/equations/be-28-onsager-entropy-production.js +0 -199
- package/dist/bridges/equations/be-28-onsager-entropy-production.js.map +0 -1
- package/dist/bridges/equations/be-29-jarzynski.d.ts +0 -92
- package/dist/bridges/equations/be-29-jarzynski.d.ts.map +0 -1
- package/dist/bridges/equations/be-29-jarzynski.js +0 -127
- package/dist/bridges/equations/be-29-jarzynski.js.map +0 -1
- package/dist/bridges/equations/be-30-flm-first-law.d.ts +0 -102
- package/dist/bridges/equations/be-30-flm-first-law.d.ts.map +0 -1
- package/dist/bridges/equations/be-30-flm-first-law.js +0 -98
- package/dist/bridges/equations/be-30-flm-first-law.js.map +0 -1
- package/dist/bridges/equations/be-31-causal-set-bd.d.ts +0 -102
- package/dist/bridges/equations/be-31-causal-set-bd.d.ts.map +0 -1
- package/dist/bridges/equations/be-31-causal-set-bd.js +0 -119
- package/dist/bridges/equations/be-31-causal-set-bd.js.map +0 -1
- package/dist/bridges/equations/be-32-quantum-reference-frame.d.ts +0 -110
- package/dist/bridges/equations/be-32-quantum-reference-frame.d.ts.map +0 -1
- package/dist/bridges/equations/be-32-quantum-reference-frame.js +0 -145
- package/dist/bridges/equations/be-32-quantum-reference-frame.js.map +0 -1
- package/dist/bridges/equations/be-33-hertz-millis.d.ts +0 -102
- package/dist/bridges/equations/be-33-hertz-millis.d.ts.map +0 -1
- package/dist/bridges/equations/be-33-hertz-millis.js +0 -117
- package/dist/bridges/equations/be-33-hertz-millis.js.map +0 -1
- package/dist/bridges/equations/be-34-kibble-zurek.d.ts +0 -83
- package/dist/bridges/equations/be-34-kibble-zurek.d.ts.map +0 -1
- package/dist/bridges/equations/be-34-kibble-zurek.js +0 -139
- package/dist/bridges/equations/be-34-kibble-zurek.js.map +0 -1
- package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts +0 -101
- package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts.map +0 -1
- package/dist/bridges/equations/be-35-conformal-bootstrap.js +0 -123
- package/dist/bridges/equations/be-35-conformal-bootstrap.js.map +0 -1
- package/dist/bridges/equations/be-36-gw-speed-bound.d.ts +0 -90
- package/dist/bridges/equations/be-36-gw-speed-bound.d.ts.map +0 -1
- package/dist/bridges/equations/be-36-gw-speed-bound.js +0 -106
- package/dist/bridges/equations/be-36-gw-speed-bound.js.map +0 -1
- package/dist/bridges/equations/be-37-shapiro-delay.d.ts +0 -264
- package/dist/bridges/equations/be-37-shapiro-delay.d.ts.map +0 -1
- package/dist/bridges/equations/be-37-shapiro-delay.js +0 -420
- package/dist/bridges/equations/be-37-shapiro-delay.js.map +0 -1
- package/dist/bridges/equations/be-38-mond.d.ts +0 -94
- package/dist/bridges/equations/be-38-mond.d.ts.map +0 -1
- package/dist/bridges/equations/be-38-mond.js +0 -114
- package/dist/bridges/equations/be-38-mond.js.map +0 -1
- package/dist/bridges/equations/be-39-asymptotic-safety.d.ts +0 -170
- package/dist/bridges/equations/be-39-asymptotic-safety.d.ts.map +0 -1
- package/dist/bridges/equations/be-39-asymptotic-safety.js +0 -263
- package/dist/bridges/equations/be-39-asymptotic-safety.js.map +0 -1
- package/dist/bridges/equations/be-40-composite-higgs.d.ts +0 -89
- package/dist/bridges/equations/be-40-composite-higgs.d.ts.map +0 -1
- package/dist/bridges/equations/be-40-composite-higgs.js +0 -149
- package/dist/bridges/equations/be-40-composite-higgs.js.map +0 -1
- package/dist/bridges/equations/be-41-swampland.d.ts +0 -73
- package/dist/bridges/equations/be-41-swampland.d.ts.map +0 -1
- package/dist/bridges/equations/be-41-swampland.js +0 -108
- package/dist/bridges/equations/be-41-swampland.js.map +0 -1
- package/dist/bridges/equations/be-42-hawking-temperature.d.ts +0 -72
- package/dist/bridges/equations/be-42-hawking-temperature.d.ts.map +0 -1
- package/dist/bridges/equations/be-42-hawking-temperature.js +0 -108
- package/dist/bridges/equations/be-42-hawking-temperature.js.map +0 -1
- package/dist/bridges/equations/be-43-er-epr.d.ts +0 -79
- package/dist/bridges/equations/be-43-er-epr.d.ts.map +0 -1
- package/dist/bridges/equations/be-43-er-epr.js +0 -106
- package/dist/bridges/equations/be-43-er-epr.js.map +0 -1
- package/dist/bridges/equations/be-44-soft-hair.d.ts +0 -157
- package/dist/bridges/equations/be-44-soft-hair.d.ts.map +0 -1
- package/dist/bridges/equations/be-44-soft-hair.js +0 -177
- package/dist/bridges/equations/be-44-soft-hair.js.map +0 -1
- package/dist/bridges/equations/be-45-tcc.d.ts +0 -122
- package/dist/bridges/equations/be-45-tcc.d.ts.map +0 -1
- package/dist/bridges/equations/be-45-tcc.js +0 -149
- package/dist/bridges/equations/be-45-tcc.js.map +0 -1
- package/dist/bridges/equations/be-46-multiverse-measure.d.ts +0 -169
- package/dist/bridges/equations/be-46-multiverse-measure.d.ts.map +0 -1
- package/dist/bridges/equations/be-46-multiverse-measure.js +0 -192
- package/dist/bridges/equations/be-46-multiverse-measure.js.map +0 -1
- package/dist/bridges/equations/be-47-bbn-dark-sector.d.ts +0 -78
- package/dist/bridges/equations/be-47-bbn-dark-sector.d.ts.map +0 -1
- package/dist/bridges/equations/be-47-bbn-dark-sector.js +0 -119
- package/dist/bridges/equations/be-47-bbn-dark-sector.js.map +0 -1
- package/dist/bridges/equations/be-48-grw-localization.d.ts +0 -91
- package/dist/bridges/equations/be-48-grw-localization.d.ts.map +0 -1
- package/dist/bridges/equations/be-48-grw-localization.js +0 -103
- package/dist/bridges/equations/be-48-grw-localization.js.map +0 -1
- package/dist/bridges/equations/be-49-quantum-darwinism.d.ts +0 -103
- package/dist/bridges/equations/be-49-quantum-darwinism.d.ts.map +0 -1
- package/dist/bridges/equations/be-49-quantum-darwinism.js +0 -117
- package/dist/bridges/equations/be-49-quantum-darwinism.js.map +0 -1
- package/dist/bridges/equations/be-50-wheeler-feynman.d.ts +0 -116
- package/dist/bridges/equations/be-50-wheeler-feynman.d.ts.map +0 -1
- package/dist/bridges/equations/be-50-wheeler-feynman.js +0 -215
- package/dist/bridges/equations/be-50-wheeler-feynman.js.map +0 -1
- package/dist/bridges/equations/be-53-yang-mills-beta.d.ts +0 -179
- package/dist/bridges/equations/be-53-yang-mills-beta.d.ts.map +0 -1
- package/dist/bridges/equations/be-53-yang-mills-beta.js +0 -187
- package/dist/bridges/equations/be-53-yang-mills-beta.js.map +0 -1
- package/dist/bridges/equations/be-54-randall-sundrum-brane.d.ts +0 -117
- package/dist/bridges/equations/be-54-randall-sundrum-brane.d.ts.map +0 -1
- package/dist/bridges/equations/be-54-randall-sundrum-brane.js +0 -209
- package/dist/bridges/equations/be-54-randall-sundrum-brane.js.map +0 -1
- package/dist/bridges/gravitational-lensing.d.ts +0 -73
- package/dist/bridges/gravitational-lensing.d.ts.map +0 -1
- package/dist/bridges/gravitational-lensing.js +0 -59
- package/dist/bridges/gravitational-lensing.js.map +0 -1
- package/dist/bridges/perihelion-precession-labeled.d.ts +0 -46
- package/dist/bridges/perihelion-precession-labeled.d.ts.map +0 -1
- package/dist/bridges/perihelion-precession-labeled.js +0 -54
- package/dist/bridges/perihelion-precession-labeled.js.map +0 -1
- package/dist/bridges/perihelion-precession.d.ts +0 -87
- package/dist/bridges/perihelion-precession.d.ts.map +0 -1
- package/dist/bridges/perihelion-precession.js +0 -82
- package/dist/bridges/perihelion-precession.js.map +0 -1
- package/dist/bridges/plasma-catalog.d.ts +0 -29
- package/dist/bridges/plasma-catalog.d.ts.map +0 -1
- package/dist/bridges/plasma-catalog.js +0 -427
- package/dist/bridges/plasma-catalog.js.map +0 -1
- package/dist/bridges/plasma-space.d.ts +0 -310
- package/dist/bridges/plasma-space.d.ts.map +0 -1
- package/dist/bridges/plasma-space.js +0 -262
- package/dist/bridges/plasma-space.js.map +0 -1
- package/dist/composition/edges/_catalog-helpers.d.ts +0 -38
- package/dist/composition/edges/_catalog-helpers.d.ts.map +0 -1
- package/dist/composition/edges/_catalog-helpers.js +0 -90
- package/dist/composition/edges/_catalog-helpers.js.map +0 -1
- package/dist/composition/edges/applied-physicist.d.ts +0 -181
- package/dist/composition/edges/applied-physicist.d.ts.map +0 -1
- package/dist/composition/edges/applied-physicist.js +0 -843
- package/dist/composition/edges/applied-physicist.js.map +0 -1
- package/dist/composition/edges/calibration.d.ts +0 -107
- package/dist/composition/edges/calibration.d.ts.map +0 -1
- package/dist/composition/edges/calibration.js +0 -559
- package/dist/composition/edges/calibration.js.map +0 -1
- package/dist/composition/edges/catalog-condensed-matter.d.ts +0 -65
- package/dist/composition/edges/catalog-condensed-matter.d.ts.map +0 -1
- package/dist/composition/edges/catalog-condensed-matter.js +0 -257
- package/dist/composition/edges/catalog-condensed-matter.js.map +0 -1
- package/dist/composition/edges/catalog-fields.d.ts +0 -68
- package/dist/composition/edges/catalog-fields.d.ts.map +0 -1
- package/dist/composition/edges/catalog-fields.js +0 -207
- package/dist/composition/edges/catalog-fields.js.map +0 -1
- package/dist/composition/edges/catalog-full.d.ts +0 -43
- package/dist/composition/edges/catalog-full.d.ts.map +0 -1
- package/dist/composition/edges/catalog-full.js +0 -73
- package/dist/composition/edges/catalog-full.js.map +0 -1
- package/dist/composition/edges/catalog-gravitation-cosmology.d.ts +0 -81
- package/dist/composition/edges/catalog-gravitation-cosmology.d.ts.map +0 -1
- package/dist/composition/edges/catalog-gravitation-cosmology.js +0 -275
- package/dist/composition/edges/catalog-gravitation-cosmology.js.map +0 -1
- package/dist/composition/edges/catalog-quantum.d.ts +0 -85
- package/dist/composition/edges/catalog-quantum.d.ts.map +0 -1
- package/dist/composition/edges/catalog-quantum.js +0 -297
- package/dist/composition/edges/catalog-quantum.js.map +0 -1
- package/dist/composition/edges/catalog-tranche.d.ts +0 -108
- package/dist/composition/edges/catalog-tranche.d.ts.map +0 -1
- package/dist/composition/edges/catalog-tranche.js +0 -304
- package/dist/composition/edges/catalog-tranche.js.map +0 -1
- package/dist/composition/edges/condensed-r5.d.ts +0 -105
- package/dist/composition/edges/condensed-r5.d.ts.map +0 -1
- package/dist/composition/edges/condensed-r5.js +0 -505
- package/dist/composition/edges/condensed-r5.js.map +0 -1
- package/dist/composition/edges/condensed-r8.d.ts +0 -30
- package/dist/composition/edges/condensed-r8.d.ts.map +0 -1
- package/dist/composition/edges/condensed-r8.js +0 -325
- package/dist/composition/edges/condensed-r8.js.map +0 -1
- package/dist/composition/edges/engineering-r7.d.ts +0 -20
- package/dist/composition/edges/engineering-r7.d.ts.map +0 -1
- package/dist/composition/edges/engineering-r7.js +0 -262
- package/dist/composition/edges/engineering-r7.js.map +0 -1
- package/dist/composition/edges/plasma-space.d.ts +0 -50
- package/dist/composition/edges/plasma-space.d.ts.map +0 -1
- package/dist/composition/edges/plasma-space.js +0 -481
- package/dist/composition/edges/plasma-space.js.map +0 -1
- package/dist/composition/edges/proved-seeds.d.ts +0 -39
- package/dist/composition/edges/proved-seeds.d.ts.map +0 -1
- package/dist/composition/edges/proved-seeds.js +0 -197
- package/dist/composition/edges/proved-seeds.js.map +0 -1
- package/dist/composition/quantities/_dims.d.ts +0 -45
- package/dist/composition/quantities/_dims.d.ts.map +0 -1
- package/dist/composition/quantities/_dims.js +0 -55
- package/dist/composition/quantities/_dims.js.map +0 -1
- package/dist/composition/quantities/applied-physicist.d.ts +0 -166
- package/dist/composition/quantities/applied-physicist.d.ts.map +0 -1
- package/dist/composition/quantities/applied-physicist.js +0 -543
- package/dist/composition/quantities/applied-physicist.js.map +0 -1
- package/dist/composition/quantities/common.d.ts +0 -69
- package/dist/composition/quantities/common.d.ts.map +0 -1
- package/dist/composition/quantities/common.js +0 -210
- package/dist/composition/quantities/common.js.map +0 -1
- package/dist/composition/quantities/condensed-matter.d.ts +0 -79
- package/dist/composition/quantities/condensed-matter.d.ts.map +0 -1
- package/dist/composition/quantities/condensed-matter.js +0 -238
- package/dist/composition/quantities/condensed-matter.js.map +0 -1
- package/dist/composition/quantities/condensed-r5.d.ts +0 -110
- package/dist/composition/quantities/condensed-r5.d.ts.map +0 -1
- package/dist/composition/quantities/condensed-r5.js +0 -359
- package/dist/composition/quantities/condensed-r5.js.map +0 -1
- package/dist/composition/quantities/condensed-r8.d.ts +0 -96
- package/dist/composition/quantities/condensed-r8.d.ts.map +0 -1
- package/dist/composition/quantities/condensed-r8.js +0 -107
- package/dist/composition/quantities/condensed-r8.js.map +0 -1
- package/dist/composition/quantities/engineering-r7.d.ts +0 -82
- package/dist/composition/quantities/engineering-r7.d.ts.map +0 -1
- package/dist/composition/quantities/engineering-r7.js +0 -92
- package/dist/composition/quantities/engineering-r7.js.map +0 -1
- package/dist/composition/quantities/fields.d.ts +0 -69
- package/dist/composition/quantities/fields.d.ts.map +0 -1
- package/dist/composition/quantities/fields.js +0 -210
- package/dist/composition/quantities/fields.js.map +0 -1
- package/dist/composition/quantities/gravitation-cosmology.d.ts +0 -71
- package/dist/composition/quantities/gravitation-cosmology.d.ts.map +0 -1
- package/dist/composition/quantities/gravitation-cosmology.js +0 -215
- package/dist/composition/quantities/gravitation-cosmology.js.map +0 -1
- package/dist/composition/quantities/plasma-space.d.ts +0 -178
- package/dist/composition/quantities/plasma-space.d.ts.map +0 -1
- package/dist/composition/quantities/plasma-space.js +0 -185
- package/dist/composition/quantities/plasma-space.js.map +0 -1
- package/dist/composition/quantities/quantum.d.ts +0 -63
- package/dist/composition/quantities/quantum.d.ts.map +0 -1
- package/dist/composition/quantities/quantum.js +0 -190
- package/dist/composition/quantities/quantum.js.map +0 -1
- package/dist/numerical/be37-covariant-eikonal.d.ts.map +0 -1
- package/dist/numerical/be37-covariant-eikonal.js.map +0 -1
|
@@ -1,59 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* BE-35 × 3D Ising — confront the conformal-bootstrap prediction of the 3D Ising
|
|
3
|
-
* critical exponent against experiment. BE-35 encodes the conformal-bootstrap
|
|
4
|
-
* crossing equation; its flagship empirical consequence is the 3D Ising
|
|
5
|
-
* universality-class critical exponents, which the numerical bootstrap pins
|
|
6
|
-
* parameter-free. The correlation-length exponent ν = 1/(3 − Δ_ε) (from the
|
|
7
|
-
* bootstrap operator dimension Δ_ε) confronts the ν measured at real 3D-Ising
|
|
8
|
-
* critical points (liquid-vapor / binary-fluid systems) — an INDEPENDENT
|
|
9
|
-
* determination, not a recompute.
|
|
10
|
-
*
|
|
11
|
-
* Honest caveat: the experimental precision (±0.002) is far coarser than the
|
|
12
|
-
* bootstrap (±0.000004), so this confirms CONSISTENCY (the parameter-free CFT
|
|
13
|
-
* prediction agrees with a real critical system) rather than stress-testing the
|
|
14
|
-
* bootstrap. See the BE-35 confrontation design.
|
|
15
|
-
*
|
|
16
|
-
* @module bridges/be35-bootstrap-confrontation
|
|
17
|
-
*/
|
|
18
|
-
import type { ObservationProvenance } from './observations/types.js';
|
|
19
|
-
/** The conformal-bootstrap prediction of the 3D Ising ν exponent. @public */
|
|
20
|
-
export declare const BOOTSTRAP_NU = 0.629971;
|
|
21
|
-
/** 1σ on the bootstrap ν (from Δ_ε = 1.412625(10)). @public */
|
|
22
|
-
export declare const BOOTSTRAP_NU_SIGMA = 0.000004;
|
|
23
|
-
/** An independent measurement of the 3D-Ising correlation-length exponent ν. @public */
|
|
24
|
-
export interface IsingExponentObservation {
|
|
25
|
-
/** Measured correlation-length exponent ν. */
|
|
26
|
-
readonly observed_nu: number;
|
|
27
|
-
/** 1σ uncertainty on ν. */
|
|
28
|
-
readonly sigma: number;
|
|
29
|
-
readonly provenance: ObservationProvenance;
|
|
30
|
-
}
|
|
31
|
-
/**
|
|
32
|
-
* Experimental 3D-Ising correlation-length exponent ν, averaged over liquid-vapor
|
|
33
|
-
* and binary-fluid critical points (systems in the 3D Ising universality class).
|
|
34
|
-
* ν = 0.630 ± 0.002.
|
|
35
|
-
*
|
|
36
|
-
* @public
|
|
37
|
-
*/
|
|
38
|
-
export declare const ISING_PELISSETTO_VICARI_2002: IsingExponentObservation;
|
|
39
|
-
/** Result of confronting BE-35 with a measured 3D-Ising exponent. @public */
|
|
40
|
-
export interface BE35ConfrontationResult {
|
|
41
|
-
/** Bootstrap-predicted ν. */
|
|
42
|
-
readonly predicted_nu: number;
|
|
43
|
-
/** Measured ν. */
|
|
44
|
-
readonly observed_nu: number;
|
|
45
|
-
/** 1σ on the measured ν. */
|
|
46
|
-
readonly observed_sigma: number;
|
|
47
|
-
/** |predicted − observed| in units of the observed 1σ. */
|
|
48
|
-
readonly residual_in_sigma: number;
|
|
49
|
-
/** The prediction lies within 1σ of the measurement. */
|
|
50
|
-
readonly withinObserved: boolean;
|
|
51
|
-
readonly observation: IsingExponentObservation;
|
|
52
|
-
}
|
|
53
|
-
/**
|
|
54
|
-
* Confront BE-35's conformal-bootstrap 3D-Ising ν against a measured exponent.
|
|
55
|
-
*
|
|
56
|
-
* @public
|
|
57
|
-
*/
|
|
58
|
-
export declare function confrontBE35(obs?: IsingExponentObservation): BE35ConfrontationResult;
|
|
59
|
-
//# sourceMappingURL=be35-bootstrap-confrontation.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be35-bootstrap-confrontation.d.ts","sourceRoot":"","sources":["../../src/bridges/be35-bootstrap-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAGrE,6EAA6E;AAC7E,eAAO,MAAM,YAAY,WAAW,CAAC;AACrC,+DAA+D;AAC/D,eAAO,MAAM,kBAAkB,WAAW,CAAC;AAE3C,wFAAwF;AACxF,MAAM,WAAW,wBAAwB;IACvC,8CAA8C;IAC9C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,2BAA2B;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;CAC5C;AAED;;;;;;GAMG;AACH,eAAO,MAAM,4BAA4B,EAAE,wBAU1C,CAAC;AAEF,6EAA6E;AAC7E,MAAM,WAAW,uBAAuB;IACtC,6BAA6B;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,kBAAkB;IAClB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,4BAA4B;IAC5B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,0DAA0D;IAC1D,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,wDAAwD;IACxD,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,wBAAwB,CAAC;CAChD;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAC1B,GAAG,GAAE,wBAAuD,GAC3D,uBAAuB,CAUzB"}
|
|
@@ -1,39 +0,0 @@
|
|
|
1
|
-
import { residualInSigma } from './observations/types.js';
|
|
2
|
-
/** The conformal-bootstrap prediction of the 3D Ising ν exponent. @public */
|
|
3
|
-
export const BOOTSTRAP_NU = 0.629971;
|
|
4
|
-
/** 1σ on the bootstrap ν (from Δ_ε = 1.412625(10)). @public */
|
|
5
|
-
export const BOOTSTRAP_NU_SIGMA = 0.000004;
|
|
6
|
-
/**
|
|
7
|
-
* Experimental 3D-Ising correlation-length exponent ν, averaged over liquid-vapor
|
|
8
|
-
* and binary-fluid critical points (systems in the 3D Ising universality class).
|
|
9
|
-
* ν = 0.630 ± 0.002.
|
|
10
|
-
*
|
|
11
|
-
* @public
|
|
12
|
-
*/
|
|
13
|
-
export const ISING_PELISSETTO_VICARI_2002 = {
|
|
14
|
-
observed_nu: 0.63,
|
|
15
|
-
sigma: 0.002,
|
|
16
|
-
provenance: {
|
|
17
|
-
citation: 'Pelissetto & Vicari 2002, Phys. Rep. 368:549 ("Critical phenomena and renormalization-group theory"); experimental average over liquid-vapor / binary-fluid critical points (3D Ising universality class). Bootstrap prediction: Kos, Poland, Simmons-Duffin & Vichi 2016, JHEP 08:036 (arXiv:1603.04436), Delta_epsilon = 1.412625(10)',
|
|
18
|
-
year: 2002,
|
|
19
|
-
retrieved: '2026-07-04',
|
|
20
|
-
note: 'INDEPENDENT determination (real critical systems), not a recompute of the bootstrap. Experimental precision (+/-0.002) is far coarser than the bootstrap (+/-0.000004): this confirms consistency of the parameter-free CFT prediction with a physical critical system, not a precision stress-test. Monte-Carlo values (e.g. Hasenbusch 2010, 0.63002(10)) were deliberately NOT used for the observed slot — bootstrap-vs-MC would be theory-vs-theory, not a data confrontation.',
|
|
21
|
-
},
|
|
22
|
-
};
|
|
23
|
-
/**
|
|
24
|
-
* Confront BE-35's conformal-bootstrap 3D-Ising ν against a measured exponent.
|
|
25
|
-
*
|
|
26
|
-
* @public
|
|
27
|
-
*/
|
|
28
|
-
export function confrontBE35(obs = ISING_PELISSETTO_VICARI_2002) {
|
|
29
|
-
const residual_in_sigma = residualInSigma(BOOTSTRAP_NU, obs.observed_nu, obs.sigma);
|
|
30
|
-
return {
|
|
31
|
-
predicted_nu: BOOTSTRAP_NU,
|
|
32
|
-
observed_nu: obs.observed_nu,
|
|
33
|
-
observed_sigma: obs.sigma,
|
|
34
|
-
residual_in_sigma,
|
|
35
|
-
withinObserved: residual_in_sigma <= 1,
|
|
36
|
-
observation: obs,
|
|
37
|
-
};
|
|
38
|
-
}
|
|
39
|
-
//# sourceMappingURL=be35-bootstrap-confrontation.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be35-bootstrap-confrontation.js","sourceRoot":"","sources":["../../src/bridges/be35-bootstrap-confrontation.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE1D,6EAA6E;AAC7E,MAAM,CAAC,MAAM,YAAY,GAAG,QAAQ,CAAC;AACrC,+DAA+D;AAC/D,MAAM,CAAC,MAAM,kBAAkB,GAAG,QAAQ,CAAC;AAW3C;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAA6B;IACpE,WAAW,EAAE,IAAI;IACjB,KAAK,EAAE,KAAK;IACZ,UAAU,EAAE;QACV,QAAQ,EACN,yUAAyU;QAC3U,IAAI,EAAE,IAAI;QACV,SAAS,EAAE,YAAY;QACvB,IAAI,EAAE,qdAAqd;KAC5d;CACF,CAAC;AAiBF;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAC1B,GAAG,GAA6B,4BAA4B;IAE5D,MAAM,iBAAiB,GAAG,eAAe,CAAC,YAAY,EAAE,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;IACpF,OAAO;QACL,YAAY,EAAE,YAAY;QAC1B,WAAW,EAAE,GAAG,CAAC,WAAW;QAC5B,cAAc,EAAE,GAAG,CAAC,KAAK;QACzB,iBAAiB;QACjB,cAAc,EAAE,iBAAiB,IAAI,CAAC;QACtC,WAAW,EAAE,GAAG;KACjB,CAAC;AACJ,CAAC"}
|
|
@@ -1,111 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* BE-36 × GW170817 — the first real-data confrontation (v0.8.0 T5,
|
|
3
|
-
* per docs/planning/v0.8.0-Design.md §4 + r2-2/r2-3).
|
|
4
|
-
*
|
|
5
|
-
* Recomputes the published GW170817/GRB 170817A graviton-speed bounds
|
|
6
|
-
* from the observation record and confronts BE-36's encoded bound:
|
|
7
|
-
*
|
|
8
|
-
* upper = +c·Δt_obs / D (attributes the whole observed
|
|
9
|
-
* 1.74 s lag to faster GW travel)
|
|
10
|
-
* lower = −c·(t_delay,max − Δt_obs) / D
|
|
11
|
-
* (assumes a 10 s intrinsic EM
|
|
12
|
-
* emission delay, of which only
|
|
13
|
-
* 1.74 s materialized)
|
|
14
|
-
*
|
|
15
|
-
* with the paper's CONSERVATIVE lower distance bound D = 26 Mpc
|
|
16
|
-
* (not the 40 Mpc central value). Published result:
|
|
17
|
-
* −3×10⁻¹⁵ ≤ (c_GW − c)/c ≤ +7×10⁻¹⁶ (1 significant figure;
|
|
18
|
-
* Abbott et al. 2017 ApJL 848:L13 §3, arXiv:1710.05832).
|
|
19
|
-
*
|
|
20
|
-
* BE-36's encoded bound is SYMMETRIC (|ratio| ≤ 10⁻¹⁵,
|
|
21
|
-
* `GW170817_SPEED_BOUND`); the published bound is asymmetric and its
|
|
22
|
-
* negative side (−3×10⁻¹⁵) lies OUTSIDE the symmetric encoding.
|
|
23
|
-
* `passesEncodedBound` therefore refers to the positive (GW-faster)
|
|
24
|
-
* side only — see the result fields for the honest breakdown.
|
|
25
|
-
*
|
|
26
|
-
* @module bridges/be36-gw170817-confrontation
|
|
27
|
-
*/
|
|
28
|
-
/**
|
|
29
|
-
* A multi-messenger speed-bound observation record.
|
|
30
|
-
*
|
|
31
|
-
* @public
|
|
32
|
-
*/
|
|
33
|
-
export interface GWSpeedObservation {
|
|
34
|
-
/** Observed GW-merger → EM-onset lag (s). */
|
|
35
|
-
readonly dt_obs_s: number;
|
|
36
|
-
/** 1σ uncertainty on the lag (s). */
|
|
37
|
-
readonly dt_obs_err_s: number;
|
|
38
|
-
/** Central luminosity distance (Mpc). */
|
|
39
|
-
readonly distance_central_mpc: number;
|
|
40
|
-
/** Conservative LOWER distance bound used for the speed constraint (Mpc). */
|
|
41
|
-
readonly distance_lower_mpc: number;
|
|
42
|
-
/** Maximum assumed intrinsic EM-emission delay (s). */
|
|
43
|
-
readonly emission_delay_max_s: number;
|
|
44
|
-
readonly citation: string;
|
|
45
|
-
}
|
|
46
|
-
/**
|
|
47
|
-
* The GW170817 / GRB 170817A observation (LIGO/Virgo + Fermi-GBM +
|
|
48
|
-
* INTEGRAL).
|
|
49
|
-
*
|
|
50
|
-
* @public
|
|
51
|
-
*/
|
|
52
|
-
export declare const GW170817: GWSpeedObservation;
|
|
53
|
-
/**
|
|
54
|
-
* Result of confronting BE-36 with a speed-bound observation.
|
|
55
|
-
*
|
|
56
|
-
* @public
|
|
57
|
-
*/
|
|
58
|
-
export interface BE36ConfrontationResult {
|
|
59
|
-
/** Recomputed upper bound on (c_GW − c)/c (positive, GW-faster side). */
|
|
60
|
-
readonly upperBound: number;
|
|
61
|
-
/** Recomputed lower bound on (c_GW − c)/c (negative, GW-slower side). */
|
|
62
|
-
readonly lowerBound: number;
|
|
63
|
-
/** Conservative distance used (m). */
|
|
64
|
-
readonly distance_m: number;
|
|
65
|
-
/**
|
|
66
|
-
* Whether the recomputed POSITIVE side satisfies BE-36's encoded
|
|
67
|
-
* |ratio| ≤ 1e-15. The encoded bound is symmetric; the published
|
|
68
|
-
* negative side (−3e-15) does not satisfy it — see `note`.
|
|
69
|
-
*/
|
|
70
|
-
readonly passesEncodedBound: boolean;
|
|
71
|
-
/** BE-36's encoded bound is two-sided (`Math.abs`). */
|
|
72
|
-
readonly encodedBoundIsSymmetric: true;
|
|
73
|
-
readonly encodedBound: number;
|
|
74
|
-
readonly note: string;
|
|
75
|
-
readonly observation: GWSpeedObservation;
|
|
76
|
-
}
|
|
77
|
-
/**
|
|
78
|
-
* Recompute the GW170817-style speed bounds from an observation record
|
|
79
|
-
* and confront BE-36's encoded bound (v0.8.0 G-3 — the framework's
|
|
80
|
-
* first confrontation with real experimental data rather than
|
|
81
|
-
* reproduction of a closed form).
|
|
82
|
-
*
|
|
83
|
-
* @public
|
|
84
|
-
*/
|
|
85
|
-
export declare function confrontBE36(obs?: GWSpeedObservation): BE36ConfrontationResult;
|
|
86
|
-
/**
|
|
87
|
-
* Confrontation result with first-order uncertainty (v0.10.0 T4).
|
|
88
|
-
*
|
|
89
|
-
* Propagates σ(Δt_obs) = ±0.05 s only: both bounds are linear in
|
|
90
|
-
* Δt_obs (|∂bound/∂Δt| = c/D), so σ_bound = (c/D)·σ_Δt. The distance
|
|
91
|
-
* enters as the paper's deliberately-conservative LOWER bound (26 Mpc)
|
|
92
|
-
* — a bound, not a central value — so propagating a distance σ on top
|
|
93
|
-
* would double-count conservatism; documented, not hidden.
|
|
94
|
-
*
|
|
95
|
-
* @public
|
|
96
|
-
*/
|
|
97
|
-
export interface BE36ConfrontationWithUncertainty extends BE36ConfrontationResult {
|
|
98
|
-
/** 1σ on the positive (GW-faster) bound, from σ(Δt_obs). */
|
|
99
|
-
readonly upperBoundSigma: number;
|
|
100
|
-
/** 1σ on the negative (GW-slower) bound, from σ(Δt_obs). */
|
|
101
|
-
readonly lowerBoundSigma: number;
|
|
102
|
-
}
|
|
103
|
-
/**
|
|
104
|
-
* `confrontBE36` + first-order uncertainty on both bounds (v0.10.0 T4
|
|
105
|
-
* — the G-3 "uncertainty propagates" claim, delivered for the data
|
|
106
|
-
* confrontation).
|
|
107
|
-
*
|
|
108
|
-
* @public
|
|
109
|
-
*/
|
|
110
|
-
export declare function confrontBE36WithUncertainty(obs?: GWSpeedObservation): BE36ConfrontationWithUncertainty;
|
|
111
|
-
//# sourceMappingURL=be36-gw170817-confrontation.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be36-gw170817-confrontation.d.ts","sourceRoot":"","sources":["../../src/bridges/be36-gw170817-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAQH;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,6CAA6C;IAC7C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,qCAAqC;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,yCAAyC;IACzC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,6EAA6E;IAC7E,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,uDAAuD;IACvD,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,EAAE,kBAStB,CAAC;AAEF;;;;GAIG;AACH,MAAM,WAAW,uBAAuB;IACtC,yEAAyE;IACzE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,yEAAyE;IACzE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,sCAAsC;IACtC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B;;;;OAIG;IACH,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,uDAAuD;IACvD,QAAQ,CAAC,uBAAuB,EAAE,IAAI,CAAC;IACvC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,kBAAkB,CAAC;CAC1C;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAC1B,GAAG,GAAE,kBAA6B,GACjC,uBAAuB,CAyCzB;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,gCACf,SAAQ,uBAAuB;IAC/B,4DAA4D;IAC5D,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,4DAA4D;IAC5D,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC;AAED;;;;;;GAMG;AACH,wBAAgB,2BAA2B,CACzC,GAAG,GAAE,kBAA6B,GACjC,gCAAgC,CASlC"}
|
|
@@ -1,100 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* BE-36 × GW170817 — the first real-data confrontation (v0.8.0 T5,
|
|
3
|
-
* per docs/planning/v0.8.0-Design.md §4 + r2-2/r2-3).
|
|
4
|
-
*
|
|
5
|
-
* Recomputes the published GW170817/GRB 170817A graviton-speed bounds
|
|
6
|
-
* from the observation record and confronts BE-36's encoded bound:
|
|
7
|
-
*
|
|
8
|
-
* upper = +c·Δt_obs / D (attributes the whole observed
|
|
9
|
-
* 1.74 s lag to faster GW travel)
|
|
10
|
-
* lower = −c·(t_delay,max − Δt_obs) / D
|
|
11
|
-
* (assumes a 10 s intrinsic EM
|
|
12
|
-
* emission delay, of which only
|
|
13
|
-
* 1.74 s materialized)
|
|
14
|
-
*
|
|
15
|
-
* with the paper's CONSERVATIVE lower distance bound D = 26 Mpc
|
|
16
|
-
* (not the 40 Mpc central value). Published result:
|
|
17
|
-
* −3×10⁻¹⁵ ≤ (c_GW − c)/c ≤ +7×10⁻¹⁶ (1 significant figure;
|
|
18
|
-
* Abbott et al. 2017 ApJL 848:L13 §3, arXiv:1710.05832).
|
|
19
|
-
*
|
|
20
|
-
* BE-36's encoded bound is SYMMETRIC (|ratio| ≤ 10⁻¹⁵,
|
|
21
|
-
* `GW170817_SPEED_BOUND`); the published bound is asymmetric and its
|
|
22
|
-
* negative side (−3×10⁻¹⁵) lies OUTSIDE the symmetric encoding.
|
|
23
|
-
* `passesEncodedBound` therefore refers to the positive (GW-faster)
|
|
24
|
-
* side only — see the result fields for the honest breakdown.
|
|
25
|
-
*
|
|
26
|
-
* @module bridges/be36-gw170817-confrontation
|
|
27
|
-
*/
|
|
28
|
-
import { C_SI } from '../core/constants.js';
|
|
29
|
-
import { GW170817_SPEED_BOUND } from './equations/be-36-gw-speed-bound.js';
|
|
30
|
-
/** Metres per megaparsec (repo-conventional literal, cf. H0_SI). */
|
|
31
|
-
const MPC_M = 3.0857e22;
|
|
32
|
-
/**
|
|
33
|
-
* The GW170817 / GRB 170817A observation (LIGO/Virgo + Fermi-GBM +
|
|
34
|
-
* INTEGRAL).
|
|
35
|
-
*
|
|
36
|
-
* @public
|
|
37
|
-
*/
|
|
38
|
-
export const GW170817 = {
|
|
39
|
-
dt_obs_s: 1.74,
|
|
40
|
-
dt_obs_err_s: 0.05,
|
|
41
|
-
distance_central_mpc: 40,
|
|
42
|
-
distance_lower_mpc: 26,
|
|
43
|
-
emission_delay_max_s: 10,
|
|
44
|
-
citation: 'Abbott et al. 2017 ApJ Lett. 848:L13 (arXiv:1710.05832), §3 ' +
|
|
45
|
-
'"Speed of Gravity"',
|
|
46
|
-
};
|
|
47
|
-
/**
|
|
48
|
-
* Recompute the GW170817-style speed bounds from an observation record
|
|
49
|
-
* and confront BE-36's encoded bound (v0.8.0 G-3 — the framework's
|
|
50
|
-
* first confrontation with real experimental data rather than
|
|
51
|
-
* reproduction of a closed form).
|
|
52
|
-
*
|
|
53
|
-
* @public
|
|
54
|
-
*/
|
|
55
|
-
export function confrontBE36(obs = GW170817) {
|
|
56
|
-
if (!(Number.isFinite(obs.dt_obs_s) && obs.dt_obs_s > 0)) {
|
|
57
|
-
throw new RangeError('confrontBE36: dt_obs_s must be finite and > 0');
|
|
58
|
-
}
|
|
59
|
-
if (!(Number.isFinite(obs.distance_lower_mpc) && obs.distance_lower_mpc > 0)) {
|
|
60
|
-
throw new RangeError('confrontBE36: distance_lower_mpc must be finite and > 0');
|
|
61
|
-
}
|
|
62
|
-
if (!(Number.isFinite(obs.emission_delay_max_s) &&
|
|
63
|
-
obs.emission_delay_max_s >= obs.dt_obs_s)) {
|
|
64
|
-
throw new RangeError('confrontBE36: emission_delay_max_s must be finite and ≥ dt_obs_s ' +
|
|
65
|
-
'(the lower bound assumes the intrinsic delay exceeds the observed lag)');
|
|
66
|
-
}
|
|
67
|
-
const distance_m = obs.distance_lower_mpc * MPC_M;
|
|
68
|
-
const upperBound = (C_SI * obs.dt_obs_s) / distance_m;
|
|
69
|
-
const lowerBound = (-C_SI * (obs.emission_delay_max_s - obs.dt_obs_s)) / distance_m;
|
|
70
|
-
return {
|
|
71
|
-
upperBound,
|
|
72
|
-
lowerBound,
|
|
73
|
-
distance_m,
|
|
74
|
-
passesEncodedBound: upperBound <= GW170817_SPEED_BOUND,
|
|
75
|
-
encodedBoundIsSymmetric: true,
|
|
76
|
-
encodedBound: GW170817_SPEED_BOUND,
|
|
77
|
-
note: 'The encoded BE-36 bound |ratio| ≤ 1e-15 is a symmetric ' +
|
|
78
|
-
'simplification; the published bound is asymmetric ' +
|
|
79
|
-
'(−3e-15 ≤ ratio ≤ +7e-16) and its negative side exceeds the ' +
|
|
80
|
-
'symmetric encoding. passesEncodedBound refers to the positive ' +
|
|
81
|
-
'side only.',
|
|
82
|
-
observation: obs,
|
|
83
|
-
};
|
|
84
|
-
}
|
|
85
|
-
/**
|
|
86
|
-
* `confrontBE36` + first-order uncertainty on both bounds (v0.10.0 T4
|
|
87
|
-
* — the G-3 "uncertainty propagates" claim, delivered for the data
|
|
88
|
-
* confrontation).
|
|
89
|
-
*
|
|
90
|
-
* @public
|
|
91
|
-
*/
|
|
92
|
-
export function confrontBE36WithUncertainty(obs = GW170817) {
|
|
93
|
-
const base = confrontBE36(obs);
|
|
94
|
-
if (!(Number.isFinite(obs.dt_obs_err_s) && obs.dt_obs_err_s >= 0)) {
|
|
95
|
-
throw new RangeError('confrontBE36WithUncertainty: dt_obs_err_s must be finite and ≥ 0');
|
|
96
|
-
}
|
|
97
|
-
const sigma = (C_SI * obs.dt_obs_err_s) / base.distance_m;
|
|
98
|
-
return { ...base, upperBoundSigma: sigma, lowerBoundSigma: sigma };
|
|
99
|
-
}
|
|
100
|
-
//# sourceMappingURL=be36-gw170817-confrontation.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be36-gw170817-confrontation.js","sourceRoot":"","sources":["../../src/bridges/be36-gw170817-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAE3E,oEAAoE;AACpE,MAAM,KAAK,GAAG,SAAS,CAAC;AAqBxB;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAuB;IAC1C,QAAQ,EAAE,IAAI;IACd,YAAY,EAAE,IAAI;IAClB,oBAAoB,EAAE,EAAE;IACxB,kBAAkB,EAAE,EAAE;IACtB,oBAAoB,EAAE,EAAE;IACxB,QAAQ,EACN,8DAA8D;QAC9D,oBAAoB;CACvB,CAAC;AA2BF;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAC1B,GAAG,GAAuB,QAAQ;IAElC,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,UAAU,CAAC,+CAA+C,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,kBAAkB,CAAC,IAAI,GAAG,CAAC,kBAAkB,GAAG,CAAC,CAAC,EAAE,CAAC;QAC7E,MAAM,IAAI,UAAU,CAClB,yDAAyD,CAC1D,CAAC;IACJ,CAAC;IACD,IACE,CAAC,CACC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,oBAAoB,CAAC;QACzC,GAAG,CAAC,oBAAoB,IAAI,GAAG,CAAC,QAAQ,CACzC,EACD,CAAC;QACD,MAAM,IAAI,UAAU,CAClB,mEAAmE;YACjE,wEAAwE,CAC3E,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,GAAG,CAAC,kBAAkB,GAAG,KAAK,CAAC;IAClD,MAAM,UAAU,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,UAAU,CAAC;IACtD,MAAM,UAAU,GACd,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,oBAAoB,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,GAAG,UAAU,CAAC;IAEnE,OAAO;QACL,UAAU;QACV,UAAU;QACV,UAAU;QACV,kBAAkB,EAAE,UAAU,IAAI,oBAAoB;QACtD,uBAAuB,EAAE,IAAI;QAC7B,YAAY,EAAE,oBAAoB;QAClC,IAAI,EACF,yDAAyD;YACzD,oDAAoD;YACpD,8DAA8D;YAC9D,gEAAgE;YAChE,YAAY;QACd,WAAW,EAAE,GAAG;KACjB,CAAC;AACJ,CAAC;AAqBD;;;;;;GAMG;AACH,MAAM,UAAU,2BAA2B,CACzC,GAAG,GAAuB,QAAQ;IAElC,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAC/B,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,YAAY,IAAI,CAAC,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,UAAU,CAClB,kEAAkE,CACnE,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,YAAY,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;IAC1D,OAAO,EAAE,GAAG,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;AACrE,CAAC"}
|
|
@@ -1,43 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* BE-37 × Cassini — confront the Shapiro-delay bridge with the Cassini
|
|
3
|
-
* radio-link measurement of the PPN parameter γ (Bertotti, Iess & Tortora
|
|
4
|
-
* 2003). BE-37 encodes the γ=1 general-relativistic Shapiro delay, so the
|
|
5
|
-
* bridge PREDICTS γ = 1 exactly; the confrontation observable is the
|
|
6
|
-
* measured γ. This is the framework's first Shapiro/PPN data confrontation
|
|
7
|
-
* (be-37 has a numerical validation anchor but no data confrontation before
|
|
8
|
-
* this). Value-kind.
|
|
9
|
-
*
|
|
10
|
-
* @module bridges/be37-cassini-confrontation
|
|
11
|
-
*/
|
|
12
|
-
import type { ObservationProvenance } from './observations/types.js';
|
|
13
|
-
/** A PPN-γ observation record. @public */
|
|
14
|
-
export interface CassiniObservation {
|
|
15
|
-
/** Measured PPN parameter γ (dimensionless). */
|
|
16
|
-
readonly observed_gamma: number;
|
|
17
|
-
/** 1σ on the measured γ. */
|
|
18
|
-
readonly observed_gamma_sigma: number;
|
|
19
|
-
readonly provenance: ObservationProvenance;
|
|
20
|
-
}
|
|
21
|
-
/**
|
|
22
|
-
* Cassini 2002 solar-conjunction Shapiro-delay determination of γ:
|
|
23
|
-
* γ = 1 + (2.1 ± 2.3)×10⁻⁵ (Bertotti-Iess-Tortora 2003, Nature 425:374).
|
|
24
|
-
*
|
|
25
|
-
* @public
|
|
26
|
-
*/
|
|
27
|
-
export declare const CASSINI: CassiniObservation;
|
|
28
|
-
/** Result of confronting BE-37 with a PPN-γ measurement. @public */
|
|
29
|
-
export interface BE37ConfrontationResult {
|
|
30
|
-
/** BE-37 predicts γ = 1 (GR Shapiro form). */
|
|
31
|
-
readonly predicted_gamma: number;
|
|
32
|
-
readonly observed_gamma: number;
|
|
33
|
-
readonly residual_in_sigma: number;
|
|
34
|
-
readonly withinObserved: boolean;
|
|
35
|
-
readonly observation: CassiniObservation;
|
|
36
|
-
}
|
|
37
|
-
/**
|
|
38
|
-
* Confront BE-37's γ=1 Shapiro prediction with the Cassini γ measurement.
|
|
39
|
-
*
|
|
40
|
-
* @public
|
|
41
|
-
*/
|
|
42
|
-
export declare function confrontBE37(obs?: CassiniObservation): BE37ConfrontationResult;
|
|
43
|
-
//# sourceMappingURL=be37-cassini-confrontation.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be37-cassini-confrontation.d.ts","sourceRoot":"","sources":["../../src/bridges/be37-cassini-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAGrE,0CAA0C;AAC1C,MAAM,WAAW,kBAAkB;IACjC,gDAAgD;IAChD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,4BAA4B;IAC5B,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;CAC5C;AAED;;;;;GAKG;AACH,eAAO,MAAM,OAAO,EAAE,kBASrB,CAAC;AAEF,oEAAoE;AACpE,MAAM,WAAW,uBAAuB;IACtC,8CAA8C;IAC9C,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,kBAAkB,CAAC;CAC1C;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,GAAG,GAAE,kBAA4B,GAAG,uBAAuB,CAUvF"}
|
|
@@ -1,34 +0,0 @@
|
|
|
1
|
-
import { residualInSigma } from './observations/types.js';
|
|
2
|
-
/**
|
|
3
|
-
* Cassini 2002 solar-conjunction Shapiro-delay determination of γ:
|
|
4
|
-
* γ = 1 + (2.1 ± 2.3)×10⁻⁵ (Bertotti-Iess-Tortora 2003, Nature 425:374).
|
|
5
|
-
*
|
|
6
|
-
* @public
|
|
7
|
-
*/
|
|
8
|
-
export const CASSINI = {
|
|
9
|
-
observed_gamma: 1 + 2.1e-5,
|
|
10
|
-
observed_gamma_sigma: 2.3e-5,
|
|
11
|
-
provenance: {
|
|
12
|
-
citation: 'Bertotti, Iess & Tortora 2003, Nature 425:374-376 (Cassini radio-link Shapiro delay, June 2002 solar conjunction)',
|
|
13
|
-
year: 2003,
|
|
14
|
-
retrieved: '2026-07-02',
|
|
15
|
-
note: 'BE-37 encodes the gamma=1 GR Shapiro form, so the predicted PPN gamma is exactly 1; the observable confronted is Cassini gamma.',
|
|
16
|
-
},
|
|
17
|
-
};
|
|
18
|
-
/**
|
|
19
|
-
* Confront BE-37's γ=1 Shapiro prediction with the Cassini γ measurement.
|
|
20
|
-
*
|
|
21
|
-
* @public
|
|
22
|
-
*/
|
|
23
|
-
export function confrontBE37(obs = CASSINI) {
|
|
24
|
-
const predicted_gamma = 1;
|
|
25
|
-
const residual_in_sigma = residualInSigma(predicted_gamma, obs.observed_gamma, obs.observed_gamma_sigma);
|
|
26
|
-
return {
|
|
27
|
-
predicted_gamma,
|
|
28
|
-
observed_gamma: obs.observed_gamma,
|
|
29
|
-
residual_in_sigma,
|
|
30
|
-
withinObserved: residual_in_sigma <= 1,
|
|
31
|
-
observation: obs,
|
|
32
|
-
};
|
|
33
|
-
}
|
|
34
|
-
//# sourceMappingURL=be37-cassini-confrontation.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be37-cassini-confrontation.js","sourceRoot":"","sources":["../../src/bridges/be37-cassini-confrontation.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAW1D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,OAAO,GAAuB;IACzC,cAAc,EAAE,CAAC,GAAG,MAAM;IAC1B,oBAAoB,EAAE,MAAM;IAC5B,UAAU,EAAE;QACV,QAAQ,EAAE,mHAAmH;QAC7H,IAAI,EAAE,IAAI;QACV,SAAS,EAAE,YAAY;QACvB,IAAI,EAAE,iIAAiI;KACxI;CACF,CAAC;AAYF;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,GAAG,GAAuB,OAAO;IAC5D,MAAM,eAAe,GAAG,CAAC,CAAC;IAC1B,MAAM,iBAAiB,GAAG,eAAe,CAAC,eAAe,EAAE,GAAG,CAAC,cAAc,EAAE,GAAG,CAAC,oBAAoB,CAAC,CAAC;IACzG,OAAO;QACL,eAAe;QACf,cAAc,EAAE,GAAG,CAAC,cAAc;QAClC,iBAAiB;QACjB,cAAc,EAAE,iBAAiB,IAAI,CAAC;QACtC,WAAW,EAAE,GAAG;KACjB,CAAC;AACJ,CAAC"}
|
|
@@ -1,52 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* BE-48 × LISA-Pathfinder — confront the GRW mass-amplified localization
|
|
3
|
-
* rate with the experimental upper bound on spontaneous-collapse rates
|
|
4
|
-
* (Carlesso et al. 2016). BE-48 encodes the GRW single-nucleon rate
|
|
5
|
-
* λ₀ = 10⁻¹⁶ s⁻¹; LISA-Pathfinder bounds the CSL rate at
|
|
6
|
-
* λ ≤ 2.96×10⁻⁸ s⁻¹ (r_C = 100 nm). The GRW rate sits ~8 orders below the
|
|
7
|
-
* exclusion → NOT excluded. Upper-bound-kind.
|
|
8
|
-
*
|
|
9
|
-
* MODEL CAVEAT: GRW and CSL are related-but-distinct collapse models; this
|
|
10
|
-
* is a fail-to-exclude, not a confirmation (GRW's original rate predicts no
|
|
11
|
-
* observable collapse). The same bound overlaps Adler's proposed floor
|
|
12
|
-
* 10⁻⁸±² s⁻¹.
|
|
13
|
-
*
|
|
14
|
-
* @module bridges/be48-collapse-confrontation
|
|
15
|
-
*/
|
|
16
|
-
import type { ObservationProvenance } from './observations/types.js';
|
|
17
|
-
/** A collapse-rate upper-bound observation. @public */
|
|
18
|
-
export interface CollapseBoundObservation {
|
|
19
|
-
/** Experimental upper bound on the collapse rate (s⁻¹). */
|
|
20
|
-
readonly bound_rate_per_s: number;
|
|
21
|
-
/** 1σ on the bound (s⁻¹). */
|
|
22
|
-
readonly bound_sigma_per_s: number;
|
|
23
|
-
/** Correlation length the bound is quoted at (m). */
|
|
24
|
-
readonly r_C_m: number;
|
|
25
|
-
readonly provenance: ObservationProvenance;
|
|
26
|
-
}
|
|
27
|
-
/**
|
|
28
|
-
* LISA-Pathfinder CSL upper bound: λ ≤ (2.96 ± 0.12)×10⁻⁸ s⁻¹ at
|
|
29
|
-
* r_C = 100 nm (Carlesso et al. 2016, arXiv 1606.03637 / PRD 95:084054;
|
|
30
|
-
* data Armano et al. 2016, PRL 116:231101).
|
|
31
|
-
*
|
|
32
|
-
* @public
|
|
33
|
-
*/
|
|
34
|
-
export declare const LISA_PATHFINDER_CSL: CollapseBoundObservation;
|
|
35
|
-
/** Result of confronting BE-48 with a collapse-rate bound. @public */
|
|
36
|
-
export interface BE48ConfrontationResult {
|
|
37
|
-
/** GRW single-nucleon rate λ₀ (s⁻¹) = evaluateGRWLocalization at m = m_0. */
|
|
38
|
-
readonly predicted_rate_per_s: number;
|
|
39
|
-
readonly bound_rate_per_s: number;
|
|
40
|
-
/** predicted ≤ bound (not excluded). */
|
|
41
|
-
readonly satisfied: boolean;
|
|
42
|
-
readonly observation: CollapseBoundObservation;
|
|
43
|
-
}
|
|
44
|
-
/**
|
|
45
|
-
* Confront BE-48's GRW single-nucleon rate with an experimental collapse
|
|
46
|
-
* bound. The single-nucleon rate is `evaluateGRWLocalization` at m = m_0
|
|
47
|
-
* (mass ratio 1), i.e. exactly λ₀.
|
|
48
|
-
*
|
|
49
|
-
* @public
|
|
50
|
-
*/
|
|
51
|
-
export declare function confrontBE48(obs?: CollapseBoundObservation): BE48ConfrontationResult;
|
|
52
|
-
//# sourceMappingURL=be48-collapse-confrontation.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be48-collapse-confrontation.d.ts","sourceRoot":"","sources":["../../src/bridges/be48-collapse-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAGrE,uDAAuD;AACvD,MAAM,WAAW,wBAAwB;IACvC,2DAA2D;IAC3D,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,6BAA6B;IAC7B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,qDAAqD;IACrD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;CAC5C;AAED;;;;;;GAMG;AACH,eAAO,MAAM,mBAAmB,EAAE,wBAUjC,CAAC;AAEF,sEAAsE;AACtE,MAAM,WAAW,uBAAuB;IACtC,6EAA6E;IAC7E,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,wCAAwC;IACxC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,wBAAwB,CAAC;CAChD;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,GAAG,GAAE,wBAA8C,GAAG,uBAAuB,CASzG"}
|
|
@@ -1,37 +0,0 @@
|
|
|
1
|
-
import { evaluateGRWLocalization } from './equations/be-48-grw-localization.js';
|
|
2
|
-
/**
|
|
3
|
-
* LISA-Pathfinder CSL upper bound: λ ≤ (2.96 ± 0.12)×10⁻⁸ s⁻¹ at
|
|
4
|
-
* r_C = 100 nm (Carlesso et al. 2016, arXiv 1606.03637 / PRD 95:084054;
|
|
5
|
-
* data Armano et al. 2016, PRL 116:231101).
|
|
6
|
-
*
|
|
7
|
-
* @public
|
|
8
|
-
*/
|
|
9
|
-
export const LISA_PATHFINDER_CSL = {
|
|
10
|
-
bound_rate_per_s: 2.96e-8,
|
|
11
|
-
bound_sigma_per_s: 0.12e-8,
|
|
12
|
-
r_C_m: 1e-7,
|
|
13
|
-
provenance: {
|
|
14
|
-
citation: 'Carlesso, Bassi, Falferi & Vinante 2016, arXiv:1606.03637 / Phys. Rev. D 95:084054 (2017); LISA-Pathfinder data Armano et al. 2016, PRL 116:231101',
|
|
15
|
-
year: 2016,
|
|
16
|
-
retrieved: '2026-07-02',
|
|
17
|
-
note: 'CSL bound; BE-48 encodes the GRW single-nucleon rate. GRW rate ~8 orders below the exclusion: fail-to-exclude, NOT a confirmation. The bound overlaps Adler 10^-8±2 /s.',
|
|
18
|
-
},
|
|
19
|
-
};
|
|
20
|
-
/**
|
|
21
|
-
* Confront BE-48's GRW single-nucleon rate with an experimental collapse
|
|
22
|
-
* bound. The single-nucleon rate is `evaluateGRWLocalization` at m = m_0
|
|
23
|
-
* (mass ratio 1), i.e. exactly λ₀.
|
|
24
|
-
*
|
|
25
|
-
* @public
|
|
26
|
-
*/
|
|
27
|
-
export function confrontBE48(obs = LISA_PATHFINDER_CSL) {
|
|
28
|
-
const m_0 = 1.67e-27; // nucleon mass, the GRW reference
|
|
29
|
-
const predicted_rate_per_s = evaluateGRWLocalization({ m_kg: m_0, m_0_kg: m_0 });
|
|
30
|
-
return {
|
|
31
|
-
predicted_rate_per_s,
|
|
32
|
-
bound_rate_per_s: obs.bound_rate_per_s,
|
|
33
|
-
satisfied: predicted_rate_per_s <= obs.bound_rate_per_s,
|
|
34
|
-
observation: obs,
|
|
35
|
-
};
|
|
36
|
-
}
|
|
37
|
-
//# sourceMappingURL=be48-collapse-confrontation.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be48-collapse-confrontation.js","sourceRoot":"","sources":["../../src/bridges/be48-collapse-confrontation.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAahF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAA6B;IAC3D,gBAAgB,EAAE,OAAO;IACzB,iBAAiB,EAAE,OAAO;IAC1B,KAAK,EAAE,IAAI;IACX,UAAU,EAAE;QACV,QAAQ,EAAE,oJAAoJ;QAC9J,IAAI,EAAE,IAAI;QACV,SAAS,EAAE,YAAY;QACvB,IAAI,EAAE,yKAAyK;KAChL;CACF,CAAC;AAYF;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,GAAG,GAA6B,mBAAmB;IAC9E,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,kCAAkC;IACxD,MAAM,oBAAoB,GAAG,uBAAuB,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;IACjF,OAAO;QACL,oBAAoB;QACpB,gBAAgB,EAAE,GAAG,CAAC,gBAAgB;QACtC,SAAS,EAAE,oBAAoB,IAAI,GAAG,CAAC,gBAAgB;QACvD,WAAW,EAAE,GAAG;KACjB,CAAC;AACJ,CAAC"}
|
|
@@ -1,53 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* BE-51 × VLBI — confront the gravitational-lensing bridge with the modern
|
|
3
|
-
* VLBI determination of the PPN parameter γ via solar light deflection
|
|
4
|
-
* (Lambert & Le Poncin-Lafitte 2009). BE-51 encodes the γ=1 GR deflection
|
|
5
|
-
* α = 4GM/(bc²), so the bridge PREDICTS the solar-limb deflection at γ=1
|
|
6
|
-
* (≈ 1.75 arcsec, computed by `evaluateGravitationalLensing`). The observed
|
|
7
|
-
* deflection is the VLBI-measured γ applied to that same limb baseline — a
|
|
8
|
-
* genuine test of γ vs 1 through light *deflection*, complementary to be-37's
|
|
9
|
-
* γ via Shapiro *delay* (the same PPN parameter through two independent
|
|
10
|
-
* experiments: radio-source astrometry vs spacecraft ranging). This is the
|
|
11
|
-
* third classic test of general relativity in the confrontation registry,
|
|
12
|
-
* joining be-52 (Mercury perihelion) and be-37 (Shapiro delay). Value-kind.
|
|
13
|
-
*
|
|
14
|
-
* @module bridges/be51-lensing-confrontation
|
|
15
|
-
*/
|
|
16
|
-
import type { ObservationProvenance } from './observations/types.js';
|
|
17
|
-
/** A VLBI PPN-γ (light-deflection) observation record. @public */
|
|
18
|
-
export interface VLBIDeflectionObservation {
|
|
19
|
-
/** Measured PPN parameter γ (dimensionless). */
|
|
20
|
-
readonly observed_gamma: number;
|
|
21
|
-
/** 1σ on the measured γ. */
|
|
22
|
-
readonly observed_gamma_sigma: number;
|
|
23
|
-
readonly provenance: ObservationProvenance;
|
|
24
|
-
}
|
|
25
|
-
/**
|
|
26
|
-
* VLBI solar light-deflection determination of γ:
|
|
27
|
-
* γ − 1 = (−0.8 ± 1.2)×10⁻⁴ (Lambert & Le Poncin-Lafitte 2009, A&A 499:331;
|
|
28
|
-
* compiled in Will 2014, Living Rev. Relativity 17:4).
|
|
29
|
-
*
|
|
30
|
-
* @public
|
|
31
|
-
*/
|
|
32
|
-
export declare const VLBI_LAMBERT_2009: VLBIDeflectionObservation;
|
|
33
|
-
/** Result of confronting BE-51 with a VLBI deflection measurement. @public */
|
|
34
|
-
export interface BE51ConfrontationResult {
|
|
35
|
-
/** GR (γ=1) solar-limb deflection from the bridge evaluator (arcsec). */
|
|
36
|
-
readonly predicted_arcsec: number;
|
|
37
|
-
/** Observed deflection: (1+γ)/2 × predicted (arcsec). */
|
|
38
|
-
readonly observed_arcsec: number;
|
|
39
|
-
/** 1σ on the observed deflection (arcsec). */
|
|
40
|
-
readonly observed_sigma_arcsec: number;
|
|
41
|
-
readonly residual_in_sigma: number;
|
|
42
|
-
readonly withinObserved: boolean;
|
|
43
|
-
readonly observation: VLBIDeflectionObservation;
|
|
44
|
-
}
|
|
45
|
-
/**
|
|
46
|
-
* Confront BE-51's GR solar-limb deflection with the VLBI γ measurement.
|
|
47
|
-
* The predicted value comes from the bridge's own evaluator; the observed
|
|
48
|
-
* value is the measured (1+γ)/2 scaling of that same baseline.
|
|
49
|
-
*
|
|
50
|
-
* @public
|
|
51
|
-
*/
|
|
52
|
-
export declare function confrontBE51(obs?: VLBIDeflectionObservation): BE51ConfrontationResult;
|
|
53
|
-
//# sourceMappingURL=be51-lensing-confrontation.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be51-lensing-confrontation.d.ts","sourceRoot":"","sources":["../../src/bridges/be51-lensing-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAYrE,kEAAkE;AAClE,MAAM,WAAW,yBAAyB;IACxC,gDAAgD;IAChD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,4BAA4B;IAC5B,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;CAC5C;AAED;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,EAAE,yBAU/B,CAAC;AAEF,8EAA8E;AAC9E,MAAM,WAAW,uBAAuB;IACtC,yEAAyE;IACzE,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,yDAAyD;IACzD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,8CAA8C;IAC9C,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,yBAAyB,CAAC;CACjD;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,GAAG,GAAE,yBAA6C,GACjD,uBAAuB,CAqBzB"}
|
|
@@ -1,52 +0,0 @@
|
|
|
1
|
-
import { residualInSigma } from './observations/types.js';
|
|
2
|
-
import { evaluateGravitationalLensing } from './gravitational-lensing.js';
|
|
3
|
-
import { GM_SUN_SI, G_SI } from '../core/constants.js';
|
|
4
|
-
/** Solar mass (kg) as GM☉/G, so the evaluator's G·M is the IAU 2015 nominal
|
|
5
|
-
* (GM)☉ exactly. `G × 1.989e30` was 3.0e-4 high: 5.2e-4 arcsec, five times
|
|
6
|
-
* the VLBI 1σ on the deflection. Internal: the confrontation's fixed baseline. */
|
|
7
|
-
const SOLAR_MASS_KG = GM_SUN_SI / G_SI;
|
|
8
|
-
/** Solar radius (m) — the grazing-ray impact parameter (matches be-37). Internal. */
|
|
9
|
-
const SOLAR_RADIUS_M = 6.957e8;
|
|
10
|
-
/**
|
|
11
|
-
* VLBI solar light-deflection determination of γ:
|
|
12
|
-
* γ − 1 = (−0.8 ± 1.2)×10⁻⁴ (Lambert & Le Poncin-Lafitte 2009, A&A 499:331;
|
|
13
|
-
* compiled in Will 2014, Living Rev. Relativity 17:4).
|
|
14
|
-
*
|
|
15
|
-
* @public
|
|
16
|
-
*/
|
|
17
|
-
export const VLBI_LAMBERT_2009 = {
|
|
18
|
-
observed_gamma: 1 - 0.8e-4,
|
|
19
|
-
observed_gamma_sigma: 1.2e-4,
|
|
20
|
-
provenance: {
|
|
21
|
-
citation: 'Lambert & Le Poncin-Lafitte 2009, A&A 499:331-336 (geodetic VLBI light-deflection determination of PPN gamma); compiled in Will 2014, Living Rev. Relativity 17:4',
|
|
22
|
-
year: 2009,
|
|
23
|
-
retrieved: '2026-07-04',
|
|
24
|
-
note: 'BE-51 encodes the gamma=1 GR deflection alpha=4GM/(bc^2); predicted is the solar-limb deflection from evaluateGravitationalLensing(M_sun, R_sun). Observed = measured (1+gamma)/2 applied to that same limb baseline (the baseline is pure physical constants, not GR theory), so this is a genuine test of gamma vs 1 via deflection — complementary to be-37 (gamma via Shapiro delay).',
|
|
25
|
-
},
|
|
26
|
-
};
|
|
27
|
-
/**
|
|
28
|
-
* Confront BE-51's GR solar-limb deflection with the VLBI γ measurement.
|
|
29
|
-
* The predicted value comes from the bridge's own evaluator; the observed
|
|
30
|
-
* value is the measured (1+γ)/2 scaling of that same baseline.
|
|
31
|
-
*
|
|
32
|
-
* @public
|
|
33
|
-
*/
|
|
34
|
-
export function confrontBE51(obs = VLBI_LAMBERT_2009) {
|
|
35
|
-
const predicted_arcsec = evaluateGravitationalLensing({
|
|
36
|
-
M_kg: SOLAR_MASS_KG,
|
|
37
|
-
b_m: SOLAR_RADIUS_M,
|
|
38
|
-
}).alpha_arcsec;
|
|
39
|
-
const scaling = (1 + obs.observed_gamma) / 2;
|
|
40
|
-
const observed_arcsec = scaling * predicted_arcsec;
|
|
41
|
-
const observed_sigma_arcsec = (obs.observed_gamma_sigma / 2) * predicted_arcsec;
|
|
42
|
-
const residual_in_sigma = residualInSigma(predicted_arcsec, observed_arcsec, observed_sigma_arcsec);
|
|
43
|
-
return {
|
|
44
|
-
predicted_arcsec,
|
|
45
|
-
observed_arcsec,
|
|
46
|
-
observed_sigma_arcsec,
|
|
47
|
-
residual_in_sigma,
|
|
48
|
-
withinObserved: residual_in_sigma <= 1,
|
|
49
|
-
observation: obs,
|
|
50
|
-
};
|
|
51
|
-
}
|
|
52
|
-
//# sourceMappingURL=be51-lensing-confrontation.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be51-lensing-confrontation.js","sourceRoot":"","sources":["../../src/bridges/be51-lensing-confrontation.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAEvD;;mFAEmF;AACnF,MAAM,aAAa,GAAG,SAAS,GAAG,IAAI,CAAC;AACvC,qFAAqF;AACrF,MAAM,cAAc,GAAG,OAAO,CAAC;AAW/B;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAA8B;IAC1D,cAAc,EAAE,CAAC,GAAG,MAAM;IAC1B,oBAAoB,EAAE,MAAM;IAC5B,UAAU,EAAE;QACV,QAAQ,EACN,mKAAmK;QACrK,IAAI,EAAE,IAAI;QACV,SAAS,EAAE,YAAY;QACvB,IAAI,EAAE,2XAA2X;KAClY;CACF,CAAC;AAeF;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,GAAG,GAA8B,iBAAiB;IAElD,MAAM,gBAAgB,GAAG,4BAA4B,CAAC;QACpD,IAAI,EAAE,aAAa;QACnB,GAAG,EAAE,cAAc;KACpB,CAAC,CAAC,YAAY,CAAC;IAChB,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;IAC7C,MAAM,eAAe,GAAG,OAAO,GAAG,gBAAgB,CAAC;IACnD,MAAM,qBAAqB,GAAG,CAAC,GAAG,CAAC,oBAAoB,GAAG,CAAC,CAAC,GAAG,gBAAgB,CAAC;IAChF,MAAM,iBAAiB,GAAG,eAAe,CACvC,gBAAgB,EAChB,eAAe,EACf,qBAAqB,CACtB,CAAC;IACF,OAAO;QACL,gBAAgB;QAChB,eAAe;QACf,qBAAqB;QACrB,iBAAiB;QACjB,cAAc,EAAE,iBAAiB,IAAI,CAAC;QACtC,WAAW,EAAE,GAAG;KACjB,CAAC;AACJ,CAAC"}
|