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,196 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Bridge Equation 19 — Quantum Bounce (LQC modified Friedmann).
|
|
3
|
-
*
|
|
4
|
-
* H² = (8πG/3) ρ (1 − ρ/ρ_crit) + Λ/3
|
|
5
|
-
*
|
|
6
|
-
* H is the Hubble parameter [T^-1], ρ is energy/mass density [M L^-3],
|
|
7
|
-
* ρ_crit is the LQC bounce critical density [M L^-3], and Λ is the
|
|
8
|
-
* cosmological constant expressed in [T^-2] form (i.e. c² · Λ_[L^-2]).
|
|
9
|
-
*
|
|
10
|
-
* Encoding strategy: this module exports BOTH the legacy scalar-expression
|
|
11
|
-
* form (`QUANTUM_BOUNCE_RHS`, validated through the dimensional analyzer)
|
|
12
|
-
* AND the v0.7 structural form (`BE19_LQC_FRIEDMANN_STRUCTURAL`, a
|
|
13
|
-
* `FriedmannEquationNode` with `variant: 'lqc'`). The structural form is
|
|
14
|
-
* the PREFERRED encoding for future LQC-related work — it makes the
|
|
15
|
-
* "this is a modified-Friedmann equation" fact explicit at the type
|
|
16
|
-
* level and pattern-matchable via the `FriedmannVariant` discriminator.
|
|
17
|
-
* The legacy scalar-expression form is preserved unchanged for backward
|
|
18
|
-
* compatibility with `validate(QUANTUM_BOUNCE_RHS)` consumers and to
|
|
19
|
-
* keep the existing dimensional-signature round-trip green.
|
|
20
|
-
*
|
|
21
|
-
* Reference: Ashtekar-Singh 2011 review "Loop Quantum Cosmology: A
|
|
22
|
-
* Status Report" (arXiv:1108.0893). The (1 − ρ/ρ_crit) bounce factor is
|
|
23
|
-
* the LQC correction to standard Friedmann; at ρ = ρ_crit, H² = Λ/3 and
|
|
24
|
-
* the universe momentarily halts before re-expanding.
|
|
25
|
-
*
|
|
26
|
-
* Status: speculative — LQC-inspired. Reformulated 2026-05-05 (Wave I.B C1)
|
|
27
|
-
* to the canonical Ashtekar-Pawlowski-Singh γ-dependent form:
|
|
28
|
-
* ρ_crit = (√3 / (32π² γ³ ℓ_P²)) · (c²/G), γ ≈ 0.2375
|
|
29
|
-
* which yields ρ_crit ≈ 0.41 ρ_Planck ≈ 2.1×10⁹⁶ kg/m³ (Ashtekar-Pawlowski-
|
|
30
|
-
* Singh 2006 *Phys. Rev. D* 74:084003, arXiv:gr-qc/0607039; Ashtekar-Singh
|
|
31
|
-
* review arXiv:1108.0893; Meissner 2004 γ-fix gr-qc/0407052). The earlier
|
|
32
|
-
* dimensional-estimate ρ_crit = 3c²/(8πGℓ_P²) (~6.2×10⁹⁵ kg/m³) was off
|
|
33
|
-
* by ~3.4× because it omitted the γ³ Barbero-Immirzi factor.
|
|
34
|
-
*
|
|
35
|
-
* Reformulated 2026-05-06 (Wave P-A Tier 0-2, per Math iter-5 CRIT-2):
|
|
36
|
-
* docstring prefactor synced from "16π²" to "32π²" to match Part-I §6
|
|
37
|
-
* (Wave N Tier B reconciliation) and the formula_latex in
|
|
38
|
-
* src/bridges/index.ts BE-19. The "16π²" form yielded ~0.82 ρ_Planck
|
|
39
|
-
* (factor-of-2 off the canonical 0.41 ρ_Planck literature value).
|
|
40
|
-
*
|
|
41
|
-
* The AST takes ρ_crit as a free numerical input — the formula change in
|
|
42
|
-
* the spec/index does NOT require re-encoding here. Tests pinning the
|
|
43
|
-
* old "spec form" numerical value have been updated alongside this fix.
|
|
44
|
-
*
|
|
45
|
-
* Honest-claude scope notes:
|
|
46
|
-
* - We model Λ as a symbol in [T^-2]. The standard GR `Λ` has SI
|
|
47
|
-
* dimension [L^-2]; the rescaling `Λ_[T^-2] = c² Λ_[L^-2]` is the
|
|
48
|
-
* natural convention when writing `H² = ... + Λ/3` (compare Ryden,
|
|
49
|
-
* "Introduction to Cosmology" 2nd ed., §6, Eq. 6.32).
|
|
50
|
-
* - The bounce factor `1 - ρ/ρ_crit` is encoded as `(1 [dimensionless])
|
|
51
|
-
* - (ρ/ρ_crit)` so the AST '+/-' rule is satisfied.
|
|
52
|
-
*
|
|
53
|
-
* @see docs/specification/Part-I.md ("Bridge Equation 19: Quantum Bounce Equation")
|
|
54
|
-
* @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 19)
|
|
55
|
-
* @module bridges/equations/be-19-quantum-bounce
|
|
56
|
-
*/
|
|
57
|
-
import { DIMENSIONLESS, MASS_DENSITY, } from '../../dimensional/types.js';
|
|
58
|
-
import { G as DIM_G } from '../../dimensional/constants.js';
|
|
59
|
-
import { PhysicalConstants } from '../../core/types.js';
|
|
60
|
-
import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
|
|
61
|
-
// --- Symbolic AST ---
|
|
62
|
-
/** [T^-2] dimension for Λ in the c²-rescaled Friedmann form. */
|
|
63
|
-
const T_INV2 = {
|
|
64
|
-
L: 0, M: 0, T: -2, I: 0, Theta: 0, N: 0, J: 0,
|
|
65
|
-
};
|
|
66
|
-
// Note: this module rescales Λ from its raw GR form [L^-2] into [T^-2]
|
|
67
|
-
// via the standard `Λ_[T^-2] = c² · Λ_[L^-2]` convention (Ryden, "Intro
|
|
68
|
-
// to Cosmology" 2nd ed. §6, Eq. 6.32). A future encoding that wants raw
|
|
69
|
-
// Λ_[L^-2] should re-import LENGTH and remove the c² rescaling on the
|
|
70
|
-
// Lambda symbol.
|
|
71
|
-
/**
|
|
72
|
-
* RHS of `H² = (8πG/3) ρ (1 - ρ/ρ_crit) + Λ/3` as a typed ExprNode tree.
|
|
73
|
-
*/
|
|
74
|
-
export const QUANTUM_BOUNCE_RHS = {
|
|
75
|
-
kind: 'op', op: '+',
|
|
76
|
-
args: [
|
|
77
|
-
{
|
|
78
|
-
// (8πG/3) · ρ · (1 − ρ/ρ_crit)
|
|
79
|
-
kind: 'op', op: '*',
|
|
80
|
-
args: [
|
|
81
|
-
{
|
|
82
|
-
// 8π/3 — dimensionless prefactor (folded into single symbol)
|
|
83
|
-
kind: 'op', op: '/',
|
|
84
|
-
args: [
|
|
85
|
-
sym('8pi', DIMENSIONLESS),
|
|
86
|
-
sym('3', DIMENSIONLESS),
|
|
87
|
-
],
|
|
88
|
-
},
|
|
89
|
-
sym('G', DIM_G),
|
|
90
|
-
sym('rho', MASS_DENSITY),
|
|
91
|
-
{
|
|
92
|
-
// (1 − ρ/ρ_crit)
|
|
93
|
-
kind: 'op', op: '-',
|
|
94
|
-
args: [
|
|
95
|
-
sym('1', DIMENSIONLESS),
|
|
96
|
-
{
|
|
97
|
-
kind: 'op', op: '/',
|
|
98
|
-
args: [
|
|
99
|
-
sym('rho', MASS_DENSITY),
|
|
100
|
-
sym('rho_crit', MASS_DENSITY),
|
|
101
|
-
],
|
|
102
|
-
},
|
|
103
|
-
],
|
|
104
|
-
},
|
|
105
|
-
],
|
|
106
|
-
},
|
|
107
|
-
{
|
|
108
|
-
// Λ / 3
|
|
109
|
-
kind: 'op', op: '/',
|
|
110
|
-
args: [
|
|
111
|
-
sym('Lambda', T_INV2),
|
|
112
|
-
sym('3', DIMENSIONLESS),
|
|
113
|
-
],
|
|
114
|
-
},
|
|
115
|
-
],
|
|
116
|
-
};
|
|
117
|
-
/** LHS: H² has dimension [T^-2]. */
|
|
118
|
-
const QUANTUM_BOUNCE_LHS = {
|
|
119
|
-
kind: 'op', op: '^',
|
|
120
|
-
args: [sym('H', { L: 0, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0 }), sym('2', DIMENSIONLESS)],
|
|
121
|
-
};
|
|
122
|
-
/**
|
|
123
|
-
* Evaluate H² = (8πG/3) ρ (1 − ρ/ρ_crit) + Λ/3.
|
|
124
|
-
*
|
|
125
|
-
* @returns H² in [s^-2].
|
|
126
|
-
*/
|
|
127
|
-
export function evaluateQuantumBounce(input) {
|
|
128
|
-
validateFiniteInputs(input, [
|
|
129
|
-
{ name: 'rho', min: 0 },
|
|
130
|
-
{ name: 'rho_crit', min: 0, excludeMin: true },
|
|
131
|
-
{ name: 'Lambda_Tinv2' },
|
|
132
|
-
], 'evaluateQuantumBounce');
|
|
133
|
-
const { rho, rho_crit, Lambda_Tinv2 } = input;
|
|
134
|
-
const { G } = PhysicalConstants;
|
|
135
|
-
const bounce = 1 - rho / rho_crit;
|
|
136
|
-
return ((8 * Math.PI * G) / 3) * rho * bounce + Lambda_Tinv2 / 3;
|
|
137
|
-
}
|
|
138
|
-
// --- Self-validation ---
|
|
139
|
-
/**
|
|
140
|
-
* Run the AST through the dimensional analyzer; LHS = H² and RHS together
|
|
141
|
-
* should both be [T^-2].
|
|
142
|
-
*/
|
|
143
|
-
/** @internal */
|
|
144
|
-
export function validateQuantumBounceDimensions() {
|
|
145
|
-
return validateBEDimensions(QUANTUM_BOUNCE_LHS, QUANTUM_BOUNCE_RHS, 'BE19');
|
|
146
|
-
}
|
|
147
|
-
// --- v0.7 structural encoding ---
|
|
148
|
-
/** ScalarFieldNode for H² ([T^-2]) — the hubble slot. */
|
|
149
|
-
const HUBBLE_SQUARED_FIELD = {
|
|
150
|
-
kind: 'scalar-field',
|
|
151
|
-
name: 'H_squared',
|
|
152
|
-
dim: { L: 0, M: 0, T: -2, I: 0, Theta: 0, N: 0, J: 0 },
|
|
153
|
-
symmetry: 'scalar',
|
|
154
|
-
};
|
|
155
|
-
/** ScalarFieldNode for ρ ([M·L^-3]) — the density slot. */
|
|
156
|
-
const RHO_FIELD = {
|
|
157
|
-
kind: 'scalar-field',
|
|
158
|
-
name: 'rho',
|
|
159
|
-
dim: MASS_DENSITY,
|
|
160
|
-
symmetry: 'scalar',
|
|
161
|
-
};
|
|
162
|
-
/** ScalarFieldNode for the dimensionless LQC bounce factor (1 − ρ/ρ_crit). */
|
|
163
|
-
const LQC_BOUNCE_FACTOR = {
|
|
164
|
-
kind: 'scalar-field',
|
|
165
|
-
name: '1_minus_rho_over_rho_crit',
|
|
166
|
-
dim: DIMENSIONLESS,
|
|
167
|
-
symmetry: 'scalar',
|
|
168
|
-
};
|
|
169
|
-
/**
|
|
170
|
-
* BE-19's LQC modified Friedmann as a structural `FriedmannEquationNode`.
|
|
171
|
-
*
|
|
172
|
-
* H² = (8πG/3) · ρ · (1 − ρ/ρ_crit)
|
|
173
|
-
*
|
|
174
|
-
* Variant tag `'lqc'` makes the loop-quantum-cosmology regime
|
|
175
|
-
* pattern-matchable via the `FriedmannVariant` discriminator. This is
|
|
176
|
-
* the PREFERRED encoding for future LQC-related work; the legacy
|
|
177
|
-
* `QUANTUM_BOUNCE_RHS` (above) remains as the dimensional-analyzer
|
|
178
|
-
* compatibility surface.
|
|
179
|
-
*
|
|
180
|
-
* Note that the Λ/3 additive term from the full QUANTUM_BOUNCE_RHS is
|
|
181
|
-
* NOT represented in the structural form — the design-note primitive
|
|
182
|
-
* targets the multiplicative LQC bounce factor specifically. A future
|
|
183
|
-
* extension may add a `cosmologicalConstant` slot to
|
|
184
|
-
* `FriedmannEquationNode` if downstream RG/cosmology work warrants it.
|
|
185
|
-
*
|
|
186
|
-
* @public
|
|
187
|
-
*/
|
|
188
|
-
export const BE19_LQC_FRIEDMANN_STRUCTURAL = {
|
|
189
|
-
kind: 'friedmann-equation',
|
|
190
|
-
hubble: HUBBLE_SQUARED_FIELD,
|
|
191
|
-
density: RHO_FIELD,
|
|
192
|
-
correction: LQC_BOUNCE_FACTOR,
|
|
193
|
-
variant: 'lqc',
|
|
194
|
-
coupling: 'friedmann',
|
|
195
|
-
};
|
|
196
|
-
//# sourceMappingURL=be-19-quantum-bounce.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be-19-quantum-bounce.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-19-quantum-bounce.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AAGH,OAAO,EAEL,aAAa,EACb,YAAY,GACb,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,CAAC,IAAI,KAAK,EAAE,MAAM,gCAAgC,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAGxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,uBAAuB;AAEvB,gEAAgE;AAChE,MAAM,MAAM,GAAc;IACxB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF,uEAAuE;AACvE,wEAAwE;AACxE,wEAAwE;AACxE,sEAAsE;AACtE,iBAAiB;AAEjB;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,+BAA+B;YAC/B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ;oBACE,6DAA6D;oBAC7D,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;wBACzB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;qBACxB;iBACF;gBACD,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;gBACf,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC;gBACxB;oBACE,iBAAiB;oBACjB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;wBACvB;4BACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;4BACnB,IAAI,EAAE;gCACJ,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC;gCACxB,GAAG,CAAC,UAAU,EAAE,YAAY,CAAC;6BAC9B;yBACF;qBACF;iBACF;aACF;SACF;QACD;YACE,QAAQ;YACR,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;gBACrB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB;SACF;KACF;CACF,CAAC;AAEF,oCAAoC;AACpC,MAAM,kBAAkB,GAAa;IACnC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;CAC7F,CAAC;AAgBF;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAA0B;IAC9D,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE;QACvB,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC9C,EAAE,IAAI,EAAE,cAAc,EAAE;KACzB,EACD,uBAAuB,CACxB,CAAC;IACF,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IAC9C,MAAM,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IAChC,MAAM,MAAM,GAAG,CAAC,GAAG,GAAG,GAAG,QAAQ,CAAC;IAClC,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,GAAG,MAAM,GAAG,YAAY,GAAG,CAAC,CAAC;AACnE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,+BAA+B;IAC7C,OAAO,oBAAoB,CAAC,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,CAAC,CAAC;AAC9E,CAAC;AAED,mCAAmC;AAEnC,yDAAyD;AACzD,MAAM,oBAAoB,GAAoB;IAC5C,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,WAAW;IACjB,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;IACtD,QAAQ,EAAE,QAAQ;CACnB,CAAC;AAEF,2DAA2D;AAC3D,MAAM,SAAS,GAAoB;IACjC,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,KAAK;IACX,GAAG,EAAE,YAAY;IACjB,QAAQ,EAAE,QAAQ;CACnB,CAAC;AAEF,8EAA8E;AAC9E,MAAM,iBAAiB,GAAoB;IACzC,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,2BAA2B;IACjC,GAAG,EAAE,aAAa;IAClB,QAAQ,EAAE,QAAQ;CACnB,CAAC;AAEF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAA0B;IAClE,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,oBAAoB;IAC5B,OAAO,EAAE,SAAS;IAClB,UAAU,EAAE,iBAAiB;IAC7B,OAAO,EAAE,KAAK;IACd,QAAQ,EAAE,WAAW;CACtB,CAAC"}
|
|
@@ -1,93 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Bridge Equation 20 — Observed cosmological-constant mass density
|
|
3
|
-
* (canonical FRW form, post Wave Y reformulation).
|
|
4
|
-
*
|
|
5
|
-
* ρ_Λ = c² Λ / (8π G)
|
|
6
|
-
*
|
|
7
|
-
* The mass density associated with the observed cosmological constant
|
|
8
|
-
* Λ ≈ 1.1×10⁻⁵² m⁻² (Planck 2018; Aghanim et al. 2020). With the
|
|
9
|
-
* canonical FRW prefactor c²/(8π G), Λ ≈ 1.1e-52 m⁻² gives
|
|
10
|
-
* ρ_Λ ≈ 5.9×10⁻²⁷ kg/m³ (recomputed 2026-06-11 from Λ = 1.1056×10⁻⁵² m⁻²;
|
|
11
|
-
* the previous 5.4×10⁻²⁷ figure did not match the formula), in the
|
|
12
|
-
* observed dark-energy density range
|
|
13
|
-
* (≈70% of the critical density at the present epoch).
|
|
14
|
-
*
|
|
15
|
-
* Reference: Carroll 2001 *Living Rev. Relativity* 4:1
|
|
16
|
-
* (arXiv:astro-ph/0004075; canonical cosmological-constant review);
|
|
17
|
-
* Weinberg 1989 *Rev. Mod. Phys.* 61:1 (the cosmological-constant
|
|
18
|
-
* problem). Planck Collaboration (Aghanim et al.) 2020 *A&A* 641:A6
|
|
19
|
-
* (Λ measurement from CMB).
|
|
20
|
-
*
|
|
21
|
-
* Status: speculative (the bridge framing — using the observed CC as
|
|
22
|
-
* a quantum-cosmological bridge — is the speculative element).
|
|
23
|
-
*
|
|
24
|
-
* Honest-claude scope notes:
|
|
25
|
-
* - This formula sidesteps the formally-divergent ∫d³k vacuum-
|
|
26
|
-
* fluctuation integral that the original BE-20 carried. The
|
|
27
|
-
* vacuum-fluctuation problem (the 10¹²⁰ discrepancy between the
|
|
28
|
-
* QFT estimate and observation) remains the unfixed cosmological-
|
|
29
|
-
* constant problem, documented in known_issues. The observed
|
|
30
|
-
* ρ_Λ is the canonical scalar that replaces the divergent integral
|
|
31
|
-
* as the AST-encodable bridge content.
|
|
32
|
-
* - Dim: [c² Λ] = L² T⁻² · L⁻² = T⁻²; [1/G] = M T² L⁻³;
|
|
33
|
-
* [c² Λ / G] = M T² L⁻³ · T⁻² = M L⁻³ ✓ (mass density).
|
|
34
|
-
* - The energy-density form ρ_Λ c² = c⁴ Λ / (8π G) ≈ 5.30×10⁻¹⁰ J/m³
|
|
35
|
-
* is the alternate convention; both forms are physically
|
|
36
|
-
* equivalent. We encode the mass-density form here.
|
|
37
|
-
* - v0.6.0 re-encoding: the plain `sym('Lambda', [L⁻²])` stub is
|
|
38
|
-
* replaced with a `CosmologicalConstantNode` (Phase 2 Task 2.3).
|
|
39
|
-
* `CosmologicalConstantNode` is a first-class ExprNode member whose
|
|
40
|
-
* validator enforces the [L⁻²] dim constraint and, unlike a plain
|
|
41
|
-
* symbol, carries the optional `value` field for de Sitter / ΛCDM
|
|
42
|
-
* evaluations. The dimensional verdict ([M L⁻³]) and bridge status
|
|
43
|
-
* are unchanged (Decision #9).
|
|
44
|
-
*
|
|
45
|
-
* @see docs/specification/Part-II.md ("Bridge Equation 20")
|
|
46
|
-
* @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 20)
|
|
47
|
-
* @module bridges/equations/be-20-vacuum-energy
|
|
48
|
-
*/
|
|
49
|
-
import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
|
|
50
|
-
/**
|
|
51
|
-
* Mass density [M L⁻³] (kg/m³). The dimensional export.
|
|
52
|
-
*
|
|
53
|
-
* @public
|
|
54
|
-
*/
|
|
55
|
-
export { MASS_DENSITY } from '../../dimensional/types.js';
|
|
56
|
-
/**
|
|
57
|
-
* RHS of the cosmological-constant mass density:
|
|
58
|
-
* ρ_Λ = c² Λ / (8π G)
|
|
59
|
-
*
|
|
60
|
-
* v0.6.0: Λ is now a `CosmologicalConstantNode` (first-class typed
|
|
61
|
-
* node) rather than a plain symbol stub. Dimensional verdict [M L⁻³]
|
|
62
|
-
* is unchanged.
|
|
63
|
-
*/
|
|
64
|
-
export declare const BE20_VACUUM_ENERGY_RHS: ExprNode;
|
|
65
|
-
/** LHS: ρ_Λ has dimension [M L⁻³] (mass density, kg/m³). */
|
|
66
|
-
/** @internal */
|
|
67
|
-
export declare const BE20_VACUUM_ENERGY_LHS: ExprNode;
|
|
68
|
-
/**
|
|
69
|
-
* @internal — typed-arg shape for the file-local `evaluateCosmologicalConstant` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
|
|
70
|
-
*/
|
|
71
|
-
interface CosmologicalConstantInputs {
|
|
72
|
-
/**
|
|
73
|
-
* Cosmological constant Λ (m⁻²). Default: 1.1×10⁻⁵² m⁻² (Planck 2018
|
|
74
|
-
* canonical value). Must be ≥ 0 and finite.
|
|
75
|
-
*/
|
|
76
|
-
Lambda_per_m2?: number;
|
|
77
|
-
}
|
|
78
|
-
/**
|
|
79
|
-
* Evaluate the mass density associated with the observed cosmological
|
|
80
|
-
* constant
|
|
81
|
-
*
|
|
82
|
-
* ρ_Λ = c² Λ / (8π G)
|
|
83
|
-
*
|
|
84
|
-
* @returns Mass density in kg/m³.
|
|
85
|
-
*/
|
|
86
|
-
export declare function evaluateCosmologicalConstantDensity(input?: CosmologicalConstantInputs): number;
|
|
87
|
-
/**
|
|
88
|
-
* Run the AST through the dimensional analyzer; both sides should be
|
|
89
|
-
* [M L⁻³] (mass density).
|
|
90
|
-
*/
|
|
91
|
-
/** @internal */
|
|
92
|
-
export declare function validateBE20Dimensions(): DimensionValidationReport;
|
|
93
|
-
//# sourceMappingURL=be-20-vacuum-energy.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be-20-vacuum-energy.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-20-vacuum-energy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAgB1F;;;;GAIG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAwB1D;;;;;;;GAOG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAuBpC,CAAC;AAEF,4DAA4D;AAC5D,gBAAgB;AAChB,eAAO,MAAM,sBAAsB,EAAE,QAA0C,CAAC;AAIhF;;GAEG;AACH,UAAU,0BAA0B;IAClC;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAID;;;;;;;GAOG;AACH,wBAAgB,mCAAmC,CACjD,KAAK,GAAE,0BAA+B,GACrC,MAAM,CASR;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}
|
|
@@ -1,142 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Bridge Equation 20 — Observed cosmological-constant mass density
|
|
3
|
-
* (canonical FRW form, post Wave Y reformulation).
|
|
4
|
-
*
|
|
5
|
-
* ρ_Λ = c² Λ / (8π G)
|
|
6
|
-
*
|
|
7
|
-
* The mass density associated with the observed cosmological constant
|
|
8
|
-
* Λ ≈ 1.1×10⁻⁵² m⁻² (Planck 2018; Aghanim et al. 2020). With the
|
|
9
|
-
* canonical FRW prefactor c²/(8π G), Λ ≈ 1.1e-52 m⁻² gives
|
|
10
|
-
* ρ_Λ ≈ 5.9×10⁻²⁷ kg/m³ (recomputed 2026-06-11 from Λ = 1.1056×10⁻⁵² m⁻²;
|
|
11
|
-
* the previous 5.4×10⁻²⁷ figure did not match the formula), in the
|
|
12
|
-
* observed dark-energy density range
|
|
13
|
-
* (≈70% of the critical density at the present epoch).
|
|
14
|
-
*
|
|
15
|
-
* Reference: Carroll 2001 *Living Rev. Relativity* 4:1
|
|
16
|
-
* (arXiv:astro-ph/0004075; canonical cosmological-constant review);
|
|
17
|
-
* Weinberg 1989 *Rev. Mod. Phys.* 61:1 (the cosmological-constant
|
|
18
|
-
* problem). Planck Collaboration (Aghanim et al.) 2020 *A&A* 641:A6
|
|
19
|
-
* (Λ measurement from CMB).
|
|
20
|
-
*
|
|
21
|
-
* Status: speculative (the bridge framing — using the observed CC as
|
|
22
|
-
* a quantum-cosmological bridge — is the speculative element).
|
|
23
|
-
*
|
|
24
|
-
* Honest-claude scope notes:
|
|
25
|
-
* - This formula sidesteps the formally-divergent ∫d³k vacuum-
|
|
26
|
-
* fluctuation integral that the original BE-20 carried. The
|
|
27
|
-
* vacuum-fluctuation problem (the 10¹²⁰ discrepancy between the
|
|
28
|
-
* QFT estimate and observation) remains the unfixed cosmological-
|
|
29
|
-
* constant problem, documented in known_issues. The observed
|
|
30
|
-
* ρ_Λ is the canonical scalar that replaces the divergent integral
|
|
31
|
-
* as the AST-encodable bridge content.
|
|
32
|
-
* - Dim: [c² Λ] = L² T⁻² · L⁻² = T⁻²; [1/G] = M T² L⁻³;
|
|
33
|
-
* [c² Λ / G] = M T² L⁻³ · T⁻² = M L⁻³ ✓ (mass density).
|
|
34
|
-
* - The energy-density form ρ_Λ c² = c⁴ Λ / (8π G) ≈ 5.30×10⁻¹⁰ J/m³
|
|
35
|
-
* is the alternate convention; both forms are physically
|
|
36
|
-
* equivalent. We encode the mass-density form here.
|
|
37
|
-
* - v0.6.0 re-encoding: the plain `sym('Lambda', [L⁻²])` stub is
|
|
38
|
-
* replaced with a `CosmologicalConstantNode` (Phase 2 Task 2.3).
|
|
39
|
-
* `CosmologicalConstantNode` is a first-class ExprNode member whose
|
|
40
|
-
* validator enforces the [L⁻²] dim constraint and, unlike a plain
|
|
41
|
-
* symbol, carries the optional `value` field for de Sitter / ΛCDM
|
|
42
|
-
* evaluations. The dimensional verdict ([M L⁻³]) and bridge status
|
|
43
|
-
* are unchanged (Decision #9).
|
|
44
|
-
*
|
|
45
|
-
* @see docs/specification/Part-II.md ("Bridge Equation 20")
|
|
46
|
-
* @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 20)
|
|
47
|
-
* @module bridges/equations/be-20-vacuum-energy
|
|
48
|
-
*/
|
|
49
|
-
import { DIMENSIONLESS, MASS_DENSITY, } from '../../dimensional/types.js';
|
|
50
|
-
import { c as DIM_c, G as DIM_G } from '../../dimensional/constants.js';
|
|
51
|
-
import { power } from '../../dimensional/algebra.js';
|
|
52
|
-
import { LENGTH } from '../../dimensional/types.js';
|
|
53
|
-
import { PhysicalConstants } from '../../core/types.js';
|
|
54
|
-
import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
|
|
55
|
-
/** [L⁻²] — cosmological-constant Λ has dimension of inverse area. */
|
|
56
|
-
const INV_LENGTH_2 = power(LENGTH, -2);
|
|
57
|
-
/**
|
|
58
|
-
* Mass density [M L⁻³] (kg/m³). The dimensional export.
|
|
59
|
-
*
|
|
60
|
-
* @public
|
|
61
|
-
*/
|
|
62
|
-
export { MASS_DENSITY } from '../../dimensional/types.js';
|
|
63
|
-
/**
|
|
64
|
-
* v0.6.0 re-encoding: `CosmologicalConstantNode` for Λ.
|
|
65
|
-
*
|
|
66
|
-
* Replaces the former `sym('Lambda', INV_LENGTH_2)` plain-symbol stub
|
|
67
|
-
* with a first-class `CosmologicalConstantNode`. The new node carries
|
|
68
|
-
* the Planck 2018 observed value as its optional `value` field and
|
|
69
|
-
* participates in `validateCosmologicalConstant` (which enforces [L⁻²]).
|
|
70
|
-
* The dimensional verdict of the enclosing expression is unchanged.
|
|
71
|
-
*
|
|
72
|
-
* Decision #9 (v0.6.0-Design.md): status pin unchanged — structural
|
|
73
|
-
* AST promotion does NOT constitute physics validation.
|
|
74
|
-
*/
|
|
75
|
-
/** Planck 2018 cosmological constant Λ ≈ 1.1×10⁻⁵² m⁻² — single source of truth. */
|
|
76
|
-
const PLANCK_2018_LAMBDA = 1.1e-52;
|
|
77
|
-
const BE20_COSMOLOGICAL_CONSTANT = {
|
|
78
|
-
kind: 'cosmological-constant',
|
|
79
|
-
symbol: 'Λ',
|
|
80
|
-
dim: INV_LENGTH_2,
|
|
81
|
-
value: PLANCK_2018_LAMBDA,
|
|
82
|
-
};
|
|
83
|
-
/**
|
|
84
|
-
* RHS of the cosmological-constant mass density:
|
|
85
|
-
* ρ_Λ = c² Λ / (8π G)
|
|
86
|
-
*
|
|
87
|
-
* v0.6.0: Λ is now a `CosmologicalConstantNode` (first-class typed
|
|
88
|
-
* node) rather than a plain symbol stub. Dimensional verdict [M L⁻³]
|
|
89
|
-
* is unchanged.
|
|
90
|
-
*/
|
|
91
|
-
export const BE20_VACUUM_ENERGY_RHS = {
|
|
92
|
-
kind: 'op', op: '/',
|
|
93
|
-
args: [
|
|
94
|
-
{
|
|
95
|
-
// numerator: c² · Λ
|
|
96
|
-
kind: 'op', op: '*',
|
|
97
|
-
args: [
|
|
98
|
-
{
|
|
99
|
-
kind: 'op', op: '^',
|
|
100
|
-
args: [sym('c', DIM_c), sym('2', DIMENSIONLESS)],
|
|
101
|
-
},
|
|
102
|
-
BE20_COSMOLOGICAL_CONSTANT,
|
|
103
|
-
],
|
|
104
|
-
},
|
|
105
|
-
{
|
|
106
|
-
// denominator: 8π · G
|
|
107
|
-
kind: 'op', op: '*',
|
|
108
|
-
args: [
|
|
109
|
-
sym('8pi', DIMENSIONLESS),
|
|
110
|
-
sym('G', DIM_G),
|
|
111
|
-
],
|
|
112
|
-
},
|
|
113
|
-
],
|
|
114
|
-
};
|
|
115
|
-
/** LHS: ρ_Λ has dimension [M L⁻³] (mass density, kg/m³). */
|
|
116
|
-
/** @internal */
|
|
117
|
-
export const BE20_VACUUM_ENERGY_LHS = sym('rho_Lambda', MASS_DENSITY);
|
|
118
|
-
const DEFAULT_LAMBDA = PLANCK_2018_LAMBDA;
|
|
119
|
-
/**
|
|
120
|
-
* Evaluate the mass density associated with the observed cosmological
|
|
121
|
-
* constant
|
|
122
|
-
*
|
|
123
|
-
* ρ_Λ = c² Λ / (8π G)
|
|
124
|
-
*
|
|
125
|
-
* @returns Mass density in kg/m³.
|
|
126
|
-
*/
|
|
127
|
-
export function evaluateCosmologicalConstantDensity(input = {}) {
|
|
128
|
-
const { Lambda_per_m2 = DEFAULT_LAMBDA } = input;
|
|
129
|
-
validateFiniteInputs({ Lambda_per_m2 }, [{ name: 'Lambda_per_m2', min: 0 }], 'evaluateCosmologicalConstantDensity');
|
|
130
|
-
const { c, G } = PhysicalConstants;
|
|
131
|
-
return (c * c * Lambda_per_m2) / (8 * Math.PI * G);
|
|
132
|
-
}
|
|
133
|
-
// --- Self-validation ---
|
|
134
|
-
/**
|
|
135
|
-
* Run the AST through the dimensional analyzer; both sides should be
|
|
136
|
-
* [M L⁻³] (mass density).
|
|
137
|
-
*/
|
|
138
|
-
/** @internal */
|
|
139
|
-
export function validateBE20Dimensions() {
|
|
140
|
-
return validateBEDimensions(BE20_VACUUM_ENERGY_LHS, BE20_VACUUM_ENERGY_RHS, 'BE20');
|
|
141
|
-
}
|
|
142
|
-
//# sourceMappingURL=be-20-vacuum-energy.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be-20-vacuum-energy.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-20-vacuum-energy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAIH,OAAO,EAEL,aAAa,EACb,YAAY,GACb,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,KAAK,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,KAAK,EAAE,MAAM,8BAA8B,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,qEAAqE;AACrE,MAAM,YAAY,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAElD;;;;GAIG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE1D;;;;;;;;;;;GAWG;AACH,oFAAoF;AACpF,MAAM,kBAAkB,GAAG,OAAO,CAAC;AAEnC,MAAM,0BAA0B,GAA6B;IAC3D,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,YAAY;IACjB,KAAK,EAAE,kBAAkB;CAC1B,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,oBAAoB;YACpB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACjD;gBACD,0BAA0B;aAC3B;SACF;QACD;YACE,sBAAsB;YACtB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;aAChB;SACF;KACF;CACF,CAAC;AAEF,4DAA4D;AAC5D,gBAAgB;AAChB,MAAM,CAAC,MAAM,sBAAsB,GAAa,GAAG,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;AAehF,MAAM,cAAc,GAAG,kBAAkB,CAAC;AAE1C;;;;;;;GAOG;AACH,MAAM,UAAU,mCAAmC,CACjD,KAAK,GAA+B,EAAE;IAEtC,MAAM,EAAE,aAAa,GAAG,cAAc,EAAE,GAAG,KAAK,CAAC;IACjD,oBAAoB,CAClB,EAAE,aAAa,EAAE,EACjB,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EACnC,qCAAqC,CACtC,CAAC;IACF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IACnC,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,CAAC,CAAC;AACtF,CAAC"}
|
|
@@ -1,74 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Bridge Equation 21 — Kovtun-Son-Starinets (KSS) viscosity-to-entropy
|
|
3
|
-
* bound (canonical AdS/CFT-derived universal lower bound on the shear-
|
|
4
|
-
* viscosity-to-entropy-density ratio).
|
|
5
|
-
*
|
|
6
|
-
* η/s = ℏ / (4π k_B)
|
|
7
|
-
*
|
|
8
|
-
* Numerical value: ℏ/(4π k_B) ≈ 6.078×10^-13 K·s. Any quantum fluid
|
|
9
|
-
* satisfying the AdS/CFT-correspondence assumptions (Einstein-gravity
|
|
10
|
-
* holographic dual, two-derivative bulk action) is conjectured to obey
|
|
11
|
-
* the bound η/s ≥ ℏ/(4π k_B).
|
|
12
|
-
*
|
|
13
|
-
* References:
|
|
14
|
-
* - Kovtun, Son & Starinets 2005 *Phys. Rev. Lett.* 94:111601
|
|
15
|
-
* (arXiv:hep-th/0405231; canonical KSS bound paper).
|
|
16
|
-
* - Son & Starinets 2002 *JHEP* 0209:042 (arXiv:hep-th/0205051;
|
|
17
|
-
* prerequisite Minkowski-correlator AdS/CFT recipe).
|
|
18
|
-
* - Policastro, Son & Starinets 2001 *Phys. Rev. Lett.* 87:081601
|
|
19
|
-
* (arXiv:hep-th/0104066; original η/s = 1/(4π) calculation in N=4
|
|
20
|
-
* SYM at strong coupling).
|
|
21
|
-
*
|
|
22
|
-
* Status: established (KSS itself is established AdS/CFT result).
|
|
23
|
-
*
|
|
24
|
-
* Honest-claude scope notes:
|
|
25
|
-
* - The bound η/s ≥ ℏ/(4π k_B) is a conjecture; the EQUALITY η/s =
|
|
26
|
-
* ℏ/(4π k_B) is the saturating value attained in the strong-coupling
|
|
27
|
-
* limit of N=4 super-Yang-Mills (Policastro-Son-Starinets 2001) and
|
|
28
|
-
* in any theory with an Einstein-gravity holographic dual. Encoding
|
|
29
|
-
* the equality (the saturating value) pins the canonical scalar; the
|
|
30
|
-
* ≥ inequality is the bridge's load-bearing claim.
|
|
31
|
-
* - The original BE-21 form was a holographic-dictionary retarded
|
|
32
|
-
* Green's function recipe (operator-valued, no clean scalar). The
|
|
33
|
-
* KSS bound is the canonical scalar reduction of the same Son-
|
|
34
|
-
* Starinets 2002 lineage and captures the most-cited AdS/CMT
|
|
35
|
-
* result: a *universal* dimensional constant for the viscosity/
|
|
36
|
-
* entropy-density ratio.
|
|
37
|
-
* - Dim: [η] = Pa·s = kg/(m·s) = [M L^-1 T^-1]; [s] = J/(K·m³) =
|
|
38
|
-
* [M L^-1 T^-2 Θ^-1]; [η/s] = T·Θ (= K·s in SI). Dim of ℏ/k_B:
|
|
39
|
-
* [J·s]/[J/K] = K·s. ✓
|
|
40
|
-
*
|
|
41
|
-
* @see docs/specification/Part-II.md ("Bridge Equation 21")
|
|
42
|
-
* @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 21)
|
|
43
|
-
* @module bridges/equations/be-21-kss-bound
|
|
44
|
-
*/
|
|
45
|
-
import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
|
|
46
|
-
import { Dimension } from '../../dimensional/types.js';
|
|
47
|
-
/** [T Θ] — viscosity-to-entropy-density ratio dimension (K·s in SI). */
|
|
48
|
-
export declare const VISCOSITY_OVER_ENTROPY_DENSITY: Dimension;
|
|
49
|
-
/**
|
|
50
|
-
* RHS of the KSS saturating value:
|
|
51
|
-
* η/s = ℏ / (4π k_B)
|
|
52
|
-
*
|
|
53
|
-
* Encoded as `ℏ / (4π · k_B)` — both numerator and denominator carry
|
|
54
|
-
* dim [J·s] / [J/K] = [T Θ].
|
|
55
|
-
*/
|
|
56
|
-
export declare const BE21_KSS_RHS: ExprNode;
|
|
57
|
-
/** LHS: η/s has dimension [T Θ]. */
|
|
58
|
-
/** @internal */
|
|
59
|
-
export declare const BE21_KSS_LHS: ExprNode;
|
|
60
|
-
/**
|
|
61
|
-
* Evaluate the KSS saturating viscosity-to-entropy-density ratio
|
|
62
|
-
*
|
|
63
|
-
* η/s = ℏ / (4π k_B)
|
|
64
|
-
*
|
|
65
|
-
* @returns η/s in K·s (SI). Approximately 6.078e-13 K·s.
|
|
66
|
-
*/
|
|
67
|
-
export declare function evaluateKSSBound(): number;
|
|
68
|
-
/**
|
|
69
|
-
* Run the AST through the dimensional analyzer; both sides should be
|
|
70
|
-
* [T Θ] (viscosity / entropy-density).
|
|
71
|
-
*/
|
|
72
|
-
/** @internal */
|
|
73
|
-
export declare function validateBE21Dimensions(): DimensionValidationReport;
|
|
74
|
-
//# sourceMappingURL=be-21-kss-bound.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be-21-kss-bound.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-21-kss-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC1F,OAAO,EACL,SAAS,EAIV,MAAM,4BAA4B,CAAC;AAKpC,wEAAwE;AACxE,eAAO,MAAM,8BAA8B,EAAE,SAE5C,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,EAAE,QAY1B,CAAC;AAEF,oCAAoC;AACpC,gBAAgB;AAChB,eAAO,MAAM,YAAY,EAAE,QAA4D,CAAC;AAIxF;;;;;;GAMG;AACH,wBAAgB,gBAAgB,IAAI,MAAM,CAGzC;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}
|
|
@@ -1,97 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Bridge Equation 21 — Kovtun-Son-Starinets (KSS) viscosity-to-entropy
|
|
3
|
-
* bound (canonical AdS/CFT-derived universal lower bound on the shear-
|
|
4
|
-
* viscosity-to-entropy-density ratio).
|
|
5
|
-
*
|
|
6
|
-
* η/s = ℏ / (4π k_B)
|
|
7
|
-
*
|
|
8
|
-
* Numerical value: ℏ/(4π k_B) ≈ 6.078×10^-13 K·s. Any quantum fluid
|
|
9
|
-
* satisfying the AdS/CFT-correspondence assumptions (Einstein-gravity
|
|
10
|
-
* holographic dual, two-derivative bulk action) is conjectured to obey
|
|
11
|
-
* the bound η/s ≥ ℏ/(4π k_B).
|
|
12
|
-
*
|
|
13
|
-
* References:
|
|
14
|
-
* - Kovtun, Son & Starinets 2005 *Phys. Rev. Lett.* 94:111601
|
|
15
|
-
* (arXiv:hep-th/0405231; canonical KSS bound paper).
|
|
16
|
-
* - Son & Starinets 2002 *JHEP* 0209:042 (arXiv:hep-th/0205051;
|
|
17
|
-
* prerequisite Minkowski-correlator AdS/CFT recipe).
|
|
18
|
-
* - Policastro, Son & Starinets 2001 *Phys. Rev. Lett.* 87:081601
|
|
19
|
-
* (arXiv:hep-th/0104066; original η/s = 1/(4π) calculation in N=4
|
|
20
|
-
* SYM at strong coupling).
|
|
21
|
-
*
|
|
22
|
-
* Status: established (KSS itself is established AdS/CFT result).
|
|
23
|
-
*
|
|
24
|
-
* Honest-claude scope notes:
|
|
25
|
-
* - The bound η/s ≥ ℏ/(4π k_B) is a conjecture; the EQUALITY η/s =
|
|
26
|
-
* ℏ/(4π k_B) is the saturating value attained in the strong-coupling
|
|
27
|
-
* limit of N=4 super-Yang-Mills (Policastro-Son-Starinets 2001) and
|
|
28
|
-
* in any theory with an Einstein-gravity holographic dual. Encoding
|
|
29
|
-
* the equality (the saturating value) pins the canonical scalar; the
|
|
30
|
-
* ≥ inequality is the bridge's load-bearing claim.
|
|
31
|
-
* - The original BE-21 form was a holographic-dictionary retarded
|
|
32
|
-
* Green's function recipe (operator-valued, no clean scalar). The
|
|
33
|
-
* KSS bound is the canonical scalar reduction of the same Son-
|
|
34
|
-
* Starinets 2002 lineage and captures the most-cited AdS/CMT
|
|
35
|
-
* result: a *universal* dimensional constant for the viscosity/
|
|
36
|
-
* entropy-density ratio.
|
|
37
|
-
* - Dim: [η] = Pa·s = kg/(m·s) = [M L^-1 T^-1]; [s] = J/(K·m³) =
|
|
38
|
-
* [M L^-1 T^-2 Θ^-1]; [η/s] = T·Θ (= K·s in SI). Dim of ℏ/k_B:
|
|
39
|
-
* [J·s]/[J/K] = K·s. ✓
|
|
40
|
-
*
|
|
41
|
-
* @see docs/specification/Part-II.md ("Bridge Equation 21")
|
|
42
|
-
* @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 21)
|
|
43
|
-
* @module bridges/equations/be-21-kss-bound
|
|
44
|
-
*/
|
|
45
|
-
import { DIMENSIONLESS, } from '../../dimensional/types.js';
|
|
46
|
-
import { hbar as DIM_hbar, k_B as DIM_kB } from '../../dimensional/constants.js';
|
|
47
|
-
import { PhysicalConstants } from '../../core/types.js';
|
|
48
|
-
import { sym, validateBEDimensions } from './_be-helpers.js';
|
|
49
|
-
/** [T Θ] — viscosity-to-entropy-density ratio dimension (K·s in SI). */
|
|
50
|
-
export const VISCOSITY_OVER_ENTROPY_DENSITY = {
|
|
51
|
-
L: 0, M: 0, T: 1, I: 0, Theta: 1, N: 0, J: 0,
|
|
52
|
-
};
|
|
53
|
-
/**
|
|
54
|
-
* RHS of the KSS saturating value:
|
|
55
|
-
* η/s = ℏ / (4π k_B)
|
|
56
|
-
*
|
|
57
|
-
* Encoded as `ℏ / (4π · k_B)` — both numerator and denominator carry
|
|
58
|
-
* dim [J·s] / [J/K] = [T Θ].
|
|
59
|
-
*/
|
|
60
|
-
export const BE21_KSS_RHS = {
|
|
61
|
-
kind: 'op', op: '/',
|
|
62
|
-
args: [
|
|
63
|
-
sym('hbar', DIM_hbar),
|
|
64
|
-
{
|
|
65
|
-
kind: 'op', op: '*',
|
|
66
|
-
args: [
|
|
67
|
-
sym('4pi', DIMENSIONLESS),
|
|
68
|
-
sym('k_B', DIM_kB),
|
|
69
|
-
],
|
|
70
|
-
},
|
|
71
|
-
],
|
|
72
|
-
};
|
|
73
|
-
/** LHS: η/s has dimension [T Θ]. */
|
|
74
|
-
/** @internal */
|
|
75
|
-
export const BE21_KSS_LHS = sym('eta_over_s', VISCOSITY_OVER_ENTROPY_DENSITY);
|
|
76
|
-
// --- Numerical evaluator ---
|
|
77
|
-
/**
|
|
78
|
-
* Evaluate the KSS saturating viscosity-to-entropy-density ratio
|
|
79
|
-
*
|
|
80
|
-
* η/s = ℏ / (4π k_B)
|
|
81
|
-
*
|
|
82
|
-
* @returns η/s in K·s (SI). Approximately 6.078e-13 K·s.
|
|
83
|
-
*/
|
|
84
|
-
export function evaluateKSSBound() {
|
|
85
|
-
const { hbar, kB } = PhysicalConstants;
|
|
86
|
-
return hbar / (4 * Math.PI * kB);
|
|
87
|
-
}
|
|
88
|
-
// --- Self-validation ---
|
|
89
|
-
/**
|
|
90
|
-
* Run the AST through the dimensional analyzer; both sides should be
|
|
91
|
-
* [T Θ] (viscosity / entropy-density).
|
|
92
|
-
*/
|
|
93
|
-
/** @internal */
|
|
94
|
-
export function validateBE21Dimensions() {
|
|
95
|
-
return validateBEDimensions(BE21_KSS_LHS, BE21_KSS_RHS, 'BE21');
|
|
96
|
-
}
|
|
97
|
-
//# sourceMappingURL=be-21-kss-bound.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be-21-kss-bound.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-21-kss-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAGH,OAAO,EAEL,aAAa,GAGd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,IAAI,IAAI,QAAQ,EAAE,GAAG,IAAI,MAAM,EAAE,MAAM,gCAAgC,CAAC;AACjF,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAE7D,wEAAwE;AACxE,MAAM,CAAC,MAAM,8BAA8B,GAAc;IACvD,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC7C,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;QACrB;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;aACnB;SACF;KACF;CACF,CAAC;AAEF,oCAAoC;AACpC,gBAAgB;AAChB,MAAM,CAAC,MAAM,YAAY,GAAa,GAAG,CAAC,YAAY,EAAE,8BAA8B,CAAC,CAAC;AAExF,8BAA8B;AAE9B;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB;IAC9B,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IACvC,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;AACnC,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,YAAY,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;AAClE,CAAC"}
|