universal-physics-tensor 7.0.0 → 8.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 +5 -5
- 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 +15273 -0
- package/data/bridge-catalog.schema.json +116 -0
- package/data/confrontation-sources.md +137 -0
- package/data/quantities.json +9743 -0
- package/data/schemas/atlas-record.v0.json +236 -0
- package/data/schemas/discovery-run.v0.json +203 -0
- 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 +193 -1
- package/dist/atlas/physjs-entries.generated.d.ts.map +1 -1
- package/dist/atlas/physjs-entries.generated.js +217 -1
- package/dist/atlas/physjs-entries.generated.js.map +1 -1
- package/dist/atlas/physjs-ref.d.ts.map +1 -1
- package/dist/atlas/physjs-ref.js +4 -97
- package/dist/atlas/physjs-ref.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-load.d.ts +34 -0
- package/dist/bridges/catalog-load.d.ts.map +1 -0
- package/dist/bridges/catalog-load.js +89 -0
- package/dist/bridges/catalog-load.js.map +1 -0
- package/dist/bridges/catalog-types.d.ts +119 -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/evaluator-inputs.d.ts.map +1 -1
- package/dist/bridges/evaluator-inputs.js +13 -3
- package/dist/bridges/evaluator-inputs.js.map +1 -1
- package/dist/bridges/evaluators.d.ts +14 -27
- package/dist/bridges/evaluators.d.ts.map +1 -1
- package/dist/bridges/evaluators.js +83 -415
- package/dist/bridges/evaluators.js.map +1 -1
- package/dist/bridges/expr-parse.d.ts +19 -0
- package/dist/bridges/expr-parse.d.ts.map +1 -0
- package/dist/bridges/expr-parse.js +269 -0
- package/dist/bridges/expr-parse.js.map +1 -0
- package/dist/bridges/holds.d.ts +22 -0
- package/dist/bridges/holds.d.ts.map +1 -0
- package/dist/bridges/holds.js +266 -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/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/entries/atomic.js +1 -1
- package/dist/canonical/entries/atomic.js.map +1 -1
- package/dist/canonical/entries/condensed-matter.js +1 -1
- package/dist/canonical/entries/condensed-matter.js.map +1 -1
- package/dist/canonical/entries/electromagnetism.js +1 -1
- package/dist/canonical/entries/electromagnetism.js.map +1 -1
- package/dist/canonical/entries/fluids-waves.js +1 -1
- package/dist/canonical/entries/fluids-waves.js.map +1 -1
- package/dist/canonical/entries/mechanics.js +1 -1
- package/dist/canonical/entries/mechanics.js.map +1 -1
- package/dist/canonical/entries/nonmonomial.js +1 -1
- package/dist/canonical/entries/nonmonomial.js.map +1 -1
- package/dist/canonical/entries/relativity.js +1 -1
- package/dist/canonical/entries/relativity.js.map +1 -1
- package/dist/canonical/entries/statistical-mechanics.js +1 -1
- package/dist/canonical/entries/statistical-mechanics.js.map +1 -1
- package/dist/canonical/entries/thermo-nuclear-cosmo.js +2 -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/kepler-rv.d.ts.map +1 -1
- package/dist/cases/kepler-rv.js +7 -3
- 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/atlas.js +1 -1
- package/dist/cli/commands/atlas.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/eval.d.ts.map +1 -1
- package/dist/cli/commands/eval.js +2 -0
- package/dist/cli/commands/eval.js.map +1 -1
- package/dist/cli/commands/evaluate.d.ts.map +1 -1
- package/dist/cli/commands/evaluate.js +19 -14
- 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 +2 -0
- package/dist/cli/commands/explain.js.map +1 -1
- package/dist/cli/commands/symbolic.d.ts.map +1 -1
- package/dist/cli/commands/symbolic.js +5 -4
- package/dist/cli/commands/symbolic.js.map +1 -1
- package/dist/cli-api.d.ts +7 -2
- package/dist/cli-api.d.ts.map +1 -1
- package/dist/cli-api.js +7 -2
- package/dist/cli-api.js.map +1 -1
- package/dist/composition/canonical-graph.d.ts +5 -3
- package/dist/composition/canonical-graph.d.ts.map +1 -1
- package/dist/composition/canonical-graph.js +61 -6
- package/dist/composition/canonical-graph.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/discovery.d.ts.map +1 -1
- package/dist/composition/discovery.js +26 -22
- package/dist/composition/discovery.js.map +1 -1
- package/dist/composition/evaluate-relation.d.ts +2 -0
- package/dist/composition/evaluate-relation.d.ts.map +1 -1
- package/dist/composition/evaluate-relation.js +26 -3
- package/dist/composition/evaluate-relation.js.map +1 -1
- package/dist/composition/expr-eval.d.ts.map +1 -1
- package/dist/composition/expr-eval.js +6 -0
- 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 +3 -14
- package/dist/composition/index.d.ts.map +1 -1
- package/dist/composition/index.js +3 -14
- package/dist/composition/index.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/user-equation.d.ts +3 -10
- package/dist/composition/user-equation.d.ts.map +1 -1
- package/dist/composition/user-equation.js +3 -28
- package/dist/composition/user-equation.js.map +1 -1
- package/dist/core/constants.d.ts +14 -0
- package/dist/core/constants.d.ts.map +1 -1
- package/dist/core/constants.js +16 -0
- package/dist/core/constants.js.map +1 -1
- package/dist/diff/bridge-ast-gradient.d.ts.map +1 -1
- package/dist/diff/bridge-ast-gradient.js +1 -0
- 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 +32 -62
- package/dist/diff/bridge-specs.d.ts.map +1 -1
- package/dist/diff/bridge-specs.js +55 -76
- 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 +22 -227
- package/dist/dimensional/bridge-check.js.map +1 -1
- package/dist/dimensional/formula-names.d.ts +17 -1
- package/dist/dimensional/formula-names.d.ts.map +1 -1
- package/dist/dimensional/formula-names.js +39 -8
- 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 +33 -0
- package/dist/dimensional/quantity-registry.d.ts.map +1 -0
- package/dist/dimensional/quantity-registry.js +49 -0
- package/dist/dimensional/quantity-registry.js.map +1 -0
- package/dist/dimensional/units.d.ts +4 -2
- package/dist/dimensional/units.d.ts.map +1 -1
- package/dist/dimensional/units.js +202 -44
- package/dist/dimensional/units.js.map +1 -1
- package/dist/index.d.ts +19 -61
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +11 -48
- package/dist/index.js.map +1 -1
- package/dist/numerical/binding-value.d.ts.map +1 -1
- package/dist/numerical/binding-value.js +72 -21
- 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/gl4-integrator.d.ts +6 -3
- package/dist/numerical/gl4-integrator.d.ts.map +1 -1
- package/dist/numerical/gl4-integrator.js +6 -3
- 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/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,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"}
|
|
@@ -1,72 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* BE-52 × Mercury — confront the GR perihelion-precession bridge with the
|
|
3
|
-
* classic measured anomalous advance of Mercury's perihelion.
|
|
4
|
-
*
|
|
5
|
-
* This is the catalog's second committed real-data confrontation, and the first
|
|
6
|
-
* for an *established* bridge: BE-52 encodes Einstein's 1915 result
|
|
7
|
-
* `Δφ = 6πGM/(a(1−e²)c²)`, whose Mercury value (~43″/century) was the original
|
|
8
|
-
* empirical triumph of general relativity. We recompute the bridge's prediction
|
|
9
|
-
* from Mercury's orbital elements and confront it with the *observed* anomalous
|
|
10
|
-
* precession — the residual left after subtracting the Newtonian planetary
|
|
11
|
-
* perturbations (Le Verrier / Newcomb / Clemence).
|
|
12
|
-
*
|
|
13
|
-
* observed anomalous advance: 43.11 ± 0.45 ″/century (Clemence 1947); the
|
|
14
|
-
* modern GR value is 42.98 ″/century, comfortably inside this band.
|
|
15
|
-
*
|
|
16
|
-
* @module bridges/be52-mercury-confrontation
|
|
17
|
-
*/
|
|
18
|
-
/**
|
|
19
|
-
* A perihelion-precession observation record for a planet.
|
|
20
|
-
*
|
|
21
|
-
* @public
|
|
22
|
-
*/
|
|
23
|
-
export interface PerihelionObservation {
|
|
24
|
-
/** Central mass (kg) — the Sun for Mercury. */
|
|
25
|
-
readonly central_mass_kg: number;
|
|
26
|
-
/** Orbital semi-major axis (m). */
|
|
27
|
-
readonly semi_major_axis_m: number;
|
|
28
|
-
/** Orbital eccentricity (0 ≤ e < 1). */
|
|
29
|
-
readonly eccentricity: number;
|
|
30
|
-
/** Orbital period (Julian years). */
|
|
31
|
-
readonly period_yr: number;
|
|
32
|
-
/** Measured ANOMALOUS perihelion advance (″/Julian century) — the GR residual. */
|
|
33
|
-
readonly observed_precession_arcsec_per_century: number;
|
|
34
|
-
/** 1σ uncertainty on the observed anomalous advance (″/century). */
|
|
35
|
-
readonly observed_sigma_arcsec_per_century: number;
|
|
36
|
-
readonly citation: string;
|
|
37
|
-
}
|
|
38
|
-
/**
|
|
39
|
-
* Mercury's orbital elements + the classic measured anomalous perihelion
|
|
40
|
-
* advance. Orbital elements: NASA planetary fact sheet (J2000). Observed
|
|
41
|
-
* anomalous advance: Clemence's determination.
|
|
42
|
-
*
|
|
43
|
-
* @public
|
|
44
|
-
*/
|
|
45
|
-
export declare const MERCURY: PerihelionObservation;
|
|
46
|
-
/**
|
|
47
|
-
* Result of confronting BE-52 with a measured perihelion advance.
|
|
48
|
-
*
|
|
49
|
-
* @public
|
|
50
|
-
*/
|
|
51
|
-
export interface BE52ConfrontationResult {
|
|
52
|
-
/** BE-52's GR prediction for this orbit (″/Julian century). */
|
|
53
|
-
readonly predicted_arcsec_per_century: number;
|
|
54
|
-
/** The measured anomalous advance (″/century). */
|
|
55
|
-
readonly observed_arcsec_per_century: number;
|
|
56
|
-
/** predicted − observed (″/century). */
|
|
57
|
-
readonly residual_arcsec_per_century: number;
|
|
58
|
-
/** |residual| in units of the observed 1σ. */
|
|
59
|
-
readonly residual_in_sigma: number;
|
|
60
|
-
/** Whether the prediction lies within 1σ of the observation. */
|
|
61
|
-
readonly withinObserved: boolean;
|
|
62
|
-
readonly observation: PerihelionObservation;
|
|
63
|
-
}
|
|
64
|
-
/**
|
|
65
|
-
* Recompute BE-52's GR perihelion advance for an orbit and confront it with the
|
|
66
|
-
* measured anomalous precession (G-3: confrontation with real data, not
|
|
67
|
-
* reproduction of a closed form — here for an established bridge).
|
|
68
|
-
*
|
|
69
|
-
* @public
|
|
70
|
-
*/
|
|
71
|
-
export declare function confrontBE52(obs?: PerihelionObservation): BE52ConfrontationResult;
|
|
72
|
-
//# sourceMappingURL=be52-mercury-confrontation.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be52-mercury-confrontation.d.ts","sourceRoot":"","sources":["../../src/bridges/be52-mercury-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAKH;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACpC,+CAA+C;IAC/C,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,mCAAmC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,wCAAwC;IACxC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,qCAAqC;IACrC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,kFAAkF;IAClF,QAAQ,CAAC,sCAAsC,EAAE,MAAM,CAAC;IACxD,oEAAoE;IACpE,QAAQ,CAAC,iCAAiC,EAAE,MAAM,CAAC;IACnD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;GAMG;AACH,eAAO,MAAM,OAAO,EAAE,qBAYrB,CAAC;AAEF;;;;GAIG;AACH,MAAM,WAAW,uBAAuB;IACtC,+DAA+D;IAC/D,QAAQ,CAAC,4BAA4B,EAAE,MAAM,CAAC;IAC9C,kDAAkD;IAClD,QAAQ,CAAC,2BAA2B,EAAE,MAAM,CAAC;IAC7C,wCAAwC;IACxC,QAAQ,CAAC,2BAA2B,EAAE,MAAM,CAAC;IAC7C,8CAA8C;IAC9C,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,gEAAgE;IAChE,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,qBAAqB,CAAC;CAC7C;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,GAAG,GAAE,qBAA+B,GACnC,uBAAuB,CAwBzB"}
|
|
@@ -1,70 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* BE-52 × Mercury — confront the GR perihelion-precession bridge with the
|
|
3
|
-
* classic measured anomalous advance of Mercury's perihelion.
|
|
4
|
-
*
|
|
5
|
-
* This is the catalog's second committed real-data confrontation, and the first
|
|
6
|
-
* for an *established* bridge: BE-52 encodes Einstein's 1915 result
|
|
7
|
-
* `Δφ = 6πGM/(a(1−e²)c²)`, whose Mercury value (~43″/century) was the original
|
|
8
|
-
* empirical triumph of general relativity. We recompute the bridge's prediction
|
|
9
|
-
* from Mercury's orbital elements and confront it with the *observed* anomalous
|
|
10
|
-
* precession — the residual left after subtracting the Newtonian planetary
|
|
11
|
-
* perturbations (Le Verrier / Newcomb / Clemence).
|
|
12
|
-
*
|
|
13
|
-
* observed anomalous advance: 43.11 ± 0.45 ″/century (Clemence 1947); the
|
|
14
|
-
* modern GR value is 42.98 ″/century, comfortably inside this band.
|
|
15
|
-
*
|
|
16
|
-
* @module bridges/be52-mercury-confrontation
|
|
17
|
-
*/
|
|
18
|
-
import { evaluatePerihelionPrecession } from './perihelion-precession.js';
|
|
19
|
-
import { GM_SUN_SI, G_SI } from '../core/constants.js';
|
|
20
|
-
/**
|
|
21
|
-
* Mercury's orbital elements + the classic measured anomalous perihelion
|
|
22
|
-
* advance. Orbital elements: NASA planetary fact sheet (J2000). Observed
|
|
23
|
-
* anomalous advance: Clemence's determination.
|
|
24
|
-
*
|
|
25
|
-
* @public
|
|
26
|
-
*/
|
|
27
|
-
export const MERCURY = {
|
|
28
|
-
// GM☉/G: G·M is then the IAU 2015 nominal (GM)☉ exactly. The former
|
|
29
|
-
// 1.98892e30 kg gave G·M 2.6e-4 high.
|
|
30
|
-
central_mass_kg: GM_SUN_SI / G_SI,
|
|
31
|
-
semi_major_axis_m: 5.79091e10,
|
|
32
|
-
eccentricity: 0.205630,
|
|
33
|
-
period_yr: 0.2408467, // 87.969 d / 365.25
|
|
34
|
-
observed_precession_arcsec_per_century: 43.11,
|
|
35
|
-
observed_sigma_arcsec_per_century: 0.45,
|
|
36
|
-
citation: 'Clemence 1947, Rev. Mod. Phys. 19:361 (anomalous advance 43.11±0.45 ″/cy); ' +
|
|
37
|
-
'orbital elements NASA Mercury fact sheet (J2000); Einstein 1915 SPAW 831.',
|
|
38
|
-
};
|
|
39
|
-
/**
|
|
40
|
-
* Recompute BE-52's GR perihelion advance for an orbit and confront it with the
|
|
41
|
-
* measured anomalous precession (G-3: confrontation with real data, not
|
|
42
|
-
* reproduction of a closed form — here for an established bridge).
|
|
43
|
-
*
|
|
44
|
-
* @public
|
|
45
|
-
*/
|
|
46
|
-
export function confrontBE52(obs = MERCURY) {
|
|
47
|
-
if (!(Number.isFinite(obs.observed_sigma_arcsec_per_century) && obs.observed_sigma_arcsec_per_century > 0)) {
|
|
48
|
-
throw new RangeError('confrontBE52: observed_sigma must be finite and > 0');
|
|
49
|
-
}
|
|
50
|
-
// evaluatePerihelionPrecession validates mass/axis/eccentricity/period.
|
|
51
|
-
const pred = evaluatePerihelionPrecession({
|
|
52
|
-
M_kg: obs.central_mass_kg,
|
|
53
|
-
a_m: obs.semi_major_axis_m,
|
|
54
|
-
e: obs.eccentricity,
|
|
55
|
-
T_yr: obs.period_yr,
|
|
56
|
-
});
|
|
57
|
-
const predicted = pred.dphi_arcsec_per_century;
|
|
58
|
-
const observed = obs.observed_precession_arcsec_per_century;
|
|
59
|
-
const residual = predicted - observed;
|
|
60
|
-
const residual_in_sigma = Math.abs(residual) / obs.observed_sigma_arcsec_per_century;
|
|
61
|
-
return {
|
|
62
|
-
predicted_arcsec_per_century: predicted,
|
|
63
|
-
observed_arcsec_per_century: observed,
|
|
64
|
-
residual_arcsec_per_century: residual,
|
|
65
|
-
residual_in_sigma,
|
|
66
|
-
withinObserved: residual_in_sigma <= 1,
|
|
67
|
-
observation: obs,
|
|
68
|
-
};
|
|
69
|
-
}
|
|
70
|
-
//# sourceMappingURL=be52-mercury-confrontation.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be52-mercury-confrontation.js","sourceRoot":"","sources":["../../src/bridges/be52-mercury-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAuBvD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,OAAO,GAA0B;IAC5C,oEAAoE;IACpE,sCAAsC;IACtC,eAAe,EAAE,SAAS,GAAG,IAAI;IACjC,iBAAiB,EAAE,UAAU;IAC7B,YAAY,EAAE,QAAQ;IACtB,SAAS,EAAE,SAAS,EAAE,oBAAoB;IAC1C,sCAAsC,EAAE,KAAK;IAC7C,iCAAiC,EAAE,IAAI;IACvC,QAAQ,EACN,6EAA6E;QAC7E,2EAA2E;CAC9E,CAAC;AAqBF;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,GAAG,GAA0B,OAAO;IAEpC,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,iCAAiC,CAAC,IAAI,GAAG,CAAC,iCAAiC,GAAG,CAAC,CAAC,EAAE,CAAC;QAC3G,MAAM,IAAI,UAAU,CAAC,qDAAqD,CAAC,CAAC;IAC9E,CAAC;IACD,wEAAwE;IACxE,MAAM,IAAI,GAAG,4BAA4B,CAAC;QACxC,IAAI,EAAE,GAAG,CAAC,eAAe;QACzB,GAAG,EAAE,GAAG,CAAC,iBAAiB;QAC1B,CAAC,EAAE,GAAG,CAAC,YAAY;QACnB,IAAI,EAAE,GAAG,CAAC,SAAS;KACpB,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,IAAI,CAAC,uBAAuB,CAAC;IAC/C,MAAM,QAAQ,GAAG,GAAG,CAAC,sCAAsC,CAAC;IAC5D,MAAM,QAAQ,GAAG,SAAS,GAAG,QAAQ,CAAC;IACtC,MAAM,iBAAiB,GACrB,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,GAAG,CAAC,iCAAiC,CAAC;IAC7D,OAAO;QACL,4BAA4B,EAAE,SAAS;QACvC,2BAA2B,EAAE,QAAQ;QACrC,2BAA2B,EAAE,QAAQ;QACrC,iBAAiB;QACjB,cAAc,EAAE,iBAAiB,IAAI,CAAC;QACtC,WAAW,EAAE,GAAG;KACjB,CAAC;AACJ,CAAC"}
|
|
@@ -1,81 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* BE-53 confrontation request.
|
|
3
|
-
*
|
|
4
|
-
* The bridge evaluator returns the one-loop coefficient. A confrontation
|
|
5
|
-
* exists only when the caller supplies both a measured-coupling table and a
|
|
6
|
-
* running procedure whose record states a loop order and flavor thresholds.
|
|
7
|
-
* The one-loop formula is not that procedure. A refusal names the missing
|
|
8
|
-
* inputs and carries no residual. It does not change the bridge's catalog
|
|
9
|
-
* status, and it is not a pass and not a fail.
|
|
10
|
-
*
|
|
11
|
-
* @module bridges/be53-yang-mills-confrontation
|
|
12
|
-
*/
|
|
13
|
-
import type { ConfrontationOutcome } from './observations/types.js';
|
|
14
|
-
import { evaluateYangMillsBeta } from './equations/be-53-yang-mills-beta.js';
|
|
15
|
-
/** One row of a caller-supplied measured-coupling table. @public */
|
|
16
|
-
export interface MeasuredCouplingRow {
|
|
17
|
-
/** Scale at which the coupling was measured. */
|
|
18
|
-
readonly scale: number;
|
|
19
|
-
/** Central value at `scale`. */
|
|
20
|
-
readonly value: number;
|
|
21
|
-
/** Uncertainty on `value`. Must be finite and greater than 0. */
|
|
22
|
-
readonly uncertainty: number;
|
|
23
|
-
/** Citation for this row, as the caller states it. */
|
|
24
|
-
readonly citation: string;
|
|
25
|
-
}
|
|
26
|
-
/** What a running procedure must state before it can be compared. @public */
|
|
27
|
-
export interface RunningProcedureRecord {
|
|
28
|
-
/** Loop order of the running, as the caller states it. */
|
|
29
|
-
readonly loopOrder: string;
|
|
30
|
-
/** Flavor thresholds of the running, as the caller states them. */
|
|
31
|
-
readonly flavorThresholds: string;
|
|
32
|
-
}
|
|
33
|
-
/**
|
|
34
|
-
* A caller-supplied running procedure. `at` returns the procedure's coupling
|
|
35
|
-
* at a scale. It is not `evaluateYangMillsBeta`.
|
|
36
|
-
*
|
|
37
|
-
* @public
|
|
38
|
-
*/
|
|
39
|
-
export interface RunningProcedure {
|
|
40
|
-
readonly record: RunningProcedureRecord;
|
|
41
|
-
at(scale: number): number;
|
|
42
|
-
}
|
|
43
|
-
/** What a caller may pass. Absent fields are missing inputs, not defaults. @public */
|
|
44
|
-
export interface YangMillsConfrontationRequest {
|
|
45
|
-
readonly table?: readonly MeasuredCouplingRow[] | null;
|
|
46
|
-
/**
|
|
47
|
-
* A running procedure, or the one-loop formula itself. The formula is
|
|
48
|
-
* refused: it does not state a loop order or flavor thresholds.
|
|
49
|
-
*/
|
|
50
|
-
readonly procedure?: {
|
|
51
|
-
readonly record?: Partial<RunningProcedureRecord> | null;
|
|
52
|
-
readonly at?: ((scale: number) => number) | typeof evaluateYangMillsBeta;
|
|
53
|
-
} | typeof evaluateYangMillsBeta | null;
|
|
54
|
-
}
|
|
55
|
-
/** Refusal: the named inputs are missing, and no residual was computed. @public */
|
|
56
|
-
export interface YangMillsConfrontationRefusal {
|
|
57
|
-
readonly status: 'refused';
|
|
58
|
-
readonly missing: readonly string[];
|
|
59
|
-
}
|
|
60
|
-
/** A comparison that uses an outcome kind the confrontation registry already has. @public */
|
|
61
|
-
export interface YangMillsConfrontationHit {
|
|
62
|
-
readonly status: 'confronted';
|
|
63
|
-
readonly outcome: Extract<ConfrontationOutcome, {
|
|
64
|
-
kind: 'value';
|
|
65
|
-
}>;
|
|
66
|
-
}
|
|
67
|
-
/** A Yang-Mills confrontation either refuses, naming the missing or invalid inputs in `missing`, or reports a value outcome. @public */
|
|
68
|
-
export type YangMillsConfrontationResult = YangMillsConfrontationRefusal | YangMillsConfrontationHit;
|
|
69
|
-
/**
|
|
70
|
-
* Confront BE-53 only with a caller-supplied table and running procedure.
|
|
71
|
-
* Otherwise refuse. The refusal does not read or write the catalog.
|
|
72
|
-
*
|
|
73
|
-
* A table of several rows is one `value` outcome: the row with the largest
|
|
74
|
-
* absolute residual in units of its uncertainty (the earliest row on a tie).
|
|
75
|
-
* Every row is still evaluated, so a procedure that ignores a later scale
|
|
76
|
-
* is visible to the caller who checks `at`.
|
|
77
|
-
*
|
|
78
|
-
* @public
|
|
79
|
-
*/
|
|
80
|
-
export declare function requestYangMillsConfrontation(request?: YangMillsConfrontationRequest): YangMillsConfrontationResult;
|
|
81
|
-
//# sourceMappingURL=be53-yang-mills-confrontation.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be53-yang-mills-confrontation.d.ts","sourceRoot":"","sources":["../../src/bridges/be53-yang-mills-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAEpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAE7E,oEAAoE;AACpE,MAAM,WAAW,mBAAmB;IAClC,gDAAgD;IAChD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,gCAAgC;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,iEAAiE;IACjE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,sDAAsD;IACtD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,6EAA6E;AAC7E,MAAM,WAAW,sBAAsB;IACrC,0DAA0D;IAC1D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,mEAAmE;IACnE,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;CACnC;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC;IACxC,EAAE,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAAC;CAC3B;AAED,sFAAsF;AACtF,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,mBAAmB,EAAE,GAAG,IAAI,CAAC;IACvD;;;OAGG;IACH,QAAQ,CAAC,SAAS,CAAC,EACf;QACE,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,sBAAsB,CAAC,GAAG,IAAI,CAAC;QACzD,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,GAAG,OAAO,qBAAqB,CAAC;KAC1E,GACD,OAAO,qBAAqB,GAC5B,IAAI,CAAC;CACV;AAED,mFAAmF;AACnF,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,6FAA6F;AAC7F,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,oBAAoB,EAAE;QAAE,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;CACpE;AAED,wIAAwI;AACxI,MAAM,MAAM,4BAA4B,GAAG,6BAA6B,GAAG,yBAAyB,CAAC;AAiDrG;;;;;;;;;;GAUG;AACH,wBAAgB,6BAA6B,CAC3C,OAAO,GAAE,6BAAkC,GAC1C,4BAA4B,CA6C9B"}
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be53-yang-mills-confrontation.js","sourceRoot":"","sources":["../../src/bridges/be53-yang-mills-confrontation.ts"],"names":[],"mappings":"AAaA,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAgE7E,SAAS,KAAK,CAAC,KAAyB;IACtC,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;AACpD,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC7D,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CAAC,OAAsC;IAC3D,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,OAAO,CAAC,KAAK,IAAI,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAE/E,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;IACpC,IAAI,SAAS,IAAI,IAAI,EAAE,CAAC;QACtB,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAClC,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,IAAI,OAAO,SAAS,KAAK,UAAU,IAAK,SAAS,CAAC,EAAc,KAAK,qBAAqB,EAAE,CAAC;QAC3F,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,mBAAmB,CAAC,CAAC;QAChD,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;IAChC,IAAI,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACzD,IAAI,KAAK,CAAC,MAAM,EAAE,gBAAgB,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IACvE,IAAI,OAAO,SAAS,CAAC,EAAE,KAAK,UAAU;QAAE,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAC1E,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,WAAW,CAAC,KAAqC;IACxD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC5E,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC5E,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,WAAW,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;YAC1F,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI,CAAC,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YACtG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,6BAA6B,CAC3C,OAAO,GAAkC,EAAE;IAE3C,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;IAC9D,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;IAClC,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IACtC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IAE7E,MAAM,SAAS,GAAG,OAAO,CAAC,SAA6B,CAAC;IACxD,IAAI,QAAgH,CAAC;IACrH,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,MAAM,SAAS,GAAG,SAAS,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC;YAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,kBAAkB,CAAC,EAAE,CAAC;QACpF,MAAM,QAAQ,GAAG,eAAe,CAAC,SAAS,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;QACxE,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,GAAG,QAAQ,CAAC,QAAQ,EAAE,CAAC;YAC3D,QAAQ,GAAG;gBACT,SAAS;gBACT,QAAQ,EAAE,GAAG,CAAC,KAAK;gBACnB,KAAK,EAAE,GAAG,CAAC,WAAW;gBACtB,QAAQ,EAAE,GAAG,CAAC,QAAQ;gBACtB,QAAQ;aACT,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;IAE7E,OAAO;QACL,MAAM,EAAE,YAAY;QACpB,OAAO,EAAE;YACP,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,eAAe,EAAE,QAAQ,CAAC,QAAQ;YAClC,cAAc,EAAE,QAAQ,CAAC,QAAQ,IAAI,CAAC;YACtC,KAAK,EAAE,iBAAiB;YACxB,UAAU,EAAE;gBACV,QAAQ,EAAE,QAAQ,CAAC,QAAQ;gBAC3B,IAAI,EAAE,CAAC;gBACP,SAAS,EAAE,cAAc;gBACzB,IAAI,EAAE,mIAAmI;aAC1I;YACD,aAAa,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;YACxC,YAAY,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;SACxC;KACF,CAAC;AACJ,CAAC"}
|
|
@@ -1,51 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* BE-55 × quantum-Hall universality — confront the TOPOLOGICAL quantization by
|
|
3
|
-
* its material-INDEPENDENCE, not its (post-2019 definitional) value.
|
|
4
|
-
*
|
|
5
|
-
* Post-2019 SI fixes h and e exactly, so R_K = h/e² is exact BY DEFINITION and
|
|
6
|
-
* confronting a measured R_H against h/(Ce²) is circular. The genuine empirical
|
|
7
|
-
* content of the integer quantum Hall effect is that the quantized Hall
|
|
8
|
-
* resistance is UNIVERSAL — identical across completely different materials,
|
|
9
|
-
* because it is set by a topological (Chern) invariant, not material details.
|
|
10
|
-
* The most stringent test: epitaxial graphene vs GaAs/AlGaAs agree to a relative
|
|
11
|
-
* 8.6×10⁻¹¹ (Janssen et al. 2012). Consistency confrontation: the material ratio
|
|
12
|
-
* is 1 to within 8.6×10⁻¹¹. (Adam/Eve vet 2026-07-05: GREEN/GREEN — non-circular.)
|
|
13
|
-
*
|
|
14
|
-
* @module bridges/be55-quantum-hall-confrontation
|
|
15
|
-
*/
|
|
16
|
-
import type { ObservationProvenance } from './observations/types.js';
|
|
17
|
-
/** A quantum-Hall universality (material-independence) observation. @public */
|
|
18
|
-
export interface QHUniversalityObservation {
|
|
19
|
-
/** Measured R_H(material A)/R_H(material B) ratio, ≈ 1. */
|
|
20
|
-
readonly observed_ratio: number;
|
|
21
|
-
/** Relative uncertainty on the material-independence (the universality bound). */
|
|
22
|
-
readonly relative_uncertainty: number;
|
|
23
|
-
readonly provenance: ObservationProvenance;
|
|
24
|
-
}
|
|
25
|
-
/**
|
|
26
|
-
* Janssen et al. 2012 graphene-vs-GaAs universality test: the quantized Hall
|
|
27
|
-
* resistance agrees between epitaxial graphene and a GaAs/AlGaAs heterostructure
|
|
28
|
-
* to a relative 8.6×10⁻¹¹ — the most stringent material-independence test.
|
|
29
|
-
*
|
|
30
|
-
* @public
|
|
31
|
-
*/
|
|
32
|
-
export declare const QH_UNIVERSALITY_JANSSEN_2012: QHUniversalityObservation;
|
|
33
|
-
/** Result of confronting BE-55 with a universality observation. @public */
|
|
34
|
-
export interface BE55ConfrontationResult {
|
|
35
|
-
/** The material-independence ratio a correct topological quantization yields: 1. */
|
|
36
|
-
readonly predicted_ratio: number;
|
|
37
|
-
/** The measured material ratio (≈ 1). */
|
|
38
|
-
readonly observed_ratio: number;
|
|
39
|
-
/** The universality bound (relative) — how tightly the ratio equals 1. */
|
|
40
|
-
readonly relative_uncertainty: number;
|
|
41
|
-
/** The ratio is consistent with 1 within the universality bound. */
|
|
42
|
-
readonly consistent: boolean;
|
|
43
|
-
readonly observation: QHUniversalityObservation;
|
|
44
|
-
}
|
|
45
|
-
/**
|
|
46
|
-
* Confront BE-55's topological quantization with a material-universality test.
|
|
47
|
-
*
|
|
48
|
-
* @public
|
|
49
|
-
*/
|
|
50
|
-
export declare function confrontBE55(obs?: QHUniversalityObservation): BE55ConfrontationResult;
|
|
51
|
-
//# sourceMappingURL=be55-quantum-hall-confrontation.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be55-quantum-hall-confrontation.d.ts","sourceRoot":"","sources":["../../src/bridges/be55-quantum-hall-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAErE,+EAA+E;AAC/E,MAAM,WAAW,yBAAyB;IACxC,2DAA2D;IAC3D,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,kFAAkF;IAClF,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;CAC5C;AAED;;;;;;GAMG;AACH,eAAO,MAAM,4BAA4B,EAAE,yBAU1C,CAAC;AAEF,2EAA2E;AAC3E,MAAM,WAAW,uBAAuB;IACtC,oFAAoF;IACpF,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,yCAAyC;IACzC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,0EAA0E;IAC1E,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,oEAAoE;IACpE,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,yBAAyB,CAAC;CACjD;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAC1B,GAAG,GAAE,yBAAwD,GAC5D,uBAAuB,CAQzB"}
|
|
@@ -1,32 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Janssen et al. 2012 graphene-vs-GaAs universality test: the quantized Hall
|
|
3
|
-
* resistance agrees between epitaxial graphene and a GaAs/AlGaAs heterostructure
|
|
4
|
-
* to a relative 8.6×10⁻¹¹ — the most stringent material-independence test.
|
|
5
|
-
*
|
|
6
|
-
* @public
|
|
7
|
-
*/
|
|
8
|
-
export const QH_UNIVERSALITY_JANSSEN_2012 = {
|
|
9
|
-
observed_ratio: 1,
|
|
10
|
-
relative_uncertainty: 8.6e-11,
|
|
11
|
-
provenance: {
|
|
12
|
-
citation: 'Janssen, Williams, Fletcher, Goebel, Tzalenchuk, Yakimova, Lara-Avila, Kubatkin & Fal’ko 2012, Metrologia 49:294 (arXiv:1105.4055), "Graphene, universality of the quantum Hall effect and redefinition of the SI"',
|
|
13
|
-
year: 2012,
|
|
14
|
-
retrieved: '2026-07-05',
|
|
15
|
-
note: 'Material-INDEPENDENCE test: epitaxial graphene vs GaAs/AlGaAs quantized Hall resistance agree to a relative 8.6e-11 — a non-circular empirical test of the TOPOLOGICAL quantization (post-2019 SI makes R_K=h/e2 exact by definition, so the value itself is not a data test; the universality is). Confirms the Hall conductance is fixed by a Chern invariant, not material details.',
|
|
16
|
-
},
|
|
17
|
-
};
|
|
18
|
-
/**
|
|
19
|
-
* Confront BE-55's topological quantization with a material-universality test.
|
|
20
|
-
*
|
|
21
|
-
* @public
|
|
22
|
-
*/
|
|
23
|
-
export function confrontBE55(obs = QH_UNIVERSALITY_JANSSEN_2012) {
|
|
24
|
-
return {
|
|
25
|
-
predicted_ratio: 1,
|
|
26
|
-
observed_ratio: obs.observed_ratio,
|
|
27
|
-
relative_uncertainty: obs.relative_uncertainty,
|
|
28
|
-
consistent: Math.abs(obs.observed_ratio - 1) <= obs.relative_uncertainty,
|
|
29
|
-
observation: obs,
|
|
30
|
-
};
|
|
31
|
-
}
|
|
32
|
-
//# sourceMappingURL=be55-quantum-hall-confrontation.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be55-quantum-hall-confrontation.js","sourceRoot":"","sources":["../../src/bridges/be55-quantum-hall-confrontation.ts"],"names":[],"mappings":"AA0BA;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAA8B;IACrE,cAAc,EAAE,CAAC;IACjB,oBAAoB,EAAE,OAAO;IAC7B,UAAU,EAAE;QACV,QAAQ,EACN,oNAAoN;QACtN,IAAI,EAAE,IAAI;QACV,SAAS,EAAE,YAAY;QACvB,IAAI,EAAE,wXAAwX;KAC/X;CACF,CAAC;AAeF;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAC1B,GAAG,GAA8B,4BAA4B;IAE7D,OAAO;QACL,eAAe,EAAE,CAAC;QAClB,cAAc,EAAE,GAAG,CAAC,cAAc;QAClC,oBAAoB,EAAE,GAAG,CAAC,oBAAoB;QAC9C,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,cAAc,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,oBAAoB;QACxE,WAAW,EAAE,GAAG;KACjB,CAAC;AACJ,CAAC"}
|
|
@@ -1,24 +0,0 @@
|
|
|
1
|
-
/** The von Klitzing constant R_K = h/e² (Ω). Post-2019 SI: exact. @public */
|
|
2
|
-
export declare const VON_KLITZING_SI: number;
|
|
3
|
-
/** Inputs for the quantized Hall conductance/resistance. @internal */
|
|
4
|
-
export interface QuantumHallInputs {
|
|
5
|
-
/** The integer TKNN/Chern number C (Hall plateau index / filling factor). */
|
|
6
|
-
readonly C: number;
|
|
7
|
-
}
|
|
8
|
-
/** Result of evaluating the integer quantum Hall relation. @internal */
|
|
9
|
-
export interface QuantumHallResult {
|
|
10
|
-
readonly C: number;
|
|
11
|
-
/** Hall conductance σ_xy = C·e²/h (siemens, S). */
|
|
12
|
-
readonly sigma_xy_S: number;
|
|
13
|
-
/** Hall resistance R_H = R_K/C = h/(C·e²) (ohm, Ω). */
|
|
14
|
-
readonly R_H_ohm: number;
|
|
15
|
-
/** The von Klitzing constant R_K = h/e² (ohm, Ω). */
|
|
16
|
-
readonly R_K_ohm: number;
|
|
17
|
-
}
|
|
18
|
-
/**
|
|
19
|
-
* Evaluate the integer quantum Hall relation for plateau index (Chern number) C.
|
|
20
|
-
*
|
|
21
|
-
* @internal
|
|
22
|
-
*/
|
|
23
|
-
export declare function evaluateQuantumHall({ C }: QuantumHallInputs): QuantumHallResult;
|
|
24
|
-
//# sourceMappingURL=be55-quantum-hall.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be55-quantum-hall.d.ts","sourceRoot":"","sources":["../../src/bridges/be55-quantum-hall.ts"],"names":[],"mappings":"AA2BA,6EAA6E;AAC7E,eAAO,MAAM,eAAe,QAAuB,CAAC;AAEpD,sEAAsE;AACtE,MAAM,WAAW,iBAAiB;IAChC,6EAA6E;IAC7E,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,wEAAwE;AACxE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,mDAAmD;IACnD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,uDAAuD;IACvD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,qDAAqD;IACrD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,EAAE,CAAC,EAAE,EAAE,iBAAiB,GAAG,iBAAiB,CAa/E"}
|
|
@@ -1,46 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Bridge Equation 55 — Integer Quantum Hall effect / TKNN (topology ↔ transport).
|
|
3
|
-
*
|
|
4
|
-
* The Hall conductance of a 2D electron gas in a strong magnetic field is
|
|
5
|
-
* quantized in integer multiples of e²/h:
|
|
6
|
-
*
|
|
7
|
-
* σ_xy = C · e²/h,
|
|
8
|
-
*
|
|
9
|
-
* where C is an integer — the TKNN invariant (Thouless-Kohmoto-Nightingale-den
|
|
10
|
-
* Nijs, 1982), a topological (Chern) number of the filled Landau/Bloch bands.
|
|
11
|
-
* Equivalently the Hall RESISTANCE is quantized, R_H = R_K / C, with the von
|
|
12
|
-
* Klitzing constant R_K = h/e² (≈ 25 812.807 Ω). The quantization is
|
|
13
|
-
* material-INDEPENDENT — a topological invariant, not a material property — which
|
|
14
|
-
* is the empirically striking content (confirmed to ~1×10⁻¹⁰ across graphene vs
|
|
15
|
-
* GaAs/AlGaAs; see `be55-quantum-hall-confrontation.ts`).
|
|
16
|
-
*
|
|
17
|
-
* This bridge populates the rank-6 tensor's **Topology** axis: a topological
|
|
18
|
-
* invariant (Chern number) fixes an electrical-transport observable. Discovered
|
|
19
|
-
* by von Klitzing 1980 (Nobel 1985); topological interpretation TKNN 1982.
|
|
20
|
-
*
|
|
21
|
-
* Closed-form evaluator (BE-51/52 pattern; no AST round-trip). Dimensional
|
|
22
|
-
* signature: σ_xy is an electrical conductance [I² T³ M⁻¹ L⁻²].
|
|
23
|
-
*
|
|
24
|
-
* @module bridges/be55-quantum-hall
|
|
25
|
-
*/
|
|
26
|
-
import { H_SI, E_SI } from '../core/constants.js';
|
|
27
|
-
/** The von Klitzing constant R_K = h/e² (Ω). Post-2019 SI: exact. @public */
|
|
28
|
-
export const VON_KLITZING_SI = H_SI / (E_SI * E_SI);
|
|
29
|
-
/**
|
|
30
|
-
* Evaluate the integer quantum Hall relation for plateau index (Chern number) C.
|
|
31
|
-
*
|
|
32
|
-
* @internal
|
|
33
|
-
*/
|
|
34
|
-
export function evaluateQuantumHall({ C }) {
|
|
35
|
-
if (!Number.isInteger(C) || C === 0) {
|
|
36
|
-
throw new Error('evaluateQuantumHall: C must be a nonzero integer (TKNN/Chern number)');
|
|
37
|
-
}
|
|
38
|
-
const R_K_ohm = VON_KLITZING_SI;
|
|
39
|
-
return {
|
|
40
|
-
C,
|
|
41
|
-
sigma_xy_S: (C * E_SI * E_SI) / H_SI,
|
|
42
|
-
R_H_ohm: R_K_ohm / C,
|
|
43
|
-
R_K_ohm,
|
|
44
|
-
};
|
|
45
|
-
}
|
|
46
|
-
//# sourceMappingURL=be55-quantum-hall.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be55-quantum-hall.js","sourceRoot":"","sources":["../../src/bridges/be55-quantum-hall.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAElD,6EAA6E;AAC7E,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC;AAmBpD;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,EAAE,CAAC,EAAqB;IAC1D,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CACb,sEAAsE,CACvE,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,eAAe,CAAC;IAChC,OAAO;QACL,CAAC;QACD,UAAU,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,IAAI;QACpC,OAAO,EAAE,OAAO,GAAG,CAAC;QACpB,OAAO;KACR,CAAC;AACJ,CAAC"}
|