universal-physics-tensor 6.1.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 +304 -1
- package/dist/atlas/physjs-entries.generated.d.ts.map +1 -1
- package/dist/atlas/physjs-entries.generated.js +341 -1
- package/dist/atlas/physjs-entries.generated.js.map +1 -1
- package/dist/atlas/physjs-ref.d.ts +7 -1
- package/dist/atlas/physjs-ref.d.ts.map +1 -1
- package/dist/atlas/physjs-ref.js +10 -85
- 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 +30 -8
- 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 -354
- 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 -352
- package/dist/bridges/index.d.ts.map +1 -1
- package/dist/bridges/index.js +17 -3306
- 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.d.ts.map +1 -1
- package/dist/canonical/entries/atomic.js +5 -4
- 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.d.ts.map +1 -1
- package/dist/canonical/entries/electromagnetism.js +7 -3
- 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/_discovery-opts.d.ts.map +1 -1
- package/dist/cli/commands/_discovery-opts.js +18 -1
- package/dist/cli/commands/_discovery-opts.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 +11 -1
- 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 +44 -27
- 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 +16 -3
- package/dist/cli/commands/explain.js.map +1 -1
- package/dist/cli/commands/map.js +1 -1
- package/dist/cli/commands/map.js.map +1 -1
- package/dist/cli/commands/regime.d.ts.map +1 -1
- package/dist/cli/commands/regime.js +15 -3
- package/dist/cli/commands/regime.js.map +1 -1
- package/dist/cli/commands/symbolic.d.ts.map +1 -1
- package/dist/cli/commands/symbolic.js +5 -4
- package/dist/cli/commands/symbolic.js.map +1 -1
- package/dist/cli/search-index.d.ts +1 -1
- package/dist/cli/search-index.js +1 -1
- package/dist/cli/search-index.js.map +1 -1
- package/dist/cli-api.d.ts +13 -2
- package/dist/cli-api.d.ts.map +1 -1
- package/dist/cli-api.js +13 -2
- package/dist/cli-api.js.map +1 -1
- package/dist/composition/aliases.d.ts +10 -29
- package/dist/composition/aliases.d.ts.map +1 -1
- package/dist/composition/aliases.js +17 -66
- package/dist/composition/aliases.js.map +1 -1
- package/dist/composition/canonical-compare.d.ts.map +1 -1
- package/dist/composition/canonical-compare.js +4 -3
- package/dist/composition/canonical-compare.js.map +1 -1
- package/dist/composition/canonical-graph.d.ts +12 -7
- package/dist/composition/canonical-graph.d.ts.map +1 -1
- package/dist/composition/canonical-graph.js +78 -20
- 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 -45
- 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 +18 -0
- package/dist/composition/evaluate-relation.d.ts.map +1 -1
- package/dist/composition/evaluate-relation.js +103 -18
- 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 +6 -13
- package/dist/composition/index.d.ts.map +1 -1
- package/dist/composition/index.js +6 -13
- package/dist/composition/index.js.map +1 -1
- package/dist/composition/quantities.d.ts +11 -26
- package/dist/composition/quantities.d.ts.map +1 -1
- package/dist/composition/quantities.js +29 -28
- package/dist/composition/quantities.js.map +1 -1
- package/dist/composition/user-equation.d.ts +3 -20
- package/dist/composition/user-equation.d.ts.map +1 -1
- package/dist/composition/user-equation.js +8 -55
- 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 -214
- package/dist/dimensional/bridge-check.js.map +1 -1
- package/dist/dimensional/formula-names.d.ts +65 -0
- package/dist/dimensional/formula-names.d.ts.map +1 -1
- package/dist/dimensional/formula-names.js +150 -2
- 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 +274 -60
- package/dist/dimensional/units.js.map +1 -1
- package/dist/index.d.ts +23 -59
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +14 -45
- package/dist/index.js.map +1 -1
- package/dist/numerical/binding-value.d.ts.map +1 -1
- package/dist/numerical/binding-value.js +75 -24
- 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/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/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/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,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"}
|
|
@@ -1,52 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* BE-56 × Casimir force — confront the quantum-vacuum force against measurement.
|
|
3
|
-
*
|
|
4
|
-
* The ideal F/A = −π²ℏc/(240 d⁴) is the leading term for perfect conductors at
|
|
5
|
-
* T=0. Real experiments (Lamoreaux 1997 torsion pendulum; Mohideen & Roy 1998
|
|
6
|
-
* AFM) use sphere-plate geometry and require finite-conductivity, surface-
|
|
7
|
-
* roughness, temperature, and electrostatic-patch corrections. With those
|
|
8
|
-
* corrections applied, the measured force agrees with theory to ~1% (Mohideen-
|
|
9
|
-
* Roy, smallest separation) / ~5% (Lamoreaux). Consistency confrontation: the
|
|
10
|
-
* measured/theory ratio is 1 to within ~1%.
|
|
11
|
-
*
|
|
12
|
-
* HONESTY CAVEAT (Adam/Eve vet 2026-07-05, Eve YELLOW): this tests the CORRECTED
|
|
13
|
-
* theory and is SYSTEMATICS-DOMINATED — it is not a clean test of the bare
|
|
14
|
-
* π²ℏc/240d⁴ coefficient. The provenance records this.
|
|
15
|
-
*
|
|
16
|
-
* @module bridges/be56-casimir-confrontation
|
|
17
|
-
*/
|
|
18
|
-
import type { ObservationProvenance } from './observations/types.js';
|
|
19
|
-
/** A Casimir-force measurement-vs-theory agreement observation. @public */
|
|
20
|
-
export interface CasimirAgreementObservation {
|
|
21
|
-
/** Measured/theory force ratio, ≈ 1 (theory = corrected, not ideal). */
|
|
22
|
-
readonly observed_ratio: number;
|
|
23
|
-
/** Fractional agreement (e.g. 0.01 for ~1%). */
|
|
24
|
-
readonly agreement: number;
|
|
25
|
-
readonly provenance: ObservationProvenance;
|
|
26
|
-
}
|
|
27
|
-
/**
|
|
28
|
-
* Mohideen & Roy 1998 AFM measurement: the Casimir force agrees with the
|
|
29
|
-
* corrected theory to ~1% at the smallest separation (0.1–0.9 μm).
|
|
30
|
-
*
|
|
31
|
-
* @public
|
|
32
|
-
*/
|
|
33
|
-
export declare const CASIMIR_MOHIDEEN_ROY_1998: CasimirAgreementObservation;
|
|
34
|
-
/** Result of confronting BE-56 with a Casimir measurement. @public */
|
|
35
|
-
export interface BE56ConfrontationResult {
|
|
36
|
-
/** The measured/theory ratio a correct theory yields: 1. */
|
|
37
|
-
readonly predicted_ratio: number;
|
|
38
|
-
/** The measured ratio (≈ 1). */
|
|
39
|
-
readonly observed_ratio: number;
|
|
40
|
-
/** Fractional agreement level. */
|
|
41
|
-
readonly agreement: number;
|
|
42
|
-
/** The ratio is consistent with 1 within the agreement level. */
|
|
43
|
-
readonly consistent: boolean;
|
|
44
|
-
readonly observation: CasimirAgreementObservation;
|
|
45
|
-
}
|
|
46
|
-
/**
|
|
47
|
-
* Confront BE-56's Casimir pressure with a measurement (vs corrected theory).
|
|
48
|
-
*
|
|
49
|
-
* @public
|
|
50
|
-
*/
|
|
51
|
-
export declare function confrontBE56(obs?: CasimirAgreementObservation): BE56ConfrontationResult;
|
|
52
|
-
//# sourceMappingURL=be56-casimir-confrontation.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be56-casimir-confrontation.d.ts","sourceRoot":"","sources":["../../src/bridges/be56-casimir-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAErE,2EAA2E;AAC3E,MAAM,WAAW,2BAA2B;IAC1C,wEAAwE;IACxE,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,gDAAgD;IAChD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;CAC5C;AAED;;;;;GAKG;AACH,eAAO,MAAM,yBAAyB,EAAE,2BAUvC,CAAC;AAEF,sEAAsE;AACtE,MAAM,WAAW,uBAAuB;IACtC,4DAA4D;IAC5D,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,gCAAgC;IAChC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,kCAAkC;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,iEAAiE;IACjE,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,2BAA2B,CAAC;CACnD;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAC1B,GAAG,GAAE,2BAAuD,GAC3D,uBAAuB,CAQzB"}
|
|
@@ -1,31 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Mohideen & Roy 1998 AFM measurement: the Casimir force agrees with the
|
|
3
|
-
* corrected theory to ~1% at the smallest separation (0.1–0.9 μm).
|
|
4
|
-
*
|
|
5
|
-
* @public
|
|
6
|
-
*/
|
|
7
|
-
export const CASIMIR_MOHIDEEN_ROY_1998 = {
|
|
8
|
-
observed_ratio: 1,
|
|
9
|
-
agreement: 0.01,
|
|
10
|
-
provenance: {
|
|
11
|
-
citation: 'Mohideen & Roy 1998, Phys. Rev. Lett. 81:4549 (arXiv:physics/9805038), "Precision Measurement of the Casimir Force from 0.1 to 0.9 μm"; earlier: Lamoreaux 1997, Phys. Rev. Lett. 78:5 (~5%)',
|
|
12
|
-
year: 1998,
|
|
13
|
-
retrieved: '2026-07-05',
|
|
14
|
-
note: 'Measured Casimir force agrees with theory to ~1% at smallest separation. SYSTEMATICS-DOMINATED: real experiments are sphere-plate and require finite-conductivity/surface-roughness/temperature/electrostatic-patch corrections — this tests the CORRECTED theory, NOT the bare ideal π²ℏc/240d⁴ coefficient (Adam/Eve vet, Eve YELLOW). A consistency statement, not a clean coefficient test.',
|
|
15
|
-
},
|
|
16
|
-
};
|
|
17
|
-
/**
|
|
18
|
-
* Confront BE-56's Casimir pressure with a measurement (vs corrected theory).
|
|
19
|
-
*
|
|
20
|
-
* @public
|
|
21
|
-
*/
|
|
22
|
-
export function confrontBE56(obs = CASIMIR_MOHIDEEN_ROY_1998) {
|
|
23
|
-
return {
|
|
24
|
-
predicted_ratio: 1,
|
|
25
|
-
observed_ratio: obs.observed_ratio,
|
|
26
|
-
agreement: obs.agreement,
|
|
27
|
-
consistent: Math.abs(obs.observed_ratio - 1) <= obs.agreement,
|
|
28
|
-
observation: obs,
|
|
29
|
-
};
|
|
30
|
-
}
|
|
31
|
-
//# sourceMappingURL=be56-casimir-confrontation.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be56-casimir-confrontation.js","sourceRoot":"","sources":["../../src/bridges/be56-casimir-confrontation.ts"],"names":[],"mappings":"AA4BA;;;;;GAKG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAgC;IACpE,cAAc,EAAE,CAAC;IACjB,SAAS,EAAE,IAAI;IACf,UAAU,EAAE;QACV,QAAQ,EACN,8LAA8L;QAChM,IAAI,EAAE,IAAI;QACV,SAAS,EAAE,YAAY;QACvB,IAAI,EAAE,iYAAiY;KACxY;CACF,CAAC;AAeF;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAC1B,GAAG,GAAgC,yBAAyB;IAE5D,OAAO;QACL,eAAe,EAAE,CAAC;QAClB,cAAc,EAAE,GAAG,CAAC,cAAc;QAClC,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,cAAc,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,SAAS;QAC7D,WAAW,EAAE,GAAG;KACjB,CAAC;AACJ,CAAC"}
|
|
@@ -1,18 +0,0 @@
|
|
|
1
|
-
/** Inputs for the ideal Casimir pressure. @internal */
|
|
2
|
-
export interface CasimirInputs {
|
|
3
|
-
/** Plate separation d (m), > 0. */
|
|
4
|
-
readonly d_m: number;
|
|
5
|
-
}
|
|
6
|
-
/** Result of evaluating the ideal Casimir pressure. @internal */
|
|
7
|
-
export interface CasimirResult {
|
|
8
|
-
readonly d_m: number;
|
|
9
|
-
/** Force per unit area F/A = −π²ℏc/(240 d⁴) (Pa; negative = attractive). */
|
|
10
|
-
readonly pressure_Pa: number;
|
|
11
|
-
}
|
|
12
|
-
/**
|
|
13
|
-
* Evaluate the ideal (perfect-conductor, T=0) Casimir pressure at separation d.
|
|
14
|
-
*
|
|
15
|
-
* @internal
|
|
16
|
-
*/
|
|
17
|
-
export declare function evaluateCasimir({ d_m }: CasimirInputs): CasimirResult;
|
|
18
|
-
//# sourceMappingURL=be56-casimir.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be56-casimir.d.ts","sourceRoot":"","sources":["../../src/bridges/be56-casimir.ts"],"names":[],"mappings":"AAwBA,uDAAuD;AACvD,MAAM,WAAW,aAAa;IAC5B,mCAAmC;IACnC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,iEAAiE;AACjE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,4EAA4E;IAC5E,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,EAAE,GAAG,EAAE,EAAE,aAAa,GAAG,aAAa,CAMrE"}
|
|
@@ -1,36 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Bridge Equation 56 — Casimir effect (quantum vacuum ↔ classical force).
|
|
3
|
-
*
|
|
4
|
-
* Two neutral, parallel, perfectly-conducting plates in vacuum attract, because
|
|
5
|
-
* the boundary conditions restrict the allowed electromagnetic vacuum modes
|
|
6
|
-
* between them. The ideal zero-temperature force per unit area is
|
|
7
|
-
*
|
|
8
|
-
* F/A = − π² ℏ c / (240 d⁴),
|
|
9
|
-
*
|
|
10
|
-
* (negative = attractive), d the plate separation. This bridges the QUANTUM
|
|
11
|
-
* vacuum (zero-point field fluctuations) to a CLASSICAL, macroscopic, measurable
|
|
12
|
-
* force. Predicted by Casimir 1948; measured by Lamoreaux 1997 and Mohideen &
|
|
13
|
-
* Roy 1998 (see `be56-casimir-confrontation.ts`).
|
|
14
|
-
*
|
|
15
|
-
* Closed-form evaluator (BE-51/52 pattern; no AST round-trip). Dimensional
|
|
16
|
-
* signature: pressure [L⁻¹ M T⁻²]. Note the REAL experiments use sphere-plate
|
|
17
|
-
* geometry and require finite-conductivity/roughness/temperature corrections —
|
|
18
|
-
* this ideal formula is the leading term, and the confrontation is honest about
|
|
19
|
-
* the corrections (Adam/Eve vet 2026-07-05, Eve YELLOW: systematics-dominated).
|
|
20
|
-
*
|
|
21
|
-
* @module bridges/be56-casimir
|
|
22
|
-
*/
|
|
23
|
-
import { HBAR_SI, C_SI } from '../core/constants.js';
|
|
24
|
-
/**
|
|
25
|
-
* Evaluate the ideal (perfect-conductor, T=0) Casimir pressure at separation d.
|
|
26
|
-
*
|
|
27
|
-
* @internal
|
|
28
|
-
*/
|
|
29
|
-
export function evaluateCasimir({ d_m }) {
|
|
30
|
-
if (!(d_m > 0)) {
|
|
31
|
-
throw new Error('evaluateCasimir: d_m (plate separation) must be > 0');
|
|
32
|
-
}
|
|
33
|
-
const pressure_Pa = -(Math.PI * Math.PI * HBAR_SI * C_SI) / (240 * d_m ** 4);
|
|
34
|
-
return { d_m, pressure_Pa };
|
|
35
|
-
}
|
|
36
|
-
//# sourceMappingURL=be56-casimir.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be56-casimir.js","sourceRoot":"","sources":["../../src/bridges/be56-casimir.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAerD;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,EAAE,GAAG,EAAiB;IACpD,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,WAAW,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC;IAC7E,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC9B,CAAC"}
|
|
@@ -1,18 +0,0 @@
|
|
|
1
|
-
/** Inputs for the Unruh temperature. @internal */
|
|
2
|
-
export interface UnruhInputs {
|
|
3
|
-
/** Proper acceleration a (m/s²), ≥ 0. */
|
|
4
|
-
readonly a_m_s2: number;
|
|
5
|
-
}
|
|
6
|
-
/** Result of evaluating the Unruh temperature. @internal */
|
|
7
|
-
export interface UnruhResult {
|
|
8
|
-
readonly a_m_s2: number;
|
|
9
|
-
/** Unruh temperature T = ℏa/(2π c k_B) (K). */
|
|
10
|
-
readonly T_K: number;
|
|
11
|
-
}
|
|
12
|
-
/**
|
|
13
|
-
* Evaluate the Unruh temperature for proper acceleration a.
|
|
14
|
-
*
|
|
15
|
-
* @internal
|
|
16
|
-
*/
|
|
17
|
-
export declare function evaluateUnruh({ a_m_s2 }: UnruhInputs): UnruhResult;
|
|
18
|
-
//# sourceMappingURL=be57-unruh.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be57-unruh.d.ts","sourceRoot":"","sources":["../../src/bridges/be57-unruh.ts"],"names":[],"mappings":"AAwBA,kDAAkD;AAClD,MAAM,WAAW,WAAW;IAC1B,yCAAyC;IACzC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,4DAA4D;AAC5D,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,+CAA+C;IAC/C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,EAAE,MAAM,EAAE,EAAE,WAAW,GAAG,WAAW,CAQlE"}
|
|
@@ -1,38 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Bridge Equation 57 — Unruh effect (acceleration/kinematics ↔ quantum-thermal).
|
|
3
|
-
*
|
|
4
|
-
* A uniformly accelerated observer in the Minkowski vacuum perceives a thermal
|
|
5
|
-
* bath at the Unruh temperature
|
|
6
|
-
*
|
|
7
|
-
* T = ℏ a / (2π c k_B),
|
|
8
|
-
*
|
|
9
|
-
* a = proper acceleration. This bridges KINEMATICS (acceleration) to a
|
|
10
|
-
* QUANTUM-THERMAL observable — the kinematic sibling of Hawking radiation
|
|
11
|
-
* (BE-42: horizon surface gravity κ → temperature via the same 2π factor,
|
|
12
|
-
* a → κ). Predicted by Fulling 1973 / Davies 1975 / Unruh 1976.
|
|
13
|
-
*
|
|
14
|
-
* Closed-form evaluator (BE-51/52 pattern). Dimensional signature: temperature.
|
|
15
|
-
*
|
|
16
|
-
* CONFRONTATION DEFERRED: lab accelerations give T ≈ 4×10⁻²⁰ K per 1g —
|
|
17
|
-
* unmeasurable; analog-gravity results are indirect. Encoded as an established
|
|
18
|
-
* bridge with NO data test (Adam/Eve vet 2026-07-05: DEFER/DEFER). There is no
|
|
19
|
-
* `be57-*-confrontation.ts`; BE-57 is not in DATA_CONFRONTED_IDS.
|
|
20
|
-
*
|
|
21
|
-
* @module bridges/be57-unruh
|
|
22
|
-
*/
|
|
23
|
-
import { HBAR_SI, C_SI, K_B_SI } from '../core/constants.js';
|
|
24
|
-
/**
|
|
25
|
-
* Evaluate the Unruh temperature for proper acceleration a.
|
|
26
|
-
*
|
|
27
|
-
* @internal
|
|
28
|
-
*/
|
|
29
|
-
export function evaluateUnruh({ a_m_s2 }) {
|
|
30
|
-
if (!(a_m_s2 >= 0)) {
|
|
31
|
-
throw new Error('evaluateUnruh: a_m_s2 (proper acceleration) must be ≥ 0');
|
|
32
|
-
}
|
|
33
|
-
return {
|
|
34
|
-
a_m_s2,
|
|
35
|
-
T_K: (HBAR_SI * a_m_s2) / (2 * Math.PI * C_SI * K_B_SI),
|
|
36
|
-
};
|
|
37
|
-
}
|
|
38
|
-
//# sourceMappingURL=be57-unruh.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be57-unruh.js","sourceRoot":"","sources":["../../src/bridges/be57-unruh.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAe7D;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,EAAE,MAAM,EAAe;IACnD,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO;QACL,MAAM;QACN,GAAG,EAAE,CAAC,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,GAAG,MAAM,CAAC;KACxD,CAAC;AACJ,CAAC"}
|
|
@@ -1,57 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* BE-58 × Johnson Noise Thermometry — confront S_V = 4 k_B T R against data.
|
|
3
|
-
*
|
|
4
|
-
* If the Johnson-Nyquist relation S_V = 4 k_B T R holds, then measuring the
|
|
5
|
-
* thermal voltage noise of a resistor at a known temperature DETERMINES the
|
|
6
|
-
* Boltzmann constant k_B. NIST's Johnson Noise Thermometry (JNT) did exactly
|
|
7
|
-
* this: k_B = 1.3806429(69)×10⁻²³ J/K, a relative offset −4.05×10⁻⁶ ± 5.0×10⁻⁶
|
|
8
|
-
* from CODATA 2014 → residual 0.81σ. This is a genuine, non-circular test: the
|
|
9
|
-
* resistance is traceable to the quantum Hall effect (BE-55) and the temperature
|
|
10
|
-
* to acoustic/ITS-90 thermometry, both INDEPENDENT of the noise relation. Any
|
|
11
|
-
* deviation from the factor-of-4 relation would make the JNT k_B inconsistent
|
|
12
|
-
* with k_B from acoustic gas thermometry or blackbody physics. (Adam/Eve vet
|
|
13
|
-
* 2026-07-05: GREEN/GREEN — factor-of-4 confirmed to < ppm.)
|
|
14
|
-
*
|
|
15
|
-
* @module bridges/be58-johnson-nyquist-confrontation
|
|
16
|
-
*/
|
|
17
|
-
import type { ObservationProvenance } from './observations/types.js';
|
|
18
|
-
/** CODATA 2014 Boltzmann constant (J/K) — the pre-2019 reference value. */
|
|
19
|
-
export declare const K_B_CODATA_2014 = 1.38064852e-23;
|
|
20
|
-
/** A JNT determination of k_B (J/K). @public */
|
|
21
|
-
export interface JNTObservation {
|
|
22
|
-
/** Measured k_B via the Nyquist relation (J/K). */
|
|
23
|
-
readonly k_B_measured: number;
|
|
24
|
-
/** 1σ absolute uncertainty (J/K). */
|
|
25
|
-
readonly sigma: number;
|
|
26
|
-
readonly provenance: ObservationProvenance;
|
|
27
|
-
}
|
|
28
|
-
/**
|
|
29
|
-
* NIST Johnson Noise Thermometry determination of k_B (Flowers-Jacobs et al.
|
|
30
|
-
* 2017): k_B = 1.3806429(69)×10⁻²³ J/K.
|
|
31
|
-
*
|
|
32
|
-
* @public
|
|
33
|
-
*/
|
|
34
|
-
export declare const JNT_FLOWERS_JACOBS_2017: JNTObservation;
|
|
35
|
-
/** Result of confronting BE-58 with a JNT k_B determination. @public */
|
|
36
|
-
export interface BE58ConfrontationResult {
|
|
37
|
-
/** The reference (CODATA) k_B the noise relation should reproduce (J/K). */
|
|
38
|
-
readonly predicted_k_B: number;
|
|
39
|
-
/** The JNT-measured k_B (J/K). */
|
|
40
|
-
readonly observed_k_B: number;
|
|
41
|
-
/** 1σ on the measurement (J/K). */
|
|
42
|
-
readonly sigma: number;
|
|
43
|
-
/** |predicted − observed| in units of σ. */
|
|
44
|
-
readonly residual_in_sigma: number;
|
|
45
|
-
/** Within 1σ. */
|
|
46
|
-
readonly withinObserved: boolean;
|
|
47
|
-
readonly observation: JNTObservation;
|
|
48
|
-
}
|
|
49
|
-
/**
|
|
50
|
-
* Confront BE-58's Johnson-Nyquist relation with a JNT determination of k_B.
|
|
51
|
-
* The bridge's factor-of-4 relation is "predicted" via the independently-known
|
|
52
|
-
* (CODATA) k_B; the JNT experiment "observes" k_B through the noise.
|
|
53
|
-
*
|
|
54
|
-
* @public
|
|
55
|
-
*/
|
|
56
|
-
export declare function confrontBE58(obs?: JNTObservation): BE58ConfrontationResult;
|
|
57
|
-
//# sourceMappingURL=be58-johnson-nyquist-confrontation.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be58-johnson-nyquist-confrontation.d.ts","sourceRoot":"","sources":["../../src/bridges/be58-johnson-nyquist-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAErE,2EAA2E;AAC3E,eAAO,MAAM,eAAe,iBAAiB,CAAC;AAE9C,gDAAgD;AAChD,MAAM,WAAW,cAAc;IAC7B,mDAAmD;IACnD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,qCAAqC;IACrC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;CAC5C;AAED;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,EAAE,cAUrC,CAAC;AAEF,wEAAwE;AACxE,MAAM,WAAW,uBAAuB;IACtC,4EAA4E;IAC5E,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,kCAAkC;IAClC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,mCAAmC;IACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,4CAA4C;IAC5C,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,iBAAiB;IACjB,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,cAAc,CAAC;CACtC;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,GAAG,GAAE,cAAwC,GAC5C,uBAAuB,CAWzB"}
|