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,257 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Condensed-matter & non-equilibrium bridges (emergence, condensed-matter/high-energy, non-equilibrium stat-mech, phase transitions).
|
|
3
|
-
*
|
|
4
|
-
* Catalog edge definitions, split by physics domain from the former
|
|
5
|
-
* `catalog-full.ts` god-file (re-exported via `catalog-full.ts`).
|
|
6
|
-
*
|
|
7
|
-
* @module composition/edges/catalog-condensed-matter
|
|
8
|
-
*/
|
|
9
|
-
import { DIMENSIONLESS, TEMPERATURE } from '../../dimensional/types.js';
|
|
10
|
-
import { sym } from '../../dimensional/ast-builders.js';
|
|
11
|
-
import { CONSTANTS } from '../../dimensional/symbolic-constants.js';
|
|
12
|
-
import { evaluateCoarseningLength } from '../../bridges/equations/be-15-emergence.js';
|
|
13
|
-
import { evaluateEffectiveTemperature } from '../../bridges/equations/be-27-effective-temperature.js';
|
|
14
|
-
import { evaluateHertzMillis } from '../../bridges/equations/be-33-hertz-millis.js';
|
|
15
|
-
import { evaluateKibbleZurek } from '../../bridges/equations/be-34-kibble-zurek.js';
|
|
16
|
-
import { evaluateSYKResistivity } from '../../bridges/equations/be-23-syk-planckian.js';
|
|
17
|
-
import { evaluateTEE } from '../../bridges/equations/be-22-topological-entanglement.js';
|
|
18
|
-
import { activeNoiseEnergyQ, areaLawCoefficientQ, boundaryLengthQ, carrierDensityQ, coarseningLengthQ, defectDensityQ, defectRestMassQ, dynamicExponentZQ, effectiveMassQ, effectiveTemperatureQ, microscopicRelaxationTimeQ, modelAMobilityQ, quantumCorrelationLengthQ, quenchTimescaleQ, referenceCorrelationLengthQ, referenceTemperatureQ, reheatingTemperatureQ, residualResistivityQ, resistivityQ, spatialDimensionQ, staticExponentNuQ, subsystemEntanglementEntropyQ, sykCoefficientQ, temperatureQ, timeQ, topologicalEntanglementEntropyQ, } from '../quantities.js';
|
|
19
|
-
import { isFin, BE33_HERTZ_MILLIS_SYMBOLIC } from './_catalog-helpers.js';
|
|
20
|
-
/**
|
|
21
|
-
* BE-15 Kawasaki-Gunton coarsening length: (model-a-mobility, time) →
|
|
22
|
-
* L(t) = √(Γ t). Wraps `evaluateCoarseningLength` (Γ in m²/s, t in s; returns
|
|
23
|
-
* m). Endpoints differ in `scale` (microscale kinetic coefficient → emergent
|
|
24
|
-
* correlation length): a bridge.
|
|
25
|
-
*
|
|
26
|
-
* Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
|
|
27
|
-
* export for the 26-edge tranche — root-surface budget decision).
|
|
28
|
-
*/
|
|
29
|
-
export const be15Edge = {
|
|
30
|
-
id: 'be-15',
|
|
31
|
-
beId: 15,
|
|
32
|
-
kind: 'bridge',
|
|
33
|
-
label: 'Model A coarsening length L(t) = √(Γ t)',
|
|
34
|
-
sources: [modelAMobilityQ, timeQ],
|
|
35
|
-
target: coarseningLengthQ,
|
|
36
|
-
confidence: 'speculative',
|
|
37
|
-
domain: {
|
|
38
|
-
description: 'Γ > 0 and t > 0 (all SI)',
|
|
39
|
-
predicate: (i) => isFin(i['model-a-mobility']) &&
|
|
40
|
-
i['model-a-mobility'] > 0 &&
|
|
41
|
-
isFin(i['time']) &&
|
|
42
|
-
i['time'] > 0,
|
|
43
|
-
},
|
|
44
|
-
evaluate: (i) => evaluateCoarseningLength({ gamma: i['model-a-mobility'], t: i['time'] }),
|
|
45
|
-
citation: 'Kawasaki & Gunton 1976 PRA 13:2294; Hohenberg & Halperin 1977 RMP 49:435',
|
|
46
|
-
};
|
|
47
|
-
/**
|
|
48
|
-
* BE-22 topological entanglement entropy: (area-law-coefficient,
|
|
49
|
-
* boundary-length, topological-entanglement-entropy) → S(R) = α·L − γ (nats).
|
|
50
|
-
* Wraps `evaluateTEE` (α in m⁻¹, L in m, γ in nats; returns nats).
|
|
51
|
-
*
|
|
52
|
-
* Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
|
|
53
|
-
* export for the 26-edge tranche — root-surface budget decision).
|
|
54
|
-
*/
|
|
55
|
-
export const be22Edge = {
|
|
56
|
-
id: 'be-22',
|
|
57
|
-
beId: 22,
|
|
58
|
-
kind: 'bridge',
|
|
59
|
-
label: 'Topological entanglement entropy S(R) = α·L − γ',
|
|
60
|
-
sources: [areaLawCoefficientQ, boundaryLengthQ, topologicalEntanglementEntropyQ],
|
|
61
|
-
target: subsystemEntanglementEntropyQ,
|
|
62
|
-
confidence: 'speculative',
|
|
63
|
-
domain: {
|
|
64
|
-
description: 'α finite, L ≥ 0, γ finite',
|
|
65
|
-
predicate: (i) => isFin(i['area-law-coefficient']) &&
|
|
66
|
-
isFin(i['boundary-length']) &&
|
|
67
|
-
i['boundary-length'] >= 0 &&
|
|
68
|
-
isFin(i['topological-entanglement-entropy']),
|
|
69
|
-
},
|
|
70
|
-
evaluate: (i) => evaluateTEE({
|
|
71
|
-
alpha_per_meter: i['area-law-coefficient'],
|
|
72
|
-
perimeter_m: i['boundary-length'],
|
|
73
|
-
gamma: i['topological-entanglement-entropy'],
|
|
74
|
-
}),
|
|
75
|
-
citation: 'Kitaev & Preskill 2006 PRL 96:110404; Levin & Wen 2006 PRL 96:110405',
|
|
76
|
-
};
|
|
77
|
-
/**
|
|
78
|
-
* BE-23 SYK Planckian resistivity: (residual-resistivity, effective-mass,
|
|
79
|
-
* carrier-density, temperature, syk-coefficient) →
|
|
80
|
-
* ρ(T) = ρ_0 + (m* k_B T)/(n_e e² ℏ) · α_SYK. Wraps `evaluateSYKResistivity`
|
|
81
|
-
* (SI; returns Ω·m). Uses `effective-mass` (carrier band mass), DISTINCT from
|
|
82
|
-
* the gravitational `mass` node — the namespacing gate in action. Reuses the
|
|
83
|
-
* canonical `temperature` node.
|
|
84
|
-
*
|
|
85
|
-
* Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
|
|
86
|
-
* export for the 26-edge tranche — root-surface budget decision).
|
|
87
|
-
*/
|
|
88
|
-
export const be23Edge = {
|
|
89
|
-
id: 'be-23',
|
|
90
|
-
beId: 23,
|
|
91
|
-
kind: 'bridge',
|
|
92
|
-
label: 'SYK Planckian resistivity ρ(T) = ρ_0 + (m* k_B T)/(n_e e² ℏ)·α_SYK',
|
|
93
|
-
sources: [residualResistivityQ, effectiveMassQ, carrierDensityQ, temperatureQ, sykCoefficientQ],
|
|
94
|
-
target: resistivityQ,
|
|
95
|
-
confidence: 'speculative',
|
|
96
|
-
domain: {
|
|
97
|
-
description: 'ρ_0 ≥ 0, m* > 0, n_e > 0, T ≥ 0, α_SYK finite',
|
|
98
|
-
predicate: (i) => isFin(i['residual-resistivity']) &&
|
|
99
|
-
i['residual-resistivity'] >= 0 &&
|
|
100
|
-
isFin(i['effective-mass']) &&
|
|
101
|
-
i['effective-mass'] > 0 &&
|
|
102
|
-
isFin(i['carrier-density']) &&
|
|
103
|
-
i['carrier-density'] > 0 &&
|
|
104
|
-
isFin(i['temperature']) &&
|
|
105
|
-
i['temperature'] >= 0 &&
|
|
106
|
-
isFin(i['syk-coefficient']),
|
|
107
|
-
},
|
|
108
|
-
evaluate: (i) => evaluateSYKResistivity({
|
|
109
|
-
rho_0: i['residual-resistivity'],
|
|
110
|
-
m_star_kg: i['effective-mass'],
|
|
111
|
-
n_e_per_m3: i['carrier-density'],
|
|
112
|
-
T_K: i['temperature'],
|
|
113
|
-
alpha_SYK: i['syk-coefficient'],
|
|
114
|
-
}),
|
|
115
|
-
citation: 'Sachdev & Ye 1993 PRL 70:3339; Hartnoll 2015 Nature Phys. 11:54',
|
|
116
|
-
};
|
|
117
|
-
const BE27_SYMBOLIC = {
|
|
118
|
-
kind: 'op',
|
|
119
|
-
op: '*',
|
|
120
|
-
args: [
|
|
121
|
-
sym('temperature', TEMPERATURE),
|
|
122
|
-
{
|
|
123
|
-
kind: 'op',
|
|
124
|
-
op: '+',
|
|
125
|
-
args: [
|
|
126
|
-
sym('1', DIMENSIONLESS),
|
|
127
|
-
{
|
|
128
|
-
kind: 'op',
|
|
129
|
-
op: '/',
|
|
130
|
-
args: [
|
|
131
|
-
sym('active-noise-energy', activeNoiseEnergyQ.dim),
|
|
132
|
-
{
|
|
133
|
-
kind: 'op',
|
|
134
|
-
op: '*',
|
|
135
|
-
args: [sym('k_B', CONSTANTS.k_B.dim), sym('temperature', TEMPERATURE)],
|
|
136
|
-
},
|
|
137
|
-
],
|
|
138
|
-
},
|
|
139
|
-
],
|
|
140
|
-
},
|
|
141
|
-
],
|
|
142
|
-
};
|
|
143
|
-
/**
|
|
144
|
-
* BE-27 Cugliandolo-Kurchan effective temperature: (temperature,
|
|
145
|
-
* active-noise-energy) → T_eff = T(1 + Σ_active/(k_B T)). Wraps
|
|
146
|
-
* `evaluateEffectiveTemperature` (T in K, Σ in J; returns K). Reuses the
|
|
147
|
-
* canonical `temperature` node. The symbolic form is the same algebra,
|
|
148
|
-
* T·(1 + Σ_active/(k_B T)).
|
|
149
|
-
*
|
|
150
|
-
* Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
|
|
151
|
-
* export for the 26-edge tranche — root-surface budget decision).
|
|
152
|
-
*/
|
|
153
|
-
export const be27Edge = {
|
|
154
|
-
id: 'be-27',
|
|
155
|
-
beId: 27,
|
|
156
|
-
kind: 'bridge',
|
|
157
|
-
label: 'Effective temperature T_eff = T(1 + Σ_active/(k_B T))',
|
|
158
|
-
sources: [temperatureQ, activeNoiseEnergyQ],
|
|
159
|
-
target: effectiveTemperatureQ,
|
|
160
|
-
confidence: 'speculative',
|
|
161
|
-
domain: {
|
|
162
|
-
description: 'T > 0 and Σ_active finite',
|
|
163
|
-
predicate: (i) => isFin(i['temperature']) &&
|
|
164
|
-
i['temperature'] > 0 &&
|
|
165
|
-
isFin(i['active-noise-energy']),
|
|
166
|
-
},
|
|
167
|
-
evaluate: (i) => evaluateEffectiveTemperature({
|
|
168
|
-
T_K: i['temperature'],
|
|
169
|
-
Sigma_active_J: i['active-noise-energy'],
|
|
170
|
-
}),
|
|
171
|
-
symbolic: BE27_SYMBOLIC,
|
|
172
|
-
citation: 'Cugliandolo & Kurchan 1993 J. Phys. A 26:L401',
|
|
173
|
-
};
|
|
174
|
-
export const be33Edge = {
|
|
175
|
-
id: 'be-33',
|
|
176
|
-
beId: 33,
|
|
177
|
-
kind: 'bridge',
|
|
178
|
-
label: 'Hertz-Millis correlation length ξ(T) = ξ_0 (T/T_0)^(−1/z)',
|
|
179
|
-
sources: [referenceCorrelationLengthQ, temperatureQ, referenceTemperatureQ, staticExponentNuQ, dynamicExponentZQ],
|
|
180
|
-
target: quantumCorrelationLengthQ,
|
|
181
|
-
confidence: 'speculative',
|
|
182
|
-
domain: {
|
|
183
|
-
description: 'ξ_0 > 0, T > 0, T_0 > 0, ν finite, z ≠ 0',
|
|
184
|
-
predicate: (i) => isFin(i['reference-correlation-length']) &&
|
|
185
|
-
i['reference-correlation-length'] > 0 &&
|
|
186
|
-
isFin(i['temperature']) &&
|
|
187
|
-
i['temperature'] > 0 &&
|
|
188
|
-
isFin(i['reference-temperature']) &&
|
|
189
|
-
i['reference-temperature'] > 0 &&
|
|
190
|
-
isFin(i['static-exponent-nu']) &&
|
|
191
|
-
isFin(i['dynamic-exponent-z']) &&
|
|
192
|
-
i['dynamic-exponent-z'] !== 0,
|
|
193
|
-
},
|
|
194
|
-
evaluate: (i) => evaluateHertzMillis({
|
|
195
|
-
xi_0_m: i['reference-correlation-length'],
|
|
196
|
-
T_K: i['temperature'],
|
|
197
|
-
T_0_K: i['reference-temperature'],
|
|
198
|
-
nu: i['static-exponent-nu'],
|
|
199
|
-
z: i['dynamic-exponent-z'],
|
|
200
|
-
}),
|
|
201
|
-
symbolic: BE33_HERTZ_MILLIS_SYMBOLIC,
|
|
202
|
-
citation: 'Hertz 1976 PRB 14:1165; Millis 1993 PRB 48:7183; Sachdev 2011 QPT 2nd ed. Ch.11',
|
|
203
|
-
};
|
|
204
|
-
/**
|
|
205
|
-
* BE-34 Kibble-Zurek defect density: (quench-timescale,
|
|
206
|
-
* microscopic-relaxation-time, spatial-dimension, static-exponent-nu,
|
|
207
|
-
* dynamic-exponent-z, defect-rest-mass, reheating-temperature) →
|
|
208
|
-
* n = (τ_Q/τ_0)^(−dν/(1+zν))·exp(−mc²/(k_B T_reh)). Wraps `evaluateKibbleZurek`
|
|
209
|
-
* (SI; returns dimensionless). Reuses BE-33's `static-exponent-nu` and
|
|
210
|
-
* `dynamic-exponent-z` nodes (same critical exponents).
|
|
211
|
-
*
|
|
212
|
-
* Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
|
|
213
|
-
* export for the 26-edge tranche — root-surface budget decision).
|
|
214
|
-
*/
|
|
215
|
-
export const be34Edge = {
|
|
216
|
-
id: 'be-34',
|
|
217
|
-
beId: 34,
|
|
218
|
-
kind: 'bridge',
|
|
219
|
-
label: 'Kibble-Zurek n = (τ_Q/τ_0)^(−dν/(1+zν))·exp(−mc²/k_B T_reh)',
|
|
220
|
-
sources: [
|
|
221
|
-
quenchTimescaleQ,
|
|
222
|
-
microscopicRelaxationTimeQ,
|
|
223
|
-
spatialDimensionQ,
|
|
224
|
-
staticExponentNuQ,
|
|
225
|
-
dynamicExponentZQ,
|
|
226
|
-
defectRestMassQ,
|
|
227
|
-
reheatingTemperatureQ,
|
|
228
|
-
],
|
|
229
|
-
target: defectDensityQ,
|
|
230
|
-
confidence: 'established',
|
|
231
|
-
domain: {
|
|
232
|
-
description: 'τ_Q>0, τ_0>0, d/ν/z finite, m_defect≥0, T_reh>0, 1+zν≠0',
|
|
233
|
-
predicate: (i) => isFin(i['quench-timescale']) &&
|
|
234
|
-
i['quench-timescale'] > 0 &&
|
|
235
|
-
isFin(i['microscopic-relaxation-time']) &&
|
|
236
|
-
i['microscopic-relaxation-time'] > 0 &&
|
|
237
|
-
isFin(i['spatial-dimension']) &&
|
|
238
|
-
isFin(i['static-exponent-nu']) &&
|
|
239
|
-
isFin(i['dynamic-exponent-z']) &&
|
|
240
|
-
isFin(i['defect-rest-mass']) &&
|
|
241
|
-
i['defect-rest-mass'] >= 0 &&
|
|
242
|
-
isFin(i['reheating-temperature']) &&
|
|
243
|
-
i['reheating-temperature'] > 0 &&
|
|
244
|
-
1 + i['dynamic-exponent-z'] * i['static-exponent-nu'] !== 0,
|
|
245
|
-
},
|
|
246
|
-
evaluate: (i) => evaluateKibbleZurek({
|
|
247
|
-
tau_Q: i['quench-timescale'],
|
|
248
|
-
tau_0: i['microscopic-relaxation-time'],
|
|
249
|
-
d: i['spatial-dimension'],
|
|
250
|
-
nu: i['static-exponent-nu'],
|
|
251
|
-
z: i['dynamic-exponent-z'],
|
|
252
|
-
m_defect: i['defect-rest-mass'],
|
|
253
|
-
T_reh: i['reheating-temperature'],
|
|
254
|
-
}),
|
|
255
|
-
citation: 'Kibble 1976 J. Phys. A 9:1387; Zurek 1985 Nature 317:505',
|
|
256
|
-
};
|
|
257
|
-
//# sourceMappingURL=catalog-condensed-matter.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"catalog-condensed-matter.js","sourceRoot":"","sources":["../../../src/composition/edges/catalog-condensed-matter.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACpE,OAAO,EAAE,wBAAwB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,EAAE,4BAA4B,EAAE,MAAM,wDAAwD,CAAC;AACtG,OAAO,EAAE,mBAAmB,EAAE,MAAM,+CAA+C,CAAC;AACpF,OAAO,EAAE,mBAAmB,EAAE,MAAM,+CAA+C,CAAC;AACpF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gDAAgD,CAAC;AACxF,OAAO,EAAE,WAAW,EAAE,MAAM,2DAA2D,CAAC;AAExF,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,eAAe,EACf,eAAe,EACf,iBAAiB,EACjB,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,cAAc,EACd,qBAAqB,EACrB,0BAA0B,EAC1B,eAAe,EACf,yBAAyB,EACzB,gBAAgB,EAChB,2BAA2B,EAC3B,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,YAAY,EACZ,iBAAiB,EACjB,iBAAiB,EACjB,6BAA6B,EAC7B,eAAe,EACf,YAAY,EACZ,KAAK,EACL,+BAA+B,GAChC,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,KAAK,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AAE1E;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,yCAAyC;IAChD,OAAO,EAAE,CAAC,eAAe,EAAE,KAAK,CAAC;IACjC,MAAM,EAAE,iBAAiB;IACzB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,0BAA0B;QACvC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;YAC5B,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC;YACzB,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAChB,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;KAChB;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,wBAAwB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;IAC1E,QAAQ,EAAE,0EAA0E;CACrF,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,iDAAiD;IACxD,OAAO,EAAE,CAAC,mBAAmB,EAAE,eAAe,EAAE,+BAA+B,CAAC;IAChF,MAAM,EAAE,6BAA6B;IACrC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,2BAA2B;QACxC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;YAChC,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC3B,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC;YACzB,KAAK,CAAC,CAAC,CAAC,kCAAkC,CAAC,CAAC;KAC/C;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,WAAW,CAAC;QACV,eAAe,EAAE,CAAC,CAAC,sBAAsB,CAAC;QAC1C,WAAW,EAAE,CAAC,CAAC,iBAAiB,CAAC;QACjC,KAAK,EAAE,CAAC,CAAC,kCAAkC,CAAC;KAC7C,CAAC;IACJ,QAAQ,EAAE,sEAAsE;CACjF,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,oEAAoE;IAC3E,OAAO,EAAE,CAAC,oBAAoB,EAAE,cAAc,EAAE,eAAe,EAAE,YAAY,EAAE,eAAe,CAAC;IAC/F,MAAM,EAAE,YAAY;IACpB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,+CAA+C;QAC5D,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;YAChC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC1B,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC;YACvB,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC3B,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC;YACxB,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YACvB,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;YACrB,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;KAC9B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,sBAAsB,CAAC;QACrB,KAAK,EAAE,CAAC,CAAC,sBAAsB,CAAC;QAChC,SAAS,EAAE,CAAC,CAAC,gBAAgB,CAAC;QAC9B,UAAU,EAAE,CAAC,CAAC,iBAAiB,CAAC;QAChC,GAAG,EAAE,CAAC,CAAC,aAAa,CAAC;QACrB,SAAS,EAAE,CAAC,CAAC,iBAAiB,CAAC;KAChC,CAAC;IACJ,QAAQ,EAAE,iEAAiE;CAC5E,CAAC;AAEF,MAAM,aAAa,GAAa;IAC9B,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC;QAC/B;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB;oBACE,IAAI,EAAE,IAAI;oBACV,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE;wBACJ,GAAG,CAAC,qBAAqB,EAAE,kBAAkB,CAAC,GAAG,CAAC;wBAClD;4BACE,IAAI,EAAE,IAAI;4BACV,EAAE,EAAE,GAAG;4BACP,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;yBACvE;qBACF;iBACF;aACF;SACF;KACF;CACF,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,uDAAuD;IAC9D,OAAO,EAAE,CAAC,YAAY,EAAE,kBAAkB,CAAC;IAC3C,MAAM,EAAE,qBAAqB;IAC7B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,2BAA2B;QACxC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YACvB,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC;YACpB,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;KAClC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,4BAA4B,CAAC;QAC3B,GAAG,EAAE,CAAC,CAAC,aAAa,CAAC;QACrB,cAAc,EAAE,CAAC,CAAC,qBAAqB,CAAC;KACzC,CAAC;IACJ,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,+CAA+C;CAC1D,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,2DAA2D;IAClE,OAAO,EAAE,CAAC,2BAA2B,EAAE,YAAY,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,iBAAiB,CAAC;IACjH,MAAM,EAAE,yBAAyB;IACjC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,0CAA0C;QACvD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,8BAA8B,CAAC,CAAC;YACxC,CAAC,CAAC,8BAA8B,CAAC,GAAG,CAAC;YACrC,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YACvB,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC;YACpB,KAAK,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;YACjC,CAAC,CAAC,uBAAuB,CAAC,GAAG,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC;KAChC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,mBAAmB,CAAC;QAClB,MAAM,EAAE,CAAC,CAAC,8BAA8B,CAAC;QACzC,GAAG,EAAE,CAAC,CAAC,aAAa,CAAC;QACrB,KAAK,EAAE,CAAC,CAAC,uBAAuB,CAAC;QACjC,EAAE,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC3B,CAAC,EAAE,CAAC,CAAC,oBAAoB,CAAC;KAC3B,CAAC;IACJ,QAAQ,EAAE,0BAA0B;IACpC,QAAQ,EAAE,iFAAiF;CAC5F,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,6DAA6D;IACpE,OAAO,EAAE;QACP,gBAAgB;QAChB,0BAA0B;QAC1B,iBAAiB;QACjB,iBAAiB;QACjB,iBAAiB;QACjB,eAAe;QACf,qBAAqB;KACtB;IACD,MAAM,EAAE,cAAc;IACtB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,yDAAyD;QACtE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;YAC5B,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC;YACzB,KAAK,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC;YACvC,CAAC,CAAC,6BAA6B,CAAC,GAAG,CAAC;YACpC,KAAK,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;YAC7B,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;YAC5B,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAC1B,KAAK,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;YACjC,CAAC,CAAC,uBAAuB,CAAC,GAAG,CAAC;YAC9B,CAAC,GAAG,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC;KAC9D;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,mBAAmB,CAAC;QAClB,KAAK,EAAE,CAAC,CAAC,kBAAkB,CAAC;QAC5B,KAAK,EAAE,CAAC,CAAC,6BAA6B,CAAC;QACvC,CAAC,EAAE,CAAC,CAAC,mBAAmB,CAAC;QACzB,EAAE,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC3B,CAAC,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC1B,QAAQ,EAAE,CAAC,CAAC,kBAAkB,CAAC;QAC/B,KAAK,EAAE,CAAC,CAAC,uBAAuB,CAAC;KAClC,CAAC;IACJ,QAAQ,EAAE,0DAA0D;CACrE,CAAC"}
|
|
@@ -1,68 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Field-theory bridges (field unification, modified theories, QFT extensions).
|
|
3
|
-
*
|
|
4
|
-
* Catalog edge definitions, split by physics domain from the former
|
|
5
|
-
* `catalog-full.ts` god-file (re-exported via `catalog-full.ts`).
|
|
6
|
-
*
|
|
7
|
-
* @module composition/edges/catalog-fields
|
|
8
|
-
*/
|
|
9
|
-
import type { BridgeEdge } from '../edge.js';
|
|
10
|
-
/**
|
|
11
|
-
* BE-17 Einstein-Cartan torsion-spin squared invariant:
|
|
12
|
-
* (einstein-coupling-prefactor-squared, torsion-contraction-scalar) →
|
|
13
|
-
* S²_spin = (c⁴/8πG)² · T_λμν T^λμν. Wraps `evaluateBE17SpinDensitySquared`
|
|
14
|
-
* (prefactor in [M²L²T⁻⁴], contraction in [T²L⁻⁴]; returns [M²L⁻²T⁻²]).
|
|
15
|
-
*
|
|
16
|
-
* Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
|
|
17
|
-
* export for the 26-edge tranche — root-surface budget decision).
|
|
18
|
-
*/
|
|
19
|
-
export declare const be17Edge: BridgeEdge;
|
|
20
|
-
/**
|
|
21
|
-
* BE-18 Higgs-like dark mass generation: (yukawa-coupling,
|
|
22
|
-
* vacuum-expectation-value) → m_dark = g_dark · v_dark (natural units;
|
|
23
|
-
* mass-as-energy). Wraps `evaluateHiggsMass` (g dimensionless, v in GeV;
|
|
24
|
-
* returns GeV).
|
|
25
|
-
*
|
|
26
|
-
* Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
|
|
27
|
-
* export for the 26-edge tranche — root-surface budget decision).
|
|
28
|
-
*/
|
|
29
|
-
export declare const be18Edge: BridgeEdge;
|
|
30
|
-
/**
|
|
31
|
-
* BE-36 GW170817 graviton-photon speed ratio: gravitational-wave-speed →
|
|
32
|
-
* (c_GW − c)/c. Wraps `evaluateGWSpeedRatio` (c_GW in m/s; returns
|
|
33
|
-
* dimensionless signed ratio).
|
|
34
|
-
*
|
|
35
|
-
* Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
|
|
36
|
-
* export for the 26-edge tranche — root-surface budget decision).
|
|
37
|
-
*/
|
|
38
|
-
export declare const be36Edge: BridgeEdge;
|
|
39
|
-
/**
|
|
40
|
-
* BE-38 Milgrom MOND force: (newtonian-force, mass, mond-acceleration-scale) →
|
|
41
|
-
* F = F_N·ν(z), z = F_N/(m a_0). Wraps `evaluateMONDForce` (SI; returns N).
|
|
42
|
-
* Reuses the gravitational `mass` node (the test particle's gravitational mass).
|
|
43
|
-
*
|
|
44
|
-
* Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
|
|
45
|
-
* export for the 26-edge tranche — root-surface budget decision).
|
|
46
|
-
*/
|
|
47
|
-
export declare const be38Edge: BridgeEdge;
|
|
48
|
-
/**
|
|
49
|
-
* BE-39 asymptotic-safety β_g: (newton-coupling-dimensionless,
|
|
50
|
-
* cosmological-constant-dimensionless, truncation-coefficient-a/b/c) →
|
|
51
|
-
* β_g = 2g + A g² + B g³ − C g²λ. Wraps `evaluateBetaG` (all dimensionless).
|
|
52
|
-
* The module also ships `evaluateBetaLambda`; this edge wraps the β_g branch.
|
|
53
|
-
*
|
|
54
|
-
* Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
|
|
55
|
-
* export for the 26-edge tranche — root-surface budget decision).
|
|
56
|
-
*/
|
|
57
|
-
export declare const be39Edge: BridgeEdge;
|
|
58
|
-
/**
|
|
59
|
-
* BE-41 Swampland distance conjecture: (reference-mass, swampland-coefficient,
|
|
60
|
-
* scalar-field-value, scalar-field-reference, planck-mass) →
|
|
61
|
-
* m(φ) = m₀ exp(−α|φ−φ₀|/M_P). Wraps `evaluateSwampland` (consistent units;
|
|
62
|
-
* returns same unit as m₀).
|
|
63
|
-
*
|
|
64
|
-
* Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
|
|
65
|
-
* export for the 26-edge tranche — root-surface budget decision).
|
|
66
|
-
*/
|
|
67
|
-
export declare const be41Edge: BridgeEdge;
|
|
68
|
-
//# sourceMappingURL=catalog-fields.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"catalog-fields.d.ts","sourceRoot":"","sources":["../../../src/composition/edges/catalog-fields.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAQH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AA6B7C;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,UAqBtB,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,UAoBtB,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,QAAQ,EAAE,UAkBtB,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,QAAQ,EAAE,UAyBtB,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,UAgCtB,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,UA4BtB,CAAC"}
|
|
@@ -1,207 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Field-theory bridges (field unification, modified theories, QFT extensions).
|
|
3
|
-
*
|
|
4
|
-
* Catalog edge definitions, split by physics domain from the former
|
|
5
|
-
* `catalog-full.ts` god-file (re-exported via `catalog-full.ts`).
|
|
6
|
-
*
|
|
7
|
-
* @module composition/edges/catalog-fields
|
|
8
|
-
*/
|
|
9
|
-
import { evaluateBE17SpinDensitySquared } from '../../bridges/equations/be-17-einstein-cartan.js';
|
|
10
|
-
import { evaluateBetaG } from '../../bridges/equations/be-39-asymptotic-safety.js';
|
|
11
|
-
import { evaluateGWSpeedRatio } from '../../bridges/equations/be-36-gw-speed-bound.js';
|
|
12
|
-
import { evaluateHiggsMass } from '../../bridges/equations/be-18-higgs-mass.js';
|
|
13
|
-
import { evaluateMONDForce } from '../../bridges/equations/be-38-mond.js';
|
|
14
|
-
import { evaluateSwampland } from '../../bridges/equations/be-41-swampland.js';
|
|
15
|
-
import { cosmologicalConstantDimensionlessQ, couplingPrefactorSquaredQ, darkFermionMassQ, gravitationalWaveSpeedQ, gwPhotonSpeedRatioQ, massQ, mondAccelerationScaleQ, mondForceQ, newtonCouplingBetaQ, newtonCouplingQ, newtonianForceQ, planckMassQ, referenceMassQ, scalarFieldReferenceQ, scalarFieldValueQ, spinDensitySquaredQ, swamplandCoefficientQ, swamplandTowerMassQ, torsionContractionScalarQ, truncationCoefficientAQ, truncationCoefficientBQ, truncationCoefficientCQ, vacuumExpectationValueQ, yukawaCouplingQ, } from '../quantities.js';
|
|
16
|
-
import { isFin, BE18_SYMBOLIC, BE36_SYMBOLIC } from './_catalog-helpers.js';
|
|
17
|
-
/**
|
|
18
|
-
* BE-17 Einstein-Cartan torsion-spin squared invariant:
|
|
19
|
-
* (einstein-coupling-prefactor-squared, torsion-contraction-scalar) →
|
|
20
|
-
* S²_spin = (c⁴/8πG)² · T_λμν T^λμν. Wraps `evaluateBE17SpinDensitySquared`
|
|
21
|
-
* (prefactor in [M²L²T⁻⁴], contraction in [T²L⁻⁴]; returns [M²L⁻²T⁻²]).
|
|
22
|
-
*
|
|
23
|
-
* Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
|
|
24
|
-
* export for the 26-edge tranche — root-surface budget decision).
|
|
25
|
-
*/
|
|
26
|
-
export const be17Edge = {
|
|
27
|
-
id: 'be-17',
|
|
28
|
-
beId: 17,
|
|
29
|
-
kind: 'bridge',
|
|
30
|
-
label: 'Einstein-Cartan S²_spin = (c⁴/8πG)² · T·T',
|
|
31
|
-
sources: [couplingPrefactorSquaredQ, torsionContractionScalarQ],
|
|
32
|
-
target: spinDensitySquaredQ,
|
|
33
|
-
confidence: 'speculative',
|
|
34
|
-
domain: {
|
|
35
|
-
description: 'prefactor finite, torsion contraction ≥ 0 (sum of squares)',
|
|
36
|
-
predicate: (i) => isFin(i['einstein-coupling-prefactor-squared']) &&
|
|
37
|
-
isFin(i['torsion-contraction-scalar']) &&
|
|
38
|
-
i['torsion-contraction-scalar'] >= 0,
|
|
39
|
-
},
|
|
40
|
-
evaluate: (i) => evaluateBE17SpinDensitySquared({
|
|
41
|
-
coupling_prefactor_squared: i['einstein-coupling-prefactor-squared'],
|
|
42
|
-
torsion_squared: i['torsion-contraction-scalar'],
|
|
43
|
-
}),
|
|
44
|
-
citation: 'Hehl et al. 1976 RMP 48:393; Cartan 1922 C. R. Acad. Sci. 174:593',
|
|
45
|
-
};
|
|
46
|
-
/**
|
|
47
|
-
* BE-18 Higgs-like dark mass generation: (yukawa-coupling,
|
|
48
|
-
* vacuum-expectation-value) → m_dark = g_dark · v_dark (natural units;
|
|
49
|
-
* mass-as-energy). Wraps `evaluateHiggsMass` (g dimensionless, v in GeV;
|
|
50
|
-
* returns GeV).
|
|
51
|
-
*
|
|
52
|
-
* Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
|
|
53
|
-
* export for the 26-edge tranche — root-surface budget decision).
|
|
54
|
-
*/
|
|
55
|
-
export const be18Edge = {
|
|
56
|
-
id: 'be-18',
|
|
57
|
-
beId: 18,
|
|
58
|
-
kind: 'bridge',
|
|
59
|
-
label: 'Higgs-like dark mass m_dark = g_dark · v_dark',
|
|
60
|
-
sources: [yukawaCouplingQ, vacuumExpectationValueQ],
|
|
61
|
-
target: darkFermionMassQ,
|
|
62
|
-
confidence: 'speculative',
|
|
63
|
-
domain: {
|
|
64
|
-
description: 'g_dark and v_dark finite',
|
|
65
|
-
predicate: (i) => isFin(i['yukawa-coupling']) && isFin(i['vacuum-expectation-value']),
|
|
66
|
-
},
|
|
67
|
-
evaluate: (i) => evaluateHiggsMass({
|
|
68
|
-
g_dark: i['yukawa-coupling'],
|
|
69
|
-
v_dark_GeV: i['vacuum-expectation-value'],
|
|
70
|
-
}),
|
|
71
|
-
symbolic: BE18_SYMBOLIC,
|
|
72
|
-
citation: 'Peskin & Schroeder 1995 QFT §20.1',
|
|
73
|
-
};
|
|
74
|
-
/**
|
|
75
|
-
* BE-36 GW170817 graviton-photon speed ratio: gravitational-wave-speed →
|
|
76
|
-
* (c_GW − c)/c. Wraps `evaluateGWSpeedRatio` (c_GW in m/s; returns
|
|
77
|
-
* dimensionless signed ratio).
|
|
78
|
-
*
|
|
79
|
-
* Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
|
|
80
|
-
* export for the 26-edge tranche — root-surface budget decision).
|
|
81
|
-
*/
|
|
82
|
-
export const be36Edge = {
|
|
83
|
-
id: 'be-36',
|
|
84
|
-
beId: 36,
|
|
85
|
-
kind: 'bridge',
|
|
86
|
-
label: 'GW170817 speed ratio (c_GW − c)/c',
|
|
87
|
-
sources: [gravitationalWaveSpeedQ],
|
|
88
|
-
target: gwPhotonSpeedRatioQ,
|
|
89
|
-
confidence: 'speculative',
|
|
90
|
-
domain: {
|
|
91
|
-
description: 'c_GW > 0 and finite',
|
|
92
|
-
predicate: (i) => isFin(i['gravitational-wave-speed']) &&
|
|
93
|
-
i['gravitational-wave-speed'] > 0,
|
|
94
|
-
},
|
|
95
|
-
evaluate: (i) => evaluateGWSpeedRatio({ c_GW_m_per_s: i['gravitational-wave-speed'] }),
|
|
96
|
-
symbolic: BE36_SYMBOLIC,
|
|
97
|
-
citation: 'Abbott et al. 2017 ApJ Lett. 848:L13; Boran et al. 2018 PRD 97:041501',
|
|
98
|
-
};
|
|
99
|
-
/**
|
|
100
|
-
* BE-38 Milgrom MOND force: (newtonian-force, mass, mond-acceleration-scale) →
|
|
101
|
-
* F = F_N·ν(z), z = F_N/(m a_0). Wraps `evaluateMONDForce` (SI; returns N).
|
|
102
|
-
* Reuses the gravitational `mass` node (the test particle's gravitational mass).
|
|
103
|
-
*
|
|
104
|
-
* Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
|
|
105
|
-
* export for the 26-edge tranche — root-surface budget decision).
|
|
106
|
-
*/
|
|
107
|
-
export const be38Edge = {
|
|
108
|
-
id: 'be-38',
|
|
109
|
-
beId: 38,
|
|
110
|
-
kind: 'bridge',
|
|
111
|
-
label: 'MOND force F = F_N·ν(F_N/(m a_0))',
|
|
112
|
-
sources: [newtonianForceQ, massQ, mondAccelerationScaleQ],
|
|
113
|
-
target: mondForceQ,
|
|
114
|
-
confidence: 'speculative',
|
|
115
|
-
domain: {
|
|
116
|
-
description: 'F_N > 0, m > 0, a_0 > 0',
|
|
117
|
-
predicate: (i) => isFin(i['newtonian-force']) &&
|
|
118
|
-
i['newtonian-force'] > 0 &&
|
|
119
|
-
isFin(i['mass']) &&
|
|
120
|
-
i['mass'] > 0 &&
|
|
121
|
-
isFin(i['mond-acceleration-scale']) &&
|
|
122
|
-
i['mond-acceleration-scale'] > 0,
|
|
123
|
-
},
|
|
124
|
-
evaluate: (i) => evaluateMONDForce({
|
|
125
|
-
F_N_newton: i['newtonian-force'],
|
|
126
|
-
m_kg: i['mass'],
|
|
127
|
-
a_0_m_per_s2: i['mond-acceleration-scale'],
|
|
128
|
-
}),
|
|
129
|
-
citation: 'Milgrom 1983 ApJ 270:365; Famaey & McGaugh 2012 Living Rev. Relativity 15:10',
|
|
130
|
-
};
|
|
131
|
-
/**
|
|
132
|
-
* BE-39 asymptotic-safety β_g: (newton-coupling-dimensionless,
|
|
133
|
-
* cosmological-constant-dimensionless, truncation-coefficient-a/b/c) →
|
|
134
|
-
* β_g = 2g + A g² + B g³ − C g²λ. Wraps `evaluateBetaG` (all dimensionless).
|
|
135
|
-
* The module also ships `evaluateBetaLambda`; this edge wraps the β_g branch.
|
|
136
|
-
*
|
|
137
|
-
* Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
|
|
138
|
-
* export for the 26-edge tranche — root-surface budget decision).
|
|
139
|
-
*/
|
|
140
|
-
export const be39Edge = {
|
|
141
|
-
id: 'be-39',
|
|
142
|
-
beId: 39,
|
|
143
|
-
kind: 'bridge',
|
|
144
|
-
label: 'Asymptotic safety β_g = 2g + A g² + B g³ − C g²λ',
|
|
145
|
-
sources: [
|
|
146
|
-
newtonCouplingQ,
|
|
147
|
-
cosmologicalConstantDimensionlessQ,
|
|
148
|
-
truncationCoefficientAQ,
|
|
149
|
-
truncationCoefficientBQ,
|
|
150
|
-
truncationCoefficientCQ,
|
|
151
|
-
],
|
|
152
|
-
target: newtonCouplingBetaQ,
|
|
153
|
-
confidence: 'speculative',
|
|
154
|
-
domain: {
|
|
155
|
-
description: 'g, λ, A, B, C all finite',
|
|
156
|
-
predicate: (i) => isFin(i['newton-coupling-dimensionless']) &&
|
|
157
|
-
isFin(i['cosmological-constant-dimensionless']) &&
|
|
158
|
-
isFin(i['truncation-coefficient-a']) &&
|
|
159
|
-
isFin(i['truncation-coefficient-b']) &&
|
|
160
|
-
isFin(i['truncation-coefficient-c']),
|
|
161
|
-
},
|
|
162
|
-
evaluate: (i) => evaluateBetaG({
|
|
163
|
-
g: i['newton-coupling-dimensionless'],
|
|
164
|
-
lambda: i['cosmological-constant-dimensionless'],
|
|
165
|
-
A: i['truncation-coefficient-a'],
|
|
166
|
-
B: i['truncation-coefficient-b'],
|
|
167
|
-
C: i['truncation-coefficient-c'],
|
|
168
|
-
}),
|
|
169
|
-
citation: 'Reuter 1998 PRD 57:971; Reuter & Weyer 2009 Gen. Rel. Grav. 41:983',
|
|
170
|
-
};
|
|
171
|
-
/**
|
|
172
|
-
* BE-41 Swampland distance conjecture: (reference-mass, swampland-coefficient,
|
|
173
|
-
* scalar-field-value, scalar-field-reference, planck-mass) →
|
|
174
|
-
* m(φ) = m₀ exp(−α|φ−φ₀|/M_P). Wraps `evaluateSwampland` (consistent units;
|
|
175
|
-
* returns same unit as m₀).
|
|
176
|
-
*
|
|
177
|
-
* Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
|
|
178
|
-
* export for the 26-edge tranche — root-surface budget decision).
|
|
179
|
-
*/
|
|
180
|
-
export const be41Edge = {
|
|
181
|
-
id: 'be-41',
|
|
182
|
-
beId: 41,
|
|
183
|
-
kind: 'bridge',
|
|
184
|
-
label: 'Swampland tower mass m(φ) = m₀ exp(−α|φ−φ₀|/M_P)',
|
|
185
|
-
sources: [referenceMassQ, swamplandCoefficientQ, scalarFieldValueQ, scalarFieldReferenceQ, planckMassQ],
|
|
186
|
-
target: swamplandTowerMassQ,
|
|
187
|
-
confidence: 'speculative',
|
|
188
|
-
domain: {
|
|
189
|
-
description: 'm₀ ≥ 0, α/φ/φ₀ finite, M_P > 0',
|
|
190
|
-
predicate: (i) => isFin(i['reference-mass']) &&
|
|
191
|
-
i['reference-mass'] >= 0 &&
|
|
192
|
-
isFin(i['swampland-coefficient']) &&
|
|
193
|
-
isFin(i['scalar-field-value']) &&
|
|
194
|
-
isFin(i['scalar-field-reference']) &&
|
|
195
|
-
isFin(i['planck-mass']) &&
|
|
196
|
-
i['planck-mass'] > 0,
|
|
197
|
-
},
|
|
198
|
-
evaluate: (i) => evaluateSwampland({
|
|
199
|
-
m0: i['reference-mass'],
|
|
200
|
-
alpha: i['swampland-coefficient'],
|
|
201
|
-
phi: i['scalar-field-value'],
|
|
202
|
-
phi0: i['scalar-field-reference'],
|
|
203
|
-
M_P: i['planck-mass'],
|
|
204
|
-
}),
|
|
205
|
-
citation: 'Ooguri & Vafa 2007 Nucl. Phys. B 766:21; Vafa 2005 (hep-th/0509212)',
|
|
206
|
-
};
|
|
207
|
-
//# sourceMappingURL=catalog-fields.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"catalog-fields.js","sourceRoot":"","sources":["../../../src/composition/edges/catalog-fields.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EAAE,aAAa,EAAE,MAAM,oDAAoD,CAAC;AACnF,OAAO,EAAE,oBAAoB,EAAE,MAAM,iDAAiD,CAAC;AACvF,OAAO,EAAE,iBAAiB,EAAE,MAAM,6CAA6C,CAAC;AAChF,OAAO,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,MAAM,4CAA4C,CAAC;AAE/E,OAAO,EACL,kCAAkC,EAClC,yBAAyB,EACzB,gBAAgB,EAChB,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,EACL,sBAAsB,EACtB,UAAU,EACV,mBAAmB,EACnB,eAAe,EACf,eAAe,EACf,WAAW,EACX,cAAc,EACd,qBAAqB,EACrB,iBAAiB,EACjB,mBAAmB,EACnB,qBAAqB,EACrB,mBAAmB,EACnB,yBAAyB,EACzB,uBAAuB,EACvB,uBAAuB,EACvB,uBAAuB,EACvB,uBAAuB,EACvB,eAAe,GAChB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAE5E;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,2CAA2C;IAClD,OAAO,EAAE,CAAC,yBAAyB,EAAE,yBAAyB,CAAC;IAC/D,MAAM,EAAE,mBAAmB;IAC3B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,4DAA4D;QACzE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,qCAAqC,CAAC,CAAC;YAC/C,KAAK,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC;YACtC,CAAC,CAAC,4BAA4B,CAAC,IAAI,CAAC;KACvC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,8BAA8B,CAAC;QAC7B,0BAA0B,EAAE,CAAC,CAAC,qCAAqC,CAAC;QACpE,eAAe,EAAE,CAAC,CAAC,4BAA4B,CAAC;KACjD,CAAC;IACJ,QAAQ,EAAE,mEAAmE;CAC9E,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,+CAA+C;IACtD,OAAO,EAAE,CAAC,eAAe,EAAE,uBAAuB,CAAC;IACnD,MAAM,EAAE,gBAAgB;IACxB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,0BAA0B;QACvC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;KACtE;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,iBAAiB,CAAC;QAChB,MAAM,EAAE,CAAC,CAAC,iBAAiB,CAAC;QAC5B,UAAU,EAAE,CAAC,CAAC,0BAA0B,CAAC;KAC1C,CAAC;IACJ,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,mCAAmC;CAC9C,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,mCAAmC;IAC1C,OAAO,EAAE,CAAC,uBAAuB,CAAC;IAClC,MAAM,EAAE,mBAAmB;IAC3B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,qBAAqB;QAClC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;YACpC,CAAC,CAAC,0BAA0B,CAAC,GAAG,CAAC;KACpC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,oBAAoB,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,0BAA0B,CAAC,EAAE,CAAC;IACvE,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,uEAAuE;CAClF,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,mCAAmC;IAC1C,OAAO,EAAE,CAAC,eAAe,EAAE,KAAK,EAAE,sBAAsB,CAAC;IACzD,MAAM,EAAE,UAAU;IAClB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,yBAAyB;QACtC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC3B,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC;YACxB,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAChB,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YACb,KAAK,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC;YACnC,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC;KACnC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,iBAAiB,CAAC;QAChB,UAAU,EAAE,CAAC,CAAC,iBAAiB,CAAC;QAChC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QACf,YAAY,EAAE,CAAC,CAAC,yBAAyB,CAAC;KAC3C,CAAC;IACJ,QAAQ,EAAE,8EAA8E;CACzF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,kDAAkD;IACzD,OAAO,EAAE;QACP,eAAe;QACf,kCAAkC;QAClC,uBAAuB;QACvB,uBAAuB;QACvB,uBAAuB;KACxB;IACD,MAAM,EAAE,mBAAmB;IAC3B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,0BAA0B;QACvC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC;YACzC,KAAK,CAAC,CAAC,CAAC,qCAAqC,CAAC,CAAC;YAC/C,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;YACpC,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;YACpC,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;KACvC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,aAAa,CAAC;QACZ,CAAC,EAAE,CAAC,CAAC,+BAA+B,CAAC;QACrC,MAAM,EAAE,CAAC,CAAC,qCAAqC,CAAC;QAChD,CAAC,EAAE,CAAC,CAAC,0BAA0B,CAAC;QAChC,CAAC,EAAE,CAAC,CAAC,0BAA0B,CAAC;QAChC,CAAC,EAAE,CAAC,CAAC,0BAA0B,CAAC;KACjC,CAAC;IACJ,QAAQ,EAAE,oEAAoE;CAC/E,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,kDAAkD;IACzD,OAAO,EAAE,CAAC,cAAc,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,WAAW,CAAC;IACvG,MAAM,EAAE,mBAAmB;IAC3B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,gCAAgC;QAC7C,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC1B,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACxB,KAAK,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;YACjC,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC;YAClC,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YACvB,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC;KACvB;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,iBAAiB,CAAC;QAChB,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC;QACvB,KAAK,EAAE,CAAC,CAAC,uBAAuB,CAAC;QACjC,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC5B,IAAI,EAAE,CAAC,CAAC,wBAAwB,CAAC;QACjC,GAAG,EAAE,CAAC,CAAC,aAAa,CAAC;KACtB,CAAC;IACJ,QAAQ,EAAE,qEAAqE;CAChF,CAAC"}
|
|
@@ -1,43 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Catalog-full edges — the v0.11 headline: migrate the remaining catalog
|
|
3
|
-
* bridges (those with a USABLE numerical evaluator) to composition-graph
|
|
4
|
-
* `BridgeEdge`s, extending the v0.8.0 calibration + v0.10.0 catalog-tranche
|
|
5
|
-
* sets. Each edge wraps an EXISTING validated catalog evaluator (the catalog
|
|
6
|
-
* stays authoritative — design D-4) and carries a first-class validity
|
|
7
|
-
* domain (G-8) mirroring exactly what the wrapped evaluator enforces.
|
|
8
|
-
*
|
|
9
|
-
* Quantity-name discipline (v0.11 namespacing gate, Option D): every node is
|
|
10
|
-
* defined ONCE in `src/composition/quantities.ts`. Where the physics matches
|
|
11
|
-
* an existing canonical node we REUSE it (`relaxation-rate`, `decoherence-rate`,
|
|
12
|
-
* `temperature`, `mass`, `mass-density`); where the name would collide but the
|
|
13
|
-
* physics DIFFERS we pick a distinct name — e.g. BE-23/BE-26 carrier/proton
|
|
14
|
-
* masses become `effective-mass` / `tunneling-mass`, NOT the gravitational
|
|
15
|
-
* `mass`. BE-13 and BE-31 share the `ricci-scalar` target (both produce the
|
|
16
|
-
* scalar curvature R [L⁻²]).
|
|
17
|
-
*
|
|
18
|
-
* NOT-A-BRIDGE entries — NO edges in this array (per src/bridges/rejected.ts
|
|
19
|
-
* REJECTED_BRIDGE_IDS): BE-28 (Onsager/MEPP), BE-29 (Jarzynski), BE-32
|
|
20
|
-
* (quantum reference frames), BE-35 (conformal bootstrap), BE-40 (composite
|
|
21
|
-
* Higgs). Rejected adjudications are not bridges. BE-40's proved potential
|
|
22
|
-
* is a law edge in `proved-seeds.ts`, outside this array: the rejection is
|
|
23
|
-
* the single-regime adjudication, and the theorem still states V(h).
|
|
24
|
-
*
|
|
25
|
-
* Other skips (no scalar-Record evaluator): BE-44 soft-hair — its evaluator
|
|
26
|
-
* `evaluateBE44SoftHairCharge` takes a `number[]` news-sample array + grid
|
|
27
|
-
* spacing, not a `Record<string, number>` of scalar quantities, so it cannot
|
|
28
|
-
* be lowered onto the (sources → scalars) edge contract without an array
|
|
29
|
-
* quantity primitive the graph does not yet have.
|
|
30
|
-
*
|
|
31
|
-
* @module composition/edges/catalog-full
|
|
32
|
-
*/
|
|
33
|
-
import type { BridgeEdge } from '../edge.js';
|
|
34
|
-
export { be11Edge, be13Edge, be24Edge, be25Edge, be26Edge, be49Edge, be50Edge, } from './catalog-quantum.js';
|
|
35
|
-
export { be20Edge, be30Edge, be31Edge, be43Edge, be45Edge, be46Edge, be47Edge, } from './catalog-gravitation-cosmology.js';
|
|
36
|
-
export { be17Edge, be18Edge, be36Edge, be38Edge, be39Edge, be41Edge, } from './catalog-fields.js';
|
|
37
|
-
export { be15Edge, be22Edge, be23Edge, be27Edge, be33Edge, be34Edge, } from './catalog-condensed-matter.js';
|
|
38
|
-
/**
|
|
39
|
-
* All catalog-full edges, in catalog-id order. Convenience array for the
|
|
40
|
-
* drift-guard test and downstream graph assembly. @public
|
|
41
|
-
*/
|
|
42
|
-
export declare const CATALOG_FULL_EDGES: readonly BridgeEdge[];
|
|
43
|
-
//# sourceMappingURL=catalog-full.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"catalog-full.d.ts","sourceRoot":"","sources":["../../../src/composition/edges/catalog-full.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAoC7C,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,+BAA+B,CAAC;AAEvC;;;GAGG;AACH,eAAO,MAAM,kBAAkB,EAAE,SAAS,UAAU,EA2BnD,CAAC"}
|