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,39 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Composition edges for proved catalog seeds that had no graph edge.
|
|
3
|
-
*
|
|
4
|
-
* BE-40 is a `law`: the SILH potential is one electroweak regime, and
|
|
5
|
-
* `REJECTED_BRIDGE_IDS` records that adjudication. The edge stays out of
|
|
6
|
-
* `CATALOG_FULL_EDGES` so that array's rejection guard still holds. The
|
|
7
|
-
* theorem states V(h), so the graph carries the equation.
|
|
8
|
-
*
|
|
9
|
-
* BE-55, BE-59, BE-60, and BE-63 are bridges. BE-55 and BE-60 share one
|
|
10
|
-
* `hall-conductance` target. BE-63's target is the existing `mass` node.
|
|
11
|
-
*
|
|
12
|
-
* @module composition/edges/proved-seeds
|
|
13
|
-
*/
|
|
14
|
-
import type { BridgeEdge } from '../edge.js';
|
|
15
|
-
/**
|
|
16
|
-
* BE-40 composite-Higgs potential. A law: every endpoint is quantum/weak.
|
|
17
|
-
* Wraps `evaluateCompositeHiggs` (natural units).
|
|
18
|
-
*/
|
|
19
|
-
export declare const be40Edge: BridgeEdge;
|
|
20
|
-
/**
|
|
21
|
-
* BE-55 integer quantum Hall conductance σ_xy = C e²/h.
|
|
22
|
-
* The resistance R_H = h/(C e²) is the reciprocal of this relation.
|
|
23
|
-
*/
|
|
24
|
-
export declare const be55Edge: BridgeEdge;
|
|
25
|
-
/** BE-59 AC Josephson frequency f = 2eV/h. */
|
|
26
|
-
export declare const be59Edge: BridgeEdge;
|
|
27
|
-
/**
|
|
28
|
-
* BE-60 fractional quantum Hall conductance σ_xy = ν e²/h.
|
|
29
|
-
* Same target object as {@link be55Edge}. The wrapped evaluator accepts ν > 0 only.
|
|
30
|
-
*/
|
|
31
|
-
export declare const be60Edge: BridgeEdge;
|
|
32
|
-
/**
|
|
33
|
-
* BE-63 Chandrasekhar mass. Target is `mass`: the limit is a mass.
|
|
34
|
-
* ω₃⁰ stays an input. `m_u` is the registered atomic-mass constant.
|
|
35
|
-
*/
|
|
36
|
-
export declare const be63Edge: BridgeEdge;
|
|
37
|
-
/** Proved catalog seeds that were absent from the calibration, tranche, and catalog-full arrays. */
|
|
38
|
-
export declare const PROVED_SEED_EDGES: readonly BridgeEdge[];
|
|
39
|
-
//# sourceMappingURL=proved-seeds.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"proved-seeds.d.ts","sourceRoot":"","sources":["../../../src/composition/edges/proved-seeds.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAWH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAmF7C;;;GAGG;AACH,eAAO,MAAM,QAAQ,EAAE,UA0BtB,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,QAAQ,EAAE,UAqBtB,CAAC;AAEF,8CAA8C;AAC9C,eAAO,MAAM,QAAQ,EAAE,UAqBtB,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,QAAQ,EAAE,UAetB,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,QAAQ,EAAE,UAuBtB,CAAC;AAEF,oGAAoG;AACpG,eAAO,MAAM,iBAAiB,EAAE,SAAS,UAAU,EAMlD,CAAC"}
|
|
@@ -1,197 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Composition edges for proved catalog seeds that had no graph edge.
|
|
3
|
-
*
|
|
4
|
-
* BE-40 is a `law`: the SILH potential is one electroweak regime, and
|
|
5
|
-
* `REJECTED_BRIDGE_IDS` records that adjudication. The edge stays out of
|
|
6
|
-
* `CATALOG_FULL_EDGES` so that array's rejection guard still holds. The
|
|
7
|
-
* theorem states V(h), so the graph carries the equation.
|
|
8
|
-
*
|
|
9
|
-
* BE-55, BE-59, BE-60, and BE-63 are bridges. BE-55 and BE-60 share one
|
|
10
|
-
* `hall-conductance` target. BE-63's target is the existing `mass` node.
|
|
11
|
-
*
|
|
12
|
-
* @module composition/edges/proved-seeds
|
|
13
|
-
*/
|
|
14
|
-
import { DIMENSIONLESS } from '../../dimensional/types.js';
|
|
15
|
-
import { sym } from '../../dimensional/ast-builders.js';
|
|
16
|
-
import { CONSTANTS } from '../../dimensional/symbolic-constants.js';
|
|
17
|
-
import { C_SI, G_SI, HBAR_SI, M_U_SI } from '../../core/constants.js';
|
|
18
|
-
import { evaluateCompositeHiggs } from '../../bridges/equations/be-40-composite-higgs.js';
|
|
19
|
-
import { evaluateQuantumHall } from '../../bridges/be55-quantum-hall.js';
|
|
20
|
-
import { evaluateACJosephson } from '../../bridges/be59-ac-josephson.js';
|
|
21
|
-
import { evaluateFractionalQH } from '../../bridges/be60-fractional-qh.js';
|
|
22
|
-
import { chernNumberQ, compositeHiggsAlphaQ, compositeHiggsBetaQ, compositeHiggsPotentialQ, fillingFractionQ, frequencyQ, hallConductanceQ, higgsDecayConstantQ, higgsFieldQ, laneEmdenOmega3Q, massQ, meanMolecularWeightPerElectronQ, voltageQ, } from '../quantities.js';
|
|
23
|
-
const isFin = Number.isFinite;
|
|
24
|
-
const csym = (name) => sym(name, CONSTANTS[name].dim);
|
|
25
|
-
const qsym = (q) => sym(q.name, q.dim);
|
|
26
|
-
const lit = (n) => sym(String(n), DIMENSIONLESS);
|
|
27
|
-
const pi = sym('pi', DIMENSIONLESS);
|
|
28
|
-
const ratio = (num, den) => ({
|
|
29
|
-
kind: 'op',
|
|
30
|
-
op: '/',
|
|
31
|
-
args: [num, den],
|
|
32
|
-
});
|
|
33
|
-
const prod = (...args) => ({ kind: 'op', op: '*', args });
|
|
34
|
-
const minus = (a, b) => ({ kind: 'op', op: '-', args: [a, b] });
|
|
35
|
-
const plus = (a, b) => ({ kind: 'op', op: '+', args: [a, b] });
|
|
36
|
-
const pow = (base, exp) => ({ kind: 'op', op: '^', args: [base, exp] });
|
|
37
|
-
const trig = (fn, arg) => ({
|
|
38
|
-
kind: 'transcendental',
|
|
39
|
-
fn,
|
|
40
|
-
arg,
|
|
41
|
-
});
|
|
42
|
-
/** V(h) = −α f⁴ sin²(h/f) + β f⁴ [sin⁴(h/f) − sin²(h/f) cos²(h/f)]. */
|
|
43
|
-
const BE40_SYMBOLIC = (() => {
|
|
44
|
-
const arg = ratio(qsym(higgsFieldQ), qsym(higgsDecayConstantQ));
|
|
45
|
-
const sin2 = pow(trig('sin', arg), lit(2));
|
|
46
|
-
const sin4 = pow(trig('sin', arg), lit(4));
|
|
47
|
-
const cos2 = pow(trig('cos', arg), lit(2));
|
|
48
|
-
const f4 = pow(qsym(higgsDecayConstantQ), lit(4));
|
|
49
|
-
return plus(prod(lit(-1), qsym(compositeHiggsAlphaQ), f4, sin2), prod(qsym(compositeHiggsBetaQ), f4, minus(sin4, prod(sin2, cos2))));
|
|
50
|
-
})();
|
|
51
|
-
/** σ_xy = C e² / h. */
|
|
52
|
-
const BE55_SYMBOLIC = ratio(prod(qsym(chernNumberQ), csym('e'), csym('e')), csym('h'));
|
|
53
|
-
/** f = 2 e V / h. */
|
|
54
|
-
const BE59_SYMBOLIC = ratio(prod(lit(2), csym('e'), qsym(voltageQ)), csym('h'));
|
|
55
|
-
/** σ_xy = ν e² / h. */
|
|
56
|
-
const BE60_SYMBOLIC = ratio(prod(qsym(fillingFractionQ), csym('e'), csym('e')), csym('h'));
|
|
57
|
-
/**
|
|
58
|
-
* M = (ω₃⁰ √(3π) / 2) (ℏ c / G)^{3/2} (μ_e m_u)^{−2}.
|
|
59
|
-
* ω₃⁰ is an input. The decimal 2.01824 is the catalog evaluator's choice,
|
|
60
|
-
* not a leaf of this form.
|
|
61
|
-
*/
|
|
62
|
-
const BE63_SYMBOLIC = prod(ratio(prod(qsym(laneEmdenOmega3Q), pow(prod(lit(3), pi), ratio(lit(1), lit(2)))), lit(2)),
|
|
63
|
-
// 3/2 is a numeric-literal exponent: the base ℏc/G is dimensionful.
|
|
64
|
-
// (μ_e m_u)^{−2} is written as a square in the denominator so the leaf is `2`.
|
|
65
|
-
pow(ratio(prod(csym('hbar'), csym('c')), csym('G')), lit(1.5)), ratio(lit(1), pow(prod(qsym(meanMolecularWeightPerElectronQ), csym('m_u')), lit(2))));
|
|
66
|
-
/**
|
|
67
|
-
* BE-40 composite-Higgs potential. A law: every endpoint is quantum/weak.
|
|
68
|
-
* Wraps `evaluateCompositeHiggs` (natural units).
|
|
69
|
-
*/
|
|
70
|
-
export const be40Edge = {
|
|
71
|
-
id: 'be-40',
|
|
72
|
-
beId: 40,
|
|
73
|
-
kind: 'law',
|
|
74
|
-
label: 'Composite Higgs V(h) = −α f⁴ sin²(h/f) + β f⁴ [sin⁴(h/f) − sin²(h/f) cos²(h/f)]',
|
|
75
|
-
sources: [higgsFieldQ, higgsDecayConstantQ, compositeHiggsAlphaQ, compositeHiggsBetaQ],
|
|
76
|
-
target: compositeHiggsPotentialQ,
|
|
77
|
-
confidence: 'established',
|
|
78
|
-
domain: {
|
|
79
|
-
description: 'f > 0; h, α, β finite (natural units)',
|
|
80
|
-
predicate: (i) => isFin(i['higgs-decay-constant']) &&
|
|
81
|
-
i['higgs-decay-constant'] > 0 &&
|
|
82
|
-
isFin(i['higgs-field']) &&
|
|
83
|
-
isFin(i['composite-higgs-alpha']) &&
|
|
84
|
-
isFin(i['composite-higgs-beta']),
|
|
85
|
-
},
|
|
86
|
-
evaluate: (i) => evaluateCompositeHiggs({
|
|
87
|
-
h: i['higgs-field'],
|
|
88
|
-
f: i['higgs-decay-constant'],
|
|
89
|
-
alpha: i['composite-higgs-alpha'],
|
|
90
|
-
beta: i['composite-higgs-beta'],
|
|
91
|
-
}),
|
|
92
|
-
symbolic: BE40_SYMBOLIC,
|
|
93
|
-
citation: 'Kaplan & Georgi 1984 PLB 136:183; Giudice, Grojean, Pomarol & Rattazzi 2007 JHEP 0706:045',
|
|
94
|
-
};
|
|
95
|
-
/**
|
|
96
|
-
* BE-55 integer quantum Hall conductance σ_xy = C e²/h.
|
|
97
|
-
* The resistance R_H = h/(C e²) is the reciprocal of this relation.
|
|
98
|
-
*/
|
|
99
|
-
export const be55Edge = {
|
|
100
|
-
id: 'be-55',
|
|
101
|
-
beId: 55,
|
|
102
|
-
kind: 'bridge',
|
|
103
|
-
label: 'Integer quantum Hall σ_xy = C e²/h',
|
|
104
|
-
sources: [chernNumberQ],
|
|
105
|
-
target: hallConductanceQ,
|
|
106
|
-
confidence: 'established',
|
|
107
|
-
domain: {
|
|
108
|
-
description: 'C is a nonzero integer',
|
|
109
|
-
predicate: (i) => Number.isInteger(i['chern-number']) && i['chern-number'] !== 0,
|
|
110
|
-
},
|
|
111
|
-
evaluate: (i) => evaluateQuantumHall({ C: i['chern-number'] }).sigma_xy_S,
|
|
112
|
-
symbolic: BE55_SYMBOLIC,
|
|
113
|
-
citation: 'von Klitzing 1980 PRL 45:494; Thouless, Kohmoto, Nightingale & den Nijs 1982 PRL 49:405',
|
|
114
|
-
relation: {
|
|
115
|
-
type: 'derivation',
|
|
116
|
-
transformation: 'filled Bloch bands of a 2D electron gas in a strong field -> Kubo ' +
|
|
117
|
-
'transverse conductance sigma_xy = C e^2/h, C the TKNN/Chern integer',
|
|
118
|
-
},
|
|
119
|
-
};
|
|
120
|
-
/** BE-59 AC Josephson frequency f = 2eV/h. */
|
|
121
|
-
export const be59Edge = {
|
|
122
|
-
id: 'be-59',
|
|
123
|
-
beId: 59,
|
|
124
|
-
kind: 'bridge',
|
|
125
|
-
label: 'AC Josephson f = 2eV/h',
|
|
126
|
-
sources: [voltageQ],
|
|
127
|
-
target: frequencyQ,
|
|
128
|
-
confidence: 'established',
|
|
129
|
-
domain: {
|
|
130
|
-
description: 'V finite',
|
|
131
|
-
predicate: (i) => isFin(i['voltage']),
|
|
132
|
-
},
|
|
133
|
-
evaluate: (i) => evaluateACJosephson({ V_volts: i['voltage'] }).f_Hz,
|
|
134
|
-
symbolic: BE59_SYMBOLIC,
|
|
135
|
-
citation: 'Josephson 1962 Phys. Lett. 1:251',
|
|
136
|
-
relation: {
|
|
137
|
-
type: 'derivation',
|
|
138
|
-
transformation: 'DC bias V across a Josephson junction -> radiation frequency ' +
|
|
139
|
-
'f = (2e/h) V via the phase relation d(phi)/dt = 2eV/hbar',
|
|
140
|
-
},
|
|
141
|
-
};
|
|
142
|
-
/**
|
|
143
|
-
* BE-60 fractional quantum Hall conductance σ_xy = ν e²/h.
|
|
144
|
-
* Same target object as {@link be55Edge}. The wrapped evaluator accepts ν > 0 only.
|
|
145
|
-
*/
|
|
146
|
-
export const be60Edge = {
|
|
147
|
-
id: 'be-60',
|
|
148
|
-
beId: 60,
|
|
149
|
-
kind: 'bridge',
|
|
150
|
-
label: 'Fractional quantum Hall σ_xy = ν e²/h',
|
|
151
|
-
sources: [fillingFractionQ],
|
|
152
|
-
target: hallConductanceQ,
|
|
153
|
-
confidence: 'established',
|
|
154
|
-
domain: {
|
|
155
|
-
description: 'ν finite and > 0',
|
|
156
|
-
predicate: (i) => isFin(i['filling-fraction']) && i['filling-fraction'] > 0,
|
|
157
|
-
},
|
|
158
|
-
evaluate: (i) => evaluateFractionalQH({ nu: i['filling-fraction'] }).sigma_xy_S,
|
|
159
|
-
symbolic: BE60_SYMBOLIC,
|
|
160
|
-
citation: 'Tsui, Störmer & Gossard 1982 PRL 48:1559; Laughlin 1983 PRL 50:1395',
|
|
161
|
-
};
|
|
162
|
-
/**
|
|
163
|
-
* BE-63 Chandrasekhar mass. Target is `mass`: the limit is a mass.
|
|
164
|
-
* ω₃⁰ stays an input. `m_u` is the registered atomic-mass constant.
|
|
165
|
-
*/
|
|
166
|
-
export const be63Edge = {
|
|
167
|
-
id: 'be-63',
|
|
168
|
-
beId: 63,
|
|
169
|
-
kind: 'bridge',
|
|
170
|
-
label: 'Chandrasekhar mass M = (ω₃⁰ √(3π)/2) (ℏc/G)^{3/2} (μ_e m_u)^{−2}',
|
|
171
|
-
sources: [laneEmdenOmega3Q, meanMolecularWeightPerElectronQ],
|
|
172
|
-
target: massQ,
|
|
173
|
-
confidence: 'established',
|
|
174
|
-
domain: {
|
|
175
|
-
description: 'μ_e > 0 and ω₃⁰ finite',
|
|
176
|
-
predicate: (i) => isFin(i['mean-molecular-weight-per-electron']) &&
|
|
177
|
-
i['mean-molecular-weight-per-electron'] > 0 &&
|
|
178
|
-
isFin(i['lane-emden-omega-3']),
|
|
179
|
-
},
|
|
180
|
-
evaluate: (i) => {
|
|
181
|
-
const omega = i['lane-emden-omega-3'];
|
|
182
|
-
const mu = i['mean-molecular-weight-per-electron'];
|
|
183
|
-
const prefactor = (omega * Math.sqrt(3 * Math.PI)) / 2;
|
|
184
|
-
return prefactor * Math.pow((HBAR_SI * C_SI) / G_SI, 1.5) * Math.pow(mu * M_U_SI, -2);
|
|
185
|
-
},
|
|
186
|
-
symbolic: BE63_SYMBOLIC,
|
|
187
|
-
citation: 'Chandrasekhar 1931 ApJ 74:81',
|
|
188
|
-
};
|
|
189
|
-
/** Proved catalog seeds that were absent from the calibration, tranche, and catalog-full arrays. */
|
|
190
|
-
export const PROVED_SEED_EDGES = [
|
|
191
|
-
be40Edge,
|
|
192
|
-
be55Edge,
|
|
193
|
-
be59Edge,
|
|
194
|
-
be60Edge,
|
|
195
|
-
be63Edge,
|
|
196
|
-
];
|
|
197
|
-
//# sourceMappingURL=proved-seeds.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"proved-seeds.js","sourceRoot":"","sources":["../../../src/composition/edges/proved-seeds.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACpE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AACtE,OAAO,EAAE,sBAAsB,EAAE,MAAM,kDAAkD,CAAC;AAC1F,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAG3E,OAAO,EACL,YAAY,EACZ,oBAAoB,EACpB,mBAAmB,EACnB,wBAAwB,EACxB,gBAAgB,EAChB,UAAU,EACV,gBAAgB,EAChB,mBAAmB,EACnB,WAAW,EACX,gBAAgB,EAChB,KAAK,EACL,+BAA+B,EAC/B,QAAQ,GACT,MAAM,kBAAkB,CAAC;AAE1B,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC;AAC9B,MAAM,IAAI,GAAG,CAAC,IAA4B,EAAY,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;AACxF,MAAM,IAAI,GAAG,CAAC,CAAW,EAAY,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;AAC3D,MAAM,GAAG,GAAG,CAAC,CAAS,EAAY,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;AACnE,MAAM,EAAE,GAAa,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;AAE9C,MAAM,KAAK,GAAG,CAAC,GAAa,EAAE,GAAa,EAAY,EAAE,CAAC,CAAC;IACzD,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;CACjB,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,GAAG,IAAgB,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;AAChF,MAAM,KAAK,GAAG,CAAC,CAAW,EAAE,CAAW,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAC9F,MAAM,IAAI,GAAG,CAAC,CAAW,EAAE,CAAW,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAC7F,MAAM,GAAG,GAAG,CAAC,IAAc,EAAE,GAAa,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;AACtG,MAAM,IAAI,GAAG,CAAC,EAAiB,EAAE,GAAa,EAAY,EAAE,CAAC,CAAC;IAC5D,IAAI,EAAE,gBAAgB;IACtB,EAAE;IACF,GAAG;CACJ,CAAC,CAAC;AAEH,uEAAuE;AACvE,MAAM,aAAa,GAAa,CAAC,GAAG,EAAE;IACpC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,OAAO,IAAI,CACT,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,oBAAoB,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EACnD,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CACnE,CAAC;AACJ,CAAC,CAAC,EAAE,CAAC;AAEL,uBAAuB;AACvB,MAAM,aAAa,GAAa,KAAK,CACnC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAC9C,IAAI,CAAC,GAAG,CAAC,CACV,CAAC;AAEF,qBAAqB;AACrB,MAAM,aAAa,GAAa,KAAK,CACnC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,EACvC,IAAI,CAAC,GAAG,CAAC,CACV,CAAC;AAEF,uBAAuB;AACvB,MAAM,aAAa,GAAa,KAAK,CACnC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAClD,IAAI,CAAC,GAAG,CAAC,CACV,CAAC;AAEF;;;;GAIG;AACH,MAAM,aAAa,GAAa,IAAI,CAClC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;AACzF,oEAAoE;AACpE,+EAA+E;AAC/E,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAC9D,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,+BAA+B,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CACrF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,iFAAiF;IACxF,OAAO,EAAE,CAAC,WAAW,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,mBAAmB,CAAC;IACtF,MAAM,EAAE,wBAAwB;IAChC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,uCAAuC;QACpD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;YAChC,CAAC,CAAC,sBAAsB,CAAC,GAAG,CAAC;YAC7B,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YACvB,KAAK,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;YACjC,KAAK,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;KACnC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,sBAAsB,CAAC;QACrB,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC;QACnB,CAAC,EAAE,CAAC,CAAC,sBAAsB,CAAC;QAC5B,KAAK,EAAE,CAAC,CAAC,uBAAuB,CAAC;QACjC,IAAI,EAAE,CAAC,CAAC,sBAAsB,CAAC;KAChC,CAAC;IACJ,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,2FAA2F;CACtG,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,oCAAoC;IAC3C,OAAO,EAAE,CAAC,YAAY,CAAC;IACvB,MAAM,EAAE,gBAAgB;IACxB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,wBAAwB;QACrC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC;KACjF;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,UAAU;IACzE,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,yFAAyF;IACnG,QAAQ,EAAE;QACR,IAAI,EAAE,YAAY;QAClB,cAAc,EACZ,oEAAoE;YACpE,qEAAqE;KACxE;CACF,CAAC;AAEF,8CAA8C;AAC9C,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,wBAAwB;IAC/B,OAAO,EAAE,CAAC,QAAQ,CAAC;IACnB,MAAM,EAAE,UAAU;IAClB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,UAAU;QACvB,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;KACtC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,IAAI;IACpE,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,kCAAkC;IAC5C,QAAQ,EAAE;QACR,IAAI,EAAE,YAAY;QAClB,cAAc,EACZ,+DAA+D;YAC/D,0DAA0D;KAC7D;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,uCAAuC;IAC9C,OAAO,EAAE,CAAC,gBAAgB,CAAC;IAC3B,MAAM,EAAE,gBAAgB;IACxB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,kBAAkB;QAC/B,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC;KAC5E;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,UAAU;IAC/E,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,qEAAqE;CAChF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,kEAAkE;IACzE,OAAO,EAAE,CAAC,gBAAgB,EAAE,+BAA+B,CAAC;IAC5D,MAAM,EAAE,KAAK;IACb,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,wBAAwB;QACrC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,oCAAoC,CAAC,CAAC;YAC9C,CAAC,CAAC,oCAAoC,CAAC,GAAG,CAAC;YAC3C,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;KACjC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE;QACd,MAAM,KAAK,GAAG,CAAC,CAAC,oBAAoB,CAAC,CAAC;QACtC,MAAM,EAAE,GAAG,CAAC,CAAC,oCAAoC,CAAC,CAAC;QACnD,MAAM,SAAS,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACvD,OAAO,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IACxF,CAAC;IACD,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,8BAA8B;CACzC,CAAC;AAEF,oGAAoG;AACpG,MAAM,CAAC,MAAM,iBAAiB,GAA0B;IACtD,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;CACT,CAAC"}
|
|
@@ -1,45 +0,0 @@
|
|
|
1
|
-
import type { Dimension } from '../../dimensional/types.js';
|
|
2
|
-
/** Joule [M L² T⁻²] — local alias for readability. */
|
|
3
|
-
export declare const ENERGY_DIM: Dimension;
|
|
4
|
-
/** [T⁻¹] alias. */
|
|
5
|
-
export declare const FREQUENCY_DIM: Dimension;
|
|
6
|
-
/**
|
|
7
|
-
* Mass-density [M L⁻³] (kg/m³). The dimensional export.
|
|
8
|
-
*
|
|
9
|
-
* @internal
|
|
10
|
-
*/
|
|
11
|
-
export { MASS_DENSITY } from '../../dimensional/types.js';
|
|
12
|
-
/** [T⁻²] (s⁻²) — H² and the c²-rescaled cosmological constant. */
|
|
13
|
-
export declare const T_INV2: Dimension;
|
|
14
|
-
/** [L⁻²] — Ricci scalar / cosmological-constant curvature (inverse area). */
|
|
15
|
-
export declare const INV_AREA: Dimension;
|
|
16
|
-
/** [L⁻¹] — inverse length (TEE area-law coefficient). */
|
|
17
|
-
export declare const INV_LENGTH: Dimension;
|
|
18
|
-
/** [M L⁻¹ T⁻²] — energy density (stress-energy trace). */
|
|
19
|
-
export declare const ENERGY_DENSITY: Dimension;
|
|
20
|
-
/** [L² T⁻¹] — Model A kinetic coefficient (mobility). */
|
|
21
|
-
export declare const MOBILITY: Dimension;
|
|
22
|
-
/** [L³ M T⁻³ I⁻²] — electrical resistivity (Ω·m). */
|
|
23
|
-
export declare const RESISTIVITY: Dimension;
|
|
24
|
-
/** [L⁻³] — number density. */
|
|
25
|
-
export declare const NUMBER_DENSITY: Dimension;
|
|
26
|
-
/** [L⁻³ T⁻¹] — number-density rate (Boltzmann dY/dt). */
|
|
27
|
-
export declare const NUMBER_DENSITY_RATE: Dimension;
|
|
28
|
-
/** [L¹ M¹ T⁻² I⁻¹] — magnetic vector potential A_μ (V·s/m). */
|
|
29
|
-
export declare const VECTOR_POTENTIAL: Dimension;
|
|
30
|
-
/** [M² L² T⁻⁴] — squared Einstein-coupling inverse (c⁴/8πG)². */
|
|
31
|
-
export declare const COUPLING_PREFACTOR_SQUARED: Dimension;
|
|
32
|
-
/** [T² L⁻⁴] — torsion-contraction scalar T_λμν T^λμν. */
|
|
33
|
-
export declare const TORSION_CONTRACTION: Dimension;
|
|
34
|
-
/** [M² L⁻² T⁻²] — squared spin angular-momentum density. */
|
|
35
|
-
export declare const SPIN_DENSITY_SQUARED: Dimension;
|
|
36
|
-
/** Energy [M L² T⁻²] — joule (BE-18 VEV/mass, natural-units energy). */
|
|
37
|
-
export declare const ENERGY_DIM2: Dimension;
|
|
38
|
-
/** Electrical conductance [I² T³ M⁻¹ L⁻²] (siemens) — Hall conductance σ_xy. */
|
|
39
|
-
export declare const CONDUCTANCE: Dimension;
|
|
40
|
-
/** Electric potential difference [M L² T⁻³ I⁻¹] (volt). */
|
|
41
|
-
export declare const VOLTAGE: Dimension;
|
|
42
|
-
/** Energy⁴ [M⁴ L⁸ T⁻⁸] — natural-unit potential density (composite Higgs V). */
|
|
43
|
-
export declare const ENERGY4: Dimension;
|
|
44
|
-
/** Canonical node for `boundary-entanglement-entropy`. */
|
|
45
|
-
//# sourceMappingURL=_dims.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"_dims.d.ts","sourceRoot":"","sources":["../../../src/composition/quantities/_dims.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAE5D,sDAAsD;AACtD,eAAO,MAAM,UAAU,EAAE,SAA6D,CAAC;AACvF,mBAAmB;AACnB,eAAO,MAAM,aAAa,WAAY,CAAC;AACvC;;;;GAIG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC1D,kEAAkE;AAClE,eAAO,MAAM,MAAM,EAAE,SAA6D,CAAC;AAInF,6EAA6E;AAC7E,eAAO,MAAM,QAAQ,EAAE,SAA6D,CAAC;AACrF,yDAAyD;AACzD,eAAO,MAAM,UAAU,EAAE,SAA6D,CAAC;AACvF,0DAA0D;AAC1D,eAAO,MAAM,cAAc,EAAE,SAA8D,CAAC;AAC5F,yDAAyD;AACzD,eAAO,MAAM,QAAQ,EAAE,SAA6D,CAAC;AACrF,qDAAqD;AACrD,eAAO,MAAM,WAAW,EAAE,SAA8D,CAAC;AACzF,8BAA8B;AAC9B,eAAO,MAAM,cAAc,EAAE,SAA6D,CAAC;AAC3F,yDAAyD;AACzD,eAAO,MAAM,mBAAmB,EAAE,SAA8D,CAAC;AACjG,+DAA+D;AAC/D,eAAO,MAAM,gBAAgB,EAAE,SAA8D,CAAC;AAC9F,iEAAiE;AACjE,eAAO,MAAM,0BAA0B,EAAE,SAA6D,CAAC;AACvG,yDAAyD;AACzD,eAAO,MAAM,mBAAmB,EAAE,SAA6D,CAAC;AAChG,4DAA4D;AAC5D,eAAO,MAAM,oBAAoB,EAAE,SAA8D,CAAC;AAClG,wEAAwE;AACxE,eAAO,MAAM,WAAW,EAAE,SAAsB,CAAC;AACjD,gFAAgF;AAChF,eAAO,MAAM,WAAW,EAAE,SAA8D,CAAC;AACzF,2DAA2D;AAC3D,eAAO,MAAM,OAAO,EAAE,SAA8D,CAAC;AACrF,gFAAgF;AAChF,eAAO,MAAM,OAAO,EAAE,SAA6D,CAAC;AAEpF,0DAA0D"}
|
|
@@ -1,55 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Shared dimension aliases for the domain-split Quantity modules
|
|
3
|
-
* (`quantities/{quantum,gravitation-cosmology,fields,condensed-matter}.ts` and
|
|
4
|
-
* `quantities-common.ts`). Extracted verbatim from the former `quantities.ts`
|
|
5
|
-
* god-file (2026-06-22 split). Internal to the `quantities/` folder — these are
|
|
6
|
-
* NOT re-exported by the `quantities.ts` barrel (they were module-local consts).
|
|
7
|
-
*
|
|
8
|
-
* @module composition/quantities/_dims
|
|
9
|
-
*/
|
|
10
|
-
import { FREQUENCY } from '../../dimensional/types.js';
|
|
11
|
-
/** Joule [M L² T⁻²] — local alias for readability. */
|
|
12
|
-
export const ENERGY_DIM = { L: 2, M: 1, T: -2, I: 0, Theta: 0, N: 0, J: 0 };
|
|
13
|
-
/** [T⁻¹] alias. */
|
|
14
|
-
export const FREQUENCY_DIM = FREQUENCY;
|
|
15
|
-
/**
|
|
16
|
-
* Mass-density [M L⁻³] (kg/m³). The dimensional export.
|
|
17
|
-
*
|
|
18
|
-
* @internal
|
|
19
|
-
*/
|
|
20
|
-
export { MASS_DENSITY } from '../../dimensional/types.js';
|
|
21
|
-
/** [T⁻²] (s⁻²) — H² and the c²-rescaled cosmological constant. */
|
|
22
|
-
export const T_INV2 = { L: 0, M: 0, T: -2, I: 0, Theta: 0, N: 0, J: 0 };
|
|
23
|
-
// --- v0.11 catalog-full dimension aliases ---
|
|
24
|
-
/** [L⁻²] — Ricci scalar / cosmological-constant curvature (inverse area). */
|
|
25
|
-
export const INV_AREA = { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };
|
|
26
|
-
/** [L⁻¹] — inverse length (TEE area-law coefficient). */
|
|
27
|
-
export const INV_LENGTH = { L: -1, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };
|
|
28
|
-
/** [M L⁻¹ T⁻²] — energy density (stress-energy trace). */
|
|
29
|
-
export const ENERGY_DENSITY = { L: -1, M: 1, T: -2, I: 0, Theta: 0, N: 0, J: 0 };
|
|
30
|
-
/** [L² T⁻¹] — Model A kinetic coefficient (mobility). */
|
|
31
|
-
export const MOBILITY = { L: 2, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0 };
|
|
32
|
-
/** [L³ M T⁻³ I⁻²] — electrical resistivity (Ω·m). */
|
|
33
|
-
export const RESISTIVITY = { L: 3, M: 1, T: -3, I: -2, Theta: 0, N: 0, J: 0 };
|
|
34
|
-
/** [L⁻³] — number density. */
|
|
35
|
-
export const NUMBER_DENSITY = { L: -3, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };
|
|
36
|
-
/** [L⁻³ T⁻¹] — number-density rate (Boltzmann dY/dt). */
|
|
37
|
-
export const NUMBER_DENSITY_RATE = { L: -3, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0 };
|
|
38
|
-
/** [L¹ M¹ T⁻² I⁻¹] — magnetic vector potential A_μ (V·s/m). */
|
|
39
|
-
export const VECTOR_POTENTIAL = { L: 1, M: 1, T: -2, I: -1, Theta: 0, N: 0, J: 0 };
|
|
40
|
-
/** [M² L² T⁻⁴] — squared Einstein-coupling inverse (c⁴/8πG)². */
|
|
41
|
-
export const COUPLING_PREFACTOR_SQUARED = { L: 2, M: 2, T: -4, I: 0, Theta: 0, N: 0, J: 0 };
|
|
42
|
-
/** [T² L⁻⁴] — torsion-contraction scalar T_λμν T^λμν. */
|
|
43
|
-
export const TORSION_CONTRACTION = { L: -4, M: 0, T: 2, I: 0, Theta: 0, N: 0, J: 0 };
|
|
44
|
-
/** [M² L⁻² T⁻²] — squared spin angular-momentum density. */
|
|
45
|
-
export const SPIN_DENSITY_SQUARED = { L: -2, M: 2, T: -2, I: 0, Theta: 0, N: 0, J: 0 };
|
|
46
|
-
/** Energy [M L² T⁻²] — joule (BE-18 VEV/mass, natural-units energy). */
|
|
47
|
-
export const ENERGY_DIM2 = ENERGY_DIM;
|
|
48
|
-
/** Electrical conductance [I² T³ M⁻¹ L⁻²] (siemens) — Hall conductance σ_xy. */
|
|
49
|
-
export const CONDUCTANCE = { L: -2, M: -1, T: 3, I: 2, Theta: 0, N: 0, J: 0 };
|
|
50
|
-
/** Electric potential difference [M L² T⁻³ I⁻¹] (volt). */
|
|
51
|
-
export const VOLTAGE = { L: 2, M: 1, T: -3, I: -1, Theta: 0, N: 0, J: 0 };
|
|
52
|
-
/** Energy⁴ [M⁴ L⁸ T⁻⁸] — natural-unit potential density (composite Higgs V). */
|
|
53
|
-
export const ENERGY4 = { L: 8, M: 4, T: -8, I: 0, Theta: 0, N: 0, J: 0 };
|
|
54
|
-
/** Canonical node for `boundary-entanglement-entropy`. */
|
|
55
|
-
//# sourceMappingURL=_dims.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"_dims.js","sourceRoot":"","sources":["../../../src/composition/quantities/_dims.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAGvD,sDAAsD;AACtD,MAAM,CAAC,MAAM,UAAU,GAAc,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;AACvF,mBAAmB;AACnB,MAAM,CAAC,MAAM,aAAa,GAAG,SAAS,CAAC;AACvC;;;;GAIG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC1D,kEAAkE;AAClE,MAAM,CAAC,MAAM,MAAM,GAAc,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;AAEnF,+CAA+C;AAE/C,6EAA6E;AAC7E,MAAM,CAAC,MAAM,QAAQ,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AACrF,yDAAyD;AACzD,MAAM,CAAC,MAAM,UAAU,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AACvF,0DAA0D;AAC1D,MAAM,CAAC,MAAM,cAAc,GAAc,EAAE,CAAC,EAAE,CAAC,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;AAC5F,yDAAyD;AACzD,MAAM,CAAC,MAAM,QAAQ,GAAc,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;AACrF,qDAAqD;AACrD,MAAM,CAAC,MAAM,WAAW,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AACzF,8BAA8B;AAC9B,MAAM,CAAC,MAAM,cAAc,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAC3F,yDAAyD;AACzD,MAAM,CAAC,MAAM,mBAAmB,GAAc,EAAE,CAAC,EAAE,CAAC,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;AACjG,+DAA+D;AAC/D,MAAM,CAAC,MAAM,gBAAgB,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAC9F,iEAAiE;AACjE,MAAM,CAAC,MAAM,0BAA0B,GAAc,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;AACvG,yDAAyD;AACzD,MAAM,CAAC,MAAM,mBAAmB,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAChG,4DAA4D;AAC5D,MAAM,CAAC,MAAM,oBAAoB,GAAc,EAAE,CAAC,EAAE,CAAC,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;AAClG,wEAAwE;AACxE,MAAM,CAAC,MAAM,WAAW,GAAc,UAAU,CAAC;AACjD,gFAAgF;AAChF,MAAM,CAAC,MAAM,WAAW,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AACzF,2DAA2D;AAC3D,MAAM,CAAC,MAAM,OAAO,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AACrF,gFAAgF;AAChF,MAAM,CAAC,MAAM,OAAO,GAAc,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;AAEpF,0DAA0D"}
|
|
@@ -1,166 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Quantity nodes for BE-66 through BE-76.
|
|
3
|
-
*
|
|
4
|
-
* Names are new. `mass-density` is the cosmological node. `temperature`
|
|
5
|
-
* and `hawking-temperature` are the thermal nodes be-42 already uses.
|
|
6
|
-
* Reusing either name would join these edges to a different law.
|
|
7
|
-
* BE-72 does not reuse `metric-g00` or `proper-temperature`: those are
|
|
8
|
-
* BE-68, and the frequency ratio is not the Tolman invariant.
|
|
9
|
-
* BE-69 does not reuse `alfven-speed`: `c_s = 0` recovers that number
|
|
10
|
-
* for a different polarization.
|
|
11
|
-
*
|
|
12
|
-
* @module composition/quantities/applied-physicist
|
|
13
|
-
*/
|
|
14
|
-
import type { Quantity } from '../quantity.js';
|
|
15
|
-
/** Time-averaged Poynting-flux magnitude. Not the canonical `CE-poynting-flux` node. */
|
|
16
|
-
export declare const poyntingFluxQ: Quantity;
|
|
17
|
-
/** Intensity reflectance of an opaque surface. */
|
|
18
|
-
export declare const reflectanceQ: Quantity;
|
|
19
|
-
/** Angle from the outward normal, radians. */
|
|
20
|
-
export declare const incidenceAngleQ: Quantity;
|
|
21
|
-
/** Normal radiation pressure. Not the hydrostatic `pressure` node. */
|
|
22
|
-
export declare const radiationPressureQ: Quantity;
|
|
23
|
-
/** Magnetic flux density of the background field. */
|
|
24
|
-
export declare const magneticFluxDensityQ: Quantity;
|
|
25
|
-
/**
|
|
26
|
-
* Total plasma mass density. Not `mass-density` (cosmological, gravitational).
|
|
27
|
-
* Proton-only density is a caller-supplied value of this same quantity.
|
|
28
|
-
*/
|
|
29
|
-
export declare const plasmaMassDensityQ: Quantity;
|
|
30
|
-
/** Alfvén speed. Not `gravitational-wave-speed`. */
|
|
31
|
-
export declare const alfvenSpeedQ: Quantity;
|
|
32
|
-
/** Proper temperature on a static metric. Not `temperature` and not `hawking-temperature`. */
|
|
33
|
-
export declare const properTemperatureQ: Quantity;
|
|
34
|
-
/** Static metric component `g_00`, dimensionless, negative. */
|
|
35
|
-
export declare const metricG00Q: Quantity;
|
|
36
|
-
/** Tolman–Ehrenfest invariant `T √(−g_00)`. Dimension temperature. */
|
|
37
|
-
export declare const tolmanInvariantQ: Quantity;
|
|
38
|
-
/** Sound speed of the compressional closure. Not `alfven-speed`. */
|
|
39
|
-
export declare const soundSpeedQ: Quantity;
|
|
40
|
-
/** Perpendicular fast magnetosonic phase speed. Not `alfven-speed`. */
|
|
41
|
-
export declare const fastMagnetosonicSpeedQ: Quantity;
|
|
42
|
-
/** Electrical mobility, drift speed per electric field. */
|
|
43
|
-
export declare const electricalMobilityQ: Quantity;
|
|
44
|
-
/** Temperature in the Einstein relation. Not `temperature` and not `proper-temperature`. */
|
|
45
|
-
export declare const einsteinTemperatureQ: Quantity;
|
|
46
|
-
/** Carrier charge in the Einstein relation. Not the constant `e`. */
|
|
47
|
-
export declare const carrierChargeQ: Quantity;
|
|
48
|
-
/** Diffusivity `D = μ k_B T / q`. */
|
|
49
|
-
export declare const diffusivityQ: Quantity;
|
|
50
|
-
/**
|
|
51
|
-
* Specific latent heat `L = T (s2 − s1)`, joules per kilogram.
|
|
52
|
-
* Not `latent-heat`: that node is the energy `Q = m L`.
|
|
53
|
-
*/
|
|
54
|
-
export declare const latentHeatQ: Quantity;
|
|
55
|
-
/** Temperature on the coexistence curve. Not `temperature`. */
|
|
56
|
-
export declare const clapeyronTemperatureQ: Quantity;
|
|
57
|
-
/** Specific-volume change `v2 − v1`. */
|
|
58
|
-
export declare const specificVolumeChangeQ: Quantity;
|
|
59
|
-
/** Clapeyron slope `dP/dT`. */
|
|
60
|
-
export declare const clapeyronSlopeQ: Quantity;
|
|
61
|
-
/**
|
|
62
|
-
* Static `g_00` of the first redshift observer. Not `metric-g00`.
|
|
63
|
-
* Sharing that name would let BE-72 compose into BE-68.
|
|
64
|
-
*/
|
|
65
|
-
export declare const redshiftMetricG00OneQ: Quantity;
|
|
66
|
-
/** Static `g_00` of the second redshift observer. Not `metric-g00`. */
|
|
67
|
-
export declare const redshiftMetricG00TwoQ: Quantity;
|
|
68
|
-
/** Frequency ratio `ν1/ν2`. Not `tolman-invariant`. */
|
|
69
|
-
export declare const gravitationalFrequencyRatioQ: Quantity;
|
|
70
|
-
/** Seebeck coefficient, voltage per temperature. */
|
|
71
|
-
export declare const seebeckCoefficientQ: Quantity;
|
|
72
|
-
/** Temperature in the Kelvin relation. Not `temperature`. */
|
|
73
|
-
export declare const peltierTemperatureQ: Quantity;
|
|
74
|
-
/** Isothermal Peltier coefficient `Π = S T`. */
|
|
75
|
-
export declare const peltierCoefficientQ: Quantity;
|
|
76
|
-
/**
|
|
77
|
-
* Magnetic pressure `p_B = B²/(2 μ0)`. Not `radiation-pressure` and not
|
|
78
|
-
* the hydrostatic `pressure` node.
|
|
79
|
-
*/
|
|
80
|
-
export declare const magneticPressureQ: Quantity;
|
|
81
|
-
/**
|
|
82
|
-
* London penetration depth. The attributes match `effective-mass` and
|
|
83
|
-
* `carrier-density`, the carriers this length screens.
|
|
84
|
-
*/
|
|
85
|
-
export declare const londonPenetrationDepthQ: Quantity;
|
|
86
|
-
/** Plasma beta `p_gas / p_B`. Dimensionless. Not a plasma-β inequality. */
|
|
87
|
-
export declare const plasmaBetaQ: Quantity;
|
|
88
|
-
/** Pipe radius. Not a generic `length`. */
|
|
89
|
-
export declare const pipeRadiusQ: Quantity;
|
|
90
|
-
/** Axial pressure drop of a straight pipe. Not `magnetic-pressure`. */
|
|
91
|
-
export declare const pipePressureDropQ: Quantity;
|
|
92
|
-
/** Newtonian dynamic viscosity of the Hagen–Poiseuille balance. */
|
|
93
|
-
export declare const dynamicViscosityQ: Quantity;
|
|
94
|
-
/** Pipe length. Not `column-length`. */
|
|
95
|
-
export declare const pipeLengthQ: Quantity;
|
|
96
|
-
/** Hagen–Poiseuille volume flux `Q = π R⁴ ΔP / (8 μ L)`. */
|
|
97
|
-
export declare const poiseuilleFlowQ: Quantity;
|
|
98
|
-
/** Young's modulus of a pinned column. */
|
|
99
|
-
export declare const youngsModulusQ: Quantity;
|
|
100
|
-
/** Second moment of area. Not a current. */
|
|
101
|
-
export declare const areaMomentQ: Quantity;
|
|
102
|
-
/** Length between pinned ends. Not `pipe-length`. */
|
|
103
|
-
export declare const columnLengthQ: Quantity;
|
|
104
|
-
/** Lowest pinned–pinned Euler load `π² E I / L²`. */
|
|
105
|
-
export declare const bucklingLoadQ: Quantity;
|
|
106
|
-
/** Linear spring stiffness of a parallel-plate actuator. */
|
|
107
|
-
export declare const pullInStiffnessQ: Quantity;
|
|
108
|
-
/** Rest gap of a parallel-plate actuator. Not the fold gap. */
|
|
109
|
-
export declare const pullInGapQ: Quantity;
|
|
110
|
-
/** Parallel-plate area. Fringing is not this area. */
|
|
111
|
-
export declare const pullInAreaQ: Quantity;
|
|
112
|
-
/** Pull-in voltage at the fold `g = 2 g0/3`. */
|
|
113
|
-
export declare const pullInVoltageQ: Quantity;
|
|
114
|
-
/** Permittivity in the Mott–Gurney solid. Not necessarily `ε0`. */
|
|
115
|
-
export declare const mottPermittivityQ: Quantity;
|
|
116
|
-
/** Drift mobility of the Mott–Gurney law. Not `electrical-mobility`. */
|
|
117
|
-
export declare const mottMobilityQ: Quantity;
|
|
118
|
-
/** Voltage across the Mott–Gurney film. */
|
|
119
|
-
export declare const mottVoltageQ: Quantity;
|
|
120
|
-
/** Film thickness. Not the Child–Langmuir gap. */
|
|
121
|
-
export declare const mottThicknessQ: Quantity;
|
|
122
|
-
/** Mott–Gurney current density `(9/8) ε μ V² / d³`. */
|
|
123
|
-
export declare const mottGurneyCurrentQ: Quantity;
|
|
124
|
-
/** Particle mass in the Child–Langmuir law. Not `effective-mass`. */
|
|
125
|
-
export declare const childCarrierMassQ: Quantity;
|
|
126
|
-
/** Anode voltage of a vacuum diode. */
|
|
127
|
-
export declare const childVoltageQ: Quantity;
|
|
128
|
-
/** Vacuum-diode gap. Not `mott-thickness`. */
|
|
129
|
-
export declare const childGapQ: Quantity;
|
|
130
|
-
/** Child–Langmuir current density. Not `mott-gurney-current`. */
|
|
131
|
-
export declare const childLangmuirCurrentQ: Quantity;
|
|
132
|
-
/** Shockley saturation current. */
|
|
133
|
-
export declare const shockleySaturationQ: Quantity;
|
|
134
|
-
/** Diode bias. Not `pull-in-voltage`. */
|
|
135
|
-
export declare const shockleyVoltageQ: Quantity;
|
|
136
|
-
/** Diode temperature. Not `peltier-temperature`. */
|
|
137
|
-
export declare const shockleyTemperatureQ: Quantity;
|
|
138
|
-
/** Shockley current at ideality 1. */
|
|
139
|
-
export declare const shockleyCurrentQ: Quantity;
|
|
140
|
-
/** Temperature at which the Thomson coefficient is read. Not `peltier-temperature`. */
|
|
141
|
-
export declare const thomsonTemperatureQ: Quantity;
|
|
142
|
-
/** dS/dT. Not the Seebeck coefficient itself. */
|
|
143
|
-
export declare const seebeckSlopeQ: Quantity;
|
|
144
|
-
/** Thomson coefficient `μ_T = T dS/dT`. Not `peltier-coefficient`. */
|
|
145
|
-
export declare const thomsonCoefficientQ: Quantity;
|
|
146
|
-
/** Inner-pair voltage of a collinear four-point probe. */
|
|
147
|
-
export declare const fourPointVoltageQ: Quantity;
|
|
148
|
-
/** Current of a collinear four-point probe. */
|
|
149
|
-
export declare const fourPointCurrentQ: Quantity;
|
|
150
|
-
/** Sheet resistance `(π / ln 2) (V/I)`. Not a conformal crossing. */
|
|
151
|
-
export declare const sheetResistanceQ: Quantity;
|
|
152
|
-
/** Current in the Poisson mean of shot noise. */
|
|
153
|
-
export declare const shotCurrentQ: Quantity;
|
|
154
|
-
/** One-sided shot-noise density `2 e I`. Not Johnson–Nyquist. */
|
|
155
|
-
export declare const shotNoiseQ: Quantity;
|
|
156
|
-
/** Skin-friction coefficient, already normalized by `ρ U²/2`. */
|
|
157
|
-
export declare const skinFrictionQ: Quantity;
|
|
158
|
-
/** Stanton number at Pr = 1 with matched wall slopes. */
|
|
159
|
-
export declare const stantonNumberQ: Quantity;
|
|
160
|
-
/** Temperature of the capacitor Boltzmann weight. */
|
|
161
|
-
export declare const capacitorTemperatureQ: Quantity;
|
|
162
|
-
/** Capacitance of one quadratic energy term. */
|
|
163
|
-
export declare const capacitanceQ: Quantity;
|
|
164
|
-
/** Mean square voltage `k_B T / C`. Not `(3/2) k_B T / C`. */
|
|
165
|
-
export declare const capacitorVoltageVarianceQ: Quantity;
|
|
166
|
-
//# sourceMappingURL=applied-physicist.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"applied-physicist.d.ts","sourceRoot":"","sources":["../../../src/composition/quantities/applied-physicist.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAY/C,wFAAwF;AACxF,eAAO,MAAM,aAAa,EAAE,QAK3B,CAAC;AAEF,kDAAkD;AAClD,eAAO,MAAM,YAAY,EAAE,QAK1B,CAAC;AAEF,8CAA8C;AAC9C,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AAEF,sEAAsE;AACtE,eAAO,MAAM,kBAAkB,EAAE,QAKhC,CAAC;AAEF,qDAAqD;AACrD,eAAO,MAAM,oBAAoB,EAAE,QAKlC,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAKhC,CAAC;AAEF,oDAAoD;AACpD,eAAO,MAAM,YAAY,EAAE,QAK1B,CAAC;AAEF,8FAA8F;AAC9F,eAAO,MAAM,kBAAkB,EAAE,QAKhC,CAAC;AAEF,+DAA+D;AAC/D,eAAO,MAAM,UAAU,EAAE,QAKxB,CAAC;AAEF,sEAAsE;AACtE,eAAO,MAAM,gBAAgB,EAAE,QAK9B,CAAC;AAEF,oEAAoE;AACpE,eAAO,MAAM,WAAW,EAAE,QAKzB,CAAC;AAEF,uEAAuE;AACvE,eAAO,MAAM,sBAAsB,EAAE,QAKpC,CAAC;AAMF,2DAA2D;AAC3D,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AAEF,4FAA4F;AAC5F,eAAO,MAAM,oBAAoB,EAAE,QAKlC,CAAC;AAEF,qEAAqE;AACrE,eAAO,MAAM,cAAc,EAAE,QAK5B,CAAC;AAEF,qCAAqC;AACrC,eAAO,MAAM,YAAY,EAAE,QAK1B,CAAC;AAUF;;;GAGG;AACH,eAAO,MAAM,WAAW,EAAE,QAKzB,CAAC;AAEF,+DAA+D;AAC/D,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AAEF,wCAAwC;AACxC,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AAEF,+BAA+B;AAC/B,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AAEF,uEAAuE;AACvE,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AAEF,uDAAuD;AACvD,eAAO,MAAM,4BAA4B,EAAE,QAK1C,CAAC;AAMF,oDAAoD;AACpD,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AAEF,6DAA6D;AAC7D,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AAEF,gDAAgD;AAChD,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,uBAAuB,EAAE,QAKrC,CAAC;AAEF,2EAA2E;AAC3E,eAAO,MAAM,WAAW,EAAE,QAKzB,CAAC;AAkCF,2CAA2C;AAC3C,eAAO,MAAM,WAAW,EAAE,QAKzB,CAAC;AAEF,uEAAuE;AACvE,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AAEF,mEAAmE;AACnE,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AAEF,wCAAwC;AACxC,eAAO,MAAM,WAAW,EAAE,QAKzB,CAAC;AAEF,4DAA4D;AAC5D,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AAEF,0CAA0C;AAC1C,eAAO,MAAM,cAAc,EAAE,QAK5B,CAAC;AAEF,4CAA4C;AAC5C,eAAO,MAAM,WAAW,EAAE,QAKzB,CAAC;AAEF,qDAAqD;AACrD,eAAO,MAAM,aAAa,EAAE,QAK3B,CAAC;AAEF,qDAAqD;AACrD,eAAO,MAAM,aAAa,EAAE,QAK3B,CAAC;AAEF,4DAA4D;AAC5D,eAAO,MAAM,gBAAgB,EAAE,QAK9B,CAAC;AAEF,+DAA+D;AAC/D,eAAO,MAAM,UAAU,EAAE,QAKxB,CAAC;AAEF,sDAAsD;AACtD,eAAO,MAAM,WAAW,EAAE,QAKzB,CAAC;AAEF,gDAAgD;AAChD,eAAO,MAAM,cAAc,EAAE,QAK5B,CAAC;AAEF,mEAAmE;AACnE,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AAEF,wEAAwE;AACxE,eAAO,MAAM,aAAa,EAAE,QAK3B,CAAC;AAEF,2CAA2C;AAC3C,eAAO,MAAM,YAAY,EAAE,QAK1B,CAAC;AAEF,kDAAkD;AAClD,eAAO,MAAM,cAAc,EAAE,QAK5B,CAAC;AAEF,uDAAuD;AACvD,eAAO,MAAM,kBAAkB,EAAE,QAKhC,CAAC;AAEF,qEAAqE;AACrE,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AAEF,uCAAuC;AACvC,eAAO,MAAM,aAAa,EAAE,QAK3B,CAAC;AAEF,8CAA8C;AAC9C,eAAO,MAAM,SAAS,EAAE,QAKvB,CAAC;AAEF,iEAAiE;AACjE,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AAEF,mCAAmC;AACnC,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AAEF,yCAAyC;AACzC,eAAO,MAAM,gBAAgB,EAAE,QAK9B,CAAC;AAEF,oDAAoD;AACpD,eAAO,MAAM,oBAAoB,EAAE,QAKlC,CAAC;AAEF,sCAAsC;AACtC,eAAO,MAAM,gBAAgB,EAAE,QAK9B,CAAC;AAEF,uFAAuF;AACvF,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AAEF,iDAAiD;AACjD,eAAO,MAAM,aAAa,EAAE,QAK3B,CAAC;AAEF,sEAAsE;AACtE,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AAEF,0DAA0D;AAC1D,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AAEF,+CAA+C;AAC/C,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AAEF,qEAAqE;AACrE,eAAO,MAAM,gBAAgB,EAAE,QAK9B,CAAC;AAEF,iDAAiD;AACjD,eAAO,MAAM,YAAY,EAAE,QAK1B,CAAC;AAEF,iEAAiE;AACjE,eAAO,MAAM,UAAU,EAAE,QAKxB,CAAC;AAEF,iEAAiE;AACjE,eAAO,MAAM,aAAa,EAAE,QAK3B,CAAC;AAEF,yDAAyD;AACzD,eAAO,MAAM,cAAc,EAAE,QAK5B,CAAC;AAEF,qDAAqD;AACrD,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AAEF,gDAAgD;AAChD,eAAO,MAAM,YAAY,EAAE,QAK1B,CAAC;AAEF,8DAA8D;AAC9D,eAAO,MAAM,yBAAyB,EAAE,QAKvC,CAAC"}
|