universal-physics-tensor 7.0.0 → 9.0.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +11 -9
- package/data/atlas/atlas.json +3044 -0
- package/data/atlas/atlas.jsonld +1819 -0
- package/data/atlas/diffusion.json +1084 -0
- package/data/atlas/oscillators.json +1041 -0
- package/data/atlas/qudt-resolution.json +60 -0
- package/data/atlas/waves.json +916 -0
- package/data/atlas/witness-results.json +249 -0
- package/data/bridge-catalog.json +15425 -0
- package/data/bridge-catalog.schema.json +642 -0
- package/data/confrontation-sources.md +137 -0
- package/data/quantities.json +9755 -0
- package/data/quantities.schema.json +52 -0
- package/data/schemas/atlas-record.v0.json +236 -0
- package/data/schemas/discovery-run.v0.json +203 -0
- package/data/units.json +1149 -0
- package/data/units.schema.json +124 -0
- package/dist/atlas/association.d.ts +1 -1
- package/dist/atlas/benchmark/hybrid-retrieval.d.ts.map +1 -1
- package/dist/atlas/benchmark/hybrid-retrieval.js +2 -5
- package/dist/atlas/benchmark/hybrid-retrieval.js.map +1 -1
- package/dist/atlas/catalog-formal-ref.d.ts +6 -12
- package/dist/atlas/catalog-formal-ref.d.ts.map +1 -1
- package/dist/atlas/catalog-formal-ref.js +15 -25
- package/dist/atlas/catalog-formal-ref.js.map +1 -1
- package/dist/atlas/physjs-entries.generated.d.ts +1769 -196
- package/dist/atlas/physjs-entries.generated.d.ts.map +1 -1
- package/dist/atlas/physjs-entries.generated.js +2046 -321
- package/dist/atlas/physjs-entries.generated.js.map +1 -1
- package/dist/atlas/physjs-ref.d.ts +89 -89
- package/dist/atlas/physjs-ref.d.ts.map +1 -1
- package/dist/atlas/physjs-ref.js +128 -269
- package/dist/atlas/physjs-ref.js.map +1 -1
- package/dist/atlas/proof-target.d.ts +16 -8
- package/dist/atlas/proof-target.d.ts.map +1 -1
- package/dist/atlas/proof-target.js +34 -31
- package/dist/atlas/proof-target.js.map +1 -1
- package/dist/bridges/caller-table.d.ts +56 -0
- package/dist/bridges/caller-table.d.ts.map +1 -0
- package/dist/bridges/{be53-yang-mills-confrontation.js → caller-table.js} +13 -15
- package/dist/bridges/caller-table.js.map +1 -0
- package/dist/bridges/catalog-adapter.d.ts.map +1 -1
- package/dist/bridges/catalog-adapter.js +5 -5
- package/dist/bridges/catalog-adapter.js.map +1 -1
- package/dist/bridges/catalog-load.d.ts +41 -0
- package/dist/bridges/catalog-load.d.ts.map +1 -0
- package/dist/bridges/catalog-load.js +145 -0
- package/dist/bridges/catalog-load.js.map +1 -0
- package/dist/bridges/catalog-types.d.ts +164 -0
- package/dist/bridges/catalog-types.d.ts.map +1 -0
- package/dist/bridges/catalog-types.js +8 -0
- package/dist/bridges/catalog-types.js.map +1 -0
- package/dist/bridges/coefficient-statement.d.ts +27 -0
- package/dist/bridges/coefficient-statement.d.ts.map +1 -0
- package/dist/bridges/coefficient-statement.js +33 -0
- package/dist/bridges/coefficient-statement.js.map +1 -0
- package/dist/bridges/confrontations.d.ts +8 -25
- package/dist/bridges/confrontations.d.ts.map +1 -1
- package/dist/bridges/confrontations.js +26 -714
- package/dist/bridges/confrontations.js.map +1 -1
- package/dist/bridges/evaluation-errors.d.ts +76 -0
- package/dist/bridges/evaluation-errors.d.ts.map +1 -0
- package/dist/bridges/evaluation-errors.js +118 -0
- package/dist/bridges/evaluation-errors.js.map +1 -0
- package/dist/bridges/evaluator-inputs.d.ts +5 -3
- package/dist/bridges/evaluator-inputs.d.ts.map +1 -1
- package/dist/bridges/evaluator-inputs.js +24 -14
- package/dist/bridges/evaluator-inputs.js.map +1 -1
- package/dist/bridges/evaluators.d.ts +40 -28
- package/dist/bridges/evaluators.d.ts.map +1 -1
- package/dist/bridges/evaluators.js +183 -413
- package/dist/bridges/evaluators.js.map +1 -1
- package/dist/bridges/expr-parse.d.ts +27 -0
- package/dist/bridges/expr-parse.d.ts.map +1 -0
- package/dist/bridges/expr-parse.js +162 -0
- package/dist/bridges/expr-parse.js.map +1 -0
- package/dist/bridges/holds.d.ts +26 -0
- package/dist/bridges/holds.d.ts.map +1 -0
- package/dist/bridges/holds.js +145 -0
- package/dist/bridges/holds.js.map +1 -0
- package/dist/bridges/index.d.ts +18 -354
- package/dist/bridges/index.d.ts.map +1 -1
- package/dist/bridges/index.js +17 -3312
- package/dist/bridges/index.js.map +1 -1
- package/dist/bridges/input-contract.d.ts +65 -0
- package/dist/bridges/input-contract.d.ts.map +1 -0
- package/dist/bridges/input-contract.js +97 -0
- package/dist/bridges/input-contract.js.map +1 -0
- package/dist/bridges/notices.d.ts +11 -0
- package/dist/bridges/notices.d.ts.map +1 -0
- package/dist/bridges/notices.js +22 -0
- package/dist/bridges/notices.js.map +1 -0
- package/dist/bridges/relation-eval.d.ts +23 -0
- package/dist/bridges/relation-eval.d.ts.map +1 -0
- package/dist/bridges/relation-eval.js +136 -0
- package/dist/bridges/relation-eval.js.map +1 -0
- package/dist/bridges/rhs-registry.d.ts +7 -21
- package/dist/bridges/rhs-registry.d.ts.map +1 -1
- package/dist/bridges/rhs-registry.js +13 -123
- package/dist/bridges/rhs-registry.js.map +1 -1
- package/dist/bridges/sensitivity.d.ts +11 -3
- package/dist/bridges/sensitivity.d.ts.map +1 -1
- package/dist/bridges/sensitivity.js +20 -36
- package/dist/bridges/sensitivity.js.map +1 -1
- package/dist/bridges/types.d.ts +52 -0
- package/dist/bridges/types.d.ts.map +1 -0
- package/dist/bridges/types.js +10 -0
- package/dist/bridges/types.js.map +1 -0
- package/dist/canonical/canonical-equation.d.ts +31 -0
- package/dist/canonical/canonical-equation.d.ts.map +1 -1
- package/dist/canonical/entries/atomic.d.ts.map +1 -1
- package/dist/canonical/entries/atomic.js +12 -2
- package/dist/canonical/entries/atomic.js.map +1 -1
- package/dist/canonical/entries/condensed-matter.d.ts.map +1 -1
- package/dist/canonical/entries/condensed-matter.js +4 -1
- package/dist/canonical/entries/condensed-matter.js.map +1 -1
- package/dist/canonical/entries/dimensional-classics.d.ts.map +1 -1
- package/dist/canonical/entries/dimensional-classics.js +48 -0
- package/dist/canonical/entries/dimensional-classics.js.map +1 -1
- package/dist/canonical/entries/electromagnetism.d.ts.map +1 -1
- package/dist/canonical/entries/electromagnetism.js +31 -1
- package/dist/canonical/entries/electromagnetism.js.map +1 -1
- package/dist/canonical/entries/fluids-waves.d.ts.map +1 -1
- package/dist/canonical/entries/fluids-waves.js +35 -1
- package/dist/canonical/entries/fluids-waves.js.map +1 -1
- package/dist/canonical/entries/mechanics.d.ts.map +1 -1
- package/dist/canonical/entries/mechanics.js +25 -1
- package/dist/canonical/entries/mechanics.js.map +1 -1
- package/dist/canonical/entries/nonmonomial.d.ts.map +1 -1
- package/dist/canonical/entries/nonmonomial.js +16 -5
- package/dist/canonical/entries/nonmonomial.js.map +1 -1
- package/dist/canonical/entries/relativity.d.ts.map +1 -1
- package/dist/canonical/entries/relativity.js +7 -1
- package/dist/canonical/entries/relativity.js.map +1 -1
- package/dist/canonical/entries/statistical-mechanics.d.ts.map +1 -1
- package/dist/canonical/entries/statistical-mechanics.js +20 -1
- package/dist/canonical/entries/statistical-mechanics.js.map +1 -1
- package/dist/canonical/entries/thermo-nuclear-cosmo.d.ts.map +1 -1
- package/dist/canonical/entries/thermo-nuclear-cosmo.js +17 -2
- package/dist/canonical/entries/thermo-nuclear-cosmo.js.map +1 -1
- package/dist/canonical/normal-form.d.ts.map +1 -1
- package/dist/canonical/normal-form.js +9 -4
- package/dist/canonical/normal-form.js.map +1 -1
- package/dist/cases/index.d.ts +9 -2
- package/dist/cases/index.d.ts.map +1 -1
- package/dist/cases/index.js +26 -7
- package/dist/cases/index.js.map +1 -1
- package/dist/cases/kepler-rv.d.ts.map +1 -1
- package/dist/cases/kepler-rv.js +13 -9
- package/dist/cases/kepler-rv.js.map +1 -1
- package/dist/cases/resistor-noise.d.ts.map +1 -1
- package/dist/cases/resistor-noise.js +10 -5
- package/dist/cases/resistor-noise.js.map +1 -1
- package/dist/cli/commands/_discovery-opts.d.ts +2 -1
- package/dist/cli/commands/_discovery-opts.d.ts.map +1 -1
- package/dist/cli/commands/_discovery-opts.js +7 -12
- package/dist/cli/commands/_discovery-opts.js.map +1 -1
- package/dist/cli/commands/atlas.d.ts.map +1 -1
- package/dist/cli/commands/atlas.js +6 -9
- package/dist/cli/commands/atlas.js.map +1 -1
- package/dist/cli/commands/audit.d.ts.map +1 -1
- package/dist/cli/commands/audit.js +1 -2
- package/dist/cli/commands/audit.js.map +1 -1
- package/dist/cli/commands/chain.js +2 -2
- package/dist/cli/commands/chain.js.map +1 -1
- package/dist/cli/commands/confront.d.ts.map +1 -1
- package/dist/cli/commands/confront.js +17 -17
- package/dist/cli/commands/confront.js.map +1 -1
- package/dist/cli/commands/connectors.d.ts.map +1 -1
- package/dist/cli/commands/connectors.js +8 -9
- package/dist/cli/commands/connectors.js.map +1 -1
- package/dist/cli/commands/derive.js +9 -10
- package/dist/cli/commands/derive.js.map +1 -1
- package/dist/cli/commands/discover.d.ts.map +1 -1
- package/dist/cli/commands/discover.js +3 -4
- package/dist/cli/commands/discover.js.map +1 -1
- package/dist/cli/commands/eval.d.ts.map +1 -1
- package/dist/cli/commands/eval.js +18 -16
- package/dist/cli/commands/eval.js.map +1 -1
- package/dist/cli/commands/evaluate.d.ts +1 -35
- package/dist/cli/commands/evaluate.d.ts.map +1 -1
- package/dist/cli/commands/evaluate.js +67 -193
- package/dist/cli/commands/evaluate.js.map +1 -1
- package/dist/cli/commands/explain.d.ts.map +1 -1
- package/dist/cli/commands/explain.js +44 -37
- package/dist/cli/commands/explain.js.map +1 -1
- package/dist/cli/commands/ground.js +1 -1
- package/dist/cli/commands/ground.js.map +1 -1
- package/dist/cli/commands/map.js +3 -4
- package/dist/cli/commands/map.js.map +1 -1
- package/dist/cli/commands/metric.d.ts.map +1 -1
- package/dist/cli/commands/metric.js +3 -0
- package/dist/cli/commands/metric.js.map +1 -1
- package/dist/cli/commands/regime.js +1 -1
- package/dist/cli/commands/regime.js.map +1 -1
- package/dist/cli/commands/symbolic.d.ts.map +1 -1
- package/dist/cli/commands/symbolic.js +10 -6
- package/dist/cli/commands/symbolic.js.map +1 -1
- package/dist/cli/commands/testplan.js +3 -3
- package/dist/cli/commands/testplan.js.map +1 -1
- package/dist/cli/conventions.d.ts +6 -7
- package/dist/cli/conventions.d.ts.map +1 -1
- package/dist/cli/conventions.js +19 -28
- package/dist/cli/conventions.js.map +1 -1
- package/dist/cli/euler-guard.d.ts +13 -2
- package/dist/cli/euler-guard.d.ts.map +1 -1
- package/dist/cli/euler-guard.js +17 -3
- package/dist/cli/euler-guard.js.map +1 -1
- package/dist/cli/eval-numbers.d.ts +4 -9
- package/dist/cli/eval-numbers.d.ts.map +1 -1
- package/dist/cli/eval-numbers.js +11 -41
- package/dist/cli/eval-numbers.js.map +1 -1
- package/dist/cli/published-url.d.ts +2 -0
- package/dist/cli/published-url.d.ts.map +1 -1
- package/dist/cli/published-url.js +5 -0
- package/dist/cli/published-url.js.map +1 -1
- package/dist/cli/record-tables.d.ts +2 -1
- package/dist/cli/record-tables.d.ts.map +1 -1
- package/dist/cli/record-tables.js +8 -3
- package/dist/cli/record-tables.js.map +1 -1
- package/dist/cli-api.d.ts +50 -12
- package/dist/cli-api.d.ts.map +1 -1
- package/dist/cli-api.js +43 -11
- package/dist/cli-api.js.map +1 -1
- package/dist/composition/adjudication.d.ts +8 -30
- package/dist/composition/adjudication.d.ts.map +1 -1
- package/dist/composition/adjudication.js +15 -67
- package/dist/composition/adjudication.js.map +1 -1
- package/dist/composition/aliases.d.ts +1 -1
- package/dist/composition/aliases.d.ts.map +1 -1
- package/dist/composition/aliases.js +10 -20
- package/dist/composition/aliases.js.map +1 -1
- package/dist/composition/bridge-analysis.d.ts +4 -0
- package/dist/composition/bridge-analysis.d.ts.map +1 -1
- package/dist/composition/bridge-analysis.js +13 -14
- package/dist/composition/bridge-analysis.js.map +1 -1
- package/dist/composition/canonical-graph.d.ts +12 -12
- package/dist/composition/canonical-graph.d.ts.map +1 -1
- package/dist/composition/canonical-graph.js +96 -25
- package/dist/composition/canonical-graph.js.map +1 -1
- package/dist/composition/canonical-prefactors.d.ts +10 -29
- package/dist/composition/canonical-prefactors.d.ts.map +1 -1
- package/dist/composition/canonical-prefactors.js +15 -202
- package/dist/composition/canonical-prefactors.js.map +1 -1
- package/dist/composition/catalog-graph.d.ts +11 -4
- package/dist/composition/catalog-graph.d.ts.map +1 -1
- package/dist/composition/catalog-graph.js +78 -47
- package/dist/composition/catalog-graph.js.map +1 -1
- package/dist/composition/compose.js +2 -1
- package/dist/composition/compose.js.map +1 -1
- package/dist/composition/discovery.d.ts +50 -0
- package/dist/composition/discovery.d.ts.map +1 -1
- package/dist/composition/discovery.js +28 -24
- package/dist/composition/discovery.js.map +1 -1
- package/dist/composition/edge.d.ts +0 -14
- package/dist/composition/edge.d.ts.map +1 -1
- package/dist/composition/edge.js +1 -17
- package/dist/composition/edge.js.map +1 -1
- package/dist/composition/evaluate-relation.d.ts +31 -5
- package/dist/composition/evaluate-relation.d.ts.map +1 -1
- package/dist/composition/evaluate-relation.js +111 -60
- package/dist/composition/evaluate-relation.js.map +1 -1
- package/dist/composition/explain.d.ts +5 -0
- package/dist/composition/explain.d.ts.map +1 -1
- package/dist/composition/explain.js +9 -8
- package/dist/composition/explain.js.map +1 -1
- package/dist/composition/expr-eval.d.ts.map +1 -1
- package/dist/composition/expr-eval.js +8 -1
- package/dist/composition/expr-eval.js.map +1 -1
- package/dist/composition/frontier-account.d.ts.map +1 -1
- package/dist/composition/frontier-account.js +1 -1
- package/dist/composition/frontier-account.js.map +1 -1
- package/dist/composition/index.d.ts +6 -15
- package/dist/composition/index.d.ts.map +1 -1
- package/dist/composition/index.js +6 -15
- package/dist/composition/index.js.map +1 -1
- package/dist/composition/proposed-bridges.d.ts.map +1 -1
- package/dist/composition/proposed-bridges.js +3 -2
- package/dist/composition/proposed-bridges.js.map +1 -1
- package/dist/composition/quantities.d.ts +11 -27
- package/dist/composition/quantities.d.ts.map +1 -1
- package/dist/composition/quantities.js +29 -29
- package/dist/composition/quantities.js.map +1 -1
- package/dist/composition/retrodiction.d.ts +8 -0
- package/dist/composition/retrodiction.d.ts.map +1 -1
- package/dist/composition/retrodiction.js +5 -0
- package/dist/composition/retrodiction.js.map +1 -1
- package/dist/composition/user-equation.d.ts +13 -16
- package/dist/composition/user-equation.d.ts.map +1 -1
- package/dist/composition/user-equation.js +26 -53
- package/dist/composition/user-equation.js.map +1 -1
- package/dist/core/constants.d.ts +41 -4
- package/dist/core/constants.d.ts.map +1 -1
- package/dist/core/constants.js +54 -5
- package/dist/core/constants.js.map +1 -1
- package/dist/core/data-file.d.ts +27 -0
- package/dist/core/data-file.d.ts.map +1 -0
- package/dist/core/data-file.js +48 -0
- package/dist/core/data-file.js.map +1 -0
- package/dist/core/json-schema.d.ts +27 -0
- package/dist/core/json-schema.d.ts.map +1 -0
- package/dist/core/json-schema.js +153 -0
- package/dist/core/json-schema.js.map +1 -0
- package/dist/core/types.d.ts +3 -2
- package/dist/core/types.d.ts.map +1 -1
- package/dist/core/types.js +16 -14
- package/dist/core/types.js.map +1 -1
- package/dist/diff/bridge-ast-gradient.d.ts.map +1 -1
- package/dist/diff/bridge-ast-gradient.js +6 -16
- package/dist/diff/bridge-ast-gradient.js.map +1 -1
- package/dist/diff/bridge-gradient.d.ts +1 -1
- package/dist/diff/bridge-gradient.d.ts.map +1 -1
- package/dist/diff/bridge-specs.d.ts +33 -62
- package/dist/diff/bridge-specs.d.ts.map +1 -1
- package/dist/diff/bridge-specs.js +56 -77
- package/dist/diff/bridge-specs.js.map +1 -1
- package/dist/dimensional/bridge-check.d.ts +9 -26
- package/dist/dimensional/bridge-check.d.ts.map +1 -1
- package/dist/dimensional/bridge-check.js +20 -227
- package/dist/dimensional/bridge-check.js.map +1 -1
- package/dist/dimensional/constant-rows.d.ts +54 -0
- package/dist/dimensional/constant-rows.d.ts.map +1 -0
- package/dist/dimensional/constant-rows.js +111 -0
- package/dist/dimensional/constant-rows.js.map +1 -0
- package/dist/dimensional/constants.d.ts +4 -13
- package/dist/dimensional/constants.d.ts.map +1 -1
- package/dist/dimensional/constants.js +11 -19
- package/dist/dimensional/constants.js.map +1 -1
- package/dist/dimensional/dimension-spec.d.ts +12 -3
- package/dist/dimensional/dimension-spec.d.ts.map +1 -1
- package/dist/dimensional/dimension-spec.js +114 -150
- package/dist/dimensional/dimension-spec.js.map +1 -1
- package/dist/dimensional/exact-scale.d.ts +79 -0
- package/dist/dimensional/exact-scale.d.ts.map +1 -0
- package/dist/dimensional/exact-scale.js +222 -0
- package/dist/dimensional/exact-scale.js.map +1 -0
- package/dist/dimensional/formula-names.d.ts +30 -13
- package/dist/dimensional/formula-names.d.ts.map +1 -1
- package/dist/dimensional/formula-names.js +56 -48
- package/dist/dimensional/formula-names.js.map +1 -1
- package/dist/dimensional/hyphen-names.d.ts +13 -0
- package/dist/dimensional/hyphen-names.d.ts.map +1 -0
- package/dist/dimensional/hyphen-names.js +27 -0
- package/dist/dimensional/hyphen-names.js.map +1 -0
- package/dist/dimensional/quantity-registry.d.ts +42 -0
- package/dist/dimensional/quantity-registry.d.ts.map +1 -0
- package/dist/dimensional/quantity-registry.js +78 -0
- package/dist/dimensional/quantity-registry.js.map +1 -0
- package/dist/dimensional/symbolic-constants.d.ts +63 -19
- package/dist/dimensional/symbolic-constants.d.ts.map +1 -1
- package/dist/dimensional/symbolic-constants.js +109 -92
- package/dist/dimensional/symbolic-constants.js.map +1 -1
- package/dist/dimensional/unit-data.d.ts +70 -0
- package/dist/dimensional/unit-data.d.ts.map +1 -0
- package/dist/dimensional/unit-data.js +135 -0
- package/dist/dimensional/unit-data.js.map +1 -0
- package/dist/dimensional/units.d.ts +88 -23
- package/dist/dimensional/units.d.ts.map +1 -1
- package/dist/dimensional/units.js +365 -230
- package/dist/dimensional/units.js.map +1 -1
- package/dist/index.d.ts +29 -69
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +16 -50
- package/dist/index.js.map +1 -1
- package/dist/numerical/binding-value.d.ts +21 -1
- package/dist/numerical/binding-value.d.ts.map +1 -1
- package/dist/numerical/binding-value.js +177 -121
- package/dist/numerical/binding-value.js.map +1 -1
- package/dist/numerical/{be37-covariant-eikonal.d.ts → covariant-eikonal.d.ts} +13 -13
- package/dist/numerical/covariant-eikonal.d.ts.map +1 -0
- package/dist/numerical/{be37-covariant-eikonal.js → covariant-eikonal.js} +18 -18
- package/dist/numerical/covariant-eikonal.js.map +1 -0
- package/dist/numerical/derivative-lowering.d.ts +2 -1
- package/dist/numerical/derivative-lowering.d.ts.map +1 -1
- package/dist/numerical/derivative-lowering.js +2 -1
- package/dist/numerical/derivative-lowering.js.map +1 -1
- package/dist/numerical/evaluator-uncertainty.d.ts +34 -0
- package/dist/numerical/evaluator-uncertainty.d.ts.map +1 -0
- package/dist/numerical/evaluator-uncertainty.js +117 -0
- package/dist/numerical/evaluator-uncertainty.js.map +1 -0
- package/dist/numerical/formula-contract.d.ts +4 -0
- package/dist/numerical/formula-contract.d.ts.map +1 -1
- package/dist/numerical/formula-contract.js +7 -0
- package/dist/numerical/formula-contract.js.map +1 -1
- package/dist/numerical/formula-dimension.d.ts +9 -0
- package/dist/numerical/formula-dimension.d.ts.map +1 -1
- package/dist/numerical/formula-dimension.js +64 -10
- package/dist/numerical/formula-dimension.js.map +1 -1
- package/dist/numerical/formula-mathts.d.ts.map +1 -1
- package/dist/numerical/formula-mathts.js +6 -2
- package/dist/numerical/formula-mathts.js.map +1 -1
- package/dist/numerical/gl4-integrator.d.ts +6 -3
- package/dist/numerical/gl4-integrator.d.ts.map +1 -1
- package/dist/numerical/gl4-integrator.js +9 -6
- package/dist/numerical/gl4-integrator.js.map +1 -1
- package/dist/numerical/index.d.ts +4 -3
- package/dist/numerical/index.d.ts.map +1 -1
- package/dist/numerical/index.js +2 -2
- package/dist/numerical/index.js.map +1 -1
- package/dist/numerical/null-ic.d.ts +6 -5
- package/dist/numerical/null-ic.d.ts.map +1 -1
- package/dist/numerical/null-ic.js +6 -5
- package/dist/numerical/null-ic.js.map +1 -1
- package/dist/numerical/null-ray-integrator.js +1 -1
- package/dist/numerical/perihelion-finder.d.ts +5 -4
- package/dist/numerical/perihelion-finder.d.ts.map +1 -1
- package/dist/numerical/perihelion-finder.js +5 -4
- package/dist/numerical/perihelion-finder.js.map +1 -1
- package/dist/numerical/spacetime-metrics.d.ts +4 -0
- package/dist/numerical/spacetime-metrics.d.ts.map +1 -1
- package/dist/numerical/spacetime-metrics.js +34 -4
- package/dist/numerical/spacetime-metrics.js.map +1 -1
- package/dist/relations/types.d.ts +8 -1
- package/dist/relations/types.d.ts.map +1 -1
- package/dist/relations/types.js +10 -0
- package/dist/relations/types.js.map +1 -1
- package/package.json +2 -1
- package/dist/bridges/be100-lyddane-sachs-teller.d.ts +0 -41
- package/dist/bridges/be100-lyddane-sachs-teller.d.ts.map +0 -1
- package/dist/bridges/be100-lyddane-sachs-teller.js +0 -30
- package/dist/bridges/be100-lyddane-sachs-teller.js.map +0 -1
- package/dist/bridges/be101-bkt-jump.d.ts +0 -24
- package/dist/bridges/be101-bkt-jump.d.ts.map +0 -1
- package/dist/bridges/be101-bkt-jump.js +0 -29
- package/dist/bridges/be101-bkt-jump.js.map +0 -1
- package/dist/bridges/be102-landauer-conductance.d.ts +0 -24
- package/dist/bridges/be102-landauer-conductance.d.ts.map +0 -1
- package/dist/bridges/be102-landauer-conductance.js +0 -28
- package/dist/bridges/be102-landauer-conductance.js.map +0 -1
- package/dist/bridges/be11-decoherence-confrontation.d.ts +0 -63
- package/dist/bridges/be11-decoherence-confrontation.d.ts.map +0 -1
- package/dist/bridges/be11-decoherence-confrontation.js +0 -39
- package/dist/bridges/be11-decoherence-confrontation.js.map +0 -1
- package/dist/bridges/be21-kss-confrontation.d.ts +0 -52
- package/dist/bridges/be21-kss-confrontation.d.ts.map +0 -1
- package/dist/bridges/be21-kss-confrontation.js +0 -38
- package/dist/bridges/be21-kss-confrontation.js.map +0 -1
- package/dist/bridges/be23-planckian-confrontation.d.ts +0 -162
- package/dist/bridges/be23-planckian-confrontation.d.ts.map +0 -1
- package/dist/bridges/be23-planckian-confrontation.js +0 -196
- package/dist/bridges/be23-planckian-confrontation.js.map +0 -1
- package/dist/bridges/be35-bootstrap-confrontation.d.ts +0 -59
- package/dist/bridges/be35-bootstrap-confrontation.d.ts.map +0 -1
- package/dist/bridges/be35-bootstrap-confrontation.js +0 -39
- package/dist/bridges/be35-bootstrap-confrontation.js.map +0 -1
- package/dist/bridges/be36-gw170817-confrontation.d.ts +0 -111
- package/dist/bridges/be36-gw170817-confrontation.d.ts.map +0 -1
- package/dist/bridges/be36-gw170817-confrontation.js +0 -100
- package/dist/bridges/be36-gw170817-confrontation.js.map +0 -1
- package/dist/bridges/be37-cassini-confrontation.d.ts +0 -43
- package/dist/bridges/be37-cassini-confrontation.d.ts.map +0 -1
- package/dist/bridges/be37-cassini-confrontation.js +0 -34
- package/dist/bridges/be37-cassini-confrontation.js.map +0 -1
- package/dist/bridges/be48-collapse-confrontation.d.ts +0 -52
- package/dist/bridges/be48-collapse-confrontation.d.ts.map +0 -1
- package/dist/bridges/be48-collapse-confrontation.js +0 -37
- package/dist/bridges/be48-collapse-confrontation.js.map +0 -1
- package/dist/bridges/be51-lensing-confrontation.d.ts +0 -53
- package/dist/bridges/be51-lensing-confrontation.d.ts.map +0 -1
- package/dist/bridges/be51-lensing-confrontation.js +0 -52
- package/dist/bridges/be51-lensing-confrontation.js.map +0 -1
- package/dist/bridges/be52-mercury-confrontation.d.ts +0 -72
- package/dist/bridges/be52-mercury-confrontation.d.ts.map +0 -1
- package/dist/bridges/be52-mercury-confrontation.js +0 -70
- package/dist/bridges/be52-mercury-confrontation.js.map +0 -1
- package/dist/bridges/be53-yang-mills-confrontation.d.ts +0 -81
- package/dist/bridges/be53-yang-mills-confrontation.d.ts.map +0 -1
- package/dist/bridges/be53-yang-mills-confrontation.js.map +0 -1
- package/dist/bridges/be55-quantum-hall-confrontation.d.ts +0 -51
- package/dist/bridges/be55-quantum-hall-confrontation.d.ts.map +0 -1
- package/dist/bridges/be55-quantum-hall-confrontation.js +0 -32
- package/dist/bridges/be55-quantum-hall-confrontation.js.map +0 -1
- package/dist/bridges/be55-quantum-hall.d.ts +0 -24
- package/dist/bridges/be55-quantum-hall.d.ts.map +0 -1
- package/dist/bridges/be55-quantum-hall.js +0 -46
- package/dist/bridges/be55-quantum-hall.js.map +0 -1
- package/dist/bridges/be56-casimir-confrontation.d.ts +0 -52
- package/dist/bridges/be56-casimir-confrontation.d.ts.map +0 -1
- package/dist/bridges/be56-casimir-confrontation.js +0 -31
- package/dist/bridges/be56-casimir-confrontation.js.map +0 -1
- package/dist/bridges/be56-casimir.d.ts +0 -18
- package/dist/bridges/be56-casimir.d.ts.map +0 -1
- package/dist/bridges/be56-casimir.js +0 -36
- package/dist/bridges/be56-casimir.js.map +0 -1
- package/dist/bridges/be57-unruh.d.ts +0 -18
- package/dist/bridges/be57-unruh.d.ts.map +0 -1
- package/dist/bridges/be57-unruh.js +0 -38
- package/dist/bridges/be57-unruh.js.map +0 -1
- package/dist/bridges/be58-johnson-nyquist-confrontation.d.ts +0 -57
- package/dist/bridges/be58-johnson-nyquist-confrontation.d.ts.map +0 -1
- package/dist/bridges/be58-johnson-nyquist-confrontation.js +0 -38
- package/dist/bridges/be58-johnson-nyquist-confrontation.js.map +0 -1
- package/dist/bridges/be58-johnson-nyquist.d.ts +0 -22
- package/dist/bridges/be58-johnson-nyquist.d.ts.map +0 -1
- package/dist/bridges/be58-johnson-nyquist.js +0 -36
- package/dist/bridges/be58-johnson-nyquist.js.map +0 -1
- package/dist/bridges/be59-ac-josephson-confrontation.d.ts +0 -46
- package/dist/bridges/be59-ac-josephson-confrontation.d.ts.map +0 -1
- package/dist/bridges/be59-ac-josephson-confrontation.js +0 -32
- package/dist/bridges/be59-ac-josephson-confrontation.js.map +0 -1
- package/dist/bridges/be59-ac-josephson.d.ts +0 -22
- package/dist/bridges/be59-ac-josephson.d.ts.map +0 -1
- package/dist/bridges/be59-ac-josephson.js +0 -35
- package/dist/bridges/be59-ac-josephson.js.map +0 -1
- package/dist/bridges/be60-fractional-qh-confrontation.d.ts +0 -45
- package/dist/bridges/be60-fractional-qh-confrontation.d.ts.map +0 -1
- package/dist/bridges/be60-fractional-qh-confrontation.js +0 -31
- package/dist/bridges/be60-fractional-qh-confrontation.js.map +0 -1
- package/dist/bridges/be60-fractional-qh.d.ts +0 -20
- package/dist/bridges/be60-fractional-qh.d.ts.map +0 -1
- package/dist/bridges/be60-fractional-qh.js +0 -33
- package/dist/bridges/be60-fractional-qh.js.map +0 -1
- package/dist/bridges/be61-wiedemann-franz-confrontation.d.ts +0 -35
- package/dist/bridges/be61-wiedemann-franz-confrontation.d.ts.map +0 -1
- package/dist/bridges/be61-wiedemann-franz-confrontation.js +0 -49
- package/dist/bridges/be61-wiedemann-franz-confrontation.js.map +0 -1
- package/dist/bridges/be61-wiedemann-franz.d.ts +0 -25
- package/dist/bridges/be61-wiedemann-franz.d.ts.map +0 -1
- package/dist/bridges/be61-wiedemann-franz.js +0 -41
- package/dist/bridges/be61-wiedemann-franz.js.map +0 -1
- package/dist/bridges/be62-bcs-gap-confrontation.d.ts +0 -35
- package/dist/bridges/be62-bcs-gap-confrontation.d.ts.map +0 -1
- package/dist/bridges/be62-bcs-gap-confrontation.js +0 -46
- package/dist/bridges/be62-bcs-gap-confrontation.js.map +0 -1
- package/dist/bridges/be62-bcs-gap.d.ts +0 -22
- package/dist/bridges/be62-bcs-gap.d.ts.map +0 -1
- package/dist/bridges/be62-bcs-gap.js +0 -38
- package/dist/bridges/be62-bcs-gap.js.map +0 -1
- package/dist/bridges/be63-chandrasekhar-mass-confrontation.d.ts +0 -32
- package/dist/bridges/be63-chandrasekhar-mass-confrontation.d.ts.map +0 -1
- package/dist/bridges/be63-chandrasekhar-mass-confrontation.js +0 -46
- package/dist/bridges/be63-chandrasekhar-mass-confrontation.js.map +0 -1
- package/dist/bridges/be63-chandrasekhar-mass.d.ts +0 -22
- package/dist/bridges/be63-chandrasekhar-mass.d.ts.map +0 -1
- package/dist/bridges/be63-chandrasekhar-mass.js +0 -34
- package/dist/bridges/be63-chandrasekhar-mass.js.map +0 -1
- package/dist/bridges/be64-eddington-luminosity-confrontation.d.ts +0 -48
- package/dist/bridges/be64-eddington-luminosity-confrontation.d.ts.map +0 -1
- package/dist/bridges/be64-eddington-luminosity-confrontation.js +0 -31
- package/dist/bridges/be64-eddington-luminosity-confrontation.js.map +0 -1
- package/dist/bridges/be64-eddington-luminosity.d.ts +0 -22
- package/dist/bridges/be64-eddington-luminosity.d.ts.map +0 -1
- package/dist/bridges/be64-eddington-luminosity.js +0 -35
- package/dist/bridges/be64-eddington-luminosity.js.map +0 -1
- package/dist/bridges/be65-jeans-mass-confrontation.d.ts +0 -36
- package/dist/bridges/be65-jeans-mass-confrontation.d.ts.map +0 -1
- package/dist/bridges/be65-jeans-mass-confrontation.js +0 -58
- package/dist/bridges/be65-jeans-mass-confrontation.js.map +0 -1
- package/dist/bridges/be65-jeans-mass.d.ts +0 -24
- package/dist/bridges/be65-jeans-mass.d.ts.map +0 -1
- package/dist/bridges/be65-jeans-mass.js +0 -38
- package/dist/bridges/be65-jeans-mass.js.map +0 -1
- package/dist/bridges/be66-radiation-pressure.d.ts +0 -30
- package/dist/bridges/be66-radiation-pressure.d.ts.map +0 -1
- package/dist/bridges/be66-radiation-pressure.js +0 -37
- package/dist/bridges/be66-radiation-pressure.js.map +0 -1
- package/dist/bridges/be67-alfven-speed.d.ts +0 -41
- package/dist/bridges/be67-alfven-speed.d.ts.map +0 -1
- package/dist/bridges/be67-alfven-speed.js +0 -50
- package/dist/bridges/be67-alfven-speed.js.map +0 -1
- package/dist/bridges/be68-tolman-ehrenfest.d.ts +0 -49
- package/dist/bridges/be68-tolman-ehrenfest.d.ts.map +0 -1
- package/dist/bridges/be68-tolman-ehrenfest.js +0 -46
- package/dist/bridges/be68-tolman-ehrenfest.js.map +0 -1
- package/dist/bridges/be69-fast-magnetosonic.d.ts +0 -30
- package/dist/bridges/be69-fast-magnetosonic.d.ts.map +0 -1
- package/dist/bridges/be69-fast-magnetosonic.js +0 -33
- package/dist/bridges/be69-fast-magnetosonic.js.map +0 -1
- package/dist/bridges/be70-einstein-relation.d.ts +0 -30
- package/dist/bridges/be70-einstein-relation.d.ts.map +0 -1
- package/dist/bridges/be70-einstein-relation.js +0 -41
- package/dist/bridges/be70-einstein-relation.js.map +0 -1
- package/dist/bridges/be71-clapeyron.d.ts +0 -43
- package/dist/bridges/be71-clapeyron.d.ts.map +0 -1
- package/dist/bridges/be71-clapeyron.js +0 -32
- package/dist/bridges/be71-clapeyron.js.map +0 -1
- package/dist/bridges/be72-gravitational-redshift.d.ts +0 -43
- package/dist/bridges/be72-gravitational-redshift.d.ts.map +0 -1
- package/dist/bridges/be72-gravitational-redshift.js +0 -32
- package/dist/bridges/be72-gravitational-redshift.js.map +0 -1
- package/dist/bridges/be73-kelvin-peltier.d.ts +0 -42
- package/dist/bridges/be73-kelvin-peltier.d.ts.map +0 -1
- package/dist/bridges/be73-kelvin-peltier.js +0 -31
- package/dist/bridges/be73-kelvin-peltier.js.map +0 -1
- package/dist/bridges/be74-magnetic-pressure.d.ts +0 -27
- package/dist/bridges/be74-magnetic-pressure.d.ts.map +0 -1
- package/dist/bridges/be74-magnetic-pressure.js +0 -29
- package/dist/bridges/be74-magnetic-pressure.js.map +0 -1
- package/dist/bridges/be75-london-penetration.d.ts +0 -27
- package/dist/bridges/be75-london-penetration.d.ts.map +0 -1
- package/dist/bridges/be75-london-penetration.js +0 -31
- package/dist/bridges/be75-london-penetration.js.map +0 -1
- package/dist/bridges/be76-plasma-beta.d.ts +0 -32
- package/dist/bridges/be76-plasma-beta.d.ts.map +0 -1
- package/dist/bridges/be76-plasma-beta.js +0 -34
- package/dist/bridges/be76-plasma-beta.js.map +0 -1
- package/dist/bridges/be77-hagen-poiseuille.d.ts +0 -50
- package/dist/bridges/be77-hagen-poiseuille.d.ts.map +0 -1
- package/dist/bridges/be77-hagen-poiseuille.js +0 -39
- package/dist/bridges/be77-hagen-poiseuille.js.map +0 -1
- package/dist/bridges/be78-euler-buckling.d.ts +0 -44
- package/dist/bridges/be78-euler-buckling.d.ts.map +0 -1
- package/dist/bridges/be78-euler-buckling.js +0 -33
- package/dist/bridges/be78-euler-buckling.js.map +0 -1
- package/dist/bridges/be79-pull-in.d.ts +0 -33
- package/dist/bridges/be79-pull-in.d.ts.map +0 -1
- package/dist/bridges/be79-pull-in.js +0 -35
- package/dist/bridges/be79-pull-in.js.map +0 -1
- package/dist/bridges/be80-mott-gurney.d.ts +0 -52
- package/dist/bridges/be80-mott-gurney.d.ts.map +0 -1
- package/dist/bridges/be80-mott-gurney.js +0 -38
- package/dist/bridges/be80-mott-gurney.js.map +0 -1
- package/dist/bridges/be81-child-langmuir.d.ts +0 -33
- package/dist/bridges/be81-child-langmuir.d.ts.map +0 -1
- package/dist/bridges/be81-child-langmuir.js +0 -38
- package/dist/bridges/be81-child-langmuir.js.map +0 -1
- package/dist/bridges/be82-shockley-diode.d.ts +0 -32
- package/dist/bridges/be82-shockley-diode.d.ts.map +0 -1
- package/dist/bridges/be82-shockley-diode.js +0 -37
- package/dist/bridges/be82-shockley-diode.js.map +0 -1
- package/dist/bridges/be83-thomson.d.ts +0 -46
- package/dist/bridges/be83-thomson.d.ts.map +0 -1
- package/dist/bridges/be83-thomson.js +0 -32
- package/dist/bridges/be83-thomson.js.map +0 -1
- package/dist/bridges/be84-four-point.d.ts +0 -45
- package/dist/bridges/be84-four-point.d.ts.map +0 -1
- package/dist/bridges/be84-four-point.js +0 -34
- package/dist/bridges/be84-four-point.js.map +0 -1
- package/dist/bridges/be85-shot-noise.d.ts +0 -30
- package/dist/bridges/be85-shot-noise.d.ts.map +0 -1
- package/dist/bridges/be85-shot-noise.js +0 -32
- package/dist/bridges/be85-shot-noise.js.map +0 -1
- package/dist/bridges/be86-reynolds-analogy.d.ts +0 -45
- package/dist/bridges/be86-reynolds-analogy.d.ts.map +0 -1
- package/dist/bridges/be86-reynolds-analogy.js +0 -30
- package/dist/bridges/be86-reynolds-analogy.js.map +0 -1
- package/dist/bridges/be87-capacitor-noise.d.ts +0 -27
- package/dist/bridges/be87-capacitor-noise.d.ts.map +0 -1
- package/dist/bridges/be87-capacitor-noise.js +0 -32
- package/dist/bridges/be87-capacitor-noise.js.map +0 -1
- package/dist/bridges/be88-fermi-sea.d.ts +0 -31
- package/dist/bridges/be88-fermi-sea.d.ts.map +0 -1
- package/dist/bridges/be88-fermi-sea.js +0 -35
- package/dist/bridges/be88-fermi-sea.js.map +0 -1
- package/dist/bridges/be89-debye-cutoff.d.ts +0 -39
- package/dist/bridges/be89-debye-cutoff.d.ts.map +0 -1
- package/dist/bridges/be89-debye-cutoff.js +0 -28
- package/dist/bridges/be89-debye-cutoff.js.map +0 -1
- package/dist/bridges/be90-debye-heat.d.ts +0 -30
- package/dist/bridges/be90-debye-heat.d.ts.map +0 -1
- package/dist/bridges/be90-debye-heat.js +0 -35
- package/dist/bridges/be90-debye-heat.js.map +0 -1
- package/dist/bridges/be91-einstein-solid.d.ts +0 -30
- package/dist/bridges/be91-einstein-solid.d.ts.map +0 -1
- package/dist/bridges/be91-einstein-solid.js +0 -37
- package/dist/bridges/be91-einstein-solid.js.map +0 -1
- package/dist/bridges/be92-sommerfeld-heat.d.ts +0 -30
- package/dist/bridges/be92-sommerfeld-heat.d.ts.map +0 -1
- package/dist/bridges/be92-sommerfeld-heat.js +0 -34
- package/dist/bridges/be92-sommerfeld-heat.js.map +0 -1
- package/dist/bridges/be93-curie-weiss.d.ts +0 -41
- package/dist/bridges/be93-curie-weiss.d.ts.map +0 -1
- package/dist/bridges/be93-curie-weiss.js +0 -45
- package/dist/bridges/be93-curie-weiss.js.map +0 -1
- package/dist/bridges/be94-pauli-paramagnetism.d.ts +0 -30
- package/dist/bridges/be94-pauli-paramagnetism.d.ts.map +0 -1
- package/dist/bridges/be94-pauli-paramagnetism.js +0 -33
- package/dist/bridges/be94-pauli-paramagnetism.js.map +0 -1
- package/dist/bridges/be95-ginzburg-landau.d.ts +0 -46
- package/dist/bridges/be95-ginzburg-landau.d.ts.map +0 -1
- package/dist/bridges/be95-ginzburg-landau.js +0 -32
- package/dist/bridges/be95-ginzburg-landau.js.map +0 -1
- package/dist/bridges/be96-upper-critical.d.ts +0 -24
- package/dist/bridges/be96-upper-critical.d.ts.map +0 -1
- package/dist/bridges/be96-upper-critical.js +0 -27
- package/dist/bridges/be96-upper-critical.js.map +0 -1
- package/dist/bridges/be97-ambegaokar-baratoff.d.ts +0 -24
- package/dist/bridges/be97-ambegaokar-baratoff.d.ts.map +0 -1
- package/dist/bridges/be97-ambegaokar-baratoff.js +0 -30
- package/dist/bridges/be97-ambegaokar-baratoff.js.map +0 -1
- package/dist/bridges/be98-bcs-jump.d.ts +0 -40
- package/dist/bridges/be98-bcs-jump.d.ts.map +0 -1
- package/dist/bridges/be98-bcs-jump.js +0 -29
- package/dist/bridges/be98-bcs-jump.js.map +0 -1
- package/dist/bridges/be99-mass-action.d.ts +0 -33
- package/dist/bridges/be99-mass-action.d.ts.map +0 -1
- package/dist/bridges/be99-mass-action.js +0 -37
- package/dist/bridges/be99-mass-action.js.map +0 -1
- package/dist/bridges/bridge-equations.d.ts +0 -225
- package/dist/bridges/bridge-equations.d.ts.map +0 -1
- package/dist/bridges/bridge-equations.js +0 -226
- package/dist/bridges/bridge-equations.js.map +0 -1
- package/dist/bridges/condensed-r8-catalog.d.ts +0 -28
- package/dist/bridges/condensed-r8-catalog.d.ts.map +0 -1
- package/dist/bridges/condensed-r8-catalog.js +0 -272
- package/dist/bridges/condensed-r8-catalog.js.map +0 -1
- package/dist/bridges/condensed-r8.d.ts +0 -260
- package/dist/bridges/condensed-r8.d.ts.map +0 -1
- package/dist/bridges/condensed-r8.js +0 -329
- package/dist/bridges/condensed-r8.js.map +0 -1
- package/dist/bridges/engineering-r7-catalog.d.ts +0 -28
- package/dist/bridges/engineering-r7-catalog.d.ts.map +0 -1
- package/dist/bridges/engineering-r7-catalog.js +0 -172
- package/dist/bridges/engineering-r7-catalog.js.map +0 -1
- package/dist/bridges/engineering-r7.d.ts +0 -152
- package/dist/bridges/engineering-r7.d.ts.map +0 -1
- package/dist/bridges/engineering-r7.js +0 -208
- package/dist/bridges/engineering-r7.js.map +0 -1
- package/dist/bridges/equations/_be-helpers.d.ts +0 -80
- package/dist/bridges/equations/_be-helpers.d.ts.map +0 -1
- package/dist/bridges/equations/_be-helpers.js +0 -103
- package/dist/bridges/equations/_be-helpers.js.map +0 -1
- package/dist/bridges/equations/be-11-decoherence-master.d.ts +0 -82
- package/dist/bridges/equations/be-11-decoherence-master.d.ts.map +0 -1
- package/dist/bridges/equations/be-11-decoherence-master.js +0 -105
- package/dist/bridges/equations/be-11-decoherence-master.js.map +0 -1
- package/dist/bridges/equations/be-12-coherence-length.d.ts +0 -86
- package/dist/bridges/equations/be-12-coherence-length.d.ts.map +0 -1
- package/dist/bridges/equations/be-12-coherence-length.js +0 -120
- package/dist/bridges/equations/be-12-coherence-length.js.map +0 -1
- package/dist/bridges/equations/be-13-einstein-trace.d.ts +0 -136
- package/dist/bridges/equations/be-13-einstein-trace.d.ts.map +0 -1
- package/dist/bridges/equations/be-13-einstein-trace.js +0 -199
- package/dist/bridges/equations/be-13-einstein-trace.js.map +0 -1
- package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts +0 -73
- package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts.map +0 -1
- package/dist/bridges/equations/be-14-ryu-takayanagi.js +0 -101
- package/dist/bridges/equations/be-14-ryu-takayanagi.js.map +0 -1
- package/dist/bridges/equations/be-15-emergence.d.ts +0 -184
- package/dist/bridges/equations/be-15-emergence.d.ts.map +0 -1
- package/dist/bridges/equations/be-15-emergence.js +0 -208
- package/dist/bridges/equations/be-15-emergence.js.map +0 -1
- package/dist/bridges/equations/be-16-landauer.d.ts +0 -186
- package/dist/bridges/equations/be-16-landauer.d.ts.map +0 -1
- package/dist/bridges/equations/be-16-landauer.js +0 -198
- package/dist/bridges/equations/be-16-landauer.js.map +0 -1
- package/dist/bridges/equations/be-17-einstein-cartan.d.ts +0 -258
- package/dist/bridges/equations/be-17-einstein-cartan.d.ts.map +0 -1
- package/dist/bridges/equations/be-17-einstein-cartan.js +0 -301
- package/dist/bridges/equations/be-17-einstein-cartan.js.map +0 -1
- package/dist/bridges/equations/be-18-higgs-mass.d.ts +0 -71
- package/dist/bridges/equations/be-18-higgs-mass.d.ts.map +0 -1
- package/dist/bridges/equations/be-18-higgs-mass.js +0 -75
- package/dist/bridges/equations/be-18-higgs-mass.js.map +0 -1
- package/dist/bridges/equations/be-19-quantum-bounce.d.ts +0 -107
- package/dist/bridges/equations/be-19-quantum-bounce.d.ts.map +0 -1
- package/dist/bridges/equations/be-19-quantum-bounce.js +0 -196
- package/dist/bridges/equations/be-19-quantum-bounce.js.map +0 -1
- package/dist/bridges/equations/be-20-vacuum-energy.d.ts +0 -93
- package/dist/bridges/equations/be-20-vacuum-energy.d.ts.map +0 -1
- package/dist/bridges/equations/be-20-vacuum-energy.js +0 -142
- package/dist/bridges/equations/be-20-vacuum-energy.js.map +0 -1
- package/dist/bridges/equations/be-21-kss-bound.d.ts +0 -74
- package/dist/bridges/equations/be-21-kss-bound.d.ts.map +0 -1
- package/dist/bridges/equations/be-21-kss-bound.js +0 -97
- package/dist/bridges/equations/be-21-kss-bound.js.map +0 -1
- package/dist/bridges/equations/be-22-topological-entanglement.d.ts +0 -87
- package/dist/bridges/equations/be-22-topological-entanglement.d.ts.map +0 -1
- package/dist/bridges/equations/be-22-topological-entanglement.js +0 -111
- package/dist/bridges/equations/be-22-topological-entanglement.js.map +0 -1
- package/dist/bridges/equations/be-23-syk-planckian.d.ts +0 -95
- package/dist/bridges/equations/be-23-syk-planckian.d.ts.map +0 -1
- package/dist/bridges/equations/be-23-syk-planckian.js +0 -141
- package/dist/bridges/equations/be-23-syk-planckian.js.map +0 -1
- package/dist/bridges/equations/be-24-foerster-fret.d.ts +0 -87
- package/dist/bridges/equations/be-24-foerster-fret.d.ts.map +0 -1
- package/dist/bridges/equations/be-24-foerster-fret.js +0 -113
- package/dist/bridges/equations/be-24-foerster-fret.js.map +0 -1
- package/dist/bridges/equations/be-25-iit-phi.d.ts +0 -222
- package/dist/bridges/equations/be-25-iit-phi.d.ts.map +0 -1
- package/dist/bridges/equations/be-25-iit-phi.js +0 -255
- package/dist/bridges/equations/be-25-iit-phi.js.map +0 -1
- package/dist/bridges/equations/be-25-orch-or.d.ts +0 -93
- package/dist/bridges/equations/be-25-orch-or.d.ts.map +0 -1
- package/dist/bridges/equations/be-25-orch-or.js +0 -124
- package/dist/bridges/equations/be-25-orch-or.js.map +0 -1
- package/dist/bridges/equations/be-26-dna-tunneling.d.ts +0 -88
- package/dist/bridges/equations/be-26-dna-tunneling.d.ts.map +0 -1
- package/dist/bridges/equations/be-26-dna-tunneling.js +0 -142
- package/dist/bridges/equations/be-26-dna-tunneling.js.map +0 -1
- package/dist/bridges/equations/be-27-effective-temperature.d.ts +0 -87
- package/dist/bridges/equations/be-27-effective-temperature.d.ts.map +0 -1
- package/dist/bridges/equations/be-27-effective-temperature.js +0 -112
- package/dist/bridges/equations/be-27-effective-temperature.js.map +0 -1
- package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts +0 -181
- package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts.map +0 -1
- package/dist/bridges/equations/be-28-onsager-entropy-production.js +0 -199
- package/dist/bridges/equations/be-28-onsager-entropy-production.js.map +0 -1
- package/dist/bridges/equations/be-29-jarzynski.d.ts +0 -92
- package/dist/bridges/equations/be-29-jarzynski.d.ts.map +0 -1
- package/dist/bridges/equations/be-29-jarzynski.js +0 -127
- package/dist/bridges/equations/be-29-jarzynski.js.map +0 -1
- package/dist/bridges/equations/be-30-flm-first-law.d.ts +0 -102
- package/dist/bridges/equations/be-30-flm-first-law.d.ts.map +0 -1
- package/dist/bridges/equations/be-30-flm-first-law.js +0 -98
- package/dist/bridges/equations/be-30-flm-first-law.js.map +0 -1
- package/dist/bridges/equations/be-31-causal-set-bd.d.ts +0 -102
- package/dist/bridges/equations/be-31-causal-set-bd.d.ts.map +0 -1
- package/dist/bridges/equations/be-31-causal-set-bd.js +0 -119
- package/dist/bridges/equations/be-31-causal-set-bd.js.map +0 -1
- package/dist/bridges/equations/be-32-quantum-reference-frame.d.ts +0 -110
- package/dist/bridges/equations/be-32-quantum-reference-frame.d.ts.map +0 -1
- package/dist/bridges/equations/be-32-quantum-reference-frame.js +0 -145
- package/dist/bridges/equations/be-32-quantum-reference-frame.js.map +0 -1
- package/dist/bridges/equations/be-33-hertz-millis.d.ts +0 -102
- package/dist/bridges/equations/be-33-hertz-millis.d.ts.map +0 -1
- package/dist/bridges/equations/be-33-hertz-millis.js +0 -117
- package/dist/bridges/equations/be-33-hertz-millis.js.map +0 -1
- package/dist/bridges/equations/be-34-kibble-zurek.d.ts +0 -83
- package/dist/bridges/equations/be-34-kibble-zurek.d.ts.map +0 -1
- package/dist/bridges/equations/be-34-kibble-zurek.js +0 -139
- package/dist/bridges/equations/be-34-kibble-zurek.js.map +0 -1
- package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts +0 -101
- package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts.map +0 -1
- package/dist/bridges/equations/be-35-conformal-bootstrap.js +0 -123
- package/dist/bridges/equations/be-35-conformal-bootstrap.js.map +0 -1
- package/dist/bridges/equations/be-36-gw-speed-bound.d.ts +0 -90
- package/dist/bridges/equations/be-36-gw-speed-bound.d.ts.map +0 -1
- package/dist/bridges/equations/be-36-gw-speed-bound.js +0 -106
- package/dist/bridges/equations/be-36-gw-speed-bound.js.map +0 -1
- package/dist/bridges/equations/be-37-shapiro-delay.d.ts +0 -264
- package/dist/bridges/equations/be-37-shapiro-delay.d.ts.map +0 -1
- package/dist/bridges/equations/be-37-shapiro-delay.js +0 -420
- package/dist/bridges/equations/be-37-shapiro-delay.js.map +0 -1
- package/dist/bridges/equations/be-38-mond.d.ts +0 -94
- package/dist/bridges/equations/be-38-mond.d.ts.map +0 -1
- package/dist/bridges/equations/be-38-mond.js +0 -114
- package/dist/bridges/equations/be-38-mond.js.map +0 -1
- package/dist/bridges/equations/be-39-asymptotic-safety.d.ts +0 -170
- package/dist/bridges/equations/be-39-asymptotic-safety.d.ts.map +0 -1
- package/dist/bridges/equations/be-39-asymptotic-safety.js +0 -263
- package/dist/bridges/equations/be-39-asymptotic-safety.js.map +0 -1
- package/dist/bridges/equations/be-40-composite-higgs.d.ts +0 -89
- package/dist/bridges/equations/be-40-composite-higgs.d.ts.map +0 -1
- package/dist/bridges/equations/be-40-composite-higgs.js +0 -149
- package/dist/bridges/equations/be-40-composite-higgs.js.map +0 -1
- package/dist/bridges/equations/be-41-swampland.d.ts +0 -73
- package/dist/bridges/equations/be-41-swampland.d.ts.map +0 -1
- package/dist/bridges/equations/be-41-swampland.js +0 -108
- package/dist/bridges/equations/be-41-swampland.js.map +0 -1
- package/dist/bridges/equations/be-42-hawking-temperature.d.ts +0 -72
- package/dist/bridges/equations/be-42-hawking-temperature.d.ts.map +0 -1
- package/dist/bridges/equations/be-42-hawking-temperature.js +0 -108
- package/dist/bridges/equations/be-42-hawking-temperature.js.map +0 -1
- package/dist/bridges/equations/be-43-er-epr.d.ts +0 -79
- package/dist/bridges/equations/be-43-er-epr.d.ts.map +0 -1
- package/dist/bridges/equations/be-43-er-epr.js +0 -106
- package/dist/bridges/equations/be-43-er-epr.js.map +0 -1
- package/dist/bridges/equations/be-44-soft-hair.d.ts +0 -157
- package/dist/bridges/equations/be-44-soft-hair.d.ts.map +0 -1
- package/dist/bridges/equations/be-44-soft-hair.js +0 -177
- package/dist/bridges/equations/be-44-soft-hair.js.map +0 -1
- package/dist/bridges/equations/be-45-tcc.d.ts +0 -122
- package/dist/bridges/equations/be-45-tcc.d.ts.map +0 -1
- package/dist/bridges/equations/be-45-tcc.js +0 -149
- package/dist/bridges/equations/be-45-tcc.js.map +0 -1
- package/dist/bridges/equations/be-46-multiverse-measure.d.ts +0 -169
- package/dist/bridges/equations/be-46-multiverse-measure.d.ts.map +0 -1
- package/dist/bridges/equations/be-46-multiverse-measure.js +0 -192
- package/dist/bridges/equations/be-46-multiverse-measure.js.map +0 -1
- package/dist/bridges/equations/be-47-bbn-dark-sector.d.ts +0 -78
- package/dist/bridges/equations/be-47-bbn-dark-sector.d.ts.map +0 -1
- package/dist/bridges/equations/be-47-bbn-dark-sector.js +0 -119
- package/dist/bridges/equations/be-47-bbn-dark-sector.js.map +0 -1
- package/dist/bridges/equations/be-48-grw-localization.d.ts +0 -91
- package/dist/bridges/equations/be-48-grw-localization.d.ts.map +0 -1
- package/dist/bridges/equations/be-48-grw-localization.js +0 -103
- package/dist/bridges/equations/be-48-grw-localization.js.map +0 -1
- package/dist/bridges/equations/be-49-quantum-darwinism.d.ts +0 -103
- package/dist/bridges/equations/be-49-quantum-darwinism.d.ts.map +0 -1
- package/dist/bridges/equations/be-49-quantum-darwinism.js +0 -117
- package/dist/bridges/equations/be-49-quantum-darwinism.js.map +0 -1
- package/dist/bridges/equations/be-50-wheeler-feynman.d.ts +0 -116
- package/dist/bridges/equations/be-50-wheeler-feynman.d.ts.map +0 -1
- package/dist/bridges/equations/be-50-wheeler-feynman.js +0 -215
- package/dist/bridges/equations/be-50-wheeler-feynman.js.map +0 -1
- package/dist/bridges/equations/be-53-yang-mills-beta.d.ts +0 -179
- package/dist/bridges/equations/be-53-yang-mills-beta.d.ts.map +0 -1
- package/dist/bridges/equations/be-53-yang-mills-beta.js +0 -187
- package/dist/bridges/equations/be-53-yang-mills-beta.js.map +0 -1
- package/dist/bridges/equations/be-54-randall-sundrum-brane.d.ts +0 -117
- package/dist/bridges/equations/be-54-randall-sundrum-brane.d.ts.map +0 -1
- package/dist/bridges/equations/be-54-randall-sundrum-brane.js +0 -209
- package/dist/bridges/equations/be-54-randall-sundrum-brane.js.map +0 -1
- package/dist/bridges/gravitational-lensing.d.ts +0 -73
- package/dist/bridges/gravitational-lensing.d.ts.map +0 -1
- package/dist/bridges/gravitational-lensing.js +0 -59
- package/dist/bridges/gravitational-lensing.js.map +0 -1
- package/dist/bridges/perihelion-precession-labeled.d.ts +0 -46
- package/dist/bridges/perihelion-precession-labeled.d.ts.map +0 -1
- package/dist/bridges/perihelion-precession-labeled.js +0 -54
- package/dist/bridges/perihelion-precession-labeled.js.map +0 -1
- package/dist/bridges/perihelion-precession.d.ts +0 -87
- package/dist/bridges/perihelion-precession.d.ts.map +0 -1
- package/dist/bridges/perihelion-precession.js +0 -82
- package/dist/bridges/perihelion-precession.js.map +0 -1
- package/dist/bridges/plasma-catalog.d.ts +0 -29
- package/dist/bridges/plasma-catalog.d.ts.map +0 -1
- package/dist/bridges/plasma-catalog.js +0 -427
- package/dist/bridges/plasma-catalog.js.map +0 -1
- package/dist/bridges/plasma-space.d.ts +0 -310
- package/dist/bridges/plasma-space.d.ts.map +0 -1
- package/dist/bridges/plasma-space.js +0 -262
- package/dist/bridges/plasma-space.js.map +0 -1
- package/dist/composition/edges/_catalog-helpers.d.ts +0 -38
- package/dist/composition/edges/_catalog-helpers.d.ts.map +0 -1
- package/dist/composition/edges/_catalog-helpers.js +0 -90
- package/dist/composition/edges/_catalog-helpers.js.map +0 -1
- package/dist/composition/edges/applied-physicist.d.ts +0 -181
- package/dist/composition/edges/applied-physicist.d.ts.map +0 -1
- package/dist/composition/edges/applied-physicist.js +0 -843
- package/dist/composition/edges/applied-physicist.js.map +0 -1
- package/dist/composition/edges/calibration.d.ts +0 -107
- package/dist/composition/edges/calibration.d.ts.map +0 -1
- package/dist/composition/edges/calibration.js +0 -559
- package/dist/composition/edges/calibration.js.map +0 -1
- package/dist/composition/edges/catalog-condensed-matter.d.ts +0 -65
- package/dist/composition/edges/catalog-condensed-matter.d.ts.map +0 -1
- package/dist/composition/edges/catalog-condensed-matter.js +0 -257
- package/dist/composition/edges/catalog-condensed-matter.js.map +0 -1
- package/dist/composition/edges/catalog-fields.d.ts +0 -68
- package/dist/composition/edges/catalog-fields.d.ts.map +0 -1
- package/dist/composition/edges/catalog-fields.js +0 -207
- package/dist/composition/edges/catalog-fields.js.map +0 -1
- package/dist/composition/edges/catalog-full.d.ts +0 -43
- package/dist/composition/edges/catalog-full.d.ts.map +0 -1
- package/dist/composition/edges/catalog-full.js +0 -73
- package/dist/composition/edges/catalog-full.js.map +0 -1
- package/dist/composition/edges/catalog-gravitation-cosmology.d.ts +0 -81
- package/dist/composition/edges/catalog-gravitation-cosmology.d.ts.map +0 -1
- package/dist/composition/edges/catalog-gravitation-cosmology.js +0 -275
- package/dist/composition/edges/catalog-gravitation-cosmology.js.map +0 -1
- package/dist/composition/edges/catalog-quantum.d.ts +0 -85
- package/dist/composition/edges/catalog-quantum.d.ts.map +0 -1
- package/dist/composition/edges/catalog-quantum.js +0 -297
- package/dist/composition/edges/catalog-quantum.js.map +0 -1
- package/dist/composition/edges/catalog-tranche.d.ts +0 -108
- package/dist/composition/edges/catalog-tranche.d.ts.map +0 -1
- package/dist/composition/edges/catalog-tranche.js +0 -304
- package/dist/composition/edges/catalog-tranche.js.map +0 -1
- package/dist/composition/edges/condensed-r5.d.ts +0 -105
- package/dist/composition/edges/condensed-r5.d.ts.map +0 -1
- package/dist/composition/edges/condensed-r5.js +0 -505
- package/dist/composition/edges/condensed-r5.js.map +0 -1
- package/dist/composition/edges/condensed-r8.d.ts +0 -30
- package/dist/composition/edges/condensed-r8.d.ts.map +0 -1
- package/dist/composition/edges/condensed-r8.js +0 -325
- package/dist/composition/edges/condensed-r8.js.map +0 -1
- package/dist/composition/edges/engineering-r7.d.ts +0 -20
- package/dist/composition/edges/engineering-r7.d.ts.map +0 -1
- package/dist/composition/edges/engineering-r7.js +0 -262
- package/dist/composition/edges/engineering-r7.js.map +0 -1
- package/dist/composition/edges/plasma-space.d.ts +0 -50
- package/dist/composition/edges/plasma-space.d.ts.map +0 -1
- package/dist/composition/edges/plasma-space.js +0 -481
- package/dist/composition/edges/plasma-space.js.map +0 -1
- package/dist/composition/edges/proved-seeds.d.ts +0 -39
- package/dist/composition/edges/proved-seeds.d.ts.map +0 -1
- package/dist/composition/edges/proved-seeds.js +0 -197
- package/dist/composition/edges/proved-seeds.js.map +0 -1
- package/dist/composition/quantities/_dims.d.ts +0 -45
- package/dist/composition/quantities/_dims.d.ts.map +0 -1
- package/dist/composition/quantities/_dims.js +0 -55
- package/dist/composition/quantities/_dims.js.map +0 -1
- package/dist/composition/quantities/applied-physicist.d.ts +0 -166
- package/dist/composition/quantities/applied-physicist.d.ts.map +0 -1
- package/dist/composition/quantities/applied-physicist.js +0 -543
- package/dist/composition/quantities/applied-physicist.js.map +0 -1
- package/dist/composition/quantities/common.d.ts +0 -69
- package/dist/composition/quantities/common.d.ts.map +0 -1
- package/dist/composition/quantities/common.js +0 -210
- package/dist/composition/quantities/common.js.map +0 -1
- package/dist/composition/quantities/condensed-matter.d.ts +0 -79
- package/dist/composition/quantities/condensed-matter.d.ts.map +0 -1
- package/dist/composition/quantities/condensed-matter.js +0 -238
- package/dist/composition/quantities/condensed-matter.js.map +0 -1
- package/dist/composition/quantities/condensed-r5.d.ts +0 -110
- package/dist/composition/quantities/condensed-r5.d.ts.map +0 -1
- package/dist/composition/quantities/condensed-r5.js +0 -359
- package/dist/composition/quantities/condensed-r5.js.map +0 -1
- package/dist/composition/quantities/condensed-r8.d.ts +0 -96
- package/dist/composition/quantities/condensed-r8.d.ts.map +0 -1
- package/dist/composition/quantities/condensed-r8.js +0 -107
- package/dist/composition/quantities/condensed-r8.js.map +0 -1
- package/dist/composition/quantities/engineering-r7.d.ts +0 -82
- package/dist/composition/quantities/engineering-r7.d.ts.map +0 -1
- package/dist/composition/quantities/engineering-r7.js +0 -92
- package/dist/composition/quantities/engineering-r7.js.map +0 -1
- package/dist/composition/quantities/fields.d.ts +0 -69
- package/dist/composition/quantities/fields.d.ts.map +0 -1
- package/dist/composition/quantities/fields.js +0 -210
- package/dist/composition/quantities/fields.js.map +0 -1
- package/dist/composition/quantities/gravitation-cosmology.d.ts +0 -71
- package/dist/composition/quantities/gravitation-cosmology.d.ts.map +0 -1
- package/dist/composition/quantities/gravitation-cosmology.js +0 -215
- package/dist/composition/quantities/gravitation-cosmology.js.map +0 -1
- package/dist/composition/quantities/plasma-space.d.ts +0 -178
- package/dist/composition/quantities/plasma-space.d.ts.map +0 -1
- package/dist/composition/quantities/plasma-space.js +0 -185
- package/dist/composition/quantities/plasma-space.js.map +0 -1
- package/dist/composition/quantities/quantum.d.ts +0 -63
- package/dist/composition/quantities/quantum.d.ts.map +0 -1
- package/dist/composition/quantities/quantum.js +0 -190
- package/dist/composition/quantities/quantum.js.map +0 -1
- package/dist/numerical/be37-covariant-eikonal.d.ts.map +0 -1
- package/dist/numerical/be37-covariant-eikonal.js.map +0 -1
|
@@ -1,75 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Bridge Equation 18 — Higgs-like dark-fermion mass generation
|
|
3
|
-
* (post Wave Y reformulation).
|
|
4
|
-
*
|
|
5
|
-
* m_dark = g_dark · v_dark
|
|
6
|
-
*
|
|
7
|
-
* Yukawa-coupling-times-VEV mass-generation relation, in natural units
|
|
8
|
-
* (ℏ = c = 1) where masses are quoted as energies. Standard Model
|
|
9
|
-
* analog: m_top ≈ y_t · v_EW with v_EW = 246 GeV / √2 = 174 GeV.
|
|
10
|
-
*
|
|
11
|
-
* Reference: Peskin & Schroeder 1995 *An Introduction to Quantum Field
|
|
12
|
-
* Theory* §20.1 (canonical non-Abelian + complex-scalar SSB Lagrangian
|
|
13
|
-
* giving fermion-mass generation via Yukawa-VEV coupling).
|
|
14
|
-
*
|
|
15
|
-
* Status: speculative.
|
|
16
|
-
*
|
|
17
|
-
* Honest-claude scope notes:
|
|
18
|
-
* - Encoded in **natural units** (mass-as-energy convention; particle-
|
|
19
|
-
* physics standard). The full SI conversion would be m_dark · c² =
|
|
20
|
-
* g_dark · v_dark; the natural-units form `m = g·v` is the canonical
|
|
21
|
-
* particle-physics statement.
|
|
22
|
-
* - The full BE-18 Lagrangian (gauge kinetic term, |D_μΦ|², fermion
|
|
23
|
-
* bilinear, scalar potential) is the bridge framing; the scalar
|
|
24
|
-
* mass-generation relation is the AST-encoded bridge content.
|
|
25
|
-
* - SM bracket: top-quark mass m_t ≈ 173 GeV with y_t ≈ 0.99,
|
|
26
|
-
* v_EW = 246 GeV / √2 ≈ 174 GeV → m_t = 0.99 · 174 ≈ 172 GeV ✓
|
|
27
|
-
* within 1% of measured value.
|
|
28
|
-
* - Dim: [g_dark] dimensionless; [v_dark] = energy (in natural units;
|
|
29
|
-
* SI: [v] = energy = [M L² T⁻²]); [m_dark] = energy. ✓
|
|
30
|
-
*
|
|
31
|
-
* @see docs/specification/Part-II.md ("Bridge Equation 18")
|
|
32
|
-
* @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 18)
|
|
33
|
-
* @module bridges/equations/be-18-higgs-mass
|
|
34
|
-
*/
|
|
35
|
-
import { DIMENSIONLESS, ENERGY, } from '../../dimensional/types.js';
|
|
36
|
-
import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
|
|
37
|
-
/**
|
|
38
|
-
* RHS of the Higgs-like mass-generation relation:
|
|
39
|
-
* m_dark = g_dark · v_dark
|
|
40
|
-
*
|
|
41
|
-
* In natural units, [v_dark] = energy and [g_dark] is dimensionless,
|
|
42
|
-
* so the product has dim [energy].
|
|
43
|
-
*/
|
|
44
|
-
export const BE18_HIGGS_MASS_RHS = {
|
|
45
|
-
kind: 'op', op: '*',
|
|
46
|
-
args: [
|
|
47
|
-
sym('g_dark', DIMENSIONLESS),
|
|
48
|
-
sym('v_dark', ENERGY),
|
|
49
|
-
],
|
|
50
|
-
};
|
|
51
|
-
/** LHS: m_dark has dimension [energy] in natural units. */
|
|
52
|
-
/** @internal */
|
|
53
|
-
export const BE18_HIGGS_MASS_LHS = sym('m_dark', ENERGY);
|
|
54
|
-
/**
|
|
55
|
-
* Evaluate the Higgs-like mass-generation relation
|
|
56
|
-
*
|
|
57
|
-
* m_dark = g_dark · v_dark
|
|
58
|
-
*
|
|
59
|
-
* @returns Dark-fermion mass in GeV (same unit as v_dark).
|
|
60
|
-
*/
|
|
61
|
-
export function evaluateHiggsMass(input) {
|
|
62
|
-
validateFiniteInputs(input, [{ name: 'g_dark' }, { name: 'v_dark_GeV' }], 'evaluateHiggsMass');
|
|
63
|
-
const { g_dark, v_dark_GeV } = input;
|
|
64
|
-
return g_dark * v_dark_GeV;
|
|
65
|
-
}
|
|
66
|
-
// --- Self-validation ---
|
|
67
|
-
/**
|
|
68
|
-
* Run the AST through the dimensional analyzer; both sides should be
|
|
69
|
-
* [energy] (natural-units mass-as-energy convention).
|
|
70
|
-
*/
|
|
71
|
-
/** @internal */
|
|
72
|
-
export function validateBE18Dimensions() {
|
|
73
|
-
return validateBEDimensions(BE18_HIGGS_MASS_LHS, BE18_HIGGS_MASS_RHS, 'BE18');
|
|
74
|
-
}
|
|
75
|
-
//# sourceMappingURL=be-18-higgs-mass.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be-18-higgs-mass.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-18-higgs-mass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAGH,OAAO,EACL,aAAa,EACb,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC;QAC5B,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;KACtB;CACF,CAAC;AAEF,2DAA2D;AAC3D,gBAAgB;AAChB,MAAM,CAAC,MAAM,mBAAmB,GAAa,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AAcnE;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAsB;IACtD,oBAAoB,CAClB,KAAK,EACL,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,EAC5C,mBAAmB,CACpB,CAAC;IACF,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IACrC,OAAO,MAAM,GAAG,UAAU,CAAC;AAC7B,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,CAAC,CAAC;AAChF,CAAC"}
|
|
@@ -1,107 +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 type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
|
|
58
|
-
import type { FriedmannEquationNode } from '../../dimensional/friedmann-equation.js';
|
|
59
|
-
/**
|
|
60
|
-
* RHS of `H² = (8πG/3) ρ (1 - ρ/ρ_crit) + Λ/3` as a typed ExprNode tree.
|
|
61
|
-
*/
|
|
62
|
-
export declare const QUANTUM_BOUNCE_RHS: ExprNode;
|
|
63
|
-
/**
|
|
64
|
-
* @internal — typed-arg shape for the file-local `evaluateQuantumBounce` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
|
|
65
|
-
*/
|
|
66
|
-
interface QuantumBounceInputs {
|
|
67
|
-
/** Mass-energy density ρ in kg/m³. Must be ≥ 0. */
|
|
68
|
-
rho: number;
|
|
69
|
-
/** LQC bounce critical density ρ_crit in kg/m³. Must be > 0. */
|
|
70
|
-
rho_crit: number;
|
|
71
|
-
/** Cosmological constant Λ in [T^-2] (= c² Λ_[L^-2]). */
|
|
72
|
-
Lambda_Tinv2: number;
|
|
73
|
-
}
|
|
74
|
-
/**
|
|
75
|
-
* Evaluate H² = (8πG/3) ρ (1 − ρ/ρ_crit) + Λ/3.
|
|
76
|
-
*
|
|
77
|
-
* @returns H² in [s^-2].
|
|
78
|
-
*/
|
|
79
|
-
export declare function evaluateQuantumBounce(input: QuantumBounceInputs): number;
|
|
80
|
-
/**
|
|
81
|
-
* Run the AST through the dimensional analyzer; LHS = H² and RHS together
|
|
82
|
-
* should both be [T^-2].
|
|
83
|
-
*/
|
|
84
|
-
/** @internal */
|
|
85
|
-
export declare function validateQuantumBounceDimensions(): DimensionValidationReport;
|
|
86
|
-
/**
|
|
87
|
-
* BE-19's LQC modified Friedmann as a structural `FriedmannEquationNode`.
|
|
88
|
-
*
|
|
89
|
-
* H² = (8πG/3) · ρ · (1 − ρ/ρ_crit)
|
|
90
|
-
*
|
|
91
|
-
* Variant tag `'lqc'` makes the loop-quantum-cosmology regime
|
|
92
|
-
* pattern-matchable via the `FriedmannVariant` discriminator. This is
|
|
93
|
-
* the PREFERRED encoding for future LQC-related work; the legacy
|
|
94
|
-
* `QUANTUM_BOUNCE_RHS` (above) remains as the dimensional-analyzer
|
|
95
|
-
* compatibility surface.
|
|
96
|
-
*
|
|
97
|
-
* Note that the Λ/3 additive term from the full QUANTUM_BOUNCE_RHS is
|
|
98
|
-
* NOT represented in the structural form — the design-note primitive
|
|
99
|
-
* targets the multiplicative LQC bounce factor specifically. A future
|
|
100
|
-
* extension may add a `cosmologicalConstant` slot to
|
|
101
|
-
* `FriedmannEquationNode` if downstream RG/cosmology work warrants it.
|
|
102
|
-
*
|
|
103
|
-
* @public
|
|
104
|
-
*/
|
|
105
|
-
export declare const BE19_LQC_FRIEDMANN_STRUCTURAL: FriedmannEquationNode;
|
|
106
|
-
export {};
|
|
107
|
-
//# sourceMappingURL=be-19-quantum-bounce.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"be-19-quantum-bounce.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-19-quantum-bounce.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAQ1F,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yCAAyC,CAAC;AAiBrF;;GAEG;AACH,eAAO,MAAM,kBAAkB,EAAE,QA0ChC,CAAC;AAUF;;GAEG;AACH,UAAU,mBAAmB;IAC3B,mDAAmD;IACnD,GAAG,EAAE,MAAM,CAAC;IACZ,gEAAgE;IAChE,QAAQ,EAAE,MAAM,CAAC;IACjB,yDAAyD;IACzD,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CAcxE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,+BAA+B,IAAI,yBAAyB,CAE3E;AA4BD;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,6BAA6B,EAAE,qBAO3C,CAAC"}
|
|
@@ -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"}
|