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,559 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Calibration edges — catalog-backed `BridgeEdge` wrappers for the
|
|
3
|
-
* v0.8.0 pre-registered composition targets (CT-1, CT-1b, CT-2; see
|
|
4
|
-
* docs/planning/v0.8.0-Design.md §2).
|
|
5
|
-
*
|
|
6
|
-
* Each edge wraps an EXISTING catalog evaluator (the catalog stays
|
|
7
|
-
* authoritative — design D-4) and carries the first-class validity
|
|
8
|
-
* domain the catalog previously kept only as prose (G-8).
|
|
9
|
-
*
|
|
10
|
-
* `lawSchwarzschildRadius` is the first diagonal-law edge (P-1):
|
|
11
|
-
* BE-1–10 laws are not individually catalogued, but composition chains
|
|
12
|
-
* need them as connective tissue — its endpoints SHARE regime
|
|
13
|
-
* attributes (classical/gravitational), the complement of the bridge
|
|
14
|
-
* criterion.
|
|
15
|
-
*
|
|
16
|
-
* @module composition/edges/calibration
|
|
17
|
-
*/
|
|
18
|
-
import { C_SI, G_SI, HBAR_SI, K_B_SI, M_SUN_SI } from '../../core/constants.js';
|
|
19
|
-
import { ACTION, DIMENSIONLESS, FREQUENCY, LENGTH, MASS, TEMPERATURE, VELOCITY, } from '../../dimensional/types.js';
|
|
20
|
-
import { sym } from '../../dimensional/ast-builders.js';
|
|
21
|
-
import { evaluateHawkingTemperature } from '../../bridges/equations/be-42-hawking-temperature.js';
|
|
22
|
-
import { evaluateDecoherenceRate } from '../../bridges/equations/be-11-decoherence-master.js';
|
|
23
|
-
import { evaluateThermalDeBroglie } from '../../bridges/equations/be-12-coherence-length.js';
|
|
24
|
-
import { evaluateShapiroDelay } from '../../bridges/equations/be-37-shapiro-delay.js';
|
|
25
|
-
import { evaluateLandauerEnergy } from '../../bridges/equations/be-16-landauer.js';
|
|
26
|
-
import { evaluateGravitationalLensing } from '../../bridges/gravitational-lensing.js';
|
|
27
|
-
import { evaluatePerihelionPrecession } from '../../bridges/perihelion-precession.js';
|
|
28
|
-
// The row is authoritative (design D-4), so the edge does not restate the
|
|
29
|
-
// regime — it carries THE SAME object. Agreement is then structural, not a
|
|
30
|
-
// copy two tests have to keep in step.
|
|
31
|
-
import { BE37_REGIME, BE51_REGIME, BE52_REGIME } from '../../bridges/index.js';
|
|
32
|
-
import { decoherenceRateQ, deflectionAngleQ, eccentricityQ, erasureEnergyQ, farRadiusQ, hawkingTemperatureQ, impactParameterQ, massQ, nearRadiusQ, perihelionAdvanceQ, relaxationRateQ, schwarzschildRadiusQ, semiMajorAxisQ, shapiroDelayQ, superpositionExtentQ, temperatureQ, thermalDeBroglieQ, } from '../quantities.js';
|
|
33
|
-
/**
|
|
34
|
-
* Solar mass (kg) — alias of `M_SUN_SI` from `src/core/constants.ts`
|
|
35
|
-
* (promoted there in the v0.8.0 punch-list; this re-export keeps the
|
|
36
|
-
* original public name stable).
|
|
37
|
-
*
|
|
38
|
-
* @public
|
|
39
|
-
*/
|
|
40
|
-
export const M_SUN_KG = M_SUN_SI;
|
|
41
|
-
/** s⁻¹: frequency/rate dimension, local alias for readability. */
|
|
42
|
-
const FREQUENCY_DIM = FREQUENCY;
|
|
43
|
-
/** Joule: energy dimension, local alias for readability. */
|
|
44
|
-
const ENERGY_DIM = { L: 2, M: 1, T: -2, I: 0, Theta: 0, N: 0, J: 0 };
|
|
45
|
-
// --- Symbolic forms (v0.12 symbolic composition) ---
|
|
46
|
-
// Leaf symbols are source-quantity NAMES (graph vocabulary) or registered
|
|
47
|
-
// CONSTANTS tokens (symbolic-constants.ts). Every constant power is `^` with
|
|
48
|
-
// an integer exponent symbol (Eve EVE-3); '2'/'3' are dimensionless literals
|
|
49
|
-
// resolved via Number(). Each constant leaf's dim matches CONSTANTS[name].dim
|
|
50
|
-
// and each quantity leaf's dim matches its Quantity.dim (Adam A-6 / Eve EVE-5)
|
|
51
|
-
// — both pinned by symbolic-composition.test.ts. A drift-guard test binds each
|
|
52
|
-
// symbolic form to the edge's numeric `evaluate`.
|
|
53
|
-
const GRAV_DIM = { L: 3, M: -1, T: -2, I: 0, Theta: 0, N: 0, J: 0 };
|
|
54
|
-
const BOLTZMANN_DIM = { L: 2, M: 1, T: -2, I: 0, Theta: -1, N: 0, J: 0 };
|
|
55
|
-
/** T_H = ℏ·c³ / (8π·G·mass·k_B). */
|
|
56
|
-
const BE42_SYMBOLIC = {
|
|
57
|
-
kind: 'op',
|
|
58
|
-
op: '/',
|
|
59
|
-
args: [
|
|
60
|
-
{
|
|
61
|
-
kind: 'op',
|
|
62
|
-
op: '*',
|
|
63
|
-
args: [
|
|
64
|
-
sym('hbar', ACTION),
|
|
65
|
-
{ kind: 'op', op: '^', args: [sym('c', VELOCITY), sym('3', DIMENSIONLESS)] },
|
|
66
|
-
],
|
|
67
|
-
},
|
|
68
|
-
{
|
|
69
|
-
kind: 'op',
|
|
70
|
-
op: '*',
|
|
71
|
-
args: [
|
|
72
|
-
{
|
|
73
|
-
kind: 'op',
|
|
74
|
-
op: '*',
|
|
75
|
-
args: [
|
|
76
|
-
{ kind: 'op', op: '*', args: [sym('8pi', DIMENSIONLESS), sym('G', GRAV_DIM)] },
|
|
77
|
-
sym('mass', MASS),
|
|
78
|
-
],
|
|
79
|
-
},
|
|
80
|
-
sym('k_B', BOLTZMANN_DIM),
|
|
81
|
-
],
|
|
82
|
-
},
|
|
83
|
-
],
|
|
84
|
-
};
|
|
85
|
-
/** Γ_dec = γ_relax (Δx / λ_T)². The λ_T leaf is the CT-3 junction. */
|
|
86
|
-
const BE11_ZUREK_SYMBOLIC = {
|
|
87
|
-
kind: 'op',
|
|
88
|
-
op: '*',
|
|
89
|
-
args: [
|
|
90
|
-
sym('relaxation-rate', FREQUENCY),
|
|
91
|
-
{
|
|
92
|
-
kind: 'op',
|
|
93
|
-
op: '^',
|
|
94
|
-
args: [
|
|
95
|
-
{
|
|
96
|
-
kind: 'op',
|
|
97
|
-
op: '/',
|
|
98
|
-
args: [
|
|
99
|
-
sym('superposition-extent', LENGTH),
|
|
100
|
-
sym('thermal-de-broglie-wavelength', LENGTH),
|
|
101
|
-
],
|
|
102
|
-
},
|
|
103
|
-
sym('2', DIMENSIONLESS),
|
|
104
|
-
],
|
|
105
|
-
},
|
|
106
|
-
],
|
|
107
|
-
};
|
|
108
|
-
/** Δφ = 6π G mass / (a (1 − e²) c²). */
|
|
109
|
-
const BE52_SYMBOLIC = {
|
|
110
|
-
kind: 'op',
|
|
111
|
-
op: '/',
|
|
112
|
-
args: [
|
|
113
|
-
{
|
|
114
|
-
kind: 'op',
|
|
115
|
-
op: '*',
|
|
116
|
-
args: [sym('6pi', DIMENSIONLESS), sym('G', GRAV_DIM), sym('mass', MASS)],
|
|
117
|
-
},
|
|
118
|
-
{
|
|
119
|
-
kind: 'op',
|
|
120
|
-
op: '*',
|
|
121
|
-
args: [
|
|
122
|
-
{ kind: 'op', op: '^', args: [sym('c', VELOCITY), sym('2', DIMENSIONLESS)] },
|
|
123
|
-
sym('semi-major-axis', LENGTH),
|
|
124
|
-
{
|
|
125
|
-
kind: 'op',
|
|
126
|
-
op: '-',
|
|
127
|
-
args: [
|
|
128
|
-
sym('1', DIMENSIONLESS),
|
|
129
|
-
{
|
|
130
|
-
kind: 'op',
|
|
131
|
-
op: '^',
|
|
132
|
-
args: [sym('eccentricity', DIMENSIONLESS), sym('2', DIMENSIONLESS)],
|
|
133
|
-
},
|
|
134
|
-
],
|
|
135
|
-
},
|
|
136
|
-
],
|
|
137
|
-
},
|
|
138
|
-
],
|
|
139
|
-
};
|
|
140
|
-
/** E_min = k_B · temperature · ln2. */
|
|
141
|
-
const BE16_SYMBOLIC = {
|
|
142
|
-
kind: 'op',
|
|
143
|
-
op: '*',
|
|
144
|
-
args: [
|
|
145
|
-
{ kind: 'op', op: '*', args: [sym('k_B', BOLTZMANN_DIM), sym('temperature', TEMPERATURE)] },
|
|
146
|
-
sym('ln2', DIMENSIONLESS),
|
|
147
|
-
],
|
|
148
|
-
};
|
|
149
|
-
/** r_s = 2·G·mass / c². */
|
|
150
|
-
const SCHWARZSCHILD_SYMBOLIC = {
|
|
151
|
-
kind: 'op',
|
|
152
|
-
op: '/',
|
|
153
|
-
args: [
|
|
154
|
-
{
|
|
155
|
-
kind: 'op',
|
|
156
|
-
op: '*',
|
|
157
|
-
args: [
|
|
158
|
-
{ kind: 'op', op: '*', args: [sym('2', DIMENSIONLESS), sym('G', GRAV_DIM)] },
|
|
159
|
-
sym('mass', MASS),
|
|
160
|
-
],
|
|
161
|
-
},
|
|
162
|
-
{ kind: 'op', op: '^', args: [sym('c', VELOCITY), sym('2', DIMENSIONLESS)] },
|
|
163
|
-
],
|
|
164
|
-
};
|
|
165
|
-
/** T_H = ℏ·c / (4π·k_B·schwarzschild-radius). */
|
|
166
|
-
const BE42_VIA_RS_SYMBOLIC = {
|
|
167
|
-
kind: 'op',
|
|
168
|
-
op: '/',
|
|
169
|
-
args: [
|
|
170
|
-
{ kind: 'op', op: '*', args: [sym('hbar', ACTION), sym('c', VELOCITY)] },
|
|
171
|
-
{
|
|
172
|
-
kind: 'op',
|
|
173
|
-
op: '*',
|
|
174
|
-
args: [
|
|
175
|
-
{ kind: 'op', op: '*', args: [sym('4pi', DIMENSIONLESS), sym('k_B', BOLTZMANN_DIM)] },
|
|
176
|
-
sym('schwarzschild-radius', LENGTH),
|
|
177
|
-
],
|
|
178
|
-
},
|
|
179
|
-
],
|
|
180
|
-
};
|
|
181
|
-
/** α = 4·G·mass / (impact-parameter·c²). */
|
|
182
|
-
const BE51_SYMBOLIC = {
|
|
183
|
-
kind: 'op',
|
|
184
|
-
op: '/',
|
|
185
|
-
args: [
|
|
186
|
-
{
|
|
187
|
-
kind: 'op',
|
|
188
|
-
op: '*',
|
|
189
|
-
args: [
|
|
190
|
-
{ kind: 'op', op: '*', args: [sym('4', DIMENSIONLESS), sym('G', GRAV_DIM)] },
|
|
191
|
-
sym('mass', MASS),
|
|
192
|
-
],
|
|
193
|
-
},
|
|
194
|
-
{
|
|
195
|
-
kind: 'op',
|
|
196
|
-
op: '*',
|
|
197
|
-
args: [
|
|
198
|
-
sym('impact-parameter', LENGTH),
|
|
199
|
-
{ kind: 'op', op: '^', args: [sym('c', VELOCITY), sym('2', DIMENSIONLESS)] },
|
|
200
|
-
],
|
|
201
|
-
},
|
|
202
|
-
],
|
|
203
|
-
};
|
|
204
|
-
/** λ_T = h / (2π·mass·k_B·temperature)^(1/2). The fractional exponent (√) is
|
|
205
|
-
* expressible because the `^` operator + dimension algebra already support
|
|
206
|
-
* rational exponents on a dimensionful base (only the `transcendental` sqrt fn
|
|
207
|
-
* was deferred). Drift-guarded against `evaluateThermalDeBroglie`. */
|
|
208
|
-
const BE12_SYMBOLIC = {
|
|
209
|
-
kind: 'op',
|
|
210
|
-
op: '/',
|
|
211
|
-
args: [
|
|
212
|
-
sym('h', ACTION),
|
|
213
|
-
{
|
|
214
|
-
kind: 'op',
|
|
215
|
-
op: '^',
|
|
216
|
-
args: [
|
|
217
|
-
{
|
|
218
|
-
kind: 'op',
|
|
219
|
-
op: '*',
|
|
220
|
-
args: [
|
|
221
|
-
sym('2pi', DIMENSIONLESS),
|
|
222
|
-
sym('mass', MASS),
|
|
223
|
-
sym('k_B', BOLTZMANN_DIM),
|
|
224
|
-
sym('temperature', TEMPERATURE),
|
|
225
|
-
],
|
|
226
|
-
},
|
|
227
|
-
sym('0.5', DIMENSIONLESS),
|
|
228
|
-
],
|
|
229
|
-
},
|
|
230
|
-
],
|
|
231
|
-
};
|
|
232
|
-
// --- Quantity nodes ---
|
|
233
|
-
// --- Edges ---
|
|
234
|
-
/**
|
|
235
|
-
* BE-42 Hawking temperature as a graph edge: mass → hawking-temperature.
|
|
236
|
-
* Endpoints differ in `scale` (classical → quantum): a bridge under the
|
|
237
|
-
* graph-native criterion — the mechanical resolution of the deferred
|
|
238
|
-
* BE-42 NOT-A-BRIDGE dispute.
|
|
239
|
-
*
|
|
240
|
-
* @public
|
|
241
|
-
*/
|
|
242
|
-
export const be42Edge = {
|
|
243
|
-
id: 'be-42',
|
|
244
|
-
beId: 42,
|
|
245
|
-
kind: 'bridge',
|
|
246
|
-
label: 'Hawking temperature T_H = ℏc³/(8πGMk_B)',
|
|
247
|
-
sources: [massQ],
|
|
248
|
-
target: hawkingTemperatureQ,
|
|
249
|
-
confidence: 'highly-speculative',
|
|
250
|
-
domain: {
|
|
251
|
-
description: 'M > 0 and finite (positive black-hole mass)',
|
|
252
|
-
predicate: (i) => Number.isFinite(i['mass']) && i['mass'] > 0,
|
|
253
|
-
},
|
|
254
|
-
aliases: { mass: ['M_kg'] },
|
|
255
|
-
evaluate: (i) => evaluateHawkingTemperature({ M_kg: i['mass'] }),
|
|
256
|
-
symbolic: BE42_SYMBOLIC,
|
|
257
|
-
citation: 'Hawking 1975 CMP 43:199',
|
|
258
|
-
};
|
|
259
|
-
/**
|
|
260
|
-
* BE-16 Landauer bound as a graph edge: temperature → erasure energy.
|
|
261
|
-
* Endpoints differ in stated axes (thermal/classical → information):
|
|
262
|
-
* a bridge.
|
|
263
|
-
*
|
|
264
|
-
* @public
|
|
265
|
-
*/
|
|
266
|
-
export const be16Edge = {
|
|
267
|
-
id: 'be-16',
|
|
268
|
-
beId: 16,
|
|
269
|
-
kind: 'bridge',
|
|
270
|
-
label: "Landauer's bound E_min = k_B T ln2",
|
|
271
|
-
sources: [temperatureQ],
|
|
272
|
-
target: erasureEnergyQ,
|
|
273
|
-
confidence: 'speculative',
|
|
274
|
-
domain: {
|
|
275
|
-
description: 'T ≥ 0 and finite (thermodynamic temperature)',
|
|
276
|
-
predicate: (i) => Number.isFinite(i['temperature']) && i['temperature'] >= 0,
|
|
277
|
-
},
|
|
278
|
-
aliases: { temperature: ['temperature_K'] },
|
|
279
|
-
evaluate: (i) => evaluateLandauerEnergy({ temperature_K: i['temperature'] }),
|
|
280
|
-
symbolic: BE16_SYMBOLIC,
|
|
281
|
-
citation: 'Landauer 1961 IBM JRD 5:183',
|
|
282
|
-
};
|
|
283
|
-
/**
|
|
284
|
-
* Diagonal-law edge (P-1): Schwarzschild radius r_s = 2GM/c². Endpoints
|
|
285
|
-
* share regime attributes (classical/gravitational) — a law, not a
|
|
286
|
-
* bridge. `beId: null`: the GR diagonal is not individually catalogued.
|
|
287
|
-
*
|
|
288
|
-
* @public
|
|
289
|
-
*/
|
|
290
|
-
export const lawSchwarzschildRadius = {
|
|
291
|
-
id: 'law-schwarzschild-radius',
|
|
292
|
-
beId: null,
|
|
293
|
-
kind: 'law',
|
|
294
|
-
label: 'Schwarzschild radius r_s = 2GM/c²',
|
|
295
|
-
sources: [massQ],
|
|
296
|
-
target: schwarzschildRadiusQ,
|
|
297
|
-
confidence: 'established',
|
|
298
|
-
domain: {
|
|
299
|
-
description: 'M > 0 and finite',
|
|
300
|
-
predicate: (i) => Number.isFinite(i['mass']) && i['mass'] > 0,
|
|
301
|
-
},
|
|
302
|
-
evaluate: (i) => (2 * G_SI * i['mass']) / (C_SI * C_SI),
|
|
303
|
-
symbolic: SCHWARZSCHILD_SYMBOLIC,
|
|
304
|
-
citation: 'Schwarzschild 1916; Carroll 2004 Spacetime and Geometry §5.4',
|
|
305
|
-
};
|
|
306
|
-
/**
|
|
307
|
-
* BE-42 re-parameterized through the horizon radius:
|
|
308
|
-
* T_H = ℏc/(4π k_B r_s) — algebraically identical to the M-form under
|
|
309
|
-
* r_s = 2GM/c² (verified in the Adam vet, checklist 4). Used by the
|
|
310
|
-
* CT-1b three-edge chain to demonstrate laws as connective tissue.
|
|
311
|
-
*
|
|
312
|
-
* @public
|
|
313
|
-
*/
|
|
314
|
-
export const be42ViaRsEdge = {
|
|
315
|
-
id: 'be-42-via-rs',
|
|
316
|
-
beId: 42,
|
|
317
|
-
kind: 'bridge',
|
|
318
|
-
label: 'Hawking temperature T_H = ℏc/(4π k_B r_s)',
|
|
319
|
-
sources: [schwarzschildRadiusQ],
|
|
320
|
-
target: hawkingTemperatureQ,
|
|
321
|
-
confidence: 'highly-speculative',
|
|
322
|
-
domain: {
|
|
323
|
-
description: 'r_s > 0 and finite',
|
|
324
|
-
predicate: (i) => Number.isFinite(i['schwarzschild-radius']) && i['schwarzschild-radius'] > 0,
|
|
325
|
-
},
|
|
326
|
-
evaluate: (i) => (HBAR_SI * C_SI) / (4 * Math.PI * K_B_SI * i['schwarzschild-radius']),
|
|
327
|
-
symbolic: BE42_VIA_RS_SYMBOLIC,
|
|
328
|
-
citation: 'Hawking 1975 CMP 43:199 (r_s parameterization)',
|
|
329
|
-
};
|
|
330
|
-
/**
|
|
331
|
-
* BE-51 Eddington lensing as a graph edge: (mass, impact-parameter) →
|
|
332
|
-
* deflection angle. Wraps the v0.4.0 evaluator, extracting `alpha_rad`
|
|
333
|
-
* from its result object (Adam A-10).
|
|
334
|
-
*
|
|
335
|
-
* @public
|
|
336
|
-
*/
|
|
337
|
-
export const be51Edge = {
|
|
338
|
-
id: 'be-51',
|
|
339
|
-
beId: 51,
|
|
340
|
-
kind: 'bridge',
|
|
341
|
-
label: 'Gravitational lensing α = 4GM/(bc²)',
|
|
342
|
-
sources: [massQ, impactParameterQ],
|
|
343
|
-
target: deflectionAngleQ,
|
|
344
|
-
confidence: 'established',
|
|
345
|
-
domain: {
|
|
346
|
-
description: 'M > 0, b > 0, and weak field b ≥ 10·r_s',
|
|
347
|
-
predicate: (i) => Number.isFinite(i['mass']) &&
|
|
348
|
-
i['mass'] > 0 &&
|
|
349
|
-
Number.isFinite(i['impact-parameter']) &&
|
|
350
|
-
i['impact-parameter'] > 0 &&
|
|
351
|
-
i['impact-parameter'] >= (10 * 2 * G_SI * i['mass']) / (C_SI * C_SI),
|
|
352
|
-
},
|
|
353
|
-
evaluate: (i) => evaluateGravitationalLensing({ M_kg: i['mass'], b_m: i['impact-parameter'] })
|
|
354
|
-
.alpha_rad,
|
|
355
|
-
symbolic: BE51_SYMBOLIC,
|
|
356
|
-
citation: 'Dyson, Eddington & Davidson 1920 Phil. Trans. R. Soc. A 220:291',
|
|
357
|
-
// -- Atlas Phase 1 overlay: mirrors BRIDGE_EQUATIONS' row, which carries the
|
|
358
|
-
// full '// source:' citation. tests/atlas/audited-catalog.test.ts deep-equals
|
|
359
|
-
// the two, so this copy cannot silently drift from the row.
|
|
360
|
-
relation: {
|
|
361
|
-
type: 'derivation',
|
|
362
|
-
transformation: 'Schwarzschild null geodesic with impact parameter b -> total deflection ' +
|
|
363
|
-
'angle at first order in GM/(b c^2): alpha = 4GM/(b c^2)',
|
|
364
|
-
},
|
|
365
|
-
// The `domain` predicate above stays exactly as it is (design note §1): it
|
|
366
|
-
// encodes positivity, which no pi-group captures, and its own b >= 10 r_s
|
|
367
|
-
// cut. The regime is the ADDITIONAL, machine-readable weak-field claim.
|
|
368
|
-
regime: BE51_REGIME,
|
|
369
|
-
};
|
|
370
|
-
/**
|
|
371
|
-
* BE-52 perihelion precession as a graph edge: (mass, semi-major-axis,
|
|
372
|
-
* eccentricity) → advance per orbit. Wraps the v0.4.0 evaluator,
|
|
373
|
-
* extracting `dphi_rad_per_orbit`; forwards `T_yr: 1` — the evaluator
|
|
374
|
-
* requires a positive period but the per-orbit advance does not use it
|
|
375
|
-
* (Adam A-10).
|
|
376
|
-
*
|
|
377
|
-
* @public
|
|
378
|
-
*/
|
|
379
|
-
export const be52Edge = {
|
|
380
|
-
id: 'be-52',
|
|
381
|
-
beId: 52,
|
|
382
|
-
kind: 'bridge',
|
|
383
|
-
label: 'Perihelion precession Δφ = 6πGM/(a(1−e²)c²)',
|
|
384
|
-
sources: [massQ, semiMajorAxisQ, eccentricityQ],
|
|
385
|
-
target: perihelionAdvanceQ,
|
|
386
|
-
confidence: 'established',
|
|
387
|
-
domain: {
|
|
388
|
-
description: 'M > 0, a > 0, 0 ≤ e < 1 (bound elliptical orbit)',
|
|
389
|
-
predicate: (i) => Number.isFinite(i['mass']) &&
|
|
390
|
-
i['mass'] > 0 &&
|
|
391
|
-
Number.isFinite(i['semi-major-axis']) &&
|
|
392
|
-
i['semi-major-axis'] > 0 &&
|
|
393
|
-
Number.isFinite(i['eccentricity']) &&
|
|
394
|
-
i['eccentricity'] >= 0 &&
|
|
395
|
-
i['eccentricity'] < 1,
|
|
396
|
-
},
|
|
397
|
-
evaluate: (i) => evaluatePerihelionPrecession({
|
|
398
|
-
M_kg: i['mass'],
|
|
399
|
-
a_m: i['semi-major-axis'],
|
|
400
|
-
e: i['eccentricity'],
|
|
401
|
-
T_yr: 1,
|
|
402
|
-
}).dphi_rad_per_orbit,
|
|
403
|
-
symbolic: BE52_SYMBOLIC,
|
|
404
|
-
citation: 'Einstein 1915 Preuss. Akad. Wiss. 831',
|
|
405
|
-
// -- Atlas Phase 1 overlay: mirrors BRIDGE_EQUATIONS' row, which carries the
|
|
406
|
-
// full '// source:' citation. tests/atlas/audited-catalog.test.ts deep-equals
|
|
407
|
-
// the two, so this copy cannot silently drift from the row.
|
|
408
|
-
relation: {
|
|
409
|
-
type: 'derivation',
|
|
410
|
-
transformation: 'Schwarzschild timelike geodesic for a bound orbit (a, e) -> perihelion ' +
|
|
411
|
-
'advance per orbit at first post-Newtonian order: Delta phi = ' +
|
|
412
|
-
'6 pi GM/(a(1-e^2) c^2)',
|
|
413
|
-
},
|
|
414
|
-
// Additional to `domain`, never a replacement for it — see be51Edge.
|
|
415
|
-
regime: BE52_REGIME,
|
|
416
|
-
};
|
|
417
|
-
// --- CT-3 (C1) edges — registered in v0.8.0-Design.md §9 BEFORE this code ---
|
|
418
|
-
/**
|
|
419
|
-
* BE-12 thermal de Broglie wavelength as a graph edge:
|
|
420
|
-
* (mass, temperature) → λ_T. Endpoints differ in `scale`
|
|
421
|
-
* (classical inputs → quantum length): a bridge.
|
|
422
|
-
*
|
|
423
|
-
* @public
|
|
424
|
-
*/
|
|
425
|
-
export const be12Edge = {
|
|
426
|
-
id: 'be-12',
|
|
427
|
-
beId: 12,
|
|
428
|
-
kind: 'bridge',
|
|
429
|
-
label: 'Thermal de Broglie wavelength λ_T = √(2πℏ²/(m k_B T))',
|
|
430
|
-
sources: [massQ, temperatureQ],
|
|
431
|
-
target: thermalDeBroglieQ,
|
|
432
|
-
confidence: 'speculative',
|
|
433
|
-
domain: {
|
|
434
|
-
description: 'm > 0 and T > 0 (massive particle, finite temperature)',
|
|
435
|
-
predicate: (i) => Number.isFinite(i['mass']) &&
|
|
436
|
-
i['mass'] > 0 &&
|
|
437
|
-
Number.isFinite(i['temperature']) &&
|
|
438
|
-
i['temperature'] > 0,
|
|
439
|
-
},
|
|
440
|
-
evaluate: (i) => evaluateThermalDeBroglie({ m_kg: i['mass'], T_K: i['temperature'] }),
|
|
441
|
-
symbolic: BE12_SYMBOLIC,
|
|
442
|
-
citation: 'Pathria 2011 Statistical Mechanics §7.1; de Broglie 1924',
|
|
443
|
-
};
|
|
444
|
-
/**
|
|
445
|
-
* BE-11's Caldeira-Leggett quadratic-coupling rate γ₀·(λ/λ₀)²
|
|
446
|
-
* realized for SPATIAL superpositions: the reference coupling λ₀ IS
|
|
447
|
-
* the thermal de Broglie wavelength (the CT-3 physics judgment —
|
|
448
|
-
* Zurek 1991 Phys. Today 44(10):36; Zurek 2003 RMP 75:715 §III.E).
|
|
449
|
-
* Γ_dec = γ_relax · (Δx/λ_T)².
|
|
450
|
-
*
|
|
451
|
-
* @public
|
|
452
|
-
*/
|
|
453
|
-
export const be11ZurekEdge = {
|
|
454
|
-
id: 'be-11-zurek',
|
|
455
|
-
beId: 11,
|
|
456
|
-
kind: 'bridge',
|
|
457
|
-
label: 'Zurek/CL spatial decoherence rate Γ_dec = γ_relax (Δx/λ_T)²',
|
|
458
|
-
sources: [relaxationRateQ, superpositionExtentQ, thermalDeBroglieQ],
|
|
459
|
-
target: decoherenceRateQ,
|
|
460
|
-
confidence: 'established',
|
|
461
|
-
domain: {
|
|
462
|
-
description: 'γ_relax ≥ 0, Δx > 0, λ_T > 0',
|
|
463
|
-
predicate: (i) => Number.isFinite(i['relaxation-rate']) &&
|
|
464
|
-
i['relaxation-rate'] >= 0 &&
|
|
465
|
-
Number.isFinite(i['superposition-extent']) &&
|
|
466
|
-
i['superposition-extent'] > 0 &&
|
|
467
|
-
Number.isFinite(i['thermal-de-broglie-wavelength']) &&
|
|
468
|
-
i['thermal-de-broglie-wavelength'] > 0,
|
|
469
|
-
},
|
|
470
|
-
evaluate: (i) => evaluateDecoherenceRate({
|
|
471
|
-
gamma0_per_s: i['relaxation-rate'],
|
|
472
|
-
lambda: i['superposition-extent'],
|
|
473
|
-
lambda0: i['thermal-de-broglie-wavelength'],
|
|
474
|
-
}),
|
|
475
|
-
symbolic: BE11_ZUREK_SYMBOLIC,
|
|
476
|
-
citation: 'Caldeira & Leggett 1983 Physica A 121:587; Zurek 1991 Phys. Today 44(10):36',
|
|
477
|
-
// -- Atlas Phase 1 overlay: mirrors BRIDGE_EQUATIONS' BE-11 row, which carries
|
|
478
|
-
// the full '// source:' citation. tests/atlas/audited-catalog.test.ts
|
|
479
|
-
// deep-equals the two, so this copy cannot silently drift from the row.
|
|
480
|
-
relation: {
|
|
481
|
-
type: 'coarse-graining',
|
|
482
|
-
transformation: 'rho_total on (system (x) environment) -> rho = Tr_env rho_total, under ' +
|
|
483
|
-
'Born-Markov (weak coupling; environment correlation time << system ' +
|
|
484
|
-
'relaxation time)',
|
|
485
|
-
},
|
|
486
|
-
};
|
|
487
|
-
// --- CT-4 (C5 completion) edge — registered in v0.8.0-Design.md §10 BEFORE this code ---
|
|
488
|
-
const BE37_SYMBOLIC = {
|
|
489
|
-
kind: 'op',
|
|
490
|
-
op: '*',
|
|
491
|
-
args: [
|
|
492
|
-
{
|
|
493
|
-
kind: 'op',
|
|
494
|
-
op: '/',
|
|
495
|
-
args: [
|
|
496
|
-
{
|
|
497
|
-
kind: 'op',
|
|
498
|
-
op: '*',
|
|
499
|
-
args: [sym('2', DIMENSIONLESS), sym('G', GRAV_DIM), sym('mass', MASS)],
|
|
500
|
-
},
|
|
501
|
-
{ kind: 'op', op: '^', args: [sym('c', VELOCITY), sym('3', DIMENSIONLESS)] },
|
|
502
|
-
],
|
|
503
|
-
},
|
|
504
|
-
{
|
|
505
|
-
kind: 'transcendental',
|
|
506
|
-
fn: 'ln',
|
|
507
|
-
arg: {
|
|
508
|
-
kind: 'op',
|
|
509
|
-
op: '/',
|
|
510
|
-
args: [sym('far-radius', LENGTH), sym('near-radius', LENGTH)],
|
|
511
|
-
},
|
|
512
|
-
},
|
|
513
|
-
],
|
|
514
|
-
};
|
|
515
|
-
/**
|
|
516
|
-
* BE-37 Shapiro gravitational time delay as a graph edge:
|
|
517
|
-
* (mass, far-radius, near-radius) → Δt = (2GM/c³)·ln(R_far/R_near).
|
|
518
|
-
* Paired with {@link be52Edge} in CT-4: their shared-source quotient
|
|
519
|
-
* a(1−e²)ln(R_far/R_near)/(3πc) is parameter-free in (G, M) — the
|
|
520
|
-
* Part-IX C5 weak-field cross-observable consistency relation.
|
|
521
|
-
*
|
|
522
|
-
* @public
|
|
523
|
-
*/
|
|
524
|
-
export const be37Edge = {
|
|
525
|
-
id: 'be-37',
|
|
526
|
-
beId: 37,
|
|
527
|
-
kind: 'bridge',
|
|
528
|
-
label: 'Shapiro delay Δt = (2GM/c³)·ln(R_far/R_near)',
|
|
529
|
-
sources: [massQ, farRadiusQ, nearRadiusQ],
|
|
530
|
-
target: shapiroDelayQ,
|
|
531
|
-
confidence: 'established',
|
|
532
|
-
domain: {
|
|
533
|
-
description: 'M > 0 and 0 < R_near ≤ R_far (weak-field ray geometry)',
|
|
534
|
-
predicate: (i) => Number.isFinite(i['mass']) &&
|
|
535
|
-
i['mass'] > 0 &&
|
|
536
|
-
Number.isFinite(i['near-radius']) &&
|
|
537
|
-
i['near-radius'] > 0 &&
|
|
538
|
-
Number.isFinite(i['far-radius']) &&
|
|
539
|
-
i['far-radius'] >= i['near-radius'],
|
|
540
|
-
},
|
|
541
|
-
evaluate: (i) => evaluateShapiroDelay({
|
|
542
|
-
M_kg: i['mass'],
|
|
543
|
-
R_far_m: i['far-radius'],
|
|
544
|
-
R_near_m: i['near-radius'],
|
|
545
|
-
}),
|
|
546
|
-
symbolic: BE37_SYMBOLIC,
|
|
547
|
-
citation: 'Shapiro 1964 PRL 13:789',
|
|
548
|
-
// -- Atlas Phase 1 overlay: mirrors BRIDGE_EQUATIONS' row, which carries the
|
|
549
|
-
// full '// source:' citation. tests/atlas/audited-catalog.test.ts deep-equals
|
|
550
|
-
// the two, so this copy cannot silently drift from the row.
|
|
551
|
-
relation: {
|
|
552
|
-
type: 'derivation',
|
|
553
|
-
transformation: 'Schwarzschild metric -> coordinate-time delay of a null ray, leading ' +
|
|
554
|
-
'order in GM/(c^2 R): Delta t = (2GM/c^3) ln(R_far/R_near)',
|
|
555
|
-
},
|
|
556
|
-
// Additional to `domain`, never a replacement for it — see be51Edge.
|
|
557
|
-
regime: BE37_REGIME,
|
|
558
|
-
};
|
|
559
|
-
//# sourceMappingURL=calibration.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"calibration.js","sourceRoot":"","sources":["../../../src/composition/edges/calibration.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAChF,OAAO,EACL,MAAM,EACN,aAAa,EACb,SAAS,EACT,MAAM,EACN,IAAI,EACJ,WAAW,EAEX,QAAQ,GACT,MAAM,4BAA4B,CAAC;AAGpC,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EAAE,0BAA0B,EAAE,MAAM,sDAAsD,CAAC;AAClG,OAAO,EAAE,uBAAuB,EAAE,MAAM,qDAAqD,CAAC;AAC9F,OAAO,EAAE,wBAAwB,EAAE,MAAM,mDAAmD,CAAC;AAC7F,OAAO,EAAE,oBAAoB,EAAE,MAAM,gDAAgD,CAAC;AACtF,OAAO,EAAE,sBAAsB,EAAE,MAAM,2CAA2C,CAAC;AACnF,OAAO,EAAE,4BAA4B,EAAE,MAAM,wCAAwC,CAAC;AACtF,OAAO,EAAE,4BAA4B,EAAE,MAAM,wCAAwC,CAAC;AACtF,0EAA0E;AAC1E,2EAA2E;AAC3E,uCAAuC;AACvC,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAE/E,OAAO,EACL,gBAAgB,EAChB,gBAAgB,EAChB,aAAa,EACb,cAAc,EACd,UAAU,EACV,mBAAmB,EACnB,gBAAgB,EAChB,KAAK,EACL,WAAW,EACX,kBAAkB,EAClB,eAAe,EACf,oBAAoB,EACpB,cAAc,EACd,aAAa,EACb,oBAAoB,EACpB,YAAY,EACZ,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAE1B;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,QAAQ,CAAC;AAEjC,kEAAkE;AAClE,MAAM,aAAa,GAAG,SAAS,CAAC;AAEhC,4DAA4D;AAC5D,MAAM,UAAU,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAEhF,sDAAsD;AACtD,0EAA0E;AAC1E,6EAA6E;AAC7E,6EAA6E;AAC7E,8EAA8E;AAC9E,+EAA+E;AAC/E,+EAA+E;AAC/E,kDAAkD;AAClD,MAAM,QAAQ,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAC/E,MAAM,aAAa,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAEpF,oCAAoC;AACpC,MAAM,aAAa,GAAa;IAC9B,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;gBACnB,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAE;aAC7E;SACF;QACD;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI;oBACV,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE;wBACJ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,EAAE;wBAC9E,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;qBAClB;iBACF;gBACD,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;aAC1B;SACF;KACF;CACF,CAAC;AAEF,sEAAsE;AACtE,MAAM,mBAAmB,GAAa;IACpC,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ,GAAG,CAAC,iBAAiB,EAAE,SAAS,CAAC;QACjC;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI;oBACV,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE;wBACJ,GAAG,CAAC,sBAAsB,EAAE,MAAM,CAAC;wBACnC,GAAG,CAAC,+BAA+B,EAAE,MAAM,CAAC;qBAC7C;iBACF;gBACD,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB;SACF;KACF;CACF,CAAC;AAEF,wCAAwC;AACxC,MAAM,aAAa,GAAa;IAC9B,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;SACzE;QACD;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAE;gBAC5E,GAAG,CAAC,iBAAiB,EAAE,MAAM,CAAC;gBAC9B;oBACE,IAAI,EAAE,IAAI;oBACV,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE;wBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;wBACvB;4BACE,IAAI,EAAE,IAAI;4BACV,EAAE,EAAE,GAAG;4BACP,IAAI,EAAE,CAAC,GAAG,CAAC,cAAc,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;yBACpE;qBACF;iBACF;aACF;SACF;KACF;CACF,CAAC;AAEF,uCAAuC;AACvC,MAAM,aAAa,GAAa;IAC9B,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,EAAE;QAC3F,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;KAC1B;CACF,CAAC;AAEF,2BAA2B;AAC3B,MAAM,sBAAsB,GAAa;IACvC,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,EAAE;gBAC5E,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;aAClB;SACF;QACD,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAE;KAC7E;CACF,CAAC;AAEF,iDAAiD;AACjD,MAAM,oBAAoB,GAAa;IACrC,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,EAAE;QACxE;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,EAAE;gBACrF,GAAG,CAAC,sBAAsB,EAAE,MAAM,CAAC;aACpC;SACF;KACF;CACF,CAAC;AAEF,4CAA4C;AAC5C,MAAM,aAAa,GAAa;IAC9B,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,EAAE;gBAC5E,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;aAClB;SACF;QACD;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ,GAAG,CAAC,kBAAkB,EAAE,MAAM,CAAC;gBAC/B,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAE;aAC7E;SACF;KACF;CACF,CAAC;AAEF;;;uEAGuE;AACvE,MAAM,aAAa,GAAa;IAC9B,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;QAChB;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI;oBACV,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE;wBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;wBACzB,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;wBACjB,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;wBACzB,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC;qBAChC;iBACF;gBACD,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;aAC1B;SACF;KACF;CACF,CAAC;AAEF,yBAAyB;AAEzB,gBAAgB;AAEhB;;;;;;;GAOG;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,KAAK,CAAC;IAChB,MAAM,EAAE,mBAAmB;IAC3B,UAAU,EAAE,oBAAoB;IAChC,MAAM,EAAE;QACN,WAAW,EAAE,6CAA6C;QAC1D,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;KAC9D;IACD,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE;IAC3B,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,0BAA0B,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;IAChE,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,yBAAyB;CACpC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,oCAAoC;IAC3C,OAAO,EAAE,CAAC,YAAY,CAAC;IACvB,MAAM,EAAE,cAAc;IACtB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,8CAA8C;QAC3D,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;KAC7E;IACD,OAAO,EAAE,EAAE,WAAW,EAAE,CAAC,eAAe,CAAC,EAAE;IAC3C,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC;IAC5E,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,6BAA6B;CACxC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAe;IAChD,EAAE,EAAE,0BAA0B;IAC9B,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,mCAAmC;IAC1C,OAAO,EAAE,CAAC,KAAK,CAAC;IAChB,MAAM,EAAE,oBAAoB;IAC5B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,kBAAkB;QAC/B,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;KAC9D;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC;IACvD,QAAQ,EAAE,sBAAsB;IAChC,QAAQ,EAAE,8DAA8D;CACzE,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,aAAa,GAAe;IACvC,EAAE,EAAE,cAAc;IAClB,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,2CAA2C;IAClD,OAAO,EAAE,CAAC,oBAAoB,CAAC;IAC/B,MAAM,EAAE,mBAAmB;IAC3B,UAAU,EAAE,oBAAoB;IAChC,MAAM,EAAE;QACN,WAAW,EAAE,oBAAoB;QACjC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,IAAI,CAAC,CAAC,sBAAsB,CAAC,GAAG,CAAC;KAC9E;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,MAAM,GAAG,CAAC,CAAC,sBAAsB,CAAC,CAAC;IACvE,QAAQ,EAAE,oBAAoB;IAC9B,QAAQ,EAAE,gDAAgD;CAC3D,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,qCAAqC;IAC5C,OAAO,EAAE,CAAC,KAAK,EAAE,gBAAgB,CAAC;IAClC,MAAM,EAAE,gBAAgB;IACxB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,yCAAyC;QACtD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAC1B,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YACb,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;YACtC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC;YACzB,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC;KACvE;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,4BAA4B,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC;SAC1E,SAAS;IACd,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,iEAAiE;IAC3E,6EAA6E;IAC7E,8EAA8E;IAC9E,4DAA4D;IAC5D,QAAQ,EAAE;QACR,IAAI,EAAE,YAAY;QAClB,cAAc,EACZ,0EAA0E;YAC1E,yDAAyD;KAC5D;IACD,2EAA2E;IAC3E,0EAA0E;IAC1E,wEAAwE;IACxE,MAAM,EAAE,WAAW;CACpB,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,6CAA6C;IACpD,OAAO,EAAE,CAAC,KAAK,EAAE,cAAc,EAAE,aAAa,CAAC;IAC/C,MAAM,EAAE,kBAAkB;IAC1B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,kDAAkD;QAC/D,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAC1B,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YACb,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YACrC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC;YACxB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAClC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC;YACtB,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC;KACxB;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,4BAA4B,CAAC;QAC3B,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QACf,GAAG,EAAE,CAAC,CAAC,iBAAiB,CAAC;QACzB,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC;QACpB,IAAI,EAAE,CAAC;KACR,CAAC,CAAC,kBAAkB;IACvB,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,uCAAuC;IACjD,6EAA6E;IAC7E,8EAA8E;IAC9E,4DAA4D;IAC5D,QAAQ,EAAE;QACR,IAAI,EAAE,YAAY;QAClB,cAAc,EACZ,yEAAyE;YACzE,+DAA+D;YAC/D,wBAAwB;KAC3B;IACD,qEAAqE;IACrE,MAAM,EAAE,WAAW;CACpB,CAAC;AAEF,+EAA+E;AAE/E;;;;;;GAMG;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,KAAK,EAAE,YAAY,CAAC;IAC9B,MAAM,EAAE,iBAAiB;IACzB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,wDAAwD;QACrE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAC1B,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YACb,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YACjC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC;KACvB;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,wBAAwB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC;IACtE,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,0DAA0D;CACrE,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,aAAa,GAAe;IACvC,EAAE,EAAE,aAAa;IACjB,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,6DAA6D;IACpE,OAAO,EAAE,CAAC,eAAe,EAAE,oBAAoB,EAAE,iBAAiB,CAAC;IACnE,MAAM,EAAE,gBAAgB;IACxB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,8BAA8B;QAC3C,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YACrC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC;YACzB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;YAC1C,CAAC,CAAC,sBAAsB,CAAC,GAAG,CAAC;YAC7B,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC;YACnD,CAAC,CAAC,+BAA+B,CAAC,GAAG,CAAC;KACzC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,uBAAuB,CAAC;QACtB,YAAY,EAAE,CAAC,CAAC,iBAAiB,CAAC;QAClC,MAAM,EAAE,CAAC,CAAC,sBAAsB,CAAC;QACjC,OAAO,EAAE,CAAC,CAAC,+BAA+B,CAAC;KAC5C,CAAC;IACJ,QAAQ,EAAE,mBAAmB;IAC7B,QAAQ,EACN,6EAA6E;IAC/E,+EAA+E;IAC/E,sEAAsE;IACtE,wEAAwE;IACxE,QAAQ,EAAE;QACR,IAAI,EAAE,iBAAiB;QACvB,cAAc,EACZ,yEAAyE;YACzE,qEAAqE;YACrE,kBAAkB;KACrB;CACF,CAAC;AAEF,0FAA0F;AAE1F,MAAM,aAAa,GAAa;IAC9B,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI;oBACV,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;iBACvE;gBACD,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAE;aAC7E;SACF;QACD;YACE,IAAI,EAAE,gBAAgB;YACtB,EAAE,EAAE,IAAI;YACR,GAAG,EAAE;gBACH,IAAI,EAAE,IAAI;gBACV,EAAE,EAAE,GAAG;gBACP,IAAI,EAAE,CAAC,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;aAC9D;SACF;KACF;CACF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,8CAA8C;IACrD,OAAO,EAAE,CAAC,KAAK,EAAE,UAAU,EAAE,WAAW,CAAC;IACzC,MAAM,EAAE,aAAa;IACrB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,wDAAwD;QACrE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAC1B,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YACb,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YACjC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC;YACpB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;YAChC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC;KACtC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,oBAAoB,CAAC;QACnB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QACf,OAAO,EAAE,CAAC,CAAC,YAAY,CAAC;QACxB,QAAQ,EAAE,CAAC,CAAC,aAAa,CAAC;KAC3B,CAAC;IACJ,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,yBAAyB;IACnC,6EAA6E;IAC7E,8EAA8E;IAC9E,4DAA4D;IAC5D,QAAQ,EAAE;QACR,IAAI,EAAE,YAAY;QAClB,cAAc,EACZ,uEAAuE;YACvE,2DAA2D;KAC9D;IACD,qEAAqE;IACrE,MAAM,EAAE,WAAW;CACpB,CAAC"}
|
|
@@ -1,65 +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 type { BridgeEdge } from '../edge.js';
|
|
10
|
-
/**
|
|
11
|
-
* BE-15 Kawasaki-Gunton coarsening length: (model-a-mobility, time) →
|
|
12
|
-
* L(t) = √(Γ t). Wraps `evaluateCoarseningLength` (Γ in m²/s, t in s; returns
|
|
13
|
-
* m). Endpoints differ in `scale` (microscale kinetic coefficient → emergent
|
|
14
|
-
* correlation length): a bridge.
|
|
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 be15Edge: BridgeEdge;
|
|
20
|
-
/**
|
|
21
|
-
* BE-22 topological entanglement entropy: (area-law-coefficient,
|
|
22
|
-
* boundary-length, topological-entanglement-entropy) → S(R) = α·L − γ (nats).
|
|
23
|
-
* Wraps `evaluateTEE` (α in m⁻¹, L in m, γ in nats; returns nats).
|
|
24
|
-
*
|
|
25
|
-
* Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
|
|
26
|
-
* export for the 26-edge tranche — root-surface budget decision).
|
|
27
|
-
*/
|
|
28
|
-
export declare const be22Edge: BridgeEdge;
|
|
29
|
-
/**
|
|
30
|
-
* BE-23 SYK Planckian resistivity: (residual-resistivity, effective-mass,
|
|
31
|
-
* carrier-density, temperature, syk-coefficient) →
|
|
32
|
-
* ρ(T) = ρ_0 + (m* k_B T)/(n_e e² ℏ) · α_SYK. Wraps `evaluateSYKResistivity`
|
|
33
|
-
* (SI; returns Ω·m). Uses `effective-mass` (carrier band mass), DISTINCT from
|
|
34
|
-
* the gravitational `mass` node — the namespacing gate in action. Reuses the
|
|
35
|
-
* canonical `temperature` node.
|
|
36
|
-
*
|
|
37
|
-
* Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
|
|
38
|
-
* export for the 26-edge tranche — root-surface budget decision).
|
|
39
|
-
*/
|
|
40
|
-
export declare const be23Edge: BridgeEdge;
|
|
41
|
-
/**
|
|
42
|
-
* BE-27 Cugliandolo-Kurchan effective temperature: (temperature,
|
|
43
|
-
* active-noise-energy) → T_eff = T(1 + Σ_active/(k_B T)). Wraps
|
|
44
|
-
* `evaluateEffectiveTemperature` (T in K, Σ in J; returns K). Reuses the
|
|
45
|
-
* canonical `temperature` node. The symbolic form is the same algebra,
|
|
46
|
-
* T·(1 + Σ_active/(k_B T)).
|
|
47
|
-
*
|
|
48
|
-
* Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
|
|
49
|
-
* export for the 26-edge tranche — root-surface budget decision).
|
|
50
|
-
*/
|
|
51
|
-
export declare const be27Edge: BridgeEdge;
|
|
52
|
-
export declare const be33Edge: BridgeEdge;
|
|
53
|
-
/**
|
|
54
|
-
* BE-34 Kibble-Zurek defect density: (quench-timescale,
|
|
55
|
-
* microscopic-relaxation-time, spatial-dimension, static-exponent-nu,
|
|
56
|
-
* dynamic-exponent-z, defect-rest-mass, reheating-temperature) →
|
|
57
|
-
* n = (τ_Q/τ_0)^(−dν/(1+zν))·exp(−mc²/(k_B T_reh)). Wraps `evaluateKibbleZurek`
|
|
58
|
-
* (SI; returns dimensionless). Reuses BE-33's `static-exponent-nu` and
|
|
59
|
-
* `dynamic-exponent-z` nodes (same critical exponents).
|
|
60
|
-
*
|
|
61
|
-
* Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
|
|
62
|
-
* export for the 26-edge tranche — root-surface budget decision).
|
|
63
|
-
*/
|
|
64
|
-
export declare const be34Edge: BridgeEdge;
|
|
65
|
-
//# sourceMappingURL=catalog-condensed-matter.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"catalog-condensed-matter.d.ts","sourceRoot":"","sources":["../../../src/composition/edges/catalog-condensed-matter.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAYH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AA+B7C;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,UAmBtB,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,QAAQ,EAAE,UAuBtB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,QAAQ,EAAE,UA8BtB,CAAC;AA6BF;;;;;;;;;GASG;AACH,eAAO,MAAM,QAAQ,EAAE,UAsBtB,CAAC;AAEF,eAAO,MAAM,QAAQ,EAAE,UA+BtB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,QAAQ,EAAE,UA2CtB,CAAC"}
|